Silvestro Ranucci
I live at the intersection.
Interested in software correctness, functional programming and distributed systems.
By day a lot of TypeScript with Effect.ts on Node.js.
By night Rust or Haskell.
Opinions are my own.
@michael.bacarella.com
Founded mobile media company that exited to Synchrony; ex-Jane Street; ex-Google; OCaml programmer; occasional shitpoaster
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@bufordrat.bsky.social
I write software for librarians, teach functional programming, and produce the Elucidations podcast. https://elucidations.vercel.app
@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
@lambda.bsky.social
Computer Security Researcher @ Cambridge; https://www.danielhugenroth.com
@rust-lang.org
A programming language empowering everyone to build reliable and efficient software.
@flaviocorpa.com
Software Engineer 🦥 Haskell & 🌳 Elm @Scrive ♟️ First #chesspunks on this app 🏯 日本語を勉強中(N3)
@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.
@mihai.page
Supply chain security @ Google OSS Security Team. Previously TensorFlow Security & OSS (@ Google); Haskell+differential privacy+ML @ LeapYear.
@arianvp.me
Working on banking infra at @mercury@twitter.com prev: @feeldco@twitter.com, @wire@twitter.com Opinions are my own and do not reflect that of my (past) employer(s)
@chshersh.com
🧑💻 Senior Software Engineer at Bloomberg using OCaml 🐫 ♾️ Autistic 📽 Content: https://youtube.com/c/chshersh All opinions are my own.
@rosactrl.bsky.social
🇨🇱 ✈️ 🇳🇴 immigrant. I like computers, urbanism, literature and music. Too woke for my age. Posting mostly complaints
@avi.press
Founder of Scarf (https://scarf.sh) Board @ Haskell Foundation Startups and open source analytics
@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
@luctielen.bsky.social
I talk about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.
@susanpotter.net
Antifascist, founder, options trader, and polyglot software engineer (Haskell, PureScript, Erlang, Scala, Nix, NixOS, Deno) with systems reliability and scalability focus. Irreverent heretic. Work with me: https://www.susanpotter.net/
@kmett.ai
Founder/Chief Scientist @ positron.ai I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason http://calendly.com/ekmett http://github.com/ekmett http://x.com/kmett http://comonad.com/reader
@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
@cercerilla.bsky.social
Programmer, Parrot Mom, Free Software Enthusiast, and author of Effective Haskell. https://www.pragprog.com/titles/rshaskell/effective-haskell/
@bartoszmilewski.bsky.social
Physicist, mathematician, programmer. "The Dao of Functional Programming" Regularly updated work in progress. PDF on GitHub: https://github.com/BartoszMilewski/DaoFP/blob/master/DaoFP.pdf
@crgenovese.bsky.social
Professor of Statistics & Data Science at Carnegie Mellon; high-dimensional inference and computation. Book "Probability Explained" nearing completion. Whitewater and Wilderness Paddler; Haskell, Clojure, and FP Enthusiast; and Emacs. Opinions my own.
@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
@tacticalgrace.justtesting.org
🔥 Lambda Scientist 💡 Functional programming 💡 Programming languages 💡 Cryptography 👨🏽💻 Swift, Haskell & Agda 💜 Volt 🇪🇺 policy: digital rights & economy 📍 Utrecht 🇳🇱🇩🇪🇪🇺 • Twitter: @TacticalGrace
@serranofp.com
👨💻 Researcher @ Kotlin Evolution @ JetBrains 🧙♂️ Passionate about FP (mostly Arrow & Haskell) 📚 Author of 4 books
@janiczek.cz
Frontend FP developer (spending a lot of time in Elm the past few years). NuAshworld MMORPG. Programming language design (cara-lang.com). Property based testing!! Music making. Drive for teaching and unblocking others, writing little experiments. He/him
@codebeam.bsky.social
The family of tech conferences focused on BEAM languages: #Erlang, #Elixir and #Gleam 🇸🇪 Code BEAM Lite Stockholm: 02 Jun codebeamstockholm.com
@electric-sql.com
Building AI apps. You need sync. https://electric-sql.com - see also @pglite.dev
@ahmet.dev
working on compute infra at LinkedIn. ex-twitter/googlecloud/azure dist sys enthusiast github.com/ahmetb
@fmeyer.bsky.social
Principal Engineer working in platform and datastores; mainly writing about books, CS, mathematics, electronics, music, and F1
@lilicosic.com
👩🏻💻Senior Software Engineer at InfluxData. 📉 Advisor to Polar Signals. I enjoy talking about observability, databases, all things cloud and good food. Previously @ HashiCorp, Red Hat, etc. Now in Berlin 🇩🇪 from 🇸🇮 (Opinions my own!) https://lilicosic.com
@nixos-org.bsky.social
The mission of the foundation is to support the Nix ecosystem's infrastructure, and projects.
@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
@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
@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.