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
Program Verification, Bug Detection, Control Flow, Data Flow
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80287
posts in
534.7
ms
Debugger
Dedicated
to Embedded Systems
hackster.io
·
1d
🐛
Debugging
Debug
Ansible
errors faster with an AI monitoring agent
developers.redhat.com
·
7h
🛡️
Error Handling
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem
Proving
on
seL4
arxiv.org
·
9h
🧮
Theorem Provers
Better Python tests with
inline-snapshot
pydantic.dev
·
16h
·
Discuss:
Lobsters
,
Hacker News
🚀
PyPy JIT
R2
: Final
Validation
stories.rivian.com
·
20h
📚
Forth
Still Manual? Automated
Linter
Configuration via
DSL-Based
LLM Compilation of Coding Standards
arxiv.org
·
9h
🎨
Domain-Specific Languages
Vibe
Coding for Scientists
vibe-coding-101-iota.vercel.app
·
10h
🎭
Program Synthesis
Learning Rust:
Custom
Error
types
that actually work!
rup12.net
·
16h
·
Discuss:
Lobsters
,
Hacker News
🛡️
Error Handling
The Tech
Stack
I Use to Build and
Ship
Projects Fast as a Web Developer
convex.dev
·
3h
·
Discuss:
DEV
⚡
Live Coding
Migrational
Thinking
productengineered.com
·
22h
·
Discuss:
Hacker News
🚚
Code Migration
AI Wrote My Project, an
Nginx
Engineer
Rebuilt
the Architecture
news.ycombinator.com
·
11h
·
Discuss:
Hacker News
⚡
Live Coding
We hid
backdoors
in
binaries
– Opus 4.6 found 49% of them
quesma.com
·
2h
·
Discuss:
Hacker News
,
r/programming
📜
Bytecode Interpreters
Allium
is an LLM-native language for
sharpening
intent alongside implementation
juxt.github.io
·
1d
·
Discuss:
Hacker News
🎮
Language Ergonomics
Show HN: Open-source agent skill that
automates
SOC
2 audit prep
github.com
·
1h
·
Discuss:
Hacker News
💬
Interactive REPLs
Circumstantial
Complexity
, LLMs and Large Scale Architecture
datagubbe.se
·
20h
·
Discuss:
Hacker News
🔄
Bootstrapping
A
practical
systems engineering guide:
Architecting
AI-ready infrastructure for the agentic era
thenewstack.io
·
16h
🌐
Network Protocols
Rise of the
Cowboy
Coder
jollycoder.com
·
13h
·
Discuss:
Hacker News
📚
Self-Documenting Code
Spec-driven
development doesn't work if you're too confused to write the
spec
-
deontologician
publish.obsidian.md
·
9h
·
Discuss:
Hacker News
,
r/programming
🎮
Language Ergonomics
Context-Driven
Development Meets Team Agents: What
Changed
and What Didn't
themobileagent.substack.com
·
11m
·
Discuss:
Substack
🎭
Program Synthesis
Heimdall
🛡️: The
All-Seeing
Code Guardian That Actually Fixes Your Problems
dev.to
·
23h
·
Discuss:
DEV
🔧
Error Recovery
Loading...
Loading more...
« Page 1
•
Page 3 »
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