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

Block or report proofconstruction

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
Assistant Professor of Oceanography at the University of Miami.

@wavesgroup @sustain-lab @fortranlang @battlecorp 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
Postdoc in mathematics, Haskell and Emacs devotee, @xmonad maintainer. I like free software. More at gitlab/slotThe and codeberg/slotThe
@roberth
Robert Hensing roberth
hercules-ci.com founder: Nix-first CI/CD

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

Long Beach, 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
@NixOS developer

@antithesishq

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

Hexagon Robotics Switzerland

@fricklerhandwerk
Valentin Gagarin fricklerhandwerk

@tweag Hamburg, Germany

@figsoda
figsoda

@antithesishq ~

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

osdyne Dresden

@markalfred
Mark Battersby markalfred

Ashburn, VA

@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

@lukeleheny
Luke Leheny lukeleheny

Providence, RI