Skip to content
View puffnfresh's full-sized avatar
1.3k followers · 94 following

Achievements

Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx4Achievement: Pull Sharkx3

Achievements

Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx4Achievement: Pull Sharkx3

Organizations

@scalaz @functionaljava @NixOS @idris-hackers @fantasyland @nix-community @haskell-nix @nix-windows

Block or report puffnfresh

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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
@lukejjh
Luke Humberdross lukejjh

Brisbane, Australia

@dalathegreat
Daniel Öster dalathegreat
📜 Automation Engineer (Bsc), 🌱 Plant based ⚙️ Reverse engineering specialist 🔋🚗 Extending Electric vehicle lifecycles

Dala's EV Repair Vaasa, Finland

@damienmaguire
Damien Maguire damienmaguire

Ireland

@pastelsky
Shubham Kanodia pastelsky
A maker 🛫 along the design-development continuum.

Atlassian Bangalore

@screamish
Simon Fenton screamish

Melbourne, Australia

@DebugSteven
Jesse Haigh DebugSteven

Denver, CO

@LightAndLight
Isaac Elliott LightAndLight

Australia

@gbaz
gbaz
@rahulmutt
Rahul Muttineni rahulmutt

Amsterdam

@ksl0
Katie ksl0
Software Engineering

United States

@sigsegv-mvm
sigsegv sigsegv-mvm
TF2-oriented reverse engineer, bug fixer, modder, etc.

California USA

@dalaing
Dave Laing dalaing

Brisbane, Australia

@robertmassaioli
Robert Massaioli robertmassaioli
A software developer trying to make the world a better place.

Australia

@mgsloan
Michael Sloan mgsloan

@zed-industries Colorado

@tranma
Tran Ma tranma
@tpolecat
Rob Norris tpolecat
mimimum viable programmer

Gemini Observatory Austin, TX

@relrod
Rick Elrod relrod
Learning Rust • Lead of @dagd • Ham radio, functional programming and type theory.

Checkmk GmbH Germany

@xuwei-k
kenji yoshida xuwei-k

Tokyo

@charleso
Charles O'Farrell charleso

Australia

@jedws
Jed Wesley-Smith jedws

Australia

@thoughtpolice
Austin Seipp thoughtpolice
i live 400 miles underground

https://ersc.io Austin, TX

@hdgarrood
Harry Garrood hdgarrood

UK

@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

@garyb
Gary Burgess garyb

Manchester, UK

@jdegoes
John A. De Goes jdegoes

Ziverge Inc. Maryland, USA

@paf31
Phil Freeman paf31
Original developer of the PureScript compiler, author of http://leanpub.com/purescript, Haskeller, PLT enthusiast.

Los Angeles, CA

@katiejots
Katie Ots katiejots
Functional programmer

@facebook London

@sweirich
Stephanie Weirich sweirich
Wish I had more time to code. And by code, I mean prove things.

University of Pennsylvania Philadelphia

@jb55
William Casarin jb55

Vancouver

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

University of Cambridge Cambridge, Cambridgeshire, UK

@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

@nathanlubchenco
Nathan Lubchenco nathanlubchenco

Fort Collins, CO

@dchenbecker
Derek Chen-Becker dchenbecker

ThousandEyes Greenwood Village, CO

@jwiegley
John Wiegley jwiegley
Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.

@kadena-io California, USA

@erikd
Erik de Castro Lopo erikd
Professional Haskell programmer since May 2016. Coding in Haskell since Jan 2008.

Australia

@wadler
Philip Wadler wadler
Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK.

University of Edinburgh Edinburgh

@mxswd
Maxwell mxswd
Solving hard problems sometimes worth solving.

Australia

@timjb
Tim Baumann timjb
Interested in type theory, category theory and concurrent collaborative editing.

@TNG Technology Consulting GmbH Augsburg, Europe

@earldouglas
James Earl Douglas earldouglas
Dad joke enthusiast

United States

@YoEight
Yo Eight YoEight
I write code
@purefn
Richard Wallace purefn
@S11001001
Stephen Compall S11001001

New York, NY

@nuttycom
Kris Nuttycombe nuttycom

@Electric-Coin-Company Boulder, CO

@runarorama
Rúnar runarorama

@unisoncomputing Boston

@larsrh
Lars Hupel larsrh
evangelizing things | “absurd enthusiasm for trains, electoral systems, and bureaucracy”

Giesecke+Devrient München

@dolio
dolio
@joshcough
Josh Cough joshcough

Boston

@seidtgeist
Stephan Seidt seidtgeist
Building something new 👀 Past: Founding Eng @contentful, Staff Eng @copperinc, JS Proto-Hipster @uxebu, @ideo

Seidt Business Berlin, Germany

@robotlolita
Quil robotlolita
PL designer ● Artist ● Writer ● I like cute things and cats
@cassiemeharry
Cassie Meharry cassiemeharry

@ThoughtfulPost Seattle, WA, USA