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.
9.
11.
Analysis finds anytime electricity from solar available as battery costs plummet
(pv-magazine-usa.com)
12.
We built another object storage
(fractalbits.com)
14.
50 years of proof assistants
(lawrencecpaulson.github.io)
15.
Dick Van Dyke turns 100
(theguardian.com)
16.
A Lisp Interpreter Implemented in Conway's Game of Life (2021)
(woodrush.github.io)
17.
18.
The Checkerboard
(99percentinvisible.org)
19.
Poor Johnny still won't encrypt
(bfswa.substack.com)
20.
22.
Are we stuck with the same Desktop UX forever? [video]
(youtube.com)
23.
24.
25.
The Coming Need for Formal Specification
(benjamincongdon.me)
26.
Building an efficient hash table in Java
(bluuewhale.github.io)
27.
28.
Workday project at Washington University hits $266M
(theregister.com)
29.
Think Tanker Altered Ukraine War Map Before Big Polymarket Payout
(responsiblestatecraft.org)
30.