Skip to content
View TerrorJack's full-sized avatar
480 followers · 254 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 @haskell-miso @type-dance @haskell-wasm @haskell-ai @haskell-keto @haskell-taco

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@not-ronjinger
Ronathan Jinger not-ronjinger
Newcomer to Nix
@raehik
Ben Orchard raehik
夢を抱きしめろ Embrace your dreams

@artificialio computer

@turion
Manuel Bärenz turion
Mathematician, computer scientist, musician

Berlin, Germany

@SophieBosio
Sophie Bosio SophieBosio
Software engineer at Ardoq and Emacs enthusiast λ Haskell & Clojure

Ardoq Oslo, Norway

@el-ev
Iris Shi el-ev

Here

@ners
𝐧𝐞𝐫𝐬 ners
Nothing to see here.

Zürich, Switzerland

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

Gilatod.art 中央塔，荏苒之境

@nick8325
Nick Smallbone nick8325

Göteborg, Sweden

@mistivia
Mistivia mistivia
@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

Kansas

@skiars
Wenliang skiars

China

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

@magic-cap 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.

@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

Shopify Near Seattle, WA

@erupmi
Ann Tse erupmi
My personality type is dependent type. roraka (א) pm.me
@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
身荒而耔，唯势是觐。世往牒盈，云中不堙。

Terra, Via Lactea

@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

@hoshinolina
Hoshino Lina hoshinolina
Hello everyone, Hoshino Lina here! I'm a developer VTuber!

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