The Proof Machine (2016)
Article URL: https://incredible.pm/ Comments URL: https://news.ycombinator.com/item?id=49068711 Points: 4 # Comments: 0
Curated articles from sources across the web
Article URL: https://incredible.pm/ Comments URL: https://news.ycombinator.com/item?id=49068711 Points: 4 # Comments: 0
Article URL: https://ledger.worseonpurpose.com/brands Comments URL: https://news.ycombinator.com/item?id=49068707 Points: 21 # Comments: 2
Article URL: https://status.claude.com/incidents/mfdtrknpxghq Comments URL: https://news.ycombinator.com/item?id=49068029 Points: 5 # Comments: 1
Article URL: https://www.omgubuntu.co.uk/2026/07/chrome-arm64-linux-available Comments URL: https://news.ycombinator.com/item?id=49067919 Points: 5 # Comments: 0
Article URL: https://lockwood.dev/ai/2026/07/27/how-is-the-bun-rewrite-in-rust-going.html Comments URL: https://news.ycombinator.com/item?id=49067854 Points: 39 # Comments: 14
Article URL: https://www.harpguitars.net/history/grunewald/12-string.htm Comments URL: https://news.ycombinator.com/item?id=49067690 Points: 19 # Comments: 8
Article URL: https://smoothbrains.net/posts/2026-05-09-digital-consciousness.html Comments URL: https://news.ycombinator.com/item?id=49067556 Points: 18 # Comments: 8
Article URL: https://github.com/libsm64/libsm64 Comments URL: https://news.ycombinator.com/item?id=49067352 Points: 5 # Comments: 0
Article URL: https://misago-project.org/t/removing-reactjs-from-the-codebase-and-adapting-htmx-for-ui-interactivity/1267/ Comments URL: https://news.ycombinator.com/item?id=49067301 Points: 9 # Comments: 1
Article URL: https://namethatui.org/ Comments URL: https://news.ycombinator.com/item?id=49067076 Points: 3 # Comments: 0
Article URL: https://www.shaylocomotives.com/ Comments URL: https://news.ycombinator.com/item?id=49067043 Points: 13 # Comments: 1
Article URL: https://www.bbc.com/news/articles/c9q9w3x9qn2o Comments URL: https://news.ycombinator.com/item?id=49066962 Points: 8 # Comments: 0
Article URL: https://code.videolan.org/videolan/vlc-unity Comments URL: https://news.ycombinator.com/item?id=49066928 Points: 6 # Comments: 1
Article URL: https://blog.codingconfessions.com/p/how-unix-spell-ran-in-64kb-ram Comments URL: https://news.ycombinator.com/item?id=49066750 Points: 17 # Comments: 0
Article URL: https://en.andros.dev/blog/d7ed8b07/modern-email-can-be-built-from-borrowed-parts/ Comments URL: https://news.ycombinator.com/item?id=49066639 Points: 3 # Comments: 0
Article URL: https://status.claude.com/incidents/lhqp09kxq7pb Comments URL: https://news.ycombinator.com/item?id=49066591 Points: 4 # Comments: 1
Hey HackerNews,I built this project over the last few weeks as a palette cleanser from a failed game launch.I wanted to learn a bit about AI/Neural-Networks and naively thought I could build a tiny maze-solving AI in a weekend with a 100% solve rate.Well - I couldn't, but I got pretty close. 14 Byt...
Article URL: https://huggingface.co/moonshotai/Kimi-K3 Comments URL: https://news.ycombinator.com/item?id=49065752 Points: 105 # Comments: 29
Article URL: https://www.wsj.com/tech/google-fined-1-02-billion-under-eus-tech-antitrust-rules-7e8ae1fb Comments URL: https://news.ycombinator.com/item?id=49065498 Points: 13 # Comments: 4
Article URL: https://monocle.com/design/architecture/keeping-your-home-cool-without-air-conditioning/ Comments URL: https://news.ycombinator.com/item?id=49064588 Points: 17 # Comments: 20
Article URL: https://newsletter.platypuseconomics.com/p/i-championed-prediction-markets-look Comments URL: https://news.ycombinator.com/item?id=49063789 Points: 18 # Comments: 32
Article URL: https://atmos-atelier.de/en/atmos-uhr/ Comments URL: https://news.ycombinator.com/item?id=49063757 Points: 5 # Comments: 0
Article URL: https://nikolays.github.io/PGSimCity/ Comments URL: https://news.ycombinator.com/item?id=49063754 Points: 79 # Comments: 13
Hi HN,Recently I wasted several hours wrangling my dev environment only to find out that the browser frontend was talking to the wrong version of the backend. This got me thinking--why on earth are we still using simple numbers to describe which process to connect to? Why not use names instead? I t...