Skip to content
View TOTBWF's full-sized avatar
217 followers · 14 following

Achievements

Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Block or report TOTBWF

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@jkopanski
Jakub Kopański jkopanski
@cekicEfe
Efe Çekiç cekicEfe
Junior student at Çankaya University
@Alb4don
Alb4don
Researcher \ Mathematics \ Security enthusiast

Brasil

@DKXXXL
EDJ DKXXXL
grad PLT enthusiast
@PhysShell
PhysShell
@Trebor-Huang
Trebor Huang Trebor-Huang
I'm an undergrad at Tsinghua University. / I like mathematics and dependent type theory.

Internal cat of a doughnut

@miracleflow
Code Machine miracleflow
How can I help you?
@nikecodedev
nikecode nikecodedev
Collaboration level unlocked: bringing ideas, laughs, and just enough caffeine to make magic happen. Let’s see what kind of masterpiece we create! 😄🤝

WorldWide

@mzweav
Matthew Weaver mzweav

@Bloomberg Philadelphia, USA

@djspacewhale
Garrett Figueroa djspacewhale

Colorado

@CaliReyes
CaliReyes

Undead Nightmare Studios

@NathanielB123
Nathaniel Burke NathanielB123

TU Delft Delft, Netherlands

@ncfavier
Naïm Camille Favier ncfavier
aka ncf. PhD student working on cubical type theory.

Chalmers University of Technology Sweden

@LinuxJS
Meow LinuxJS
I code.

@SAMSUNG Multiverse

@SeshatCZ
SeshatCZ

Czech republic

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

Xanadu Canada

@nrs-status
nrs nrs-status
@fredrik-bakke
Fredrik Bakke fredrik-bakke

NTNU Norway

@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@algebraic-dev
Sofia Rodrigues algebraic-dev
i like functional programming languages
@flaviopavim
Flávio Pavim flaviopavim
Skills with lot types of softwares: Web, Desktop, Mobile - Php&MySql, Javascript, Html, Css, Python, Dart, Java, C, C++, C#, Arduino

WhiteHats

@damhiya
Soonwon Moon damhiya

Seoul, Republic of Korea

@mengaww2ya
MENGAW WUBETU mengaww2ya
@nmvdw
Niels van der Weide nmvdw
@cmcmA20
cmcmA20
@vcvpaiva
Valeria de Paiva vcvpaiva
I am a mathematician and AI Research Scientist. My research interests include category theory, type theories, semantics of NL and lexical semantics.

@ToposInstitute Cupertino, CA

@alotfey
Ahmed Lotfey alotfey
IT professional with 13+ years of experience in troubleshooting, system administration, and technical support for Linux, Mac, and server environments. Skilled i

Adecco supporting Google Michigan

@jiribenes
Jiří Beneš jiribenes
PhD student at @se-tuebingen. Interested in effect and coeffect systems.

University of Tübingen, @se-tuebingen Tübingen, Germany

@polykernel
polykernel
*x* is not meant to prove old facts, it is meant to disclose new worlds!

Toronto, Canada

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

Scotland

@dolzenko
Ev Dolzhenko dolzenko
@mattecapu
Matteo Capucci mattecapu
Independent Researcher. Applied Category Theory + ε. Retired web dev.

Glasgow, UK

@jmikedupont2
Mike DuPont jmikedupont2
Senior Full stack developer focused on p2p ml ai devops https://linktr.ee/h4km discord account m1337d

@meta-introspector New Jersey

@funemy
Yanze Li funemy
Misinterpreting PL and math
@morphismz
Raymond Baker morphismz
A contractable space

@MercuryTechnologies Right Here

@rahulc29
Rahul Chhabra rahulc29
Cubes and realizers 🧊λ

Aarhus Univeristy Aarhus, Denmark

@huynhtrankhanh
Huỳnh Trần Khanh huynhtrankhanh
formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be

@rocq-community Vietnam

@Saransh-cpp
Saransh Chopra Saransh-cpp
Intern @Logitech, MS CSE @ EPFL | once a Research Software Engineer @UCL-ARC and @CERN

EPFL / Logitech Vaud, Switzerland

@IanRay11
IanRay11
@saulshanabrook
Saul Shanabrook saulshanabrook
PhD student at @uwplse advised by @gilbo. Previously worked at @Quansight / @Quansight-Labs, @LineaLabs, @jupyterlab and @burke-software.

University of Washington Seattle, WA

@thamugadi
aramya thamugadi
moving to https://codeberg.org/aramya
@faezs
Faez Shakil faezs
The law is a topos

Quetta, Pakistan

@d-xo
dxo d-xo
she / her. 🌴✨
@penguin-wwy
penguin_wwy penguin-wwy
Compiler; Static Analysis; Love Kotlin; Rust is the best great program :)

Shanghai

@nineonine
Alex Dudarenko nineonine
@jonweinb
Jonathan Weinberger jonweinb
Types, Categories, Homotopy. Asst Prof @ Chapman U, Orange, CA.

Chapman University Orange, CA

@fishtreesugar
FTS fishtreesugar
Correct software is niche
@shpark
shpark

Seoul

@pete-murphy
Pete Murphy pete-murphy

Cape Cod, MA

@kentookura
Kento Okura kentookura
Working on forester.