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
5466
posts in
10.7
ms
An Exponential Separation between Deterministic
CDCL
and
DPLL
Solvers
arxiv.org
·
1d
🔍
CBMC
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
Thailand is
Sleepwalking
into a Crisis: A
Demographic
Crisis
grantthornton.co.th
·
1h
·
Discuss:
Hacker News
🕸️
Graph Theory
Study: Consumers Show No
Impairment
in Their Next-Day Driving Performance Despite Residual
THC
Blood Levels
norml.org
·
4h
🔧
Microcontrollers
Simple
MIDI
Sample Player Runs on
ESP32
hackaday.com
·
50m
🔌
IOKit
The Big [
Censored
] Theory (2022)
pudding.cool
·
7h
·
Discuss:
Hacker News
➡️
Category Theory
Liquid Glass and long-standing bugs push Apple’s
grades
down in visual
accessibility
report card
9to5mac.com
·
11h
🍎
Apple
Does anyone know which company has the best tool battery technology?
news.ycombinator.com
·
1h
·
Discuss:
Hacker News
🩹
Self-Healing Systems
Jony Ive on
Redesigning
the Christie’s
Rostrum
youtube.com
·
11h
📺
Vintage Apple
Turning Chinese
Character
Structure
into a Strategy Game
store.steampowered.com
·
2h
·
Discuss:
Lobsters
,
Hacker News
📐
Linear Algebra
Coal
plant
forced
to stay open due to emergency order isn't even running
arstechnica.com
·
11h
·
Discuss:
Hacker News
🩹
Self-Healing Systems
Stretching
2,689 miles, the world's longest
coastal
path opens in England
bbc.com
·
6h
·
Discuss:
Hacker News
🏔️
climbing
Mapping
the Privacy
Workforce
in the AI Era
usenix.org
·
13h
🛡️
Privacy Engineering
North Korea's 100,000-strong fake IT worker army
rake
in $
500M
a year for Kim Jong Un
theregister.com
·
9h
📦
Unikernel Systems
Nvidia
greenboost
:
transparently
extend GPU VRAM using system RAM/NVMe
gitlab.com
·
9h
·
Discuss:
Lobsters
💻
QEMU
BornHead/deadenv
: Find unused and missing environment variables across Node.js, Python, C#, and Flutter projects.
github.com
·
1h
·
Discuss:
r/javascript
,
r/programming
❄️
Nixified Development
DIY
Reflow
Plate
Runs On USB Power Delivery
hackaday.com
·
6h
🖥️
KVM
Contemporary Australian
Composers
: Alan
Lamb
(2000)
rainerlinz.net
·
2h
·
Discuss:
Hacker News
📵
Digital Minimalism
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