miniblog.

Why do we use SAT solvers today? In 2001, they became fast enough that we can apply them to real-world problems.

Looked at a online community today with discussions going back to before 2001. Not many sites last that long!

Wow, http://t.co/E3bT0HCa3l was served by a lisp machine until 2001! http://t.co/pYcwWalg1K