Skip to content
View digama0's full-sized avatar
549 followers · 0 following

Achievements

Achievement: Pair Extraordinairex4Achievement: Starstruckx3Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex4Achievement: Starstruckx3Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Organizations

@metamath @leanprover-community

Block or report digama0

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 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
@TheGrognardling
Thomas Morley TheGrognardling
Student · Researcher · Tinkerer · Hacker
@PhysShell
PhysShell
@kaznak
Nakamura Kazutaka kaznak

Tokyo, Japan

@CheeksTheGeek
Chaitanya Sharma CheeksTheGeek
prev at comtech (accenture), rocket science vfx & softchoice

Waterloo, ON, Canada

@smj-edison
Mason Jones smj-edison
Hobbyist who enjoys DSP, playing instruments, cool JS libraries, and anything shiny. I'm stephen.mason.jones on KA.

Washingon, US

@samem26
samuel emad samem26
@nathsou
Nathan Soufflet nathsou
Software Engineer @CERN

@CERN Rhône-Alpes, France

@DarkL0gos
DarkL0gos
@fadli0029
Fadli Arsani fadli0029
I like robots & low-latency C++.

California, United States

@Saoi2
Saoi2
@jnlindsay
Jeremy Lindsay jnlindsay
PhD student in automated reasoning and artificial mathematical intelligence.

University of Melbourne Melbourne, Victoria, Australia

@aeRToE
aeRToE
@antony-jeong
Jeong Seunghyeon antony-jeong
@srghma
Serhii Khoma srghma
All life = autocatalyst (cat + mol that cr cat) -> molecular-robot-selfreplicator -> ... -> universal explainer. We can live ∞ (but iff Open Soc of Karl Popper)
@zetanumbers
Daria Sukhonina zetanumbers
The only limit is your imagination

Russia, Moscow

@o-a-h
Oliver Hudson o-a-h

Boston, MA

@mathematics-physics
mathematics-physics
:)
@dfdgsdfg
seunggi dfdgsdfg

Internet

@Komyyy
Miyahara Kō Komyyy
My family name is "Miyahara".

Tokyo University of Science Tokyo, Japan

@venkat-oss
Venkat venkat-oss
Builds Stuff., Electronics and Software.
@Liebmann5
Nick Liebmann Liebmann5
"And how about Marla Hooch. What a hitter." - A League of Their Own

Santa Clarita, CA

@Passw
Passw
@sdiehl
Stephen Diehl sdiehl
I build software.

@onechronos London

@geezee
George Zakhour geezee

Switzerland

@elgerytme
Andrew Meier elgerytme
@Soulthym
Soulthym
@ben-albrecht
Ben Albrecht ben-albrecht

@Google-DeepMind

@aethesia
Shangxu Ren aethesia
A senior student majoring in artificial intelligence at Harbin Institute of Technology.

Harbin Institute of Technology Harbin, Heilongjiang, China

@luiscordovaInv
luiscordovaInv
@smoonthsky
smoonthsky smoonthsky
robot sdv

hsq metabitverse

@2veestro
2veestro
really fake and gay my guy 　　 　 　 　　 　 　 　　 　　 　 　 　 　 　　 　 　 　@vegazzombie no @uv-light glizzy

@r4zzled IM INTERACTING @vysters on jovial merryment I was just playing!!! @dajczman @4shadowmilkcookie gay @trody gayer @frvitcake gayer v2 @yoyleland @fuziyamas @10shadows @DandysworId @ringmasterr VICTIMS of mine

@lyubovkot25
lyubovkot25
@typocrates
typocrates
@nightly
Omar Adalat nightly
@rybla
Henry Blanchette rybla
programming languages, formal verification, game dev, game theory

CS PhD student at UMD Washington, DC

@vnlemanhthanh
Thanh M. Le vnlemanhthanh
From nothing, truth emerges

Ho Chi Minh City, Viet Nam

@AkasakaJelos
Kwok Wai Lui AkasakaJelos
ETHZ-EPFL CyberSec, interested in crypto like ZKP or Formal Verification and more

Switzerland

@NickAdfor
Nick Adfor NickAdfor
@aversey
Aleksey Veresov aversey

@logicalclocks Stockholm, Sweden

@mrrahman1517
Muntasir Raihan Rahman mrrahman1517
Dr. Muntasir Raihan Rahman is a principal machine learning engineer (Keystone.ai, Ex MSFT, Ex Bell Labs), PhD UIUC.

Keystone.ai

@Tammo0987
Tammo Tammo0987
I am Tammo and 25 years old

Netherlands

@ahmedtadde
Ahmed Tadde ahmedtadde
Software Engineer

Washington, D.C

@RuoranXu
Ruoran Xu RuoranXu
ML，RL，AI4Math
@kettle11
Ian Kettlewell kettle11
@OthonDeAssis
Othon DeAssis OthonDeAssis
Majoring Computer Science and Engineering at The Ohio State University with a specilaization in Software Engineering

The Ohio State University

@salikh
Salikh Zakirov salikh
@lanmaker
ding lanmaker
@dnezam
Daniel Nezamabadi dnezam
@KacperFKorban
Kacper Korban KacperFKorban
PL/FM PhD Student @ EPFL (SYSTEMF) Working on Verified Compilation

Lausanne, Switzerland

@jcailler
Julie Cailler jcailler

University of Lorraine Nancy