But it would've been too much of a hassle to postpone my office hours when the assignment was announced to be postponed
(or okay. I forgot)

Show thread

Office hours the morning after an assignment is due + office hours immediately after a lecture = no-one at office hours

It's so easy to accidentally miss events when they're all online

One day I'm maybe/probably going to hold a proper in-class lecture in front of physical people
I'm nervous on behalf of my future self

Show thread

I am always nervous before leading a tutorial even if I know at most, like, 3 people will come and I know I know all the material
I wonder if it ever goes away

I'm going to have to do research about closures just to justify the pun

Show thread

You may notice that the Mastodon badge's icon is not Mastodon's logo but rather scholar.social's logo
I used Shields.io for these with img.shields.io/badge/mastodon%20-%23DBA7F8?style=for-the-badge&logo=[base64 encoding of icon]

Show thread

I may have spent the evening adding cute little badges to my website instead of doing actual work

But forreal don't do that with a script (if that's even possible) because they might catch on if they detect a lot of really quick suspicious activity

Show thread

Overleaf has this promotion here where if you get a number of people to sign up with your referral link here overleaf.com/user/bonus then you get more premium features the more people sign up. There appears to be a bug that you definitely should not exploit because it is morally wrong where if you sign up for an account using an email, immediately delete the account, then sign up using that same email again, that counts as two people. So don't do that over and over again ten times

Redex 

I was a fool for thinking I could easily implement anything case-related in Redex

Show thread

Redex 

(where ((_ ... (c : σ_c) _ ...) ...) (splay Γ_d (c ...))) ;; All branches are valid

(where ((_ ... c_d _ ...) ...) (splay (c ...) Γ_d)) ;; All branches are covered

cursed pattern cursed pattern
I'm not going to understand what I did tomorrow

Show thread

Redex 

This case is broken bc I can have missing branches and I can't have no branches at all for something like Bottom
Generally I am not enjoying how case works

Show thread
Show older
Scholar Social

Scholar Social is a microblogging platform for researchers, grad students, librarians, archivists, undergrads, academically inclined high schoolers, educators of all levels, journal editors, research assistants, professors, administrators—anyone involved in academia who is willing to engage with others respectfully.