Skip to content
View mvr's full-sized avatar
92 followers · 121 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Shark

Block or report mvr

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
@bgamari-positron
Ben Gamari bgamari-positron

Positron AI Portsmouth, NH

@Wish-Lin
Wish Lin Wish-Lin
Physics Major @ UCSB | Undergraduate Researcher @ ITST | Amateur Gemologist

Santa Barbara, CA

@tlsomers
tlsomers
@paulzzy
Paul Zhang paulzzy
Northwestern and AMD, prev UCLA and Arm
@Trebor-Huang
Trebor Huang Trebor-Huang
I'm an undergrad at Tsinghua University. / I like mathematics and dependent type theory.

Internal cat of a doughnut

@SKyletoft
Samuel Kyletoft SKyletoft

Chalmers University of Technology

@HazyResearch
HazyResearch HazyResearch
We are a CS research group led by Prof. Chris Ré.

Palo Alto, CA

@jd-foster
James Foster jd-foster
Research scientist, CSIRO Energy Economics, math. optimisation models and energy systems.

CSIRO Newcastle, Australia

@LightAndLight
Isaac Elliott LightAndLight

Australia

@theorem-labs
Theorem theorem-labs

United States of America

@levzlotnik
Lev Zlotnik levzlotnik
DL Research
@dmurfet
Daniel Murfet dmurfet
Mathematician at the University of Melbourne.
@PluralisResearch
Pluralis Research PluralisResearch
@preusser
Thomas B. Preußer preusser
Researcher and mentor in academia and industry with a record of engagements at @Xilinx Research, @fpgasystems (ETH Zürich), Accemic, and @VLSI-EDA (TU Dresden).

AMD Dresden, Germany

@stschaef
Steven Schaefer stschaef
@zwarich
Cameron Zwarich zwarich
@jdmccalpin
John D McCalpin jdmccalpin
Best known for the development of the STREAM benchmark in the early 1990's, "Dr. Bandwidth" has been working in HPC for 40 years....

Barcelona Supercomputing Center Barcelona, Spain

@tetrapharmakon
fouche tetrapharmakon
Category theorist, coend sifu. Member of https://compose.ioc.ee

https://compose.ioc.ee Tallinn, Estonia

@danvk
Dan Vanderkam danvk
Independent Software Developer, formerly at Sidewalk Labs and Google. Author of _Effective TypeScript_: https://amzn.to/3UjPrsK

New York, NY

@christios
Christian Khairallah (Cayralat) christios
Engineer with versatile interests spanning linguistics and computational approaches towards it.

New York University Abu Dhabi Abu Dhabi

@jvranish
Job Vranish jvranish

Grand Rapids, MI

@xorvoid
xorvoid
If you stare into the void long enough, you'll find some xors staring back.
@AlexGreason
Alex Greason AlexGreason
@apaap
Arie Paap apaap
@slotThe
Tony Zorman slotThe
Postdoc in mathematics, Haskell and Emacs devotee, @xmonad maintainer. I like free software. More at gitlab/slotThe and codeberg/slotThe
@yuxi-liu-wired
Yuxi Liu yuxi-liu-wired
I do math and science for a greater future.

07.layer.wired

@Matthias-Merzenich
Matthias-Merzenich
@dom-verity
Dominic Verity dom-verity
Category Theorist and programmer by day, bad drummer by night.

Macquarie University North Ryde, Sydney, NSW 2109, Australia

@aaron-siegel
Aaron Siegel aaron-siegel

San Francisco

@brandon-reinhart
Brandon Reinhart brandon-reinhart
I am a full time rust dev. I have been building games for over 25 years.

@dead-money Las Vegas, NV

@wragge
Tim Sherratt wragge
@milesmcc
R. Miles McCain milesmcc
PROVIDED “AS IS”, WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PUR

New York City

@baburton
baburton
@awswan
Andrew Swan awswan

University of Ljubljana Ljubljana

@AljoschaMeyer
Aljoscha Meyer AljoschaMeyer

Berlin, Germany

@evanphx
Evan Phoenix evanphx

@mirendev Los Angeles, CA

@purplesyringa
Alisa Sireneva purplesyringa
I do computing stuff.

Earth

@FlorianAdler
FlorianAdler
@olynch
Owen Lynch olynch
@njbooher
Nick Booher njbooher
@goldfirere
Richard Eisenberg goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.

@janestreet Philadelphia, PA

@rntz
Michael Arntzenius rntz
@sebastianpos
Sebastian Posur sebastianpos

RWTH Aachen University Aachen

@jpoiret
Josselin Poiret jpoiret

Europe

@umarbutler
Umar Butler umarbutler
CEO @ Isaacus

Isaacus Melbourne, Australia

@CQTS
Center for Quantum and Topological Systems CQTS
New York University Abu Dhabi
@jonweinb
Jonathan Weinberger jonweinb
Types, Categories, Homotopy. Asst Prof @ Chapman U, Orange, CA.

Chapman University Orange, CA

@MatthiasHu
Matthias Ritter (formerly Hutzler) MatthiasHu
@DanGrayson
Daniel R. Grayson DanGrayson
@benediktahrens
Benedikt Ahrens benediktahrens

Delft University of Technology, NL