An interesting trap

I accidentally set up an interesting trap for myself for tomorrow. One of these bags contains my work laptop and notes. One contains concert merchandise. One I haven’t opened since last I was traveling. And one I think I’ve never opened. I hope I by accident end up with the concert one tomorrow morning rushing […]

Read More… from An interesting trap

Calling this a publication might be overselling it

Sure, Google scholar, that’s a thing we made, but calling it a publication might be overselling it just a little bit… (it was a presentation we did as part of a course on software verification) […]

Read More… from Calling this a publication might be overselling it