- 128
Why don't people use formal methods? (2019)
(hillelwayne.com)
- 8
Show HN: Copy any website pixel perfect
(github.com)
- 156
The Maxwell Conjecture Is False (GPT 5.6 Sol)
(arxiv.org)
- 167
The development pipeline is a production system
(sundry.jerryorr.com)
- 237
JEP 401: Value Objects (Preview) merged to OpenJDK master
(github.com)
- 214
Logic for Programmers
(logicforprogrammers.com)
- 69
Saber-toothed cats became inbred–and struggled to move–before they went extinct
(science.org)
- 16
Playing Original Xbox Game Discs on a PC. Real Backward Compatibility
(gdox.korze.org)
- 19
Ask HN: Anyone still do work on Intel Macs?
(undefined)
ask - 91
How to Do Great Work (2023)
(paulgraham.com)
- 49
AI's real threat to jobs isn't job loss, it's lower paychecks, new research says
(businessinsider.com)
- 273
I flagged two research papers for fake authors and both were accepted as orals
(geospatialml.com)
- 258
SQLite in Production: Optimizing WAL Mode, Concurrency, and VFS Layers
(micrologics.org)
- 36
Unearthing my 1996 windowed OS in machine code for Am29000 homebrew computer
(nanochess.org)
- 49
Google cancels AI Studio app after 800k preorders
(twitter.com)
- 340
A $500 RL fine-tune of a 9B open model beat frontier models on catalog review
(fermisense.com)
- 130
RFC 8890 – The Internet is for End Users (2020)
(mnot.net)
- 190
Azulejo
(en.wikipedia.org)
- 376
The AI Aesthetic
(blog.jim-nielsen.com)
- 352
GCC steering committee announces AI policy
(lwn.net)
- 67
A GTK4 SSH-askpass in Zig
(xn--gckvb8fzb.com)
- 10
Show HN: Symbio self fine-tuning AI loop
(github.com)
- 157
Self-hosting Kimi K3: 20% more hardware cost, 20% better task resolution
(aistack.imec-int.com)
- 18
Designing Icons
(m3.material.io)
- 808
Read this before you buy that TV streaming stick
(krebsonsecurity.com)
- 816
7.1 Earthquake in Japan
(data.jma.go.jp)
- 17
Don't Take the Black Pill (Text Adaptation)
(andrewkelley.me)
- 223
ReFrame – The EPaper Camera
(reframe.camera)
- 46
The Art of Decision-Making (2019)
(newyorker.com)
- 171
Amiga Graphics Archive
(amiga.lychesis.net)