David Abram 🐊
@devabram
I like to build stuff, so I build stuff.
Type Theory Forall
@ttforall
Making Type Theory, Programming Languages and Formal methods more accessible! Check our merch store! store.typetheoryforall.com/
Samuel Leathers
@therealdisasm
Orthodox Christian, Cardano Product Committee Chair , Cardano (ADA) RATS pool co-owner and constitutional conservative
effectfully
@effectfully
Haskell, compilers, mental decay
Gachara
@sonder_gachara
• Databases • Datafusion • Real Estate • Apache Arrow °°° previously @sonder_lad °°°
piq and 69 others
@piq9117
🇺🇸 • haskell • CEO @htmx_org • neovim extremist • nix can fix you • guns
LitFill, the Sanct
@razzy_ar
Haskell is love, haskell is life. there is only one true god
jose romero
@scalajos
Functional Programming brings some sanity in this quick&dirty IT world. Scala (ZIO, KYO), Rust. Constantly learning. Fighting entropy. @fpjos@fosstodon
Renzo
@renzocarbonara
Author of @atopbook, building software with types and functional programming. Unfollow me for less wisdom.
Jesse Warden
@jesterxl
Software, Amateur Powerlifter & Parkourist, married to @UXBrandy YouTube Channel piped.video/user/jesterxl
andrii
@ynorsk
Haskell and Vegemite
Load more