Skip to content
View oneofvalts's full-sized avatar
10 followers · 96 following

Highlights

  • Pro

Block or report oneofvalts

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
@jonathanmetzman
jonathanmetzman
Security engineer working on open source and Chrome security

Google

@rexim
Alexey Kutepov rexim
Recreational Programming

@tsoding Novosibirsk

@peterlefanulumsdaine
Peter LeFanu Lumsdaine peterlefanulumsdaine

Stockholm University Stockholm, Sweden

@IamMalinga
Malinga Samarakoon IamMalinga
💻 Computer Science Undergraduate | 🚀 Passionate about Web & App Development | 📊 Exploring AI, DevOps & Open Source | 🌱 Always Learning
@oantolin
Omar Antolín Camarena oantolin
@nstrmx
Den nstrmx
✉️ [email protected] | telegram: nstrmx
@marcan
Hector Martin marcan
If it ain't broke, I'll fix it!

Tokyo, Japan

@graydon
Graydon Hoare graydon

Vancouver, BC

@williamdemeo
William DeMeo williamdemeo
Universal algebraist, complexity theorist, formal methodologist, AI alchemist and total functional programmer (Agda, Lean, Python, Scala, Spark).

IO @input-output-hk Boulder, CO, USA

@JovanGerb
Jovan Gerbscheid JovanGerb
@mdgeorge4153
Michael D. George mdgeorge4153

Mysten Labs Ithaca, NY

@teorth
teorth
@martinescardo
Martin Escardo martinescardo
Professor of Theoretical Computer Science

University of Birmingham United Kingdom

@protesilaos
Protesilaos Stavrou protesilaos
At what point does a tinkerer become a programmer, provided no formal background in the latter?

Cyprus, European Union

@DavePearce
David Pearce DavePearce
Author of the Whiley programming language. Researcher in Smart Contracts @ ConsenSys. Interests include formal verification, compilers, and static analysis.

ConsenSys New Zealand

@reilabs
Reilabs reilabs
We build software that others can't.
@mpenciak
Matej Penciak mpenciak

Reilabs New York City

@mitschabaude
Gregor Mitscha-Baude mitschabaude
Co-founder @zksecurity. Lean and TypeScript hacker with 🍓 for crypto, math, P2P, agentic coding, open source

@zksecurity Vienna, Austria

@tcoratger
Thomas Coratger tcoratger
PhD in applied mathematics. Research at Ethereum Foundation.

Ethereum Foundation France

@dlubarov
Daniel Lubarov dlubarov
Working on Polygon Zero (formerly Mir). Previously Square, Google.

Polygon

@clarus
Guillaume Claret clarus
Security researcher at @formal-land 🌲 for Web3 applications Applying the 🐓 proof system to find all the vulnerabilities. 🐻‍❄️

Formal Land Paris

@0xMushow
0xMushow
Protocol Security Researcher @ethereum

@ethereum Tbilisi, Georgia

@YunkaiZhang233
Yunkai Zhang YunkaiZhang233
3rd Year Computing Student at Imperial College London

Imperial College London London

@josephwright
Joseph Wright josephwright
A chemist with an interest in typesetting. Member of The LaTeX Project (@latex3).

Ely, UK

@FrankMittelbach
Frank Mittelbach FrankMittelbach

@latex3 Germany

@felixwellen
Felix Cherubini felixwellen

University of Gothenburg Gothenburg, Sweden

@jdchristensen
Dan Christensen jdchristensen

University of Western Ontario

@EduardoRFS
Eduardo Rafael EduardoRFS
A developer
@VojtechStep
Vojtěch Štěpančík VojtechStep

Inria Nantes, France

@eric-wieser
Eric Wieser eric-wieser

@google-deepmind Greater London area

@EgbertRijke
Egbert Rijke EgbertRijke
Postdoc in Mathematics

Johns Hopkins University Baltimore, MD

@fredrik-bakke
Fredrik Bakke fredrik-bakke

NTNU Norway

@msprotz
Jonathan Protzenko (defunct account, use @protz now) msprotz
Please use @protz from here on! This is a now-defunct account for my contributions as a Microsoft (MS) employee from 2014 to 2025.

Microsoft Redmond, WA

@protz
Jonathan Protzenko protz

Google Seattle

@logic-tools
Logic Tools logic-tools
NaDeA and other open source software for teaching logic

DTU Compute - Denmark

@gert-smolka
Gert Smolka gert-smolka

Saarland University Germany

@uds-psl
Programming Systems Lab, Saarland University uds-psl

Saarbrücken, Germany

@Alizter
Ali Caglayan Alizter

London, United Kingdom

@sweirich
Stephanie Weirich sweirich
Wish I had more time to code. And by code, I mean prove things.

University of Pennsylvania Philadelphia

@rzach
Richard Zach rzach

University of Calgary Calgary

@joom
Joomy Korkut joom
Formal verification and programming languages researcher.

@Bloomberg New York City

@gitter-badger
The Gitter Badger gitter-badger

Gitter Safe in the Gitter den

@georgd
Georg Mayr-Duffner georgd

WU Vienna University of Economics and Business Vienna, Austria

@raphink
Raphaël Pinson raphink
Cilium Alchemist

@isovalent Lausanne, Switzerland

@UlrikBuchholtz
Ulrik Buchholtz UlrikBuchholtz
Assistant Professor with the Functional Programming Lab, School of Computer Science, University of Nottingham. ❤️ Homotopy Type Theory/Univalent Mathematics

University of Nottingham

@andrejbauer
Andrej Bauer andrejbauer
Professor of computational mathematics

University of Ljubljana Slovenia

@dcclyde
David Clyde dcclyde

OpenAI

@theleagueof
The League of Moveable Type theleagueof
The first open-source font foundry
@lucyhorowitz
Lucy Horowitz lucyhorowitz
I'm a second year PhD student in logic @ UC Berkeley.

Berkeley, CA

@dwrensha
David Renshaw dwrensha

Pittsburgh, PA