jlouis666
- Now we are strictly more 2003 compliant than Moscow ML!1:04 PM Mar 31st from web
- Is now contemplating 2003 basis :)9:30 AM Mar 31st from web
- Now with a failing Coq-project. Oh, I need to fix stuff.7:03 AM Mar 31st from web
- 0 out of 88 tests failed. I deserved it. Was my own doing.5:55 AM Mar 31st from web
- 2 out of 88 tests failed. What did I do to deserve this?6:23 AM Mar 29th from web
- Our Mosml-llvm fork now has a test framework. We have uncountably infinite more awesomeness now4:29 PM Mar 28th from web
- Coffee + Chocolate + Milk - Milk + More Chocolate + Milk - Milk + Stirring + TLC + Standard ML ==> <32:54 AM Mar 25th from web
- @danquah: DU MÅ IKKE DRÆBE DE SØDE SMÅ NÆSEHORNSLINGER!6:44 AM Mar 23rd from web
- Phew, I have one of those "My brain is fried" days :/6:40 AM Mar 23rd from web
- Writes a tracer for the autogenerated peotry in the project. I am going to find pesky bugs, I am!3:53 PM Mar 19th from web
- Functors in Coq, shiny!3:59 AM Mar 19th from web
- @danquah: Det er efterhånden det sidste udkald for Sun. Men det ville være bedre at se Java og MySQL forsvinde :)3:55 AM Mar 19th from web
- Denotational and operational semantics in the same system? Hell yeah baby!3:08 AM Mar 19th from web
- The sky is blue. If there are clouds at your place you should be green with envy.1:35 AM Mar 18th from Do
- @frej: it is funnier when you make up your own words. After all that is how most words enter the vocabulary >)2:30 PM Mar 17th from web
- I just god rid of some ugly perl scripts. Those abominations must die!9:58 AM Mar 17th from web
- Mosml-llvm now builds everything. Now to kill the perl tools.6:47 AM Mar 17th from web
- Hmm, soccer is now breaking news. No wonder the people of Denmark are so disintellectual.1:58 AM Mar 17th from web
- Hacked up a libcurl-python thingie at work. Now the driver shell script...7:27 AM Mar 16th from Do
- @Liebach I'll try to hit the same amount this evening. Still pooling around in Vesterbro?3:41 AM Mar 16th from Do
|
- Name jlouis666
- Location Valby, Copenhagen, Denmark
- Web http://jlouisramb...
- Bio CS hacker and researcher
|
