@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
@jfmengels.bsky.social
Elm developer. Author of elm-review.com. Blogging at https://jfmengels.net. Co-host of Elm Radio Podcast. Working on making programming easier through static analysis and FP, and hoping to keep Earth a nice place to live in somehow.
@borar.bsky.social
@ctate.dev
Dev @vercel.com | Creator http://SpecUI.org | Spec Engineer | Musician, Space Nerd, Foodie | Vegan | He/him | Husband/Dad
@coffeezilla.bsky.social
Internet Detective Exposing Scams. Follower of Jesus. Support Investigative Journalism: http://patreon.com/coffeezilla Signal Tipline: coffeezilla.01
@pakicetus.bsky.social
Extinct hoofed animal representing the transitional stage between land mammals and whales. nnalien.tumblr.com | twitter.com/nnalien
@jaredforsyth.com
trying to be christian. feminist. mormon. type theory, PLT Mobile dev @KhanAcademy building kipos https://github.com/kipos-lang/kipos @jaredforsyth on the dead bird site
@bobkonf.bsky.social
Our website: https://bobkonf.de Organised by @activegroupgmbh.bsky.social Also at @bobkonf@discuss.systems.
@mikeisraetel.bsky.social
-PhD in Sport Physiology and former Prof. of Nutrition and Sport Science -Cofounder of Renaissance Periodization -Professional Grappler, Competitive Bodybuilder
@keles.bsky.social
METU CENG 21' PhD Student at UMD Programming Languages/Formal Verification/Random Testing Writing at http://alpkeles99.medium.com Twitter: @keleesssss
@inkandswitch.com
An independent research lab exploring the future of tools for thought. We envision a new computer that amplifies human intelligence. A system that helps you think more clearly, collaborate more effectively, and is available anywhere and anytime.
@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
@1st1.dev
Co-founder & CEO of Gel • Python core developer • PSF fellow • async/await • asyncio • uvloop • asyncpg ••• @geldata.com • github.com/1st1
@stylewarning.bsky.social
Currently flipping bits and rotating qubits. Advocate of open-source math software. You'll often catch me Lisping (or playing piano).
@hasidiclarrry.bsky.social
classic moroccan-lubavitch swirl who is a yeshiva bochur trapped inside female OTD body
@rationallydense.bsky.social
@fun-ocaml.com
FUN OCaml 2024 is an open source hacking event dedicated to OCaml enthusiasts and professionals https://www.youtube.com/@FUNOCaml
@haskell.org
Committed to a welcoming, vibrant & flourishing #Haskell community! Find us on https://haskell.org and https://blog.haskell.org
@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
@internethippo.bsky.social
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@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
@handle.invalid
American CTO and full stack developer in Japan. Posting about everything and nothing. Everything I post is stupid. CEO of HTMX. アホ垢
@adjectiveallison.com
software engineering - systems/infrastructure - llms - information retrieval - long term memory - brain/mind - writing - talking - thinking (too much)
@krlivermore.com
MAKE SHIT/BREAK SHIT FUCK AMAZON 🖕 Hack | Suspected Autist | Dad | HAM LinkTree: https://linktr.ee/richie_livermore pfp: niko4696 Banner: @rhylonight.bsky.social
@giacomocavalieri.me
I love functional programming and learning new things ✨ Gleam core team member 💕 (he/him)
@lessp.dev
appreciator of intuitive UI experiences, functional programming, and outdoors. occasional music maker O'Cameleer @ ahrefs Stockholm, Sweden
@neogoose.bsky.social
Born to use camera, forced to use neovim. Made odiff, working on http://fframes.studio, writing assembly for fun and JavaScript for money.
@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/
@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.
@laowhy.bsky.social
clara, trying to let the soft animal of her body love what it loves
@typst.app
Compose papers faster: Focus on your text and let Typst take care of layout and formatting.