Skip to main content
Scour
Discover
Docs
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Theorem Provers
🧮 Theorem Provers
Specific
SMT Solvers, Z3, Automated Reasoning, Formal Verification
Filter Results
Timeframe
Choose a timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
21
posts in
19.7
ms
🧩
Constraint Solvers
Flathub
·
3d
3 days ago
Java Geometry Expert
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Java Geometry Expert
Less-relevant results
🧩
Constraint Solvers
washingtonexaminer.com
·
2d
2 days ago
Why the genocide libel is central to the propaganda war against Israel and Jews
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Why the genocide libel is central to the propaganda war against Israel and Jews
🔗
Unification
John D. Cook
·
3d
3 days ago
All pieces on a 6 by 5 board
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for All pieces on a 6 by 5 board
🧩
Constraint Solvers
Hagerty Media
·
1d
1 day ago
Zelda. Again. Still. Always.
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Zelda. Again. Still. Always.
🔬
programming language theory
Adam Keys is typing
·
5d
5 days ago
The local maxima we need to reach the next global maximum
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The local maxima we need to reach the next global maximum
∫
Mathematical DSLs
stunning-naiad-817d91.netlify.app
·
16h
16 hours ago
AI and Math State of the Art
Covers
9 stories
See all stories this covers
including
An OpenAI model has disproved a central conjecture in discrete geometry
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for AI and Math State of the Art
🎭
Program Synthesis
TechCrunch
·
6d
6 days ago
Pramaana Labs raises $27M seed round from Khosla Ventures to bring
formal
verification
to AI
Covered by
SiliconANGLE
,
AI资讯速览
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI
🧩
Constraint Solvers
coindesk.com
·
14h
14 hours ago
Vitalik Buterin says Ethereum Foundation will cut budget 40% in major reset
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Vitalik Buterin says Ethereum Foundation will cut budget 40% in major reset
🔄
Protocol State Machines
spawn-queue.acm.org
·
3d
3 days ago
You Don’t Know Jack About
Formal
Verification
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for You Don’t Know Jack About Formal Verification
🎭
Program Synthesis
stng.substack.com
·
16h
16 hours ago
Why Software Requirements Get Easier in an AI Economy
Discussed on
Substack
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Why Software Requirements Get Easier in an AI Economy
🎭
Program Synthesis
TheSequence
·
2d
2 days ago
The Sequence Radar #880: Last Week in AI: A $60B Cursor Deal, Google's Brain Drain, and Midjourney's Body Scanner
Covers
4 stories
See all stories this covers
including
Midjourney Ultrasonic CT Scanner
Discussed on
Substack
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The Sequence Radar #880: Last Week in AI: A $60B Cursor Deal, Google's Brain Drain, and Midjourney's Body Scanner
🔬
programming language theory
SiliconANGLE
·
6d
6 days ago
Pramaana Labs raises $27M to make AI
prove
its answers
Covers
Lean: Programming Language and Theorem Prover
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Pramaana Labs raises $27M to make AI prove its answers
🛠
programming language development
Adrian Sampson
·
5d
5 days ago
Advanced Compilers: The Self-Guided Online Course
Covers
llvm.org - 20.3 kb
Covered by
4 sources
See all sources covering this story
including
Hacker News
,
daemonology.net
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Advanced Compilers: The Self-Guided Online Course
⚡
Performance
Patreon
·
6d
6 days ago
Bcachefs 1.38.6 - the performance release
Covered by
3 sources
See all sources covering this story
including
Phoronix
,
The Register
Discussed on
Hacker News
and
Lobsters
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Bcachefs 1.38.6 - the performance release
🔄
Deduplication
NAS Compares
·
5d
5 days ago
UniFi ENAS Review – $3999 Well Spent?
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for UniFi ENAS Review – $3999 Well Spent?
🧩
Constraint Solvers
Simons Foundation
·
5d
5 days ago
Solved
, Unsolved and Unsolvable: The Status of Hilbert’s 23 Problems in Mathematics
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Solved, Unsolved and Unsolvable: The Status of Hilbert’s 23 Problems in Mathematics
📦
Dependency Analysis
nrird.com
·
6d
6 days ago
archmap
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for archmap
🔍
Static Analysis
tldrsec.com
·
5d
5 days ago
Perplexity's Bumblebee, Evading Cloud Logging, AI Vuln Hunting Spec
Covers
8 stories
See all stories this covers
including
Midjourney Ultrasonic CT Scanner
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Perplexity's Bumblebee, Evading Cloud Logging, AI Vuln Hunting Spec
🎭
Program Synthesis
TNW | Artificial-Intelligence
·
5d
5 days ago
Pramaana Labs raised $27M to wrap AI in mathematical
proof
for law, tax, and drug discovery
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Pramaana Labs raised $27M to wrap AI in mathematical proof for law, tax, and drug discovery
⚡
Control Synthesis
SiliconANGLE
·
5d
5 days ago
Architect Labs nabs $24M to speed up chip design projects with AI
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Architect Labs nabs $24M to speed up chip design projects with AI
Page 2 »
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous post
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
Discover
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
Not for me
Report