Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
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
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
28878
posts in
16.1
ms
A Minimal Agent for Automated
Theorem
Proving
arxiv.org
·
20h
✓
Automated Theorem Proving
State of
Knuckledragger
III: Kernel Changes,
Symbolic
Union, AI, and more
philipzucker.com
·
1d
⚔️
Lean Tactics
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
8h
🔧
Hardware Verification
Differential
Logic
• 15
inquiryintoinquiry.com
·
7h
⚔️
Lean Theorem
AI and Humans
Verify
Fields
Medal
Proof for the First Time
spectrum.ieee.org
·
7h
·
Discuss:
Hacker News
,
r/technews
🎯
Performance Proofs
ReasonX
:
Declarative
Reasoning on Explanations
arxiv.org
·
20h
🔗
Constraint Handling
"LLMs strip provenance from knowledge. Systematically,
architecturally
and by design. And in so doing, AI systems are creating a form of knowledge
netwo
...
digipres.club
·
3h
💻
Local LLMs
Testing AI Agents:
Deterministic
Evaluation
in a
Non-Deterministic
World
sitepoint.com
·
6h
🔍
Concolic Testing
How do you handle domain-specific transformation
logic
without
hardcoding
it?
news.ycombinator.com
·
13h
·
Discuss:
Hacker News
🗣️
Domain-Specific Languages
extended C*-
algebra
in
nLab
ncatlab.org
·
5h
🧮
Algebraic Archives
Large induced
matchings
and minimal blocking sets using
parabolas
anuragbishnoi.wordpress.com
·
5h
🕸️
Graph Algorithms
Enshittification
forums.anandtech.com
·
1d
📝
ABNF Extensions
Build
Semantic
Search with LLM
Embeddings
machinelearningmastery.com
·
12h
🗂️
Vector Search
LLM-Assisted
Deanonymization
schneier.com
·
13h
💻
Local LLMs
Structured
Outputs
for LLMs
ternarysearch.blogspot.com
·
18h
·
Discuss:
Hacker News
,
ternarysearch.blogspot.com
🌳
Context free grammars
Understanding
SMF
properties
davepacheco.net
·
3h
💧
Liquid Types
Claude code
underlap.org
·
1d
🔩
Systems Programming
freest-lang/freest
: A programming language for safe
concurrency
powered by context-free session types.
github.com
·
1d
🔗
Functional Compilers
Show HN:
StrategicConsult
– Game theory
augmented
AI for decision making
negotiatecash.com
·
2h
·
Discuss:
Hacker News
🔲
Cellular Automata
The Semantic Infrastructure Opportunity: Building
Meaningful
Operational
Frameworks
moderndata101.substack.com
·
13h
·
Discuss:
Substack
📇
Dublin Core
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