Feeds to Scour
SubscribedAll
Multi-clocked Guarded Recursion Beyond {\omega}
arxiv.org·1h
λLambda Encodings
Preview
Report Post
The state of the kernel Rust experiment
lwn.net·1d·
Discuss: Hacker News
🦀Embedded Rust
Preview
Report Post
I accidentally made a git client in rust with no prior experience. Here are my thoughts on all that!
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
Preview
Report Post
The Coming Need for Formal Specification
benjamincongdon.me·2d
📋Formal Verification
Preview
Report Post
Fast Sequence Iteration in Common Lisp
world-playground-deceit.net·1d·
Discuss: Hacker News
🧠Lisp Dialects
Preview
Report Post
Go From Zero to Depth — Part 4: Pointers in Go (Not Scary, Just Misunderstood)
dev.to·18h·
Discuss: DEV
🔒Type Safety
Preview
Report Post
🦀 Rust Is Officially Part of Linux Mainline
weeklyrust.substack.com·5h·
Discuss: Substack
🦀Embedded Rust
Preview
Report Post
IsEven(int32_t) in O(1)
ceayo.neocities.org·1d·
Discuss: Hacker News
🧪Binary Fuzzing
Preview
Report Post
LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems
arxiv.org·1h
🎯Performance Proofs
Preview
Report Post
Gist of Go: Concurrency is out!
antonz.org·2d
⚔️Lean Tactics
Preview
Report Post
Linux Sandboxes and Fil-C
fil-c.org·1d·
Discuss: Hacker News
🛡️WASM Security
Preview
Report Post
Indexed Reverse Polish Notation, an Alternative to AST
burakemir.ch·2d·
Discuss: Hacker News
🔗Concatenative Programming
Preview
Report Post
ClickHaskell 1.0.0 is out
github.com·21h·
Discuss: Lobsters
🔗Functional Compilers
Preview
Report Post
The choice between Rust and C-derived languages is not only about memory safety
bbuyukliev.blogspot.com·2d·
Discuss: Hacker News
🦀Rust Borrowing
Preview
Report Post
Ask your LLM for receipts: What I learned teaching Claude C++ crash triage
addxorrol.blogspot.com·2d·
Discuss: www.blogger.com
🔩Systems Programming
Preview
Report Post
Why Rust for Embedded Systems? (and Why I'm Teaching Robotics with It)
blog.ravven.dev·1d·
Discuss: Hacker News
🦀Embedded Rust
Preview
Report Post
Fighting the Client Spaghetti Monster with Rust Traits
gnunicorn.org·5d·
Discuss: Hacker News
🦀Rust Borrowing
Preview
Report Post
MCP Writing Code to Call MCP: MCPs All the Way Down
rouxbot.com·1d·
Discuss: Hacker News
🛡️WASM Sandboxing
Preview
Report Post
Iksemel Rusted
thinkerf.blogspot.com·4d·
Discuss: Hacker News
🦀Rust Borrowing
Preview
Report Post
Your Frontend Framework is Technical Debt: Why I Deleted React for Rust
hackernoon.com·2d
🦀Rust Macros
Preview
Report Post