-
375
AI will make formal verification go mainstream
(martin.kleppmann.com)
-
654
alpr.watch
(alpr.watch)
-
452
No Graphics API
(sebastianaaltonen.com)
-
371
Announcing the Beta release of ty
(astral.sh)
-
144
No AI* Here – A Response to Mozilla's Next Chapter
(waterfox.com)
-
96
Midjourney is alemwjsl
(aadillpickle.com)
-
338
GPT Image 1.5
(openai.com)
-
515
Pricing Changes for GitHub Actions
(resources.github.com)
-
82
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
(simonwillison.net)
-
19
CS 4973: Introduction to Software Development Tooling – Northeastern Univ (2024)
(bernsteinbear.com)
-
12
Why many Asian megacities are miserable places
(economist.com)
-
402
40 percent of fMRI signals do not correspond to actual brain activity
(tum.de)
-
37
More than 100 rally against data centers at Michigan Capitol
(lansingstatejournal.com)
-
435
Mozilla appoints new CEO Anthony Enzor-Demeo
(blog.mozilla.org)
-
19
Testing a cheaper laminar flow hood
(chillphysicsenjoyer.substack.com)
-
34
Dafny: Verification-Aware Programming Language
(dafny.org)
-
346
Thin desires are eating life
(joanwestenberg.com)
-
28
Show HN: Learn Japanese contextually while browsing
(lingoku.ai)
-
134
Japan to revise romanization rules for first time in 70 years
(japantimes.co.jp)
-
32
Locked out: How a gift card purchase destroyed an Apple account
(appleinsider.com)
-
228
Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)
(gamehistory.org)
-
91
The World Happiness Report is beset with methodological problems
(yaschamounk.substack.com)
-
90
Writing a blatant Telegram clone using Qt, QML and Rust. And C++
(kemble.net)
-
12
Show HN: TheAuditor v2.0 – A ”Flight Computer“ for AI Coding Agents
(github.com)
-
153
Nvidia Nemotron 3 Family of Models
(research.nvidia.com)
-
79
Meta's new A.I. superstars are chafing against the rest of the company
(nytimes.com)
-
4
Twin suction turbines and 3-Gs in slow corners? Meet the DRG-Lola
(arstechnica.com)
-
57
Chat-tails: Throwback terminal chat, built on Tailscale
(tailscale.com)
-
22
Tesla Robotaxis in Austin Crash 12.5x More Frequently Than Humans
(electrek.co)
-
120
Show HN: Sqlit – A lazygit-style TUI for SQL databases
(github.com)