🐿️ 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
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Announcing <code>rv</code> 0.2
andre.arko.net
·
6h
🧲
RISC-V Preservation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Metasploit Wrap Up 10/09/2025
rapid7.com
·
1d
🛡️
eBPF Security
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Implementing ZADD If Key Exists
rozumem.xyz
·
1d
·
Discuss:
Hacker News
⚡
Redis Internals
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
`shimmy` Rust inference server uses bindings to a C library... and runs Python scripts in the shell
reddit.com
·
1d
·
Discuss:
r/rust
🦀
Rust Macros
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Health Effects of Electromagnetic Radiation
huijzer.xyz
·
4h
·
Discuss:
Lobsters
,
Hacker News
📄
PostScript
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Managing Asynchronous Work with Celery and Redis
dev.to
·
1d
·
Discuss:
DEV
🌊
Apache Kafka
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Why it took 4 years to get a lock files specification
snarky.ca
·
11h
·
Discuss:
Lobsters
,
Hacker News
🔄
Language Evolution
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com
·
2d
·
Discuss:
Hacker News
λ
Lambda Encodings
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Preventing Invalid Database Access at Compile Time
svix.com
·
4d
·
Discuss:
Hacker News
,
r/rust
🦀
Rust Borrowing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Parallelizing Cellular Automata with WebGPU Compute Shaders
vectrx.substack.com
·
1d
·
Discuss:
Substack
🔲
Cellular Automata
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Trusted Execution Environments? More Like "Trust Us, Bro" Environments
libroot.org
·
20h
·
Discuss:
Hacker News
🛡️
RISC-V Security
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Linus Method: How we simiplifed RFC reviews
devashish.me
·
22h
·
Discuss:
Hacker News
⚙️
Proof Engineering
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.com
·
5d
·
Discuss:
Hacker News
🛡️
WASM Security
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
GoMem is a high-performance memory allocator library for Go
github.com
·
1d
🧠
Memory Allocators
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Revisiting Karpathy's 'Unreasonable Effectiveness of Recurrent Neural Networks'
gilesthomas.com
·
13h
·
Discuss:
Hacker News
🎧
Learned Audio
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Refactoring: A way to write better Code
dev.to
·
12h
·
Discuss:
DEV
⚙️
Operational Semantics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
VLLM Predicted Outputs
cascadetech.ai
·
18h
·
Discuss:
Hacker News
💻
Local LLMs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
When Python can't thread: a deep-dive into the GIL's impact
pythonspeed.com
·
1d
·
Discuss:
Hacker News
🔩
Systems Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Preference-aware routing for Claude Code 2.0
archgw.com
·
1d
·
Discuss:
Hacker News
🔗
Topological Sorting
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to
·
18h
·
Discuss:
DEV
🔍
Concolic Testing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 4
•
Page 6 »