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

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'll never use feet as a measurement again, from now on i'll use lightnanoseconds. it's close enough

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!

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

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

aaand i just learned on reddit that flakes support private gitignored inputs. welp

finally got per-user pavkages working in our shared nix dev env (lsp servers and such that not everyone uses). it only required *some* questionable string munging and envrc abuse... it's fiiiine

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!

or trying to get FE build tooling not to randomly inline styles etc. or to generate hashes. really i'd be fine with any of this. but the build tooling is absolutely bonkers.

*cries in CSP headers* setting up nginx to send the header, generate the nonce and replace a placeholder in served responses... 15 minutes. trying to convince vite to add nonce properties... 9 hours in and no success.

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

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

though in the new video they do stress the point that using an equal sign in something of the form x = <diverging series> is ... spicy. i like that they stressed this

numberphile published followups on analytical continuations and their (in)famous -1/12 video. I am looking forward to the metric shitton of new content on /r/badmathematics

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

https://t.co/x3yx1fJkq9 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'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!

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 played over 24 hours of baldurs gate 3 this weekend and i regret nothing.