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
Playing Santa changed Bob Rutan profoundly
esquire.com
Modern SID chip substitutes [video]
youtube.com
No AI* Here – A Response to Mozilla's Next Chapter
waterfox.com
Pricing Changes for GitHub Actions
resources.github.com
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
simonwillison.net
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
Show HN: I built a WebMIDI sequencer to control my hardware synths
simplychris.ai
Thin desires are eating life
joanwestenberg.com
Show HN: Mephisto – A RAM-only, ad-free disposable email PWA built with React
mephistomail.site
Mozilla appoints new CEO Anthony Enzor-Demeo
blog.mozilla.org
Living Particle System
creative-art-points.vercel.app
P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems
github.com
Introduction to Software Development Tooling (2024)
bernsteinbear.com