Would I be crazy for including this review in my Teaching Dossier as evidence that my lectures actually provide value to students?
Remote
🇨🇦 Joey Eremondi
@joey@mathstodon.xyz
mastodon 4.7.2PL Researcher. Assistant Professor at the University of Regina. 🇨🇦
Currently recruiting grad students - see https://eremondi.com/post/recruiting-grad-2024/
Formerly a Newton International Fellow at the University of Edinburgh with Ohad Kammar, and before that, PhD at UBC with Ron Garcia.
Broadly interested in making it easier to prove software correct with dependent types. Projects include dependent pattern matching, gradual dependent types, and error message generation.
751 Followers
791 Following
8 Posts
Joined July 22, 2023
Homepage:
GitHub:
Google Scholar:
Replying to
@TeaKayB I'm sure it's not the "best" but Kobo runs on non-locked down Linux. So if you're looking for something with mainstream support that supports some hacking, it might be an option.
Replying to
@MartinEscardo @pounce Yeah, with Emacs, Yabai, Sketchybar, Karabiner Elements, Hammerspoon/Spacehammer, Homebrew and Alacritty, I can basically forget that I'm using a mac. But it can print and run powerpoint and connect to my Uni's software and all that stuff that I no longer have time to fight with on Linux, and damn is the battery life good.
Replying to
@wilbowma@types.pl Do you know if there's a way for authors to check their own summaries without subscribing? I'm certainly not paying for access and I haven't figured out the right combination of VPN and login voodoo to figure out if I have institutional access.
Replying to
@NathanielB Would this help at all for e.g. being able to rewrite by record fields?
For example, I really want a CwF interface (or even just a substitution interface) that can automatically simplify by the equations, but I want to write it once and have it work for all instantiations.
I haven't yet read the paper, so this could be totally orthogonal to what it does. But I'm hopeful that at least thinking about scope and writing could help with records
Replying to
@cbaberle I mean, making the joke a self-fulfilling prophecy...
He's not a nepo baby because nepo babys are the result of influence/favour from the famous/rich parent. Which didn't happen because they were dead.
He /is/ definitely a trust fund baby.
Replying to
@secretasianman I mean, they posted this before grades were released, the day of the exam, so I'm assuming they just put in a dummy value.
Replying to
@sundogplanets@mastodon.social How do you do this? Do you do email or paper mail?
I've been meaning to do this for a while but don't really know how to get into it