• 232 AI will make formal verification go mainstream (martin.kleppmann.com)
  by evankhoury 3 hours ago | 120 comments
• 583 alpr.watch (alpr.watch)
  by theamk 7 hours ago | 291 comments
• 354 No Graphics API (sebastianaaltonen.com)
  by ryandrake 5 hours ago | 60 comments
• 221 Announcing the Beta release of ty (astral.sh)
  by gavide 3 hours ago | 45 comments
• 284 GPT Image 1.5 (openai.com)
  by charlierguo 6 hours ago | 142 comments
• 442 Pricing Changes for GitHub Actions (resources.github.com)
  by kevin-david 7 hours ago | 487 comments
• 41 No AI* Here – A Response to Mozilla's Next Chapter (waterfox.com)
  by MrAlex94 2 hours ago | 30 comments
• 383 40 percent of fMRI signals do not correspond to actual brain activity (tum.de)
  by geox 10 hours ago | 161 comments
• 401 Mozilla appoints new CEO Anthony Enzor-Demeo (blog.mozilla.org)
  by recvonline 10 hours ago | 607 comments
• 21 Midjourney is alemwjsl (aadillpickle.com)
  by aadillpickle 6 days ago | 8 comments
• 10 Americans overestimate how many social media users post harmful content (academic.oup.com)
  by bikenaga an hour ago | 10 comments
• 136 MIT professor shot at his Massachusetts home dies (bbc.com)
  by mosura 2 hours ago | 61 comments
• 9 Dafny: Verification-Aware Programming Language (dafny.org)
  by handfuloflight an hour ago | 1 comments
• 38 Chat-tails: Throwback terminal chat, built on Tailscale (tailscale.com)
  by nulbyte 3 hours ago | 9 comments
• 286 Thin desires are eating life (joanwestenberg.com)
  by mitchbob a day ago | 116 comments
• 74 Writing a blatant Telegram clone using Qt, QML and Rust. And C++ (kemble.net)
  by tempodox 9 hours ago | 42 comments
• 13 I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours (simonwillison.net)
  by pbowyer an hour ago | discuss
• 82 The World Happiness Report is beset with methodological problems (yaschamounk.substack.com)
  by thatoneengineer a day ago | 96 comments
• 99 Japan to revise romanization rules for first time in 70 years (japantimes.co.jp)
  by rgovostes 15 hours ago | 75 comments
• Artie (YC S23) Is Hiring Senior Enterprise AES (ycombinator.com)
  7 hours ago   job
• 210 Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More) (gamehistory.org)
  by wicket 11 hours ago | 33 comments
• 44 Letta Code (letta.com)
  by ascorbic 3 hours ago | 22 comments
• 128 Nvidia Nemotron 3 Family of Models (research.nvidia.com)
  by ewt-nv a day ago | 21 comments
• 110 Show HN: Sqlit – A lazygit-style TUI for SQL databases (github.com)
  by MaxTeabag a day ago | 13 comments
• 48 Meta's new A.I. superstars are chafing against the rest of the company (nytimes.com)
  by furcyd 6 days ago | 59 comments
• 162 Rust GCC backend: Why and how (blog.guillaume-gomez.fr)
  by ahlCVA 11 hours ago | 86 comments
• 55 Creating custom yellow handshake emojis with zero-width joiners (blog.alexbeals.com)
  by dado3212 a day ago | 3 comments
• 142 30 years of <br> tags (artmann.co)
  by FragrantRiver 3 days ago | 44 comments
• 19 Reverse-Engineering the RK3588 NPU: Hacking Limits to Run Vision Transformers (amohan.dev)
  by rcarmo 3 hours ago | 3 comments
• 52 How geometry is fundamental for chess (lichess.org)
  by fzliu 5 days ago | 20 comments