Relative Completeness of Incorrectness Separation Logic
arxiv.org·3h
🛡️Archive Verification
Three bad things: threads, garbage collection, and nondeterministic destructors
apenwarr.ca·1d·
Discuss: Hacker News
🧠Memory Allocators
Part 1: A Deep Dive into Rust and C Memory Interoperability
notashes.me·16h·
Discuss: Hacker News, r/programming
🔩Systems Programming
SIEVE — a better algorithm than LRU?
blog.apnic.net·2h
💨Cache Analysis
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·20h
⚗️Algebraic Coding
SAT Requires Exhaustive Search
link.springer.com·10h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·21m
✅Archive Validation
Week 31 Status
blogs.gnome.org·8h
🎯Gradual Typing
An Easy Problem Made Hard: Rust & Binary Trees
mmhaskell.com·22h·
Discuss: Hacker News
🔒Linear Types
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·17h
📝Concrete Syntax
The Generativity Pattern in Rust
arhan.sh·13h·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Automating Boundary Filling in Cubical Type Theories
arxiv.org·1d
🔶Cubical Type Theory
A Formal Framework for the Definition of 'State': Hierarchical Representation and Meta-Universe Interpretation
arxiv.org·3h
🔄Finite State Machines
Unraveling The Thread Events
gbstudiocentral.com·18h
⚡Effectful Programming
Big O vs Hardware: Better Complexity ≠ Better Performance
blog.codingconfessions.com·1d·
Discuss: Hacker News
🔢Bitwise Algorithms
Why mathematicians want to destroy infinity – and may succeed
newscientist.com·15h
⏰Time Crystals
I bombed a memory management question in an interview, so I built a testing lab to understand what really happens when Rust and C allocators collide!
reddit.com·23h·
Discuss: r/rust
🦀Rust Verification
Testing races with a synchronizing Decorator
blog.ploeh.dk·23h
🔄Sync Engine
A safer memcpy with very limited use cases
subethasoftware.com·3d
🧪Binary Fuzzing