Skip to main content
Scour
Browse
Getting Started
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
🧮 Z3 Solver
SMT Solving, Satisfiability, Theorem Proving, Constraint Solving
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8072
posts in
127.4
ms
Why Agentic Theorem
Prover
Works: A Statistical
Provability
Theory of Mathematical Reasoning Models
arxiv.org
·
1d
🧠
Automated Reasoning
FLINGO
--
Instilling
ASP Expressiveness into Linear Integer Constraints
arxiv.org
·
2d
🎯
GADT
Building a
Regex
Engine with a team of parallel
Claudes
lesswrong.com
·
2d
🧩
Parser Combinators
AI #155: Welcome to
Recursive
Self-Improvement
lesswrong.com
·
1d
🧮
SMT Solvers
Architecture
of
SQLite
sqlite.org
·
2d
·
Discuss:
Hacker News
🔢
Algebraic Data Types
Memsearch
,an agent memory with md as source of truth(inspired by
OpenClaw
)
zilliztech.github.io
·
1d
·
Discuss:
Hacker News
🔧
Unikernel Development
The
calculus
tutorial just
shipped
!
minireference.com
·
1d
·
Discuss:
Hacker News
🔀
Brzozowski Derivatives
Hare
0.26.0 released
harelang.org
·
18h
·
Discuss:
Lobsters
,
Hacker News
🏗️
Dune
Overview of end-to-end
encrypted
AI inference for
Confer
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Beyond
SAST
: Using Gemini to
Orchestrate
Semantic Source Reviews.
ciex-software.com
·
1d
·
Discuss:
Hacker News
🔄
Reproducible Builds
DFlash
: Block Diffusion for Flash
Speculative
Decoding
z-lab.ai
·
3d
·
Discuss:
Hacker News
🔀
OCaml Multicore
Cyber
Model
Arena
wiz.io
·
1d
·
Discuss:
Hacker News
🔀
Brzozowski Derivatives
Lessons
from
Zig
vinniefalco.com
·
1d
·
Discuss:
Hacker News
🐫
Embedded OCaml
AI
Pair
Programming in Your
Terminal
cecli.dev
·
3d
·
Discuss:
Hacker News
💻
CLI Tools
The Evolution of a
Lean
Programmer
unnamed.website
·
4d
·
Discuss:
Hacker News
📝
Nix Language
Dear
Agent:
Prove
it.
rijnard.com
·
1d
·
Discuss:
Hacker News
🔍
Formal Verification
CCBench
: How do agents perform on
codebases
that aren't part of training data?
ccbench.org
·
19h
·
Discuss:
Hacker News
🔍
CBMC
CodeSpeak
: Software Engineering with AI
codespeak.dev
·
21h
·
Discuss:
Lobsters
,
Hacker News
🤖
Program Synthesis
GTIG
AI Threat Tracker: Distillation,
Experimentation
, and (Continued) Integration of AI for Adversarial Use
cloud.google.com
·
23h
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Oatmeal
-
Constraint
propagation for fun
eli.li
·
5d
·
Discuss:
Lobsters
,
Hacker News
🧮
SMT Solvers
Sign up or log in to see more results
Sign Up
Login
« 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