i played over 24 hours of baldurs gate 3 this weekend and i regret nothing.

Badenfahrt was fun, had some really cool bar concepts. Färbi is short for Färberei. A dyeing workshop, dunno if there's a dedicated English word.

I'll be speaking at the haskell meetup in zurich next week about fun things you can do with json, formal logic, process graphs and smt solvers. it's going to be fairly high level but if it sounds fun to someone, drop by! meetu.ps/e/MtwVr/xnwxw/i

youtu.be/hY0vk2JSxDE?si… turns out i still like giving talks, just not prepping them. So here's the high level intro on my masters thesis. If you like formal logic you might enjoy this

I'm looking for a new remote job /project. All sorts of development, preferably #ruby related. I can take care of a part or the whole development process. #softwaredeveloper #jobsearch

switching from 10 years of emacs to neovim feels like i never computered before in my life. buuut it's so much snappier. neorg is pretty cool but not quite the replacement for org-roam i hoped

We don’t always get to experience the joy of working in Unison here at Unison Computing. 💀 #unison_goodtimes

I'll be at zurihac this weekend. If any of you are there, come and say hello! Also if you need any help with Zurich lemme know!

imagine granting a president immunity for their use of a countries military in any and all cases. that would be silly, right? right?!

t-2 days until i try my hand on a brisket again, wish me luck.

hey US friends. next two weeks i'll be traveling from Denver to LA, in case you are located somewhere there and feel like grabbing a drink, shoot me a DM!

I'll never use feet as a measurement again, from now on i'll use lightnanoseconds. it's close enough

A busy week is when you didn't even realize the cracktorio expansion dropped. After optimizing code i'll go straight to optimizing belt spaghetti.

I only ever read bits and pieces. Time for a more thorough read. It was surprisingly painful to find a copy