Thad Meyer tmeyer@identi.ca

Merna, United States

Just another GNU/Linux hacker.

2013-07-09T19:02:00+00:00 in Nebraska, United States via web To: Public
Just started "OCaml from the Very Beginning" (Whitington). Already looks like it will be a significant (if brief) work in English. #OCaml
2013-06-13T15:14:20+00:00 in Nebraska, United States via web To: Public
#OCaml-ish postdoc job: https://sympa.inria.fr/sympa/arc/caml-list/2013-06/msg00042.html
2013-04-25T01:37:15+00:00 in Nebraska, United States To: Public
Resuming work on my neglected #CouchDB library for #OCaml. Impressive seeing how much OCaml has changed between v3.12 and 4.00
2013-03-15T19:28:02+00:00 in Denton, Texas, United States To: Public
Righteous #Perl Defense: http://ur1.ca/d2n1l
2013-01-17T02:12:28+00:00 in Nebraska, United States To: Public
Batteries 2.0.0. released. http://ur1.ca/cjrck
2013-01-17T02:07:55+00:00 in Nebraska, United States To: Public
Batteries 2.0.0 released. http://ur1.ca/cjrck
2012-12-12T12:07:28+00:00 in Lincoln, Nebraska, United States To: Public
Surprised and disappointed to find out #EyeOs http://www.eyeos.com has gone 100% proprietary. Used to be a cool #AGPLv3 project.
2012-12-12T17:00:24+00:00 in Nebraska, United States To: Public
Working on my new personal #cloud architecture, using #emacs, #ssh, #typerex, #w3m, and #gnus.
2012-12-12T01:45:48+00:00 in Nebraska, United States To: Public
Ubuntu Spyware: What to Do? -- http://ur1.ca/bw4j6
2012-12-04T21:45:43+00:00 in Nebraska, United States To: Public
CFP http://lpnmr2013.udc.es/ (Logic Programming and Nonmonotonic Reasoning)
2012-12-04T21:44:57+00:00 in Nebraska, United States To: Public
Pictures of #RMS in Helsinki http://ur1.ca/bu2rp
2012-11-01T10:09:13+00:00 in Nebraska, United States To: Public
It's going to be a great day, installing new #OCaml 4.00, #GODI skylift http://ur1.ca/aqy3z
2012-10-04T13:45:29+00:00 in Lincoln, Nebraska, United States To: Public
#ocsigen cheatsheet! http://ur1.ca/agll6 #ocaml
2012-10-04T13:42:43+00:00 in Lincoln, Nebraska, United States To: Public
CFP http://ur1.ca/ah6ha (with TOPLAS session http://ur1.ca/ah6hb) #ACM #TOPLAS
2012-07-20T00:41:43+00:00 in Nebraska, United States To: Public
Finally getting around to trying the #coq beta http://ur1.ca/9t01d
2012-07-20T18:15:10+00:00 in Nebraska, United States To: Public
if you're interested in interval arithmetic, check out this http://ur1.ca/9t4z3
2012-07-06T18:10:14+00:00 in Nebraska, United States To: Public
For anyone struggling to understand what restricted boot does, this link is helpful #fsf #gnu #restrictedboot: http://ur1.ca/5fia9
2012-07-06T15:17:57+00:00 in Nebraska, United States To: Public
I don't know what to say, #ubuntu, other than "goodbye." #fsf #gnu http://ur1.ca/9qju8
2012-07-06T14:15:23+00:00 in Nebraska, United States To: Public
Abstract Argumentation and Answer Set Programming #logic #programming #cool : http://ur1.ca/9qjho
2012-07-05T14:05:23+00:00 in Nebraska, United States To: Public
#GNU #GPLv3 is now 5 years old! Happy birthday! http://ur1.ca/9l7cr