• 424 AI will make formal verification go mainstream (martin.kleppmann.com)
  by evankhoury 8 hours ago | 207 comments
• 682 alpr.watch (alpr.watch)
  by theamk 12 hours ago | 338 comments
• 484 No Graphics API (sebastianaaltonen.com)
  by ryandrake 10 hours ago | 89 comments
• 402 Announcing the Beta release of ty (astral.sh)
  by gavide 8 hours ago | 80 comments
• 128 Midjourney is alemwjsl (aadillpickle.com)
  by aadillpickle 6 days ago | 45 comments
• 361 GPT Image 1.5 (openai.com)
  by charlierguo 11 hours ago | 182 comments
• 543 Pricing Changes for GitHub Actions (resources.github.com)
  by kevin-david 12 hours ago | 625 comments
• 37 CS 4973: Introduction to Software Development Tooling – Northeastern Univ (2024) (bernsteinbear.com)
  by vismit2000 3 hours ago | 4 comments
• 99 I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours (simonwillison.net)
  by pbowyer 6 hours ago | 57 comments
• 172 No AI* Here – A Response to Mozilla's Next Chapter (waterfox.com)
  by MrAlex94 7 hours ago | 110 comments
• 415 40 percent of fMRI signals do not correspond to actual brain activity (tum.de)
  by geox 15 hours ago | 178 comments
• 453 Mozilla appoints new CEO Anthony Enzor-Demeo (blog.mozilla.org)
  by recvonline 15 hours ago | 708 comments
• 11 Show HN: Titan – JavaScript-first framework that compiles into a Rust server (npmjs.com)
  by soham_byte 6 days ago | 6 comments
• Sei AI (YC W22) Is Hiring (ycombinator.com)
  4 hours ago   job
• 83 Tesla Robotaxis in Austin Crash 12.5x More Frequently Than Humans (electrek.co)
  by hjouneau 2 hours ago | 42 comments
• 374 Thin desires are eating life (joanwestenberg.com)
  by mitchbob a day ago | 149 comments
• 40 Dafny: Verification-Aware Programming Language (dafny.org)
  by handfuloflight 6 hours ago | 21 comments
• 23 Testing a cheaper laminar flow hood (chillphysicsenjoyer.substack.com)
  by surprisetalk 4 days ago | 5 comments
• 145 Japan to revise romanization rules for first time in 70 years (japantimes.co.jp)
  by rgovostes 20 hours ago | 126 comments
• 36 Show HN: Learn Japanese contextually while browsing (lingoku.ai)
  by englishcat 4 hours ago | 16 comments
• 232 Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More) (gamehistory.org)
  by wicket 16 hours ago | 38 comments
• 96 The World Happiness Report is beset with methodological problems (yaschamounk.substack.com)
  by thatoneengineer a day ago | 116 comments
• 163 Nvidia Nemotron 3 Family of Models (research.nvidia.com)
  by ewt-nv 2 days ago | 30 comments
• 66 Chat-tails: Throwback terminal chat, built on Tailscale (tailscale.com)
  by nulbyte 8 hours ago | 12 comments
• 94 Writing a blatant Telegram clone using Qt, QML and Rust. And C++ (kemble.net)
  by tempodox 13 hours ago | 54 comments
• 8 Twin suction turbines and 3-Gs in slow corners? Meet the DRG-Lola (arstechnica.com)
  by PaulHoule 6 days ago | 3 comments
• 60 Locked out: How a gift card purchase destroyed an Apple account (appleinsider.com)
  by nonfamous 3 hours ago | 26 comments
• 82 Meta's new A.I. superstars are chafing against the rest of the company (nytimes.com)
  by furcyd 7 days ago | 113 comments
• 15 Show HN: TheAuditor v2.0 – A ”Flight Computer“ for AI Coding Agents (github.com)
  by ThailandJohn 15 hours ago | 7 comments
• 125 Show HN: Sqlit – A lazygit-style TUI for SQL databases (github.com)
  by MaxTeabag 2 days ago | 18 comments