Skip to content
View d-xo's full-sized avatar

Block or report d-xo

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
@0x0f0f0f
Alessandro Cheli 0x0f0f0f
Hacking Diagrams @xyflow. Previously R&D Engineer @plantingspace. I like category theory, programming language theory, symbolics

@xyflow Berlin

@Project-CETI
Project CETI Project-CETI

United States of America

@Y-Nak
Yoshitomo Nakanishi Y-Nak
Rust, compiler, and low-level programming
@aviggiano
Antonio Viggiano aviggiano
views are my own building @SizeCredit cofounder @Recon-Fuzz auditor @spearbit @oak-security

São Paulo, Brazil

@ldillinger
Leon ldillinger
Haskell, cryptography, and other interesting things
@sunfishcode
Dan Gohman sunfishcode
I'm working on Wasmtime, WASI, and lots of things related to WebAssembly.
@TimWhiting
Tim Whiting TimWhiting
I'm a PhD student. My research is focused on control flow analysis, and I love everything about syntax, compilers, semantics, as well as HCI.

Brigham Young University Provo UT

@cliffclick
Cliff Click cliffclick
Founder, Entrepreneur, CTO. A longtime veteran of Silicon Valley with over 40 yrs coding; core contributor to HotSpot; hundreds of public talks, 20 patents.

Stealth Mode Startup Santa Cruz, CA

@codereport
Conor Hoekstra codereport
Research Scientist @NVIDIA, formerly @amzn, @moodysanalytics

NVIDIA Toronto, ON

@mlochbaum
Marshall Lochbaum mlochbaum
Array programmer

Raleigh, NC

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

@NethermindEth London, UK

@Gabriella439
gabby Gabriella439

@MercuryTechnologies San Jose, CA

@apotheca
Apotheca Labs apotheca
Functional programming in Swift and Haskell
@TOTBWF
Reed Mullanix TOTBWF
An object in an Elegant Reedy Category.

McMaster University Hamilton, ON

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

Draper Boston

@yihozhang
Yihong Zhang yihozhang
PhD student at the University of Washington

Seattle

@mwillsey
Max Willsey mwillsey
asst prof at uc berkeley

Berkeley, CA

@regehr
John Regehr regehr
CS professor at the University of Utah

University of Utah Salt Lake City, UT, USA

@jtriley2p
Riley jtriley2p
independent research engineer
@zemse
soham zemse
building trustless stuff... one commit at a time.

mumbai

@VictorTaelin
Victor Taelin VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.

Higher Order Company Rio de Janeiro, Brazil

@snoyberg
Michael Snoyman snoyberg
Haskell and Rust, founder and maintainer of many OSS Haskell projects: Yesod, Conduit, Stack, Stackages, and more. VP of Engineering at FP Complete (@fpco)

@fpco Israel

@mpickering
Matthew Pickering mpickering

Well Typed LLP Sheffield, UK

@brockelmore
brockelmore
chief architect @ nascent

Concordance

@ekmett
Edward Kmett ekmett
I write a lot of Haskell.

Positron AI Farmington Hills, MI

@s-rah
Sarah Jamie Lewis s-rah
Anonymity & Privacy Researcher / Executive Director @ Open Privacy Research Society. Founder @ Blodeuwedd Labs

Open Privacy Research Society / Blodeuwedd Labs PNW, Canada

@Jake-Gillberg
Jake Gillberg Jake-Gillberg
Stop using github: https://sanctum.geek.nz/why-not-github.html https://davelane.nz/microsoft-there-way-win-our-trust

https://sanctum.geek.nz/why-not-github.html https://davelane.nz/microsoft-there-way-win-our-trust

@nanexcool
Mariano Conti nanexcool

Buenos Aires, Argentina

@robbiebarrat
Robbie Barrat robbiebarrat
Artist working with new media + AI

N/A Paris, France

@arximboldi
Juanpe Bolívar arximboldi
Postmodern C++, value-oriented design, interactive software, open-source strategy, functional programming, music tech.

CTO @bronze-dev Berlin, Germany

@edolstra
Eelco Dolstra edolstra

Determinate Systems @DeterminateSystems Utrecht, Netherlands

@tzlaine
Zach Laine tzlaine
C++ Committee Member, Boost Author, Regular C++Now Attendee

Austin, TX

@ldionne
Louis Dionne ldionne
Math and programming enthusiast specialized in C++ libraries. Member of the C++ Standards Committee, lead maintainer of libc++ and author of Boost.Hana.

Apple Quebec, Canada