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
🔍 CBMC
Bounded Model Checking, C Verification, SAT Solving, Bug Finding
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8610
posts in
114.0
ms
New Algorithms and Hardness Results for Robust
Satisfiability
of (Promise)
CSPs
arxiv.org
·
1d
🧩
SAT Solvers
keplertech/kepler-formal
:
LEC
- Logic Equivalence Checking - Formal Verification
github.com
·
15h
·
Discuss:
Hacker News
🔍
Formal Verification
Breaking the
Tractability
Barrier: A Generic Low-Level Solver for
NP-Hard
Instances (N=63) on Commodity 64-Bit Silicon
zenodo.org
·
20h
·
Discuss:
r/programming
🧮
SMT Solvers
A
Weakest
Precondition
Calculus for Programs and Linear Temporal Specifications
arxiv.org
·
1d
✅
Model Checking
Proof-oriented
Programming in F*
fstar-lang.org
·
1d
·
Discuss:
Lobsters
🔗
Curry-Howard
Show HN:
Darius
– An AI router that
selects
the best model for each prompt
withdarius.com
·
4h
·
Discuss:
Hacker News
🔀
Brzozowski Derivatives
Our AI Orchestration Frameworks Are
Reinventing
Linda
(1985)
otavio.cat
·
14h
·
Discuss:
Hacker News
🔲
Cellular Automata
A
Conceptual
Framework for Exploration
Hacking
lesswrong.com
·
1d
🐫
OCaml
Proving
What's Possible
buttondown.com
·
2d
🔍
Formal Verification
BalatroBench
Benchmarks
Large Language Models Playing Balatro
balatrobench.com
·
15h
·
Discuss:
Hacker News
🐫
OCaml
[
TUHS
] bare m4 (was BTL
summmer
employees)
tuhs.org
·
2d
·
Discuss:
Lobsters
🐫
Embedded OCaml
Dyad
2.0: What Agentic AI means for the Future of Computer
Languages
- Blog
juliahub.com
·
1d
·
Discuss:
Hacker News
🤖
Program Synthesis
AI
uncovers
solutions to
Erdős
problems, moving closer to transforming math
scientificamerican.com
·
1d
·
Discuss:
Hacker News
🎯
Complexity Classes
We Die Because it's a
Computational
Necessity
lesswrong.com
·
13h
🔲
Cellular Automata
Forge
: Scalable Agent
RL
Framework and Algorithm
minimax.io
·
17h
·
Discuss:
Hacker News
🔲
Cellular Automata
Benchmarking
Claude C
Compiler
dineshgdk.substack.com
·
3d
·
Discuss:
Substack
,
r/programming
🏃
Escape Analysis
levlai/chiralipy
: pure python comp chem
github.com
·
15h
·
Discuss:
Hacker News
🐫
OCaml
Show HN:
PolyMCP
–
Expose
Python functions as MCP tools
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🔀
OCaml Multicore
BinaryAudit
: Can AI find
backdoors
in raw machine code?
quesma.com
·
12h
·
Discuss:
Hacker News
👁️
System Observability
Zvec
: SQLite-like
simplicity
in an embedded vector database (By Alibaba)
zvec.org
·
1d
·
Discuss:
Hacker News
🧮
Z3 Solver
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