The Generativity Pattern in Rust
arhan.sh·8h·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Automating Boundary Filling in Cubical Type Theories
arxiv.org·22h
🔶Cubical Type Theory
How Rust powers Proton Authenticator
proton.me·7h
🦀Rust Borrowing
An Easy Problem Made Hard: Rust & Binary Trees
mmhaskell.com·17h·
Discuss: Hacker News
🔒Linear Types
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
DO NOT BUY "Practical Rust" By James Maina
reddit.com·5h·
Discuss: r/rust
🦀Rust Macros
Prisma ORM Without Rust: Latest Performance Benchmarks
prisma.io·9h·
Discuss: Hacker News
🦀Rust Borrowing
Vibe coding complex changes in Rust
youtube.com·3d
🦀Rust Macros
Week 31 Status
blogs.gnome.org·3h
🎯Gradual Typing
In Support Of Shitty Types
lucumr.pocoo.org·7h·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
Introducing luzer, a coverage-guided Lua fuzzing engine
bronevichok.ru·10h·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
Generalizing over mutability in Rust
alexsaveau.dev·6d
🦀Rust Macros
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·15h
⚗️Algebraic Coding
Extensions and Shadows (9)
sites.psu.edu·12h
✨Effect Handlers
04 – eBPF Uprobes: Tracing gRPC Headers by Unpacking Go Function Internals
dev.to·1d·
Discuss: DEV
🔧Binary Parsing
Linear Types for Programmers
twey.io·2d·
Discuss: Hacker News
🔒Linear Types
A Library Approach to Constant Template Parameters
brevzin.github.io·2d·
Discuss: Hacker News, r/cpp
🦀Rust Macros
Challenges of Pseudocode Expansion
funcall.blogspot.com·19h·
Discuss: www.blogger.com
🔗Lisp
Part 1: A Deep Dive into Rust and C Memory Interoperability
notashes.me·10h·
Discuss: Hacker News
🔩Systems Programming
The smallest embeddable scripting language, part 1 | Lobsters
lobste.rs·1d·
Discuss: Lobsters
🔗Concatenative Programming