Profile_bird

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

Already using Twitter
from your phone? Click here.

rickmurphy

  1. Interpreting Adoration of the Magi in National Gallery of Art 1:01 PM Dec 6th from txt
  2. hey, do me a favor k? go here and see if your iq is higher than mine. http://xsgay.co.uk/697d 10:26 PM Nov 27th from web
  3. Reading Wadler's A Taste of Linear Logic. http://homepages.inf.ed.ac.uk/wadler/papers/lineartaste/lineartaste.ps 6:01 PM Nov 23rd from web
  4. Published a new post called Observations from OWL Experiences and Directions 2009 http://phaneron.rickmurphy.org/?p=38 10:56 AM Nov 15th from web
  5. Back to debugging some lambda calculus expressions in Haskell. 10:54 AM Nov 14th from web
  6. Starting a Common Logic lexer just for fun. Obviously I have some time on my hands. 5:08 PM Nov 2nd from web
  7. Naked Chinese guys washing ashore on the California coast at dawn 4:56 AM Nov 2nd from txt
  8. Just caught Toni Morrison's A Fisherwoman at the National Gallery of Art 1:10 PM Nov 1st from web
  9. @spam I'm getting reports that my account has been compromised 10:00 AM Oct 30th from web in reply to spam
  10. Practical Peirce for #iswc2009 and #linkeddata, RDFS Idioms for the Working Semiotician http://phaneron.rickmurphy.org/?p=35 1:26 PM Oct 28th from web
  11. #iswc2009 Peirce for the Semantic Web on Phaneron http://phaneron.rickmurphy.org 7:01 AM Oct 28th from web
  12. #iswc2009 post hayes keynote, a little peirce goes a long way in #linkeddata see interpretants and interpretation here http://bit.ly/2DIlyn 6:54 AM Oct 28th from web
  13. here at #owled useful presentation related to #linkeddata http://bit.ly/3bDKJS 7:06 AM Oct 24th from web
  14. #iswc, open government linked open data http://bit.ly/IkdKX, attend Dean Allemang's Building SW apps for Government http://bit.ly/2yNexJ 8:48 AM Oct 23rd from web
  15. #owled interesting talk on modular imports, some terms discussion, little on meaning, hope to talk with Thomas about http://bit.ly/2DIlyn 8:42 AM Oct 23rd from web
  16. #owled starting up 6:09 AM Oct 23rd from web
  17. #haskabelle now configured and installed executing proof commands from proof general http://bit.ly/2ZW5m5 7:27 PM Oct 20th from web
  18. #Haskell update: Finished my Haskabelle setup and upgrade to GHC 6.10 9:12 PM Oct 19th from web
  19. Firing up my isabelle HOL prover for the evening. http://www.cl.cam.ac.uk/research/hvg/Isabelle/. Nicely packaged lied out of the box. 5:02 PM Oct 15th from web
  20. #linkeddata piece on interpretants and interpretation http://phaneron.rickmurphy.org/?p=36 4:58 PM Oct 15th from web