721
Pi Durable
Pi Durable is a new experimental package for long-running, durable, and malleable agents that can run anywhere. A tour of what we built and why.
New
The latest blog posts to take off on Hacker News. 5,935 posts.
722
Anatomy of a Lean proof for software engineers
Intro I recently worked through a problem from a theory of computation textbook that asked me to prove a property of a language using finite automata. The informal proof is a simple constructive proof where you build an automaton and show that it recognizes the language. This is kind of similar to program…
723
Bez: Generating a browser engine from specs and tests
Repository bez by burrito.space on Tangled.
724
Vote on which of Hacker News' challenges for AI have been met
AI plays well at complex strategy games with uncertainty and incomplete information.
725
Git 3.0's upcoming SHA-256 default will be a costly mistake
Git 3.0 will make SHA-256 the new default content hashing algorithm and it will be an incomprehensibly expensive and ultimately valueless and avoidable global nightmare.
726
Clef: Open-weight decision models, and new RL fine-tuning platform
We are introducing Clef and Clef-flash, open-source decision models hosted on Workers AI for high-speed classification and agentic workflows. Also launching: a new reinforcement learning platform that allows developers to fine-tune decision models using their own data.
727
RIP, vector database
turbopuffer is pushing the frontier of search. To do that, we have to fundamentally redesign our storage architecture so the vector index is no longer primary.
728
Cloudflare K2: serverless event streams
Cloudflare K2 is a serverless event streaming service built directly on top of R2 object storage for high-scale data movement and long-term retention. By decoupling producers and consumers at the edge, K2 enables durable, ordered log streams without the operational overhead of traditional broker clusters.
729
Turbo Haskell
Exactly a week ago (as a joke), I started writing THC, my “Turbo Haskell compiler,” while on vacation visiting Bartosz Milewski.
730
How to speed up the Rust compiler in September 2026
My last post on the Rust compiler’s performance was two months ago and a lot has happened since then.
731
GPT-Synopsys: Frontier Intelligence to Revolutionize Chip Design
Companies form strategic partnership to dramatically advance and accelerate semiconductor innovation News Highlights: Companies sign multi-year agreement to collaborate as preferred partners to...
732
To grieve, or not to grieve?
Recent events in the field of AI for mathematics have shown us beyond all reasonable doubt that the field is currently undergoing a rapid transformation, unlike anything that we have ever seen befo…
733
Differences Between `Foldl` and `Foldr`
`foldl` and `foldr` can be confusing, so let's work out what's up
734
735
Gemini 4 Argon
Announcing Gemini 4 Argon, our frontier model for real-world coding, enterprise knowledge work, and cyber defense, rolling out soon.
736
CS240 AI Cheating Retrospective
Jeff Turkstra's personal website. Contains photographs, memoirs, TI-86 & TI-89 programs/games, quotes, MIDI's, SeaQuest images, links, and more!
737
Dear Software Makers
Marques Brownlee just released a video essay titled “Dear YouTube” . I loved it. He talks about how YouTube is going to start shipping this new feature where…
738
Before pixels: Modular industrial dashboards
A blog about software craft and quality
739
5x faster Edge Functions: V8 isolates to Firecracker MicroVMs
See how Netlify rebuilt Edge Functions on MicroVMs to deliver lower latency, greater reliability, and faster log delivery.
740
741
Commit description as a thinking tool
Before the AI era, I wrote pretty long commit descriptions (or commit bodies) for major changes. It took me about five to ten minutes to draft and reread them to make sure I didn’t miss anything important. I did that for several reasons.
742
The AI Race Just Got Awkward
Funny how quiet everyone got.
743
cp: -r or -R?
A question like this recently came up again. I once tried to find an answer, but only posted it in some "forum" a decade ago, and I think it's worth saving this little bit of trivia from digital nirvana.
744
What TLA+ can and can't check
Let's chill just a little bit on the "TLA+ will save AI from itself" narrative
745
SDF vs. MSDF vs. Slug: GPU Text Rendering
The real difference between texture-atlas, SDF, MSDF, and Slug glyph rendering on the GPU: how each works, where each breaks, and when to use which.
746
Your body of work thinks back at you
I’ve been taking photos of benches for years. Sometimes on purpose because I find them intriguing and I have an thing for objects designed for people but without anybody using them, sometimes just because they were there next to my subject. Last year, looking at these photographs, I noticed something I didn’t know…
747
The last time my family was replaced by technology
My great-great-grandfather thought he’d be replaced by technology too. He was a farrier in Mandres-en-Barrois, the small village in rural France where I grew up.
748
You said no MCP
Pi now supports MCP. Why we changed our minds, what changed in MCP and in Pi, and what Codemode is.
749
Doing a Machine Learning PhD While Working in Japan
An American MEXT scholar shares the pros and cons of doing a PhD in Japan, from funding and part-time work to university life and career options.
750
September 2026: The world today, as seen by one Polish guy
How a Pole sees the world in September 2026: a scrolling essay that follows one closed strait into fuel, food, bonds, defence and demography.