Skip to content
View nothingnesses's full-sized avatar

Sponsoring

@serverless-dns

Block or report nothingnesses

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
@ivanperez-keera
Ivan Perez, PhD ivanperez-keera
Principal Research Scientist @ NASA Ames Research Center |Haskell software architect | Public Speaker

@NASA Ames Research Center / KBR San Jose, CA

@ItsIgnacioPortal
Ignacio J. Perez Portal ItsIgnacioPortal
Cybersecurity Professional in the making. English | Spanish

Jujuy, Argentina

@Verdagon
Evan Ovadia Verdagon
I'm the lead of the Vale programming language, at https://vale.dev/. I'm also a game designer, software architect, ex-Googler, and roguelike enthusiast!
@PeterDaveHello
Peter Dave Hello PeterDaveHello
I'm a passionate Free & Open Source enthusiast. Working on CyberSecurity & zh-TW localization. A 👨🏼 who ♥️ Debian GNU/Linux 🐧 lives in 🇹🇼

@DNSCrypt @nodejs @maintainers @campus-experts @transmission-remote-gui Taiwan, R.O.C

@arthurpaulino
Arthur Paulino arthurpaulino
I'm a computer scientist with many interests

Lurk Lab Brazil

@HigherOrderCO
HigherOrderCO HigherOrderCO
Building the massively parallel future of computers
@kyouko-taiga
Dimi Racordon kyouko-taiga
Language designer, compiler engineer, cheese lover, casual runner, and Starcraft 2 player, in no particular order.
@dabrahams
Dave Abrahams dabrahams
Swift and C++ language/library designer, professor of blowing-your-mind.

Adobe San Jose, CA

@tiann
weishu tiann
You deserve a better life :)

China

@sunaku
Suraj N. Kurapati sunaku
Like my work? 👍 Please spare a life today as thanks! 🐄🐖🐑🐔🐣🐟✨🙊✌ Why? For 💕 ethics, the 🌎 environment, and 💪 health! Learn more at 👉 www.is.gd/oyadad
@domenkozar
Domen Kožar domenkozar
Instilling sanity into building and distribution of software.

@cachix Lanzarote, Canary Islands

@puffnfresh
Brian McKenna puffnfresh
λ

Atlassian Tasmania, Australia

@K900
K900
abyss domain expert

Moscow

@NaoEhSavio
nao e o savio NaoEhSavio
T.I., GEEK, NERD, ROCK, GAMER... Viva cada segundo como se fosse o último, sempre de o máximo de você em tudo...
@zicklag
Zicklag zicklag
Problem solver with a passion for quality solutions to real-world problems. I strive to make great things that people can use and enjoy, all to the glory of God

@katharostech United States

@srid
Sridhar Ratnakumar srid
I enjoy Haskell, Rust & Nix.

@juspay Quebec City, QC

@d31a
Ben Bagley d31a
Web developer, enthusiastic about coding and design.

United Kingdom

@algebraic-dev
Sofia Rodrigues algebraic-dev
I work for @leanprover, I love this language :P
@asperti
Andrea Asperti asperti
Full Professor in Computer Science at the University of Bologna.

University of Bologna Via Mura Anteo Zamboni 7

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

3Blue1Brown

@clayrat
Alex Gryzlov clayrat
Logic, languages and systems

IMDEA Software Madrid

@mniip
mniip mniip
He/Him. Functional programming & Pure math.

@Typeable Belgrade, Serbia

@Sipher
Sipher Sipher
Vitor Chiarelli . [email protected] . UwU Tech | Higher Order Company

Higher Order Company Brazil

@vladimirias
Vladimir Voevodsky vladimirias
Vladimir Voevodsky died September 30, 2017. This account is maintained in memoriam by Dan Grayson as his academic executor, https://dangrayson.com/.
@plt-amy
Amélia plt-amy
Homotopy type theorist ✨

Brazil

@andrejbauer
Andrej Bauer andrejbauer

University of Ljubljana Slovenia

@torvalds
Linus Torvalds torvalds

Linux Foundation Portland, OR

@caotic123
Tiago Campos caotic123
Trying a new way to do the same thing

UFVJM - Universidade do Vale do Jequitinhonha e Mucuri. Belo Horizonte - MG

@xieyuheng
谢宇恒 / Xie Yuheng xieyuheng
我们对一个物体所形成的概念,就是,在我们所关心的情况下,这个物体的具有实际影响的效果的总和。

China

@steinerkelvin
Kelvin Steiner steinerkelvin
computer nerd · descentralization-ist · FOSS

Brasil

@rigille
Rígille S. B. Menezes rigille
So I'm just trying to learn some things and have fun

Mixrank Vitória, Brasil

@spacejam
Tyler Neely spacejam
reliable stateful systems at scale

Pinecone Berlin

@mgree
Michael Greenberg mgree

Stevens Institute of Technology Hoboken, NJ

@soareschen
Soares Chen soareschen
@maybevoid@informalsystems ∘ Haskell ∘ Rust ∘ Functional Programming ∘ Programming Language Theory

@maybevoid Leipzig, Germany

@cuviper
Josh Stone cuviper
Compiler Engineer @RedHatOfficial; @rust-lang Library and Release team member; former Project Director @rustfoundation

Red Hat Oregon, USA

@sudovijay
Vijay Singh sudovijay
/ (?=Absolute) (dev|vella) /

123sudo India