Linkdump No 64
82mhz.net·2d
🔌Operating system internals
OpenAI's experimental model achieved gold at the International Math Olympiad
engadget.com·13h
📐Proof Assistants
OrioleDB fastpath search (faster random key lookups for PostgreSQL)
orioledb.com·2d·
Discuss: Hacker News
🗃️Database Storage
The Big OOPs: Anatomy of a Thirty-Five Year Mistake
computerenhance.com·2d·
Discuss: Hacker News, Hacker News
🏗️Compiler Archaeology
Read post
allenai.org·7h·
Discuss: Hacker News
🎙️Whisper
Nobody Knows How to Build with AI Yet
worksonmymachine.substack.com·15h·
Discuss: Substack
⚙️Build Archaeology
DPNO: A Dual Path Architecture For Neural Operator
arxiv.org·2d
📊Quantization
Rethinking CLI Interfaces for AI
notcheckmark.com·14h·
Discuss: Lobsters, Hacker News
🔒WASM Capabilities
Integrating Model Context Protocol with Gemini: The Definitive Guide to Modern Tool Calling (Agentic-AI)
dev.to·11h·
Discuss: DEV
🔌Interface Evolution
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·3d·
Discuss: Hacker News
🔗Concatenative Programming
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·4d·
Discuss: Hacker News
🎯Interactive Provers
My favorite use-case for AI is writing logs
newsletter.vickiboykis.com·2d·
Discuss: Lobsters, Hacker News
🌳Incremental Parsing
Matt Layman: Enhancing Chatbot State Management with LangGraph
mattlayman.com·2d
⚡Proof Automation
Wave or Particle? Physicists Crack a 50-Year-Old Quantum Puzzle
scitechdaily.com·2d
⚛️Quantum Information
Synthetic Conscious Pixels
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Asynchrony is not Concurrency
kristoff.it·2d·
Discuss: Lobsters, Hacker News, r/programming
🌊Stream Processing
Rapidus Starts 2nm Gate All Around Prototype Production at IIM-1
servethehome.com·16h
🖥️Modern Terminals
Asymmetric metasurface allows precise control of photon entanglement
phys.org·1d
🌈Holographic Storage
How Distillation Makes AI Models Smaller and Cheaper
quantamagazine.org·1d·
Discuss: Hacker News, Hacker News
📊Quantization
Burn 0.18.0: Important Performance Milestones Achieved
reddit.com·1d·
Discuss: r/rust
📊Performance Profiling