David Fox
Functional programming, Haskell, computational semantics, web development. Former NYU, Bell Labs, Columbia, Brown, Princeton High.
@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
@tacticalgrace.justtesting.org
๐ฅ Lambda Scientist ๐ก Functional programming ๐ก Programming languages ๐ก Cryptography ๐จ๐ฝโ๐ป Swift, Haskell & Agda ๐ Volt ๐ช๐บ policy: digital rights & economy ๐ Utrecht ๐ณ๐ฑ๐ฉ๐ช๐ช๐บ โข Twitter: @TacticalGrace
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@shwestrick.bsky.social
assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl) https://cs.nyu.edu/~shw8119/
@niallm.bsky.social
CEO Stanza Systems. Speaking in personal capacity. Author/instigator SRE books, Reliable Machine Learning, History of the Irish Internet. Photography at http://www.edge-cases.photos
@jlanday.bsky.social
Professor of Computer Science, Stanford - HCI & Design, Co-Founder & Co-Director Stanford HAI @stanfordhai.bsky.social
@lorisdanto.bsky.social
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
@anil.recoil.org
Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk, and am also to found at @conservation.cam.ac.uk. Homepage at https://anil.recoil.org
@ltratt.bsky.social
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
@xkcd.com
@adriansieber.bsky.social
Building SaaS apps with Haskell and Elm: Airsequel (https://airsequel.com) github.com/ad-si x.com/AdrianSieber
@sabine.sh
OCaml developer advocate, ๐ซ OCaml.org maintainer, RFC 3339 dating coach, web developer โจ twitch.tv/sabine_sh github.com/sabine
@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
@chshersh.com
๐งโ๐ป Senior Software Engineer at Bloomberg using OCaml ๐ซ โพ๏ธ Autistic ๐ฝ Content: https://youtube.com/c/chshersh All opinions are my own.
@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
@vaibhavsagar.com
future trophy husband disco ๐ชฉ / haskell ๐บ / powerlifting ๐๏ธ / sci-fi ๐ / scuba diving ๐คฟ ๐ฆ๐บ๐ฎ๐ฉ๐ฎ๐ณ on gadigal land vaibhavsagar.com instagram.com/vbhvsgr recurse.social/@vaibhavsagar twitter.com/vbhvsgr
@avi.press
Founder of Scarf (https://scarf.sh) Board @ Haskell Foundation Startups and open source analytics
@nutty.land
Haskell, climbing, blacksmithing; occasional SCAdian. I work on the core Zcash team at https://electriccoin.co and build software for worker-owned cooperatives at https://aftok.com by night. Signal: @nuttycom.01
@niksnut.bsky.social
@valeriadepaiva.bsky.social
Logician, category theorist, semanticist. Likes to understand life mathematically, please.
@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.
@josecalderon.bsky.social
@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
@tomforsyth.bsky.social
Gfx coder and chip designer. He/him/3Dlabs/Muckyfoot/RAD/Valve/Oculus/Intel/Rec Room. mastodon.gamedev.place/web/@TomF (twitter.com/tom_forsyth if you're nasty)
@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/
@joomy.bsky.social
researcher at Bloomberg. somehow a computer doctor. posts about functional programming, dependent types, metaprogramming, linguistics, and Turkey. ๐ฆ: http://twitter.com/joomy ๐ธ๏ธ: http://joomy.korkutblech.com
@cercerilla.bsky.social
Programmer, Parrot Mom, Free Software Enthusiast, and author of Effective Haskell. https://www.pragprog.com/titles/rshaskell/effective-haskell/
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@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
@acowley.bsky.social
Functional roboticist. Robots, Haskell, Rust, nix, emacs, FPVโฆ and the rest of life, too.
@sekun.net
i like learning, and making stuff with computers #rust #haskell #nix my yap collection โ https://sekun.net github โ https://github.com/sekunho
@shriram.bsky.social
Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
@alexn.org
Software developer, FP, Scala, Kotlin, Java / JVM, Haskell, Rust; contributor to https://alexn.org, https://monix.io, https://typelevel.org. ๐ Bucharest, Romania https://alexn.org/about/
@etorreborre.blog
Haskell / Scala / Rust developer (author of the specs2 and registry libraries) github.com/etorreborre etorreborre.blog
@lessp.dev
appreciator of intuitive UI experiences, functional programming, and outdoors. occasional music maker O'Cameleer @ ahrefs Stockholm, Sweden
@jola.dev
"that chick from youtube" she/her Elixir is pretty cool