Ifaz @ifazk@librem.one

Wait does the LOC here stand for lines of code or lines of Coq?

Really don't know if I have been working this weekend, or just having fun.

Why are emojis so awkward on iOS... fuuuuu

Update, it was a bug!

Is this a bug or is the pointer arithmetic correct? Guess we’ll never know.

Submitted the camera ready version of my paper to Oopsla! So glad to be finally done!

The worst part about suddenly learning that you need to become an expert in something is not knowing where to start.

All these advanced type systems and here I am using an untyped language called C.

Some days, especially Covid days, I just don’t want to answer student emails...

@ehashman Sometimes it's academia and open source at the same time. =(

Labmate: Classic paper from '98.
Me: Cutting-edge research from not too long ago.

Took me forever to decypher this piece of Java code because they were adding to the back of the list. Who does that?

@ionathanch Didn't the vast majority of working mathematicians settle on naive set theory?

Writing an academic blog post from a very personal perspective. Super stressed because I am revisiting one of the most emotionally difficult times from my life.

@ionathanch That’s how you shitpost about rejection. =)

Sometimes I get annoyed at the STE part of STEM when they act like as if the M part exists for their benefit. Just go away please, you have not experienced enough Math to even have an opinion.

This crush just keeps getting worse and worse... but in a good way 😝

@ionathanch that’s two too many 😝

The volatile keyword is kinda weird. At some point we decided that letting optimization show up in the semantics of the language was a good idea...

@ionathanch As someone who did do a CS+math major, I constantly feel like I did them in the wrong continent. I don’t think North American is a good place to be for type theory.