Skip to content
View proofconstruction's full-sized avatar
16 followers · 39 following

Block or report proofconstruction

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
@jafingerhut
Andy Fingerhut jafingerhut
@jeffhammond
Jeff Hammond jeffhammond
HPC software @NVIDIA in 🇫🇮. Previously @intel HPC, @argonne-lcf w/ Blue Gene and MPI. PhD in Chemistry from @uchicago for work on @nwchemgit. He/him/hän.

@nvidia Helsinki, Finland

@VictorTaelin
Victor Taelin VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.

Higher Order Company Rio de Janeiro, Brazil

@freckletonj
neurallambda freckletonj
@MatthewCroughan
Matthew Croughan MatthewCroughan
Founder of Nix.How and organizer of Nix.Camp

Nix.How flake.nix

@milancurcic
Milan Curcic milancurcic
I'm an Assistant Professor of Ocean Science and the University of Miami.

@wavesgroup @sustain-lab @cloudruninc @henetwave @fortran-lang Boca Raton, FL

@benbjohnson
Ben Johnson benbjohnson

Fly.io Colorado

@jacobwilliams
Jacob Williams jacobwilliams
Orbital mechanic and programmer. Fortran aficionado.

Houston, Texas, USA

@alphapapa
Adam Porter alphapapa
Developer with experience in editors (Emacs/Org), Python, Linux, Web front- and back-ends, documentation, testing/QA, support, etc.

USA

@slotThe
Tony Zorman slotThe
Mathematics PhD student, Haskell and Emacs devotee, @xmonad maintainer. I like free software. More personal projects at gitlab.com/slotThe
@roberth
Robert Hensing roberth
hercules-ci.com founder: Nix-first CI/CD Nixpkgs: @mention me because I must unsubscribe often

@hercules-ci The Hague, Netherlands

@yukiisbored
Yuki Langley yukiisbored
🧙 Your friendly neighborhood hacker. Good luck, fellow traveler 💫

@viper-development Hamburg, Germany

@JeremiahSecrist
Jeremiah JeremiahSecrist
Allways tinkering with something.

USA

@rougier
Nicolas P. Rougier rougier
Researcher in computational and cognitive neuroscience supporting open source, open access and open science.

@INRIA Bordeaux, France

@grahamc
Graham Christensen grahamc

Berkshire County, MA

@DeterminateSystems
Determinate Systems DeterminateSystems
Bringing Nix ❄️ to the enterprise to empower fearless software delivery 💪

Everywhere

@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

@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

@cdepillabout
Dennis Gosnell cdepillabout

Sapporo, Japan

@matthewbauer
Matthew Bauer matthewbauer

@MercuryTechnologies Omaha, NE

@Mic92
Jörg Thalheim Mic92

no ::1

@winterqt
Winter winterqt
Developer experience @antithesishq, @NixOS maintainer
@zimbatm
Jonas Chevalier zimbatm
$ echo Building minimalist CLI tools. Obsessed with @NixOS. Running @numtide.

@numtide [@x1:~] $

@mweinelt
Martin Weinelt mweinelt
NixOS committer, security and infra team member. Also known as hexa- on IRC, Matrix, Mastodon and elsewhere on the Internet.

European Union

@edolstra
Eelco Dolstra edolstra

Determinate Systems @DeterminateSystems Utrecht, Netherlands

@ryantm
Ryan Mulligan ryantm

@replit Las Vegas, Nevada

@ProjectPhysX
Dr. Moritz Lehmann ProjectPhysX
Summa cum laude Physics PhD at age 25 | Graduate at EliteNet Bavaria & DLR | FluidX3D CFD Developer | Khronos OpenCL Advisor | GPU Wizard at @intel

Intel Corporation Germany

@zhaofengli
Zhaofeng Li zhaofengli

Salt Lake City, UT

@henrik-ch
Henrik henrik-ch
@infinisil
Silvan Mosberger infinisil
Studied Computer Science at ETHZ. Fluent in Nix and Haskell. Profile picture art by https://artistree.io/pheonyx!

Tweag Switzerland

@fricklerhandwerk
Valentin Gagarin fricklerhandwerk

@NixOS @tweag Hamburg, Germany

@figsoda
figsoda

~

@astro
Astro astro
Rust, Nix, Haskell, Erlang, XSLT, Prolog, JavaScript, C – roughly in that order

osdyne Dresden

@markalfred
Mark Battersby markalfred

Providence, RI

@NixOS
Nix/Nixpkgs/NixOS NixOS

Everywhere

@pimvanpelt
Pim van Pelt pimvanpelt

Zurich, Switzerland

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

@lleheny0
Luke Leheny lleheny0

Providence, RI