Skip to main content
Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧮 Theorem Proving
Automated Reasoning, SMT Solvers, Logic Programming, Isabelle
Filter Results
Timeframe
Hot
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
16048
posts in
186.2
ms
Hint-Based
SMT
Proof Reconstruction
arxiv.org
·
2d
🧮
SMT Solvers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Kona
: Energy-Based Models (
EBMs
) for AI Reasoning
logicalintelligence.com
·
1d
·
Discuss:
Hacker News
🔍
Type Inference
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Zero
knowledge
proof
of a product
johndcook.com
·
6h
🔱
Galois Cryptography
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
PhysProver
: Advancing Automatic Theorem
Proving
for Physics
arxiv.org
·
1d
✓
Automated Theorem Proving
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Multi-Modal Program
Verification
in
Velvet
proofsandintuitions.net
·
3d
·
Discuss:
Hacker News
⚖️
Verification Calculi
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
**Abstract:** This paper presents a novel framework for the automated
formal
verification of distributed consensus
protocols
, essential for the reliability o...
freederia.com
·
1d
🤝
Distributed Consensus
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
A Brief History of Solving
Simultaneous
Equations via
Matrices
learningloom.substack.com
·
5h
·
Discuss:
Substack
📐
Linear Algebra
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Built a library of LLM
prompts
for
RAG
agentset.ai
·
11h
·
Discuss:
Hacker News
🔗
Constraint Handling
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Context
Driven Development for Claude Code
dev.to
·
2h
·
Discuss:
DEV
✨
Effect Handlers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Data
Structures
and
Algorithms
tech.stonecharioteer.com
·
1d
·
Discuss:
Hacker News
📼
Tape Combinators
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Building Your Personal
Council
of Experts
dubell.io
·
23h
⚔️
Lean Tactics
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Introduction to
Coinduction
in
Agda
Part 1: Coinductive Programming
jesper.sikanda.be
·
2d
🏛️
Agda
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Show HN:
Polymcp
– Turn Any Python
Function
into an MCP Tool for AI Agents
news.ycombinator.com
·
3h
·
Discuss:
Hacker News
🧮
Z3 Solver
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Announcing SYNERGY, a
read-eval-print
loop (
REPL
) for working with AI assistants
logicgrimoire.wordpress.com
·
3h
🔗
Concatenative Programming
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Jeff
Su: The 10% of AI Tools that Drive 90% of Results
future.forem.com
·
17h
·
Discuss:
DEV
🤖
AI Curation
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Fluent
AI Output Is
Straining
Human Verification Systems
hackernoon.com
·
7h
🔓
Hacking
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Issue 508
haskellweekly.news
·
2d
🔗
Functional Compilers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
vivace-graph-v3
: CL graph database &
Prolog
implementation
github.com
·
14h
·
Discuss:
Lobsters
,
Hacker News
🕸️
Neo4j
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
CPNs
, LLMs, and
Distributed
Applications
blog.sao.dev
·
3h
·
Discuss:
Hacker News
🌊
Stream Processing
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Mahdi
Shamlou
| Solving LeetCode #1: Two Sum — The Classic Hash Map Solution
dev.to
·
1d
·
Discuss:
DEV
🎯
Performance Proofs
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Loading...
Loading more...
Page 2 »
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
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