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
80057
posts in
724.6
ms
Comprehensive
Data
Analytics
freelancer.pl
·
1d
🔎
Semantic Analysis
The Core
Folder
Anti-Pattern
improveandrepeat.com
·
1d
🔎
Semantic Analysis
Show HN:
ShapeGuard
– Shape Contracts for
NumPy
and Jax
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🔧
PLT
The Journey to a
Safer
Frontend
: Why We Removed React.FC
engineering.gusto.com
·
16h
🔧
PLT
Zinc
Language Design
ziggit.dev
·
3d
🔧
PLT
Understanding Your
Codebase
in 2026: The Complete Guide
dev.to
·
2d
·
Discuss:
DEV
🔎
Semantic Analysis
Algos
,
Bias
, Due Process, & You
suffolklitlab.org
·
21h
·
Discuss:
Hacker News
🔧
PLT
Claude Code: Production ready code in a two-week
sprint
thoughtbot.com
·
1d
💻
Claude
AI is a High Pass
Filter
for Software
Delivery
bryanfinster.substack.com
·
10h
·
Discuss:
Substack
📐
formal specification
🚀
OLSRT
v1.2: A Powerful
Runtime
for All Programming Languages!
dev.to
·
1d
·
Discuss:
DEV
🔧
PLT
Closing
the
Loop
on /insights
blog.gorewood.games
·
19h
🔍
Symbolic Execution
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
AI Code Generation Tools Repeat Security Flaws, Creating
Predictable
Software
Weaknesses
quantumzeitgeist.com
·
21h
📐
formal specification
The
Joy
of
Programming
deanclatworthy.com
·
18h
·
Discuss:
Hacker News
🔍
Symbolic Execution
lean-phys-community/PhysLean
: A project to
digitalise
results from physics into Lean.
github.com
·
1h
·
Discuss:
Hacker News
🔍
Refinement Types
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
·
13h
🔍
Symbolic Execution
An approach to
reducing
prompt size,
drift
, and governance risk in LLM-based systems
qu3ry.net
·
12h
·
Discuss:
r/LLM
📐
formal specification
Building Smarter AI: 16 RAG
Approaches
for
Accuracy
, Memory, and Reasoning
mvineetsharma.medium.com
·
14h
🔎
Semantic Analysis
Show HN:
C-CMCP
–
Validated
AI development workflow with quality gates
news.ycombinator.com
·
17h
·
Discuss:
Hacker News
🔍
Symbolic Execution
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