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
80610
posts in
440.8
ms
James
Eichbaum
, Founder,
Elusive
Data
forensicfocus.com
·
1d
🔎
Semantic Analysis
Expectation
and
Copysets
buttondown.com
·
21h
·
Discuss:
Hacker News
🪜
Scala
Introducing
Composer
1.5
cursor.com
·
19h
·
Discuss:
Hacker News
🤖
AI
SAE Feature
Matchmaking
(Layer-to-Layer) by
Mitali
M
greaterwrong.com
·
12h
🔎
Semantic Analysis
Show HN:
Klint
– Linux Kernel Security
Scanner
saturnine.cc
·
1d
·
Discuss:
Hacker News
🔎
Semantic Analysis
SEAL: Symbolic Execution with
Separation
Logic (Competition
Contribution
)
arxiv.org
·
4d
🔍
Symbolic Execution
Data Science and Technology Towards
AGI
Part I:
Tiered
Data Management
arxiv.org
·
11h
🔎
Semantic Analysis
Wrapping trait
implems
in an enum kept appearing in code base so I
blogged
about it. Are there other such useful patterns that are not much advertised?
asfaload.com
·
1d
·
Discuss:
r/rust
🪜
Scala
Grace
Hopper
's
Revenge
thefuriousopposites.com
·
2d
🪜
Scala
Testing 80 LLMs on
spatial
reasoning on
grids
mihai.page
·
1d
·
Discuss:
Hacker News
🔍
Symbolic Execution
I Built a 13-Agent AI System That
Reviews
Its Own
Decisions
. Here's the Architecture.
dev.to
·
1d
·
Discuss:
DEV
📐
formal specification
The Rise of
Spec
Driven Development
dbreunig.com
·
4d
·
Discuss:
Hacker News
📐
formal specification
Building AI for Lumber’s
Messiest
Paperwork
medium.com
·
18h
·
Discuss:
Hacker News
🔎
Semantic Analysis
amirouche/seed
: Adding `
vau
` with an immutable dynamic environment to Chez Scheme
github.com
·
1d
·
Discuss:
Hacker News
🔍
Symbolic Execution
Speeding Up SaaS: Shipping
HTMX
in Production (A
Post-Mortem
)
dev.to
·
17h
·
Discuss:
DEV
🔎
Semantic Analysis
A
Horrible
Conclusion
addisoncrump.info
·
3d
·
Discuss:
Lobsters
,
Hacker News
🔎
Semantic Analysis
The Five
Types
of
Programmers
(2010)
stevenbenner.com
·
1d
·
Discuss:
Hacker News
💻
Claude
Code only says what it does
brooker.co.za
·
2d
·
Discuss:
Hacker News
📐
formal specification
Software Engineering with AI: Beyond
Vibe-Coding
principalengineer.com
·
2d
📐
formal specification
We Build Software for
Humans
— Not for
Machines
. And That’s a Problem.
medium.com
·
1d
·
Discuss:
r/programming
🔍
Refinement Types
Loading...
Loading more...
« Page 12
•
Page 14 »
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