Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Static Analysis
🔬 Static Analysis
Compiler Design, Type Theory, Program Verification, Code Quality
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
109
posts in
8.0
ms
View from Bangladesh: India forcing people across the border is becoming a test of ties
🐾
animals
Content type:
News
scroll.in
·
18h
18 hours ago
Actions for View from Bangladesh: India forcing people across the border is becoming a test of ties
How we made the world's fastest spreadsheet even faster
✅
productivity
Content type:
Blog
rowzero.com
·
2d
2 days ago
Actions for How we made the world's fastest spreadsheet even faster
Devs know AI
code
is riddled with holes, but ship it anyway
🐍
Python
Content type:
News
theregister.com
·
1d
1 day ago
·
Hacker News
Actions for Devs know AI code is riddled with holes, but ship it anyway
AI Doesn't Write Good Software: The Environment Does
🤖
AI
adrianferrera.dev
·
4d
4 days ago
·
Hacker News
Actions for AI Doesn't Write Good Software: The Environment Does
EIP-XXXX：
Contract
Role Semantics Standard
📄
Markdown
ethereum-magicians.org
·
18h
18 hours ago
Actions for EIP-XXXX：Contract Role Semantics Standard
Zcash teams propose Ironwood pool to restore supply
verification
after Orchard flaw
🌟
Open Source
cointelegraph.com
·
2d
2 days ago
Actions for Zcash teams propose Ironwood pool to restore supply verification after Orchard flaw
Design
Reliable, Scalable Distributed Systems
🎯
Godot Engine
fizzbee.io
·
6d
6 days ago
Actions for Design Reliable, Scalable Distributed Systems
Less-relevant results
Infostealers Turn Millions of Devices Into Credential Theft Machines
🛡️
Cybersecurity
securityweek.com
·
7h
7 hours ago
Actions for Infostealers Turn Millions of Devices Into Credential Theft Machines
NFCShare Android malware spreads via fake banking app updates on GitHub
🛡️
Cybersecurity
Content type:
News
bleepingcomputer.com
·
1d
1 day ago
Actions for NFCShare Android malware spreads via fake banking app updates on GitHub
AgentGG: Open-source agentic SAST scanner
🤖
AI
helpnetsecurity.com
·
5d
5 days ago
Actions for AgentGG: Open-source agentic SAST scanner
Experts weigh in on Anthropic’s Fable 5, Mythos 5 releases
🛡️
Cybersecurity
sdtimes.com
·
20h
20 hours ago
Actions for Experts weigh in on Anthropic’s Fable 5, Mythos 5 releases
Cisco’s Mythos Post Throws Anthropic Under the Bus
🧠
Obsidian
flyingpenguin.com
·
2d
2 days ago
Actions for Cisco’s Mythos Post Throws Anthropic Under the Bus
Getting agents to
code
less slop
💻
CLI Tools
Content type:
Blog
thempatel.com
·
4d
4 days ago
·
Hacker News
Actions for Getting agents to code less slop
FusionVul: A Multimodal Feature Fusion Framework for Source
Code
Vulnerability Detection
🧠
Obsidian
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for FusionVul: A Multimodal Feature Fusion Framework for Source Code Vulnerability Detection
AI industry leaders urge Congress to regulate synthetic DNA to prevent bioweapons
🤖
AI
4sysops.com
·
6d
6 days ago
Actions for AI industry leaders urge Congress to regulate synthetic DNA to prevent bioweapons
Microsoft Restores Some GitHub Repos, Keeps Others Offline as Miasma Probe Continues
🐍
Python
thehackernews.com
·
1d
1 day ago
Actions for Microsoft Restores Some GitHub Repos, Keeps Others Offline as Miasma Probe Continues
I built a
static
analysis
tool in pure C that traces
data
access through function call chains, need feedback
💻
CLI Tools
Content type:
Code
github.com
·
1d
1 day ago
·
r/C_Programming
Actions for I built a static analysis tool in pure C that traces data access through function call chains, need feedback
Why The New York Times Is Wholly Responsible for Bari Weiss’s Rise
📡
RSS
newrepublic.com
·
5d
5 days ago
Actions for Why The New York Times Is Wholly Responsible for Bari Weiss’s Rise
The SEI CERT
Coding
Standard for Fortran | CMU Software Engineering Institute
🤖
AI
Content type:
Academic
Content type:
Blog
sei.cmu.edu
·
1d
1 day ago
Actions for The SEI CERT Coding Standard for Fortran | CMU Software Engineering Institute
Worried about Recursive Self-Improvement (RSI)? The answer might be CDE
🔄
Habit Formation
safebots.ai
·
5d
5 days ago
·
Hacker News
Actions for Worried about Recursive Self-Improvement (RSI)? The answer might be CDE
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 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
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
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