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
80626
posts in
789.7
ms
Uncovering
Hidden
Informations
whiteravendev.itch.io
·
1d
🔎
Semantic Analysis
Writing a
ledger-cli
Language Server
Protocol
with claude
frdmtoplay.com
·
2d
💻
Claude
Hud
:
Runtime
Code Sensor for Production-Safe AI Code
marketplace.visualstudio.com
·
1d
·
Discuss:
Hacker News
📐
formal specification
The Myth of “Known APIs”: Why
Inventory-First
Security Models Are Already
Obsolete
lab.wallarm.com
·
1d
📐
formal specification
A Case of the Reverse
Ivory
Tower
russmiles.substack.com
·
1d
·
Discuss:
Substack
📐
formal specification
Anthropics
Compiler
Challenge
corsix.org
·
2d
🔍
Symbolic Execution
Understanding the Go
Runtime
: The
Bootstrap
internals-for-interns.com
·
1d
·
Discuss:
Hacker News
,
r/golang
🔍
Symbolic Execution
Towards
Understanding What State Space Models Learn About Code
arxiv.org
·
1d
·
Discuss:
Hacker News
🔍
Symbolic Execution
Stop Silent Failures: Using LLMs to
Validate
Web
Scraper
Output
dev.to
·
1d
·
Discuss:
DEV
🔎
Semantic Analysis
PBLean
:
Pseudo-Boolean
Proof Certificates for Lean 4
arxiv.org
·
11h
📐
formal specification
Software development is full of
invisible
choices
.
dev.to
·
1d
·
Discuss:
DEV
📐
formal specification
Custom AI Tool Development in
Regulated
Industries: Why
Off-The-Shelf
LLM Solutions Fall Short
analyticsvidhya.com
·
1d
📐
formal specification
🥇Top AI
Papers
of the Week
nlp.elvissaravia.com
·
2d
🔍
Symbolic Execution
fts
_
depends
- Windows Dependency Checker
forrestthewoods.com
·
2d
🔍
Refinement Types
gurleensethi/jwtx
: A TUI for debugging JWTs
github.com
·
1d
·
Discuss:
r/golang
📐
formal specification
Capybara
Programming
Language
github.com
·
1d
🔧
PLT
From Simple RAG to Agentic RAG:
Unlocking
Smarter AI
Workflows
as an AI Engineer
pub.towardsai.net
·
1d
🔎
Semantic Analysis
Tip of the Week #180: Avoiding
Dangling
References
abseil.io
·
2d
🔎
Semantic Analysis
Performance Tip of the Week #83:
Reducing
memory
indirections
abseil.io
·
2d
🔍
Symbolic Execution
A Brief Introduction to
Rvalue
References
artima.com
·
2d
🔧
PLT
Loading...
Loading more...
« Page 18
•
Page 20 »
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