Profile_bird

Hey there! bradlarsen is using Twitter.

Twitter is a free service that lets you keep in touch with people through the exchange of quick, frequent answers to one simple question: What's happening? Join today to start receiving bradlarsen's tweets.

Already using Twitter
from your phone? Click here.

bradlarsen

  1. But, no time for that right now. :-(
  2. I want to write my own SAT solvers!
  3. The pseudocode is a lie!
  4. I wish I had more cores! 16 would be nice.
  5. @greenrd nope, stock everything. It worries me that something (e.g. cooling) is failing.
  6. I ran 3 different SAT solvers at once on the same hard problem. They made my desktop overheat and shut down. :-(
  7. There is a Dwarf Fortress subreddit. Oh dear.
  8. Damn you, Mainers.
  9. And another one: http://uncyclopedia.wikia.com/wiki/Haskell
  10. http://bit.ly/2Oazjy
  11. The lack of a let-expression construct in C-derived languages is an unfortunate omission.
  12. Programming is Legos for grownups.
  13. Ug, insomnia.
  14. @drbass from an Amazon review of a CS theory book with Turing on the cover: "Who is this herb anyway? He needs a haircut and a new suit."
  15. Java would be much more palatable if it allowed you to define procedures outside of any class.
  16. @roberto_cf I'm sorry for your loss.
  17. @sm_spencer Oh dear.
  18. Reporters ALWAYS get the details wrong. At least in the case of every news article I've ever been personally connected with.
  19. Seibel's "Coders at Work": excellent content; some silly typos and formatting mistakes. 4/5. Read it!
  20. Typeful program transformations make my head spin.