🇨🇦 Joey Eremondi
@joey@mathstodon.xyz
PL Researcher. Assistant Professor at the University of Regina. 🇨🇦 Currently recruiting grad students - see https:// eremondi.com/post/recruiting-g rad-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.
mathstodon.xyz
🇨🇦 Joey Eremondi
@joey@mathstodon.xyz
PL Researcher. Assistant Professor at the University of Regina. 🇨🇦 Currently recruiting grad students - see https:// eremondi.com/post/recruiting-g rad-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.
mathstodon.xyz
@joey@mathstodon.xyz
·
Apr 08, 2026
@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.
View full thread on mathstodon.xyz
2
2
0
Conversation (2)
Showing 0 of 2 cached locally.
Syncing comments from the remote thread. 2 more replies are still loading.
Loading comments...