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
111367
posts in
769.2
ms
A Clean &
Practical
Code Review
Checklist
for Android Projects
dev.to
·
1d
·
Discuss:
DEV
🔍
Refinement Types
Go -
Unit
&
Integration
Testing
linkedin.com
·
1d
·
Discuss:
r/programming
📐
formal specification
What Agentic AI "Vibe Coding" In The Hands Of
Actual
Programmers
/ Engineers
stochasticlifestyle.com
·
1d
·
Discuss:
Hacker News
🔍
Refinement Types
Deep C
Dives
:
Undefined
Behavior
i-programmer.info
·
2d
🔍
Symbolic Execution
What is Framework?
observablehq.com
·
1h
🪜
Scala
How to think like a computer
scientist
: Learning with C
open.umn.edu
·
15h
·
Discuss:
r/C_Programming
🔧
PLT
The case for
industrial
evals
lesswrong.com
·
16h
📐
formal specification
A
stack-buffer-overflow
exercise with
AddressSanitizer
and PostgreSQL
enterprisedb.com
·
16h
·
Discuss:
Lobsters
,
Hacker News
🔍
Symbolic Execution
CVE-2026-24009: RCE in
Docling
via Unsafe
PyYAML
Deserialization
oligo.security
·
1d
📐
formal specification
keplertech/kepler-formal
:
LEC
- Logic Equivalence Checking - Formal Verification
github.com
·
6h
·
Discuss:
Hacker News
📐
formal specification
Functional
Programming
in an LLM World
notes.druchan.com
·
2d
🔧
PLT
AI Code’s Logic Can Now Be
Checked
From Within,
Bypassing
External Tests
quantumzeitgeist.com
·
2d
🔍
Symbolic Execution
Real-time
codebase
health
dashboard
with AI-powered fixing (Go)
drift.marquis.codes
·
1d
·
Discuss:
Hacker News
🔎
Semantic Analysis
Verified
developer
portfolios
using Code Complexity and AI
dev-proof-portfolio.vercel.app
·
1d
·
Discuss:
Hacker News
📐
formal specification
Olmix
: A framework for data mixing throughout
LM
development
allenai.org
·
1h
🔍
Refinement Types
D
Programming
Language
dlang.org
·
1d
·
Discuss:
Hacker News
🪜
Scala
12
OOP
Concepts
EVERY Developer Should Know
blog.algomaster.io
·
1d
📐
formal specification
AI Coding
Tip
006 - Review Every Line Before
Commit
hackernoon.com
·
20h
🔍
Symbolic Execution
Functional
Optics
for Modern Java
blog.scottlogic.com
·
1d
🔍
Refinement Types
Following
Dragons
: Code Review-Guided
Fuzzing
arxiv.org
·
1d
🔍
Refinement Types
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