Skip to content
View maxsnew's full-sized avatar

Highlights

  • Pro

Organizations

@silcgroup

Block or report maxsnew

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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
@um-catlab
UM Cat Lab um-catlab

United States of America

@jfdm
Jan de Muijnck-Hughes jfdm

University of Strathclyde Europe

@nvarner
Nathan Varner nvarner
Undergrad in CS and Math at the University of Michigan, graduating 2025

Ann Arbor, USA

@ericgiovannini
Eric Giovannini ericgiovannini
PhD student in Computer Science and Engineering at the University of Michigan. Interested in Programming Language theory.

Ann Arbor, MI

@mirryi
Eric Zhao mirryi

Brown University

@zydeco-lang
Zydeco zydeco-lang
A Statically-Typed Stack-based Functional Language
@tov
Jesse A. Tov tov

Brooklyn, NY, USA

@jsiek
Jeremy G. Siek jsiek
Professor at Indiana University

Indiana University Bloomington, IN

@bond15
bond15
Formal Methods Research Scientist @ Two Six

Two Six Labs Seattle Washington

@michaelballantyne
Michael Ballantyne michaelballantyne

@nuprl Boston, Massachusetts

@ricky136973
Runze Xue ricky136973
AD ASTRA ABYSSOSQVE

Indiana University Bloomington, IN

@AndrasKovacs
András Kovács AndrasKovacs
Type theory, applications, implementation
@TOTBWF
Reed Mullanix TOTBWF
An object in an Elegant Reedy Category.

McMaster University Hamilton, ON

@ZachFontenot
Zach Fontenot ZachFontenot
Does programming things

Workday Waltham

@hilbert-yaa
Hilbert Chen hilbert-yaa
Ph.D. student in operating systems and μarch research at Carnegie Mellon.

nullptr

@disconcision
andrew blinn disconcision
PL 😘 UI

@hazelgrove @fplab

@dm0n3y
David Moon dm0n3y
CS PhD student at UMich

@hazelgrove @fplab Ann Arbor, MI

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

Aarhus

@lambdabetaeta
Alex Kavvos lambdabetaeta

University of Bristol Bristol, United Kingdom

@dbp
Daniel Patterson dbp
teaching faculty at Northeastern University. formerly PhD student @nuprl, member/owner at @positiondev.

Northeastern University Boston, MA

@yallop
Jeremy Yallop yallop

University of Cambridge Cambridge, UK

@vikraman
Vikraman Choudhury vikraman
Marie Skłodowska-​Curie Fellow

Università di Bologna Bologna, Italy

@JacquesCarette
Jacques Carette JacquesCarette

McMaster University Hamilton, Ontario, Canada

@anuyts
anuyts

KU Leuven

@martinescardo
Martin Escardo martinescardo
Professor of Theoretical Computer Science

University of Birmingham United Kingdom

@favonia
favonia favonia
Teaching at U of Minnesota

University of Minnesota Minneapolis, MN, USA

@jakebian
Jake Bian jakebian
Runs @keplr-io, @otim-project. Likes algebraic stacks but sometimes stuck with software stacks.

London, UK

@jaykru
Jay Kruer jaykru

tenstorrent bend, or