Skip to content
View ncfavier's full-sized avatar
🌑
🌑
96 followers · 53 following

Organizations

@agda @NixOS @lambdabot @nix-community @dpndnt @the1lab

Block or report ncfavier

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
@iwilare
Andrea Laretto iwilare
λ(λ1(00))(λ1(00)) • モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも？

Tallinn University of Technology Tallinn, Estonia

@lane-core
Lane Biocini lane-core
amateur type theory researcher, programmer based in nyc
@ck76
CHENG KUN ck76
一期一会 Software Engineering is about tradeoffs, there is no one right answer.

NEUQ -> Keio University China.Hebei -> China.Beijing -> Japan.Tokyo -> Japna.Kansai

@KiJeong-Lim
임기정 KiJeong-Lim

Gwangju, Republic of Korea

@hmltn-0
Julius Hamilton hmltn-0
Developer honing skills in system design, project management, and full stack. Focused on SQL, data science, and category theory. Let's innovate together.

Hamilton, Inc. Salt Lake City

@amirouche
Amir Amazigh amirouche

Paris, France

@mightyiam
Shahar "Dawn" Or mightyiam
👥 Software teaming facilitator, 🔓 open source enthusiast, ❄️ Nixer, 🦀 Rustacean. 👨‍💻🎙️ Producer & host, Full Time Nix podcast

@molybdenumsoftware Chiang Mai, Thailand

@cmcmA20
cmcmA20
@JacquesCarette
Jacques Carette JacquesCarette

McMaster University Hamilton, Ontario, Canada

@h7x4
h7x4 h7x4
Contributing during bursts of motivation

@Programvareverkstedet Norway

@nmvdw
Niels van der Weide nmvdw
@tederodere4495
tederodere4495
@Scrumplex
Sefa Eyeoglu Scrumplex
Working on Free and Open Source stuff

Germany

@janisaiad
janis janisaiad

X22 Paris

@mpscholten
Marc Scholten mpscholten

@digitallyinduced Internet

@tkersey
Tim Kersey tkersey
If you'd have asked me when I was 3 what I wanted to be when I grew up I would have said a bologna sandwich

@thisisartium Los Angeles, CA

@samkuhn
Sam Kuhn samkuhn
Full Stack 3D Web Developer - WebGPU, WebGL, AR, VR, Serverless, Cloud

UK

@jmikedupont2
Mike DuPont jmikedupont2
Senior Full stack developer focused on p2p ml ai devops

@meta-introspector New Jersey

@rahulc29
Rahul Chhabra rahulc29
Cubes and realizers 🧊λ
@mmcqd
Matthew McQuaid mmcqd
I like type theory and functional programming languages

@semgrep San Francisco

@rashyoung
rashyoung
@colltoaction
Martin Coll colltoaction
Let's rethink computing

🇦🇷

@AleXoundOS
AleXoundOS
Haskell | NixOS

Tbilisi, Georgia

@IanRay11
IanRay11
@morphismz
Raymond Baker morphismz
A contractable space

Right Here

@Kleidukos
Hécate Kleidukos
Haskell developer // Technical writer // Community organiser

Montreuil

@RezaGhasemzadeh
Reza Ghasemzadeh RezaGhasemzadeh
Interested in Machine Learning and Systems Programming 💻 Research Scientist of the future 🤓 just a lowly rustacean 🦀

Islamic Azad University Iran

@wader
Mattias Wadman wader

Stockholm, Sweden

@holiday99
holiday99
@emanuele6
Emanuele Torre emanuele6

Provincia di Varese, Italy

@butyess
Federico Masi butyess

Verona, Italy

@Lassulus
lassulus Lassulus
A cool hacker traveling the world.

Berlin (usually)

@somasis
Kylie McClain somasis
philosophy student

The Institute for Social Research, Goethe University North Carolina (Appalachian State University) Boone, North Carolina, USA

@OmidZamani
OMID Zamani OmidZamani
Father, Husband, and a Tiny DevOps Guy

Freekancing Currently, Iran!

@TrongChuongDao
Đào Trọng Chương TrongChuongDao

AMERITECJSC VIỆT NAM

@MatthiasJonen
Matthias Jonen MatthiasJonen
Dad of two Girls, Husband, Department Lead in Accounting for a team of fifty, homelabber, open source learner. I appreciate the privacy security of self hosting

Austria

@ethanflower1903
Ethan Flower-01100101 01110100 01101000 01100001 01101110 ethanflower1903
Dev-Sec-Ops- Engineer

san francisco

@SomeoneSerge
Someone SomeoneSerge
Applied mathematics, inverse graphics, computer vision (dense image correspondences), Nix

Independent + Aalto U, former HSE & Skoltech Helsinki, FI

@felko
felko
@xavierpinho
Xavier Pinho xavierpinho

Braga, Portugal

@alt-romes
Rodrigo Mesquita alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else

Well-Typed LLP @ GHC Team Portugal

@ocramz
Marco Z ocramz
ML + λ

@unfoldml

@mammon69bot
Mammon mammon69bot

Mammon69bot.com 33.668077 latitude -117.327262 longitude

@rlcamp
rlcamp

Cascadia

@pyquinnnarlo
Quinn Narlo pyquinnnarlo
Computer Science | Backend Engineer | C/C++ | Unity 3D Game Dev | 32-bit x86 ASM | 64-bit x86 ASM

INAH

@r-vdp
Ramses r-vdp

@numtide Brussels, Belgium

@cchalc
Christopher Chalcraft cchalc
@thamugadi
aramya thamugadi

Morocco

@KrokodileGlue
k KrokodileGlue
k
@jiangsy
Shengyi Jiang jiangsy