Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
blattimwind
on Aug 4, 2018
|
parent
|
context
|
favorite
| on:
Modern SAT solvers: fast, neat and underused
Allegedly Windows Update runs on one as well, which is said to be the reason why "update rollups" are needed to keep the system fast (and also the reason why Windows 7 updating has been extremely slow for years).
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: