OpenAI's gold medal performance on the International Math Olympiad
simonwillison.net·1d
🤖AI
Hacking a Toniebox
schafe-sind-bessere-rasenmaeher.de·4h·
Discuss: Hacker News
🤖AI
Type Checking with Symbolic Execution
bullno1.com·1d·
Discuss: Hacker News
🤖AI
ByteDance AI Empire: Inside the $12B Race Beyond the "For You" Page
algogist.com·8h·
Discuss: Hacker News
🤖AI
Input-leap/input-leap: Open-source KVM software (barrier fork)
github.com·12h·
Discuss: Hacker News
🤖AI
Coding with LLMs in the summer of 2025 (an update)
antirez.com·11h·
Discuss: Lobsters, Hacker News, r/programming
🤖AI
Deeper Theories of Program Design
typesanitizer.com·3h·
Discuss: Hacker News
🤖AI
Say No to Gnulib
rgbcu.be·1d·
Discuss: Hacker News
🤖AI
The Kepler Problem (Part 4)
johncarlosbaez.wordpress.com·20h·
Discuss: Hacker News
🤖AI
Show HN: Posthuman Framework for AI Consciousness Thresholds and VR Emancipation
kanarya.group·4h·
Discuss: Hacker News
🤖AI
SIOF (Scheme in One File) – A Minimal R7RS Scheme System
github.com·1d·
Discuss: Hacker News
🤖AI
Taikyoku Shogi
en.wikipedia.org·3d·
Discuss: Hacker News
🤖AI
The .a File Is a Relic: Why Static Archives Were a Bad Idea All Along
medium.com·1d·
Discuss: Hacker News, r/C_Programming
🤖AI
AtCoder Finals Problem Statement
atcoder.jp·4d·
Discuss: Hacker News
🤖AI
Show HN: Object database for LLMs that persists across chats (MCP server)
dry.ai·3d·
Discuss: Hacker News
🤖AI
Democracy by the Book: Is data the last lingua franca?
hedgehogreview.com·2h·
Discuss: Hacker News
🤖AI
The State of Post-Quantum Cryptography in Kubernetes
kubernetes.dev·2d·
Discuss: Hacker News
🤖AI
Canadian Cross
en.wikipedia.org·2d·
Discuss: Hacker News
🤖AI
I built a desktop tool to auto-organize files using local LLMs (open source, cross-platform)
reddit.com·6h·
Discuss: r/LocalLLaMA
🤖AI
GHC will start maintaining an LTS release/branch in the near future
blog.haskell.org·1d·
Discuss: Hacker News
🤖AI