🤔
...
Machine learning. Functional programming. Cryptocurrencies and Number theory.
- Ardmore, PA
- http://struktured.io
- @struktured
Tim McGilchrist
tmcgilchrist
OCaml and Haskell connoisseur. Principal software engineer at @tarides. Compilers, runtimes, garbage collection, and general systems hackery.
@tarides Sydney, Australia
Holochain
holochain
Scalable framework for P2P distributed apps. For all those projects you wish you could take from centralized web servers but you know can't scale on blockchain.
Global
Cyrus Omar
cyrus-
designing Hazel, a live functional programming environment with typed holes ⁙ Assistant Professor @ Michigan leading FP Lab ⁙ CMU PhD ⁙ former neurobiologist
University of Michigan Ann Arbor, MI
Pierre Vandenhove
pvdhove
Research associate ("Premier Assistant") in CS at Université de Mons.
Université de Mons Belgium
Guillaume Hennequin
ghennequin
Professor of Computational Neuroscience
University of Cambridge, UK Cambridge, UK
Xavier Leroy
xavierleroy
Professor of software sciences at Collège de France, Paris. Member of Inria research team Cambium. Interested in all scientific aspects of computer programming
Collège de France and Inria Paris, France
PreviousNext