Skip to content
View TOTBWF's full-sized avatar
224 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

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.

Content in all repositories owned by your account will be closed.
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
@buraksocial
Burak Doğan buraksocial
Freelancer.

Izmir, Turkey

@hazardousblock
hazardousblock
@phenguin
Justin Cullen phenguin

Pittsburgh, PA

@silas-hw
Silas Hayes-Williams silas-hw
i like code

studying

@Nielsen642
Nielsen Nielsen642
Building AI agents, automation tools, and full stack apps with Python

Blockchain/AI agent

@sashaboyd
Sasha Boyd sashaboyd

Melbourne Australia

@med-merchise
Medardo Antonio Rodriguez med-merchise
Just a computer programmer.

Merchise Autrement Lansing, Michigan

@jkopanski
Jakub Kopański jkopanski
@cekicEfe
Efe Çekiç cekicEfe
Junior student at Çankaya University
@Alb4don
Alb4don

Brasil

@DKXXXL
EDJ DKXXXL
grad PLT enthusiast
@PhysShell
PhysShell
@Trebor-Huang
Trebor Huang Trebor-Huang
I like mathematics and dependent type theory.

Internal cat of a doughnut

@miracleflow
miracleflow miracleflow
Stay hungry, Stay foolish
@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 New York, New York

@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. Trying to move to Codeberg.

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 type systems and (co)effect systems, especially their pragmatics, ergonomics, and notation.

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
MLE @Logitech, MS CSE @ EPFL | once a Research Engineer @UCL-ARC and @CERN

EPFL / Logitech Vaud, Switzerland

@IanRay11
IanRay11
@saulshanabrook
Saul Shanabrook saulshanabrook
PhD student at @uwplse 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. 🌴✨