Memory Safety, Ownership Models, Systems Programming, Compile-time Verification

Feeds to Scour
SubscribedAll
The state of the kernel Rust experiment
lwn.net·6h·
Discuss: Hacker News
🦀Embedded Rust
Preview
Report Post
Fighting the Client Spaghetti Monster with Rust Traits
gnunicorn.org·3d·
Discuss: Hacker News
🦀Rust Verification
Preview
Report Post
The choice between Rust and C-derived languages is not only about memory safety
bbuyukliev.blogspot.com·16h·
Discuss: Hacker News
🦀Embedded Rust
Preview
Report Post
Tank: my take on Rust ORM
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
Preview
Report Post
Gist of Go: Concurrency is out!
antonz.org·1d
⚔️Lean Tactics
Preview
Report Post
Your Frontend Framework is Technical Debt: Why I Deleted React for Rust
hackernoon.com·1d
🦀Rust Macros
Preview
Report Post
Iksemel Rusted
thinkerf.blogspot.com·2d·
Discuss: Hacker News
🔒Linear Types
Preview
Report Post
Indexed Reverse Polish Notation, an Alternative to AST
burakemir.ch·18h·
Discuss: Hacker News
🔗Concatenative Programming
Preview
Report Post
REshare Ramblings - Bad Vibes with IDA
scrapco.de·2h
🔧KAITAI
Preview
Report Post
Surviving the RAM Squeeze: Efficiency Tips for JavaScript Developers
blog.codeminer42.com·1d
🧠Memory Allocators
Preview
Report Post
Translating Informal Proofs into Formal Proofs Using a Chain of States
arxiv.org·1d
⚔️Lean Tactics
Preview
Report Post
Ask your LLM for receipts: What I learned teaching Claude C++ crash triage
addxorrol.blogspot.com·1d·
🔩Systems Programming
Preview
Report Post
My experience with Lean 4 for general programming
quamserena.com·2d·
Discuss: Hacker News
🦀Rust Macros
Preview
Report Post
I Built a Rust Data Engine That Hit #1 Trending — Here's What Actually Worked
dev.to·17h·
Discuss: DEV
🚚Data Migration
Preview
Report Post
The Coming Need for Formal Specification
benjamincongdon.me·12h
📋Formal Verification
Preview
Report Post
Closures as Win32 window procedures
nullprogram.com·18h
🚀Compiler Optimizations
Preview
Report Post
Cyber Talented Framework, a CTF platform coded with Claude Code.
blogs.tunelko.com·1d
🚀Indie Hacking
Preview
Report Post
The Tor Project is Now Rewritten in Rust Instead of C
itsfoss.com·2d
🔒Linear Types
Preview
Report Post
Writing MCP Servers in Rust (stdio, rmcp)
rup12.net·1d·
Discuss: Hacker News
🔩Systems Programming
Preview
Report Post
A Pythonista’s Guide to the 2026 Code Rush
efficientcoder.net·13h
📝Concrete Syntax
Preview
Report Post