Is Mozilla trying hard to kill itself?
pabs3
AI will make formal verification go mainstream
evankhoury
TLA+ Modeling Tips
birdculture
alpr.watch
theamk
No Graphics API
ryandrake
Announcing the Beta release of ty
gavide
AI's real superpower: consuming, not creating
firefoxd
Playing Santa Does Things to a Man. What It Did to Bob Rutan Was Even Stranger
Lightbody
GPT Image 1.5
charlierguo
Pricing Changes for GitHub Actions
kevin-david
No AI* Here – A Response to Mozilla's Next Chapter
MrAlex94
Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025
YeGoblynQueenne
Show HN: I built a WebMIDI sequencer to control my hardware synths
simplychris
Subsets (YC S23) is hiring engineers in Copenhagen, Denmark
Oliverbrandt
VA Linux: The biggest dotcom IPO
giuliomagnifico
40 percent of fMRI signals do not correspond to actual brain activity
geox
Thin desires are eating life
mitchbob
Mozilla appoints new CEO Anthony Enzor-Demeo
recvonline
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
pbowyer
P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems
Davidbrcz
Introduction to Software Development Tooling (2024)
vismit2000
Japan to revise romanization rules for first time in 70 years
rgovostes
Show HN: Titan – JavaScript-first framework that compiles into a Rust server
soham_byte
Living Particle System
lovegrenoble
Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)
wicket
The World Happiness Report is beset with methodological problems
thatoneengineer
Various locale mismatch scenarios in Windows clipboard text format synthesis
ibobev
Nvidia Nemotron 3 Family of Models
ewt-nv
Dafny: Verification-Aware Programming Language
handfuloflight
A Guide to Magnetizing N48 Magnets in Ansys Maxwell
peter_d_sherman