Profile_bird

Hey there! joshbohde 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 joshbohde's tweets.

Already using Twitter
from your phone? Click here.

joshbohde

  1. This one is a jazzy "Here Comes Santa Claus"
  2. This airport is playing the worst renditions of Christmas songs ever.
  3. PiSigma - a dependently typed core language. It has an undecidable type system problem. http://bit.ly/65wfrX
  4. try { return true; } finally { return false; }
  5. @vangdfang Then you're using a terrible language. Any decent language implements tail recursion, making it just as expensive as iteration.
  6. @gamerdonkey Stop thinking in iteration. Recursion is equivalent (and imo more elegant.)
  7. RT @KirmiziTavuk: Hey! Who else is in the Beta group for the #retweet feature? I don't know how to work this!
  8. @KirmiziTavuk At what time shall we meet?
  9. Just did a reinstall to Karmic. System is noticeably faster now.
  10. @michaelwisely Throw it up on github. I'd like to take a look at it.
  11. @KirmiziTavuk I'll be in this afternoon.
  12. @gamerdonkey The uninstalled kind?
  13. Why does the Empire design weapons with such critical flaws?
  14. Made it back from San Fran. Time to recover.
  15. I'm finally in the Bay Area. I need to sleep and eat.
  16. I'm in Phoenix waiting for my next flight.
  17. Python Language Moratorium accepted. http://bit.ly/kxzrt
  18. Just 7 hours left until the end of @megaminer. #ineedtosleep
  19. Just pulled off a real slick reboot while adding serialization of state while keeping the previous state. I love #python 's pickle.
  20. I'm at @megaminer, writing the codes.