Skip to content
View tomtomjhj's full-sized avatar
β–ͺ️
.__________.
β–ͺ️
.__________.
57 followers · 67 following

Sponsoring

@neovim

Achievements

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

Achievements

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

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@mshockwave
Min-Yih Hsu mshockwave
Compiler Plumber @ SiFive

SiFive California, United States

@gzz2000
Zizheng Guo gzz2000
Contemplation is a joy of scientists

Peking University China

@rohany
Rohan Yadav rohany
@eliben
Eli Bendersky eliben

@google California

@tenstorrent
Tenstorrent AI tenstorrent

United States of America

@bondhugula
Uday Bondhugula bondhugula
Faculty member at CSA, IISc; founder, PolyMage Labs.

Indian Institute of Science and PolyMage Labs Bangalore, India

@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.

AWS 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

@NVIDIA 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, Canada

@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

@joinhandshake San Francisco, CA

@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

United Kingdom

@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
Security researcher at @formal-land 🌲 for Web3 applications Applying the πŸ“ proof system to find all the vulnerabilities. πŸ»β€β„οΈ

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

Snowflake Berlin

@qwaz
Yechan Bae qwaz
Security Researcher at Microsoft Security AI (MSECAI). Previously at @theori-io (@qwaz-theori) and @sslab-gatech.

@microsoft

@ept
Martin Kleppmann ept
Distributed systems + security protocols 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.

@colimit-ai