Everything Is Broken

There’s your choice: constantly risk clicking on dangerous malware, or live under an overpass, leaving notes on the lawn of your former house telling your children you love them and miss them.”


more ...

Adam Savage’s Ten Rules for Success

  1. Get good at something. Really good. Get good at as many things as you can. Being good at one thing makes it easier to get good at other things.

  2. Getting good at stuff takes practice. Lots and lots of practice.

  3. Get OBSESSED. Everyone at the top of their field is ...

more ...

ACL2 Is Fascinating

ACL2 !> (thm (=(+ a b) (+ b a)))


Form:  ( THM ...)
Rules: ((:DEFINITION =)
Time:  0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
Prover steps counted:  10

Proof succeeded.
more ...