Tikhon Jelvis
I like programming languages. A lot. Especially Haskell.
Tools, types and functions.
@copumpkin.bsky.social
Wannabe figure skater ⛸️ I’ve been known to dabble in security, Haskell, Nix, Agda, and other nerdy computer things
@qianli.dev
Co-founder @dbos.dev • Stanford CS PhD Co-organizer @southbaysystems.xyz Working on 🐘 Database + Systems + AI Amateur bird watcher 🦉 Personal site: qianli.dev She/her.
@hazelweakly.me
I have thoughts. Lots of thoughts. They never stop thinking. Never stop thunking. hachyderm.io/@hazelweakly
@spavel.bsky.social
Raised gifted; non-practicing. 🌐 productpicnic.beehiiv.com 💼 UX Design 🟦 Sick of rectangles 🧑 he/him
@allspaw.bsky.social
Cofounder, @AdaptiveCLabs, “the NTSB of Tech” bringing Resilience Engineering to industry. he/him. Won’t speak on all-male panels, and #blacklivesmatter.
@eugenevinitsky.bsky.social
Anti-cynic. Towards a weirder future. Reinforcement Learning, Autonomous Vehicles, transportation systems, the works. Asst. Prof at NYU https://emerge-lab.github.io https://www.admonymous.co/eugenevinitsky
@chiroptical.dev
PhD Theoretical Chemistry. Haskell/Typescript full stack engineer at Mercury. Aspiring Erlang programmer. Occasional content creator youtube.com/chiroptical twitch.tv/chiroptical. Fencing enjoyer.
@myshoggoth.bsky.social
I love music, stories, infrastructure, logistics, technology, and building community. Based in SE Portland, Oregon. Senior Director of Engineering at Well.co, FP enthusiast. All opinions are mine and not my employer's.
@neurocy.bsky.social
🌱 ruining programming forever @ hazel.org 🌱 professoring @ Michigan 🌱 poetry 🌱 dendrites 🌱 immersion 🌱 flowers 🌱 resisting idiocracy https://web.eecs.umich.edu/~comar
@lean-lang.org
Helping to break the trust bottleneck in modern research mathematics.
@flora.pm
Flora is a package index for the #Haskell ecosystem. We serve the community. Follow for development news, operational status and higher-kinded memes
@argumatronic.bsky.social
solarpunk hillbilly, anti-authoritarian, homeschooling mother, vaccination proponent sometimes philosophy (ethics), linguistics, math, and computers i get my glory in the desert rain
@iand675.bsky.social
I used to be smart, now I just try hard. Haskell enthusiast Engineering at Mercury, formerly Forge, CircleCI, others
@shaenon.bsky.social
Cartoonist and skiffy writer. 2022 Inkpot winner. Narbonic, Skin Horse, Willowweep Manor. Repped by Brent Taylor. https://www.patreon.com/c/Shaenon
@edwin.type-driven.org.uk
Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com) https://www.type-driven.org.uk/edwinb/ https://www.lambda-miners.org.uk/
@welltypedwit.ch
When the limestone of imperative programming has worn away, the granite of functional programming will be revealed underneath -Simon Peyton Jones https://welltypedwit.ch
@rntz.net
Michael Arntzenius irl. Postdoc at UC Berkeley doing PL + DB + incremental computation. PL design, math, calligraphy, idle musings, &c. rntz.net 🐘 @rntz@recurse.social 🐦 @arntzenius Attempting to use bsky more now that people are showing up.
@wraith.net
@jonbois.bsky.social
jon https://www.patreon.com/c/SecretBase https://www.youtube.com/SecretBaseSBN
@bufordrat.bsky.social
I write software for librarians, teach functional programming, and produce the Elucidations podcast. https://elucidations.vercel.app
@alex-hidalgo.com
I'm back! | Field CTO at Nobl9 | Author of The SLO Book. | "SRE's Raconteur" | I like dogs more than people.
@acowley.bsky.social
Functional roboticist. Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.
@fullmoon.id
Author of Dhall, http://haskellforall.com, Nix Steering Committee, and principal engineer at Mercury I'm a midwife to the hidden beauty in everything she/her Discord: https://discord.gg/WvTtjBzMPB 💖 @ember.pet
@hillelwayne.com
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q4 2025) Newsletter: https://buttondown.email/hillelwayne/
@yuurei-lilja.bsky.social
Pencil drawings of girls and cats, with a tint of horror. Also retro-computing and everything in between, I guess? Looking tech-stuff only? Try @lambdagarden.org
@jmct.bsky.social
Director of The Haskell Foundation, former lecturer UMD CS. Jazz, music theory, compilers, privacy and aviation, sometimes I combine them. I can also be found @jmct@types.pl I miss Yorkshire
@kosmikus.bsky.social
Partner and Haskell Consultant at Well-Typed LLP. Board member of the Haskell Foundation. Co-host of the Haskell Interlude and the Haskell Unfolder. Posts mostly about Haskell, and occasionally about books, video games, and other things that interest me.
@teemuroos.bsky.social
Your friendly neighborhood AI Professor, University of Helsinki • Lead Instructor of the Elements of AI online course • AI, machine learning, education, science comms • geek, runner, foodie #MLsky #dataBS
@haskell.org
Committed to a welcoming, vibrant & flourishing #Haskell community! Find us on https://haskell.org and https://blog.haskell.org
@johncutle.fish
I like the beautiful mess of product development.| newsletter: https://cutlefish.substack.com
@avi.press
Founder of Scarf (https://scarf.sh) Board @ Haskell Foundation Startups and open source analytics
@tov.bsky.social
californian in london. mcmillanist–georgist. likes: type systems, banjo music, soup. dislikes: just-so stories, autocracy, cake
@satnam6502.bsky.social
Punjabi-Scottish-American husband and father of two, Haskell hacker at Groq, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California http://satnam.raintown.org
@cestlemieux.bsky.social
now: Assistant Professing™ in Software Practices Lab at UBC. was: postdoc MSR NYC, phd UC Berkeley. also at https://mastodon.acm.org/@cestlemieux. she/her.
@dpiponi.bsky.social
Disclaimer: My opinions are not my own. They're beamed to me by aliens.
@cercerilla.bsky.social
Programmer, Parrot Mom, Free Software Enthusiast, and author of Effective Haskell. https://www.pragprog.com/titles/rshaskell/effective-haskell/
@yvonnezlam.bsky.social
I play with books, cats, food, yarn, and dirt, not all at the same time. Software engineer. Society of People Interested in Boring Things. She/her, cis.
@arachno.capital
pfp by @goblinodds | a short, sturdy creature, fond of drink and industry | he/him
@laughinghan.com
Let’s build tools to augment the mind, not consume it. Creator of http://MathQuill.com Now working on some programming language and structured editor ideas. https://github.com/laughinghan