Löb and Möb: Loops in Haskell (2013)
(github.com)
Monthly Highlights
1261.
1262.
JVM exceptions are weird: a decompiler perspective
(purplesyringa.moe)
1263.
1264.
1266.
1267.
Seed. LINE's Custom Typeface
(seed.line.me)
1268.
Netherlands returns control of Nexperia to Chinese owner
(bloomberg.com)
1269.
SVG.js v3.2
(svgjs.dev)
1270.
1271.
Stop overhyping AI, scientists tell von der Leyen
(euractiv.com)
1272.
A Vibe Coded SaaS Killed My Team
(cendyne.dev)
1273.
Layoffs hit highest level for the month since 2003
(challengergray.com)
1274.
Error ABI
(matklad.github.io)
1275.
JSON Schema Demystified: Dialects, Vocabularies and Metaschemas
(iankduncan.com)
1276.
Cursed circuits: charge pump voltage halver
(lcamtuf.substack.com)
1277.
Users brutually reject Microsoft's "Copilot for work" in Edge and Windows 11
(windowslatest.com)
1279.
Mathematics and Computation (2019) [pdf]
(math.ias.edu)
1280.
Memory Safety for Skeptics
(queue.acm.org)
1281.
Why doesn't Apple make a standalone Touch ID?
(jeffgeerling.com)
1282.
Why CUDA translation wont unlock AMD
(eliovp.com)
1283.
Zig is so cool, C is cooler
(github.com)
1284.
Chuck Moore: Colorforth has stopped working [video]
(youtube.com)
1285.
GitHut – Programming Languages and GitHub (2014)
(githut.info)
1286.
The physics of news, rumors, and opinions
(arxiv.org)
1287.
How to use Linux vsock for fast VM communication
(popovicu.com)
1288.
A lost Amazon world just reappeared in Bolivia
(frontiersin.org)
1289.
I made a downdetector for downdetector's downdetector's downdetector
(downdetectorsdowndetectorsdowndetectorsdowndetector.com)