AI will make formal verification go mainstream
martin.kleppmann.com
Announcing the Beta release of ty
astral.sh
Venezuela explained in 10 maps and charts
aljazeera.com
TLA+ Modeling Tips
muratbuffalo.blogspot.com
Show HN: I built a WebMIDI sequencer to control my hardware synths
simplychris.ai
Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025
plasticsoldierreview.com
Pricing Changes for GitHub Actions
resources.github.com
Subsets (YC S23) is hiring engineers in Copenhagen, Denmark
workatastartup.com
US threatens EU digital services market access
twitter.com
No AI* Here – A Response to Mozilla's Next Chapter
waterfox.com
VA Linux: The biggest dotcom IPO
dfarq.homeip.net
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
simonwillison.net
40 percent of fMRI signals do not correspond to actual brain activity
tum.de
Thin desires are eating life
joanwestenberg.com
Mozilla appoints new CEO Anthony Enzor-Demeo
blog.mozilla.org
Introduction to Software Development Tooling (2024)
bernsteinbear.com
Show HN: Titan – JavaScript-first framework that compiles into a Rust server
npmjs.com
Japan to revise romanization rules for first time in 70 years
japantimes.co.jp
A Guide to Magnetizing N48 Magnets in Ansys Maxwell
blog.ozeninc.com
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