cnidaria
Re:The work-from-home future is destroying bosses' brains
on Thursday June 10, 2021 @07:15PM (#27467268)
> You're advocating for a position as "a guy in a room"
No they aren't. They just said they want to WFH.
Re:Counterexamples in Type Systems
on Monday May 24, 2021 @02:04PM (#27267672)
I don't get it, do you feel like you need a class in a university to learn programming? Source code is nothing but formal notation. The fact that it kind of looks like English text if you squint makes no difference, as far as I'm concerned. There's only a handful of symbols you have to learn to read type theory stuff.