-
326
Is Mozilla trying hard to kill itself?
(infosec.press)
-
670
AI will make formal verification go mainstream
(martin.kleppmann.com)
-
48
TLA+ Modeling Tips
(muratbuffalo.blogspot.com)
-
806
alpr.watch
(alpr.watch)
-
683
No Graphics API
(sebastianaaltonen.com)
-
11
Modern SID chip substitutes [video]
(youtube.com)
-
639
Announcing the Beta release of ty
(astral.sh)
-
36
AI's real superpower: consuming, not creating
(msanroman.io)
-
18
Playing Santa changed Bob Rutan profoundly
(esquire.com)
-
453
GPT Image 1.5
(openai.com)
-
677
Pricing Changes for GitHub Actions
(resources.github.com)
-
369
No AI* Here – A Response to Mozilla's Next Chapter
(waterfox.com)
-
42
Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025
(plasticsoldierreview.com)
-
Subsets (YC S23) is hiring engineers in Copenhagen, Denmark
(workatastartup.com)
job -
70
VA Linux: The biggest dotcom IPO
(dfarq.homeip.net)
-
458
40 percent of fMRI signals do not correspond to actual brain activity
(tum.de)
-
24
Show HN: I built a WebMIDI sequencer to control my hardware synths
(simplychris.ai)
-
528
Thin desires are eating life
(joanwestenberg.com)
-
526
Mozilla appoints new CEO Anthony Enzor-Demeo
(blog.mozilla.org)
-
181
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
(simonwillison.net)
-
14
P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems
(github.com)
-
82
Introduction to Software Development Tooling (2024)
(bernsteinbear.com)
-
10
Living Particle System
(creative-art-points.vercel.app)
-
211
Japan to revise romanization rules for first time in 70 years
(japantimes.co.jp)
-
41
Show HN: Titan – JavaScript-first framework that compiles into a Rust server
(npmjs.com)
-
260
Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)
(gamehistory.org)
-
5
Show HN: Mephisto – A RAM-only, ad-free disposable email PWA built with React
(mephistomail.site)
-
138
The World Happiness Report is beset with methodological problems
(yaschamounk.substack.com)
-
218
Nvidia Nemotron 3 Family of Models
(research.nvidia.com)
-
22
Various locale mismatch scenarios in Windows clipboard text format synthesis
(devblogs.microsoft.com)