Skip to content
View brendanzab's full-sized avatar
😵‍💫
writing elaborators
😵‍💫
writing elaborators
824 followers · 343 following

Sponsoring

@servo

Achievements

Achievement: QuickdrawAchievement: Public SponsorAchievement: Pair ExtraordinaireAchievement: Pull Sharkx4Achievement: Starstruckx4Achievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: Public SponsorAchievement: Pair ExtraordinaireAchievement: Pull Sharkx4Achievement: Starstruckx4Achievement: Arctic Code Vault Contributor

Organizations

@yeslogic @PistonDevelopers @gluon-lang @proglangdesign @pikelet-lang

Block or report brendanzab

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.

Please don't include any personal information such as legal names or email addresses. Maximum 250 characters, 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
@tjpalmer
Tom tjpalmer
@amyjko
Amy J. Ko amyjko
I'm a Professor at the University of Washington iSchool. I study our individual and collective struggle to understand computing.

University of Washington Seattle, WA

@nineties
Koichi NAKAMURA nineties
CEO&Founder of https://idein.jp

Idein Inc. Tokyo, Japan

@JacquesCarette
Jacques Carette JacquesCarette

McMaster University Hamilton, Ontario, Canada

@hwayne
Hillel Wayne hwayne

Chicago

@chrisamaphone
Chris Martens chrisamaphone

Northeastern University

@mbbx6spp
Susan Potter mbbx6spp
Re-imagining software with functional programming. Nix, Haskell, Scala, PureScript, TypeScript.

@referentiallabs Illinois

@dhil
Daniel Hillerström dhil
Effectful programmer

Category Labs, New York City, NY, USA

@kneasle
Ben White-Horne kneasle
Systems programmer, musician, church bell ringer & composer, rustacean.

Cadence Design Systems UK

@iczelia
Kamila Szewczyk iczelia
21yo. professor of computational heresy. formerly @Dyalog.

Germany

@zakarumych
Zakarum zakarumych
@deech
Aditya Siram deech
@lord
lord
@acorrenson
Arthur Correnson acorrenson
PhD candidate at CISPA. Working on formal verification using proof assistants.

CISPA Helmholtz Center for Information Security Saarbrücken

@inconvergent
ncnvrgnt inconvergent
play my new browser game for free at: https://boxtype.app

norway

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

McMaster University Hamilton, ON

@dvanhorn
David Van Horn dvanhorn

@plum-umd Washington, DC

@sdleffler
Shea Leffler sdleffler
Maximum volume yields maximum results. Yes, I *am* a violinist, why do you ask?

Briones, California

@danieljharvey
Daniel Harvey danieljharvey
This is the thing I haven't given up on yet.

London

@ajrouvoet
Arjen Jonathan ajrouvoet
@TanTanDev
TanTanDev
@dfrg
Chad Brokaw dfrg

Google New York, NY

@elpinal
El Pin Al elpinal
Abstract behavior
@keleshev
Vladimir Keleshev keleshev
OCaml developer

Copenhagen, Denmark

@bellinitte
Charlie Bellini bellinitte
@sarahzrf
sarahzrf sarahzrf
computational trinitarian who only reads Church on easter and christmas

N/A sf

@eashanhatti
eashanhatti
@tlringer
Talia Ringer tlringer
Assistant Professor of Computer Science at Illinois. Type theory, proof engineering, proof automation.

Champaign, IL

@hydrolarus
Lara hydrolarus
@pdarragh
Pierce Darragh pdarragh
PhD student at the University of Maryland, interested in programming languages and their usability.

UMD College Park, MD

@katef
Katherine katef

Scotland

@kipply
kipply kipply

Richmond Hill, Ontario

@jeanqasaur
Jean Yang jeanqasaur

@akitasoftware

@andrewrk
Andrew Kelley andrewrk
Lead developer & president of Zig Software Foundation

@ziglang Portland, Oregon

@leodemoura
Leonardo de Moura leodemoura
See https://leodemoura.github.io/about.html

AWS Seattle

@twe4ked
Odin twe4ked

@wearelyssna

@JohnReppy
John Reppy JohnReppy

University of Chicago Chicago, IL

@elucent
elucent elucent
i peaked in high school when I made mods for minecraft
@atennapel
Albert ten Napel atennapel

Netherlands

@ell1e
Ellie ell1e
Main profile: https://codeberg.org/ell1e Check https://cloudy.horse64.org for the person behind this content. My e-mail: el AT horse64.org
@toothbrush
paul david toothbrush
🏝️ 🐊

@redbubble & @TeePublic Australia

@raphlinus
Raph Levien raphlinus
@david-christiansen
David Thrane Christiansen david-christiansen

Copenhagen, Denmark

@fu5ha
Gray Olson fu5ha
Artist, programmer, gamer, bit-twiddler, overall nerd. Rust/graphics dev.

@EmbarkStudios Stockholm, Sweden

@c-cube
Simon Cruanes c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.

Imandra (@imandra-ai) washington DC

@angea
Ange Albertini angea
Reverse engineer, author of Corkami
@robotlolita
Quil robotlolita
PL designer ● Artist ● Writer ● I like cute things and cats
@sliminality
Slim sliminality
father | husband | christian | pbcopy

@NotionHQ San Francisco

@emina
Emina Torlak emina

University of Washington Seattle

@laMudri
James Wood laMudri