twas a simpler time

Rust is so effective at preventing people from shooting themselves in the foot that the Rust foundation had to overcompensate and shoot the entire community in the foot

I've been procrastinating on finishing a blog post that's literally all written, just missing a paragraph for a week now

noo, not the hackerinooos

HP = Hip packardhttps://m.youtube.com/watch?v=VLTh4uVJduI

write your own, it might still suck, but at least you'll have no one to blame but yourself

tfw no magit

Had a proper look at F-star for the first time (I had seen it before, but had written it off as a M$ project), but it's actually pretty awesome! Best automated verification tool that I've had the pleasure of using!

Didn't get as much as I had planned done, but still a good day!