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
80245
posts in
225.0
ms
Introduction
msgvault.io
·
2h
🔎
Semantic Analysis
Are You Using
Structural
Patterns In An
SLT
Environment?
semiengineering.com
·
5h
📐
formal specification
a free-to-use data
modeler/generator
for any database
synthforge.io
·
1h
·
Discuss:
Hacker News
🔎
Semantic Analysis
Observations
From Using GPT-5.3 Codex and Claude
Opus
4.6
tensorlake.ai
·
23h
·
Discuss:
Hacker News
,
r/ClaudeAI
🔎
Semantic Analysis
Trying to look at how something's built, and run into another one of these
blasted
scripts
.
intigin.com
·
1d
·
Discuss:
r/javascript
🔍
Symbolic Execution
Evaluating and Enhancing the
Vulnerability
Reasoning
Capabilities
of Large Language Models
arxiv.org
·
1d
🔎
Semantic Analysis
Show HN:
ShapeGuard
– Shape Contracts for
NumPy
and Jax
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🔧
PLT
What Should Go Into the C++
Standard
Library
abseil.io
·
2d
🔎
Semantic Analysis
Code has _
always
_ been the easy part
laughingmeme.org
·
20h
💻
Claude
Finding My
Spark
Again: A Month with
Codex
dragsbaek.tech
·
1d
·
Discuss:
Hacker News
🔍
Symbolic Execution
I don't like
imports
kevincox.ca
·
18h
·
Discuss:
Hacker News
🦀
Rust
What should I program?
jamesmcm.github.io
·
2d
🔍
Symbolic Execution
Building
Reliable
AI Applications: A
Validation
Strategy
dev.to
·
2d
·
Discuss:
DEV
📐
formal specification
The
Quest
for
Simplicity
prokeimenon.org
·
19h
·
Discuss:
Hacker News
🔍
Refinement Types
Understanding Your
Codebase
in 2026: The Complete Guide
dev.to
·
2d
·
Discuss:
DEV
🔎
Semantic Analysis
Code vs
Serialized
AST
Inputs
for LLM-Based Code Summarization: An Empirical Study
arxiv.org
·
1d
🔧
PLT
Import AI 444: LLM
societies
; Huawei makes kernels with AI;
ChipBench
importai.substack.com
·
23h
·
Discuss:
Substack
🔍
Refinement Types
Sculptor
: The missing
UI
for coding agents
imbue.com
·
10h
🤖
AI
Claude Code: Production ready code in a two-week
sprint
thoughtbot.com
·
1d
💻
Claude
The
OWASP
LLM Top: A Practical Attack Guide (with 122 real attack
techniques
)
news.ycombinator.com
·
57m
·
Discuss:
Hacker News
📐
formal specification
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