Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⚡ Dependent Rust
Verification, Type-level Programming, Safety Proofs, Linear Types
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
25533
posts in
1.20
s
Ethlambda
: Building a post-quantum Ethereum client with the help of shared
tooling
blog.lambdaclass.com
·
5d
🤝
Distributed Consensus
NetBSD
's conservative
stance
on Rust in the kernel
discoverbsd.com
·
5d
🐡
OpenBSD
Differential
Logic
• 2
inquiryintoinquiry.com
·
4d
⚖️
Constraint Logic
Integrating
Coverity
static analysis with
Bazel
tweag.io
·
5d
·
Discuss:
Lobsters
✅
Format Validation
C,
Golang
and Rust for PS2 +
N64
Online Super Mario 64 Co-op on Real Hardware
youtube.com
·
5d
·
Discuss:
r/golang
,
r/programming
,
r/rust
🕹️
Retro Gaming
Built a tiny fast library for catching
obvious
prompt
injections
reddit.com
·
4d
·
Discuss:
r/golang
🧪
Binary Fuzzing
GSoC
2026 Predictions: 30 NEW AI/ML/Security Organizations You Should Start
Contributing
to NOW!
dev.to
·
4d
·
Discuss:
DEV
🦀
Rust Macros
MCPSDK
vs
Smithery
dev.to
·
4d
·
Discuss:
DEV
🔗
Topological Sorting
Rethinking
Code
Complexity
Through the Lens of Large Language Models
arxiv.org
·
18h
📏
Code Metrics
VERIFY-RL:
Verifiable
Recursive
Decomposition for Reinforcement Learning in Mathematical Reasoning
arxiv.org
·
18h
⚔️
Lean Tactics
Controlled
Cot
: A
SystemLevel
Design for LLM's Reliable Reasoning
sruthipoddutur.substack.com
·
4d
·
Discuss:
Substack
📏
Linear Logic
What if writing
tests
was a
joyful
experience?
blog.janestreet.com
·
5d
·
Discuss:
Hacker News
🧪
Property-Based Testing
Lessons from
BF-Tree
: Building a
Concurrent
Larger-Than-Memory Index in Rust
zhihanz.github.io
·
6d
·
Discuss:
Hacker News
🗃️
Database Storage
Building a C
compiler
with a team of parallel
Claudes
anthropic.com
·
5d
·
Discuss:
Lobsters
,
Hacker News
,
r/ClaudeAI
,
r/Compilers
,
r/embedded
,
r/rust
🔩
Systems Programming
Clankers
with
claws
world.hey.com
·
5d
·
Discuss:
Hacker News
⚔️
Lean Tactics
The Engineering
Discipline
That Made AI Actually
Useful
multigres.com
·
5d
·
Discuss:
Hacker News
🏗️
Compiler Archaeology
Profiling
Swift Applications on Windows and macOS with
Tracy
compositorapp.com
·
4d
·
Discuss:
Hacker News
🦀
Rust Macros
Making
Pyrefly
Diagnostics
18x Faster
pyrefly.org
·
4d
·
Discuss:
Hacker News
🌳
Incremental Parsing
a
declarative
spec for goals, plans, and
gated
execution
planspec.io
·
5d
·
Discuss:
Hacker News
⚔️
Lean Tactics
Show HN: Replacing
NotNull
and
Preconditions
with fluent Java assertions
news.ycombinator.com
·
5d
·
Discuss:
Hacker News
✅
Format Verification
Loading...
Loading more...
« Page 15
•
Page 17 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help