Combining struct literal syntax with read-only field access
kobzol.github.io·7h·
Discuss: r/rust
🔒Type Safety
Cyclic Implicit Complexity
arxiv.org·14h
🎯Performance Proofs
things rust shipped without (2015)
graydon2.dreamwidth.org·17h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Rust Optimization Guide: 10 Tips Every Developer Should Know 🦀
dev.to·2d·
Discuss: DEV
🔒Type Safety
Lively Linear Lisp (1992)
plover.com·16h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Learn about building a Rust Plugin System
blog.anirudha.dev·12h·
Discuss: Hacker News
🦀Embedded Rust
crabgrind - Rust
docs.rs·1d
🦀Rust Macros
Song recommendations with C# free monads
blog.ploeh.dk·12h
λLambda Formalization
Monday Morning Haskell: Starting out with Graph Algorithms: Basic DFS
mmhaskell.com·10h
🔗Combinatory Logic
Embedding MicroHs
thma.github.io·2d
🔗Functional Compilers
Micro DSLs for scenario tests with Rust macros
dystroy.org·1d
🦀Rust Macros
Tradeoffs of Highly-Expressive Types
jnkr.tech·1d·
Discuss: Hacker News
🎯Gradual Typing
Miso: A swiss table implementation from scratch in rust
reddit.com·1d·
Discuss: r/rust
🦀Rust Verification
How to Test
matklad.github.io·7h·
Discuss: Hacker News
🧪Property-Based Testing
Libdex 1.0
blogs.gnome.org·58m
🤝Paxos Consensus
How to Avoid Fighting Rust Borrow Checker
qouteall.fun·1d·
Discuss: Hacker News
🦀Rust Verification
Baby's first type checker
austinhenley.com·1d·
Discuss: Lobsters, Hacker News
🔤Type Theory
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·3d
🎯Performance Proofs
Structured bindings in C++17, 8 years later – C++ Stories
cppstories.com·1d·
Discuss: Lobsters, Hacker News, r/cpp
⬆️Lambda Lifting
Ask HN: Polyglot Mirroring
news.ycombinator.com·7h·
Discuss: Hacker News
🦀Rust Borrowing