Distillations is a collection of personal and technical writing. Or, if we’re being candid — and we are — , a homesick mathematician who also writes about feelings.
First time here? Entries with an asterisk are some of my favorites.
Engineering and mathematics
Short form
Technical diary
- 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)?