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
Proof Assistants
✅ Proof Assistants
Coq, Isabelle, Agda, HOL, interactive theorem proving
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
45
posts in
6.1
ms
How AI is reshaping discovery in maths and physics
🧮
Lean
Content type:
Academic
nature.com
·
2d
2 days ago
·
Hacker News
Actions for How AI is reshaping discovery in maths and physics
Design Reliable, Scalable Distributed Systems
✅
Formal Verification
fizzbee.io
·
6d
6 days ago
Actions for Design Reliable, Scalable Distributed Systems
New comment by wipaveeknecht in "Ask HN: Who is hiring? (June 2026)"
💻
Programming
Content type:
Discussion
news.ycombinator.com
·
20h
20 hours ago
·
Hacker News
Actions for New comment by wipaveeknecht in "Ask HN: Who is hiring? (June 2026)"
View from Bangladesh: India forcing people across the border is becoming a test of ties
🌏
Expat Life
Content type:
News
scroll.in
·
16h
16 hours ago
Actions for View from Bangladesh: India forcing people across the border is becoming a test of ties
🔬Scaling Past Informal AI - Carina Hong, Axiom Math
🔤
Type Systems
latent.space
·
1w
1 week ago
·
Hacker News
Actions for 🔬Scaling Past Informal AI - Carina Hong, Axiom Math
Zcash teams propose Ironwood pool to restore supply
verification
after Orchard flaw
🔍
Abstract Interpretation
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
💻
Programming
sdtimes.com
·
18h
18 hours ago
Actions for Experts weigh in on Anthropic’s Fable 5, Mythos 5 releases
rochus-keller/EXPRESS: A parser and code model for the ISO 10303 EXPRESS language with a lot more interesting stuff to come
💻
Programming
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
ICYMI: May 2026 @AWS Security
💻
Programming
Content type:
Blog
aws.amazon.com
·
1d
1 day ago
Actions for ICYMI: May 2026 @AWS Security
One Language To Rule Them All
💻
Programming
Content type:
Blog
programmingsimplicity.substack.com
·
6d
6 days ago
·
Substack
Actions for One Language To Rule Them All
Strict stability of extension
types
🔤
Type Systems
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Strict stability of extension types
a topos-oriented language with a content-addressed lattice heap
💻
Programming
yon-lang.org
·
5d
5 days ago
·
Hacker News
Actions for a topos-oriented language with a content-addressed lattice heap
Introducing Jo — Secure Programming for the AI Era
💻
Programming
Content type:
Blog
jo-lang.org
·
5d
5 days ago
·
Hacker News
Actions for Introducing Jo — Secure Programming for the AI Era
Zcash plummets 30% as Shielded Labs reveals a major bug that went undetected for four years
🔍
Abstract Interpretation
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
Less-relevant results
Where the f*ck is the Excalidraw markup table?
💻
Programming
Content type:
News
Content type:
Blog
larkmatter.substack.com
·
3d
3 days ago
·
Substack
Actions for Where the f*ck is the Excalidraw markup table?
Syntax-driven Incremental Program
Verification
of Matching Logic Properties
💻
Programming
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Syntax-driven Incremental Program Verification of Matching Logic Properties
SETI Panel Revises Recommendations for Dealing with 'Disclosure Day'
✅
Formal Verification
universetoday.com
·
4d
4 days ago
·
Hacker News
Actions for SETI Panel Revises Recommendations for Dealing with 'Disclosure Day'
Cooperative Capitalism Is the Last Coherent Economic Path Crypto Has Left
🔍
Abstract Interpretation
ethresear.ch
·
4d
4 days ago
Actions for Cooperative Capitalism Is the Last Coherent Economic Path Crypto Has Left
Inside the New X Labs Funding Model for Quantum and Photonics
✅
Formal Verification
spectrum.ieee.org
·
6d
6 days ago
Actions for Inside the New X Labs Funding Model for Quantum and Photonics
Beyond the Corporate Tunnel: Why WireGuard and DPNs Are Replacing the Centralised VPN
✅
Formal Verification
Content type:
Blog
medium.com
·
5d
5 days ago
Actions for Beyond the Corporate Tunnel: Why WireGuard and DPNs Are Replacing the Centralised VPN
« 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