Alexandre Garcia de Oliveira
romefeller
Seeking knowledge on Blockchain, Formal verification, Proof Assistants, Haskell, Type Theory, HoTT, Agda, Rust, Coq, Category Theory, and Isabelle
Formal Land - Romefeller - Fatec Rubens Lara
Lucian
lucianchauvin
Undergraduate in pure mathematics and computer science. Meow :3
Texas A&M University Austin/College Station
Tomáš Glozar
lenticularis39
I'm Software Enginner at Red Hat Enterprise Linux working on real-time Linux kernel. I have a master's degree from Faculty of Informatics, Masaryk University.
Red Hat (@RedHatOfficial) Brno
Thanakrit (New) Anutrakulchai
Thanakrit-Anutrakulchai
In Thailand, we have a tradition of parents giving children a short nickname in addition to their longer first name. Mine is New, please call me that.
Gabriel Saldanha
DisistiNao
Science Computer Student at UFOP
Computer Network Technician at CEFET-MG
Ufop Ouro Preto, MG
Monocled
PersonForSure
Self studying mathematics, λ (A : Type) → λ (f : A → A) → λ (x : A) → f^15(x) years old
>_
Victor Taelin
VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.
Higher Order Company Rio de Janeiro, Brazil
Ivan Kozik
ivan
See also @ludios & @ludiosarchive. My personal email comes only from ivan@ludios.org.
ZHU Siyuan
floatshadow
programming language, compiler;
participated in ASC'22, ISC'23
Hangzhou, China
Tushar Jain
tushar994
Just someone who loves to build things with code and wants to make change
PreviousNext