Skip to content
View googleson78's full-sized avatar

Sponsoring

@kcsongor
@plt-amy

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
@cydparser
cydparser

Portland, OR

@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

@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

@djacu
Dan Baker djacu

California, USA

@lf-
jade lf-
soft-clawbed rustacean. 🔹 they
@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

@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

@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

@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

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

University of Cambridge Cambridge, Cambridgeshire, UK

@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

@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

@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

@thrashhead
thrashhead

Sofia, Bulgaria