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
79949
posts in
585.2
ms
Comprehensive
Data
Analytics
freelancer.pl
·
1d
🔎
Semantic Analysis
The Core
Folder
Anti-Pattern
improveandrepeat.com
·
1d
🔎
Semantic Analysis
The Journey to a
Safer
Frontend
: Why We Removed React.FC
engineering.gusto.com
·
17h
🔧
PLT
Understanding Your
Codebase
in 2026: The Complete Guide
dev.to
·
2d
·
Discuss:
DEV
🔎
Semantic Analysis
Algos
,
Bias
, Due Process, & You
suffolklitlab.org
·
22h
·
Discuss:
Hacker News
🔧
PLT
AI is a High Pass
Filter
for Software
Delivery
bryanfinster.substack.com
·
10h
·
Discuss:
Substack
📐
formal specification
Sculptor
: The missing
UI
for coding agents
imbue.com
·
7h
🤖
AI
Claude Code: Production ready code in a two-week
sprint
thoughtbot.com
·
1d
💻
Claude
🚀
OLSRT
v1.2: A Powerful
Runtime
for All Programming Languages!
dev.to
·
1d
·
Discuss:
DEV
🔧
PLT
Closing
the
Loop
on /insights
blog.gorewood.games
·
20h
🔍
Symbolic Execution
AI Code Generation Tools Repeat Security Flaws, Creating
Predictable
Software
Weaknesses
quantumzeitgeist.com
·
21h
📐
formal specification
Using Large Language Models to Support Automation of Failure Management in CI/CD
Pipelines
: A Case Study in SAP
HANA
arxiv.org
·
1d
📐
formal specification
The
Joy
of
Programming
deanclatworthy.com
·
19h
·
Discuss:
Hacker News
🔍
Symbolic Execution
lean-phys-community/PhysLean
: A project to
digitalise
results from physics into Lean.
github.com
·
2h
·
Discuss:
Hacker News
🔍
Refinement Types
Building Smarter AI: 16 RAG
Approaches
for
Accuracy
, Memory, and Reasoning
mvineetsharma.medium.com
·
14h
🔎
Semantic Analysis
SEAL: Symbolic Execution with
Separation
Logic (Competition
Contribution
)
arxiv.org
·
4d
🔍
Symbolic Execution
Just-in-Time
Ontological
Reframing
: Teaching Gemini to Route Around Its Own Safety Infrastructure
recursion.wtf
·
14h
🔍
Symbolic Execution
An approach to
reducing
prompt size,
drift
, and governance risk in LLM-based systems
qu3ry.net
·
13h
·
Discuss:
r/LLM
📐
formal specification
Show HN:
C-CMCP
–
Validated
AI development workflow with quality gates
news.ycombinator.com
·
18h
·
Discuss:
Hacker News
🔍
Symbolic Execution
C and C++
dependencies
, don't
dream
it, be it!
nibblestew.blogspot.com
·
2d
·
Discuss:
Hacker News
,
nibblestew.blogspot.com
,
r/cpp
🔍
Refinement Types
Loading...
Loading more...
« Page 6
•
Page 8 »
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