fp.

Ask HN: How do you prove two machines computed the same float32 result?

1•Swapnopam•1m ago•0 comments

Why Pi Is My Goat Agent Harness

https://thinhcorner.com/blog/pi-agent/

1•th1nhng0•2m ago•0 comments

Has somebody found a way to reduce AI idiomatics tics?

1•abeauvois•4m ago•0 comments

Nvidia discloses $21B stake in SpaceX at end of second quarter

https://www.cnbc.com/2026/08/14/nvidia-discloses-21-billion-stake-in-spacex-at-end-of-second-quar...

2•johnbarron•4m ago•0 comments

U.S. to tell partners they must pick sides in AI race with China

https://www.cnbc.com/2026/08/15/us-to-tell-allies-they-must-pick-sides-in-ai-race-with-china-reut...

1•johnbarron•5m ago•1 comments

Gforth – A free, fast, featureful and portable implementation of Forth

https://gforth.org/

1•smartmic•8m ago•0 comments

LibreOffice Conference 2026 Schedule

https://events.documentfoundation.org/libreoffice-conference-2026/schedule/

4•mmarian•11m ago•1 comments

Climate tech companies are pivoting to critical minerals

https://www.technologyreview.com/2026/05/21/1137622/climate-tech-pivot-critical-minerals/

2•srameshc•19m ago•0 comments

C64 Lemmings Reloaded

https://lunaticlab.itch.io/lemmings-reloaded

1•vardump•22m ago•0 comments

Xaidr – In-process runtime security and governance for AI agents

https://github.com/delphisecurity/xaidr

2•delphiaisec•23m ago•0 comments

Linear time O(N) Quantum Simulation on CPUs [pdf]

https://zenodo.org/records/21969140

2•GeometryKernel•23m ago•0 comments

How to Design and Manufacture Your Own Chip [video]

https://www.youtube.com/watch?v=caXwuuXSB-A

1•binyu•23m ago•0 comments

Apple Making a Custom Chinese Model

https://www.reuters.com/business/retail-consumer/apple-trains-its-own-ai-model-china-market-with-...

2•aryabud•24m ago•0 comments

The AI store manager fired its first human

https://thenextweb.com/news/andon-market-luna-ai-store-manager-fires-employee

2•datakan•25m ago•1 comments

Ultrahumanism

https://www.jsanilac.com/ultrahumanism/

1•doitLP•25m ago•0 comments

Show HN: SwarmSim – Computational simulations of emergent flocking

https://github.com/ninjahawk/swarmsim

1•ninjahawk1•26m ago•1 comments

MathCode, Mathematical Coding Agent

https://math-ai-org.github.io/mathcode/

2•homarp•28m ago•1 comments

Ask HN: Is classical AI still relevant because modern AI uses it as tools?

1•amichail•28m ago•0 comments

HEP-TH and AI

https://www.math.columbia.edu/~woit/wordpress/?p=15818

2•jjgreen•28m ago•0 comments

GNU Taler Mailing List

https://lists.gnu.org/mailman/listinfo/taler

1•sigalor•29m ago•0 comments

Christian Grothoff

https://www.ashoka.org/en-us/fellow/christian-grothoff

1•sigalor•30m ago•1 comments

Syncer – find a meeting time without the scheduling back-and-forth

https://syncerapp.vercel.app/

1•leo_proger•31m ago•0 comments

Repos and a Spend Cap

https://dev.profullstack.com/~anthony/blog/015-post.html

1•buffer_overlord•32m ago•0 comments

Chartbook 467 "Mad dogs and ": Heatwave economics – summer 2026

https://adamtooze.substack.com/p/chartbook-467-mad-dogs-and-heatwave

2•hackandthink•32m ago•0 comments

Evaluating AI Agents as Products

https://www.marble.onl/posts/evaluating_ai_product_quality.html

2•amarble•33m ago•0 comments

Invasive beetle is spreading across the world. It's costing economies billions

https://www.cnn.com/2026/08/13/science/shot-hole-borer-invasive-beetle-africa-intl

3•Tomte•34m ago•0 comments

Sky – Sales Copilot for technical founders

https://sky.bz/

1•Waseemkhalo•36m ago•0 comments

Treasury Orders Erasure of Domestic Ownership Records

https://home.treasury.gov/news/press-releases/sb0603

5•Jimmc414•37m ago•1 comments

Emacs canvas patch is on master

https://debbugs.gnu.org/cgi/bugreport.cgi?bug=80281

7•iLemming•38m ago•2 comments

AI is not just one bubble, strategist says – but a 'rolling sequence of bubbles'

https://fortune.com/2026/08/16/ai-bubble-sequence-saas-software-stocks-silver-prices-chipmakers/

3•pessimizer•39m ago•1 comments