vilem ❌ (@buggymcbugfix) Twitter Takipçileri • TwiCopy

Stephen De Gabrielle 🪲

@spdegabrielle

+ Follow

Here 4 the Musk self owns

@efvincent

Twitter: the most entertaining dumpster fire in recent memory. Looking forward to the movie in a couple of years. I hope they get Danny Devito to play Musk.

+ Follow

deech

@deech

+ Follow

Susan Potter

@susanpotter

CTO / Principal SWE Consultant @referentiallabs. Antifascist. Gay. Immigrant. Loves: #OptionsTrading #FunctionalProgramming #economics #mathematics #systems

+ Follow

Domen Kožar

@domenkozar

❄️ Mainstreaming Nix. 💬 cal.com/domenkozar 🌲 @cachix_org founder 💻 devenv.sh 🌊 oceansprint.org

+ 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

Ilya Sergey

@ilyasergey

Associate Professor at @NUSComputing. Programming languages, verification, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.

+ Follow

snegu ❄️

@snegurotschka

♥ music | is there life on mars? 🚀 | snegu everywhere ❄️

+ 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

Cyrus Omar (now mainly on bsky)

@neurocy

🌱 laying foundations for the future of programming @ hazel.org 🌿 asst professor @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew

+ Follow

Ted Feng

@artisdom

+ Follow

Matti Palli 🧙‍♂️

@tritlo

uncertified haskell engineer

+ Follow

@[email protected]

@cyberglot

🦝 human raccoon 🦝 | latinx, autistic, queer, hyper sleepy | they/them | cyberglot.lol/@april

+ Follow

Jeff Cheah

@jeffhappily

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

+ Follow

Shriram Krishnamurthi (primary: Bluesky)

@shriramkmurthi

@BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.

+ Follow

Dries Frederickx

@poly_void

Current status: NEET. Jack of no traits and definitely master of none.

+ Follow

Dmitry Skvortsov

@dvskvortsov

+ Follow

Matt Parsons

@mattoflambda

Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!

+ Follow

Anthony Alaribe

@tonialaribe

Watch me build developer tools in public. Starting with @APItoolkitHQ. I build stuff in Go, Rust (🦀) and Haskell. Maths ♥️ Engineering. HTMX fanboy

+ Follow

Joe Cutler

@alpha_convert

CS PhD student at @Penn and @NSF GRFP fellow. Types, Compilers, and Distance Running. Formerly @wesleyan_u (go Wes)

+ Follow

piq and 69 others

@piq9117

🇺🇸 • haskell • CEO @htmx_org • neovim extremist

+ Follow

John Hui

@johnjohnhui

compiler engineer @apple. he/they

+ Follow

KC Sivaramakrishnan

@kc_srk

Profing @iitmadras. CTO @tarides_. Trustee mmht.clinic.

+ Follow

Haskell ITA

@haskell_ita

it :: Haskell Italian Community. Chat with us here: t.me/haskell_ita or web.libera.chat/#haskell-it

+ Follow

TheNumeralOne

@thenumeralone

🔞 Math and code. Autistic. They/She.

+ Follow

Jinhao Tan

@tamkamhou

Ph.D. student @HKUniversity, interested in programming languages, type systems, theorem proving, program verification, and logics.

+ Follow

Angel López Henquén

@alopezhenquen

+ Follow

Tom Sydney Kerckhove

@kerckhove_ts

Professional Weirdo Learning American Sign Language

+ Follow

Machine_Teacher_Ernest

@ernestmachine

+ Follow

Justin Frank

@juspfrank

Real PL person. Like translating symbols into different symbols (semantics may or may not be preserved). PhD student at @plumlab. Previously at @ubc_spl

+ 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

Grupo Verde de Agroecologia e Abelhas

@grupoverdegvaa

NGO that works in the dissemination of science in several areas of knowledge and out rural extension actions for small producers in the backlands of Brazil.

+ Follow

2BitSalute

@2bitsalute

I like OCaml. Currently Microsoft (O365 Core/Substrate internals), formerly Facebook (Hacklang). I identify as a peacenik

+ Follow

jacek szymanski

@jcszymansk

"With sufficient thrust, pigs fly just fine. However (...) it could be dangerous sitting under them as they fly overhead" RFC1925

+ Follow

John Ericson

@ericson2314_

Programmer dipping toes in economics. @[email protected], @Ericson2314:matrix.org, [email protected], GitHub @Ericson2314, @JohnEricson.me

+ Follow

Journal of Agricultural Science and Botany

@journalbotany

Journal of Agricultural science and Botany is a peer reviewed, open access journal with latest research publications.

+ Follow

Joel Svensson

@sve10362122

Implementing a Lisp like language for microcontrollers. LispBM is a lisp or scheme like language with concurrency and an Erlang inspired message-passing system

+ Follow

PestNu

@pestnu_

PestNu is a Horizon-funded agritech research project, field-testing and demonstrating space-based, ecological, and organic practices for systemic innovation

+ Follow

Litia Eeloo

@litia_eeloo

Sleeping at night is not what the next 700 people do.

+ Follow

VT Solutions & Co

@vtsolutionsco1

Just same Natural Human

+ Follow

Ramneet Singh

@ramneet_singhh

Research Fellow @MSFTResearch India | Ex RA @gatech_scs, (B. + M.) Tech. CSE IITD | PL, Verification and Theorem Proving | Sports + Music + Food (in that order)

+ Follow

Michael Evans

@teamtock

TOCK Analytics (my math project and totally awesome vaporware company that has fun). Exploring the world of applied category theory. Proven critical systems.

+ Follow