Felipe Bañados Schwerter @fbanados@types.pl
- Pronouns
- He/him
- Future location
- ᐊᒥᐢᑿᒌᐚᐢᑲᐦᐃᑲᐣ
Sometimes I do PL memes. Sometimes I forget I'm in my 30s. Gradual typing etc. Splabmate.
Joined Nov 2020
Did you know that you can buy official heinz ketchup with personalized messages on the bottle?
Lol just tried brew install toot
Shocked at some news from my home country. Sad that some have so much anger.
oh it's because I have to write that other thing that I'm too tired to write I'm procrastinating
it's also on a mac. don't ask why just stop me
why am I writing X11 FFI calls from DrRacket I didn't need this but now it's an imperative for me plz send help
I might have followed everyone on this instance??? Not sure, but I tried
I haven't been here on a while sorry who's around helloooooo
Toot toot!!!
Felipe Bañados Schwerter
boosted
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?
- Pronouns
- He/him
- Future location
- ᐊᒥᐢᑿᒌᐚᐢᑲᐦᐃᑲᐣ
Sometimes I do PL memes. Sometimes I forget I'm in my 30s. Gradual typing etc. Splabmate.
Joined Nov 2020
