Skip to content
View glyh's full-sized avatar
🐫
Made with OCaml
🐫
Made with OCaml
33 followers · 32 following
  • o1Labs
  • 15:44 (UTC +08:00)

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: StarstruckAchievement: Galaxy BrainAchievement: Quickdraw

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: StarstruckAchievement: Galaxy BrainAchievement: Quickdraw

Organizations

@o1-labs @MinaProtocol

Block or report glyh

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@ymekuria
Yoni ymekuria
@cjjdespres
Christian Despres cjjdespres
Devotee of mathematics and functional programming. (Former personal account was @despresc).
@martyall
Martin Allen martyall

@o1-labs

@dannywillems
Danny Willems dannywillems
If we use « it is not rocket science » to describe something easy, what if you are a rocket scientist and find your job easy?

LeakIX Mostly Belgium, but often moving

@samsa1
Samuel Vivien samsa1
PL PhD student currently working on adding modular implicits to the OCaml compiler

INRIA Paris - France

@Geometer1729
Brian Kuhns Geometer1729

O1labs

@querolita
Anaïs Querol querolita
@Trivo25
Florian Kluge Trivo25
Engineering team lead. NaN. Into cryptography, distributed systems and verifiable computation.

@o1-labs Bangkok || Dresden

@hattyhattington17
hatty hattington hattyhattington17
@sebastiencs
Sebastien Chapuis sebastiencs

Paris, France

@svv232
Sai Vegasena svv232
NYUSEC

NYC

@amc-ie
Alan amc-ie
@volhovm
Misha Volkhov volhovm
ZK engineer at o1Labs, researcher, PhD in cryptography. Org-mode and NixOS fan, philosophy enjoyer, hyperactive fix-it-or-forget-it-what-was-I-talking-about?

Edinburgh

@dkijania
Dariusz Kijania dkijania

Cracow

@mrmr1993
Matthew Ryan mrmr1993
@georgeee
George Agapov georgeee
Computer science, functional programming, formal verification, finance, literature, philosophy, classical music

@MinaProtocol Andorra

@bkase
Brandon Kase bkase
I like types and making things Claude code all the things

@o1-labs Where you least expect

@o1-labs
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

@hehelego
hehelego hehelego
stay focused,be motivated. It is either meaningful or inspiring otherwise just a waste of time.
@caoster
Suting Chen caoster

Northwestern University Evanston

@feeshy
feeshy feeshy
@songfu1983
Fu Song songfu1983
Fu Song, research professor at State Key Laboratory of Computer Science, Institute of Software Chinese Academy of Sciences

State Key Laboratory of Computer Science, Institute of Software Chinese Academy of Sciences China

@RainAutumnZero
RainAutumnZero
@williamboman
William Boman williamboman
Interested in APIs & developer productivity, tooling, and experiences.

Stockholm, Sweden

@scheme-requests-for-implementation
SRFI scheme-requests-for-implementation
Scheme Requests for Implementation
@HigherOrderCO
HigherOrderCO HigherOrderCO
we are getting to the very core of what makes computers capable of reasoning.
@schasins
schasins
Computer Science, UC Berkeley. Programming languages, program synthesis, human-computer interaction.
@ddvk
ddvk ddvk
an average nerd

Zurich

@tpope
Tim Pope tpope
Vim plugin artist

Brooklyn, NY

@Olical
Oliver Caldwell Olical
Conjuring up tools that help you interact with your software.

@GowerStreet London, England

@borkdude
Michiel Borkent borkdude
Clojure developer, author and maintainer of clj-kondo, babashka, SCI and squint.

Amersfoort

@richhickey
Rich Hickey richhickey

NY