@mycroft-homeless.bsky.social
One of the greatest tragedies of our times: the fall of STEM in US due to techbros.
First we stop teaching databases at university. Next we end up with this DOGE shit where we got a bunch of smugass 22 year olds who learned SQL from stack overflow boldly (and wrongly) declaring lies about government databases because their queries are 💩
March 15, 2025 at 8:45 PM
One of the greatest tragedies of our times: the fall of STEM in US due to techbros.
I have nightmares about not being able to find the right inductive hypothesis for my proofs.
March 15, 2025 at 8:42 PM
I have nightmares about not being able to find the right inductive hypothesis for my proofs.
Working my way through Static Program Analysis book (cs.au.dk/~amoeller/sp...). Implemented Hindley-Milner for the toy language in chapter 3 (github.com/mycroft92/TI...) and now I want to take a detour to implement an interpreter for it.
cs.au.dk
March 14, 2025 at 5:06 AM
Working my way through Static Program Analysis book (cs.au.dk/~amoeller/sp...). Implemented Hindley-Milner for the toy language in chapter 3 (github.com/mycroft92/TI...) and now I want to take a detour to implement an interpreter for it.
Finally moved away from that hellsite. Within a year twitter acquired the worst of fb, instagram and 4-chan. I will be cheering Elon’s downfall.
March 11, 2025 at 4:50 AM
Finally moved away from that hellsite. Within a year twitter acquired the worst of fb, instagram and 4-chan. I will be cheering Elon’s downfall.