Skip to content
View severen's full-sized avatar
🐧
🐧
49 followers · 73 following

Achievements

Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Organizations

@NixOS @sitehostnz

Block or report severen

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
@bashbunni
bashbunni bashbunni
Coder. FOSS lover. Breaker of things. meows

~

@ianthehenry
Ian Henry ianthehenry
OCamls by day, Janets by night

Los Angeles

@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

@riverscuomo
Rivers Cuomo riverscuomo
Rocking the code, coding the rock. Flutter, Python, Google Apps Script, Flask. https://discord.gg/mr-rivers-neighborhood

weezer Los Angeles

@doko37
Peter Lee doko37

Auckland, NZ

@LaurieWired
LaurieWired
Reverse engineer specializing in cross-platform malware analysis with a focus on mobile threats.
@pakeke-constructor
Oli Garrett pakeke-constructor

CodeTheory Christchurch, New Zealand

@andrejbauer
Andrej Bauer andrejbauer
Professor of computational mathematics

University of Ljubljana Slovenia

@VendrickNZ
Jakib VendrickNZ
Computer Science Graduate from UC

OMNIMax New Zealand

@TheDeathlyCow
TheDeathlyCow TheDeathlyCow
Software engineer and game developer. I mostly make Minecraft mods.

Hawaii

@katef
Katherine katef

Scotland

@keetleyrate
Keetley keetleyrate
I am a masters graduate with interests in algorithm development, machine learning, computer graphics and computational mathematics.
@rosefromthedead
Rose Hudson rosefromthedead

Sony Interactive Entertainment United Kingdom

@3b1b
Grant Sanderson 3b1b
I make videos about math.

3Blue1Brown

@LFalch
Lucas Falch LFalch
he/him, student at DIKU

Denmark

@Julian
Julian Berman Julian
Lover of things. Climber of molehills. Seeking friends for the end of the world.

New York, NY

@graydon
Graydon Hoare graydon

Vancouver, BC

@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

@kbuzzard
Kevin Buzzard kbuzzard
Professor of pure mathematics at Imperial College London. Currently learning about theorem provers.

@ImperialCollegeLondon London

@trampgeek
Richard Lobb trampgeek

University of Canterbury Christchurch, New Zealand

@thatmattparker
thatmattparker
@vixentael
vixentael
Designing data security / cryptography software solutions. Speaking at conferences, making conferences, leading communities.

Kyiv, Ukraine

@passcod
Félix Saparelli passcod

@BeyondEssential New Zealand

@daanx
Daan daanx

US

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

University of Edinburgh Edinburgh

@jozefg
daniel gratzer jozefg
I am a researcher interested in type theory and category theory.

Aarhus

@williamstein
William Stein williamstein

CEO, SageMath, Inc. Renton, WA

@bagder
Daniel Stenberg bagder
I don't know anything. On team @curl.

@wolfSSL the curl factory, Sweden - close to Nebraska

@eric-s-raymond
Eric S. Raymond eric-s-raymond
Yeah, I'm that guy.

Malvern, PA, USA

@jellysquid3
JellySquid jellysquid3
Professional idiot at day, maniac programmer by night.

@HypixelStudios

@dtolnay
David Tolnay dtolnay

0xF9BA143B95FF6D82 Redwood City, California

@jessm12
Jess McCreery jessm12
Software Developer @IBM

@IBM UK

@teorth
teorth
@raxod502
Radon Rosborough raxod502
Infrastructure engineer. Interests include package management and Emacs, or both at once. I unironically like YAML. I do NOT want to hear about your AI project.

San Francisco, CA

@brendangregg
Brendan Gregg brendangregg
Cloud computing performance engineer.

Intel Sydney, Australia

@ryanbabcock
Ryan Babcock ryanbabcock
Hey, I'm learning C++! I also think that 3D printing is cool.
@Aliruu
Alice Ruu Aliruu
I just like working on stuff and keeping myself busy
@tarsius
Jonas Bernoulli tarsius

Basel, Switzerland

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

@kadena-io California, USA

@hlissner
Henrik Lissner hlissner
I've doomed us all.
@abo-abo
Oleh Krehel abo-abo

@wavemm Matosinhos, Portugal

@ticki
ticki
somewhat inactive
@ddevault
Drew DeVault ddevault
I write code

SourceHut Amsterdam

@SevWren
Mike M SevWren

USA

@torvalds
Linus Torvalds torvalds

Linux Foundation Portland, OR

@mccreery
Sam McCreery mccreery
A game dev's basement projects.

Frontier Developments Cambridge, UK

@gaearon
dan gaearon
@ahejlsberg
Anders Hejlsberg ahejlsberg
Microsoft Technical Fellow and lead architect of TypeScript. Original designer of C#, Delphi, and Turbo Pascal.

Microsoft Redmond, WA, USA

@eternaleye
eternaleye
@jimmycuadra
jimmycuadra