wen @cyrridven@computerfairi.es

Loved @audreyt@twitter.com's keynote at ICFP'20! I'm pretty much sold on Taiwan now, I guess?

so, can we get publicly archived bodycams for politicians?

So uh, I kinda built a Z3 tactic for Agda today?
https://github.com/wenkokke/schmitty/

my brain, mid-refactoring: hey, you should also refactor that! do it now! you can finish this one later!

me, later: huh, why is my code broken?

I think I'm a little hypomanic at the moment? I'm not sleeping a lot, and I'm working obscene amounts of hours... which, probably not healthy :/

implementing this lattice as an agda datatype... good times, good times...

got an fb recruitment email and I kinda wanna respond with just "😂"

most of my supervision meetings are just my supervisor trying desparately to convince me to do less work, and me going "I respect you, but I'm gonna ignore your advice"

"There have been two key pieces of information used to produce estimated grades: how students have been ranked in ability and how well their school or college has performed in exams in recent years."

so we're just straight up using location as a proxy for race and wealth now?

reminder to always download papers from the author's website! it's probably more up to date and it's free!

updated stack and now my rts is all outta symbols it seems

tbf the fact that there's ads on public transport is kinda dystopian enough in and of itself

every other ad in the bus: "please, please, wear a mask"

danish people: 🤷

guess i'm switching to curl as my main browser from now

if I were a big foundation with a focus on privacy i would simply not potentially discontinue the biggest browser not backed by a company intent on harvesting personal data

do you think the version of coq a proof is written in is a good proxy for when the authors started writing the proof, or just a proxy for when they last bothered updating it?

ah yes, artifact review time, that time when I'll have to install four different versions of coq

this toot brought to you by the fact that denmark calls face masks "mouth binders"

y'all, i gotta say this... the wikipedia article for gags... is too long

Really makes you wonder how deep into full-on fascism he's gonna keep up the funny laugh jokes.