AI will make formal verification go mainstream
martin.kleppmann.com
Announcing the Beta release of ty
astral.sh
Pricing Changes for GitHub Actions
resources.github.com
VA Linux: The biggest dotcom IPO
dfarq.homeip.net
CS 4973: Introduction to Software Development Tooling – Northeastern Univ (2024)
bernsteinbear.com
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
simonwillison.net
Show HN: Titan – JavaScript-first framework that compiles into a Rust server
npmjs.com
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
Various locale mismatch scenarios in Windows clipboard text format synthesis
devblogs.microsoft.com
Sei AI (YC W22) Is Hiring
ycombinator.com
Thin desires are eating life
joanwestenberg.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