Felipe Bañados Schwerter @fbanados@types.pl
- Pronouns
- He/him
He/him
re: NbE for Sized Dependent Types
The reason size irrelevance seems like a hack to me is because I can't intuitively tell when I should be using relevant sizes and when I should be using irrelevant ones
Maybe once I understand it'll no longer seem like a hack
It was probably LexisNexis. Or Flash courses.
I made a twitter thread. No idea what kind of magic keyword I put but got some weird robo-likes on it
Do you use a Mac and need plenty of RAM? All new apple chip Macs have a max of 16gb. 😭
How many toots do I need to become a professional tooter?
Why aren't there DOIs for music?
I do not like walled gardens. That's why I've joined another one.
Toot toot, sings the joyful train down south
Will I just keep asking rhetorical questions and thus begin a new persona in a new social network?
What is the etiquette here? What are the expectations?
How does this work I can’t even
- Pronouns
- He/him
He/him
