Dylan Field @zoink.bsky.social CEO at Figma
Scott Hanselman 🌮 @scott.hanselman.com I want you to win and be happy. Code, OSS, STEM, Beyoncé, T1D, open source artificial pancreases, Portland, 3D printing http://hanselminutes.com inclusive tech podcast! VP/Member of Technical Staff, Microsoft/GitHub 🌮
http://hanselman.com/about
yung perf papi nba @aiight.bet Low key finance high key drunkenness
AT Protocol Developers @atproto.com Social networking technology created by Bluesky.
Developer-focused account. Follow @bsky.app for general announcements!
Bluesky API docs: docs.bsky.app
AT Protocol specs: atproto.com
Jay 🦋 @jay.bsky.team Founder & Chief Innovation Officer @ Bluesky
Working on @attie.ai
🌱 🪴 🌳
Martin Shkreli @martinshkreli.bsky.social www.DrGupta.ai
José Valim @josevalim.bsky.social Creator of Elixir. Working at Dashbit and Livebook.
Jack Rusher @jackrusher.com Ex-Bell Labs/AT&T Research'er making art & technology in Berlin.
🐘@jack@jackrusher.com
🐦@jackrusher- O @odersky.bsky.social @odersky.bsky.social
Martin Kleppmann @martin.kleppmann.com Associate Professor at @cst.cam.ac.uk, researching decentralised systems and security protocols. Advisor to the Bluesky team. Wrote “Designing Data-Intensive Applications” (O’Reilly). he/him
Aaron Brooks @aaron.brooks1.net Loves people, ponders systems, types parentheses, drinks tea, makes dad jokes, seeks Christ - software engineering @ Equinix
Formerly: https://twitter.com/0x1B
Sometimes on: https://mastodon.social/@abrooks
지산 @zee.town eng @oxide.computer | @paperswelove.org co-founder | @scsatcmu.bsky.social PLT PhD, prev @ fission, comcast, basho, arc90, nypl_labs | online @ https://zee.town | pastes @ https://scpaste.zee.town | livin @ songdo, s. korea.
🎵 NP: "Help" by HYUKOH
rob pike @robpike.io Long career as a dilettante at Bell Labs Research and Google, mostly building weird stuff no one uses, but occasionally getting it right, such as with UTF-8 and Go.
Pierre-Yves Ritschard @pyritschard.bsky.social
(hollaback/cc) @drun.v25media.com The Original Junglist Massive™
👨🏼🎤 he / him
📜 Papers We Love Co-Founder
🍵 Tea filtration organism
∞ Parenthesis enthusiast
🧠 Psi-division
⚠️ Social Media is Bad You Have Been Warned
Papers We Love @paperswelove.org A community of folks into computer science research and using it for great justice.
🌏 https://paperswelove.org
👀 https://pwlconf.org
🦣 https://mstdn.io/@paperswelove
📺 https://www.youtube.com/@PapersWeLove
ssssss @stst97.bsky.social 時間がない
Physics Magazine @physicsmagazine.aps.org Exploring the people, ideas, and stories behind physics research.
Star Shakoury @pachebaghala.bsky.social Physics teacher
@alibugra1.bsky.social @alibugra1.bsky.social Physics engineer
Fisiterra @aretegriego.bsky.social Physics, math … and other things
Daniel Lee 🔜 40 @taio.bsky.social Former L5 MTG Judge // Storm, all formats // 💙💜💗 // ❤️💙🖤 // (c) Panda Sub Rogue // (a) Troll Shadow Priest // He-Him // ♎️☀, ♎️🌙, ♐️🌅 // Abstract Algebra and Category Theory // formerly @stormallformats on Twitter
Mulberry @mulberry.bsky.social hopf algebra simp | 26 | he/him
Manuel Baltieri @manuelbaltieri.bsky.social Chief Researcher at Araya, Tokyo. #ALife, #AI, embodied and enactive #cognition. Information, control and applied category theory for cognitive science.
https://manuelbaltieri.com/
Konner @konner.bsky.social Philosophy-foundations of physics PhD candidate | gauge/gravity | Hilbert’s sixth and category theory | Yang-Mills | @weylperson on twt | konnerchilders.com
Hiroyuki Miyoshi @metaphusika.bsky.social Research interests: mathematics (category theory, mathematical logic, etc.), theoretical computer science, philosophy of computation.
Charlie (In my unghost era) @dka.bsky.social Philosophy and Category Theory | he/him | All socials: @CharlesDKA
justinhj @justinhj.bsky.social Posting about video games and programming
Bruno Gavranović @bgavran.bsky.social I'm building neural networks that generate provably correct code, and the software infrastructure for training them.
Recently experimenting with TensorType: https://github.com/bgavran/TensorType
www.brunogavranovic.com
Malcom x86 @bigthing.bsky.social PLT groupie.
Fernando Freire @dogonthehorizon.com I do things and sometimes they work out!
Founding Engineer @ teem.finance; PLT/FP/Haskell Journeyperson otherwise.
Cameron Desautels @camdez.com Founder and CEO at CollBox. Emacs, Clojure, &c.—tea enthusiast, erstwhile vagabond, libertine, & over-thinker.
https://camdez.com
Ullrich @ullrich.is Engineering Leader. Follow me?
Spent my career building mobile apps. You've likely used one or two of them.
[he/him]
aka @stigi, but not on here
Furkan Bayraktar @furkanbayraktar.bsky.social Co-founder & CTO @Scrintal | Clojure Advocate | Software Engineer | he/him
わみ @i-whammy.bsky.social A software engineer / road bike lover. Kotlin, TypeScript, Clojure, Elixir. Pinarello, Chapter2.
Daniel Glauser @danielglauser.bsky.social Into Clojure, photography, video production, and outdoor sports.
lispyclouds @lispyclouds.bsky.social Ⓐ λ 🏳️🌈 🫖 #anarchy #clojure #babashka #golang #sre #neovim
https://github.com/lispyclouds
https://mastodon.online/@lispyclouds
David Whittington @djwhitt.bsky.social ar.io, Arweave 🐘, Clojure(Script), databases, NixOS, running, SRE
Janet A. Carr @janetacarr.com Independent Clojure Consultant. Aspiring Blonde Bombshell.
Posts about Software Dev, Clojure, & Functional Programming
Twitch: twitch.tv/janetacarr
Course: clojureforpros.com
Clojure blog: blog.janetacarr.com
Freelance Blog: fixedrate.dev
Bryan Mikaelian @bryanmikaelian.bsky.social engineering @ exe.dev. Formerly Aptible, 1Password, Netlify, Segment, Librato.
https://bryanmikaelian.com
Niki Tonsky @tonsky.me Fira Code, Datascript, Humble UI, #clojure
Alex Miller @alexmiller.bsky.social Clojure, Strange Loop
Victor @victorsabino.bsky.social PhD candidate in Computer Science | Robotics- O ovo.ai @ovo.bsky.social AI and Robotics Research
Anthony Cowley @acowley.bsky.social Functional roboticist. Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.
Barry @chiroptical.dev PhD Theoretical Chemistry. Haskell/Typescript full stack engineer at Mercury. Aspiring Gleam and Erlang programmer. Occasional content creator linktr.ee/chiroptical. Drumming and fencing enjoyer.
inamiy @inamiy.bsky.social Interests: Programming, Logic, Math, Physics, Biology, AI, Natural History, Anthropology, Books, Travel, Culture.
Language: 🇯🇵🇬🇧
Dmitrii Kovanikov @chshersh.com 🧑💻 Senior Software Engineer at Bloomberg using C++
📽 Content: https://youtube.com/c/chshersh
All opinions are my own.
Sudha @sudha247.bsky.social Hacking on OCaml stuff at Tarides.
Previously - Research Engineer at IIT Madras, Tech at Northern Arc Capital, Undergrad at SSNCE. Interests - open source software, test cricket, books, ARR music, functional programming.
Felipe O. Carvalho @felipe.rs SWE @ dbt Labs. Past: SDF, VoDa, Spotify. Apache Arrow/Databases/Compilers/DistSys. Rust/C++/OCaml/TLA+. 🇧🇷 → 🇸🇪 → 🌎 http://bento.me/felipe / https://felipe.rs
λuki @lmdex.pro I love OCaml, isekaijoucho. my opinions are my own.
https://github.com/lmdexpr
Graeme Smith @graemesmith.bsky.social Theorist in Waterloo. Quantum information, quantum computing, science, parenting. https://gsbsmith.ca
Quantum Cosmic @cosmicquantum.bsky.social Quantum Physics | Philosophy | Psychology
lwcooke @lwcooke.bsky.social AMO Physicist | PhD Candidate
Quantum Information | Quantum Simulation | Ultracold Gases
Alessandro Luongo @scinawa.bsky.social Hacker. Researcher in quantum algorithms @ Center for Quantum Technologies of Singapore.
Dr. Aimee K. Gunther @aimeekgunther.bsky.social Quantum physicist turned Director of the Quantum InterNetworking Challenge Program at the National Research Council of Canada
Here resides personal opinions on: quantum technologies, SciPol, cocktails, running, SciFi/fantasy books, and other shinanigans- M Michael Zingale @michaelzingale.bsky.social computational astrophysicist
open source tool developer
professor
blower upper of stars
can recite π to 2 decimal places from memory
star wars fan
coffee aficionado
https://zingale.github.io
Quoll @gearon.org Clojurista, Ontologist, Graph Databasist, and PhD student.
Not offended at DMs, unless it’s spam
(λ. borkdude) @borkdude.bsky.social #clojure (#cljKondo, #babashka) * functional programming * whole food plant based * progressive rock+metal * ♥ @lalage_ * http://github.com/borkdude