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
🧮 Z3 Solver
Specific
SMT Solving, Satisfiability, Theorem Proving, Constraint Solving
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
5464
posts in
79.0
ms
Formal
Verification: The Ultimate
Fitness
Function
lesswrong.com
·
9h
🔍
Formal Verification
Less-relevant results
Domain-Independent Dynamic Programming with
Constraint
Propagation
arxiv.org
·
1d
🧮
SMT Solvers
Formally
Verifying
the Easy Part: a field report on using
Dafny
to verify AI-generated code, and why all 4 real production bugs were in the integration layer
brainflow.substack.com
·
18h
·
Discuss:
r/programming
🔍
Formal Verification
celtera/ahsohtoa
: Structure-of-array synthesis in C++20
github.com
·
1h
·
Discuss:
Hacker News
⚙️
Compiler Design
An Exponential Separation between Deterministic
CDCL
and
DPLL
Solvers
arxiv.org
·
1d
🧩
SAT Solvers
Study: Consumers Show No
Impairment
in Their Next-Day Driving Performance Despite Residual
THC
Blood Levels
norml.org
·
4h
🔧
Microcontrollers
Powell
: Job
creation
is near zero
finance.yahoo.com
·
9h
·
Discuss:
Hacker News
🔲
Cellular Automata
The Talk Show: ‘The
Pogue
Feature’
daringfireball.net
·
10h
📺
Vintage Apple
Liquid Glass and long-standing bugs push Apple’s
grades
down in visual
accessibility
report card
9to5mac.com
·
11h
🍎
Apple
DIY
Reflow
Plate
Runs On USB Power Delivery
hackaday.com
·
6h
🖥️
KVM
Stretching
2,689 miles, the world's longest
coastal
path opens in England
bbc.com
·
6h
·
Discuss:
Hacker News
🏔️
climbing
Turning Chinese
Character
Structure
into a Strategy Game
store.steampowered.com
·
2h
·
Discuss:
Lobsters
,
Hacker News
📐
Linear Algebra
Fluorescent
ruby-like
gems
have been found on Mars for the first time
newscientist.com
·
13h
🧗
Climbing Tech
Black Cube, leaked
tapes
and corruption: Israeli spy firm crashes
Slovenia
’s election
politico.eu
·
5h
·
Discuss:
Hacker News
📐
Linear Algebra
Jony Ive on
Redesigning
the Christie’s
Rostrum
youtube.com
·
11h
📺
Vintage Apple
Mapping
the Privacy
Workforce
in the AI Era
usenix.org
·
13h
🛡️
Privacy Engineering
Simple
MIDI
Sample Player Runs on
ESP32
hackaday.com
·
50m
🔌
IOKit
Robinhood
is making a social network
theverge.com
·
14h
·
Discuss:
Hacker News
🌐
ActivityPub
Nvidia
greenboost
:
transparently
extend GPU VRAM using system RAM/NVMe
gitlab.com
·
9h
·
Discuss:
Lobsters
💻
QEMU
The
greatest
joy
in app development comes before launch
insidestack.it
·
8h
·
Discuss:
r/programming
🔧
DevOps
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