Skip to content
View MarisaKirisame's full-sized avatar
💭
Trying to find some meaning in this absurd world. Iam14andthisisdeep.
💭
Trying to find some meaning in this absurd world. Iam14andthisisdeep.

Block or report MarisaKirisame

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
@VictorTaelin
Victor Taelin VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.

Higher Order Company Rio de Janeiro, Brazil

@leodemoura
Leonardo de Moura leodemoura
See https://leodemoura.github.io/about.html

AWS Seattle

@alexbowe
Alex Bowe alexbowe
PhD in Bioinformatics. Creator of Cosmo succinct de Bruijn graph DNA assembler. Early engineer @cruise-automation. Occasional Blogger.

@smoothbrain-ai, @cosmo-team, @cruise-automation San Francisco

@CziSKY
kirraObj CziSKY
before my body is dry.

@TabooLib, @SacredCraft Gensokyo

@AD1024
Mike He AD1024
(Ceil (- now Sep.2022))-year Ph.D. @PrincetonUniversity

@PrincetonUniversity Princeton, NJ

@LittleJianCH
LittleJianCH
(define 简 简)
@emilypi
Emily Pillmore emilypi
よ• Rust/Haskell • Comfy

@kadena-io SLC

@frankmcsherry
Frank McSherry frankmcsherry

@MaterializeInc New York, NY

@lynzrand
Rynco Maekawa lynzrand
"Never tried hard before, But dreamt to be special." Mainly doing compilers, but interested in everything. C++ / Rust / C# / Typescript; en_US / zh_CN.

@moonbitlang AS13-November-01

@MisakaCenter
MisakaCenter
Proof Idiot, PhD @ UCSB, Intern @ Riema Labs

@RiemaLabs US

@statisticallyfit
statisticallyfit statisticallyfit
Learning skills to apply functional programming in Haskell/Scala to statistics, econometrics and Bayesian analysis of quantitative finance.

Graduate in Bachelor of Science (Major Mathematics and Statistics) at University of New England of Australia (online) TheUniverse

@Gsunshine
Zhengyang Geng Gsunshine
CS PhD student at CMU

CMU

@CaTcatM200
NekoM200 CaTcatM200
C++/Lua

G&K aka. Griffin and Kryuger Private Military Company and Security Consultant Company Neo-Soviet Union

@regehr
John Regehr regehr
CS professor at the University of Utah

University of Utah Salt Lake City, UT, USA

@torvalds
Linus Torvalds torvalds

Linux Foundation Portland, OR

@donaldnevermore
Donald33 Wang donaldnevermore
A self-taught hacker eager to learn more.

Individual Everywhere

@PhotonQuantum
LightQuantum PhotonQuantum
CS undergraduate @SJTU-19

Shanghai Jiao Tong University Shanghai, China

@remi-guan
Remi Guan remi-guan

Hangzhou, Zhejiang, China

@dvanhorn
David Van Horn dvanhorn

@plum-umd Washington, DC

@taktoa
Remy Goldschmidt taktoa
Compiler guy

@MatX-inc /nix/store

@skyzh
Alex Chi Z. skyzh
building database systems @neondatabase, previously @cmu-db; a bubble tea every day makes me happy right away

@neondatabase Pittsburgh, PA, USA ⇌ Shanghai, China

@pdarragh
Pierce Darragh pdarragh
PhD student at the University of Maryland, interested in programming languages and their usability.

UMD College Park, MD

@parasj
Paras Jain parasj
AI PhD student at UC Berkeley

UC Berkeley San Francisco, CA

@xnning
Ningning xnning
Types are all you need.

University of Toronto

@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

@archibate
彭于斌 archibate
Pythoner, Cer, Cpluspluser, Javascripter, PHPer, Dreamer

@zenustech @parallel101 @taichi-dev Shanghai, China

@altanh
Altan Haan altanh
CS PhD student @ Berkeley EECS. Previously MLSys @octoml, PL/MLSys research @uwsampl.

UC Berkeley Berkeley, CA

@qobi
Jeffrey Mark Siskind qobi

Purdue University, School of Electrical and Computer Engineering 465 Northwestern Avenue, West Lafayette, IN 47907-2035 USA

@samuela
Samuel Ainsworth samuela
PhD student at UW working in ML and robotics. #blacklivesmatter

NYC

@Z-Shang
Z-Shang Z-Shang
Lisp Reformist She/Her

MongoDB Sydney

@Kraks
Guannan Wei Kraks
Postdoc (PL/Compilers)

INRIA/ENS; Tufts

@nameoverflow
nameoverflow
(call/cc nil)

Gensokyo

@slyubomirsky
Steven S. Lyubomirsky slyubomirsky
Senior Software Engineer, @NVIDIA. Alumnus of @uwplse and @uwsampl. Previously at @octoml

@NVIDIA New York City

@lattner
Chris Lattner lattner

Bay Area, California, USA

@Ravenwater
Theodore Omtzigt Ravenwater
Computer Architect and custom compute engine developer for robotics, computer vision, and high-performance computing applications.

Stillwater Supercomputing, Inc. Freeport, Maine

@weberlo
Logan Weber weberlo
PhD student studying programming systems.

Massachusetts Institute of Technology Boston

@thisiscam
Cambridge Yang thisiscam

Massachusetts Institute of Technology Cambridge, MA