//
sign in
Profile
by @danabra.mov
Profile
by @dansshadow.bsky.social
Profile
by @jimpick.com
AviHandle
by @danabra.mov
AviHandle
by @dansshadow.bsky.social
AviHandle
by @katherine.computer
EventsList
by @katherine.computer
ProfileHeader
by @dansshadow.bsky.social
ProfileHeader
by @danabra.mov
ProfileMedia
by @danabra.mov
ProfilePlays
by @danabra.mov
ProfilePosts
by @danabra.mov
ProfilePosts
by @dansshadow.bsky.social
ProfileReplies
by @danabra.mov
Record
by @atsui.org
Skircle
by @danabra.mov
StreamPlacePlaylist
by @katherine.computer
+ new component
Profile
Loading...
Loading...
Not having to annotate the type of every subexpression considered type inference
6h
@jack.quartztz.com
www.youtube.com/watch?v=BsfX...
Handwritten appendix?
I dont want to tex the proofs
It must feel nice working on your type theory instead of making other people bad decisions work
It is time for new foundations
I hate making posters I hate making posters I hate making posters I hate making posters I hate making posters I hate making posters