Coursera to combine with Udemy
throwaway019254
Learning the oldest programming language (2024)
lioeters
AI will make formal verification go mainstream
evankhoury
Is Mozilla trying hard to kill itself?
pabs3
TLA+ Modeling Tips
birdculture
alpr.watch
theamk
No Graphics API
ryandrake
Announcing the Beta release of ty
gavide
Modern SID chip substitutes [video]
vismit2000
No AI* Here – A Response to Mozilla's Next Chapter
MrAlex94
AI's real superpower: consuming, not creating
firefoxd
Pricing Changes for GitHub Actions
kevin-david
GPT Image 1.5
charlierguo
Playing Santa changed Bob Rutan profoundly
Lightbody
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
pbowyer
Thin desires are eating life
mitchbob
Subsets (YC S23) is hiring engineers in Copenhagen, Denmark
Oliverbrandt
Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025
YeGoblynQueenne
40 percent of fMRI signals do not correspond to actual brain activity
geox
Mozilla appoints new CEO Anthony Enzor-Demeo
recvonline
VA Linux: The biggest dotcom IPO
giuliomagnifico
Short-Circuiting Correlated Subqueries in SQLite
emschwartz
The Coupang data breach that hit two-thirds of South Korea
zdw
Living Particle System
lovegrenoble
Show HN: I built a WebMIDI sequencer to control my hardware synths
simplychris
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
Ask HN: Has anyone been able to renew their IEEE this month?
chrisaycock
Show HN: Titan – JavaScript-first framework that compiles into a Rust server
soham_byte
46233073