Jaap Boender (semprini)
-
Ah, #freebsd has a new version of png in ports. This seems like a good moment to go buy groceries...#couldtakeawhile
about 11 hours ago from Choqok -
Book just in "Et si la France avait continué la guerre" pt 2: France continues WW2 from N Africa. Wishful thinking, perhaps, but great fun!
about a day ago from Choqok -
Important theorem proving tip: do not assume bugs in prover where user stupidity is involved. This saves a lot of time.
about a day ago from Choqok -
Scientific progress today is hindered by constant leakage out of my nose. #snirf
about 2 days ago from Choqok -
Het regent, het regent, de pannetjes worden nat...#ploink
about 2 days ago from web -
Combination of wordreference's conjugator and Konqueror's shortcuts is amazing. No more Italian conjugation errors in the future! (I hope)
about 3 days ago from Choqok -
Off to the Netherlands to have a walk, meet friends and family, and kick the Germans out of Mother Russia. на Родину!
about 10 days ago from Choqok -
Spending my entire day correcting off-by-one bugs, and replacing < by ≤ and vice versa. Ah yes, the glory of science...
about 11 days ago from Choqok -
@zack Yeah - maybe I could pretend to be an Italian painter and name myself after my hometown, that should do the trick...
-
Food for thought: is my name unpronounceable enough to become a famous Dutch computer scientist? (De Bruijn, Dijkstra, Barendregt...) #hmmm
-
Theorem proving and the dancing procession of Echternach: there are parallels. Also walking in a desert.
about 17 days ago from Choqok -
Trias politica, iemand? http://ur1.ca/991o1 #zucht
about 17 days ago from Choqok -
Oh dear, I'm calling my lemmas 'blerp' and 'blorp' again... #punchy
about 17 days ago from Choqok -
"Timeo Danaos et electiones facentes."
about 18 days ago from Choqok -
A language that contains the word "Einstellungsvoraussetzungen" cannot be anything but awesome. #deutschmachtspaß
about 19 days ago from Choqok -
And then BWV 565 is on the radio and suddenly even our quiet and peaceful university office feels like a horror movie... #scaryorgan
about 19 days ago from Choqok -
http://ur1.ca/989a3 #boter #hoofd #pot #ketel #zwart #balk #splinter #zonderzonde #steen
about 21 days ago from web -
Hey, this malmsey stuff isn't half bad! If I ever get condemned to death, I might do a Clarence...
about 22 days ago from web -
"Merkollande". Glad to see we're taking politics seriously again... #sigh
about 22 days ago from Choqok -
Listening to a gypsy jazz version of the Marseillaise - somehow I think this would be less successful with the Wilhelmus... #ploink
about 24 days ago from Choqok
All Identi.ca content and data are available under the