Lucas @lucasvreis@mathstodon.xyz
Brazilian undergrad in mathematics at Unicamp. Likes ergodic theory, Haskell, emacs, and cooking 🥦🥘.
On the todo list: my mastodon #introduction post.
he/him
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
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 🧐
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
Brazilian undergrad in mathematics at Unicamp. Likes ergodic theory, Haskell, emacs, and cooking 🥦🥘.
On the todo list: my mastodon #introduction post.
he/him
Lucas's choices:
