Skip to content
View googleson78's full-sized avatar
105 followers · 303 following

Sponsoring

@kcsongor
@plt-amy

Achievements

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

Achievements

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

Organizations

@polysemy-research

Block or report googleson78

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 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
@4e554c4c
Calvin Lee 4e554c4c
i care about linux desktop protocols, open social media, programming languages and mathematics.

IRC

@Amalino7
Александър Малинов Amalino7
@wrl314
Wayne Lewis wrl314

Portland, OR

@cydparser
cydparser

Portland, OR

@amesgen
amesgen

Germany

@Ei30metry
Artin Ghasivand Ei30metry
Programming Language Theory enthusiast.

Iran, Karaj

@July541
Lei Zhu July541
Strong type consistent

Chongqing, China

@raehik
Ben Orchard raehik
夢を抱きしめろ Embrace your dreams

@artificialio computer

@eviefp
Evie Ciobanu eviefp
@sellout
Greg Pfeil sellout
Designing terrible languages and writing Haskell. Sometimes writing code to help my other pursuits … like skiing or telling time.

independent consultant Boulder, CO, USA

@velveteer
Josh Miller velveteer

H-E-B San Antonio

@djacu
Daniel Baker djacu

California, USA

@lf-
jade lf-
soft-clawbed rustacean. 🔹 they
@benradf
Ben Radford benradf

@tweag London

@shayne-fletcher
Shayne Fletcher shayne-fletcher

New York, New York

@thufschmitt
Théophane Hufschmitt thufschmitt
@chreekat
Bryan Richter chreekat
Haskell space cadet 🚀 DevOps nerd 💩

Helsinki

@zimbatm
Jonas Chevalier zimbatm
$ echo Building minimalist CLI tools. Obsessed with @NixOS. Running @numtide.

@numtide [@x1:~] $

@emilypi
Emily Pillmore emilypi
Cows are more fun than tech.

Salt Lake City, Utah

@layus
Guillaume Maudoux layus

Discworld

@dcoutts
Duncan Coutts dcoutts

Well-Typed

@andreabedini
Andrea Bedini andreabedini
Haskell / Nix / Build Systems / DevEx. Theoretical physicist, experimental mathematician, or something in between. Strangely attracted by old codebases.

@tweag Perth, Australia

@nrnrnr
Norman Ramsey nrnrnr
Happy hacker in ML, Lua, Haskell, C, others.

Tufts University Malden, Mass, USA

@bodil
Bodil Stokke bodil

Vault-Tec Corporation

@RaitoBezarius
Ryan Lahfa RaitoBezarius
Formal verification, systems engineering, network engineering and more. A love for Public Interest projects and a passion for simple & elegant systems.

Independent Contributor France

@aphyr
Kyle Kingsbury aphyr

@jepsen-io USA

@Veykril
Lukas Wirth Veykril
@rust-analyzer lead, accidental IDE dev, specification writer and general open source tinkerer

@zed-industries Germany

@FixPlanet
Fix Planet Club FixPlanet
Supporting you to find a sustainable fixed point for the planet :)
@balsoft
Alexander Bantyev balsoft
@NixOS hacker. Linux enthusiast (obviously). DevOPS.

@tweag

@mkaito
Christian Höppner mkaito
Software Engineer

Looking for work Spain

@ozkutuk
Berk Özkütük ozkutuk

Munich, Germany

@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

@ConnorBaker
Connor Baker ConnorBaker
Nix Engineer and Nix CUDA Maintainer. Interested in formal methods, Haskell, Lean, type & category theory, and computational photography!

Long Beach, CA

@matthew-healy
matthew healy matthew-healy
software clown

@building-duna Edinburgh

@TerrorJack
Cheng Shao TerrorJack

@tweag Paris

@mbg
Michael B. Gale mbg

UK

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

University of Cambridge Cambridge, Cambridgeshire, UK

@nc6
Nicholas Clarke nc6

@tweag Zürich

@gkaracha
George Karachalias gkaracha
Software engineer and researcher in the field of programming languages' design and implementation.

@tweag Netherlands

@rapenne-s
Solène Rapenne rapenne-s
Freelance DevOps / DevSecOps Qubes OS contributer Former OpenBSD developer solene@. Former Nixpkgs contributer.

France

@Radvendii
Taeer Bar-Yam Radvendii

@Moduscreate Rindge, NH

@martinescardo
Martin Escardo martinescardo
Professor of Theoretical Computer Science

University of Birmingham United Kingdom

@marcosh
Marco Perone marcosh

Treviso, Italy

@chessai
chessai chessai
one must imagine sisyphus hacking
@steshaw
Steven Shaw steshaw
Loves programming languages!

Brisbane, Australia

@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

@fricklerhandwerk
Valentin Gagarin fricklerhandwerk

@tweag Hamburg, Germany

@Fizzixnerd
Matt Walker Fizzixnerd
Software developer in Toronto. Lover of functional programming and DevOps.

Toronto

@facundominguez
Facundo Domínguez facundominguez
Software engineer at @tweag.

Tweag Montevideo, Uruguay

@MMesch
Matthias Meschede MMesch

@QuantStack Paris