AI will make formal verification go mainstream
martin.kleppmann.com
Announcing the Beta release of ty
astral.sh
VA Linux: The biggest dotcom IPO
dfarq.homeip.net
Pricing Changes for GitHub Actions
resources.github.com
CS 4973: Introduction to Software Development Tooling – Northeastern Univ (2024)
bernsteinbear.com
Show HN: Titan – JavaScript-first framework that compiles into a Rust server
npmjs.com
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
simonwillison.net
No AI* Here – A Response to Mozilla's Next Chapter
waterfox.com
40 percent of fMRI signals do not correspond to actual brain activity
tum.de
Mozilla appoints new CEO Anthony Enzor-Demeo
blog.mozilla.org
Thin desires are eating life
joanwestenberg.com
Sei AI (YC W22) Is Hiring
ycombinator.com
Testing a cheaper laminar flow hood
chillphysicsenjoyer.substack.com
Dafny: Verification-Aware Programming Language
dafny.org
Japan to revise romanization rules for first time in 70 years
japantimes.co.jp
Show HN: Learn Japanese contextually while browsing
lingoku.ai
Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)
gamehistory.org
The World Happiness Report is beset with methodological problems
yaschamounk.substack.com
Nvidia Nemotron 3 Family of Models
research.nvidia.com
Chat-tails: Throwback terminal chat, built on Tailscale
tailscale.com
A Guide to Magnetizing N48 Magnets in Ansys Maxwell
blog.ozeninc.com
And if you need more AI in your life, I just wrapped up co-teaching AI Tools for Software Development at CMU: https://ai-developer-tools.github.io