1771
OpenAI’s Navier-Stokes release included a Lean 4 formal proof
When OpenAI released their proof that solutions to the Navier-Stokes equations can blow up in finite time, they also released a formal proof in Lean 4.
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 3,091 posts.
1772
Memorizing session transcripts isn't useful
Keep track of artifacts, not scratch. Alt title: Claude, please stop trying to memorize random crap
1773
It's Not Just X. It's Y
Against the Quantification of Integrity When the measure of language becomes its target, it ceases to be good language. 💡Nerd Rating: 1/5. I discuss the origins of certain linguistic tics in LLMs and what it means for writing, student assessment, and thinking. "It's not x, it's y.
1774
Will AI Replace Human Thinking? The Case for Writing and Coding Manually
Learning to Think Again, and the Cost of AI Dependency.
1775
Does the Bitter Lesson Have Limits?
The bitter lesson says general methods and compute win. But compute is a constraint, and human-crafted logic often ships cheaper and sooner.
1776
Trading with Claude, and writing your own MCP server
Ever wanted to check on your portfolio and trade some stocks directly with Claude? Well you’re in luck.
1777
1778
Gorgonia: a library like Theano or TensorFlow, mainly written in Go
I released Gorgonia on Thursday. Gorgonia is a library like Theano or TensorFlow, but mainly written in Go. It provides the necessary primitives for creating and executing neural networks and machine learning algorithms. According to cloc, these are the stats…
1779
Exact binary vector search for RAG in 100 lines of Julia
Thanks for HN users mik1998 and borodi who brought up the popcnt instruction and the count_ones function in Julia which carries this out, I've updated the timings and it's even faster now.
1780
I'm glad the Anthropic fight is happening now
“Preface to the highest stakes negotiations in history.”
1781
Agentic coding notes
I've been using AI fairly heavily since last November and the whole thing is a funny experience . An agent will do something that, if a human did it, you'd immediately fire them. My reaction, of course, is to act as if this is great and spin up a thousand agents so they can do even more of that.
1782
Notes on the new Claude analysis JavaScript code execution tool
Anthropic released a new feature for their Claude.ai consumer-facing chat bot interface today which they’re calling “the analysis tool”. It’s their answer to OpenAI’s ChatGPT Code Interpreter mode: Claude can …
1783
Principal component analysis: pictures, code and proofs (2018)
The code used to generate the plots for this post can be found here.
1784
Interactive GPU Programming, Part 1: Hello CUDA
Today, fast number crunching means parallel programs that run on Graphical Processing Units (GPUs). Thanks to the recent highly publicized deep learning and ...
1785
1786
GPT-5.6 Sol can beat Factorio on peaceful mode
Edit: Woah, this took off! If you want more details you can subscribe at the bottom of the post or on YouTube. I’m working on a more detailed highlights/commentary post and video. Previously: We got Claude Code playing Factorio, Towards beating Factorio autonomously, and Faketorio: an agent testbed I got GPT-5.6 Sol…
1787
Pairing with Claude Code to rebuild my startup's website
Adventures using AI agents, especially Claude Code, and MCP Servers
1788
I got the highest score on ARC-AGI again swapping Python for English
Using Multi-Agent Collaboration with Evolutionary Test-Time Compute
1789
A journey into Kindle AI slop hell
A journey into Kindle A.I. slop hell with Leah Beckmann
1790
Claude is the drug, Cursor is the dealer
Coding Tools Are Just One Front in AI’s Supply Chain Wars
1791
Just a little AI resistance, as a treat
At the recent EMFCamp, I bumped in to Professor Kate Devlin who was talking a little about the AI Resist List. I think one of the useful things we can do is loudly complain about shitty uses of AI. Here's an example. As mentioned in a previous post, I'm contacting companies which send malformed calendar invites. One…
1792
Python, Machine Learning, and Language Wars (2015)
This has really been quite a journey for me lately. And regarding the frequently asked question “Why did you choose Python for Machine Learning?” I guess it…
1793
Can a model trained on satellite data really find brambles on the ground?
Can a model trained on satellite data really find brambles on the ground? We put a new model to the test with a field trip around Cambridge. The results...
1794
1795
LLMs as the new high level language
[UPDATE 2026-06-09]: a few months on, I have more misgivings than certainties about this.
1796
Tim Bray on Grokipedia
Last night I had a very strange experience: About two thirds of the way through reading a Web page about myself, Tim Bray, I succumbed to boredom and killed the tab. Thus my introduction to Grokipedia . Here are early impressions.
1797
Who needs Git when you have 1M context windows?
Lately I’ve heard a lot of stories of AI accidentally deleting entire codebases or wiping production databases . But in my case it was the other way around. I removed some working code and the LLM helped me to recover it.
1798
GPT-3 will ignore tools when it disagrees with them
Augmenting GPT-3 with tools is a popular technique right now. But is GPT-3 really using them?
1799
Most AI startups are doomed
Just because it matters doesn’t mean it’s defensible or profitable
1800
How to engineer an AI harness for game development
Exploring practical ways to make your game more legible to AI agents and how to make agentic iteration faster.