Skip to content
View oneofvalts's full-sized avatar
9 followers · 100 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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse
@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

@icarm Pittsburgh, PA

@dahosek
Don Hosek dahosek
@siddhartha-gadgil
Siddhartha Gadgil siddhartha-gadgil

Indian Institute of Science Bangalore

@adrientetar
Adrien Tétar adrientetar
Developing font tools since '14 😀
@lakesare
Evgenia Karunus lakesare

Bonn

@kim-em
Kim Morrison kim-em

Canberra

@avigad
Jeremy Avigad avigad

Carnegie Mellon University Pittsburgh

@Seasawher
Kitamado Seasawher
I like mathematics and Lean language.

@proxima-technology Japan

@xuelink
xue xuelink
Hi 🇨🇦
@langx
LangX | Practice, Learn, Succeed! langx
100% Open Source Alternative to Tandem App!
@alreadydone
Junyan Xu alreadydone
Postdoc in math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.

Universität Heidelberg Heidelberg / Shenzhen

@chenjulang
chenjulang
@mattam82
Matthieu Sozeau mattam82

Inria Nantes

@axiomed
Axiomed axiomed
Lean4 for software engineers.
@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

@benjamindavidson
Benjamin Davidson benjamindavidson
Student at Columbia University

New York City

@madvorak
Martin Dvořák madvorak

Institute of Science and Technology, Austria Czech Republic

@alisever
Ali Sever alisever

London, UK

@YaelDillies
Yaël Dillies YaelDillies
Second year PhD student at Stockholm Universitet in additive combinatorics. Also working for Google DeepMind through Adecco Sweden.

Stockholm Universitet Stockholm

@kmill
Kyle Miller kmill

Santa Cruz, California

@j-loreaux
Jireh Loreaux j-loreaux

Edwardsville, IL

@PatrickMassot
Patrick Massot PatrickMassot

Paris

@ilayn
Ilhan Polat ilayn

Sandvik Amsterdam, Netherlands

@schnerring
Michael Schnerring schnerring
.NET Engineer
@davidcarlisle
David Carlisle davidcarlisle

UK

@luigiScarso
luigiScarso
@kbuzzard
Kevin Buzzard kbuzzard
Professor of pure mathematics at Imperial College London. Currently learning about theorem provers.

@ImperialCollegeLondon London

@kckennylau
Kenny Lau kckennylau
Year 2 Pure Maths @ Imperial
@isamert
İsa Mert Gürbüz isamert

Trendyol Amsterdam

@beneater
Ben Eater beneater
@logsem
Logic and Semantics @ Aarhus University logsem

Aarhus, Denmark

@jozefg
daniel gratzer jozefg
I am a researcher interested in type theory and category theory.

Aarhus

@ayberkt
Ayberk Tosun ayberkt
Researcher in formal verification @zeroth-research

Zeroth Research Birmingham, UK

@geohot
George Hotz geohot
We will commoditize the petaflop.

@commaai @tinygrad San Diego, CA

@furkzel
furkzel
@ismetkaradag
İsmet Karadağ ismetkaradag
@YusufEminAkpinar
YusufEminAkpinar
@beejjorgensen
Brian "Beej Jorgensen" Hall beejjorgensen
Author, instructor, developer.

Jorgensen Labs LLC Bend, OR

@yorikvanhavre
Yorik van Havre yorikvanhavre
architect, freelancer, urban sketcher, @FreeCAD developer, eco-freak, cook, wannabee comic book artist. chaotic neutral, and perfidious communist agent

@uncreatednet, @openingdesign, @FreeCAD Brussels, Belgium

@atomicwrites
atomicwrites atomicwrites
@tildedave
Dave King tildedave
Software guy. Principal engineer @atlassian. Github's (still) just for fun. Number theory, functional programming, coding puzzles, bit fiddling.

@atlassian Durham, NC

@simonmichael
Simon Michael simonmichael
Independent software consultant, FOSS maintainer.

Joyful Systems Hawaii

@jwiegley
John Wiegley jwiegley
Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.

@kadena-io California, USA

@iowar
OK iowar
#boun | @iowar

The Terminal

@nrnrnr
Norman Ramsey nrnrnr
Happy hacker in ML, Lua, Haskell, C, others.

Tufts University Malden, Mass, USA

@eric-s-raymond
Eric S. Raymond eric-s-raymond
Yeah, I'm that guy.

Malvern, PA, USA