Skip to content
View graydon's full-sized avatar
💭
objecting to features
💭
objecting to features
7.6k followers · 497 following
  • Vancouver, BC

Block or report graydon

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
@hkust-taco
HKUST TACO Lab hkust-taco
Types, Abstraction, Compilers & Optimization – research group at HKUST

Hong Kong

@truenas
TrueNAS truenas
The world's most popular Open-Source Software Defined Storage.
@malloydata
malloydata
Malloy is an experimental language for describing data relationships and transformations.
@barry-jay-personal
Barry Jay barry-jay-personal
I've left the university to work on my book and explore other opportunities

self-employed Sydney, Australia

@jmqd
Jordan McQueen jmqd
slow is smooth, smooth is fast. distributed systems, rust, security, resiliency, reliability, performance.

Tokyo, Japan

@rachitnigam
Rachit Nigam rachitnigam
prof at MIT. creator of @calyxir. up to no good.

Massachusetts Institute of Technology

@toomim
Michael Toomim toomim
I'm working on braid.org, cheeseburgertherapy.org, and invisible.college

Invisible College Berkeley and Big Island

@Porges
George Pollard Porges
(this is mostly a junkyard, but there are some nice bits)

@Microsoft Auckland, Aotearoa [New Zealand]

@cpu
Daniel McCarney cpu
Ⓥ

Les Laurentides, Québec

@xlambein
Xavier Lambein xlambein
Developer & artist from Belgium. I'm mainly on Codeberg these days: https://codeberg.org/xlambein

@gigs Brussels, Belgium

@baumanj
Jon Bauman baumanj
Ugly bag of mostly water

@rustfoundation

@jplatte
Jonas Platte jplatte
Personal account; work @svix-jplatte

Germany

@claremacrae
Clare Macrae claremacrae
I'm a retired software engineer and independent consultant who loves working with legacy and hard-to-test code. She/her

Cambridge, UK.

@hkuplg
HKU Programming Languages Group hkuplg

Hong Kong

@koute
Koute koute
KSM: HTk3eccL7WBkiyxz1gBcqQRghsJigoDMD7mnQaz1UAbMpQV

@paritytech Tokyo, Japan

@compiler-errors
Michael Goulet compiler-errors

nyc

@typedb
TypeDB typedb
Built for systems, not records

London, United Kingdom

@haikalpribadi
Haikal Ryclova-Pribadi haikalpribadi
Founder of @typedb, computer scientist & amateur triathlete

Zürich, Switzerland

@flyingsilverfin
Joshua Send flyingsilverfin
Computer Scientist @typedb leading development of TypeDB and TypeQL. Located in New York City!

@typedb

@zshipko
zach zshipko

Los Angeles, CA

@chandrakananandi
Chandrakana Nandi chandrakananandi

UW Seattle Seattle, Washington, USA

@PLSysSec
UCSD PLSysSec PLSysSec

UCSD

@xnning
Ningning xnning
Types are all you need.

University of Toronto

@brunocdsoliveira
brunocdsoliveira
@juniorxxue
Xu Xue juniorxxue

@hkuplg

@taiki-e
Taiki Endo taiki-e

Japan

@kriti-sc
Kriti Kathuria kriti-sc

Toronto, Canada

@cwida
CWI Database Architectures Group cwida

Amsterdam, The Netherlands

@hannes
Hannes Mühleisen hannes
Mostly DuckDB

DuckDB Labs Amsterdam

@Mytherin
Mark Mytherin
I'm the co-founder of DuckDB Labs. I like databases.

DuckDB Labs Amsterdam, Netherlands

@komora-io
Komora komora-io
@jonsterling
Jon Sterling jonsterling
Associate Professor in Logical Foundations and Formal Methods

University of Cambridge Cambridge, Cambridgeshire, UK

@catamorphism
Tim Chevalier catamorphism

@Igalia Oakland, CA

@unum-cloud
Unum unum-cloud
The IO Layer For AI

United Kingdom

@mwillsey
Max Willsey mwillsey
asst prof at uc berkeley

Berkeley, CA

@rustfoundation
Rust Foundation rustfoundation
An independent non-profit organization to steward the Rust programming language and ecosystem
@avanhatt
Alexa VanHattum avanhatt
Assistant professor of computer science at Wellesley College

United States

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

Scotland

@shwestrick
Sam Westrick shwestrick

New York University New York, NY

@0xa
alice 0xa
i'm a new line
@frewsxcv
Corey Farwell frewsxcv

Brooklyn

@JohnReppy
John Reppy JohnReppy

University of Chicago Chicago, IL

@cjgillot
Camille Gillot cjgillot
@matschaffer
Mat Schaffer matschaffer
Observability Engineer

Roblox Yamanashi, Japan

@andrejbauer
Andrej Bauer andrejbauer
Professor of computational mathematics

University of Ljubljana Slovenia

@zesterer
Joshua Barretto zesterer
Interested in things. Usually exhausted. None of the code I write comes out of an LLM. Any mistakes are my own.

Bristol, UK

@EdAyers
Ed Ayers EdAyers

Cogna Ltd Cambridge, UK

@aurora-rs
Aurora aurora-rs
@wasmx
wasmx wasmx
Wasm Skunkworks (a project of @ipsilon)