Tally Game (tally-game.com)

1 points by liminal-dev 1m ago 0 comments

How the Myth of the Coequal Branches Became the Norm (aei.org)

1 points by JumpCrisscross 2m ago 0 comments

Free feedback widget for your website (sitewidgets.app)

1 points by thedatapulseapp 3m ago 0 comments

US DOJ to back off money transmitter cases in shift backed by crypto (reuters.com)

1 points by srameshc 4m ago 0 comments

Donald Trump's fantasy of home-grown chipmaking (economist.com)

2 points by miohtama 4m ago 1 comments

Four ways learning Econ makes people dumber re: future AI (lesswrong.com)

1 points by cubefox 8m ago 0 comments

Ask HN: Do you think LLMs will rapidly accelerate "hard" fields? Why / why not

1 points by jb2403 10m ago 0 comments

At the top of the market, EV hypercars are a disappearing breed (arstechnica.com)

1 points by ohjeez 12m ago 0 comments

Mirage 2 – Generative World Engine (demo.dynamicslab.ai)

1 points by selimonder 13m ago 0 comments

'Cheapfake' AI celeb videos are rage baiting people on YouTube (wired.com)

2 points by anigbrowl 13m ago 0 comments

Avalon: ASR for Human–AI Interaction (withaqua.com)

1 points by jrmann100 13m ago 0 comments

YOCaml, a framework for static site generator (discuss.ocaml.org)

1 points by smartmic 14m ago 0 comments

Request for Comment on 2025 Minimum Elements for a Software Bill of Materials [pdf] (public-inspection.federalregister.gov)

2 points by impish9208 14m ago 0 comments

Why do we collect? U of A study shows it's about seeking structure (news.arizona.edu)

1 points by ohjeez 14m ago 0 comments

Wired and Business Insider remove 'AI-written' freelance articles (pressgazette.co.uk)

1 points by KolmogorovComp 16m ago 0 comments

Tech hiring is not dead, no matter what the headlines say [video] (youtube.com)

1 points by mooreds 19m ago 0 comments

AI can write your app, but not center a div (nuanced.dev)

2 points by John_Marira 19m ago 0 comments

China cut itself off from the global internet for an hour on Wednesday (theregister.com)

3 points by Bender 19m ago 0 comments

Spurious correlations (correlation is not causation) (tylervigen.com)

2 points by samber 20m ago 0 comments

One of the Best Solar Eruptions in Years Is Caught on Camera (petapixel.com)

2 points by NKosmatos 20m ago 0 comments

Libre-Chip Awarded NLnet Grant to Prototype a CPU Isn't Vulnerable to Spectre (phoronix.com)

3 points by Bender 21m ago 0 comments

Agent Inference – A user-agent / browser quiz (ai.174070135.xyz)

2 points by todsacerdoti 22m ago 0 comments

A Man Accidentally Bought 10,400 Greg Briley Rookie Cards (defector.com)

2 points by pavel_lishin 22m ago 0 comments

Case Study: Migrating a Rush.js Monorepo to Node Type Stripping (blog.calm.com)

1 points by sdotson 23m ago 1 comments

California resident tests positive for plague, health official say (fox40.com)

1 points by Bender 25m ago 0 comments

Video games became a way to connect to a father who struggled to express himself (crossplay.news)

1 points by thinkalone 25m ago 0 comments

How is it possible to run Wordpad by just typing its name? (2011) (devblogs.microsoft.com)

1 points by bariumbitmap 27m ago 0 comments

Show HN: Splice – CAD for Cable Harnesses and Electrical Assemblies (splice-cad.com)

2 points by djsdjs 28m ago 0 comments

I Have No Mut and I Must Borrow (old.reddit.com)

3 points by btown 28m ago 0 comments

MCP Gateway: Self-hostable routing proxy for AI agent traffic to MCP servers (github.com)

1 points by isomierism 29m ago 1 comments

Popular cities people are moving to this summer (qz.com)

1 points by josephjrobison 30m ago 0 comments

Five neural net vocal AI running 100% local on a single M1 (twitter.com)

1 points by aspirant 30m ago 0 comments

The Mindset is an Intel 80186-based MS-DOS personal computer (en.wikipedia.org)

1 points by doener 31m ago 0 comments

OpenAI Is Poised to Become the Most Valuable Startup Ever. Should It Be? (wired.com)

1 points by josephjrobison 31m ago 0 comments

The Pursuit of Life Where It Seems Unimaginable (quantamagazine.org)

1 points by rbanffy 31m ago 0 comments

A simple AI Swiss knife CLI tool (github.com)

1 points by elboza 31m ago 0 comments

Wired and Business Insider remove articles by AI-generated 'freelancer' (theguardian.com)

1 points by cmsefton 32m ago 0 comments

Executive Order Establishing US Chief Design Officer (whitehouse.gov)

2 points by bsimpson 32m ago 2 comments

Hackers who exposed North Korean government hacker explain why they did it (techcrunch.com)

3 points by rbanffy 33m ago 0 comments

Tesla is slow in reporting crashes and the feds have launched an investigation (apnews.com)

2 points by voxadam 35m ago 0 comments

The addictive trap of AI-assisted writing (bowendwelle.substack.com)

2 points by elgrantomate 36m ago 1 comments

Apple Destroyed Steve Jobs' Vision of the iPad. Good (wired.com)

2 points by rbanffy 37m ago 0 comments

Guide: Running GPT-OSS with Llama.cpp (github.com)

1 points by homarp 43m ago 0 comments

Open Source Maintenance Fee business model example from WiX Toolset (github.com)

1 points by nilsbunger 44m ago 1 comments

The Oldest Unopened Bottle of Wine in the World (C. 350 AD) [2017/2025] (openculture.com)

4 points by bookofjoe 44m ago 0 comments

Show HN: GitArsenal – One-click setup for any GitHub repository (gitarsenal.dev)

5 points by rs545837 44m ago 1 comments

How Delphi achieved sub 100ms retrieval with Pinecone (venturebeat.com)

19 points by gronky_ 45m ago 5 comments

Apple Headquarters is visible from Space (nasa.gov)

2 points by jedberg 46m ago 2 comments

2030: Privacy's Dead. What happens next? [video] (youtube.com)

1 points by TheFreim 52m ago 0 comments

Ask HN: Should the police be banned from saying whether a shooting is targeted?

1 points by amichail 53m ago 4 comments

Lean is a theorem prover and programming language

2 tzury 0 8/20/2025, 1:56:49 PM lean-lang.org ↗

Comments (0)

No comments yet