Junrui Liu
CS PhD student @ UC Santa Barbara, doing program synthesis and verification
https://junrui-liu.github.io/
@yawaramin.bsky.social
Recent escapee from that other social media platform with a musky smell
@ner0k1.bsky.social
Lovin’ OCaml and Nim, somehow good at Java and python. 👀 «…Ты съешь себя быстрее, чем они…» — hehehe “очень-очень”
@moritzhamann.com
Engineering Manager at Bloomberg LP. Opinions are my own. Currently doing 12 months of OCaml to what the fuss is all about 🐫😁 Mastodon: @MoritzHamann@mastodon.social https://moritzhamann.com
@fun-ocaml.com
FUN OCaml 2024 is an open source hacking event dedicated to OCaml enthusiasts and professionals https://www.youtube.com/@FUNOCaml
@rikusilvola.com
@terrateam.io
Open-source infrastructure automation using familiar GitHub workflows with Terraform, OpenTofu, CDKTF, and Terragrunt.
@donalddinkenfelter.bsky.social
@andreypopp.bsky.social
@tycho.blue
Building software Working on shoutbox.net - reliable email delivery without the cost github.com/tluyben
@bufordrat.bsky.social
I write software for librarians, teach functional programming, and produce the Elucidations podcast. https://elucidations.vercel.app
@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.
@forkjoin.bsky.social
Assistant professor @ UMass Boston | https://cogumbreiro.github.io/ | Faial is a verifier for #CUDA and #WebGPU written in #OCaml https://gitlab.com/umb-svl/faial #ocaml #rocq
@tsmc.purely-functional.com
OCaml and Haskell connoisseur. Principal software engineer at Tarides. Compilers, runtimes, garbage collection, and general systems hackery. More at https://lambdafoo.com
@erikmartindorel.bsky.social
Assoc. prof. in CS (University of Toulouse, Lab. IRIT), free software maintainer. Teaching in @master-sdl.bsky.social (Software Engr. curriculum ⊂ MSc in CS). Using Rocq/OCaml/Elisp/Java/Python/Docker/Bash/Git. https://linktr.ee/erikmd
@sabine.sh
OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨ twitch.tv/sabine_sh github.com/sabine
@chronicle.com
Academe’s most trusted resource for independent journalism, career development, and forward-looking intelligence. Website: www.chronicle.com
@jalonso.bsky.social
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving. Homepage: https://jaalonso.github.io Sevilla, Spain
@plrg-bristol.bsky.social
This is the account of the Programming Languages Research Group at the University of Bristol. https://plrg-bristol.github.io/
@mcoblenz.bsky.social
Assistant Prof. at UC San Diego. Helping people write better software.
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
@patrick.sirref.org
PhD Student @ Uni of Cam https://patrick.sirref.org https://github.com/patricoferris
@noamzoam.mathstodon.xyz.ap.brid.gy
Computer science theorist and mathematician interested in the connections between things. Assistant professor in the LIX lab at Ecole Polytechnique. [bridged from https://mathstodon.xyz/@noamzoam on the fediverse by https://fed.brid.gy/ ]
@ccshan.woof.group.ap.brid.gy
He misses theorizing and practicing in a leather bar. 📍PEAMSBOSAARNYCBZOITHTYOSFOINDT [bridged from https://woof.group/@ccshan on the fediverse by https://fed.brid.gy/ ]
@visualalgebra.bsky.social
Associate Professor (Clemson) | AIMS Lecturer (South Africa) | Author: "Visual Algebra" (forthcoming) | YouTuber | First Gen | Homesteader | Dad to Ida & Felix
@cscheid.net
Principal Engineer at Posit (fka RStudio), building quarto.org Learning Brazilian Choro and the 7-string guitar
@steveklabnik.com
#rustlang, #jj-vcs, atproto, shitposts, urbanism. I contain multitudes. Currently in Austin, TX, but from Pittsburgh. Previously in Bushwick, the Mission, LA.
@protz.bsky.social
I talk about Rust, verification, cryptography, programming languages… and pets
@lambdadays.bsky.social
Your favourite Functional Programming conference is here 🥳 💥 Book your spot and see you soon: 12-13 June 💥 2 days of full immersion in languages like #Haskell #Scala #Elm #Gleam #Elixir and #Clojure 🔥
@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.
@acm-sigchi.bsky.social
Official account for ACM's Special Interest Group on Computer-Human-Interaction (HCI). Runs 28 conferences (including @chi.acm.org), 80+ chapters, and more.
@obumbratta.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
@akivaw.bsky.social
Likes math. Asleep when you least expect it. His origins and motivations remain unclear.
@momath.bsky.social
MoMath: The premier Museum in North America that celebrates the beauty and wonder of mathematics, located in New York City! 🌻
@programming-conf.bsky.social
Official website: https://2025.programming-conference.org/
@kirancodes.me
Trans girl 🏳️⚧️ | 26 Programming Languages Postdoc @ UIUC still here~ despite it all https://kirancodes.me
@dplyukhin.bsky.social
Actor/model/choreographer working on the Actor Model and Choreographic Programming > Postdoctoral researcher at SDU > Occasional cohost of Type Theory Forall > dplyukhin.github.io
@grgzkhr.bsky.social
PhD student at @prg-grp.bsky.app Interested in PL and Type Systems. Programmer for more than 10 years. Based in 🇨🇭 from 🇱🇧 (he/him) https://grgz.me
@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/