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
112772
posts in
291.5
ms
CryptoAnalystBench
:
Failures
in Multi-Tool Long-Form LLM Analysis
arxiv.org
·
18h
📐
formal specification
Design Decision:
Technical
Debt in
BillaBear
iain.rocks
·
11h
·
Discuss:
Hacker News
,
r/programming
🔎
Semantic Analysis
Static Analysis Under
Non-Deterministic
Program
Assumptions
arxiv.org
·
3d
🔍
Symbolic Execution
Programming
languages
mothcodes.bearblog.dev
·
13h
🔧
PLT
CodeCraft
IDE: An Open Source Platform for Interpretation, Conversion and Modernization of Legacy Systems in
Informix
4GL
dev.to
·
5h
·
Discuss:
DEV
🔧
PLT
Balance
of
abstraction
aleksei.dev
·
1d
🔧
PLT
Code Is
Poetry
ta.fo
·
1h
🔎
Semantic Analysis
Scientific
Computing in Rust
Monthly
#15
scientificcomputing.rs
·
11h
🦀
Rust
Proof-oriented
Programming in F*
fstar-lang.org
·
1d
·
Discuss:
Lobsters
🔧
PLT
Show HN:
Decoder
–
Static
call graph analysis for Python
github.com
·
13h
·
Discuss:
Hacker News
🔎
Semantic Analysis
AI
Proactively
Finds Software Bugs Before Failures In Realistic
Codebases
quantumzeitgeist.com
·
1d
📐
formal specification
I Spent $174
Transpiling
12 Open-Source C Projects (
28K
Lines) to Rust. Here's What Happened.
dev.to
·
1d
·
Discuss:
DEV
📐
formal specification
Escaping the "AI
Spaghetti
Code" Trap: How I
Refactored
My Next.js App with spec-kit
printablehandwriting.com
·
14h
·
Discuss:
DEV
🔍
Symbolic Execution
Go -
Unit
&
Integration
Testing
linkedin.com
·
2d
·
Discuss:
r/programming
📐
formal specification
Why Production-Like Data Is the Real Bottleneck by
Claudiu
Dascalescu
xata.io
·
3h
·
Discuss:
Hacker News
📐
formal specification
DaltonCalford/ScratchBird
: Originally a refactor of the FirebirdSQL database - The GPRE and other legacy code and procedures kept breaking when AI tried to "HELP" so
ScratchBird
is a full rewrite, using Firebird as a specification
github.com
·
13h
·
Discuss:
Hacker News
📐
formal specification
Ask HN: How do you
audit
LLM code in programming
languages
you don't know?
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🔎
Semantic Analysis
EduC
++
Documentation
educplusplus.com
·
1d
·
Discuss:
r/cpp
🔧
PLT
Formal
Verification Fundamentals Remain
Non-Negotiable
In The New Verification Revolution
semiengineering.com
·
1d
📐
formal specification
Exploring the New Features of C# 12: A
Detailed
Guide with
Examples
learn.microsoft.com
·
1h
·
Discuss:
DEV
🔧
PLT
Loading...
Loading more...
Page 2 »
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