Haskell as the Weapon of Math Distraction

I have shown, in this YouTube video, that spell checking equals type checking. I know it’s pretty obvious but the encoding may be wort mentioning. In fact, this is not a serious post–it’s an Xmas gift. Enjoy and Merry Xmas + Happy New Year. Ralf PS: More background on this “contribution to image processing” can…

0

New, more personal blog

You can meet me here, too: http://professor-fish.blogspot.com/2009/08/same-guy-as-grammarware-haskellware.html Regards, Ralf  

0

API migration alive and kicking strongly

I have been talking about API migration a lot lately. I have even a draft paper in limbo … so much in limbo that I don’t even link to it here. In fact, I admit that it is very difficult to get anything done scientifically and practically on this topic.   Thanks to some recent…

0

SYB goes Prolog

I am about to finish a short article on SYB in Prolog. Deadline seems to be in 30 hours from now. If anyone has suggestions, I’d appreciate it. Thanks, Ralf http://www.uni-koblenz.de/~laemmel/OdeToProlog/   Scrap Your Boilerplate—Prologically! Status (30 June 2009) Paper available in draft form. Code distribution not yet available online.   Author(s) Ralf Lämmel  …

0

retweewter

retweewter V1 (C) 2009 Ralf Laemmel READMEWhat is that retweewter?retweewter is a Twitter application. It is a toy application. It’sabsolutely useless, equally redundant and nearly dysfunctional, but itis fun doing this sort of code and app, and the author will keep italive for some time (such as mins to days) until he lacks furtherinterest or…

1

Transformer goes Braga/Portugal: 06-11 July — GTTSE 2009

So we are looking forward 8 “long” tutorials on different parts of the transformation/generation space of software engineering. For example, Bran Selic will stand in for model-based engineering and Jim Cordy will sketch his ultimate TXL cookbook. See the full program below. In addition, we will host a “research 2.0” event with Jean-Marie Favre and…

1