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...

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?

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.

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 😝

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...

Ok boomers, I take your “I walked 5 miles to school every day” and raise you “I’m fit enough to run without stopping for two hours”

Hmmm. Having to do a lot more office hours since students don’t have access to their peers.

I just want to sit here, high on happy chemicals and not worry about work.

Ran 15k today... Slowly working my way up to half marathon. Hope I make it before it starts to snow.

Did I just wake up super early in the morning out of sheer happiness?