Category Archives: Uni

Irony is when….

You spend 10 hours trying to fix a proof – and fail You are riding your bike home from the university at 3:10 AM, coming home after midnight for the trillionth day in a row You have to re-set the … Continue reading

Posted in Real Life, Uni | 4 Comments

Semantics Schmantics

Today there is a new talk in the Distinguished Lectures Series here at DAIMI. The talk is given by John C. Reynolds and the title of the talk is “Towards a Grainless Semantics for Shared-Variable Concurrency”. Naturally I asked Google … Continue reading

Posted in Uni | 3 Comments

Facts Of The Day

I figured you all wanted to know that: Writing introductions is boring Deadlines are bad for my health, I eat and drink way too much and too unhealthy. This effect is prolonged as the number of deadlines increase I am … Continue reading

Posted in Uni | Leave a comment

You Are Reading My Blog – The Blog That Does Not Condone The Cool Crime Of Robbery

There is nothing like working late, especially on fridays. The hallways are empty and no weird office mate or office neighbors bother me constantly or create some vortex I’ll have to join :). Well, it can be quite boring too. … Continue reading

Posted in Real Life, Uni | 3 Comments

Going to Riga

In a few hours I will leave for the Scandinavian Workshop on Algorithm Theory (SWAT 2006) with Allan. We will take the bus to Aarhus Airport and fly via Copenhagen to Riga. It figures that we are leaving Denmark just … Continue reading

Posted in Real Life, SWAT, Uni | 2 Comments

Summer School

Not much is happening on the planet now. This is most likely because the usual suspects (Mikkel, Rune, Martin, Mirka and I) are attending the BRICS summer school in game theory. So far we have seen some good material and … Continue reading

Posted in Uni | Leave a comment

What Janus did not tell us

Hmm, some guy apparently started a planet service at DAIMI, I just got a hit from http://planet.daimi.au.dk/phd/. This seems to be a aggragation of some of the blogs written by PhD students at DAIMI. I thought, naively perhaps, that Janus … Continue reading

Posted in Uni | 2 Comments

Research Food

I had just had a nice supper with Lars here at the university. Lars had bought a sandwich and I got nostalgic and created my good old Demo Party Food. I skipped going to the gym today since I went … Continue reading

Posted in Real Life, Uni | 2 Comments

ART is Gaining Momentum

Our little resistance movement: ART (Short for ART Resistance Team, note the cool recursive acronym) is shaping up quite nicely. We have created a bunch of A4 sized posters which people have hanging in their offices here at IT-Parken. Rune … Continue reading

Posted in Stuff, Uni | 4 Comments

Messy References in Research Papers

I was just reading through the paper “Cache Oblivious Distribution Sweeping” By Gerth and Rolf. That paper refers some details and applications of the distribution sweeping algorithm to the full version of the paper which it claims is in the … Continue reading

Posted in Uni | 3 Comments