Royal Holloway, University of London United Kingdom
@Morgan-Stanley London, UK
Lambda Tech Belgium
Topos Institute
Ardoq Oslo, Norway
United States
@INRIA Bordeaux, France
@abnormal-security San Francisco
wasp-lang.dev Croatia
@NillionNetwork Madrid
{{ message }}
Felix J H Bradley
felixjhb
Mathematician, writer, roleplayer, community manager. Type theorist; in particular, I'm currently working on bounded quantification and subtyping.
Damask Talary-Brown
damasktb
C++ dev (EAI) @Morgan-Stanley &
Instructor @glblcd.
Always willing to pick a fight in support of Python.
Luc Tielen
luc-tielen
Interested in functional programming, compilers and logic.
Mainly working on Eclair, a high performance Datalog that compiles to LLVM.
Kris Brown
kris-brown
Applied Category Theory research at the Topos Institute
Stanford PhD 2021
Typst Community
typst-community
A community-driven organization for sustaining software related to the Typst ecosystem.
Sophie Bosio
SophieBosio
Software engineer at Ardoq and Emacs enthusiast λ Haskell & Clojure
Colin McLear
mclearc
Associate Professor & Open Source Developer | Advancing Critical Thinking & Responsible Innovation in Education
Nicolas P. Rougier
rougier
Researcher in computational and cognitive neuroscience supporting open source, open access and open science.
Jethro Kuan
jethrokuan
Author of Org-roam.
previously:
bytedance, twitter, carousell
Martin Šošić
Martinsos
Creator of Wasp and Edlib.
Enthusiastic about web dev, Linux, Emacs, Clean code, functional programming (Haskell), startups, building a product.
Ilya Baryshnikov
zlonast
Lover of formal specifications • Compiler developer • Linker enjoyer
José Cabrero-Holgueras
jcabrero
Cryptography + AI.
Development, Research, DevOps and pretty much everything in computing.
@NillionNetwork
PreviousNext