Skip to content
View tomtomjhj's full-sized avatar
▪️
.__________.
▪️
.__________.
40 followers · 61 following

Sponsoring

@neovim

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: StarstruckAchievement: Public SponsorAchievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: StarstruckAchievement: Public SponsorAchievement: Arctic Code Vault Contributor

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
@dvyukov
Dmitry Vyukov dvyukov

Google Munich

@anfelor
Anton Felix Lorenzen anfelor

Edinburgh, UK

@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@aqjune
Juneyoung Lee aqjune
A personal github account.

Austin, TX

@dongjaelee1
Dongjae Lee dongjaelee1
Ph.D. student at MIT CSAIL PDOS
@pramalhe
pramalhe
@secure-foundations
Secure Foundations Lab secure-foundations
We investigate long-term, fundamental improvements in how to design and build secure systems.
@logsem
Logic and Semantics @ Aarhus University logsem

Aarhus, Denmark

@snu-sf
Software Foundations Laboratory snu-sf

Seoul, Korea

@VeriGu
VeriGu Lab VeriGu
@lexi-lambda
Alexis King lexi-lambda

Chicago, IL

@lemmy
Markus Alexander Kuppe lemmy

@microsoft Redmond, USA

@Blaisorblade
Paolo G. Giarrusso Blaisorblade
Formal Methods Engineer at Bedrock Systems Inc. — Iris/Coq/λ calculus/Haskell/Agda

Bedrock Systems Inc. Berlin, Germany

@cpitclaudel
Clément Pit-Claudel cpitclaudel

EPFL Lausanne, Switzerland

@julesjacobs
julesjacobs
@bollu
Siddharth bollu
mathematics ⋂ computation

University of Cambridge Cambridge

@taiki-e
Taiki Endo taiki-e

Japan

@rems-project
REMS rems-project
@komora-io
Komora komora-io
@ibraheemdev
Ibraheem Ahmed ibraheemdev
Software developer interested in building fast, concurrent, and robust systems.

@astral-sh Toronto

@shiatsumat
Yusuke Matsushita shiatsumat
A Rust researcher.

Tokyo, Japan

@xavierleroy
Xavier Leroy xavierleroy
Professor of software sciences at Collège de France, Paris. Member of Inria research team Cambium. Interested in all scientific aspects of computer programming

Collège de France and Inria Paris, France

@DeepSpec
DeepSpec
@asajeffrey
Alan Jeffrey asajeffrey
Alan passed away in July. Software Engineer at Roblox, focusing on the Luau scripting language.

Roblox Chicago, IL

@anishathalye
Anish Athalye anishathalye

MIT CSAIL Cambridge, MA

@xacrimon
Joel Wejdenstål xacrimon
systems dabbler and ecosystem security group alumni for @rust-lang. i like when code goes fast.

linköping university östergötland / sweden

@Shnatsel
Sergey "Shnatsel" Davidoff Shnatsel
@Lysxia
Xia Li-yao Lysxia
@xnning
Ningning xnning
Types are all you need.

University of Toronto

@nrc
Nick Cameron nrc
Formerly Rust at @microsoft, @rust-lang core team, @pingcap, @mozilla.

Wellington, NZ

@clarus
Guillaume Claret clarus
Formally verifying web3 applications with the Coq proof system. Working at @formal-land 🌲

Formal Land Paris

@dselsam
Daniel Selsam dselsam
@tchajed
Tej Chajed tchajed
Professor at UW-Madison. I write software and prove that it does what it's supposed to.

UW-Madison Madison, WI

@spacejam
Tyler Neely spacejam
reliable stateful systems at scale

Pinecone Berlin

@Qwaz
Yechan Bae Qwaz
Security researcher at @theori-io. Previously @sslab-gatech. Interests: Software Security, Program Analysis, Programming Language

@theori-io Atlanta, Georgia

@ept
Martin Kleppmann ept
Distributed systems researcher at University of Cambridge; author of Designing Data-Intensive Applications; formerly Rapportive/LinkedIn

University of Cambridge Cambridge, UK

@nikomatsakis
Niko Matsakis nikomatsakis

Boston, MA

@RalfJung
Ralf Jung RalfJung
I am not looking for a new job, please do not contact me for recruiting.
@neel-krishnaswami
Neel Krishnaswami neel-krishnaswami

University of Cambridge

@matklad
Alex Kladov matklad
Computers, democracy, and nervous disorder.

@tigerbeetle Lisbon

@jonhoo
Jon Gjengset jonhoo
Rust educational streamer. At @helsing-ai. Previously at AWS. A fan of making things secure, fast, scalable, and well-documented.

@helsing-ai Oslo, Norway

@dtolnay
David Tolnay dtolnay

0xF9BA143B95FF6D82 Redwood City, California

@ilyasergey
Ilya Sergey ilyasergey
CS Prof

National University of Singapore Singapore

@robrix
Rob Rix robrix
Colouring outside the lines.
@Ailrun
Junyoung/"Clare" Jang Ailrun
A passionate programmer equipped with functional arms. Haskell IDE team member of @haskell, affilated with @haskellfoundation. AWS Scientist Intern 2022

CompLogic @ McGill University Montreal, QC, Canada

@jeehoonkang
Jeehoon Kang jeehoonkang
searching for the "right" abstraction for fearless systems programming. associate professor of computing at KAIST.

@kaist-cp, @furiosa-ai Daejeon, 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