Superimposed codes
blog.sesse.net·9h
💾Binary codes
Memory Safety in Web Rust System Zero Cost Secure（1750594760521200）
dev.to·9h·
Discuss: DEV
🦀Rust Borrowing
The Probability of a Hash Collision
kevingal.com·17h·
Discuss: Hacker News
🔐Hash Functions
Counting with Categories (Part 1)
golem.ph.utexas.edu·6h
λLambda Formalization
From spin glasses to quantum codes: Researchers develop optimal error correction algorithm
phys.org·3d
⚛️Quantum Error Correction
Real-world performance comparison of ebtree/cebtree/rbtree
wtarreau.blogspot.com·26m·
Discuss: wtarreau.blogspot.com
🌲B-tree Variants
Understanding Bitwise Operators
beyondit.blog·1d·
Discuss: Hacker News, r/programming
🎯Arithmetic Coding Theory
Exact Error Exponents of Concatenated Codes for DNA Storage
arxiv.org·3d
🧬Palindrome Codes
Are you okay Gemini?
markjgsmith.com·2h
✅Format Verification
Implementing Ray Tracing In One Weekend in F#
heftymouse.me·8h·
Discuss: Hacker News
🔗Functional Compilers
Preparing for the Quantum Leap: The Urgency of Post-Quantum Cryptography
dev.to·9h·
Discuss: DEV
🔐Quantum Security
Making a genetic algorithm to navigate a 2D spacecraft
a-biad.github.io·1d·
Discuss: r/programming
🔲Cellular Automata
Magnus Therning: Finding a type for Redis commands
magnus.therning.org·1d
🌐Protocol Synthesis
An unfinished post: "Compressing short Unicode strings with BOCU-1"
evanhahn.com·3d
🔤Character Encoding
Adding linear-time lookbehinds to RE2
systemf.epfl.ch·22h·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
Microcontrollers: Getting Started
youtube.com·2d
🔌Microcontrollers
Lockfree Programming: A Mental Model
xorvoid.com·1d·
Discuss: Hacker News, Hacker News
⚡Hardware Transactional Memory
What is the Bitcoin proof-of-work problem?
johndcook.com·2d
🔗Hash Chains
Polyfill for Array.isArray
dev.to·1d·
Discuss: DEV
🔗Concatenative Languages
The Product Topology, or, How Not to Stumble into the Box Topology
relatedwork.blogspot.com·31m·
Discuss: relatedwork.blogspot.com
🏗️Constructive Mathematics