Skip to content
View giltho's full-sized avatar
60 followers · 15 following

Achievements

Achievement: Pair Extraordinairex4Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex4Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@esy

Block or report giltho

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 is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@dattgoswami
Datt Goswami dattgoswami
Building autonomous coding agents that act, remember, coordinate, and measure improvement. Rust + Python systems, E2E.

General Intelligence Calgary, AB

@scrabsha
Sasha Pourcelot scrabsha
rust, compiler things, silly C, nerdy keyboards and yummy food

France

@Hugoo
Hugo Masclet Hugoo
running @0x1337-Partners 🦀🤖

0x1337 Partners GmbH Berlin, DE

@giovanniclima
Giovanni Senzani giovanniclima
For Motorsport Users contact me at emergenzaclimatica3@outlook.com in order to use Teams.
@AL-AIIAI
AL-AIIAI
@nsrknth
nsrknth
@remigerme
Rémi Germe remigerme
CS student interested in formal verification

École polytechnique Zürich

@Scofield626
Scofield Liu Scofield626
Ph.D. student working on computer systems. I build highly-concurrent and low-latency sys/infra in Rust/C++.

Imperial College London London

@AlvinKuruvilla
Alvin Kuruvilla AlvinKuruvilla
A security engineer and researcher with a passion for cybersecurity, and building cool tools, GenAI and agentic AI-enabled, and otherwise.
@mmcloughlin
Michael McLoughlin mmcloughlin

Aurora Innovation Pittsburgh, PA

@ahuoguo
Alex Bai ahuoguo

New York University

@N1ark
opale N1ark
/ᐠ - ˕ -マ Ⳋ

Imperial College London, Soterial Tools Ltd. London

@punchagan
Puneeth Chaganti punchagan

@tarides India

@mbarbin
Mathieu Barbin mbarbin
@rasofema
Raquel rasofema
She/Her | PhD Computing Student @ Imperial
@raoxiaojia
Rao Xiaojia raoxiaojia
Researcher and Engineer in Theorem Provers/Formal Verification
@joulook
Mohammad Hossein Khoshechin Jorshari joulook
Ph.D. Student @ MPI-SWS / Formal Verification / Distributed Systems / Concurrency Theory

Germany

@rbanerjee20
Rini Banerjee rbanerjee20

University of Cambridge

@sarsko
Sarek Høverstad Skotåm sarsko
Applied Scientist @ Amazon Web Services. MSc in Informatics from the University of Oslo.

Amazon Web Services Seattle

@standardgalactic
Cogito Ergo Sum standardgalactic
𝘏𝘰𝘮𝘦 𝘰𝘧 𝘵𝘩𝘦 𝚂𝚝𝚊𝚗𝚍𝚊𝚛𝚍 𝙶𝚊𝚕𝚊𝚌𝚝𝚒𝚌 𝙰𝚕𝚙𝚑𝚊𝚋𝚎𝚝

Xanadu Canada

@shpark
shpark

Seoul

@c-cube
Simon Cruanes c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.

https://ahrefs.com/ washington DC

@Julek
Julian Sutherland Julek
Head of Formal Verification @NethermindEth.

@NethermindEth London, UK

@filipeom
Filipe Marques filipeom
Programming languages enthusiast

@formalsec Lisbon, Portugal

@NatKarmios
Nat Karmios NatKarmios
Computer scientist and expert engineer, specialising in Verified Software

Imperial College London London, UK

@start974
Jeremy Damour start974

Paris

@chunvanlierop
chunvanlierop
ICT, organization, finance and life: empowerment ignites! Strengthening individuals, and stimulating growth through optimism and pragmatism

Amsterdam

@pcarrott
Pedro Carrott pcarrott
PhD Student @ Imperial College

Imperial College London London, UK

@manon-but-yes
Manon Flageat manon-but-yes
@Hughshine
Xuyang Li Hughshine
FM, SE, PL, HPC, HCI raising 3rd year Phd Student @Purdue.

West Lafayette

@acorrenson
Arthur Correnson acorrenson
PhD candidate at CISPA. Working on formal verification using proof assistants.

CISPA Helmholtz Center for Information Security Saarbrücken

@mrRachar
mrRachar
Undergraduate Computist (and occasional research assistant) at Imperial College London

Department of Computing, Imperial College London London

@art-santos
Arthur Santos art-santos
Improving how CLI's work.

Brazil

@n0b0dyCN
n0b0dy n0b0dyCN
I'm nobody.

CertiK Beijing, China

@vakaras
Vytautas Astrauskas vakaras
@xldenis
Xavier Denis xldenis
databases, verification & rust @ turbopuffer

turbopuffer

@melwyn95
Melwyn Saldanha melwyn95
OCaml | Compilers | Functional Programming

Rochester, NY

@tatchi
Corentin Leruth tatchi

Belgium

@tworimpa
tworimpa tworimpa
@alcides
Alcides Fonseca alcides
Associate Professor at University of Lisbon, Portugal Researcher at LASIGE

LASIGE, University of Lisbon Lisboa, Portugal

@davesnx
David Sancho davesnx
Building the tools behind user interfaces @ahrefs

@ahrefs Barcelona

@jonathannguyen311
jonathannguyen311
@arsalan0c
Arsalan Cheema arsalan0c

Singapore

@suan12
suan12
@nikivdev
Nikita nikivdev
@cyberglot
april cyberglot
PLT + compilers; haskell champion; agda newbie.

Glasgow, UK

@fangyi-zhou
Fangyi Zhou fangyi-zhou
Software Engineer | Programming Language Researcher en.pronouns.page/she&they

@facebook London, UK

@Lisprez
Lisprez
FreeBSD<$>Haskell<*>Emacs >>= Fire
@jgcmarins
João Marins jgcmarins
Node.js, React, React Native, GraphQL, Relay, TypeScript, Jest, Babel, Webpack, ESBuild, Vite, Vitest, Remix & MongoDB. Open Source enthusiast.

Brazil

@xlxs4
Orestis Ousoultzoglou xlxs4
Knowing how it works isn't what makes it work. The magic of it isn't how it works. The magic is the magic.