I'm heading for a Rust meetup. Maybe should have picked a different t-shirt.
read image description
ALT
13
10
113
Conversation
dependent types in rust when
1
4
Hopefully one day, but that’s not my department… I just want to learn more about it.
1
2
lifetimes in idris when
2
2
Linear dependent types for the masses is the beach I’m trying to make a sand castle on next half year. Need to mix some concrete brb.
1
1
Plz grab some for me on your way… and some rebar!
2
I’m taking a sick day / working from home so I can spend all day sharing. It’s also oss stuff that’s part of day job :). Still super WIP
1
Ooh nice, I really need to get an IRC bouncer up and running so I can get back into that world. Spoiled by Slack. Alas I'm about to 💤
1
A lot of sprinkles of stuff can be found on my gh. But holler sometime
1
Yeah. Though let’s irc chat before yah dive in. Much still stuck in the noggin.
Don’t assume content atm :)
1
Heh, know the feeling. I'm on the, "keep my OSS private until EOY" thing for my work project!
1
Show replies