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
🔬 Code Analysis
Static Analysis, Control Flow, Data Flow, Program Verification
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
83079
posts in
381.3
ms
Build a
Compiler
in Five Projects
kmicinski.com
·
3h
🎭
Racket Modules
Common
Manual
Testing
Techniques
and The Future Of
Manual
Testing in the age of AI
dev.to
·
7h
·
Discuss:
DEV
🎲
Property Testing
aaddrick/claude-pipeline
: Portable Claude Code multi-agent pipeline - skills, agents,
hooks
, orchestration scripts, and quality gates
github.com
·
23h
·
Discuss:
r/ClaudeAI
🚂
Cranelift IR
🎲
Piecemeal
Formal Verification: Cloudflare, Java Exceptions, and Rust
Mutexes
gavinhoward.com
·
2d
🚂
Error Propagation
How to
effectively
write
quality code with AI
heidenstedt.org
·
20h
·
Discuss:
Hacker News
🎭
Program Synthesis
Waterloo
Style
theprogrammersparadox.blogspot.com
·
19h
·
Discuss:
Hacker News
🔬
Nanopasses
Portfolio Code That Gets You
Hired
: What
Recruiters
Actually See in Your GitHub
dev.to
·
18h
·
Discuss:
DEV
🎮
Language Ergonomics
Software Engineering Is Back
blog.alaindichiappari.dev
·
42m
·
Discuss:
Hacker News
🔄
Bootstrapping
Learning
Zig
and writing an
editor
, just for fun
noahwbaldwin.me
·
12h
·
Discuss:
r/Zig
📝
Text Editors
CSLib
: The
Lean
Computer Science Library
arxiv.org
·
2d
🚂
Cranelift IR
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
1d
·
Discuss:
Lobsters
,
Hacker News
π
Pi Calculus
Flow-Based Programming:
Seminal
Texts and
Theoretical
Foundations
repolex.ai
·
1d
·
Discuss:
Hacker News
🌊
Reactive Languages
Style tips for less
experienced
developers
coding with AI
honnibal.dev
·
1d
·
Discuss:
Hacker News
🌊
Gradual Effects
Zinc
Language Design
ziggit.dev
·
4h
🔧
Nickel
The Rise of
Spec
Driven Development
dbreunig.com
·
21h
·
Discuss:
Hacker News
🥾
Compiler Bootstrapping
7
Continuous
Testing Best Practices That
Accelerate
Software Delivery
thecrazyprogrammer.com
·
20m
🔥
JIT Compilers
I Built a 6
BIPS
JIT
in Five Months
unlikelyemphasis.substack.com
·
1d
·
Discuss:
Substack
📜
Bytecode Interpreters
My
Current
AI Coding
Workflow
jonathannen.com
·
1d
🚀
Code Motion
Debug
mode
jamesg.blog
·
8m
🐛
Debugging
felt
the
flow
while programming
skuka.online
·
1d
⚡
Live Programming
Loading...
Loading more...
Page 2 »
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