Distillations is a blog of personal and technical writing. Outside this corner, I’m RIFF’s CTO and cofounder and previously worked on engineering teams at Peloton, Tumblr, Imgur, Twitter, and Microsoft.
First time here? Entries with an asterisk are some of my favorites.
Engineering and mathematics
Personal
Short form
Technical diary
- Swimming out past intuition
- Why folks use <> for same-type composition
- Pausing with Binding’s dynamic member subscript
- Stress testing variadic zip
- Why “sink?”
- Profunctors generalize relations
- All metric spaces are Lawvere metric spaces
- Easing AnyCancellable storage
- Weak assignment in Combine
- There’s sliced bread, and then Result.publisher
- Postfix type erasure
- Parity and arity
- Contrasting isomorphisms, equivalencies, and adjunctions
- Why optics?
- TIL about Publishers.MergeMany.init
- Naturality condition
- Why applicatives are monoidal
- Type erasure and forgetful functors
- Co-, contra-, and invariance
- What makes natural transformations, natural?
- “Oh, the morphisms you’ll see!”
- Getting an intuition around why we can call contramap a pullback
- (un)zurry
- ObservableType.do or .subscribe (Publisher.handleEvents or .sink)?