Skip to content
View xldenis's full-sized avatar
🎃
🎃
255 followers · 65 following

Achievements

Achievement: QuickdrawAchievement: Galaxy BrainAchievement: Pair ExtraordinaireAchievement: Starstruckx3Achievement: YOLOAchievement: Pull Sharkx4Achievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: Galaxy BrainAchievement: Pair ExtraordinaireAchievement: Starstruckx3Achievement: YOLOAchievement: Pull Sharkx4Achievement: Arctic Code Vault Contributor

Highlights

Block or report xldenis

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
@bojanserafimov
bojanserafimov
@BoxyUwU
Boxy BoxyUwU
@rust-lang type system team member and const generics group lead. Also working on documenting the type system.

UK

@morgangallant
Morgan Gallant morgangallant

Vancouver

@AdeStAff
Augustin de Saint Affrique AdeStAff
X-HEC Master in Data Science for Business

Paris, France

@paulpatault
Paul Patault paulpatault
Migrating to Codeberg

France

@utaal
Andrea Lattuada utaal

@turbopuffer Zürich, Switzerland

@songyahui
songyahui
Programming language & software engineering. Formal verification.

Standard Chartered Bank Singapore

@JoJoDeveloping
Johannes Hostert JoJoDeveloping
PhD Student @ ETH Zurich, since October 2023

ETH Zurich Zürich, Switzerland

@Lysxia
Xia Li-yao Lysxia
@secure-foundations
Secure Foundations Lab secure-foundations
We investigate long-term, fundamental improvements in how to design and build secure systems.
@ollef
Olle Fredriksson ollef

Ascenium Oslo, Norway

@epage
Ed Page epage

Futurewei Technologies Texas

@Zdancewic
Steve Zdancewic Zdancewic

University of Pennsylvania United States

@tchajed
Tej Chajed tchajed
Professor at UW-Madison. I write software and prove that it does what it's supposed to.

UW-Madison Madison, WI

@lcnr
lcnr lcnr
NaCl

Germany

@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@mitchellh
Mitchell Hashimoto mitchellh

Los Angeles, CA

@creusot-rs
Creusot Rust Verifier creusot-rs
A flexible, performant verifier for Rust programs
@joscoh
Josh Cohen joscoh
Applied Scientist at AWS

Amazon Web Services

@in-the-mood-for-mov
Simon Génier in-the-mood-for-mov

Montréal

@saharan
saharan saharan
a software engineer in Japan. sometimes making fun stuff at oimo.io
@csfrancis
Scott Francis csfrancis
Computer person

Ottawa, Canada

@whitequark
Catherine whitequark
the catgirl knows where it is at all times

@SCISemi UK

@typst
Typst typst
The new foundation for documents: Limitless power to write, create, and automate anything that you can fit on a page.

Berlin

@bouk
Bouke van der Bijl bouk

Netherlands

@Armael
Armaël Guéneau Armael

Inria Paris-Saclay

@munificent
Bob Nystrom munificent
Programming language developer, ex-game developer, UI nerd, author of "Game Programming Patterns" and "Crafting Interpreters".

@google, on @dart-lang Seattle, WA

@daira
Daira-Emma Hopwood daira
R&D Engineering Manager at Electric Coin Company
@Apmdenis
Antoine Denis Apmdenis
@dewert99
David Ewert dewert99
I recently completed my MSc in Computer Science at UBC

Vancouver, Canada

@camilo
Camilo Lopez camilo

Portland, OR

@sirupsen
Simon Eskildsen sirupsen
co-founder & ceo @turbopuffer

turbopuffer inc. Ottawa, ON

@nnethercote
Nicholas Nethercote nnethercote
@vectorware-inc and @rust-lang. Previously worked on Valgrind and Firefox. he/him

Melbourne, Australia

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

Amazon Web Services Seattle

@RalfJung
Ralf Jung RalfJung
I am not looking for a new job, please do not contact me for recruiting.
@rod-chapman
Roderick Chapman rod-chapman
Security- and Safety-Critical software engineer. Designer and developer of the SPARK/Ada language and toolset for many years.

Amazon Web Services UK

@wvanbergen
Willem van Bergen wvanbergen

Ottawa, Canada

@fw42
Florian Weingarten fw42

@urlscan Amsterdam area

@giltho
Sacha Ayoun giltho
PostDoc at Imperial College London with Azalea Raad and Peter O'Hearn. Previously worked on @GillianPlatform

Imperial College London

@tnballo
Tiemoko Ballo tnballo
{Firm,Soft}ware Security

0x7c00

@shiatsumat
Yusuke Matsushita shiatsumat
A Rust researcher.

Tokyo, Japan

@pushrax
jli pushrax
𝟺𝟾𝙲𝟽𝙲𝟶𝟹𝟿𝟶𝟻𝟶𝟶𝟶𝟶 𝟻𝟶

co-founder @ https://turbopuffer.com Canada

@jhjourdan
Jacques-Henri Jourdan jhjourdan

CNRS, LMF Paris

@agathedenis
agathedenis
@mjg59
Matthew Garrett mjg59

San Francisco

@backtracking
Jean-Christophe Filliatre backtracking
@marcan
Hector Martin marcan
If it ain't broke, I'll fix it!

Tokyo, Japan

@kirs
Kir Shatrov kirs

Vancouver, BC

@matklad
Alex Kladov matklad
Computers, democracy, and nervous disorder.

@tigerbeetle Lisbon

@xavierleroy
Xavier Leroy xavierleroy
Professor of software sciences at Collège de France, Paris. Member of Inria research team Cambium. Interested in all scientific aspects of computer programming

Collège de France and Inria Paris, France