lead developer at @statebox ⭐ functional programming - type theory - category theory - abstract algebra - processes - computation
- Amsterdam
- http://www.shinsetsu.nl
Musa Al-hassy
alhassy
Engineering Manager & JS Team Lead ;; Programming language enthusiast ;; Emacs & Org-mode Promoter ;; Computing Science PhD ;; Previously a Sessional Lecturer
Canada
AlgebraicJulia
AlgebraicJulia
An Ecosystem of Software Based on Generalized Algebra and Category Theory in Julia
DFINITY
dfinity
The Internet Computer aims to reinvent the internet as a computer to host secure software and a new breed of open internet services.
Switzerland
Timothy
tecosaur
Org-mode devotee, and ardent fan of FLOSS. Gradually moving to self-hosted Forgejo.
Adam Porter
alphapapa
Developer with experience in editors (Emacs/Org), Python, Linux, Web front- and back-ends, documentation, testing/QA, support, etc.
USA
Tim Steenvoorden
timjs
Assistant professor in programming language design, functional programming, and type systems
Open University of the Netherlands Nijmegen, Netherlands
Christopher Olah
colah
I want to understand things clearly and explain them well. Interpretability at Anthropic. Formerly OpenAI, Google Brain.
Anthropic San Francisco
Victor Taelin
VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.
Higher Order Company Rio de Janeiro, Brazil
Christoph Hegemann
kritzcreek
Passionate typed functional programmer. Member of the church of Emacs.
Germany
PreviousNext