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
Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025
plasticsoldierreview.com
Subsets (YC S23) is hiring engineers in Copenhagen, Denmark
workatastartup.com
No AI* Here – A Response to Mozilla's Next Chapter
waterfox.com
Pricing Changes for GitHub Actions
resources.github.com
Introduction to Software Development Tooling (2024)
bernsteinbear.com
Mozilla appoints new CEO Anthony Enzor-Demeo
blog.mozilla.org
40 percent of fMRI signals do not correspond to actual brain activity
tum.de
Thin desires are eating life
joanwestenberg.com
A Guide to Magnetizing N48 Magnets in Ansys Maxwell
blog.ozeninc.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
Dafny: Verification-Aware Programming Language
dafny.org
Japan to revise romanization rules for first time in 70 years
japantimes.co.jp
Various locale mismatch scenarios in Windows clipboard text format synthesis
devblogs.microsoft.com
Show HN: Learn Japanese contextually while browsing
lingoku.ai
Testing a cheaper laminar flow hood
chillphysicsenjoyer.substack.com
Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)
gamehistory.org
Nvidia Nemotron 3 Family of Models
research.nvidia.com