Skip to content
View PersonForSure's full-sized avatar
🍂
Trying to prove my own existence in Agda
🍂
Trying to prove my own existence in Agda
21 followers · 163 following

Block or report PersonForSure

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
@YaLTeR
Ivan Molodetskikh YaLTeR
Working on a PhD in computer vision by day
@michael105
misc147 michael105
Linux, C system development, perl, assembly.

Self employed Germany

@letoram
Bjorn Stahl letoram
Open source Sewage Worker / Security Consultant with a predilection for reversing and visualization. Disillusioned Academic (comp.sci.Ph.D).

Sweden

@TheDandyFellow
2p_Rammin TheDandyFellow
Yep, I definitely wrote something heartfelt and meaningful in my bio

Your mom's

@GJDuck
GJDuck

National University of Singapore

@mintsuki
Mintsuki mintsuki
@emersion
Simon Ser emersion
I work on open-source software. Most of my other contributions are on Codeberg and gitlab.freedesktop.org.

France

@Ordoviz
Lennard Hofmann Ordoviz
Computer science student

Germany

@avs-origami
AVS Origami avs-origami
Pinguino™

Behind you

@grindhousedev
The Grindhouse™ grindhousedev
May The Grind™ never end.
@leahneukirchen
Leah Neukirchen leahneukirchen
she/her · they/them

Munich, Germany

@adam-mcdaniel
adam mcdaniel adam-mcdaniel
open sourcerer🔓🏗️, musician🎸🎶, and computer science PhD student🎓

University of Tennessee, Knoxville Knoxville, TN

@Duncaen
Duncan Overbruck Duncaen

Cologne, Germany

@illiliti
illiliti

nowhere

@antirez
Salvatore Sanfilippo antirez
Computer programmer based in Sicily, Italy. I mostly write OSS software. Born 1977. Not a puritan.

Redis Labs Catania, Sicily, Italy

@csdvrx
Charlotte csdvrx
I love Sixels and Terminals

USA, USA, USA!

@djpohly
Devin J. Pohly djpohly

Chicagoland

@telephil9
phil9 telephil9
some 9front enthusiast
@hpjansson
Hans Petter Jansson hpjansson

Close to the metal

@skarnet
Laurent Bercot skarnet

skarnet.com Paris, France

@firasuke
Firas Khana firasuke
A radiologist who's a Linux developer that loves arm wrestling and is interested in 中文

@glaucuslinux Aleppo, Syria

@kiss-community
KISS Community kiss-community
An independent and unofficial community organization for KISS Linux

irc://irc.libera.chat/kisslinux

@9fans
9fans 9fans
Fans of Plan 9
@jart
Justine Tunney jart

Mountain View, CA

@nix-community
Nix community projects nix-community
A project incubator that works in parallel of the @NixOS org
@alarixnia
nia alarixnia
@NetBSD developer, strange entity

Berlin

@LemonBoy
LemonBoy
In your stack, eating your cookies
@kyx0r
Kyryl kyx0r

Anywhere

@elkowar
ElKowar elkowar
Tell the computer what you want, not what to do

Karlsruhe, Germany

@N00byEdge
N00byEdge N00byEdge

FUTO & 0xbadc0de AB

@ifreund
Isaac Freund ifreund
I create things.
@rsc
Russ Cox rsc
Go Hacker. Mistake maker. (he/him)

Google Cambridge, MA

@richfelker
Rich Felker richfelker
Main author and maintainer of musl libc.
@andrewrk
Andrew Kelley andrewrk
Lead developer & president of Zig Software Foundation

@ziglang Portland, Oregon

@0intro
David du Colombier 0intro
Programmer

@DataDog, ex-@videolabs Paris, France

@venam
venam

Globetrotter

@Sweets
Sweets
Web developer turned lowly C developer.

/sys/kernel/debug

@deadpixi
Rob King deadpixi
@ken
Ken Thompson ken
@bradfitz
Brad Fitzpatrick bradfitz
LiveJournal, memcached, OpenID, @golang team (2010-2020). Currently making WireGuard & weird network tricks easier and more magical @tailscale.

Tailscale Seattle

@fairyglade
The Fairy Glade fairyglade
@orhun
Orhun Parmaksız orhun
Terminal Chef at @ratatui | Maintainer at @archlinux btw

@ratatui | @archlinux Ankara, Turkey

@redox-os
Redox OS redox-os
Redox OS is a microkernel-based, complete and general-purpose operating system written in Rust created in 2015
@rui314
Rui Ueyama rui314

Blue Whale Systems Tokyo

@rofl0r
rofl0r
"There are great ideas undiscovered, breakthroughs available to those who can remove one of truth's protective layers." -Neil Armstrong

Behold A Pale Horse Mt. Meru, Hyperborea

@amtoine
Antoine Stevan amtoine
you shall not rebase in the middle of a PR review nor close other's review threads 🙏

ISAE-Supaero Toulouse, France

@mitchweaver
wvr mitchweaver
networking, linux, crypto; for fun

Zayo Group Tulsa, OK

@sammy-ette
sammyette sammy-ette
⁂ lua / go / gleam developer
@kiedtl
kiedtl kiedtl
@dcat
dead cat dcat

/usr/dcat