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
Program Analysis
🔬 Program Analysis
Specific
static analysis, dataflow, abstract interpretation, verification
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
41
posts in
6.1
ms
Zcash teams propose Ironwood pool to restore supply
verification
after Orchard flaw
📊
Columnar Storage
cointelegraph.com
·
2d
2 days ago
Actions for Zcash teams propose Ironwood pool to restore supply verification after Orchard flaw
Experts weigh in on Anthropic’s Fable 5, Mythos 5 releases
🌀
Effect Systems
sdtimes.com
·
1d
1 day ago
Actions for Experts weigh in on Anthropic’s Fable 5, Mythos 5 releases
Programming
Languages Software Award
📜
PL Research
sigplan.org
·
18h
18 hours ago
Actions for Programming Languages Software Award
The Complexity of Asynchronous HyperLTL
♻️
Incremental Computation
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for The Complexity of Asynchronous HyperLTL
FOD#155: Continual Learning in LLMs: Why AI
Models
Need Sleep
♻️
Incremental Computation
turingpost.com
·
2d
2 days ago
Actions for FOD#155: Continual Learning in LLMs: Why AI Models Need Sleep
Abduction Prover in Isabelle/HOL
↔️
Bidirectional Typing
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Abduction Prover in Isabelle/HOL
ICYMI: May 2026 @AWS Security
📊
Columnar Storage
Content type:
Blog
aws.amazon.com
·
2d
2 days ago
Actions for ICYMI: May 2026 @AWS Security
Making Semgrep rip: How Ripgrep inspired us to shave hours off (some) scans
📊
Columnar Storage
Content type:
Blog
semgrep.dev
·
6h
6 hours ago
·
Hacker News
Actions for Making Semgrep rip: How Ripgrep inspired us to shave hours off (some) scans
rochus-keller/EXPRESS: A parser and code
model
for the ISO 10303 EXPRESS language with a lot more interesting stuff to come
↔️
Bidirectional Typing
Content type:
Code
github.com
·
3d
3 days ago
·
Hacker News
Actions for rochus-keller/EXPRESS: A parser and code model for the ISO 10303 EXPRESS language with a lot more interesting stuff to come
The Windows IOCTL Census: A Corpus-Scale, Multi-Architecture
Database
of the Driver
Control-Code
Surface
⚙️
Compilers
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for The Windows IOCTL Census: A Corpus-Scale, Multi-Architecture Database of the Driver Control-Code Surface
Zcash plummets 30% as Shielded Labs reveals a major bug that went undetected for four years
🛡️
Memory Safety
Content type:
News
coindesk.com
·
5d
5 days ago
Actions for Zcash plummets 30% as Shielded Labs reveals a major bug that went undetected for four years
Claude Mythos Glasswing: Why AI Vuln Discovery Terrifies Me
🐛
Debuggers
Content type:
Blog
Content type:
Discussion
tildalice.io
·
6d
6 days ago
Actions for Claude Mythos Glasswing: Why AI Vuln Discovery Terrifies Me
Syntax-driven Incremental
Program
Verification
of Matching Logic Properties
↔️
Bidirectional Typing
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Syntax-driven Incremental Program Verification of Matching Logic Properties
Where the f*ck is the Excalidraw markup table?
👤
End-User Programming
Content type:
News
Content type:
Blog
larkmatter.substack.com
·
4d
4 days ago
·
Substack
Actions for Where the f*ck is the Excalidraw markup table?
Cooperative Capitalism Is the Last Coherent Economic Path Crypto Has Left
📊
Columnar Storage
ethresear.ch
·
4d
4 days ago
Actions for Cooperative Capitalism Is the Last Coherent Economic Path Crypto Has Left
SETI Panel Revises Recommendations for Dealing with 'Disclosure Day'
↔️
Bidirectional Typing
universetoday.com
·
4d
4 days ago
·
Hacker News
Actions for SETI Panel Revises Recommendations for Dealing with 'Disclosure Day'
Beyond the Corporate Tunnel: Why WireGuard and DPNs Are Replacing the Centralised VPN
λ
PLT
Content type:
Blog
medium.com
·
5d
5 days ago
Actions for Beyond the Corporate Tunnel: Why WireGuard and DPNs Are Replacing the Centralised VPN
Inside the New X Labs Funding
Model
for Quantum and Photonics
♻️
Incremental Computation
spectrum.ieee.org
·
6d
6 days ago
Actions for Inside the New X Labs Funding Model for Quantum and Photonics
VASO:
Formally
Verifiable Self-Evolving Skills for Physical AI Agents
♻️
Incremental Computation
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for VASO: Formally Verifiable Self-Evolving Skills for Physical AI Agents
Correct-by-Construction Design of Timed Systems in Event-B
↔️
Bidirectional Typing
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for Correct-by-Construction Design of Timed Systems in Event-B
« Page 1
·
Page 3 »
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