No, it's not in yet. Turning it on won't break anything.

Whenever I used it, it tends to be extremely racy, filled with the most generic exception handling. Great for your sloppy scripts though. Not for anything serious though.

Idk what it means, but ig I'm team bouba?

I'm afraid idk what this means.

Does anyone have any advice for PhD applications? Particularly on what helps?

No, this will autism max. It's essentially just act interested and remember tidbits about people so you can manipulate them, weird people store that data in a crm.

Android has a reduce blur setting in the accessibility section. Oh my fucking god, I was suffering with this blurry ass ui.

but I never touched lean, and know nothing about it. But agda is great.

I love them a lot, having the ability to have an compile time invariant amounting to "is sorted" is awesome.

It can still be useful, but I don't see what the argument is about if nobody cares about how it's produced.

Goes both ways though. prescribing capabilities based on output is like a dog confusing a speaker producing the sound of it's owner for the owner itself.

Now that I have time, I want to pick up the emily rihel book on category theory again.

They are essentially different languages, id say German and dutch is about the distance you can expect for some dialects.

Moroccans*

I don't understand morrocans, Algerians, or anyone past Egypt.

I just use newpipe

I did one whole clean push up (this is my limit)

I want to do start doing callisthenics again. The soreness after the workout is just so annoying though, I can't focus or do anything during that period. Not sure if it gets easier.

Restaurants that use QR codes and refuse to take your order, why? Humiliation ritual?

I personally don't like how he brow beats and acts like he's the second coming of christ, all while his content boils down to "framework of the week". Most of the talented people I've met have been extremely down to earth, which is why I get a knee-jerk reaction.