Skip to content
View alexarice's full-sized avatar

Highlights

  • Pro

Block or report alexarice

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
@NathanielB123
Nathaniel Burke NathanielB123

TU Delft Delft, Netherlands

@fraware
Matéo H. Petel fraware
Curiosity. ________________________________________________________________________________________ Stanford | NASA JPL | Oxford | ENS

Stanford

@CogniDroid
Dries Frederickx CogniDroid
Existing in a time where I try to use my incompetence.

Belgium

@kontheocharis
Constantine Theocharis kontheocharis
In pursuit of corectnes

University of St Andrews UK

@hotdogontology
Taylor Belcher hotdogontology
Math & CS Teacher, Part-Time CS PhD Student, Amateur Tiny Game Dev

South Carolina Governor's School for Science and Mathematics Hartsville, SC

@EdmundGoodman
Edmund Goodman EdmundGoodman

University of Cambridge Cambridge, UK

@ungatz
sanad ungatz

Indiana University Bloomington, IN, USA

@colltoaction
Martin Coll colltoaction
Hyping hypergraphs

🇦🇷

@grageragarces
Maria Gragera Garces grageragarces
Distributed Quantum Computing PhD

University of Edinburgh UK

@simonprovost
Provost Simon simonprovost
Ph.D. @ UoK (AIDA); Prev. @ (i) Uni. of Edinburgh, (ii) VIDA-NYU

@unikent @VIDA-NYU London, United-Kingdom

@biocini
lane biocini
systems design, formal verification, (homotopy) type theory, and categorical nonsense

san francisco

@kimworrall
Kim Worrall kimworrall

University of Edinburgh Edinburgh

@luisacicolini
Luisa Cicolini luisacicolini
creativity & formal methods enthusiast, engineer, phd student

University of Cambridge, @opencompl Cambridge

@zero9178
Markus Böck zero9178
Having fun with MLIR and LLVM

ETH Zurich Zurich

@standardgalactic
Cogito Ergo Sum standardgalactic
𝘏𝘰𝘮𝘦 𝘰𝘧 𝘵𝘩𝘦 𝚂𝚝𝚊𝚗𝚍𝚊𝚛𝚍 𝙶𝚊𝚕𝚊𝚌𝚝𝚒𝚌 𝙰𝚕𝚙𝚑𝚊𝚋𝚎𝚝

Xanadu Canada

@jtkristensen
Joachim Tilsted Kristensen jtkristensen
I am unconditionally exited about all things in computer science. I also really love making, playing and listening to music.

The University in Oslo. 3410 Sylling, Norway.

@yogeshvar
Yogi yogeshvar
Blah.. Blah.. Blah..

Mars

@jonweinb
Jonathan Weinberger jonweinb
Types, Categories, Homotopy. Asst Prof @ Chapman U, Orange, CA.

Chapman University Orange, CA

@0xameer
0xameer
https://sr.ht/~carnotweat/

carnot Bangalore

@punkdit
Simon Burton punkdit

Quantinuum Cambridge, UK

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

Zeroth Research Birmingham, UK

@tnttodda
Todd Waugh Ambridge tnttodda
Lecturer, Computer Science @ University of Birmingham

University of Birmingham

@georgejkaye
George Kaye georgejkaye
Backend software developer at Acturis Ltd.

Acturis Ltd Birmingham, United Kingdom

@worldofpeace
WORLDofPEACE worldofpeace
⚧️ love all of you

they/them

@WGUNDERWOOD
William Underwood WGUNDERWOOD
Postdoctoral Researcher in Statistics at the University of Cambridge

University of Cambridge UK