🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🦀 Rust Verification
Memory Safety Proofs, Linear Types, Borrow Checker, Systems Verification
Filter Results
Timeframe
Hot
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Multi-clocked Guarded Recursion Beyond {\omega}
arxiv.org
·
1h
λ
Lambda Encodings
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The state of the kernel Rust experiment
lwn.net
·
1d
·
Discuss:
Hacker News
🦀
Embedded Rust
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
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
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The Coming Need for Formal Specification
benjamincongdon.me
·
2d
📋
Formal Verification
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Fast Sequence Iteration in Common Lisp
world-playground-deceit.net
·
1d
·
Discuss:
Hacker News
🧠
Lisp Dialects
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Go From Zero to Depth — Part 4: Pointers in Go (Not Scary, Just Misunderstood)
dev.to
·
18h
·
Discuss:
DEV
🔒
Type Safety
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
🦀 Rust Is Officially Part of Linux Mainline
weeklyrust.substack.com
·
5h
·
Discuss:
Substack
🦀
Embedded Rust
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
IsEven(int32_t) in O(1)
ceayo.neocities.org
·
1d
·
Discuss:
Hacker News
🧪
Binary Fuzzing
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems
arxiv.org
·
1h
🎯
Performance Proofs
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Gist of Go: Concurrency is out!
antonz.org
·
2d
⚔️
Lean Tactics
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Linux Sandboxes and Fil-C
fil-c.org
·
1d
·
Discuss:
Hacker News
🛡️
WASM Security
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Indexed Reverse Polish Notation, an Alternative to AST
burakemir.ch
·
2d
·
Discuss:
Hacker News
🔗
Concatenative Programming
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
ClickHaskell 1.0.0 is out
github.com
·
21h
·
Discuss:
Lobsters
🔗
Functional Compilers
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The choice between Rust and C-derived languages is not only about memory safety
bbuyukliev.blogspot.com
·
2d
·
Discuss:
Hacker News
🦀
Rust Borrowing
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Ask your LLM for receipts: What I learned teaching Claude C++ crash triage
addxorrol.blogspot.com
·
2d
·
Discuss:
www.blogger.com
🔩
Systems Programming
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Why Rust for Embedded Systems? (and Why I'm Teaching Robotics with It)
blog.ravven.dev
·
1d
·
Discuss:
Hacker News
🦀
Embedded Rust
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Fighting the Client Spaghetti Monster with Rust Traits
gnunicorn.org
·
5d
·
Discuss:
Hacker News
🦀
Rust Borrowing
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
MCP Writing Code to Call MCP: MCPs All the Way Down
rouxbot.com
·
1d
·
Discuss:
Hacker News
🛡️
WASM Sandboxing
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Iksemel Rusted
thinkerf.blogspot.com
·
4d
·
Discuss:
Hacker News
🦀
Rust Borrowing
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Your Frontend Framework is Technical Debt: Why I Deleted React for Rust
hackernoon.com
·
2d
🦀
Rust Macros
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Loading...
Loading more...
Page 2 »