Relative Completeness of Incorrectness Separation Logic
arxiv.org·20h
🧠Separation Logic
How the Lean language brings math to coding and coding to math
amazon.science·5h·
Discuss: Hacker News
🔬Lean
Why Computer Science Is No Good, Redux
cacm.acm.org·6h
🎯Performance Proofs
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·1d
⚗️Algebraic Coding
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·10h·
Discuss: www.blogger.com
🌳Persistent Data Structures
Gigabyte MZ73-LM0 Upgraded VRM heatsinks
forums.anandtech.com·1d
🖥️Modern CPU
Intel Struggles With Key Manufacturing Process For Next PC Chip
hardware.slashdot.org·1h
🧪Hardware Fuzzing
Designing a Flexible Ability System in Games Using the Chain of Responsibility Pattern
hackernoon.com·3h
✨Algebraic Effects
Protecting Electronics Against Electrostatic Discharge
spectrum.ieee.org·6h
⚡Circuit Design
Deepfake Forensics Is Much More Than Deepfake Detection!
blog.ampedsoftware.com·10h
💿DAT Forensics
Checking the 1132 Carriage Control brush latch circuits
rescue1130.blogspot.com·12h·
Discuss: rescue1130.blogspot.com
⚙️Cassette Mechanics
Hardware Has Changed
buttondown.com·4h·
Discuss: Hacker News
🖥️Terminal Renaissance
miniHDL: A Python Hardware Description Language DSL
nicholas.carlini.com·4d·
Discuss: Hacker News
⚡Circuit Design
SAT Requires Exhaustive Search
link.springer.com·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
New NVMe specifications for AI, cloud, enterprise and client applications
heise.de·9h
💾Persistent Memory
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·17h
✅Archive Validation
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·1d
📝Concrete Syntax
What I Learned About Machine Learning – Don’t Use It!
bobbydurrettdba.com·1h
👁️System Observability
Real Life Is Uncertain. Consensus Should Be Too
muratbuffalo.blogspot.com·10h·
Discuss: Hacker News
🤝Paxos Consensus
Bouncing on trampolines to run eBPF programs
bootlin.com·16h
🔍eBPF