Sam Derbyshire (@samderbyshire) Twitter Following • TwiCopy

スマートコン

@mr_konn

小人閑居為不貞寝 keybase: keybase.io/konn mastodon: @[email protected] Bluesky: bsky.konn-san.com

+ Follow

Pi Delport

@pidelport

Dog brained queer autistic trans woman. 🏳️‍🌈️ 🏳️‍⚧️ Nerd. Anti-capitalist. Trying to make a difference. Hanging on to hope & kindness. Can pass as human.

+ Follow

Liam Goodacre

@goodacre_liam

Programmer, mainly Haskell, maybe categories. The answer is always an optic. Foldable Coyoneda gives me joy.

+ Follow

Henry Segerman

@henryseg

Mathematician working in 3D geometry/topology, and mathematical maker/artist, working in 3D printing/VR. I have moved to Mastodon.

+ Follow

Bryan Richter

@chreekat

Haskell and bicycles in an unordered heap. Now even more unordered as the DevOps Engineer for the Haskell Foundation!

+ Follow

𝘭𝘤𝘳𝘴 ⧎

@lwwwwwws

wearing OPTIX_EXCEPTION_CODE_TRACE_DEPTH_EXCEEDED like its a medal (still dreaming abt @dearlensform)

+ Follow

Richard Seymour

@leninology

The Twittering Machine: tinyurl.com/y5re362x Comm. ed. @ Salvage. Writing @ NYT, AJE, LRB etc. Patreon: tinyurl.com/lw9ag52 Rep: tinyurl.com/y7d5qmuc

+ Follow

xmonad

@xmonad

xmonad: the tiling window manager

+ Follow

sclv

@sclv

"more important than being able to do mathematics is to be sure the applications are meaningful." - e. bishop • workerorganizing.org

+ Follow

Edward Kmett

@kmett

Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. calendly.com/ekmett github.com/ekmett 🦋 @kmett.ai

+ Follow

Sukant Hajra ([email protected])

@shajra

Twitter has lost my confidence. Find me via Mastodon at functional.cafe/@shajra. Find me via Bluesky at shajra.bsky.social.

+ Follow

John Wiegley

@jwiegley

CTO at Kadena.io. Haskell & Coq programmer, Emacs devotee, Mac OS X, Linux, Common Lisp, and member of the Bahá‘í Faith.

+ Follow

LucasVB (1ucasvb)

@lucasvb

Physicist, math enthusiast, educational animator, Wikipedia math GIFs guy, hobby collector. ¯\_(ツ)_/¯. | @lucasvb.bsky.social + @[email protected]

+ Follow

Andrej Bauer

@andrejbauer

Mathematician, computer scientist, aikidoka

+ Follow

Chris Smith

@cdsmithus

Software developer and amateur (but published!) ring theorist. Volunteer K-12 math/CS teacher. Haskell enthusiast. He/him.

+ Follow

Joachim Breitner

@nomeata

Has a thing for abstraction. Haskeller, Computer Scientist. Dances tango, swing and blues. Stand-up comedian and paraglider. 🦣 mastodon.online/@nomeata

+ Follow

doyougnu

@do_you_gnu

PhD in programming languages. PL, FP, SAT solvers, Philosophy, and most importantly, dungeons and dragons. all views and claims are my own. (he/him)

+ Follow

Matt Macauley

@visualalgebra

+ Follow

Koji Miyazato

@viercc

一応生きてますよ(2019/08) すこし元気になってますよ(2020-) 趣味プログラミング専門エンジニア

+ Follow

Rodrigo Mesquita

@romesrf

GHC contributor; kanjideck.com

+ Follow

teo

@teofilc

programs in Haskell, Nix, Agda | studied philosophy | 🏳️‍🌈🏴 | they/them | also on bsky.app/profile/double… and the fediverse

+ Follow

Siddharth Bhat

@druidoftheclaw

git is an API for torsors

+ Follow

sinan

@_osa1

+ Follow

mod_poppo

@mod_poppo

最近はMLをやっています。「Binary Hacks Rebooted」著者の一人です。避難先： mstdn.jp/@mod_poppo / mathtod.online/@mod_poppo

+ Follow

Luc Tielen

@luctielen

I tweet about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.

+ Follow

Dan Olson

@foldablehuman

Albertan documentarian behind In Search of a Flat Earth, Line Goes Up, and The Future is a Dead Mall Not actually a duck [email protected]

+ Follow

@psilospore - Syed Jafri

@psilospore

PhD Student at the University of Vermont and Software Engineer. I like Functional Programming. I mosly write Haskell these days.

+ Follow

Philippe Poutou

@philippepoutou

Compte officiel de Philippe Poutou, candidat #FrontPopulaire 1e circo de l’Aude, ancien candidat du @NPA_officiel aux dernières présidentielles.

+ Follow

tristanC

@tristanc__

OpenStacker @RedHat

+ Follow

inigo quilez

@iquilezles

