My AI Workflow for Understanding Any Codebase
steipete.me·13h
⚡Proof Automation
ML in the Home
blog.raymond.burkholder.net·1d
📈Time Series
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
Show HN: TableSprint- Supabase alternative with vibe coding features
tablesprint.com·20h·
Discuss: Hacker News
📲Digitization
LLM-Aided Testbench Generation and Bug Detection for Finite-State Machines
arxiv.org·1d
🔧Hardware Verification
Feedback-driven recurrent quantum neural network universality
arxiv.org·2d
⚛️Quantum Storage
C++ Seeding Surprises (2015)
pcg-random.org·7h·
Discuss: Hacker News
🔢Bitwise Algorithms
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·8h·
Discuss: Substack
🦀Rust Macros
Microsoft's 4D geometric codes improve performance of quantum hardware 1000-fold
azure.microsoft.com·5d·
Discuss: Hacker News
⚛️Quantum Error Correction
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·9h·
Discuss: DEV
📏Code Metrics
Why Binary Won and Nothing Else Even Got Close
b0a04gl.site·1d·
Discuss: Hacker News
🧲RISC-V Archaeology
C compiler for Web Assembly (c4wa)
github.com·1d·
Discuss: Hacker News
🌐WASI
CUDA Ray Tracing 2x Faster Than RTX: My CUDA Ray Tracing Journey
karimsayedre.github.io·1h·
Discuss: Hacker News
📊Performance Profiling
AI digital twins in supply chain execution
forbes.com·4h·
Discuss: Hacker News
🏠Homelab Orchestration
Abhishek Upadhyay's UK-Patented Quantum-Inspired Invention Signals New Frontier
news.ycombinator.com·1d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·22h·
Discuss: Hacker News
🦀Rust Macros
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.com·9h·
Discuss: Hacker News
📋DFDL
Raymond Laflamme (1960-2025)
scottaaronson.blog·1d·
Discuss: Hacker News
⚛️Quantum Tape
The Quantum Paradox of Trust: Why We Will Rely on Computers That Are Built to Fail
dev.to·1d·
Discuss: DEV
⚛️Quantum Error Correction
Plan for Speed -- Dilated Scheduling for Masked Diffusion Language Models
arxiv.org·19h
💻Local LLMs