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

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

AI's real superpower: consuming, not creating

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

VA Linux: The biggest dotcom IPO

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

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

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

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?

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