Skip to content
View zenzike's full-sized avatar

Highlights

  • Pro

Organizations

@hdbc @haskell-distributed

Block or report zenzike

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
@alt-romes
Rodrigo Mesquita alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else

Well-Typed LLP @ GHC Team Portugal

@zinzilulo
zinzilulo
Imagine using C3 when there is C99

Imperial College London London, United Kingdom

@Non-Sequitur1
Sun Young Li (李荀杨) Non-Sequitur1
Aspirational computer scientist & mathematician. 计算机与数学领域爱好者 NKG/HKG/LDN
@Not-TNB
not-tnb Not-TNB
MEng Mathematics & Comp. Sci.

Imperial College London London, UK

@augyg
Galen Sprout augyg
Live Laugh Love, Functionally

Ace Talent Community

@ahndmal
Andrii Maliuta ahndmal
Developing custom staff for @atlassian 's Confluence/Jira @Sumy-Coding

AC Ukraine

@peter-avg
Peter Avgerinos peter-avg
Currently Studying @ Imperial College London

London, UK

@LinuxJS
Meow LinuxJS
I code.

@SAMSUNG Multiverse

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

Xanadu Canada

@OfficialCodeVoyage
Pavlo Bondarenko OfficialCodeVoyage
product | Claude Code very active user

Denver, CO

@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@zeon-neon
Zeon zeon-neon
im @NeonGamerBot-QK bot called zeon.

@NeonGamerBot

@OliverMadine
Oliver Madine OliverMadine
Engineer @ Palantir | CS @ Imperial College

Imperial College London United Kingdom

@abhinandshibu
Abhinand Shibu abhinandshibu
PhD Machine Learning for Education @ EPFL & ETH

EPFL Switzerland

@starswap
Hamish Starling starswap
Computing Undergraduate at Imperial College London

Imperial College London Lausanne, CH

@ksambhi
Kishan Sambhi ksambhi

London, United Kingdom

@Ei30metry
Artin Ghasivand Ei30metry
Programming Language Theory enthusiast.

Iran, Karaj

@NathanielB123
Nathaniel Burke NathanielB123

TU Delft Delft, Netherlands

@arbipher
Shiwei Weng 翁士伟 arbipher
JHU Ph.D. Student // Fudan B.Eng // PL is the classics of computer science.

Johns Hopkins University Baltimore, Maryland, USA

@funemy
Yanze Li funemy
Misinterpreting PL and math
@fishtreesugar
FTS fishtreesugar
Correct software is niche
@evanrelf
Evan Relf evanrelf

@MercuryTechnologies Portland, Oregon, United States

@rossng
Ross Gardiner rossng
CAD + robotics software engineer. Likes types.

Monumental Amsterdam

@david-davies
David Davies david-davies
when the when the amogus
@RiscInside
Iurii Zamiatin RiscInside

Imperial College London London

@kashparty
Pratyaksh Sharma kashparty
Computer Science Student at Imperial College London.

Imperial College London Colchester, United Kingdom

@frank-yuzhige
this.binary.universe() frank-yuzhige
4th year MEng student at Imperial College London. Software Engineer Intern at Arctic Lake Technology Ltd.

Where I stands

@fangyi-zhou
Fangyi Zhou fangyi-zhou
Software Engineer | Programming Language Researcher en.pronouns.page/she&they

@facebook London, UK

@MarksDaniel
Daniel Marks MarksDaniel
DPhil in Statistical Machine Learning

University of Oxford Oxford, United Kingdom

@OliverKillane
Oliver Killane OliverKillane
Spaceflight enthusiast, rustacean & tex enjoyer.

Amsterdam

@HEIGE-PCloud
PCloud HEIGE-PCloud

@ImperialCollegeLondon London, UK

@thwfhk
Wenhao Tang thwfhk
PhD student in Programming Languages

The University of Edinburgh Edinburgh, UK

@Twanneman
Twanneman Twanneman
Hi! My name is Twan van Landschoot a.k.a. Twanneman and I'm a developer & designer

Studio Twanneman.nl Tilburg, North-Brabant, The Netherlands, Earth, Milky Way, Virgo Supercluster