Xavier Lambein
xlambein
Developer & artist from Belgium.
I'm also on Codeberg: https://codeberg.org/xlambein
@gigs Brussels, Belgium
Christoph Braun
uvdsl
Linked Data, Semantic Data Ecosystems, and Data Sovereignty
Karlsruhe Institute of Technology (KIT)
Christa Jenkins
cwjnkins
Postdoctoral researcher at Stony Brook University, working on programming language theory and security. Ph.D from University of Iowa.
Stony Brook University
Jan Schulte
sigma-andex
deep learning, functional programming. rust, typescript, python, purescript, haskell, scala.
🌍🌳🐟⛵️🎨🏔
Betalyra Sociedade Unipessoal Lda. Portugal
o1Labs
o1-labs
We're o1Labs. Catalyzing a new generation of zk applications. Incubators of Mina Protocol. Creators of kimchi and o1js (fka SnarkyJS)
San Francisco
HigherOrderCO
HigherOrderCO
we are getting to the very core of what makes computers capable of reasoning.
Base
base-org
Base is bringing the world onchain to create a global economy that increases innovation, creativity, and freedom. Built on the Superchain.
Kazuhiko Sakaguchi
pi8027
Postdoc in the Plume team at LIP, CNRS, and the ENS de Lyon | Interests: interactive theorem proving, formalization of mathematics, and proof by reflection
Lyon, France
Neurosity
neurosity
Neurosity is reimagining brain-computer interfaces and neuro-powered applications.
United States of America
Victor Taelin
VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.
Higher Order Company Rio de Janeiro, Brazil
PreviousNext