Is Mozilla trying hard to kill itself?
infosec.press
AI will make formal verification go mainstream
martin.kleppmann.com
TLA+ Modeling Tips
muratbuffalo.blogspot.com
AI's real superpower: consuming, not creating
msanroman.io
Announcing the Beta release of ty
astral.sh
Modern SID chip substitutes [video]
youtube.com
Playing Santa Does Things to a Man. What It Did to Bob Rutan Was Even Stranger
esquire.com
Pricing Changes for GitHub Actions
resources.github.com
No AI* Here – A Response to Mozilla's Next Chapter
waterfox.com
Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025
plasticsoldierreview.com
VA Linux: The biggest dotcom IPO
dfarq.homeip.net
Subsets (YC S23) is hiring engineers in Copenhagen, Denmark
workatastartup.com
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
Show HN: I built a WebMIDI sequencer to control my hardware synths
simplychris.ai
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
simonwillison.net
P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems
github.com
Living Particle System
creative-art-points.vercel.app
Introduction to Software Development Tooling (2024)
bernsteinbear.com
Japan to revise romanization rules for first time in 70 years
japantimes.co.jp
This P is, contrary to popular belief, stored on GitHub.