▲ 33 r/programmingcirclejerkcoyoneda lemma has been helping me out (in prod - at FAANG even!) for over a decadenews.ycombinator.com u/Jumpy-Locksmith6812 — 5 days ago