//
sign in
Profile
by @danabra.mov
Profile
by @dansshadow.bsky.social
AviHandle
by @danabra.mov
AviHandle
by @dansshadow.bsky.social
ProfileHeader
by @dansshadow.bsky.social
ProfileHeader
by @danabra.mov
ProfileHeaderAlt
by @jakesimonds.com
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...
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q2 2026) Newsletter: https://buttondown.email/hillelwayne/
Hillel









Loading...
Just two days until April Cools! If you want to write a quick thing just for fun, there's still time =) www.aprilcools.club
Ironclad + Regent = Boys Night Silent + Necrobinder = Girls Night Someone help me name the other eight combos
Might be too sick to go to No Kings. Someone who wasn't planning on going please go so I don't feel so bad
Update went anyway and just stayed far away from people
The canonical dad joke in (American?) English is "Hi hungry I'm dad." What's the canonical dad joke in other languages?
(This also means the newsletter won't be out until Wednesday because it's going to be a post announcement newsletter)