The Generativity Pattern in Rust
arhan.sh·6h·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
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·16h·
Discuss: r/rust
🦀Rust Borrowing
Automating Boundary Filling in Cubical Type Theories
arxiv.org·20h
🔶Cubical Type Theory
How Rust powers Proton Authenticator
proton.me·5h
🦀Rust Borrowing
Part 1: A Deep Dive into Rust and C Memory Interoperability
notashes.me·9h·
Discuss: Hacker News
🔩Systems Programming
An Easy Problem Made Hard: Rust & Binary Trees
mmhaskell.com·16h·
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·13h
⚗️Algebraic Coding
Testing races with a synchronizing Decorator
blog.ploeh.dk·17h
🔄Sync Engine
Vibe coding complex changes in Rust
youtube.com·3d
🦀Rust Macros
Week 31 Status
blogs.gnome.org·2h
🎯Gradual Typing
Generalizing over mutability in Rust
alexsaveau.dev·6d
🦀Rust Macros
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
Prisma ORM Without Rust: Latest Performance Benchmarks
prisma.io·8h·
Discuss: Hacker News
🦀Rust Borrowing
In Support Of Shitty Types
lucumr.pocoo.org·6h·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
Josh Lockhart & Phil Sturgeon
deprogrammaticaipsum.com·21h
🦀Rusty Databases
Let's hax0r a GC… (eventually)
h4x0r.org·9h·
Discuss: Lobsters, Hacker News
🧠Memory Allocators
Linear Types for Programmers
twey.io·2d·
Discuss: Hacker News
🔒Linear Types
Surgical Rewrite from Go to Rust
wxiaoyun.com·1d·
Discuss: Hacker News
🦀Embedded Rust