If Your Kernel Development is a Little Rusty
hackaday.com·4d
🦀Embedded Rust
The Sliding Window in Haskell & Rust
mmhaskell.com·2d
λLambda Encodings
[$] How to write Rust in the kernel: part 1
lwn.net·5d
🦀Rust Borrowing
Memory Safety in Web Rust System Zero Cost Secure（1750644757028200）
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
How Traits Enable Dependency Injection in Rust
dev.to·4d·
Discuss: DEV
🦀Rust Borrowing
Deciding Termination of Simple Randomized Loops
arxiv.org·1d
🌳Persistent Data Structures
Schemars v1 is now released
reddit.com·6h·
Discuss: r/rust
🦀Rust Macros
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
The collective waste caused by poor documentation
shanrauf.com·22h·
Discuss: Hacker News
📦Deflate
Implementing Ray Tracing In One Weekend in F#
heftymouse.me·3d·
Discuss: Hacker News
🔗Functional Compilers
Memory Safety in Web Rust System Zero Cost Secure（1750632264828500）
dev.to·3d·
Discuss: DEV
🦀Rust Borrowing
The one-more-re-nightmare compiler (2021)
applied-langua.ge·1d·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
BNFGen: A random text generator based on context-free grammars
baturin.org·6h·
Discuss: Hacker News
🌳Context free grammars
Creating Domain Types for Safer Code
dev.to·3d·
Discuss: DEV
🔒Linear Types
Should I learn Rust or C as my second language after Python?
reddit.com·1d·
Discuss: r/rust
🔩Systems Programming
Memory Safety in Web Rust System Zero Cost Secure（1750594760521200）
dev.to·3d·
Discuss: DEV
🦀Rust Borrowing
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·20h
🔗Topological Sorting
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·1d
⚖️Hoare Logic
VFArch\=e: A Dual-Mode Framework for Locating Vulnerable Functions in Open-Source Software
arxiv.org·1d
🛡️eBPF Security
The Guide to the Foundation Models Framework
azamsharp.com·10h·
Discuss: Hacker News
λLambda Formalization