@andymasley.bsky.social
When the going gets weird the weird turn pro. Director of EA DC linktr.ee/andymasley
@dbrattli.bsky.social
@cup-jfp.bsky.social
Design, implementation & application of functional programming languages from mathematical theory to industrial practice. Published by Cambridge University Press. Posts by @liamoc.net
@droque.bsky.social
@aparker.io
the only thing worse than my code are my jokes governance @opentelemetry.io dir. open source @honeycomb.io av by @extinctinks.net
@johnbender.bsky.social
Formal verification researcher at Sandia National Labs. Much too excited about bikes. Bread is my loaf language.
@billwagner.bsky.social
Working at Microsoft, making content for C# and .NET, C# Standards, Playing guitar when I have time. posts are mine. he/him
@thesuntoday.bsky.social
Heliophysicist (Sun Scientist) • Space weather, solar activity, heliophysics missions, eclipses, aurora & more • Work for NASA • Posts are my own 🌞💥
@hmason.bsky.social
Co-founder & CEO of Hidden Door. I <3 cheeseburgers and making beautiful things. I know a thing or two about AI, but it's people who matter. I am interested in many things. NYC
@wickydubswx.bsky.social
Meteorologist. Photographer. Sun Enthusiast. Astroguy. 🌈⛈️ SCSU 24’ MN✈️NE
@tldraw.com
infinite canvas / http://tldraw.com / http://tldraw.dev / https://discord.tldraw.com/bsky
@felienne.bsky.social
Ik ben Felienne Hermans, hoogleraar didactiek van de informatica aan de Vrije Universiteit Amsterdam, en leraar informatica op de Open Schoolgemeenschap Bijlmer! Ik schrijf vooral over inclusiviteit in de digitale wereld.
@klofberg.bsky.social
@compositional-it.com
We believe in functional solutions for everyday software - bespoke software development and consultancy, and F# and Azure training, coaching and consultancy.
@standupforscience.bsky.social
Because Science is for everyone! 🧪🌎 Learn more ⬇️ https://linktr.ee/standupforscience2025 👯sister org: @sciforgood.bsky.social
@simonwillison.net
Independent AI researcher, creator of datasette.io and llm.datasette.io, building open source tools for data journalism, writing about a lot of stuff at https://simonwillison.net/
@deomorxsy.bsky.social
@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
@ap.brid.gy
Bridgy Fed (https://fed.brid.gy/) bot user for the fediverse. To bridge your Bluesky account to the fediverse, follow this account. To ask a fediverse user to bridge their account, send their address (eg @user@instance) to this account in a chat message.…
@simondevegt.bsky.social
Engineer, do you have a technical challenge for me? F#, Swift, Rust, fun languages. Dutch. Volvo. Chocolate. Things. New here, please help.
@tannergooding.bsky.social
Dev on .NET Libraries team working on Hardware Intrinsics and Numerics
@ianholmes.org
Berkeley professor (Bioeng, Compbio). Visiting Scientist at Calico. JBrowse genome browser / Apollo annotation editor, ML for gene regulation / molecular evolution / synbio.
@bandukwala.me
💻 Pursuing the Future of Computing 🔬 PhD Student @ University of Michigan (Future of Programming Lab) 🪄 Building Hazel: Live Functional Programming & Malleable Systems 🐾 Dog Parent 🛠️ Ex-Software Engineer 🌟 Computing Maximalist
@neurocy.bsky.social
🌱 ruining programming forever @ hazel.org 🌱 professoring @ Michigan 🌱 poetry 🌱 dendrites 🌱 immersion 🌱 flowers 🌱 resisting idiocracy https://web.eecs.umich.edu/~comar
@fnconf.bsky.social
Asia's Premier Functional Programming Conference. 24-25 January 2025 https://functionalconf.com
@dralgaegirl.bsky.social
Professor of Biology/Ecology and #TriBeta advisor doing #SLACScience. I focus on understanding how human activities affect freshwater algal biochemistry. Gardener, hiker, baker, dog/cat mom. RP ≠ endorsement.
@realhopejahren.bsky.social
I write threads about stuff I know and when I get to the part I don't know I stop. Feel free to ask me about my sources. I also write books: https://www.penguinrandomhouse.com/authors/2111914/hope-jahren/
@jqchen.bsky.social
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app
@barryjay.bsky.social
A retired prof who tries to get some research in before cycling with the bunch at dawn. I like my work to surprise people, but am now so radical that few believe me, even though all theorems in my second book “Tree Calculus” are formally verified.
@rm4n0s.bsky.social
I want to bring back waterfall methodologies and the development of monolithic servers. Blog: https://rm4n0s.github.io/
@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
@kirancodes.me
Trans girl 🏳️⚧️ | 26 Programming Languages Postdoc @ UIUC still here~ despite it all https://kirancodes.me
@themaxus.dev
🇫🇮 Coffee addict, metal and synthpop fan, software engineering student, ham radio operator (OH5COB) and armchair philosopher. he/him https://technomaxery.com/
@steveklabnik.com
#rustlang, #jj-vcs, atproto, shitposts, urbanism. I contain multitudes. Currently in Austin, TX, but from Pittsburgh. Previously in Bushwick, the Mission, LA.
@osc.sh
Tech lead 💻 • DEV CONTENT Antarctica contractor 🐧 First person to deploy NodeJS in Antarctica (unverified) 📍 London 🇬🇧 (but now Riga 🇱🇻)
@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/
@jonathanaldrich.bsky.social
Professor at Carnegie Mellon University, working on programming languages and software engineering. ACM Publications Board member. Husband, dad. Black & Trans Lives Matter. Views are my own. He/him.
@julesh.mathstodon.xyz.ap.brid.gy
Applied Compositional Thinking [bridged from https://mathstodon.xyz/@julesh on the fediverse by https://fed.brid.gy/ ]
@xurxodev.com
Saber crear software de calidad te da libertad. Escribo historias, consejos y experiencias. https://xurxodev.com/libros https://xurxodev.com/estudio-comunidad-xurxodev/
@kritoke.bsky.social
IT Professional, lover of functional languages. Currently building a side project in Elixir. Learning Haskell, Ocaml, Gleam, and others.
@erata.bsky.social
PhD student @Yale • Applied Scientist @AWS AI • Automated Reasoning • Neuro-Symbolic AI • Alignment • Security & Privacy • Views my own • https://ferhat.ai