May 2023 Archive
1171.
1172.
Typical: Data interchange with algebraic data types
(github.com)
1173.
Click (2016)
(clickclickclick.click)
1175.
Testing a Formally Verified Compiler
(hal.science)
1176.
The First Image from EUMETSAT’s Newest Satellite
(eumetsat.int)
1177.
Lem v2.0.0 – Common Lisp IDE with high expansibility
(github.com)
1178.
Arch Linux: Git migration completed
(archlinux.org)
1179.
1180.
JeanHeyd Meneide's response to “Why I left Rust”
(pony.social)
1181.
WebGPU hits 40% availability 2 weeks after Chrome releases support
(web3dsurvey.com)
1182.
1184.
Code Generator for SQLite
(cgsql.dev)
1185.
Fontemon: Video Game in a Font
(coderelay.io)
1186.
The EU AI act is coming, this time for real probably
(wolfhf.medium.com)
1187.
Like the macOS Dock but for macOS System 7
(github.com)
1188.
UEFI Secure Boot on the Raspberry Pi
(linux.it)
1190.
Plain Text Accounting
(plaintextaccounting.org)
1191.
1192.
Ten Thousand Ways to Use Chopsticks
(marcosticks.org)
1193.
Fluent 2 Design System
(fluent2.microsoft.design)
1194.
1195.
The False Promise of Imitating Proprietary LLMs
(arxiv.org)
1196.
SciPy: Interested in adopting PRIMA, but little appetite for more Fortran code
(fortran-lang.discourse.group)
1197.
On the foolishness of “natural language programming” (1978)
(cs.utexas.edu)
1198.
We Don't Know How to Compute (2011) [video]
(youtube.com)
1199.
1200.
Admiral Rickover's 'Paper Reactor' Memo (1953)
(whatisnuclear.com)