RaptorCast: Designing a Messaging Layer
category.xyz·1d·
Discuss: Hacker News
🤝Distributed Consensus
Exact Error Exponents of Concatenated Codes for DNA Storage
arxiv.org·1d
🧬Palindrome Codes
From spin glasses to quantum codes: Researchers develop optimal error correction algorithm
phys.org·16h
⚛️Quantum Error Correction
An unfinished post: "Compressing short Unicode strings with BOCU-1"
evanhahn.com·1d
🔤Character Encoding
[EN-US] How does the internet work?
dev.to·7h·
Discuss: DEV
📡Network Protocol Design
Finished checking and fixing up the diagnostic load file
rescue1130.blogspot.com·19h·
Discuss: rescue1130.blogspot.com
🔤Character Encoding
Can All Knowledge Be Mined? A Formal Framework for φ^∞ Consequence Closure
researchgate.net·13h·
Discuss: Hacker News
🔢Denotational Semantics
Disaster Recovery with ZFS: A Practical Guide
discoverbsd.com·19m
🗄️File Systems
Deep Dive into DNS: Super Smart Address Book
axonshield.com·9h·
Discuss: Hacker News
📡DNS Archaeology
Posit floating point numbers: thin triangles and other tricks
marc-b-reynolds.github.io·15h·
Discuss: Lobsters, Hacker News
💎Information Crystallography
What I learned from the book Designing Data-Intensive Applications
newsletter.techworld-with-milan.com·15h·
Discuss: r/compsci, r/programming
🗄️Database Internals
Risky Bulletin: Russian hackers abuse app-specific passwords to bypass MFA
news.risky.biz·1h
🔓Hacking
Fair Data Exchange with Constant-Time Proofs
arxiv.org·1d
🌳Archive Merkle Trees
Linters, Formatters, and Type-Checkers
playfulprogramming.com·1d
🎯Gradual Typing
My first experience with Formal Methods | ZipCPU
zipcpu.com·20h
🔧Hardware Verification
Notes on retries
justinblank.com·1d·
Discuss: Lobsters
🛡️Error Boundaries
Recent optimizations on integer to string conversions
reddit.com·15h·
Discuss: r/rust
🧮Algebraic Datatypes
New Bounds and Constructions for Variable Packet-Error Coding
arxiv.org·1d
⚽Sphere Packing
Pennybase: a Pound-Shop BaaS
zserge.com·3d
✅Format Validation
Beating Redis with a Dictionary and Redis
frappe.io·6h
⚡Redis Internals