Joy & Curiosity #54
registerspill.thorstenball.com·4d
⚙️Proof Engineering
YouTube No Translation
chromewebstore.google.com·3d·
Discuss: Hacker News
✅FLAC Verification
Hacker Folklore – AI Koans
catb.org·5h·
Discuss: Hacker News
🤖Lisp Machines
Nvidia to invest $5 billion in Intel; companies will work together on AI infrastructure and PCs
the-independent.com·1h
🖥️Hardware Architecture
Nvidia and Intel to Develop AI Infrastructure and Personal Computing Products
nvidianews.nvidia.com·3h·
Discuss: Hacker News
🖥️Terminal Renaissance
Redesigning Data Systems to Be Agent-First
muratbuffalo.blogspot.com·21h·
Discuss: Hacker News
🗄️Database Internals
ZeroMQ: Designing for Innovation
zguide.zeromq.org·3d·
Discuss: Hacker News
❄️Nix Adoption
Meh Superpowers, or Not?
jovex.substack.com·3d·
Discuss: Substack
⏰Time Crystals
Fast Fourier Transforms Part 1: Cooley-Tukey
connorboyle.io·23h·
Discuss: Hacker News, r/compsci, r/programming
📊Frequency Analysis
Logitech's next gaming mouse will have haptic-based clicks, adjustable actuation, and rapid trigger — new G Pro X2 Superstrike will land at $180
tomshardware.com·5h
⌨️Mechanical Keyboards
China tells its tech companies they can’t buy AI chips from Nivida
techcrunch.com·19h
🖥️Terminal Renaissance
The Customer Is Always Right (but not always human)
sergey.substack.com·15h·
Discuss: Substack
🤖AI Curation
When Is Your Pyrex Not The Pyrex You Expect?
hackaday.com·9h
🧮Algorithmic Cooking
CarPlay in iOS 26: The MacStories Review
macstories.net·21h
🖥️Vintage Macintosh
MSI enters the US Electric Vehicle charger market with EV Life Series
tomshardware.com·21h
🇳🇱Dutch Computing
Schaeffler AG (SFFLY) Capital Markets Day 2025 Call (Transcript)
seekingalpha.com·17h
🇩🇪German Computers
Hyper-Resolution Satellite Data Fusion for Accelerated Ice Sheet Melt Prediction
dev.to·13h·
Discuss: DEV
🧊Arctic Storage
HARP: Hallucination Detection via Reasoning Subspace Projection
arxiv.org·2d
🌳Context free grammars
Making Judicial Reasoning Visible: Structured Annotation of Holding, Evidentiary Considerations, and Subsumption in Criminal Judgments
arxiv.org·2d
🧮Theorem Proving
A five-layer framework for AI governance: integrating regulation, standards, and certification
arxiv.org·2d
🔐Capability Systems