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
🧩 SAT Solvers
Specific
Boolean Satisfiability, DPLL, CDCL, SMT
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
5465
posts in
17.4
ms
An Exponential Separation between Deterministic
CDCL
and
DPLL
Solvers
arxiv.org
·
1d
🔍
CBMC
Formal
Verification: The Ultimate
Fitness
Function
lesswrong.com
·
8h
🔍
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
·
17h
·
Discuss:
r/programming
🔍
Formal Verification
Study: Consumers Show No
Impairment
in Their Next-Day Driving Performance Despite Residual
THC
Blood Levels
norml.org
·
2h
🔧
Microcontrollers
Share of Labour
Compensation
in
GDP
at Current National Prices for United States
fred.stlouisfed.org
·
3h
·
Discuss:
Hacker News
🕸️
Graph Theory
The Talk Show: ‘The
Pogue
Feature’
daringfireball.net
·
9h
📺
Vintage Apple
Liquid Glass and long-standing bugs push Apple’s
grades
down in visual
accessibility
report card
9to5mac.com
·
9h
🍎
Apple
DIY
Reflow
Plate
Runs On USB Power Delivery
hackaday.com
·
5h
🖥️
KVM
Turning Chinese
Character
Structure
into a Strategy Game
store.steampowered.com
·
1h
·
Discuss:
Lobsters
📐
Linear Algebra
Stretching
2,689 miles, the world's longest
coastal
path opens in England
bbc.com
·
4h
·
Discuss:
Hacker News
🏔️
climbing
Fluorescent
ruby-like
gems
have been found on Mars for the first time
newscientist.com
·
12h
🧗
Climbing Tech
Jony Ive on
Redesigning
the Christie’s
Rostrum
youtube.com
·
9h
📺
Vintage Apple
Contemporary Australian
Composers
: Alan
Lamb
(2000)
rainerlinz.net
·
49m
·
Discuss:
Hacker News
📵
Digital Minimalism
Mapping
the Privacy
Workforce
in the AI Era
usenix.org
·
11h
🛡️
Privacy Engineering
Nvidia
greenboost
:
transparently
extend GPU VRAM using system RAM/NVMe
gitlab.com
·
8h
·
Discuss:
Lobsters
💻
QEMU
omachala/diction
: iOS keyboard that transcribes speech to text in any app
github.com
·
14h
·
Discuss:
r/homelab
🍎
Apple
North Korea's 100,000-strong fake IT worker army
rake
in $
500M
a year for Kim Jong Un
theregister.com
·
7h
📦
Unikernel Systems
The
greatest
joy
in app development comes before launch
insidestack.it
·
6h
·
Discuss:
r/programming
🔧
DevOps
PSA
: Spotify investigating outage that’s
kicking
users off their plans
9to5mac.com
·
13h
🍎
Apple
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