writings on math, logic, philosophy and art

title: A monad layout: microblog category: microblog tags: programming haskell — A monad is when you know how to convert $M (M a)$ to $M a$, but not $M a$ to $a$.

Subscribe for updates

Powered by Buttondown.

Support the site

Epigrams

Misc short thoughts.

Books

Category Theory Illustrated

This is a little book about Category Theory that I started writing.

Notes on Time and Causality

A collection of philosophical essays on the above topics.

Humane Technology

A collection of philosophical essays about technology, sustainability and capitalism.

The notes of X

My first novel.

Support me

Patreon

Ko-fi

Contacts

email

Mastodon

twitter

topics

This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.