Skip to content
View googleson78's full-sized avatar
104 followers · 302 following

Sponsoring

@kcsongor
@plt-amy

Achievements

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

Achievements

Achievement: Pair Extraordinairex2Achievement: 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 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
@wrl314
Wayne Lewis wrl314

Portland, OR

@cydparser
cydparser

Portland, OR

@amesgen
amesgen

Germany

@Ei30metry
Artin Ghasivand Ei30metry
Programming Language Theory enthusiast.
@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
Dan 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 🚀

Helsinki

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

@numtide [@x1:~] $

@emilypi
Emily Pillmore emilypi
Yeehaw

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!

Costa Mesa, CA

@matthew-healy
matthew healy matthew-healy
software clown

@gigs 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.

@o1-labs Toronto

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

Tweag Montevideo, Uruguay

@MMesch
Matthias Meschede MMesch

@QuantStack Paris

@monoidal
Krzysztof Gogolewski monoidal

@wavemm

@thrashhead
thrashhead

Sofia, Bulgaria