▲ 2 pointsDoing general vibe math in Programming Language Theorytwitter.comby tosh·21d ago·0 comments·view on hn ↗