Skip to content
View damhiya's full-sized avatar
107 followers · 100 following

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Organizations

@PnVDiscord

Block or report damhiya

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

Carnegie Mellon University

@tomtomjhj
Jaehwang Jung tomtomjhj
.__________.
@park-sunho
Sunho Park park-sunho

@snu-sf Seoul, Republic of Korea

@gares
Enrico Tassi gares
I'm a researcher in CS, mainly formal proofs and the implementation of proof assistants. I'm a hacker, a free software supporter

@coq @math-comp @LPCIC Inria Sophia-Antipolis

@pi8027
Kazuhiko Sakaguchi pi8027
Postdoc in the Plume team | Interests: interactive theorem proving, formalization of mathematics, proof by reflection, and parametricity

CNRS, ENS de Lyon, UCBL, LIP Lyon, France

@wenkokke
Wen Kokke wenkokke
tries to walk the line between programming languages and a̸i̸ | good job, y'all ruined ai

Scotland

@Yoogeonhui
YGH Yoogeonhui

FriendliAI Incheon, Republic of Korea

@teorth
teorth
@amintimany
Amin Timany amintimany
Associate professor of computer science in the Programming Languages, Logic, and Software Security (PLS) section of Aarhus University — @logsem

Aarhus University Aarhus, Denmark

@andreasabel
Andreas Abel andreasabel

Chalmers and Gothenburg University Gothenburg, Sweden

@RangHo
Juhun Lee RangHo
"Software engineer", programming language enthusiast, professional procrastinator.

Yonsei University, @FCAI-Lab Seoul, Republic of Korea

@favonia
favonia favonia
Teaching at U of Minnesota
@jonsterling
Jon Sterling jonsterling
Associate Professor in Logical Foundations and Formal Methods

University of Cambridge Cambridge, Cambridgeshire, UK

@hoshinolina
Hoshino Lina hoshinolina
Hello everyone, Hoshino Lina here! I'm a developer VTuber!

Tokyo

@Pribess
Heewon Cho Pribess
Greedy reductionist
@xnuk
즈눅 xnuk
@petrosyh
Yonghyun Kim petrosyh

MPI-SP Bochum

@RalfJung
Ralf Jung RalfJung
I am not looking for a new job, please do not contact me for recruiting.
@DPS0340
Jiho Lee DPS0340
Aspiration
@homotopy-io
homotopy.io homotopy-io
A proof assistant implementing the theory of associative n-categories
@hongseok-yang
Hongseok Yang hongseok-yang
Professor at Korea Institute for Advanced Study (KIAS)
@jcpaik
Jineon Baek jcpaik
Research Fellow @ Korea Institute for Advanced Study (KIAS), Korea. I use programming to understand, assist and formalize my pure mathematics research.

Yonsei University Seoul

@ratsgo
gichang.lee ratsgo
NLP researcher

NAVER Clova Seoul

@MetaFibonacci
MetaFibonacci
@mhcoma
Coma mhcoma
I am a dog. Ich bin ein Hunt. 私は犬です。 저는 개입니다.

Suwon, Korea

@dongjaelee1
Dongjae Lee dongjaelee1
Ph.D. student at MIT CSAIL PDOS
@snu-sf
Software Foundations Laboratory snu-sf

Seoul, Korea

@fwangdo
Doyeon Hwang fwangdo
Good faith and sincerity

Seoul, Republic of korea

@goldenRabbit-23
Justin Kim goldenRabbit-23

Yonsei University Incheon, Republic of Korea

@martinescardo
Martin Escardo martinescardo
Professor of Theoretical Computer Science

University of Birmingham United Kingdom

@TOTBWF
Reed Mullanix TOTBWF
An object in an Elegant Reedy Category.

McMaster University Hamilton, ON

@Hyun2023
Hyunwoo Lee Hyun2023
@park-sewon
Sewon Park park-sewon

IMFM Ljubljana, Slovenia

@awodey
Steve Awodey awodey

CMU Pittsburgh PA

@haedosa
Haedosa haedosa

Korea, South

@andrejbauer
Andrej Bauer andrejbauer
Professor of computational mathematics

University of Ljubljana Slovenia

@HuStmpHrrr
Jason Hu HuStmpHrrr
Applied scientist at AWS; PhD from McGill University; MMath from University of Waterloo; https://gitlab.com/JasonHuZS

AWS Seattle, WA

@Innf107
Prophet Innf107
@constexpr-if
Junhyeon Lee constexpr-if

South Korea

@mikeshulman
Mike Shulman mikeshulman

University of San Diego San Diego, CA

@AndrasKovacs
András Kovács AndrasKovacs
Type theory, applications, implementation
@netgamesekai
netgamesekai
@twinstae
Taehee Kim twinstae
물리가 좋아서 물리학과를 나왔지만, 프로그래밍과 데이터과학을 공부하고 코칭하고 있습니다. TDD, DDD, 함수형 프로그래밍, 비동기, 학습, 애자일agile, 민주주의, 과학적 방법 같은 주제에 관심을 가지고 있습니다.

삶을 풍요롭게 하는 코칭

@taeyoung-1
Taeyoung Yoon taeyoung-1
@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@hirrolot
hirrolot
At any cost, but for free
@EatChangmyeong
잇창명 EatChangmyeong
@sohnryang
Ryang Sohn sohnryang
Add a bio *blinking cursor*

POSTECH Pohang || Seoul, South Korea

@ENvironmentSet
Jaewon Seo ENvironmentSet
Consultant & Innovator. Find what you really want and bring them to you.

@daangn South Korea, UTC+9:00

@bglgwyng
bglgwyng