fp.

Claude formalized Fermat's Last Theorem in 11 days

https://www.anthropic.com/news/formalizing-fermats-last-theorem

1•fourfire•1m ago•0 comments

Emacs/Wayland Window Manager in pure elisp

https://github.com/thkoch2001/rau

1•thkoch•4m ago•1 comments

Tinkering with J Space

https://darshanmakwana412.github.io/2026/09/extracting-steering-vectors-from-j-space/

1•martianvoid•5m ago•0 comments

OpenLedger – Local-first double-entry accounting, MCP-native (Apache 2.0)

https://github.com/Attri-Inc/open-ledger

1•gtmattri•8m ago•0 comments

Boeing 767 overran Miami runway

https://avherald.com/h?article=540409db&opt=0

2•r2sk5t•8m ago•1 comments

Epigenetic reprogramming as a key to reverse ageing and increase longevity

https://pubmed.ncbi.nlm.nih.gov/38272265/

1•andsoitis•12m ago•0 comments

Ask HN: Those still optimistic about a career in software – why?

2•cipherdc•24m ago•3 comments

Donut math: how donut.c works (2011)

https://www.a1k0n.net/2011/07/20/donut-math.html

1•azhenley•29m ago•0 comments

Attention Developers: New Open IssueTracker Ticket on Data Deletion Fraud

https://issuetracker.google.com/issues/557281747

1•Bitu79•30m ago•0 comments

Show HN: Gigantic Research, Friend

1•KnoxProtocol•34m ago•1 comments

A Mathematical Theory of Communication [pdf]

https://people.math.harvard.edu/~ctm/home/text/others/shannon/entropy/entropy.pdf

2•andsoitis•35m ago•0 comments

PL Education in the Age of AI: Interview with Shriram Krishnamurthi

https://www.typetheoryforall.com/episodes/pl-education-in-the-age-of-ai

1•gnyeki•38m ago•0 comments

Equal Earth: Explore the world interactively with the Equal Earth map

https://kuboon.github.io/equal-earth/

1•nogajun•38m ago•0 comments

Has anybody seen my keys? A key-hierarchy strategy for rack-level security

https://rfd.shared.oxide.computer/rfd/0301

2•cyb0rg0•41m ago•0 comments

P&G goes wide with a waterless, plastic-free Tide

https://trellis.net/article/pg-water-plastic-out-of-tide-detergent/

1•plun9•41m ago•0 comments

ripwire: ripgrep of AI context (CLI+MCP) giving coding agents a map of any repo

https://github.com/redhat-et/ripwire

2•guessmyname•44m ago•0 comments

How I make games in Batch Script: Multithreading

https://github.com/thelowsunoverthemoon/BatchArticles/blob/main/HowIMakeGamesInBatchScriptP1.md

1•lowsun•45m ago•0 comments

Portal Speedrunners Discover "Singularity Warp" After 18 Years [video]

https://www.youtube.com/watch?v=a9c4jrgfhsk

1•aw1621107•51m ago•1 comments

Cost of running agent memory/vector search

https://polign.com/agent-memory-at-scale

2•anuptalwalkar•51m ago•0 comments

A Rogue AI Swarm Could Hide Inside an AI Company [video]

https://www.youtube.com/watch?v=xRKOpMeEQgQ

4•alwillis•52m ago•0 comments

Why We Need a Return to Élan

https://www.joanwestenberg.com/p/why-we-need-a-return-to-elan

1•Ariarule•1h ago•0 comments

Runic SSH – Open-Source SSH/SFTP Client in Rust and Tauri

https://github.com/marciopaiva/runic-ssh

1•marciopaiva•1h ago•0 comments

Anthropic Has Committed More Than $100B to AWS

https://www.fool.com/investing/2026/09/06/anthropic-has-committed-more-than-usd100-billion-to-aws...

1•geoffbp•1h ago•0 comments

The Coming Merging of Mind and Machine (1999)

https://www.thekurzweillibrary.com/the-coming-merging-of-mind-and-machine

2•thedreammachine•1h ago•0 comments

Fauxnix – bash for AI agents on Windows, no WSL (we measured the PS tax)

https://github.com/20000419/fauxnix

1•cl0602830•1h ago•0 comments

Ask HN: Perplexity Pro vs. Claude – what are you paying for?

1•daytonflyers•1h ago•0 comments

Everyone is right about AI

https://formasimplex.com/blog/2026-09-06-Everyone-is-right-about-AI.html

3•wsintra•1h ago•0 comments

Show HN: GET Together – A social network where you don't need POST to Post

https://gettogether.dev

6•nchudleigh•1h ago•0 comments

Aardman (Wallace and Gromit) Is Selling Its Original Movie Puppets

https://gizmodo.com/aardman-is-selling-its-original-movie-puppets-this-month-2000807968

5•Gaishan•1h ago•0 comments

I built a (wacky) date string utility

https://progressier.com/iso-date-string-toolkit

2•kbst•1h ago•1 comments