Mark (yoga sessions 89/100)

@mwotton

freelance goblin technologist

+ Follow

José Manuel Calderón Trilla (@jmct.bsky.social)

@josecalderon

Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire

+ Follow

mitchellsalad

@mitchellsalad

mitchell @unisonweb formerly @SimSpaceCorp @sentenai

+ Follow

Marc E. Elias

@marceelias

I have stopped posting here. For pro-democracy news follow @DemocracyDocket. Subscribe for free: democracydocket.com/me-subscribe/

+ Follow

Chris Smith

@cdsmithus

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

+ Follow

Yawar Amin.ocallm

@yawaramin

Full-sack developer, serial coflounder, 10➗engineer

+ Follow

marcel - so back / ngmi (same thing)

@mrclbschff

Staff Data Scientist, Mathematician, Father of two. Deep Learning / NLP / Computer Vision / MLOps OCaml Curious Not sponsored by Spindrift

+ Follow

Adam Bergmark

@adambergmark

Tell me your TCO horror stories

+ Follow

Dependent Types

@dependent_types

Mostly an automated feed from the Dependent Types reddit

+ Follow

John Ky

@newhoggy

+ Follow

Sam Derbyshire

@samderbyshire

Cohomology enthusiast. I've seen rings you people wouldn't believe.

+ Follow

Matt Russell

@mrussell247

Director of Engineering for @Lumi with a passion for Haskell, rock climbing, and sailing

+ Follow

Matthew Green is on BlueSky

@matthew_d_green

I teach cryptography at Johns Hopkins. Mostly on BlueSky these days at matthewdgreen.bsky.social.

+ Follow

Sean

@mankykitty

Random 80s child with random ideas. Opinions are my own, obvs.

+ Follow

Justin Baragona

@justinbaragona

Senior reporter @independent Past: @zeteo_news media columnist, senior media reporter @thedailybeast Send tips/hate mail to [email protected]

+ Follow

Evan Rutledge Borden

@evanborden

Bassist, Haskeller, Fermentation Enthusiast, Cyclist, Muay Thai. Engineering Director @nearpod, he/him

+ Follow

Marcin Szamotulski

@me_coot

Functional programmer, mathematician.

+ Follow

José A. Alonso

@jose_a_alonso

Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.

+ Follow

NixOS

@nixos_org

+ Follow

Allan Lukwago

@epicallanl

λ - junkie, Haskell, PureScript

+ Follow

Simon Thompson

@thompson_si

CS researcher. Refactoring, smart contracts. Functional programmer in Haskell, Erlang, OCaml. University of Kent, UK; Eötvös Loránd University Budapest.

+ Follow

pontus

@p1xelher0

λ dysfunctional programmer

+ Follow

Jeff Cheah

@jeffhappily

Software Engineer. FP & Haskell. Interested in Programming Languages. Looking for new opportunities.

+ Follow

harry 🏳️‍🌈

@no_harry_stop

+ Follow

Peter Murphy

@pfmrph

+ Follow

Michael Sloan

@treetopian

+ Follow

Kristin Rutenkolk

@wire_daemon

Formal Methods, Programming languages, Specifications. she/her 🏳️‍⚧️

+ Follow

Mattwittus

@mattwittus

@[email protected]

+ Follow

Eric Bond

@ericbond10

Some intersection of type theory, category theory, proof assistants, and formal math. #NSF CSGrad4US Fellow. PhD student @UMich under @ProfMaxNew.

+ Follow

Matt Teichman

@elucidationspod

Host of the Elucidations Podcast. Programmer @ UChicago DLDC. CS Lecturer @ UChicago MPCS. Emergent Ventures fellow. Views mine. 🦒

+ Follow

Philip Zucker

@sandmouth

Computer Friend, Not a Bird

+ Follow

Mikolaj Konarski

@mikolajkonarski

#Haskell programmer, creator of @AllureRoguelike

+ Follow

Andor Pénzes

@sverien

Functional programming,software development,compiler construction.

+ Follow

Jarek Ratajski 🇺🇦

@noobfunctor

I am anarchitect

+ Follow

Chris Henson

@_chenson__

CS PhD student @DrexelCCI. Types, categories, and verification. Collector of retro computers and vintage books. Formerly Quant Finance at Bank of America.

+ Follow

András Kovács

@andraskovacs6

Type theory & applications. Also on Mastodon: types.pl/@AndrasKovacs

+ Follow

A Type of Programming

@atopbook

A book for the new, the old and the undiscovered programmer. By @renzocarbonara.

+ Follow

Flying Guibou

@flyingguibou

Once graphical programmer, now FP addict, #nix #Haskell. #skydiving #running. Former apolitical, privileged, learning about far left. He/Him.

+ 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

The Culturist

@the_culturist_

A new, independent culture publication — read / support us here 👇

+ Follow

Jordan Miller

@lambduhh

🕸️:engineer ✨:creative-content 💜:community. a she/her out growing out my neck beard

+ Follow

Michael Mroz

@mjvmroz

Logical systems, abstraction and type theory enthusiast | engineering @mercury

+ Follow

Daniel 🦔

@danielw_kiwi

Husband, father and software developer from the bottom of the world in NZ that likes F# a little too much.

+ Follow

Emi

@emi138742596212

+ Follow

alcuin ❄️

@scheminglunatic

pure, lazy, immutable ✝️

+ Follow

Shopify Engineering

@shopifyeng

Making commerce better for everyone. Follow us for technical discussions and updates on how engineers build @Shopify. Explore open roles at shopify.com/careers

+ Follow

Barry

@chiroptical

Random functional programming content on youtube.com/chiroptical; senior software engineer at @mercury; @chiroptical.dev on sky site

+ Follow

effectfully

@effectfully

Haskell, compilers, mental decay

+ Follow

Logic & Applications

@logicpractice

Logic and applications of logic from @JohnDCook

+ Follow

rvcas

@rvcas

λ : I do what I want

+ Follow