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
Show HN: Titan – JavaScript-first framework that compiles into a Rust server
npmjs.com
Thin desires are eating life
joanwestenberg.com
A Guide to Magnetizing N48 Magnets in Ansys Maxwell
blog.ozeninc.com
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
simonwillison.net
Various locale mismatch scenarios in Windows clipboard text format synthesis
devblogs.microsoft.com
Japan to revise romanization rules for first time in 70 years
japantimes.co.jp
Dafny: Verification-Aware Programming Language
dafny.org
Show HN: Learn Japanese contextually while browsing
lingoku.ai
Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)
gamehistory.org
Testing a cheaper laminar flow hood
chillphysicsenjoyer.substack.com
Nvidia Nemotron 3 Family of Models
research.nvidia.com
i don't know what it would take to remove all this OEM LCID 1252 ANSI nonsense from computing (well, just Windows) but if I were in charge of "make sure developers ever willingly choose to work on Win32 instead of any other sane Unicode only platform" I would make it my top priority
whatever imagined problem is solved by marking clipboard text with some magical locale indicator is surely not as important as being able to interop literally just unicode characters between programs without having to read a 2-part blog post