Hacker News

alpr.watch
485 points246 comments5 hours agoalpr.watch
No Graphics API
193 points32 comments3 hours agosebastianaaltonen.com
Prediction: AI will make formal verification go mainstream
15 points4 comments56 minutes agomartin.kleppmann.com
GPT Image 1.5
178 points98 comments4 hours agoopenai.com
Mozilla appoints new CEO Anthony Enzor-Demeo
337 points512 comments8 hours agoblog.mozilla.org
Ty: A fast Python type checker and LSP
24 points2 comments1 hour agoastral.sh
The World Happiness Report is beset with methodological problems
58 points72 comments22 hours agoyaschamounk.substack.com
Thin desires are eating life
189 points66 comments21 hours agojoanwestenberg.com
Chat-tails: Throwback terminal chat, built on Tailscale
6 points0 comments54 minutes agotailscale.com
Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)
183 points26 comments9 hours agogamehistory.org
Letta Code
6 points0 comments1 hour agoletta.com
Context: Odin’s Most Misunderstood Feature
16 points0 comments1 day agogingerbill.org
Nvidia Nemotron 3 Family of Models
92 points12 comments1 day agoresearch.nvidia.com
Rust GCC back end: Why and how
141 points70 comments9 hours agoblog.guillaume-gomez.fr
Creating custom yellow handshake emojis with zero-width joiners
36 points2 comments22 hours agoblog.alexbeals.com