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
Announcing the Beta release of ty
astral.sh
Pricing Changes for GitHub Actions
resources.github.com
Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025
plasticsoldierreview.com
No AI* Here – A Response to Mozilla's Next Chapter
waterfox.com
Show HN: I built a WebMIDI sequencer to control my hardware synths
simplychris.ai
P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems
github.com
Subsets (YC S23) is hiring engineers in Copenhagen, Denmark
workatastartup.com
Venezuela explained in 10 maps and charts
aljazeera.com
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
simonwillison.net
VA Linux: The biggest dotcom IPO
dfarq.homeip.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
Japan to revise romanization rules for first time in 70 years
japantimes.co.jp
Show HN: Titan – JavaScript-first framework that compiles into a Rust server
npmjs.com
Living Particle System
creative-art-points.vercel.app
Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)
gamehistory.org
Hey HN,
I’m an ex-Google engineer trying to get back into music production.
I needed a way to sequence my hardware synths using AI contexts without constantly switching windows, so I built this.
It runs entirely in the browser using WebMIDI. No login required. It connects to your local MIDI devices (if you're on Chrome/Edge) and lets you generate patterns.
Tech stack: [React / WebMIDI API / etc].
Link: www.simplychris.ai/droplets
Code is a bit messy, but it works. Feedback welcome.