Skip to content
View joom's full-sized avatar
388 followers · 439 following

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Highlights

  • Pro

Organizations

@bloomberg @CertiCoq

Block or report joom

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
@e-hengirmen
Ersel Hengirmen e-hengirmen
Computer engineering student at Middle East Technical University

METU Ankara/Turkey

@digama0
Mario Carneiro digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.

Chalmers University of Technology Gothenburg, Sweden

@yannickmoy
yannickmoy
@codyroux
Cody Roux codyroux
@markusdemedeiros
Markus de Medeiros markusdemedeiros
PhD student in formal methods at NYU under the supervision of Joseph Tassarotti
@alpaylan
Alperen Keleş alpaylan
I'm Alperen. I have many interests. I am a METU CENG graduate, currently a fifth year Ph.D. student at UMD CS advised by Leonidas Lampropoulos.

University of Maryland, College Park Maryland, United States

@Boarders
Callan McGill Boarders
@mkhan45
Mikail Khan mkhan45
CMU S3D Phd Student, Purdue '24
@oulgen
Oguz Ulgen oulgen
I'm a software engineer at Meta where I work on the Hack programming language, PyTorch and Helion.

@facebook Menlo Park, CA

@erenyenigul
Eren Yenigül erenyenigul

Koç University Istanbul,Turkey

@gavinleroy
Gavin Gray gavinleroy

Brown University

@joscoh
Josh Cohen joscoh
Applied Scientist at AWS

Amazon Web Services

@mariusschulz
Marius Schulz mariusschulz
Software Engineer at Threads. Passionate about all things Web!

@facebook London, England

@estebank
Esteban Kuber estebank
We spent decades trying to invent a sufficiently smart compiler when we should have been inventing one sufficiently empathetic.

San Francisco, CA

@pokey
Pokey Rule pokey
Freelance software engineer; creator of Cursorless

Freelance London, United Kingdom

@YoshikiTakashima
Yoshiki Takashima YoshikiTakashima
PhD student @ Carnegie Mellon

Carnegie Mellon CyLab Pittsburgh, PA

@Wilfred
Wilfred Hughes Wilfred
PL enthusiast, Emacs addict, and an advocate for human factors.

London, UK

@evertedsphere
Soham Chowdhury evertedsphere

Paris

@vilterp
Pete Vilter vilterp

Pearl Street Technologies Pittsburgh, PA

@SeriousBug
Kaan Barmore-Genc SeriousBug
Software engineer, computer scientist, full stack developer, Linux user, home cook, and dog dad. I love programming languages and strong type systems.

Chicago, IL

@lthms
Thomas Letan lthms
I’ve been wrong before.

Nomadic Labs Paris

@elefthei
Lef Ioannidis elefthei
Making AI write proofs about programs @ MSR

University of Pennsylvania Philadelphia, PA

@firatciftci
Firat Ciftci firatciftci
Software engineer for The Forum for Digital Culture at the University of Chicago, focusing on front-end web development and digital humanities

@uchicago-digitalculture-webdev

@algernon
Gergely Nagy algernon
A tiny mouse, a hacker.
@namin
Nada Amin namin
Assistant Professor of Computer Science

Harvard University Cambridge, MA

@isamert
İsa Mert Gürbüz isamert

Trendyol Amsterdam

@ralsei
Tulip Amalie ralsei

Philadelphia, PA

@isidentical
Batuhan Taskaya isidentical
@FAL, @psf fellow, @python core developer.

@fal-ai San Francisco

@axelfeldmann
Axel Feldmann axelfeldmann
@buggymcbugfix
Vilem Liepelt buggymcbugfix
Code monkey. Lab rat. Motivation: An ounce of cunning beats a tonne of brute force—SPJ

University of Kent Nowhere

@yforster
Yannick Forster yforster
Researcher in the Cambium Team at Inria Paris

Inria Paris

@ekimb
Barış Ekim ekimb
PhD student in Berger Group at @mit.

MIT Computer Science and Artificial Intelligence Laboratory Cambridge, MA

@xuanruiqi
Xuanrui Qi xuanruiqi
Software engineer & category theorist

@HashHubTokyo Tokyo

@robrix
Rob Rix robrix
Colouring outside the lines.
@pablolh
Pablo Le Hénaff pablolh
Coucou.

Palaiseau

@segeljakt
Klas Segeljakt segeljakt
Average Rust Enjoyer

KTH Royal Institute of Technology Sweden

@Icelandjack
Icelandjack
@akaposi
Ambrus Kaposi akaposi
@knupfer
quxbar knupfer
@L-TChen
Liang-Ting Chen L-TChen

Institute of Information Science, Academia Sinica Taiwan

@euisuny
Irene Yoon euisuny
@pkoronkevich
Paulette Koronkevich pkoronkevich
don't look at my code
@aa755
Abhishek Anand aa755

Miami, FL, USA

@julbinb
Julia Belyakova julbinb

Purdue University Lafayette, IN, USA

@LightAndLight
Isaac Elliott LightAndLight

Australia

@disconcision
andrew blinn disconcision
PL 😘 UI

@hazelgrove @fplab

@madgen
Mistral Contrastin madgen

Meta /dev/null

@ejgallego
Emilio Jesús Gallego Arias ejgallego
“La perfection est atteinte, non pas lorsqu'il n'y a plus rien à ajouter, mais lorsqu'il n'y a plus rien à retirer.”

Lean FRO Paris

@mboes
Mathieu Boespflug mboes

@tweag Athens, Greece

@omelkonian
Orestis Melkonian omelkonian
PhD @ University of Edinburgh   Formal Methods @input-output-hk   Interests: Programming Languages, Functional Programming, Type Theory, Formal Verification

Input Output (IOG) Kirkwall, Orkney, Scotland