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
Abstract Interpretation, Data Flow, Control Flow, Bug Detection
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80296
posts in
322.8
ms
Everything I know about good system design
seangoedecke.com
·
13h
🔄
Concurrency Models
Notes on using AI tools for debugging, learning, and shipping software (as a
cautious
adopter
)
linkedin.com
·
44m
·
Discuss:
r/programming
🔍
Refinement Types
On the Tension Between
Object-Oriented
and
Generic
Programming in C++
artima.com
·
2d
🪜
Scala
Property-based testing as
executable
specs
for agentic coding
kiro.dev
·
12h
·
Discuss:
Hacker News
📐
formal specification
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem
Proving
on
seL4
arxiv.org
·
9h
📐
formal specification
Circumstantial
Complexity
, LLMs and Large Scale Architecture
datagubbe.se
·
20h
·
Discuss:
Hacker News
🔎
Semantic Analysis
The
Immutable
Ledger
: Data Integrity Through TypeScript & Design Patterns
dev.to
·
11h
·
Discuss:
DEV
🔄
Concurrency Models
Evaluating Large Language Models for
Detecting
Architectural
Decision Violations
arxiv.org
·
9h
🔎
Semantic Analysis
Debugger
Dedicated
to Embedded Systems
hackster.io
·
1d
🔍
Symbolic Execution
yfedoseev/fossil-mcp
: The code quality toolkit for the agentic AI era. Find dead code, clones, and
scaffolding
across 15 languages. MCP server + CLI.
github.com
·
40m
·
Discuss:
Hacker News
🔍
Symbolic Execution
We hid
backdoors
in
binaries
– Opus 4.6 found 49% of them
quesma.com
·
2h
·
Discuss:
Hacker News
,
r/programming
🔎
Semantic Analysis
Debug
Ansible
errors faster with an AI monitoring agent
developers.redhat.com
·
7h
🔍
Symbolic Execution
ESLint
Plugin
Perfectionist
perfectionist.dev
·
21h
🔍
Refinement Types
Allium
is an LLM-native language for
sharpening
intent alongside implementation
juxt.github.io
·
1d
·
Discuss:
Hacker News
🔧
PLT
Designing the Engine: How I Built a
Laravel-Like
PHP
Starter Kit
fiverr.com
·
1d
·
Discuss:
DEV
📐
formal specification
Rise of the
Cowboy
Coder
jollycoder.com
·
13h
·
Discuss:
Hacker News
💻
Claude
Fragments
: February 9
martinfowler.com
·
19h
🔍
Symbolic Execution
LLMs
Refuse
High-Cost Attacks but Stay
Vulnerable
to Cheap, Real-World Harm
expectedharm.github.io
·
9h
·
Discuss:
Hacker News
📐
formal specification
How I Approach a System I Have Never Seen Before
dev.to
·
1d
·
Discuss:
DEV
🔎
Semantic Analysis
Simplifying
assertions
with
lenses
blog.ploeh.dk
·
1d
🪜
Scala
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