Created Quill, Shadertoy, Pixar's Wondermoss. Math & Art Videos at * youtube.com/Inigo_Quilez * tiktok.com/@inigoquilez * iquilezles.org

+ Follow

Kate

@thingskatedid

she/her · If I unfollowed you, it's because you keep posting things without alt text bsky.app/profile/katef.…

+ Follow

Erik Meijer

@headinthebox

+ Follow

Alexis King

@lexi_lambda

computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢

+ Follow

gabby

@gabriellag439

Author of @dhall_lang, haskellforall.com, and principal engineer at @Mercury I'm a midwife to the hidden beauty in everything she/her 🏳️‍⚧️

+ Follow

Mikolaj Konarski

@mikolajkonarski

#Haskell programmer, creator of @AllureRoguelike

+ Follow

Dad×2_jack

@iceland_jack

Haskell

+ Follow

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

Turning Category Theory into code Find me at: zanzix.github.io @zanzi.bsky.social

+ Follow

Arjun

@arjunslays

I am Jake Gyllenhaal🍃, Guitar Nerd, λ Dev ||⚡, Fear is the mind killer 👾

+ Follow

Ana | Making Tiny Glade 🏰🌿

@anastasiaopara

No longer very active here. ½ of @PounceLight w @h3r2tic, making #TinyGlade s.team/a/2198150

+ Follow

Vidit Nanda

@viditnanda

prof @oxunimaths & fellow @pembrokeoxford.

+ Follow

🌸🐑 mlep🥛🌸

@yandereidiot

🪬 Former CTO of @haskellfound 🧘 Core Eng Honcho @kadena_io 🪷 cohost.org/mlep 🐑 I love sheep ✨

+ Follow

Tweag

@tweagio

The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.

+ Follow

Joel David Hamkins

@jdhamkins

Mathematics and philosophy of the infinite. Professor of Logic @NotreDame @UniofOxford #ProofandtheArt #PhilMaths #InfinitelyMore #BookOfInfinity

+ Follow

Vanessa McHale

@vamchale

Mainly Haskell, sometimes J/?

+ Follow

Egbert Rijke

@egbertrijke

Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him

+ Follow

Amélia Liao 🪄🧊

@plt_amy

agda maintainer. moved to @[email protected]

+ Follow

gelisam

@haskell_cat

Professional Haskell developer at well.co . Opinions are my own and do not necessarily represent those of my employer.

+ Follow

Simon Pepin Lehalleur

@plain_simon

Mathematician (algebraic geometry, motives & friends, singularities in statistics and ML). 'Geometry is successful magic' (R. Thom) University of Amsterdam.

+ Follow

Yussef Dayes

@yussefdayes

Yussef Dayes In Japan 🇯🇵🗻🪽 youtu.be/BEcJNcLTAkw?si…

+ Follow

Prophet

@welltypedwitch

There's no sense crying over every mistake. You just keep on trying till you run out of cake. - GLaDOS cohost.org/prophet bsky.app/profile/wellty…

+ Follow

Dan Marsden

@stringdiagram

Categories, computer science and logic. @[email protected]

+ Follow

Wenzel Jakob {deprecation notice}

@wenzeljakob

Associate professor leading EPFL's Realistic Graphics Lab. My research involves inverse graphics, material appearance modeling and physically based rendering

+ Follow

Mel Andrews

@bayesianboy

PhD philosophy of science, AI ethics, mathematical modelling, machine learning, cognitive science, science reform.

+ Follow

HDR

@hewdrawremix

The largest and most ambitious overhaul for Super Smash Bros. Ultimate

+ Follow

ieva

@hyperboieva

Quantum information, useless information, generally informed. Quantum algorithms researcher @PhasecraftLtd. All views are my own.

+ Follow

Pierre Colmez

@colmezpierre

Mathématicien, ancien joueur de (tsume)go

+ Follow

ねこれいと

@im_catfood

Sub @Nkknk 他SNS|linktr.ee/necolate🐈‍⬛ skeb|skeb.jp/@Im_catfood🐈‍⬛ Mail|[email protected]🐈‍⬛

+ Follow

Owen Shepherd

@owenshe51116199

+ Follow

Fredrik Johansson

@hypergeometer

fredrikj @ mathstodon Computer algebra & Arbitrary-precision arithmetic. Researcher at @Inria.

+ Follow

Francesco Gazzetta (@[email protected])

@fgaz_

CS student @ chalmers.se #Haskell #NixOS #Agda I'm on the #fediverse more than on twitter, current account @[email protected]

+ Follow

naomi (forgetful functor)

@fixedpointfae

+ Follow

✨Eli 🔍on hiatus

@topoillogical

@logicsoup ’ s math/personal account. prev: RA @ TallCat working with @amar_hh, now modeling ecosystem extinctions as a @OpenUniversity grantee. studying math

+ Follow

Steve Blackburn (@[email protected])

@stevemblackburn

Computer scientist, researcher, dad, husband, runner, hiker, collector of garbage. Google Research Scientist, ANU Professor. discuss.systems/@steveblackburn

+ Follow