Travels, 10
cameroncounts.wordpress.com·8h
🎯Performance Proofs
What Is FIPS 140-3 and Why Does It Matter for Security Compliance?
securityscorecard.com·7h
🌳Archive Merkle Trees
Machines of Faithful Obedience
windowsontheory.org·1d
🔲Cellular Automata
How to survive the apocalypse: a conversation with Tim O’Reilly about Generative AI
chelseatroy.com·1h
✨Effect Handlers
🧠 My First Rosetta Stone: When OrKa Proved AI Can Think Structurally
dev.to·15h·
Discuss: DEV
⚡Proof Automation
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·1d
⚖️Hoare Logic
The Quantum Paradox of Trust: Why We Will Rely on Computers That Are Built to Fail
dev.to·1d·
Discuss: DEV
⚛️Quantum Error Correction
How A Small Class at Caltech Helped Launch a Computer Revolution
caltech.edu·2d·
Discuss: Hacker News
🇩🇪German Computing
Plan for Speed -- Dilated Scheduling for Masked Diffusion Language Models
arxiv.org·18h
💻Local LLMs
Design high-confidence computers using trusted instructional set architecture and emulators
arxiv.org·1d
🧪Hardware Fuzzing
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions
arxiv.org·1d
🎯Performance Proofs
Brains in Silicon
defragzone.substack.com·2d·
Discuss: Substack
🕹️Hardware Emulation
A colorful quantum future
research.google·2d·
Discuss: Hacker News
⚛️Quantum Error Correction
Enhanced Fault Ride-Through Grid Forming with Transient Synchronisation Stability and Current Saturation
arxiv.org·18h
🛡️Error Boundaries
Data Has No Moat!
towardsdatascience.com·1d
🏺Database Archaeology
MIT researchers bond gallium nitride transistors to silicon chips for faster next-gen devices
techspot.com·11h·
Discuss: r/technews
🖥️Modern Terminals
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
High-order adaptive multi-domain time integration scheme for microscale lithium-ion batteries simulations
arxiv.org·18h
⚙️Tape Engineering
Challenges and Practices in Quantum Software Testing and Debugging: Insights from Practitioners
arxiv.org·1d
⚛️Quantum Compilers