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.
3.2k followers · 198 following

Sponsoring

@asukaminato0721

Achievements

Achievement: Public SponsorAchievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

Achievements

Achievement: Public SponsorAchievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

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
@asukaminato0721
Asuka Minato asukaminato0721

The University of Tokyo tokyo

@oxalica
oxalica
@Ying1123
Ying Sheng Ying1123
Large Language Models, Machine Learning Systems, Formal Verification, Automated Reasoning.
@EntropyIncreaser
Baitian Li EntropyIncreaser
Baitian Li (李白天), Tsinghua University

Beijing, China

@s-cerevisiae
spore s-cerevisiae
@VictorTaelin
Victor Taelin VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.

Higher Order Company Rio de Janeiro, Brazil

@Gankra
Aria Desires Gankra

axo.dev

@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. Staff SWE @groq. Early engineer @cruise-automation (RIP). Occasional Blogger.

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

@CziSKY
kirraObj CziSKY
before my body is dry.

Gensokyo

@AD1024
Mike He AD1024
Ph.D. student @PrincetonUniversity; Working on formal methods for distributed systems

@PrincetonUniversity Princeton, NJ

@LittleJianCH
简 LittleJianCH
(define 简 简)
@emilypi
Emily Pillmore emilypi
I've stopped maintenance of most things in favor of taking care of cows and such. I encourage y'all to do the same.

@kadena-io Salt Lake City, Utah

@WtzLAS
Wtz_LASR WtzLAS
@frankmcsherry
Frank McSherry frankmcsherry

@MaterializeInc New York, NY

@lynzrand
Rynco Maekawa lynzrand
"Never tried hard before, But dreamt to be special." Building compilers & developer tooling. OCaml / Rust / C# / C / Typescript; en_US / zh_CN.

@moonbitlang AS13-November-01

@RungeCC
Runge RungeCC
@Blealtan
Blealtan Blealtan
Nothing here.
@trackoor
trackoor
Proof Idiot, Co-founder @ Riema Labs / Nubit, PhD @ UCSB, BS @ SJTU

@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

@emilazy
Emily emilazy
she/her
@regehr
John Regehr regehr
CS professor at the University of Utah

University of Utah Salt Lake City, UT, USA

@PrAbsInt
Patrick Cousot PrAbsInt
@torvalds
Linus Torvalds torvalds

Linux Foundation Portland, OR

@donaldnevermore
dcwong donaldnevermore
A self-taught hacker, programming enthusiast, language maniac, and open source developer.
@PhotonQuantum
LightQuantum PhotonQuantum
CS PhD Student @ UToronto

University of Toronto Toronto, Canada

@remi-guan
Remi Guan remi-guan

Non-Constant Quant (ShangHai) Co., Ltd. Shanghai, 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 @databricks, previously @cmu-db; a bubble tea every day makes me happy right away

Databricks Pittsburgh, PA, USA ⇌ Shanghai, China

@misakamm
御坂美琴 misakamm
@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

@mfelleisen
Matthias Felleisen mfelleisen

PLT Boston

@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

@freedan42x
Bredor freedan42x

Gensokyo

@hypercubestart
Andrew Liu hypercubestart
@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

NYC

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

MongoDB Sydney

@Kraks
Guannan Wei Kraks
Assistant professor at Tufts University; programming languages, formal methods, compilers

Tufts University

@tmoreau89
Thierry Moreau tmoreau89

OctoML Toronto

@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