Skip to content
View ungatz's full-sized avatar
🍓
yak shaving
🍓
yak shaving
54 followers · 616 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Highlights

  • Pro

Block or report ungatz

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
@karpathy
Andrej karpathy
I like to train Deep Neural Nets on large datasets.

Stanford

@Kripner
Matěj Kripner Kripner
Automated/neural theorem proving, applied RL, robotics
@stylewarning
Robert Smith stylewarning
Flipping bits and rotating qubits.

Los Angeles, CA

@ohad
Ohad Kammar ohad
@liyili2
Liyi Li liyili2

Iowa State University

@Timeroot
Alex Meiburg Timeroot
Quantum information / AI for Math

University of Waterloo

@alexarice
Alex Rice alexarice
@glassnotes
Olivia Di Matteo glassnotes
Quantum computing researcher interested in circuits, algorithms, open-source quantum software, and education.

The University of British Columbia Vancouver, BC

@oisdk
Donnacha Oisín Kidney oisdk
Computer science postdoc at Imperial College London.

London, UK

@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

@vcvpaiva
Valeria de Paiva vcvpaiva
I am a mathematician and AI Research Scientist. My research interests include category theory, type theories, semantics of NL and lexical semantics.

@ToposInstitute Cupertino, CA

@jvsiratt
John Siratt jvsiratt
Logician working in formal methods. This is my personal account with non-work stuff.

AR, USA

@ElifUskuplu
ElifUskuplu
@lmoss
Larry Moss lmoss

Indiana University Bloomington, IN

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

@ImperialCollegeLondon London

@marcbezem
Marc Bezem marcbezem
@emilyriehl
Emily Riehl emilyriehl

Johns Hopkins University Baltimore, MD

@nihils
Nihil Shah nihils
Interested in functional programming. BA in Pure Mathematics. MSc. in Mathematics & CS. PhD in Theoretical CS.
@chrisheunen
Chris Heunen chrisheunen
@divyaranjan1905
Divya Ranjan Pattanaik divyaranjan1905
Mathematics, Philosophy, Libre Software.

India

@pmichaillat
Pascal Michaillat pmichaillat
Professor of economics at UC Santa Cruz
@djrrb
David Jonathan Ross djrrb
I make fonts at djr.com

DJR Western Massachusetts

@cyberglot
april cyberglot
PLT + compilers; haskell champion; agda newbie.

Glasgow, UK

@phadej
Oleg Grenrus phadej

Well-Typed LLP Helsinki, Finland

@ionathanch
Jonathan Chan ionathanch
Grad student in PL & former splabmate · MSc @ UBC ⇝ PhD @ UPenn

PLClub @ UPenn Vancouver, Canada

@bbentzen
Bruno Bentzen bbentzen
Assistant Professor in the School of Philosophy at Zhejiang University, China.

Zhejiang University Hangzhou, China

@fpvandoorn
Floris van Doorn fpvandoorn

University of Bonn Bonn

@KostiaChardonnet
Kostia Chardonnet KostiaChardonnet
PhD in Quantum Computing, postdoc @ Inria Nancy, MOCQUA team
@rahulc29
Rahul Chhabra rahulc29
Cubes and realizers 🧊λ

Aarhus Univeristy Aarhus, Denmark

@mroman42
Mario Román mroman42

Tallinn, EE

@josh146
Josh Izaac josh146
Quantum physicist and software tinkerer

@XanaduAI Toronto, ON

@langston-barrett
Langston Barrett langston-barrett
Researcher with experience in functional programming, formal methods, programming languages, and security.

@GaloisInc Brooklyn

@DanGrayson
Daniel R. Grayson DanGrayson
@Lolirofle
E Lolirofle
Programmer. Studying.

Europe, Earth

@themathqueen
Monica Omar themathqueen
@Reijix
Leon Vatthauer Reijix
I like functional programming and proof assistants :)

Erlangen

@4e554c4c
Calvin Lee 4e554c4c
i care about linux desktop protocols, open social media, programming languages and mathematics.

IRC

@Taneb
Nathan van Doorn Taneb

Reggio Emilia, Italy

@capfredf
Fred Fu capfredf
Yet another typed racketeer who writes untyped code a lot

PLT @ where Dan-scheme was taught

@thephoeron
"the Phoeron" Colin J.E. Lupton thephoeron
Mad-scientist supervillain with a hero complex and recovering serial entrepreneur. Quantum Computing, Lisp Hacker, multi-medium artist, musician, and author.

Toronto, Canada

@JoeyEremondi
Joey Eremondi JoeyEremondi
Assistant Prof. at the University of Regina. Interested in programming languages, dependent types, Agda, Idris, Lean, etc.

University of Regina Regina, Saskatchewan, Canada

@karthink
karthink
@chihyang
Chihyang chihyang
@facundominguez
Facundo Domínguez facundominguez
Software engineer at @tweag.

Tweag Montevideo, Uruguay

@andreasabel
Andreas Abel andreasabel

Chalmers and Gothenburg University Gothenburg, Sweden

@minexew
Minexew minexew

Czech Republic

@dybvig
R. Kent Dybvig dybvig
@sheganinans
Aistis Raulinaitis sheganinans

Data Scientist & Language Architect Orange, CA

@ssomayyajula
Siva Somayyajula ssomayyajula

AWS

@lukaszlew
Łukasz Lew lukaszlew

Google Mountain View