Skip to content
View atomb's full-sized avatar

Organizations

@dafny-lang

Block or report atomb

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
@eda-ricercatore
Zhiyang Ong eda-ricercatore
A multilingual, globetrotting cultural chameleon pursuing U.N. SDGs

Design Automation Renegades In passato, vicino al Dolomiti

@dawei-dev
Dawei LIU dawei-dev
Admirer of the beauty of Haskell

Paris

@minsle
minsle
I'am not a spammer!!! :-) I only follow excellent people.

Japan

@sorryeh
Greg sorryeh

Montreal, Canada

@iamtrask
Andrew Trask iamtrask
Leader of @OpenMined, Senior Research Scientist at DeepMind, PhD Student at Oxford, Author of Grokking Deep Learning, Instructor at Udacity

Oxford, England

@stites
Sam Stites stites

@nuprl Boston, MA

@tiziano88
Tiziano Santoro tiziano88
λ f . ( λ x . f ( x x ) ) ( λ x . f ( x x ) )

@google, @project-oak London, United Kingdom

@geraldo-netto
Geraldo Netto geraldo-netto
linux evangelist, stoic, utilitaristic, charitable, INFJ
@3noch
Elliot Cameron 3noch
Interested in functional programming, category theory, type theory, formal verification, Nix, UX, ☕

Indiana

@angusshire
Angus H. angusshire

UC Berkeley Berkeley, CA

@sdiehl
Stephen Diehl sdiehl
I build software.

London

@agam
Agam Brahma agam

Mountain View, CA

@dvcarter
desmond v. carter dvcarter
He has his Summer, when luxuriously Spring's honied cud of youthful thought he loves To ruminate, and by such dreaming high Is nearest unto heaven

michigan

@jonsterling
Jon Sterling jonsterling
Associate Professor in Logical Foundations and Formal Methods

University of Cambridge Cambridge, Cambridgeshire, UK

@sheganinans
Aistis Raulinaitis sheganinans

Data Scientist & Language Architect Orange, CA

@trietptm
Minh-Triet Pham Tran trietptm
APT Hunter, Threat Hunter, Incident Responder, Forensics Analyst, Information Security Consultant, Red Teamer (Network+System views)

TRIETPTM INFOSEC Vietnam

@gilith
Joe Leslie-Hurd gilith
Robot mathematician, probability plumber, chip monk, etc.

Intel Corporation Portland, OR, USA

@aturon
Aaron Turon aturon
Engineer at Fastly, working on Compute

Fastly Portland, OR, USA

@kennknowles
Kenn Knowles kennknowles
Hack, hack, hack!!!

@GoogleCloudPlatform

@jtdaugherty
Jonathan Daugherty jtdaugherty

Galois, Inc. Portland, OR

@steshaw
Steven Shaw steshaw
Loves programming languages!

Brisbane, Australia