🤔
Building castles of abstraction
- Warsaw, PL
-
18:49
(UTC +02:00) - https://www.linkedin.com/in/mgalazyn
Guillaume Claret
clarus
Working at Formal Land to formally verify mainstream programs using the proof system Coq.
Formal Land Paris
Harry Pray IV
harryprayiv
Haskell, Nix, Plutus, Purescript;
functional programming enthusiast
Cambridge, MA
日比野 啓 (Kei Hibino)
khibino
Working Haskell Programmer
.
The author of Haskell Relational Record,
Project Site https://khibino.github.io/haskell-relational-record/
Tokyo, Japan
KevinHock
0.01x Engineer. The (Myspace) Tom of GitHub. 11% of pre-tax income to effective altruism charities.
@grammarly (Formerly @pinterest, @Yelp) I love San Francisco