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
74122
posts in
599.4
ms
Rust devs
surveil
cheaters
like they're 'playing an RTS game': 'Every gun shot, every message, every dropped item, every kind of interaction is logged'
pcgamer.com
·
1d
🦀
Rust
Declarative
,
Reproducible
Emacs
irreal.org
·
1d
🦀
Rust Macros
InfraBuilder
: The
Deterministic
Hardware Architect
dev.to
·
1d
·
Discuss:
DEV
🔗
Intrusive Containers
Stop Writing
Boilerplate
: How I Built a Code Generator to Automate
NestJS
Development
dev.to
·
1d
·
Discuss:
DEV
🏗️
Pavex
Tutorial
on
Agentic
Engine
pori.vanangamudi.org
·
10h
·
Discuss:
r/LocalLLaMA
📝
Poem
Hoot
: Scheme on
WebAssembly
spritely.institute
·
1d
·
Discuss:
Hacker News
🕸️
WebAssembly
Full-circle Test-driven
Firmware
Development with
OpenClaw
blog.adafruit.com
·
1d
·
Discuss:
Hacker News
🧪
Jepsen Testing
Yigaue/production-ready-web-api-checklist
: A comprehensive, framework-agnostic checklist for building secure, scalable, and
maintainable
web and API applications.
github.com
·
5h
·
Discuss:
DEV
🏗️
Pavex
The Engineering
Discipline
That Made AI Actually
Useful
multigres.com
·
4d
·
Discuss:
Hacker News
🌳
Tree-sitter
Built a
KiCAD
schematic
analyzer in Rust - would appreciate code review
github.com
·
2d
·
Discuss:
r/rust
🔧
Embedded Rust
Automatic
Programming
notes.billmill.org
·
4d
🎭
Program Synthesis
There is no
Alignment
Problem
news.ycombinator.com
·
21h
·
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
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
Does Programming Language Matter? An
Empirical
Study of
Fuzzing
Bug Detection
arxiv.org
·
3d
🐛
Fuzzing
What if writing
tests
was a
joyful
experience?
blog.janestreet.com
·
3d
·
Discuss:
Hacker News
🔍
Proptest
Automatic
Programming
Returns
cyber-omelette.com
·
2d
·
Discuss:
Hacker News
,
Hacker News
,
r/programming
🎭
Program Synthesis
Mad Rust: The
JVM
Developer's Journey. Kotlin/Java Developer's Road to
Valhalla
sobolev.substack.com
·
5d
·
Discuss:
Substack
🦀
Rust
Loading...
Loading more...
« Page 7
•
Page 9 »
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