Skip to content
View sureyeaah's full-sized avatar
78 followers · 191 following

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Block or report sureyeaah

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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
@ckipp01
Chris Kipp ckipp01
tools and stuff

NL

@tmcdonell
Trevor L. McDonell tmcdonell
@kelseyhightower
Kelsey Hightower kelseyhightower

Washington

@wozeparrot
wozeparrot
Using zig and rust to replace C and C++. *with a splash of [ne]lua and a pile of nix*

@enqy Earth

@emrgnt-cmplxty
emrgnt-cmplxty
owen@sciphi.ai

San Francisco

@norvig
Peter Norvig norvig
Author, Programmer, Teacher, Research Director at Google

Google Palo Alto, CA, USA

@owickstrom
Oskar Wickström owickstrom
Software design, testing, functional programming.

Independent Sweden

@goldfirere
Richard Eisenberg goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.

@janestreet Philadelphia, PA

@AkihiroSuda
Akihiro Suda AkihiroSuda
A maintainer of containerd, Lima, Moby(dockerd), BuildKit, runc, etc.

NTT Tokyo, Japan

@poettering
Lennart Poettering poettering

Berlin, Germany

@jylin96
Jack Lin jylin96

@uber, formerly @relicx-ai Los Angeles, CA

@rahulrelicx
Rahul Lingala rahulrelicx

Relicx

@gurashish-relicx
Gurashish Brar gurashish-relicx
@DeterminateSystems
Determinate Systems DeterminateSystems
Bringing Nix ❄️ to the enterprise to empower fearless software delivery 💪

Everywhere

@rlmark
Rebecca rlmark

Unison Computing Seattle, Washington

@unisonweb
Unison unisonweb
A friendly programming language from the future
@mlabs-haskell
MLabs mlabs-haskell
Haskell, Rust, FinTech and AI Consultancy

United Kingdom

@pepeiborra
Pepe Iborra pepeiborra
Functional programmer

Meta London, UK

@simonmar
Simon Marlow simonmar

Facebook UK Ltd. Cambridge, UK

@donsbot
Don Stewart donsbot
Software engineer working on code search tools @ Meta. Past lives in finance, defense r&d and PL research. Ex-NYC,LON,SIN. Farm boy from nowhere, Australia.

@facebook Sydney, Australia

@charmbracelet
Charm charmbracelet
We make the command line glamorous.

/dev/tty

@arijit91
Arijit Banerjee arijit91

Relicx Bengaluru

@nomeata
Joachim Breitner nomeata

Freiburg, Germany

@cdsmith
Chris Smith cdsmith

Groq, Inc. Colorado Springs, CO

@sdras
Sarah Drasner sdras
comprehension over configuration

Google All over the place

@winitzki
Sergei Winitzki winitzki
Theoretical physicist turned software engineer, passionate for functional programming, functional type theory, and declarative domain-specific languages

Workday, Inc. Pöring, Germany

@wakatara
Daryl Manning wakatara
Maker of deft geekery and well-run companies. Unrepentant travel junkie, snowboarding yeti, wildlife whisperer, and aspiring astrophysicist.

Neosofo Pte Ltd z=0

@tlringer
Talia Ringer tlringer
Assistant Professor of Computer Science at Illinois. Type theory, proof engineering, proof automation.

Champaign, IL

@elibarzilay
Eli Barzilay elibarzilay
Hacker, Racketeer.

PLT Scheme Boston, MA

@Sajmani
Sameer Ajmani Sajmani
I am the Engineering Director for the @golang programming language team at @google.

@google United States

@jeanqasaur
Jean Yang jeanqasaur

@akitasoftware

@Gabriella439
gabby Gabriella439

@MercuryTechnologies San Jose, CA

@jinwoo
Jinwoo Lee jinwoo

Google SF Bay Area, CA

@srush
Sasha Rush srush
Cornell Tech / Hugging Face

Cornell New York

@mattn
mattn mattn
Long-time Golang user&contributor, Google Dev Expert for Go, and author of many Go tools, Vim plugin author. Windows hacker C#/Java/C/C++, ex-GitHubStars

Osaka, Japan

@metaflow
Mikhail Goncharov metaflow

@google München

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

Glasgow, UK

@rupansh
Rupansh rupansh
C/Python/Kotlin/Nim/Rust

India

@dmwit
Daniel Wagner dmwit

@GaloisInc Portland, OR, USA

@treeowl
David Feuer treeowl
@boazjohn
Boaz boazjohn
>>=

Juspay Bangalore

@wz1000
wz1000
@int-index
Vladislav Zavialov int-index

@serokell

@simonpj
Simon Peyton Jones simonpj

Epic Games

@andorp
Andor Penzes andorp
FP developer who applies formal methods in software engineering, has a colorful experience from Quality Assurance to Proof Engineering.

https://www.redbubble.com/shop/ap/92458473 London, United Kingdom

@Kleidukos
Hécate Kleidukos
Haskell developer // Technical writer // Community organiser

Montreuil

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

Well Typed LLP Portsmouth, NH, United States

@effigies
Chris Markiewicz effigies

Stanford University New Hampshire

@Tritlo
Matthías Páll Gissurarson Tritlo
uncertified haskell engineer

DPella AB Gothenburg, Sweden

@blynn
Ben Lynn blynn