August 2025 Archive
19741.
From Krivine's machine to the Caml implementations [pdf]
(xavierleroy.org)
19742.
19743.
Developers lose focus 1,200 times a day – how MCP could change that
(venturebeat.com)
19744.
DNS4EU, DNS0, Quad9: review of European public DNS resolvers
(blog.frehi.be)
19745.
PlainApp
(github.com)
19746.
Show HN: 5-Minute Timer That Runs in Background with Web Workers
(5minutetimer.top)
19747.
19748.
Tlock: Practical timelock encryption from threshold BLS (2023) [pdf]
(eprint.iacr.org)
19750.
HTTP/3
(httpwg.org)
19751.
The Future of Continuous Access Control: OpenID CAEP
(guptadeepak.com)
19752.
Mark Gatiss, the boy that Dr Who books made
(thebeemagazine.com)
19753.
Lorecal: Platform for Finding Domain Experts
(lorecal.com)
19754.
XBOW on HackerOne: What's Next
(xbow.com)
19755.
Small Talk
(talk.bradwoods.io)
19756.
Why We Build
(thetortoiseandhare.substack.com)
19757.
19758.
Are we creating intelligence, or discovering it?
(medium.com)
19759.
Building things of worth in a shallow world
(ryanglover.net)
19760.
19761.
The ANT MILL: how theoretical HE physics descended into groupthink and tribalism
(jespergrimstrup.substack.com)
19762.
Gemini CLI
(github.com)
19763.
Picking Quantum Resistant Algorithms [audio]
(securitycryptographywhatever.buzzsprout.com)
19764.
Russia's Most Wanted Hackers [video]
(youtube.com)
19765.
CatVector Heatmap Visualizer
(tanelpoder.com)
19766.
19767.
Fantasy Football Is More Fun When You Accept What You Can't Control
(freddiedeboer.substack.com)
19768.
Unikernel Cronjobs on AWS
(nanovms.com)
19769.
19770.
The fastest sorting algorithm [video]
(youtube.com)