Skip to content
View thwfhk's full-sized avatar
🍊
Orange!
🍊
Orange!

Highlights

  • Pro

Block or report thwfhk

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
@ZebinGao
Zebin ZebinGao
人生天地间,忽如远行客。黄泉无旖旎,戚戚何所迫?

Bosch Berlin

@sinajr2011-prog
SinaJr sinajr2011-prog
👻 I am Sina Jafari, a creative student from Iran who is passionate about innovative programming. I am also interested in artificial intelligence and web design

Cypher Group Iran, KhorasanRazavi

@nholuongut
Nho Luong nholuongut
💁 🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳 - Vietnam DevOps Engineer Lead - Vietnam Timeless Charm - Enjoy Every Moment

DevOps and Platform Services Lead From Ho Chi Minh City, Viet Nam

@4y8
Aghilas Y. Boussaa 4y8

École normale supérieure - PSL

@Zera-Algorithm
Zhang Renpeng Zera-Algorithm
Student of Beihang University @Zhang Renpeng

北京航空航天大学 北京

@johnyob
Alistair johnyob
Compiler & Type System Enthusiast

University of Cambridge United Kingdom

@24601
Basit Mustafa 24601
Tell your agents I said hi.

carcinize corp Telluride, CO

@Linyxus
Yichen Xu Linyxus
PhD student @ LAMP, EPFL

Wuxi, China

@serkm
Serkan Muhcu serkm
PhD student in programming languages

TU-Berlin Berlin

@Xvezda
Xvezda Xvezda
Front-End Developer / Web Application Bug Hunter / VIM, JavaScript, Python ❤️

Seoul, South Korea

@yzyzsun
Yaozhu Sun yzyzsun

@NII-foss Tokyo, Japan

@jelspace
21world jelspace
Who not work will not Eat ][Basic Income(free money and all time free) monetization][ vs ][Employment(exchange your time for money) monetization][
@hrtan99
Thomas hrtan99
CS Student

HKUST Hong Kong, China

@standardgalactic
Cogito Ergo Sum standardgalactic
𝘏𝘰𝘮𝘦 𝘰𝘧 𝘵𝘩𝘦 𝚂𝚝𝚊𝚗𝚍𝚊𝚛𝚍 𝙶𝚊𝚕𝚊𝚌𝚝𝚒𝚌 𝙰𝚕𝚙𝚑𝚊𝚋𝚎𝚝

Xanadu Canada

@omentic
JJ omentic
I like all languages.

Vancouver, BC

@CAIMEOX
CAIMEO CAIMEOX
More is different.

IDEA Complex Manifold

@cu1ch3n
Cui Chen cu1ch3n
PhD candidate @hkuplg / @NixOS user and package maintainer

@hkuplg

@ahuoguo
Alex Bai ahuoguo

New York University

@joulook
Mohammad Hossein Khoshechin Jorshari joulook
Ph.D. Student @ MPI-SWS / Formal Verification / Distributed Systems / Concurrency Theory

Germany

@XYUnknown
Xueying Qin XYUnknown
我是猫。 吾輩は猫である。 I am a cat.

University of Southern Denmark Odense/Edinburgh

@timetraveler314
AsyncTrivializer timetraveler314
Junior @ Peking Univ. EECS | Carnegie Mellon / 从类型学高塔一跃而下

Peking University Overworld

@funemy
Yanze Li funemy
Misinterpreting PL and math
@k1pfel
Rin k1pfel
Accept-Language: zh-CN, zh, en;q=0.5

/bin/cat

@alt-romes
Rodrigo Mesquita alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else

Well-Typed LLP @ GHC Team Portugal

@dannypsnl
Lîm Tsú-thuàn dannypsnl
巫術 • 展開

Taiwan

@diasbruno
Bruno Dias diasbruno
☕ 🛹 🎾 🎼 λ

Brazil

@thamugadi
aramya thamugadi
moving to https://codeberg.org/aramya
@ungatz
sanad ungatz

Indiana University Bloomington, IN, USA

@roife
roife roife
Interested in PL and Compiler.
@lzy0505
Zongyuan Liu lzy0505
Post Doc in formal verification of software @ Aarhus University

@logsem Aarhus

@Yvan-xy
Yvan Yvan-xy
Compiler Engineer

Aarhus University Moon

@CanftIn
CanftIn CanftIn
Free software enthusiast. Compiler/PL developer. Dev in LLVM/MLIR/Clang. Vim/Emacs user. Programming for fun.

view in resume Shanghai/Beijing China

@penguin-wwy
penguin_wwy penguin-wwy
Compiler; Static Analysis; Love Kotlin; Rust is the best great program :)

Shanghai

@fishtreesugar
FTS fishtreesugar
Correct software is niche