Every blog post that took off on Hacker News, ranked by the votes of its best submission. 6,329 posts.
Here I’ll try to explain the coolest ideas in each of AlphaProof’s IMO 2024 solutions. AlphaProof produces proofs in Lean, and each Lean proof is composed of a series of tactics. So I’ll pick out the tactics that correspond to these ideas in the proofs for problems 1, 2 and 6 (the three problems that AlphaProof…
I gave a talk last night at Claude Code Anonymous in San Francisco, the unofficial meetup for coding agent enthusiasts. I decided to talk about a dichotomy I’ve been struggling …
The Fall of Civilizations podcast put out a 6¾-hour episode on the history of the Mongol Empire, which I eagerly listened to. After finishing the episode I wondered about contemporary Mongolian society, I wanted to learn what the lands that the Mongol Empire exploded from are like in our current day. There are many…
Covering the state of play as of Summer, 2023
Where noise hides when deep neural networks generalize.
I turned a forest trail near my apartment into a playable neural world. You can explore that world in your web browser by clicking right here :
Make your own AI by hand ✍️ exercises
The following notes represent a complete, stand alone interpretation of Stanford's machine learning course presented by Professor Andrew Ng and originally posted on the ml-class.org website during the fall 2011 semester. The topics covered are shown below, although for a more detailed summary see lecture 19. The code…
The Simons Foundation today announced a new set of initiatives that will help the mathematics community navigate the rapid rise of artificial intelligence in the field. Under a partnership…
The OpenAI algorithm for the FFT is less a breakthrough and more a malicious exploit.
We share how AI-native founders are using Claude at every stage of the startup journey, with practical exercises, frameworks, and prompts.
Update (Feb 17, 2026)—I no longer agree with many statements made in this blog post. I am leaving it here unmodified. See my follow-up: AI can sort of code, can't write .
The moment an agent needs to deploy something, it slams face-first into a wall built for humans. Today we're rolling out Temporary Accounts on Cloudflare Workers. Any agent can now run wrangler deploy — temporary and get a live Worker in seconds.
The new version of Vivaldi on Android, tablets, and Chromebooks masquerades as competitors to benefit its users and lets users access Bing Chat.
Why I worry about the effect GitHub Copilot is having and will continue to have on the accessibility of the web at scale.
Building on the recent empirical work of Kwa et al. (2025), I show that within their suite of research-engineering tasks the performance of AI agents on longer-duration tasks can be explained by an extremely simple mathematical model — a constant rate of failing during each minute a human would take
[Hacker News discussion, LinkedIn discussion, Twitter thread]
In this post, Phillip talks through the challenges & pitfalls of LLMs we faced when building our Query Assistant - and that you too may face.
Four frontier models, a blank canvas, and colored pencils. We tracked every stroke, dollar, and output as they tried to draw the Mona Lisa.
Fresh AI generated startup ideas from the current Hacker News front page. Powered by Claude.
OpenAI is now set to become a Public Benefit Corporation, with its investors entitled to uncapped profit shares.
Facebook AI is introducing M2M-100, the first multilingual machine translation model that can translate between any pair of 100 languages without relying on English data.
AI has enormous potential to disrupt markets that have traditionally been out of reach for software. These markets – which have relied on humans to navigate natural language, images, and physical space – represent a huge opportunity, potentially worth trillions of dollars globally. However, as we discussed in our…
Posted on Friday 31 May 2024. 2,785 words, 28 links. By Matt Webb.
Optimize your support with Assembled's Hybrid Search. Learn how we enhance RAG results using Reciprocal Rank Fusion for accurate, relevant answers.
Introduction I read a lot of deep learning papers, typically a few/week. I've read probably several thousands of papers. My general problem with papers in machine learning or deep learning is that often they sit
What are ML artifacts?
We’re taking first steps toward agentic commerce in ChatGPT with new ways for people, AI agents, and businesses to shop together.
