jonathan
I like research, programming, and the sciences 🖤 he/him (pfp is not me)
jonathanmfung.com
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@matt.godbolt.org
Sometime verb, real person, lover of 8-bit computers, husband & father, trying to be a kind person. #blacklivesmatter; trans rights are human rights. he/him
@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
@chreke.com
Functional programming enjoyer Co-founder of https://functionalsoftware.se Personal website: https://chreke.com Sometimes I write stuff here: https://blog.snork.dev/
@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
@pvh.ca
just this guy, you know? (director of research @ ink & switch, coined "local-first", contributor to automerge, former postgres guy, heroku staff, ex-game developer, arctic oceanographer.)
@typeholes.bsky.social
Interested in all things programming, cooking, cats. Love to explore new programming languages and build dev tools.
@dm0ney.bsky.social
PhD candidate @ UMich • building http://tylr.fun http://hazel.org • thinking about parsing and structure editing • dmoon.info
@frame.work
Remaking consumer electronics to respect people and the planet. 💻🪛 Framework Laptop 13 and 16 are now in stock, and pre-orders are open on Framework Desktop!
@toposinstitute.bsky.social
US/UK-based non-profit research institute. We shape technology for public benefit by advancing sciences of connection and integration. Our goal is a world where the systems that surround us benefit us all. https://topos.institute
@joeyeremondi.bsky.social
PL Researcher. Assistant Prof at University of Regina 🇨🇦 Trying to make dependent types a bit easier to use. Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
@heumpje.bsky.social
Condensed matter experimental physicist. Interested in exploring how fundamental laws govern the world around us.
@xkcd.com
@johncarlosbaez.mathstodon.xyz.ap.brid.gy
I'm a mathematical physicist who likes explaining stuff. Sometimes I work at the Topos Institute. Check out my blog! I'm also a member of the n-Category […] [bridged from https://mathstodon.xyz/@johncarlosbaez on the fediverse by https://fed.brid.gy/ ]
@ianthehenry.bsky.social
i work at the intersection of set theory and figurative language http://ianthehenry.com | http://bauble.studio | http://janet.guide | http://toodle.studio
@cco00oo.bsky.social
🌼Drawing and Gamedev｜No AI｜SFW🌌 🌼 https://skeb.jp/@cco00oo 🌼 https://lit.link/olyester
@soller.dev
System76 Principal Engineer, Pop!_OS Maintainer, and Redox OS BDFL - https://soller.dev Profile picture and banner: I am wearing a Pop!_OS shirt with multiple computers running Pop!_OS in the background to celebrate the 20.04 release.
@steampowered.com
Steam, The Ultimate Online Game Platform. For support: http://help.steampowered.com/en/
@chshersh.com
🧑💻 Senior Software Engineer at Bloomberg using OCaml 🐫 ♾️ Autistic 📽 Content: https://youtube.com/c/chshersh All opinions are my own.
@hilacodes.bsky.social
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
@matiasklemola.com
Software developer @ the Finnish Broadcasting Company (Yleisradio). I mostly write about video games, music and tech. Father of two. 🕹️🚙 Liikennematto - build the roads and the town comes to life! https://yourmagicisworking.itch.io/liikennematto
@leostera.com
staff eng/pm making dev tools for #ocaml at @tarides.com 💆 mission for 2025: take care of leo 📸 street photographer at photo.leostera.com 📺 watch me code: twitch.tv/leostera 📝 writes at leostera.com 🇦🇷🇸🇪🏳️🌈🖖🏼 he/they #adhd
@ajsteinmetz.com
Physics PhD & Global Professor at the University of Arizona. Talks about physics, astronomy and other sciences! ⚛️🔭🧪🧮 https://ajsteinmetz.github.io/
@javiervela.bsky.social
Inorganic & materials chemist. Veracruzano turned prairie dweller. I care about family, education, people, and the environment. Views & opinions my own. P e a c e .
@maybevoid.com
Rust Nerd ∘ Creator of Context-Generic Programming @contextgeneric.dev ∘ Interested in Haskell, functional programming, type theory, category theory, programming language theory ∘ https://maybevoid.com ∘ https://contextgeneric.dev
@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/
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@lpil.uk
"the maintainer is a legitimate communist. i will not be supporting this language" - some yt guy, 2024 I made @gleam.run and I do gymnastics (badly) they/them or he/him. end fossil fuels. genocide is bad. ride a bike.
@tristanasharp.bsky.social
Physicist, computer scientist, new entrepreneur, wanting to make good things for people. Interested in getting to know you.
@jaleel.bsky.social
Moving pixels, interested in distributed systems, sometimes doing open source, mostly for Swift distributed actors.
@epatters.bsky.social
Applied mathematician and technologist. Research scientist at @toposinstitute.bsky.social
@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
@tunaxor.me
One of the 12 #fsharp devs in the world, trying out kotlin and #buildinginpublic fun, I started this journey around 2013. https://linktr.ee/angel_d_munoz Other social media, not an OF 😆 Mexican, so spanish sometimes
@aspuru.bsky.social
Professor of Chemistry and Computer Science University of Toronto Faculty member, Vector Institute Director, Acceleration Consortium Senior Director of Quantum Chemistry NVIDIA My views expressed here are personal and are not those of my employers.
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: [email protected]