Skip to main content
Scour
Discover
Docs
Login
Sign Up
Discover
About
Docs
Changelog
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Static Analysis
🔍 Static Analysis
Code Linting, Bug Detection, Formal Methods, Program Analysis
Filter Results
Timeframe
Choose a timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
160
posts in
63.2
ms
🏗️
Compiler Design
link.springer.com
·
6d
6 days ago
The French School of
Programming
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The French School of Programming
💻
Programming
rfd.shared.oxide.computer
·
2d
2 days ago
Managing types across Dropshot API versions (Oxide RFD 619)
Discussed on
Lobsters
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Managing types across Dropshot API versions (Oxide RFD 619)
🛡️
Memory Safety
theregister
·
4d
4 days ago
If AGENTS.md smells ripe, your
code
won't live up to the hype
Covers
3 stories
See all stories this covers
including
The AGENTS.md Standard: A simple, open format for guiding coding agents
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for If AGENTS.md smells ripe, your code won't live up to the hype
🛡️
Memory Safety
0x00sec
·
2d
2 days ago
Instruction By Instruction
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Instruction By Instruction
💻
Programming
InfoWorld
·
3d
3 days ago
Write cleaner and faster Python
code
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Write cleaner and faster Python code
Less-relevant results
✅
Lean Theorem Prover
TheSequence
·
1d
1 day ago
The Sequence Radar #880: Last Week in AI: A $60B Cursor Deal, Google's Brain Drain, and Midjourney's Body Scanner
Covers
4 stories
See all stories this covers
including
Midjourney Ultrasonic CT Scanner
Discussed on
Substack
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The Sequence Radar #880: Last Week in AI: A $60B Cursor Deal, Google's Brain Drain, and Midjourney's Body Scanner
🛡️
Memory Safety
arxiv.org
·
3d
3 days ago
AutoTam: Specifying Secure Protocol Implementations with Tamarin
Model
Generation
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for AutoTam: Specifying Secure Protocol Implementations with Tamarin Model Generation
🦀
Rust
clef-lang.com
·
4d
4 days ago
Fearless Concurrency Gets Real
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Fearless Concurrency Gets Real
🛡️
Memory Safety
Doc Searls Weblog
·
1d
1 day ago
The George Carlin
Model
of AI
Covers
14 stories
See all stories this covers
including
Ollama
Covered by
Techrights
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The George Carlin Model of AI
✅
Lean Theorem Prover
Malware Analysis, News and Indicators
·
6d
6 days ago
The New Standard for URL
Analysis
: Closing Phishing Blind Spots with In-Browser Data Inspection
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The New Standard for URL Analysis: Closing Phishing Blind Spots with In-Browser Data Inspection
✅
Lean Theorem Prover
newsletter.techworld-with-milan.com
·
4d
4 days ago
The Trends #11: AI agents still can't build software from scratch
Covers
3 stories
See all stories this covers
including
Show HN: New Benchmark from SWE-bench team is 0% solved
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The Trends #11: AI agents still can't build software from scratch
⚙️
Concurrency Models
The New Stack
·
5d
5 days ago
AWS puts an AI bouncer at the merge queue
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for AWS puts an AI bouncer at the merge queue
🦀
Rust
GitHub
·
12h
12 hours ago
GitHub
Covers
Open Source Vulnerabilities
Covered by
5 sources
See all sources covering this story
including
tldr.tech
,
blog.outsider.ne.kr
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for GitHub
⚙️
Concurrency Models
pokde.net
·
6d
6 days ago
Cadence ChipStack AI Super Agent Achieves Full Autonomy For Chip Development
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Cadence ChipStack AI Super Agent Achieves Full Autonomy For Chip Development
🏗️
Compiler Design
Adrian Sampson
·
4d
4 days ago
Advanced Compilers: The Self-Guided Online Course
Covers
llvm.org - 20.3 kb
Covered by
4 sources
See all sources covering this story
including
Hacker News
,
daemonology.net
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Advanced Compilers: The Self-Guided Online Course
✅
Lean Theorem Prover
arxiv.org
·
5d
5 days ago
Verifying LTL for Infinite
State
Systems via Termination
Analysis
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Verifying LTL for Infinite State Systems via Termination Analysis
🛡️
Memory Safety
tldr.tech
·
4d
4 days ago
OpenBSD Auth Bypass 🐡, FortiBleed Hits 30K 🛡️, Peter Thiel Data Leak 📂
Covers
4 stories
See all stories this covers
including
FortiBleed leak exposes Fortinet VPN credentials for 73,000 devices.
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for OpenBSD Auth Bypass 🐡, FortiBleed Hits 30K 🛡️, Peter Thiel Data Leak 📂
💻
Programming
indiehacker.news
·
5d
5 days ago
#077 - SpaceX swallowed Cursor for $60B, GLM-5.2 cracked 80% on Terminal-Bench, and
Meta
gutted itself
Covers
9 stories
See all stories this covers
including
Statement on the US government directive to suspend access to Fable 5 and Mythos 5
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for #077 - SpaceX swallowed Cursor for $60B, GLM-5.2 cracked 80% on Terminal-Bench, and Meta gutted itself
🦀
Rust
GitHub
·
1d
1 day ago
Whitman, switch agents.md files in the
CLI
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Whitman, switch agents.md files in the CLI
🛡️
Memory Safety
Patreon
·
4d
4 days ago
Bcachefs 1.38.6 - the performance release
Covered by
3 sources
See all sources covering this story
including
Phoronix
,
theregister
Discussed on
Hacker News
and
Lobsters
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Bcachefs 1.38.6 - the performance release
Sign up or log in to see more results
Sign Up
Login
« Page 2
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous post
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
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
Discover
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
Like
Save
Not for me
Report