Optics are so great! Like most things in Haskell so far, they are actually easier to learn than I expected

Was going to post this on the bird site, but there are so many things happening there that I feel a bit out-of place to post math stuff... here probably fewer people I know will see this though

Show thread

Since I took measure theory last semester I've been wondering: could there be a translation-invariant measure on the real line that is not reflection-invariant? (it would not be sigma-finite of course). Couldn't find an answer on the web 🧐

Lucas boosted

i don't actually think there'll be any mass exodus fram twitter or that musk will substantially change anything in the short term, i just think mastodon is neat & held back only by the lack of users

Lucas's choices:

Mathstodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!