Skip to content
View TerrorJack's full-sized avatar
466 followers · 252 following

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruckx3

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruckx3

Organizations

@ThoughtWorksInc @NixOS @tweag @type-dance @haskell-wasm @haskell-ai

Block or report TerrorJack

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
@SophieBosio
Sophie Bosio SophieBosio
Software engineer at Ardoq and Emacs enthusiast λ Haskell & Clojure

Ardoq Oslo, Norway

@el-ev
Iris Shi el-ev
Everyone is always connected.

Here

@ners
ners ners
Nothing to see here.

Zürich, Switzerland

@sicusa
Phlamcenth Sicusa sicusa
𝐻𝑜𝓉𝒽 𝓂𝑒𝓁𝓊𝑒𝓂𝒸𝓊𝒶 𝓁𝒶𝓃’𝒶𝒾. / 愿你在此寻到光辉。

Gilatod.art 中央塔，荏苒之境

@nick8325
Nick Smallbone nick8325

Göteborg, Sweden

@mistivia
🥦🍓🍇 mistivia

Anhui, China

@nicuveo
Antoine Leblanc nicuveo
Your friendly neighbourhood queer nerd.
@alt-romes
Rodrigo Mesquita alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else

Well-Typed LLP @ GHC Team Portugal

@StarGazerM
Sun Yihao StarGazerM
Next 700 Programmer

Syracuse NY

@chreekat
Bryan Richter chreekat
Haskell space cadet 🚀

Helsinki

@richfelker
Rich Felker richfelker
Main author and maintainer of musl libc.
@andreabedini
Andrea Bedini andreabedini
Haskell / Nix / Build Systems / DevEx. Theoretical physicist, experimental mathematician, or something in between. Strangely attracted by old codebases.

@tweag Perth, Australia

@dysinger
Dysinger dysinger
Entrepreneur, Functional Programmer, & Systems Operator

Independent Nearby

@doyougnu
Jeffrey Young doyougnu
PhD in programming languages. Artificer. GHC developer and JS backend core developer. I write a lot of Haskell.
@tchoutri
Théophile Choutri de Tarlé tchoutri
Functional Programmer with a knack for resilient systems.

@scrive Montreuil, Paris

@andygill
Andy Gill andygill

@Kodamai Kansas

@skiars
Wenliang skiars

China

@shapr
Shae Erisson shapr
Haskell, Python, Swedish, knitting, mountain unicycling, contact juggling

@RecurseCenter Medford, MA, USA

@chqrlie
Charlie Gordon chqrlie

Paris

@NickCao
Nick Cao NickCao

Red Hat Boston, MA

@teddyljh
Teddy teddyljh
PhD student in TCS @UTAustin. Former undergrad@Columbia University

New York

@srid
Sridhar Ratnakumar srid
I enjoy Haskell, Rust & Nix.

@juspay Quebec City, QC

@TravisWhitaker
Travis Whitaker TravisWhitaker

Anduril Industries Orange County, California

@jonringer
Jonathan Ringer jonringer
A release manager for NixOS 20.09, 21.05, 21.11, and previously 24.05. Functional Programming fan including Haskell and NixOS

Near Seattle, WA

@erupmi
Erika Tse erupmi
My personality type is dependent type.
@titzer
Ben L. Titzer titzer
WebAssembly co-founder, former V8 engineer.

Carnegie Mellon University United States

@TeofilC
Teo Camarasu TeofilC

Leeds, UK

@amesgen
amesgen

Germany

@MMZK1526
yche MMZK1526
积我顷跬，踏彼遐芳

Milano, Italia

@cbrt-x
cbrt cbrt-x
Functional programming, math and science enthusiast. Foss advocate. λ

Germany

@langston-barrett
Langston Barrett langston-barrett
Researcher with experience in functional programming, formal methods, programming languages, and security.

@GaloisInc Brooklyn

@Rewbert
Robert Krook Rewbert
PhD student at Chalmers University of Technology. Compilers, IoT, Languages, Testing

Chalmers University of Technology Gothenburg

@clyring
Matthew Craven clyring
Hobbyist in board gaming and computing, with a strong mathematical inclination.
@soulomoon
patrick soulomoon
I might be dying, but I love the abstraction of the world
@wavewave
Ian-Woo Kim wavewave

San Francisco, CA, USA

@fishtreesugar
FTS fishtreesugar
Correct software is niche
@SingleAccretion
SingleAccretion
@Cancelll
Zhenyang Xu Cancelll
@daanx
Daan daanx

US

@fitzgen
Nick Fitzgerald fitzgen

right behind you

@asahilina
Asahi Lina asahilina
Hello everyone, Asahi Lina here! I'm a Linux developer VTuber!

@AsahiLinux Tokyo

@uenoB
Katsuhiro Ueno uenoB

Japan

@AndrasKovacs
András Kovács AndrasKovacs
Type theory, applications, implementation
@abbodi1406
abbodi1406 abbodi1406
not a developer
@achirkin
Artem M. Chirkin achirkin

NVIDIA Zurich

@nrnrnr
Norman Ramsey nrnrnr
Happy hacker in ML, Lua, Haskell, C, others.

Tufts University Malden, Mass, USA

@rui314
Rui Ueyama rui314

Blue Whale Systems Tokyo

@saschanaz
Kagami Sascha Rosylight saschanaz
Some web things

@mozilla Berlin, Germany

@BraveSail
BraveSail

Kirara Fantasia

@berberman
Potato Hatsue berberman

Gensokyo