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
Formal Methods
✅ Formal Methods
formal verification, model checking, proof assistants, TLA+
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
81
posts in
9.8
ms
What is a test case, anyways?
📊
Data Science
Content type:
News
devtips.stribny.name
·
5d
5 days ago
Actions for What is a test case, anyways?
ICYMI: May 2026 @AWS Security
📊
Data Science
Content type:
Blog
aws.amazon.com
·
2d
2 days ago
Actions for ICYMI: May 2026 @AWS Security
The Concerning, Unchecked Rise of E2E AI in Physical Applications
🦾
Robotics
Content type:
News
eetimes.com
·
1d
1 day ago
Actions for The Concerning, Unchecked Rise of E2E AI in Physical Applications
Less-relevant results
Experts weigh in on Anthropic’s Fable 5, Mythos 5 releases
🔌
Embedded Systems
sdtimes.com
·
1d
1 day ago
Actions for Experts weigh in on Anthropic’s Fable 5, Mythos 5 releases
book-assets/supplements/function-sets.md at master · logicforprogrammers/book-assets
🔵
Julia
Content type:
Code
github.com
·
6d
6 days ago
Actions for book-assets/supplements/function-sets.md at master · logicforprogrammers/book-assets
When Claude changed, everything changed: Managing AI blast radius in production
🔵
Julia
venturebeat.com
·
4d
4 days ago
Actions for When Claude changed, everything changed: Managing AI blast radius in production
Parallel
SMT
Solving via Dynamic Partitioning, Core-Guided Pruning, and Online Backbone Detection
🔵
Julia
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Parallel SMT Solving via Dynamic Partitioning, Core-Guided Pruning, and Online Backbone Detection
Zcash plummets 30% as Shielded Labs reveals a major bug that went undetected for four years
🌟
Open Source
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
Worried about Recursive Self-Improvement (RSI)? The answer might be CDE
🔌
Embedded Systems
safebots.ai
·
5d
5 days ago
·
Hacker News
Actions for Worried about Recursive Self-Improvement (RSI)? The answer might be CDE
How AI is reshaping discovery in maths and physics
🔵
Julia
Content type:
Academic
nature.com
·
3d
3 days ago
·
Hacker News
Actions for How AI is reshaping discovery in maths and physics
Where the f*ck is the Excalidraw markup table?
🔵
Julia
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?
The technical community can't be the main character in AI
safety
anymore
🦾
Robotics
substackcdn.com
·
3d
3 days ago
·
Substack
Actions for The technical community can't be the main character in AI safety anymore
Lean4Agent
:
Formal
Modeling
and Verification for Agent Workflow and Trajectory
🔵
Julia
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory
BuildByNexora/Kron: Kron makes application time reliable: persistent timers, run history, retries, crash recovery, and an experimental OpenRaft server
mode
.
🐧
Linux
Content type:
Code
github.com
·
5h
5 hours ago
·
DEV
,
r/rust
Actions for BuildByNexora/Kron: Kron makes application time reliable: persistent timers, run history, retries, crash recovery, and an experimental OpenRaft server mode.
Man-Computer Symbiosis J. C. R. Licklider (1960)
🦾
Robotics
Content type:
Academic
groups.csail.mit.edu
·
6d
6 days ago
·
Hacker News
Actions for Man-Computer Symbiosis J. C. R. Licklider (1960)
Cooperative Capitalism Is the Last Coherent Economic Path Crypto Has Left
🌍
Development Economics
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'
🔬
Science News
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
🐧
Linux
Content type:
Blog
medium.com
·
5d
5 days ago
Actions for Beyond the Corporate Tunnel: Why WireGuard and DPNs Are Replacing the Centralised VPN
Scaling Neural Network
Verification
with Tensor Parallelism and Fully Sharded Data Parallelism
🔵
Julia
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism
Inside the New X Labs Funding
Model
for Quantum and Photonics
🔬
Science News
spectrum.ieee.org
·
6d
6 days ago
Actions for Inside the New X Labs Funding Model for Quantum and Photonics
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
