Skip to content
View ym-han's full-sized avatar
28 followers · 404 following

Block or report ym-han

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
@nightscape
Martin Mauch nightscape
Big fan of Functional Programming, Scala, Idris. Passionate about meditation and neuroscience.

Regensburg, Germany

@gulbanana
gulbanana

Australia

@mchav
Michael Chavinda mchav
Software engineer focused on fraud detection, high-performance data systems, expressive APIs, and functional programming.

Seattle, WA

@jwiegley
John Wiegley jwiegley
Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.

@kadena-io California, USA

@neongreen
Emily neongreen

@monadfix, @brickdo, @flolet Warsaw, Poland

@elliott-with-the-longest-name-on-github
Elliott Johnson elliott-with-the-longest-name-on-github
Striving to stay gruntled and corrigible, but never peccable. Svelte Core team

Vercel Denver, CO

@steveyegge
Steve Yegge steveyegge

Kirkland, WA

@dariusf
Darius Foo dariusf
PhD student @nus-plse

Singapore

@ChuyueSun
Chuyue Sun ChuyueSun

Stanford University

@thoughtpolice
Austin Seipp thoughtpolice
i live 400 miles underground

https://ersc.io Austin, TX

@hadronized
Dimitri Sabadie hadronized
Do not make more tools than existing problems. GPG ID: A94386A8A6252ECB GPG key: https://strongly-typed-thoughts.net/media/uploads/pubkey.asc

@datadog France

@jcalvinowens
Calvin Owens jcalvinowens

Redwood City, CA

@kiranandcode
Kiran Gopinathan kiranandcode
Researcher working on proof repair and maintenance

Research Scientist NYC

@andymatuschak
Andy Matuschak andymatuschak
Wonder, blunder, salve, solve! Working on tools that expand what people can think and do. Past: led R&D @khanacademy; helped build iOS @apple.

San Francisco, CA

@kstonekuan
Kingston Kuan kstonekuan
Build in progress | ex Jane Street, TikTok, Verkada
@finbarrtimbers
Finbarr Timbers finbarrtimbers

Alberta

@fonnesbeck
Chris Fonnesbeck fonnesbeck
Quantitative hack

PyMC Labs

@unisoncomputing
Unison Computing unisoncomputing
@r2d4
Matt Rickard r2d4
@basvandijk
Bas van Dijk basvandijk
I've 20+ years of experience as a Haskell, Rust and DevOps engineer in various roles.

DFINITY Zürich, Switzerland

@saulpw
Saul Pwanson saulpw
Data, optimization, tools

Seattle, USA

@steipete
Peter Steinberger steipete
Came back from retirement to mess with AI. Previously: Founder of @PSPDFKit.

Full-Time Open-Sourcerer Vienna & London

@vgel
Theia Vogel vgel

@SecureDNA Seattle, United States

@atondwal
Anish Tondwalkar atondwal
@dmjio
David M. Johnson dmjio
Pioneering Haskell native mobile 🍜 📱
@rokubop
roku rokubop
@nomeata
Joachim Breitner nomeata

Lean FRO Freiburg, Germany

@Kha
Sebastian Ullrich Kha

Lean FRO Munich, Germany

@sophiajt
Sophia J. Turner sophiajt
Previously: @nushell / @rust-lang / TypeScript core team.

Australia

@dogsheep
Dogsheep dogsheep
Tools for personal analytics, powered by Datasette
@lintool
Jimmy Lin lintool
I profess to know very little at the University of Waterloo. I used to write code for Twitter and slides for Cloudera.

University of Waterloo Nearby data lake

@anysphere
Anysphere anysphere
Humans should focus on bigger problems
@umbra-db
Umbra umbra-db
The Umbra Database System
@danielhanchen
Daniel Han danielhanchen
Unsloth - Making Fine-tuning and Reinforcement Learning LLMs more accessible!

@unslothai San Francisco

@drshade
Tom Wells drshade
@DanielNScott
Daniel Scott DanielNScott
Post-doctoral Research Fellow; Learning, Memory, and Decision Lab; Brown University

Brown University Providence, RI

@modelcontextprotocol
Model Context Protocol modelcontextprotocol
An open protocol that enables seamless integration between LLM applications and external data sources and tools.
@srid
Sridhar Ratnakumar srid
I enjoy Haskell.

@juspay Quebec City, QC

@coverdrive
Ashwin Rao coverdrive
Founder-CTO at CX Score and Adjunct Professor in Applied Mathematics at Stanford University.

Stanford University Palo Alto, California, United States

@joshma
Joshua Ma joshma

S‮F

@genlm
GenLM genlm
An ecosystem for language model probabilistic programming
@NorfairKing
Tom Sydney Kerckhove NorfairKing
Professional Weirdo

CS Kerckhove Zürich

@dfordivam
Divam dfordivam
Dev

@obsidiansystems Japan

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

DPella AB Gothenburg, Sweden

@fwcd
fwcd fwcd
Interested in music, compilers and functional programming. PL enthusiast. @mixxxdj and @swiftlang contributor.
@srush
Sasha Rush srush
Cornell Tech / Hugging Face

Cornell New York

@jph00
Jeremy Howard jph00
CEO / R&D @ answer.ai; Founder fast.ai

@answerdotai Brisbane, Australia

@ciscoheat
Andreas Söderlund ciscoheat

Sweden

@cofree-coffee
cofree-coffee
@chiphuyen
Chip Huyen chiphuyen
Working on something new. AI x storytelling.

San Francisco