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
TLA+, Alloy, model checking, temporal logic
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
78
posts in
13.7
ms
Math Education, and LLM
✅
Software Verification
ycao.net
·
1d
1 day ago
·
Hacker News
·
Covers:
An OpenAI model has disproved a central conjecture in discrete geometry
,
Failing grades soar as professors see greater AI usage, dwindling math skills in UC Berkeley computer science classes
Actions for Math Education, and LLM
How Zoho Labs pivoted to inference engineering
✅
Software Verification
yourstory.com
·
5d
5 days ago
Actions for How Zoho Labs pivoted to inference engineering
Omega v1.0 Final Candidate: a typed governance language for autonomous systems
✅
Software Verification
omega-lang.org
·
2d
2 days ago
·
Hacker News
Actions for Omega v1.0 Final Candidate: a typed governance language for autonomous systems
A Unified Operator Framework for Resolving Contradictions Across Domains
✅
Software Verification
zenodo.org
·
5d
5 days ago
·
Hacker News
Actions for A Unified Operator Framework for Resolving Contradictions Across Domains
Less-relevant results
archmap
✅
Software Verification
Content type:
Blog
nrird.com
·
1d
1 day ago
Actions for archmap
Mathematicians use Lean to
verify
proofs, whats the equivalent for patent claims
✅
Software Verification
fearn.ai
·
3d
3 days ago
·
Hacker News
Actions for Mathematicians use Lean to verify proofs, whats the equivalent for patent claims
Zitchain: Bitcoin has structural flaws. I designed an alternative
📒
Ledgers
zitchain.com
·
2d
2 days ago
·
Hacker News
Actions for Zitchain: Bitcoin has structural flaws. I designed an alternative
Formal
Verification
of Learned Multi-Agent Communication Policies via Decision Tree Distillation
✅
Software Verification
Content type:
Academic
arxiv.org
·
4h
4 hours ago
Actions for Formal Verification of Learned Multi-Agent Communication Policies via Decision Tree Distillation
#650, June 15th 2026
🔀
Concurrency
llvmweekly.org
·
3d
3 days ago
·
Covers:
Trip report: June 2026 ISO C++ standards meeting (Brno, Czechia)
Actions for #650, June 15th 2026
Put some respect on aeroplane food
✅
Software Verification
Content type:
News
newstatesman.com
·
1d
1 day ago
Actions for Put some respect on aeroplane food
Reproducing a String
Theory
Vacuum in Rust
✅
Software Verification
madebynathan.com
·
1d
1 day ago
Actions for Reproducing a String Theory Vacuum in Rust
CPMpy/cpmpy: Constraint Programming and
Modeling
library in Python, based on numpy, with direct
solver
access.
🧪
PBT
Content type:
Code
github.com
·
3d
3 days ago
·
Hacker News
Actions for CPMpy/cpmpy: Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.
The Toothache and the Witness
🛡️
Fault Tolerance
bhagavan.dev
·
1d
1 day ago
Actions for The Toothache and the Witness
Pramaana Labs raises $27M to make AI
prove
its answers
🚀
Startups
siliconangle.com
·
1d
1 day ago
·
Covers:
Lean: Programming Language and Theorem Prover
Actions for Pramaana Labs raises $27M to make AI prove its answers
C++ Lifetime-End Pointer-Zap and OOTA Progress
✅
Software Verification
people.kernel.org
·
3d
3 days ago
·
Covers:
TIL Edward A Murphy Jr (of Murphy's Law fame) original quote was "If there are two or more ways to do something and one of those results in a catastrophe, then ...
Actions for C++ Lifetime-End Pointer-Zap and OOTA Progress
GitHub Copilot CLI for Beginners: Overview of common slash commands
✅
Software Verification
Content type:
Blog
Content type:
Tutorial
github.blog
·
3d
3 days ago
·
Covers:
GitHub Copilot CLI
Actions for GitHub Copilot CLI for Beginners: Overview of common slash commands
How LLMs Fail and Generalize in RTL Coding for Hardware Design?
🔀
Concurrency
Content type:
Academic
arxiv.org
·
4h
4 hours ago
Actions for How LLMs Fail and Generalize in RTL Coding for Hardware Design?
Umbro Is Football’s Original Fashion Brand
✅
Software Verification
highsnobiety.com
·
2d
2 days ago
Actions for Umbro Is Football’s Original Fashion Brand
Exploring Cloud Native projects in CNCF Sandbox. Part 6: 9 arrivals of Spring 2025 | Tech blog
🚨
Outage Reports
Content type:
Blog
palark.com
·
3d
3 days ago
·
Covers:
Github repo or feel free to ask any questions here! PS: we are hiring!
,
Infrastructure as Code
+1 more
Actions for Exploring Cloud Native projects in CNCF Sandbox. Part 6: 9 arrivals of Spring 2025 | Tech blog
The Stochastic Parrot
✅
Software Verification
Content type:
Blog
webaligo.bearblog.dev
·
6d
6 days ago
Actions for The Stochastic Parrot
« 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
Like
Save
Dislike
Report