Is Mozilla trying hard to kill itself?

AI will make formal verification go mainstream

TLA+ Modeling Tips

Modern SID chip substitutes [video]

alpr.watch

No Graphics API

Announcing the Beta release of ty

Playing Santa changed Bob Rutan profoundly

AI's real superpower: consuming, not creating

No AI* Here – A Response to Mozilla's Next Chapter

GPT Image 1.5

Pricing Changes for GitHub Actions

I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours

Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025

VA Linux: The biggest dotcom IPO

Subsets (YC S23) is hiring engineers in Copenhagen, Denmark

40 percent of fMRI signals do not correspond to actual brain activity

Thin desires are eating life

Mozilla appoints new CEO Anthony Enzor-Demeo

Show HN: I built a WebMIDI sequencer to control my hardware synths

Ask HN: Has anyone been able to renew their IEEE this month?

Show HN: Mephisto – A RAM-only, ad-free disposable email PWA built with React

Living Particle System

P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems

Introduction to Software Development Tooling (2024)

Japan to revise romanization rules for first time in 70 years

Show HN: Titan – JavaScript-first framework that compiles into a Rust server

Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)

The World Happiness Report is beset with methodological problems

Nvidia Nemotron 3 Family of Models