Coursera to combine with Udemy

Learning the oldest programming language (2024)

AI will make formal verification go mainstream

Is Mozilla trying hard to kill itself?

TLA+ Modeling Tips

alpr.watch

No Graphics API

Announcing the Beta release of ty

Modern SID chip substitutes [video]

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

AI's real superpower: consuming, not creating

Pricing Changes for GitHub Actions

GPT Image 1.5

Playing Santa changed Bob Rutan profoundly

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

Thin desires are eating life

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

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

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

Mozilla appoints new CEO Anthony Enzor-Demeo

VA Linux: The biggest dotcom IPO

Short-Circuiting Correlated Subqueries in SQLite

The Coupang data breach that hit two-thirds of South Korea

Living Particle System

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

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

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

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