Ifaz @ifazk@librem.one

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”

@ionathanch So many that sets aren't large enough to contain all of them. You need classes.

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?

@ionathanch Are you reading notes on the curry Howard correspondence?

To whoever wrote “one of the best Coq artifacts I’ve ever seen” on their review: You just made my day!

Have not used my switch for a while. Don’t remember what I was doing. Vaguely remember that I was ev training a Kubfu.

Netflix and chill, but the chilling is halal!

Listening to a random Justin Bieber playlist and it is a little surprising when suddenly there is a higher pitched pre-puberty Justin Bieber song. It would have been even weirder if the playlist had any of his French stuff.

Could barely walk afterwards. How the hell do people run marathons?

Finished my first 12km run! Slowly building up my endurance.

Fighting with LaTeX spacing is the worst part of paper writing.

@ionathanch There are technical issues behind the HCI issues though. Equality is too hard to work with in proof assistants. It's too hard to convince proof assistants that things are equal (as opposed to convincing humans in paper proofs). I'm not sure we can overcome this with HCI improvements.

I miss Butterfree and Pidgeot 😭😭😭

The Butterfree goodbye episode is sadder than Mewtwo strikes back because Ash has plot protection, but his Pokémon can leave and never come back.

Linkin Park’s Reanimation ❤️❤️❤️
Brings back so many feelings! Feel like a teen again!

Craving instant ramen but gotta be on a calorie deficit. Anything I eat rn is going to show up on the scale tomorrow. Really don’t know how some people can be so positive about their bodies. I still feel like shit about mine, even after real measurable progress.

I really wish they would get rid of the lambda calculus section in CMPUT 325. It feels very “let’s cover all these things because the calendar says”. If the course just said FP is good because functions compose, you can do control flow with functions, so you get composable control flow, it would be more than enough.