The Generativity Pattern in Rust
arhan.sh·10h·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Relative Completeness of Incorrectness Separation Logic
arxiv.org·1h
🧠Separation Logic
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·20h·
Discuss: r/rust
🦀Rust Borrowing
How Rust powers Proton Authenticator
proton.me·9h
🦀Rust Borrowing
Part 1: A Deep Dive into Rust and C Memory Interoperability
notashes.me·13h·
Discuss: Hacker News
🔩Systems Programming
An Easy Problem Made Hard: Rust & Binary Trees
mmhaskell.com·20h·
Discuss: Hacker News
🔒Linear Types
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·18h
⚗️Algebraic Coding
Testing races with a synchronizing Decorator
blog.ploeh.dk·21h
🔄Sync Engine
Automating Boundary Filling in Cubical Type Theories
arxiv.org·1d
🔶Cubical Type Theory
Vibe coding complex changes in Rust
youtube.com·3d
🦀Rust Macros
Week 31 Status
blogs.gnome.org·6h
🎯Gradual Typing
Generalizing over mutability in Rust
alexsaveau.dev·6d
🦀Rust Macros
Prisma ORM Without Rust: Latest Performance Benchmarks
prisma.io·12h·
Discuss: Hacker News
🦀Rust Borrowing
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·3d
🔗Functional Compilers
04 – eBPF Uprobes: Tracing gRPC Headers by Unpacking Go Function Internals
dev.to·1d·
Discuss: DEV
🔧Binary Parsing
In Support Of Shitty Types
lucumr.pocoo.org·10h·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
Josh Lockhart & Phil Sturgeon
deprogrammaticaipsum.com·1d
🦀Rusty Databases
Let's hax0r a GC… (eventually)
h4x0r.org·13h·
Discuss: Lobsters, Hacker News
🧠Memory Allocators
Simple Methods Defend RAG Systems Well Against Real-World Attacks
arxiv.org·1h
🔐Systems Hardening