Thanks to visit codestin.com
Credit goes to github.com

Skip to content
View bollu's full-sized avatar
772 followers · 239 following

Achievements

Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx3

Achievements

Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx3

Organizations

@rocq-prover @sagemath @fpindia @iiittheorygroup

Block or report bollu

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
@hydra-synth
hydra hydra-synth
@mmaroti
Miklos Maroti mmaroti

University of Szeged Hungary

@mppf
Michael Ferguson mppf

HPE

@lephe
Sébastien Michelland lephe
Compilers, systems, and calculator hobbyist. See https://git.planet-casio.com/Lephenixnoir for more.
@favonia
favonia favonia
Teaching at U of Minnesota

University of Minnesota Minneapolis, MN, USA

@jonsterling
Jon Sterling jonsterling
Associate Professor in Logical Foundations and Formal Methods

University of Cambridge Cambridge, Cambridgeshire, UK

@fattorib
ben fattori fattorib
doing a bit of this and that
@StellaAthena
Stella Biderman StellaAthena
Democratizing language models and understanding how they work

Booz Allen Hamilton, EleutherAI

@f64u
Fady Adal f64u

Cairo, Egypt

@tperami
Thibaut Pérami tperami
CS PhD student at the University of Cambridge

University of Cambridge Cambridge

@owickstrom
Oskar Wickström owickstrom
Software design, testing, functional programming.

Independent Sweden

@ineol
Léo Stefanesco ineol
@zackradisic
Zack Radisic zackradisic
building stuff

@oven-sh

@shlomnissan
Shlomi Nissan shlomnissan

@chanzuckerberg San Francisco

@LiamSchilling
Liam Schilling LiamSchilling
Sophmore in computer science at Carnegie Mellon University, researching formal verification and programming languages

Pittsburgh, PA

@Garmelon
Garmelon
@PatrickMassot
Patrick Massot PatrickMassot

Paris

@emilyhunt
Emily Hunt emilyhunt
astronomy postdoc. tea drinker

University of Vienna

@eqrion
Ryan Hunt eqrion
Working on WebAssembly @ Mozilla

@mozilla Minnesota, USA

@fabianschuiki
Fabian Schuiki fabianschuiki
Senior Staff Hardware Compiler Engineer at SiFive. PhD in Computer Architecture.

SiFive Silicon Valley, California

@augustss
Lennart Augustsson augustss

Gothenburg, Sweden

@kach
Kartik Chandra kach

MIT CSAIL Cambridge, MA

@andreimargeloiu
Andrei Margeloiu andreimargeloiu
PhD in Machine Learning at University of Cambridge, Google HashCode World Finalist, 3x Gold medals in Computing Olympiad

University of Cambridge Cambridge, UK

@eudoxia0
Fernando Borretti eudoxia0
Interests: compilers, programming language theory, chemistry, atomically-precise manufacturing, formal systems.

Sydney, Australia

@JLimperg
Jannis Limperg JLimperg
Applied Scientist @ AWS

AWS Munich, Germany

@nategraf
Victor Snyder-Graf nategraf

@risc0 Seattle, WA

@vbgl
Vincent Laporte vbgl
@wkrozowski
Wojciech Różowski wkrozowski
Research Software Engineer @ Lean FRO

@leanprover London

@fmontesi
Fabrizio Montesi fmontesi
Professor of Computer Science, Danish Institute for Advanced Study (DIAS) and University of Southern Denmark

Danish Institute for Advanced Study / University of Southern Denmark / italianaSoftware s.r.l.

@eliben
Eli Bendersky eliben

@google California

@Mogball
Jeff Niu Mogball
@tanujkhattar
Tanuj Khattar tanujkhattar
Software engineer turned Research Scientist @ Google Quantum AI

Google Los Angeles

@jacobjwalters
Jacob Walters jacobjwalters
First year programming languages Ph.D. student @ University of Edinburgh. Co-founder of TypeSig

LFCS (UoE) Edinburgh

@pruemmer
Philipp Ruemmer pruemmer

Uppsala University

@caballa
Jorge Navas caballa
Working on static analysis at Certora

Certora USA

@lememta
Temesghen Kahsai lememta

Mountain View, CA

@kuhar
Jakub Kuderski kuhar

AMD (AI Group) Toronto, ON, Canada

@itorr
卜卜口 itorr
整活儿真有趣☺️
@thecsw
Sandy thecsw
I live for Najimi ❤️‍🔥

Between dream and reality

@gsganden
Greg Gandenberger gsganden
Machine learning / AI engineer working on planner reasoning evaluation at Waymo

Chicago, IL

@hynky1999
Hynek Kydlíček hynky1999
ML Engineer @huggingface
@Gankra
Aria Desires Gankra

axo.dev

@MikePopoloski
Michael Popoloski MikePopoloski

United States

@GleasonK
Kevin Gleason GleasonK
Google, StableHLO TL

@google Boston, MA

@purplesyringa
Alisa Sireneva purplesyringa
I do computing stuff.

Earth

@casperdcl
Casper da Costa-Luis casperdcl
Open Core Software Consultant & Technical Product Manager; Computational Physicist; member of IEEE, IOP, & @python Software Foundation

London, UK

@TerrorJack
Cheng Shao TerrorJack

@tweag Paris

@statham-arm
Simon Tatham statham-arm
Compiler and toolchain developer for Arm

Arm Cambridge

@SanchayanMaity
Sanchayan Maity SanchayanMaity

@centricular Bangalore, India

@abhin4v
Abhinav Sarkar abhin4v
Programming languages aficionado, occasional runner, quantified-self enthusiast, and fervent napper. Works as senior software engineer @google.

@google Bangalore, India