Skip to content
View io12's full-sized avatar
118 followers · 305 following

Organizations

@NixOS @nix-community @sm64gs2pc

Block or report io12

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
@jonhoo
Jon Gjengset jonhoo
Rust educational streamer. At @helsing-ai. Previously at AWS. A fan of making things secure, fast, scalable, and well-documented.

@helsing-ai Oslo, Norway

@thehajime
Hajime Tazaki thehajime
@LatvianModder
Kristiāns Micītis LatvianModder
A Java developer, mostly working on Minecraft mods, discord bots, webserver backends and JavaScript interpreters.

@latvian-dev Latvia

@pizlonator
pizlonator
@lhecker
Leonard Hecker lhecker

@microsoft Germany

@NixOS
Nix/Nixpkgs/NixOS NixOS

Everywhere

@ifd3f
Astrid Yu ifd3f
allegedly a computer person

Arc<Mutex<Box<Astrid>>>

@metamath
Metamath metamath
@Gerzer
Gabriel Jacoby-Cooper Gerzer
Software engineer; App Store Frameworks @ Apple; Computer Science + Philosophy @ Rensselaer Polytechnic Institute; previously built iVerify @ Trail of Bits

Apple Cupertino, CA

@Wilfred
Wilfred Hughes Wilfred
PL enthusiast, Emacs addict, and an advocate for human factors.

London, UK

@DavHau
DavHau

Freelancer

@nix-community
Nix community projects nix-community
A project incubator that works in parallel of the @NixOS org
@rovertronic
Rovertronic rovertronic
Super Mario 64 ROM hacker. Known for Mario Builder 64, Mario in the Multiverse, and Beyond the Cursed Mirror.
@HigherOrderCO
HigherOrderCO HigherOrderCO
we are getting to the very core of what makes computers capable of reasoning.
@jtojnar
Jan Tojnar jtojnar

ogion.cz Czech Republic

@dwarkeshsp
Dwarkesh Patel dwarkeshsp

Austin, TX

@matklad
Alex Kladov matklad
Computers, democracy, and nervous disorder.

@tigerbeetle Lisbon

@proofengineering
ProofEngineering proofengineering
@roberth
Robert Hensing roberth
hercules-ci.com founder: Nix-first CI/CD

@hercules-ci The Hague, Netherlands

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

Nix.How flake.nix

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

osdyne Dresden

@numtide
Numtide numtide
@NixOS and DevOps consulting

Switzerland

@DHowett
Dustin L. Howett DHowett

@Microsoft St. Louis, MO

@teorth
teorth
@oxalica
oxalica
@asrp
asrp
Feel free to e-mail me for anything: asrp email com
@edolstra
Eelco Dolstra edolstra

Determinate Systems @DeterminateSystems Utrecht, Netherlands

@julliard
Alexandre Julliard julliard
@loglow
Daniel Gilbert loglow

Tall Dog Electronics Easthampton, MA

@xorvoid
xorvoid
If you stare into the void long enough, you'll find some xors staring back.
@aiju
Emily (aiju) aiju

Graphcore

@digama0
Mario Carneiro digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.

Chalmers University of Technology Gothenburg, Sweden

@integer32llc
Integer 32, LLC integer32llc
A cooperative Rust consultancy
@DeterminateSystems
Determinate Systems DeterminateSystems
Bringing Nix ❄️ to the enterprise to empower fearless software delivery 💪

Everywhere

@snowflakelinux
SnowflakeOS snowflakelinux
Developement moved to https://github.com/snowfallorg
@vlinkz
Victor Fuentes vlinkz
Linux fan
@kiwibrowser
Kiwi Browser kiwibrowser
Modest Chromium-based browser for power users.
@Sanakan8472
Sanakan8472
@david-a-wheeler
David A. Wheeler david-a-wheeler
My work title is "Director of Open Source Supply Chain Security" at the Linux Foundation. Much of this isn't work though.

Linux Foundation

@obsidiansystems
Obsidian Systems LLC obsidiansystems
Software consultancy specializing in haskell, nix, curiosity, and innovation.

New York, NY

@Mic92
Jörg Thalheim Mic92

no ::1

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

University of Cambridge Cambridge, Cambridgeshire, UK

@emina
Emina Torlak emina

University of Washington Seattle

@lambertjamesd
lambertjamesd
@dalanicolai
Daniel Nicolai dalanicolai

Amsterdam

@mmstick
Michael Murphy mmstick
System76 engineer and Pop!_OS maintainer working on COSMIC. Develops software for the Linux desktop in Rust.

@system76 Wroclaw, Poland

@Xe
Xe Iaso Xe
Hacker, Nephelemancer, kastermakfa - username pronounced as /zi/

@TecharoHQ & @tigrisdata Canada

@ybertot
Yves Bertot ybertot

Inria

@TheVaffel
Håkon Flatval TheVaffel
3D software engineer at Cognite. Interests include graphics and game programming, audio synthesis and algorithm competitions
@yvt
yvt yvt
Ph.D. in Information Science, does game/embedded system/web/desktop application development.

Japan