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
8117
posts in
134.7
ms
Generalized
Decidability
via
Brouwer
Trees
arxiv.org
·
1d
🔢
Computability Theory
The hidden reason
database
debt is ten times
harder
to fix than code
thenewstack.io
·
22h
🔢
Algebraic Data Types
A
Weakest
Precondition
Calculus for Programs and Linear Temporal Specifications
arxiv.org
·
1d
✅
Model Checking
New Architecture Could Cut Quantum Hardware Needed to Break
RSA-2048
by
Tenfold
, Study Finds
thequantuminsider.com
·
5h
·
Discuss:
r/programming
📦
Unikernel Systems
models have some pretty
funny
attractor
states
lesswrong.com
·
16h
🔲
Cellular Automata
Allocators
from C to
Zig
antonz.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🏃
Escape Analysis
We Die Because it's a
Computational
Necessity
lesswrong.com
·
25m
🔲
Cellular Automata
Quick
Comparison
of
JVM
Languages
jvmhost.com
·
3d
·
Discuss:
Hacker News
📝
Nix Language
Pdit
: The Python
Un-Notebook
for Coding Agents
harry.vangberg.name
·
2h
·
Discuss:
Hacker News
⚙️
PL Implementation
Pwning
Supercomputers — A 20 year old vulnerability in
Munge
blog.lexfo.fr
·
15h
·
Discuss:
Hacker News
🛡️
seL4
The
calculus
tutorial just
shipped
!
minireference.com
·
21h
·
Discuss:
Hacker News
🔀
Brzozowski Derivatives
The hard problem with hard problems (Getting Claude to
write
a solar system
SIM
)
drmaciver.substack.com
·
3h
·
Discuss:
Substack
⏱️
Computational Complexity
Lessons
from
Zig
vinniefalco.com
·
1d
·
Discuss:
Hacker News
🐫
Embedded OCaml
CCBench
: How do agents perform on
codebases
that aren't part of training data?
ccbench.org
·
15h
·
Discuss:
Hacker News
🔍
CBMC
Hare
0.26.0 released
harelang.org
·
13h
·
Discuss:
Hacker News
🏗️
Dune
How to Prove the
Correctness
of AI-Generated Code Using
Formal
Methods
adacore.com
·
2d
·
Discuss:
Hacker News
🤖
Program Synthesis
Digitizing
the "
Shokunin
": How we encoded a Master's hammer strike into AI
yusukekaizen.substack.com
·
1d
·
Discuss:
Substack
📚
Automata Learning
The
Redundancy
Paradox
mihirdeshpande.com
·
20h
·
Discuss:
Hacker News
👁️
System Observability
Russ
Cox on: What should we do with
CLs
generated by AI?
groups.google.com
·
2h
·
Discuss:
Hacker News
🤖
Program Synthesis
EyesOff
: Why Some Models
Quantize
Better Than Others
ym2132.github.io
·
1d
·
Discuss:
Hacker News
🧮
SMT Solvers
Loading...
Loading more...
« Page 1
•
Page 3 »
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