Skip to content
View polykernel's full-sized avatar
🔧
Tinkering
🔧
Tinkering
5 followers · 113 following

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx2

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx2

Highlights

  • Pro

Block or report polykernel

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
@mholt
Matt Holt mholt
M.S. Computer Science. Author of the Caddy Web Server, CertMagic, Papa Parse, JSON/curl-to-Go, Timelinize, and other random stuff...
@recursecenter
Recurse Center recursecenter

New York City

@vincerubinetti
Vincent Rubinetti vincerubinetti
Frontend developer, UX/UI designer, and music composer

University of Colorado Department of Biomedical Informatics Philadelphia

@mahrud
Mahrud Sayrafi mahrud
Math stuff mostly, some rabble-rousing for fun and solidarity.
@talex5
Thomas Leonard talex5
@whitequark
Catherine whitequark
the catgirl knows where it is at all times

@SCISemi UK

@askvortsov1
Alexander Skvortsov askvortsov1

Penn State University

@osa1
Ömer Sinan Ağacan osa1
I like programming languages and compilers. Working on @dart-lang at @google.

Google London

@dheera
Dheera Venkatraman dheera
外星訪問學者

SF bay area

@youwen5
Youwen Wu youwen5
quo errat demonstrator

Tsinghua University Haidian, Beijing

@ekzhang
Eric Zhang ekzhang
An honest, more human kind of software

@thinking-machines-lab New York, NY

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

Chalmers University of Technology Sweden

@PhotonQuantum
LightQuantum PhotonQuantum
CS PhD Student @ UToronto

University of Toronto Toronto, Canada

@mtoohey31
Matthew Toohey mtoohey31
Master's student studying programming languages

University of Toronto

@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@DanilaFe
Daniel DanilaFe
Programming Languages ❤️

Hewlett Packard Enterprise Portland, OR

@orangeduck
Daniel Holden orangeduck
Animation & Machine Learning at Epic Games. Writer / Programmer.

Montreal

@tecosaur
Timothy tecosaur
Builder of digital tools; fan of flexibility and extensibility; libre first. Gradually transitioning to a self-hosted forge.
@mikeshulman
Mike Shulman mikeshulman

University of San Diego San Diego, CA

@stedolan
Stephen Dolan stedolan
@jvns
Julia Evans jvns
@inkandswitch
Ink & Switch inkandswitch
@M-Roth-GIT
Mike Roth M-Roth-GIT
Mathematician

Queen's University

@ggsmith
Gregory G. Smith ggsmith

Queen's University

@BZwanzig
BZwanzig
@hirrolot
hirrolot
At any cost, but for free
@gwern
Gwern Branwen gwern
@nayuki
Nayuki nayuki
I implement data structures, algorithms, and file formats, emphasizing on correct logic and readable code. My website has a list of articles describing my work.

Project Nayuki Toronto, Ontario, Canada

@cnlohr
cnlohr cnlohr
Science is my verb. Christ is my light.

Bellevue, WA

@augustss
Lennart Augustsson augustss

Gothenburg, Sweden

@elijah-potter
Elijah Potter elijah-potter
Author of the Harper grammar checker

@Automattic Golden, Colorado

@thosgood
Tim Hosgood thosgood
@lena-voita
Lena Voita lena-voita
Research Scientist in NLP/LLMs

Barcelona

@komiamiko
Komi Amiko komiamiko
@SebLague
Sebastian Lague SebLague

Denmark

@goldfirere
Richard Eisenberg goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.

@janestreet Philadelphia, PA

@asb
Alex Bradbury asb

@Igalia @muxup Cambridge, UK

@rntz
Michael Arntzenius rntz
@hellwolf
Miao ZhiCheng hellwolf
Promoting the idea of Semantic Money at Superfluid Finance | Building a decentralized future

@decentral-ee, @superfluid-finance Tallinn, Estonia

@JohnEarnest
John Earnest JohnEarnest
I like building tools to enable education and creative programming.

Sedro Woolley, WA

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

McMaster University Hamilton, ON

@jonsterling
Jon Sterling jonsterling
Associate Professor in Logical Foundations and Formal Methods

University of Cambridge Cambridge, Cambridgeshire, UK

@jart
Justine Tunney jart

Mountain View, CA

@Ericson2314
John Ericson Ericson2314
*x* should be designed not by piling feature on top of feature, but by removing the weaknesses and restrictions that make additional features appear necessary.

@ObsidianSystems New York

@ndmitchell
Neil Mitchell ndmitchell
Haskell/Rust programmer. All code is open source and licensed by me, not my employer. All views are my own.

Meta Cambridge, UK

@sergv
Sergey Vinokurov sergv

London, UK

@xnning
Ningning xnning
Types are all you need.

University of Toronto

@jackyzha0
Jacky Zhao jackyzha0
distributed systems, interaction design, and enjoying sunsets

@replit San Francisco

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

Glasgow, UK

@JacquesCarette
Jacques Carette JacquesCarette

McMaster University Hamilton, Ontario, Canada