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
🔬 Static Analysis
Compiler Design, Type Theory, Program Verification, Code Quality
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
74100
posts in
979.2
ms
Declarative
,
Reproducible
Emacs
irreal.org
·
1d
🦀
Rust Macros
Why I use
Typetify
: A Type-Safe Alternative to
Lodash
dev.to
·
1d
·
Discuss:
DEV
🦕
Deno
The Quiet
Skill
That
Separates
Good Developers from Great Ones
dev.to
·
13h
·
Discuss:
DEV
🔐
Capability Systems
Built a
KiCAD
schematic
analyzer in Rust - would appreciate code review
github.com
·
2d
·
Discuss:
r/rust
🔧
Embedded Rust
creact-labs/creact
:
CReact
is a meta-runtime for building domain-specific,
reactive
execution engines.
github.com
·
1d
·
Discuss:
r/node
,
r/reactjs
🚀
Actix
impl Rust: Avro
IDL
tool in Rust via
ANTLR
youtube.com
·
2d
·
Discuss:
Hacker News
,
r/rust
🍱
Nom
Show HN:
LocalGPT
– A local-first AI assistant in Rust with
persistent
memory
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🏛️
Region-Based Memory
Persistent
Human Feedback, LLMs, and Static
Analyzers
for Secure Code Generation and Vulnerability Detection
arxiv.org
·
3d
🏗️
Cranelift
Reducing
the Costs of Proof Synthesis on Rust Systems by Scaling Up a
Seed
Training Set
arxiv.org
·
3d
🦀
Rust
Full-circle Test-driven
Firmware
Development with
OpenClaw
blog.adafruit.com
·
1d
·
Discuss:
Hacker News
🧪
Jepsen Testing
Tutorial
on
Agentic
Engine
pori.vanangamudi.org
·
8h
·
Discuss:
r/LocalLLaMA
📝
Poem
Production pain points and coordination patterns from building a
dual-orchestrator
(Claude + Kimi) system on Claude Code. 8 failure modes with specs and
invariants
.
gist.github.com
·
1d
·
Discuss:
Hacker News
🌀
Maelstrom
Automatic
Programming
notes.billmill.org
·
4d
🎭
Program Synthesis
The Engineering
Discipline
That Made AI Actually
Useful
multigres.com
·
4d
·
Discuss:
Hacker News
🌳
Tree-sitter
There is no
Alignment
Problem
news.ycombinator.com
·
19h
·
Discuss:
Hacker News
🌊
CALM Theorem
Taming the Regex Monster: Optimizing Massive
Literal
Alternations
modern-c.blogspot.com
·
3d
·
Discuss:
r/golang
🔤
Suffix Automata
Chasing a Zig
AVR
Segfault
Down to LLVM
sourcery.zone
·
1d
·
Discuss:
r/Zig
⚙️
Zig
Performance Tip of the Week #62:
Identifying
and reducing memory
bandwidth
needs
abseil.io
·
1d
🚀
Performance
Automatic
Programming
Returns
cyber-omelette.com
·
2d
·
Discuss:
Hacker News
,
Hacker News
,
r/programming
🎭
Program Synthesis
What if writing
tests
was a
joyful
experience?
blog.janestreet.com
·
3d
·
Discuss:
Hacker News
🔍
Proptest
Loading...
Loading more...
« Page 6
•
Page 8 »
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