Skip to content
View Zimmi48's full-sized avatar
144 followers · 9 following

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx4Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx4Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Highlights

Organizations

@NixOS @rocq-prover @unkilodeplumes @rocq-community

Block or report Zimmi48

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
@Datawitch-Programmer
Datawitch-Programmer
@lamiabendebane
Lamia BENDEBANE lamiabendebane
@nascimentolaf
Alaf Nascimento nascimentolaf
IPP PhD Student
@PreuveCoq
🥟 PreuveCoq
@sirinath
Suminda Sirinath Salpitikorala Dharmasena sirinath

Sakrio! Sri Lanka

@stepbrobd
StepBroBD stepbrobd
λƒ.(λ𝑥.ƒ(𝑥 𝑥))(λ𝑥.ƒ(𝑥 𝑥))

@Inria Grenoble, France

@nholuongut
Nho Luong nholuongut
💁 🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳 - Vietnam DevOps Engineer Lead - Vietnam Timeless Charm - Enjoy Every Moment

DevOps and Platform Services Lead From Ho Chi Minh City, Viet Nam

@OChicken
Shouran MA OChicken

LTH Lund Lund, Sweden

@LinuxJS
Meow LinuxJS
I code.

@SAMSUNG Multiverse

@4llysa
4llysa

Paris, France

@iamoeg
Oussama EL GHANNAMI iamoeg

Morocco

@ebresafegaga
Gaga ebresafegaga
@CxBug
Muhammed CxBug

berlin

@miguelrfernandes
Miguel Fernandes miguelrfernandes
MSc in Biomedical Engineering at IST

Instituto Superior Técnico Portugal

@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@Connor9994
Connor Connor9994
@void4
void4
@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@jmikedupont2
Mike DuPont jmikedupont2
Senior Full stack developer focused on p2p ml ai devops https://linktr.ee/h4km discord account m1337d

@meta-introspector New Jersey

@amirahmadi1987
amir amirahmadi1987
@kkpan11
Gianni Hong kkpan11
Coder. Book lover. Enthusiastic cyclist. T1D.

Taipei, Taiwan

@Neustradamus
Neustradamus Neustradamus
@apples0226
apples0226
@Tabascoso
Rigby Hemberger Tabascoso
Data Science Explorer, uncovering insights in the data wilderness. From Python to R, I love the art of statistical analysis.

Berlin

@jimmysitu
Jimmy Situ jimmysitu
CPU Micro Architect

ZHAOXIN, JMST 1KHujLT4AzQwQKSLEUSbcergqv7fMnQNXA

@ligurio
Sergey Bronnikov ligurio
I make software suck less
@LaserShrimp
AmauryMRT LaserShrimp
@drosoCode
drosoCode

Siemens Mobility Paris

@EruEri
EruEri
@maxbyz
Gkoran Stoilkovits maxbyz
Gkoran Stoilkovits-Visual Artist who make paintings, sculptures, byzantine icons, printmaking. Enthusiastic about coding and self-taught, amateur programmer 😊

Atelier Stoilkovits Porto Heli, GREECE

@fedikhatib
fedix fedikhatib

earth

@omasanori
Masanori Ogino omasanori

Japan

@punchagan
Puneeth Chaganti punchagan

@tarides India

@himito
Jaime Arias Almeida himito
CNRS Research Engineer at LIPN - Université Sorbonne Paris Nord.

CNRS France

@MevenBertrand
Meven Lennon-Bertrand MevenBertrand
Post-doc at the University of Cambridge
@52d41a12-3ba7-46ce-965f-2b92aafbee45
52d41a12-3ba7-46ce-965f-2b92aafbee45
@lengkoanows
lengkoanows
@huynhtrankhanh
Huỳnh Trần Khanh huynhtrankhanh
formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be

@rocq-community Vietnam

@SeshatCZ
SeshatCZ

Czech republic

@PaulMinguet
Paul PaulMinguet
@JulienMalka
Luj JulienMalka
Software supply chain security researcher, NixOS enthusiast & contributor. Other interests: PL theory, software security, formal verification.

PhD Student at Télécom Paris // Freelancer Paris

@marrouchi
Med Marrouchi marrouchi
Lead Engineer for Hexabot.ai

Hexastack

@Stellaodey
Stella Stellaodey
Programmer, researcher , tourism

Cargill Cotton's Minneapolis united state Minnesota united state

@AkechiShiro
Samy Lahfa AkechiShiro
Computer are full of assumption, acquiring knowledge of those is hard but necessary in security @NixOS @winapps-org @Athena-OS @Red-Flake

France

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

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

@zih32
zih32
@pdelacroix
Pierre de Lacroix pdelacroix

Technostructures Paris

@minalspatil
Minal S Patil minalspatil
Explainable AI, Machine Reasoning

Scania CV AB Stockholm, Sweden

@fabriceleal
Fabrice Ferreira Leal fabriceleal

Leiria, Portugal

@beike-zh
beike-zh