Daily Top Stories
2.
OpenAI are quietly adopting skills, now available in ChatGPT and Codex CLI
(simonwillison.net)
3.
6.
I tried Gleam for Advent of Code
(blog.tymscar.com)
8.
10.
Analysis finds anytime electricity from solar available as battery costs plummet
(pv-magazine-usa.com)
11.
We built another object storage
(fractalbits.com)
13.
50 years of proof assistants
(lawrencecpaulson.github.io)
14.
Dick Van Dyke turns 100
(theguardian.com)
15.
16.
The Checkerboard
(99percentinvisible.org)
17.
A Lisp Interpreter Implemented in Conway's Game of Life (2021)
(woodrush.github.io)
18.
19.
Poor Johnny still won't encrypt
(bfswa.substack.com)
21.
22.
The Coming Need for Formal Specification
(benjamincongdon.me)
23.
Building an efficient hash table in Java
(bluuewhale.github.io)
24.
25.
Are we stuck with the same Desktop UX forever? [video]
(youtube.com)
26.
Think Tanker Altered Ukraine War Map Before Big Polymarket Payout
(responsiblestatecraft.org)
27.
28.
Z8086: Rebuilding the 8086 from Original Microcode
(nand2mario.github.io)
30.
We Lost Something: 1970s REPLs Were Better Than Modern Development Environments
(programmingsimplicity.substack.com)