@racket-lang.org
Racket is... * A language-oriented programming project * a family of programming languages * a native code compiler and other tools, * a diverse community 😁 Join us at https://racket.discourse.group/ https://racket-lang.org/
@uoncompsci.bsky.social
Official account for the School of Computer Science at the University of Nottingham. https://www.nottingham.ac.uk/computerscience/
@dieworkwear.bsky.social
Menswear writer. Editor at Put This On. Words at The New York Times, The Washington Post, The Financial Times, Esquire, and Mr. Porter. If you have a style question, search: https://dieworkwear.com/ | https://putthison.com/start-here/
@sekun.net
i like learning, and making stuff with computers #rust #haskell #nix my yap collection → https://sekun.net github → https://github.com/sekunho
@purefunctor.me
purescript @ oxfordabstracts.com core team @ purescript.org organiser @ functional.org.ph I work on web, compilers, and type systems using FP 🇵🇭 he/him
@tacticalgrace.justtesting.org
🔥 Lambda Scientist 💡 Functional programming 💡 Programming languages 💡 Cryptography 👨🏽💻 Swift, Haskell & Agda 💜 Volt 🇪🇺 policy: digital rights & economy 📍 Utrecht 🇳🇱🇩🇪🇪🇺 • Twitter: @TacticalGrace
@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.
@theophile.choutri.eu
Trade unionist, musician, software developer. 🇫🇷/🇩🇿 #Haskell / #FreeBSD / #Neovim #Trombone / #Darbouka / #Bendir / #Bass Séparatisme Numérique solinfonat.bsky.social https://www.instagram.com/fahyl_music @flora.pm
@innuendostudios.bsky.social
not that one https://www.youtube.com/@InnuendoStudios he/him
@ttforall.bsky.social
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
@aj.social.id1.in.ap.brid.gy
Founder Functional Programming India, Concur UI framework. “It’s all fine, if the compiler says it’s fine”. "Be irrational. Don't let the economists win" "Rage […] [bridged from https://social.id1.in/@aj on the fediverse by https://fed.brid.gy/ ]
@eduardorfs.com
25yo anti floating point developer. You can almost always find me at http://twitch.tv/eduardorfs, it's the boring side of tech.
@typeholes.bsky.social
Interested in all things programming, cooking, cats. Love to explore new programming languages and build dev tools.
@drjoehanson.bsky.social
Biologist, YouTube science dude. I moved to Austin back when it was still cool
@cynicalhistorian.bsky.social
The Cynical Historian on YouTube; PhD specializing in American violence during the frontier Southwest; fervent W.Wilson basher https://www.youtube.com/@CynicalHistorian
@victortaelin.bsky.social
@rust-lang.org
A programming language empowering everyone to build reliable and efficient software.
@bennjordan.bsky.social
Benn Jordan / The Flashbulb ••Recording artist | YouTuber | Researcher•• https://linktr.ee/BennJordan
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@nicuveo.gay
Friendly neighbourhood queer nerd. My cutie mark is a lambda. They / them. https://linktr.ee/nicuveo
@simonmar.bsky.social
I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
@zed.dev
A next-generation code editor that enables high-performance collaboration with AI and your team. zed.dev
@shaunvids.bsky.social
https://www.twitch.tv/shaun_vids https://www.youtube.com/@Shaun_vids https://www.patreon.com/shaunfromyoutube
@codyroux.bsky.social
Still ultrafinitist, but with a softer side. https://www.kleene.church/ I do the Church of Logic podcast. https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ
@cercerilla.bsky.social
Programmer, Parrot Mom, Free Software Enthusiast, and author of Effective Haskell. https://www.pragprog.com/titles/rshaskell/effective-haskell/
@medcrisis.bsky.social
Dr Rohin Francis. Consultant cardiologist with a sub-specialisation in useless videos, found on YouTube and Nebula. Less funny than placebo (p<0.05) Dad, doctor, dork
@tangled.sh
https://tangled.sh is a git collaboration platform built on atproto. Social coding, but for real this time! Discord: chat.tangled.sh IRC: #tangled @ libera.chat Built by @oppi.li & @icyphox.sh
@lemna.bsky.social
@fasterthanli.me
hi, I'm amos! 🍃 they/them 🫐 open-source witch & maker of snappy videos and articles at @bearcove.eu ✨ be kind, be curious articles: https://fasterthanli.me videos: https://youtube.com/@fasterthanlime podcast: https://sdr-podcast.com
@freya.bsky.social
🎮 indie tech artist 🏗️ I made Shader Forge & Shapes 🌐 working on https://half-edge.xyz 🔥 shader sorceress 📏 math dork 🎥 rare YouTuber/streamer 📡 ex-founder of @NeatCorp my kids: 🥪 @toast.acegikmo.com 🥗 @salad.acegikmo.com 🐈⬛ @thor.acegikmo.com
@ctierengineer.com
🏴 senior software dude at a large corpo https://ko-fi.com/ctierengineer
@nove.dev
{softwarer: [rust, typescript, python, ...]; gardener, coastal range hiking, experimental musician, photographer::amateur, location: yvr} https://github.com/novedevo
@haskell.org
Committed to a welcoming, vibrant & flourishing #Haskell community! Find us on https://haskell.org and https://blog.haskell.org
@xeiaso.net
Some nerd that uses computers | Blogger with 500-ish articles at https://xeiaso.net | @theprincessxena on the bird website | CEO @techaro.lol | Minors DNI
@fullmoon.id
Author of Dhall, http://haskellforall.com, professional doggirl, and principal engineer at Mercury I'm a midwife to the hidden beauty in everything she/her Discord: https://discord.gg/WvTtjBzMPB 💖 @ember.pet
@eikopf.dev
he/him | absolutely will not shut up about programming languages | a little gayer than is legal in this jurisdiction | 🇨🇭 🇦🇺 🇬🇧
@iammrbeat.bsky.social
I'm Mr. Beat. I teach social studies, produce videos, and make music, often at the same time.