Skip to content
View vapourismo's full-sized avatar
🍑
🍑

Block or report vapourismo

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
@hermit-os
The Hermit Operating System hermit-os
A Rust-based, lightweight unikernel.

Germany

@johnyob
Alistair johnyob
Compiler & Type System Enthusiast

University of Cambridge United Kingdom

@zshipko
zach zshipko

Los Angeles, CA

@avsm
Anil Madhavapeddy avsm
Professor of Planetary Computing, University of Cambridge

University of Cambridge Cambridge, UK

@dhsorens
Derek Sorensen dhsorens
protocol snarkification @ethereum

Ethereum Foundation

@lthms
Thomas Letan lthms
“Decent solution provider” since 2013

Nomadic Labs Paris

@hasufell
Julian Ospald hasufell
Haskell freelancer, Opensource enthusiast.

Durian Consulting Pte. Ltd. Taipei

@andreasabel
Andreas Abel andreasabel

Chalmers and Gothenburg University Gothenburg, Sweden

@barrucadu
Michael Walker barrucadu
GitHub does bios now?

@gocardless London, England

@bodil
Bodil Stokke bodil

Vault-Tec Corporation

@glutamate
Tom Nielsen glutamate
Functional programming // Bayesian // Machine learning

Saltcorn London, UK

@edolstra
Eelco Dolstra edolstra

Determinate Systems @DeterminateSystems Utrecht, Netherlands

@ndmitchell
Neil Mitchell ndmitchell
Haskell/Rust programmer. All code is open source and licensed by me, not my employer. All views are my own.

Meta Cambridge, UK

@murbard
Arthur Breitman murbard
Mostly Tezos and ML stuff
@ekmett
Edward Kmett ekmett
I write a lot of Haskell.

Positron AI Farmington Hills, MI

@lemire
Daniel Lemire lemire
Software performance expert. Ranked in the top 2% of scientists globally (Stanford/Elsevier 2025) and among GitHub's top 1000 developers.

Université du Québec (TELUQ) Montreal, Quebec, Canada

@nh2
Niklas Hambüchen nh2
Bio: Imperial College London, @tsurucapital @google @fpco @benaco

My own consultancy Zürich

@fumieval
Fumiaki Kinoshita fumieval
Bird lover

HERP, Inc. Tokyo

@edsko
Edsko de Vries edsko

Well-Typed Netherlands

@tomjaguarpaw
tomjaguarpaw
Contact me via http://web.jaguarpaw.co.uk/~tom/contact
@nominolo
Thomas Schilling nominolo

Zürich, Switzerland

@jobjo
Joel Bjornson jobjo
Programmer working at the intersection of finance and functional programming.

London

@gergoerdi
Gergő Érdi gergoerdi
Finite tape Turing machine
@tibbe
Johan Tibell tibbe

Benetics AG Zurich, Switzerland

@bgamari
Ben Gamari bgamari
I enjoy compilers, hiking, and bicycling

Well Typed LLP Portsmouth, NH, United States

@malteos
malteos malteos
Research engineer: Datasets, information retrieval, representation learning, LLMs, scientific & legal document processing

@commoncrawl Berlin, Germany

@expipiplus1
Ellie Hermaszewska expipiplus1
My code is so strongly typed I'm going to need a new keyboard! she/her
@AndrasKovacs
András Kovács AndrasKovacs
Type theory, applications, implementation