Skip past navigation
On a mobile phone? Check out m.twitter.com!
Skip to navigation
Skip to sign in form

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

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

more

Name Paul Snively
Location Los Angeles
Web http://lambda-the...
Bio Java/Scala/OCaml Hacker, Libertarian nutjob

RSS feed of psnively's tweets RSS feed of psnively's favorites