lua
I like maths (ergodic theory), nature, literature and people. Sometimes found fiddling with Emacs, Haskell or Lean. I am brazilian and have #T1D.
webplace: https://lucasvreis.github.io
BookWyrm: https://velhaestante.com.br/user/lvr
stuff: https://github.com/lucasvreis
webplace: https://lucasvreis.github.io
BookWyrm: https://velhaestante.com.br/user/lvr
stuff: https://github.com/lucasvreis
Public Key
npub1cse4hysx69xv5hunhcckk264cv2s808vtq872hn7ccjx7e8tf4eq74wlp0NIP-05 Address
lucasvreis_at_mathstodon.xyz@momostr.pinkProfile Code
nprofile1qqsvgv6mjgrdznx2t7fmuvtt9d2ux9grhnk9srl9telvvfr0vn456us5czvqrAuthor Public Key
npub1cse4hysx69xv5hunhcckk264cv2s808vtq872hn7ccjx7e8tf4eq74wlp0