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
81249
posts in
1.07
s
CoRefine
: Confidence-Guided
Self-Refinement
for Adaptive Test-Time Compute
arxiv.org
·
13h
🔍
Refinement Types
SEAL: Symbolic Execution with
Separation
Logic (Competition
Contribution
)
arxiv.org
·
4d
🔍
Symbolic Execution
Software's first act is over
maxim.usindic.us
·
21h
🔍
Symbolic Execution
ATA
Learning: How to Ace the Modern Coding Interview as a
SysAdmin
adamtheautomator.com
·
23h
🔎
Semantic Analysis
Power
Automate
powerdevbox.com
·
1d
·
Discuss:
DEV
🔍
Symbolic Execution
CRML: CRML is a
declaritive
language for writing
cyberrisk
as code
producthunt.com
·
1d
📐
formal specification
Unlocking core memories with
GoldSrc
engine and
CS
1.6 (2025)
danielbrendel.com
·
2d
·
Discuss:
Hacker News
🔍
Symbolic Execution
The "
Backend
Trap": Why launching 6 apps in a year
taught
me that code is only 20% of the battle.
jindequan.top
·
2d
·
Discuss:
r/SideProject
🔍
Symbolic Execution
The Next Big Language (2007) by
Steve
Yegge
steve-yegge.blogspot.com
·
2d
·
Discuss:
Hacker News
🔧
PLT
The
silent
death of Good Code
amit.prasad.me
·
2d
·
Discuss:
Hacker News
,
r/programming
💻
Claude
Linux 7.0 Officially
Concluding
The Rust
Experiment
phoronix.com
·
1d
·
Discuss:
Hacker News
,
r/linux
🦀
Rust
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
4d
·
Discuss:
Lobsters
,
Hacker News
🔧
PLT
Stop Writing
Boilerplate
: How I Built a Code Generator to Automate
NestJS
Development
dev.to
·
2d
·
Discuss:
DEV
🔍
Symbolic Execution
Software development is full of
invisible
choices
.
dev.to
·
1d
·
Discuss:
DEV
📐
formal specification
Agentic
Tool
Patterns
– 54
patterns
for building tools LLM agents can use
blog.arcade.dev
·
1d
·
Discuss:
Hacker News
🔄
Concurrency Models
Using AI for Code
Reviews
: What Works, What Doesn’t, and Why
entelligence.ai
·
2d
·
Discuss:
Hacker News
🤖
AI
The
Spec
Problem, Part 1: When Tools
Try
to Do Too Much
blog.gorewood.games
·
4d
📐
formal specification
Single
prompt
breaks
AI safety in 15 major language models
infoworld.com
·
6h
📐
formal specification
Walking
the
Tightrope
: The Hidden Security Risks of Code Agents
pub.towardsai.net
·
23h
📐
formal specification
The
Air-Gapped
Chronicles: The
Poison
Pill — 47 Countries, 12,000 Rules, One AI Audit.
pub.towardsai.net
·
1d
📐
formal specification
Loading...
Loading more...
« Page 17
•
Page 19 »
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