Skip to content
View tomtomjhj's full-sized avatar
▪️
.__________.
▪️
.__________.

Sponsoring

@neovim

Highlights

  • Pro

Organizations

@sparcs-kaist @kaist-cp

Block or report tomtomjhj

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
@jeehoonkang
Jeehoon Kang jeehoonkang
Searching for the "right" abstractions for AI accelerators. Chief Research Officer @furiosa-ai

@furiosa-ai, @kaist-cp Seoul, Korea

@tdietert
Thomas Dietert tdietert
Generalist Software Engineer & Functional Programming Enthusiast

Boulder, CO

@jwiegley
John Wiegley jwiegley
Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.

@kadena-io California, USA

@isovector
Sandy Maguire isovector
Author, programmer, musician, trouble-maker.

Vancouver, BC

@chrisdone
Chris Done chrisdone

Artificial Labs @artificialio England

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

Aarhus

@taktoa
Remy Goldschmidt taktoa
Compiler guy

@MatX-inc /nix/store

@sweirich
Stephanie Weirich sweirich
Wish I had more time to code. And by code, I mean prove things.

University of Pennsylvania Philadelphia

@jaspervdj
Jasper Van der Jeugt jaspervdj
Haskell programmer. I like to make things.

programmer at @snyk Zurich, Switzerland

@ekmett
Edward Kmett ekmett
I write a lot of Haskell.

Positron AI Farmington Hills, MI

@yallop
Jeremy Yallop yallop

University of Cambridge Cambridge, UK

@sdiehl
Stephen Diehl sdiehl
I build software.

London