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.

I get ragebaited by someone who has ragebait in their name

I'm a student at MIT OCW

Just going to send this shit in under warranty, clicky chassis and a squeaky space bar.

My laptop space bar started squeaking. It sure is great that it's attached to the chassis, and there are no instructions to remove the keycap without damaging it.