frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Claude formalized Fermat's Last Theorem in 11 days

https://www.anthropic.com/news/formalizing-fermats-last-theorem
2•fourfire•51m ago

Comments

ChrisArchitect•49m ago
Discussion: https://news.ycombinator.com/item?id=49568506

You almost certainly should connect to Tor through a VPN

https://www.privacyguides.org/en/advanced/tor-overview/
1•Cider9986•4m ago•0 comments

Keep Our Servers Running: Your Recurring Donation Goes 3X This September

https://blog.archive.org/2026/09/01/keep-our-servers-running-your-recurring-donation-goes-3x-this...
9•sonicrocketman•16m ago•1 comments

The eBPF Pivot – From Hardware Lock-In to Programmable Networking

https://ebpf.io/blog/cloudflare-replatforming-1/
1•syumei•20m ago•0 comments

Quick thoughts on GitHub Actions Aug 26 incident

https://surfingcomplexity.blog/2026/08/29/quick-thoughts-on-github-actions-aug-26-incident/
1•aray07•25m ago•0 comments

Workday reads two-column resumes left-to-right and interleaves them

https://www.cvai.dev/blog/why-workday-scrambles-two-column-resumes
2•quackquavk•28m ago•0 comments

RSS Amplifier Re-Publishes 19 Full NLJ Articles Without Permission

https://thenewleafjournal.com/rss-amplifier-re-publishes-19-full-nlj-articles-without-permission/
1•rdmuser•29m ago•0 comments

Ask HN: Looking for an old submission about sneering culture

2•annex-winged-cr•35m ago•0 comments

Agent Optimized Codebases

https://12gramsofcarbon.com/p/agentics-agent-optimized-codebases
1•theahura•38m ago•0 comments

Mother convicted of: her 5 yo walks short way to pond alone in Virginia

https://www.washingtonpost.com/dc-md-va/2026/09/06/5-year-old-walked-alone-gated-community-his-mo...
3•doctorpangloss•39m ago•0 comments

Nevarro, newsletter discovery and management platform

https://nevarroapp.com
2•Linden207•43m ago•0 comments

Ask HN: What are other "uncrackable benchmarks"?

3•Nail2680•48m ago•1 comments

Claude formalized Fermat's Last Theorem in 11 days

https://www.anthropic.com/news/formalizing-fermats-last-theorem
2•fourfire•51m ago•1 comments

Emacs/Wayland Window Manager in pure elisp

https://github.com/thkoch2001/rau
1•thkoch•54m ago•1 comments

Tinkering with J Space

https://darshanmakwana412.github.io/2026/09/extracting-steering-vectors-from-j-space/
1•martianvoid•55m ago•0 comments

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

https://github.com/Attri-Inc/open-ledger
1•gtmattri•58m ago•0 comments

Boeing 767 overran Miami runway

https://avherald.com/h?article=540409db&opt=0
5•r2sk5t•58m ago•2 comments

Epigenetic reprogramming as a key to reverse ageing and increase longevity

https://pubmed.ncbi.nlm.nih.gov/38272265/
1•andsoitis•1h ago•1 comments

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

3•cipherdc•1h ago•6 comments

Donut math: how donut.c works (2011)

https://www.a1k0n.net/2011/07/20/donut-math.html
1•azhenley•1h ago•0 comments

Attention Developers: New Open IssueTracker Ticket on Data Deletion Fraud

https://issuetracker.google.com/issues/557281747
1•Bitu79•1h ago•0 comments

Show HN: Gigantic Research, Friend

1•KnoxProtocol•1h ago•1 comments

A Mathematical Theory of Communication [pdf]

https://people.math.harvard.edu/~ctm/home/text/others/shannon/entropy/entropy.pdf
2•andsoitis•1h 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
2•gnyeki•1h ago•0 comments

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

https://kuboon.github.io/equal-earth/
1•nogajun•1h 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•1h 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•1h ago•1 comments

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

https://github.com/redhat-et/ripwire
3•guessmyname•1h ago•0 comments

How I make games in Batch Script: Multithreading

https://github.com/thelowsunoverthemoon/BatchArticles/blob/main/HowIMakeGamesInBatchScriptP1.md
2•lowsun•1h ago•1 comments

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

https://www.youtube.com/watch?v=a9c4jrgfhsk
1•aw1621107•1h ago•1 comments

Cost of running agent memory/vector search

https://polign.com/agent-memory-at-scale
2•anuptalwalkar•1h ago•0 comments