Gregory's ServerTrans girls will say shit like "no thoughts head empty I'm a total bimbo" then proceed to infodump about type theory.
|
23 comments
@Elizafox I...uh...yeeeah...I may have info-dumped about, very specifically, the retreat from Gallipoli circa WWI to a friend last night for like...an hour until he had to go to bed... :blobcatbreadpeek: @Elizafox "no thoughts head empty" *proceeds to create software that will change the entire world* @Elizafox wtf why do I keep getting ATTACKED today did you coordinate this @terrafiedkestrel @rooster @Elizafox @terrafiedkestrel meanwhile I’m sitting over here with my PhD focused on programming language design (with some of that indeed being type theoretic) like :blobcatsweats: no but seriously my head is empty just let me have this :blobcatnotlikethis: @rooster @terrafiedkestrel and now my wife is giving me headpats because she baited me by asking me what type theory was after I sent her that over Discord and I fell for it :blobcatnotlikethis:   @Elizafox no thoughts head empty is the goal, not the reality :ablobcatdundundun: I can give you say 8 hours on intuitionist type theory. But yeah empty head (bound to be after 8 hours of that) @Elizafox look I have to think all day @ work I don't want to come home and do it too 😤    |
@Elizafox No thoughts head empty is a wish at best