Profile_bird

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

Already using Twitter
from your phone? Click here.

psnively

  1. @kaleidic Seems nuts, huh? But see http://bit.ly/80BLRe
  2. @kaleidic I got your e-mails; sorry I'm so badly behind in following up. Will do after getting home from Thanksgiving. :-)
  3. @mitchblevins Ya gotta admit, as attention-getting strategies go... :-)
  4. @larrytheliquid I've been thinking about rewrite logic lately, which sounds similar. Is there a good dependently-typed Lisp?
  5. Also Lisp. Oy, where to start? Semantic Web w/Pellet? ACL2? PowerLOOM? Isabelle? Coq?
  6. Stepson's expressed an interest in representing facts and reasoning about them, as well as an IDE capable fo refactoring across languages.
  7. @mitchblevins Wow, quadruple. Congratulations to cousin Dino and here's hoping for many more years.
  8. the fact that i can update 5 projects in one day demonstrates how easy sbt makes things. its a great tool. (via @joshcough)
  9. There have been many TED talks on climate change - wondering when we'll see a TED talk on climate change research fraud. (via @stevedekorte)
  10. When will there be a TED talk on the role of fractional reserve central banking and bubbles? (via @stevedekorte)
  11. @donsbot How long are you in LA for? :-) I keep missing interesting folks who visit!
  12. @al3x I never thought I'd live to see the day when Apple marketing was superior to MS' or the Berlin Wall fell.
  13. I hate Mocks, I hate Mocks. They are evil. Did anyone ever hear of this novel concept of "encapsulation"? #mocksareevil (via @wfaler)
  14. @RobertFischer It's so good that you appreciate your grandma Fischer! My grandma Möller is sorely missed.
  15. @frama_c Yeah, I'm mostly being snarky. I actually prefer C++ to C because at least you CAN construct useful abstractions in it.
  16. @mitchblevins Oh wow. I'm so sorry to hear that! My prayers for a speedy recovery for cousin Dino.
  17. @frama_c "If the subset of C++ is clean enough..." But of course. :-)
  18. @joeygibson Wow, neat! I think the Orthodox Bibles are gorgeous.
  19. @philtor @frama_c Seems like you'd also need a Hoare Logic implementation of C++'s semantics. Yikes.
  20. @alpheccar The day may come when I can watch anything from the muppets post-Jim Henson without crying. That day has not yet come.