Swirly Mein Kopf
Satz der Stunde
„Stellt euch vor ihr müsst in den Krieg ziehen und könnt den Mund nicht halten. Dann weiß der Feind wo ihr seid und killt euch!“
Stefan Dobos
Links
identi.ca dents
3 year old patches suddenly being applied: https://git.gnome.org/browse/gnome-applets/commit/?id=d810bb5b9f529b91729519856011d0f6901a3243
Interesting: I get phone calls from other university’s students with questions to Isabelle (the theorem prover).
Nice unicode hack: Prevent unwanted alphabetic sorting of text by prepending a number of U+200B ZERO WIDTH SPACE characters to each entry.
My first ddg-code is live: https://duckduckgo.com/?q=hello+hackage. Hopefully the doi-lookup (http://is.gd/H7IiL9) follows soon too.
Selling my good old Nokia 770 tablet: http://www.ebay.de/itm/111014036610
Bilderalbum
Radtour nach Landeck

Raclette

Filzchalkbag

Wohnzimmer-Ecke

Erster Snowboardtag

Heisse News
heisse heißt heise

Wirtschaftsminister von Wikipedia erfunden

StudiVZ und gesext.de legen Daten zusammen

Guitar Hero an der Musikschule

BSI bietet Passwort-Sicherheitsserver an

Quicksearch
Kategorien
All categories
Blog abonnieren
Letzte Google-Suchen
koma script tex gyre
formal formell
t-shirts vegan
haskell introspection
procmail sieve
vm.overcommit_memory
guitar hero screenshot vector
billy supermarkt
print to pdf by gtk3
hledger
Archives
Besucher-Weltkarte
Besucher-Weltkarte

Saturday, November 14. 2009

Arrived at the Darcs hacking sprint

Darcs Haskell

Today, my alarm clock was set to 4:30, as I was going to Vienna, to attend the Darcs hacking sprint. I’ll be working on DarcsWatch, making it a bit more modular and hopefully integegrate it better into bug tracking systems (especially roundup, as that’s used by the Darcs team). On Monday, I’ll be a tourist until I leave in the evening. If any Debianers or Haskellers want to meet for keysigning or sightseeing, just drop me a mail!

Posted by nomeata in Darcs, English, Haskell at 09:32 | Comments (0) | Trackbacks (0) | RSS Feed (Comments) | Flattr this blog | Flattr this post

Trackbacks

Trackback specific URI for this entry

No Trackbacks

Comments

Display comments as (Linear | Threaded)

No comments

Add Comment



To prevent automated Bots from commentspamming, please enter the string you see in the image below in the appropriate input box. Your comment will only be submitted if the strings match. Please ensure that your browser supports and accepts cookies, or your comment cannot be verified correctly.
CAPTCHA

Gravatar, Favatar, Identica author images supported.
What is the first name of the owner of this blog? / Wie heißt der Betreiber diess Blogs mit Vornamen?
 
 
Nach oben