lemunozm
Passionate about functional programming and dependent types. Rust & Haskell ❤️. Living in the terminal with Tmux + Neovim 💻 . Currently learning Lean4
centrifuge.ioMadrid
lemunozm's Followers
- al3mart@r0gue-io
- AlexsanderDamacenoGoiânia, Brazil
- AnarchistHoneybunShiv Nadar University, Greater Noida
- binbardGamique Studios
- blockbuilder97Coinbase
- coolslutguy420
- danteGPTLeading Indicator
- JakubStiburekPrague
- justingoldbergAtlanta, Georgia, USA
- kehoecj@Boeing
- KenForever1World Traveling
- kevin-valerio@srlabs
- kevinbader@AWS
- ljluestc
- manuellanda
- Matt-DeacalionBudapest, Hungary
- MGlolenstine
- miaomiao1992SAMC
- miqumi
- MoskalykA
- newerajwspencer
- NewWorldPartner
- NikoStapczynski
- onion108CNT&T
- owenlamontOptiGrid
- Phosphorus-M@ForoUNO
- PlumpMathhome~
- RandyMcMillan@bitcoincore-dev
- senthil28
- songzhiShanghai China
- TahinliTürkiye
- tomiwaAdeyGum Technologies
- tsingsonone man company
- werifuPurdue University
- wicky-andrian@rails-id - @GitIndonesia
- ZylatisMelbourne