It looks like you're new here. If you want to get involved, click one of these buttons!
Hi all, I'm a software engineer from SF, USA. I have been dabbling in functional programming in last few years. I enjoy how functional programming makes it easy to reason about program correctness and to compose programs. But, every now and then, I would come across a category theory term that I don't understand. So I'd like to learn the underpinnings and intuition behind them. I'm also interested in climate change, and I'm happy that I found this blog. Thanks!