Ian Duncan @iankduncan.com I used to be smart, now I just try hard.
Haskell enthusiast
Me, https://iankduncan.com
Maker, https://wireform.systems/
Engineering at Mercury, formerly Forge, CircleCI, others
Matt Henderson @matthen.com Maths animations, dialogue systems research
Research @ PolyAI, previously Google, Apple, Reka. PhD Cambridge
Edinburgh, UK
@obsidiansystems.bsky.social @obsidiansystems.bsky.social
Patricia Aas 🐢🏳️🌈 @patigallardo.bsky.social Programmer, infosec, co-founder of TurtleSec, parent, bi 🏳️🌈, NB, she/they, Norwegian 🇳🇴 dyslexic with no edit
Anti-Fascist ✊
Trans rights are human rights 🏳️⚧️
Giving up is collaboration.
🐘: https://social.vivaldi.net/@Patricia
🏡: https://patricia.no
Erika @rrika9.bsky.social GPU compiler dev, reverse engineer, mostly in Glasgow
Elle Cordova @ellecordova.bsky.social A nerd at large. Writer of stuff.
Join my sci-fi book club:
http://patreon.com/ellecordova
nerd humor • space & sci fi • books
Native 🌿 @nativecollective.bsky.social ⇞ Photography Community
⇞ Tag #NativeCollective for features
⇞ Curated by @visualsbyzack.com
*Photo credits go to the photographers tagged
Rose LaCroix @rosehlacroix.bsky.social Writer and photographer. Alt account, mainly for my creative work.
American in Cologne Germany
Generally keeping this feed as a space to take a breather from politics.
Prints: https://www.redbubble.com/people/RoseLaCroix/shop?asc=u
Helen Czerski @helenczerski.bsky.social Physics, bubbles, oceans, hot chocolate and curiosity. Professor at UCL, writer, broadcaster. Author of Storm in a Teacup and Blue Machine https://linktr.ee/helenczerski Co-host of BBC Radio 4's Rare Earth
France traversée @clementd.wtf Baking biscuits at https://biscuitsec.org, Human of Puna. SWE @ datadog
Maths Inspiration @mathsinspiration.bsky.social Interactive lecture shows in theatres for 15-17 year olds. This is our 20th year, over 300,000 teenagers have been to our shows. www.mathsinspiration.com
Association for Computing Machinery @acm.org The world's largest professional organization advancing #computing as a science and profession. Also on Mastodon | LinkedIn | Meta | YouTube | Instagram.
Sovereign Tech Agency @sovereign.tech Strengthening digital infrastructure & open source ecosystems in the public interest. Home of the Sovereign Tech Fund, Sovereign Tech Resilience, Sovereign Tech Fellowship, & other programs supporting critical FOSS technologies.
https://www.sovereign.tech
David Sancho @david.sancho.dev Open Source UI infra at @ahrefs.bsky.social with OCaml
Made styled-ppx and server-reason-react
Working on Reason / Melange / reason-react and friends
Made styled-ppx and server-reason-react
Working on reason-react / Melange / Reason
Ellyse @ellyxir.com Programming languages enthusiast, choir, classical singing, video game creation, retro computers, languages
YouTube: https://www.youtube.com/@ellyse7777
PeerTube: https://video.mycrowd.ca/c/learn_together/videos
Fedi: https://humanwords.cc/@ellyxir
Feriel فَرْيَال (ꈍ ᴗ ꈍ✿) @feriel.choutri.eu Trade unionist, musician, professional software victim.
🇫🇷/🇩🇿
Séparatisme Numérique at @solinfonat.bsky.social
Project lead at @flora.pm
93 est mon indice d'octane
chreke @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/
Higher-Kinded Type @hktpe.bsky.social https://blog.rhetoricalmusings.com
Jacob Wang @jatcwang.bsky.social Almost Functional Programmer in Scala. DMs open :)
Anton Sviridov @indoorvivants.com I keep a detailed account of my various projects over at https://blog.indoorvivants.com/ and specifically the summary page: https://blog.indoorvivants.com/projects
London Scala @londonscala.bsky.social https://www.meetup.com/london-scala/
Joe @doscienceto.it Software Dev & Accidental Compiler Engineer, into Programming Languages, DataVis, Functional Programming, 3DPrinting, sewing, vim, spaces, he/him
I spend more time on Mastodon at:
https://functional.cafe/@hungryjoe
julesh @julesh.mathstodon.xyz.ap.brid.gy Applied Compositional Thinking
🌉 bridged from ⁂ https://mathstodon.xyz/@julesh, follow @ap.brid.gy to interact
Barack Obama @barackobama.bsky.social Dad, husband, President, citizen. barackobamabooks.com
William Gibson @greatdismal.bsky.social Author of Neuromancer and, most recently, Agency (still above from “Kill Switch”, The X-Files, Season 5, Episode 11, co-written with Tom Maddox)
@scalabridgelondon.bsky.social @scalabridgelondon.bsky.social
Queens of the Stone Age @qotsa-official.bsky.social Alive in the Catacombs
Out Now
Order the film at https://qotsa.com/
Tikhon Jelvis @jelv.is I like programming languages. A lot. Especially Haskell.
Tools, types and functions.
Based in Berkeley, CA
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.
Tim McGilchrist @tsmc.purely-functional.com OCaml and Haskell connoisseur. Principal software engineer at Tarides. Compilers, runtimes, garbage collection, and general systems hackery.
More at https://lambdafoo.com
Marco Z @ocramz.bsky.social ML, λ • language and the machines that understand it • building trellis.unfoldml.com • https://ocramz.github.io
Tim Harford @timharford.ft.com FT columnist, BBC journalist, author, host of Cautionary Tales, professional nerd.
Haskell programming language @haskell.org Committed to a welcoming, vibrant & flourishing #Haskell community!
Here we talk about community updates, software engineering and the joy of programming.
Find us on https://haskell.org and https://blog.haskell.org
Anil Madhavapeddy @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 work on computing for global biodiversity and climate change with @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
Alice ✨ @welltypedwit.ch There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake
- GLaDOS
https://welltypedwit.ch
Randall Munroe @xkcd.com
Ben Sparks @sparksmaths.bsky.social Mathematician, Musician, Speaker, Teacher, Author.
Freelance & MEI & Uni of Bath
MEI: Maths into AI
Uni of Bath: Communicating Maths module
Also Numberphile & Maths Inspiration
On YouTube @SparksMaths
Book a talk or workshop:
www.bensparks.co.uk
Simon Willison @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/
Jim Al-Khalili @jimalkhalili.bsky.social Jim Al-Khalili CBE FRS. Academic, author, broadcaster. Distinguished Emeritus Professor of Physics @UniofSurrey,
https://jimal-khalili.com
https://www.youtube.com/@UnbaffledScience
New Humanist @newhumanist.bsky.social Free thinking in an age of extremes. Follow for independent journalism on ideas, culture, politics and science. Published since 1885.
www.newhumanist.org.uk
∃ugene -Yokota 🥙 @eed3si9n.com enjoys music, good food, coding, and talking about them.
learning machines at employer. sbt core dev. he/him
OCaml @ocaml.org https://ocaml.org
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Miles Sabin @milessabin.com Partner at Underscore, Typelevel cofounder, Scala SIP committee alumnus. Type astronaut, grackle/shapeless/scalac/dotty hacker. He/him. Brighton, UK. Internationalist.
Edward Kmett @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
Michael Pilquist @mpilquist.bsky.social Functional programmer, runner, cyclist. Author of Functional Programming in Scala 2nd Edition. Engineering Fellow
@comcast
working in video. He/him.
Susan Potter @susanpotter.net Anti-fascist, anti-authoritarian, pro-privacy, pro-speech, investor, trader, polyglot software engineer (Haskell, Erlang, Scala, Nix, NixOS, F#) with a systems reliability and security focus. Recovering SRE.
https://www.susanpotter.net/
Matt Parker @standupmaths.bsky.social That maths guy from the internet.
BigEyedBeans @bigeyedbeans.bsky.social Work: research platforms engineer (HPC, cloud). Before: research software engineer. Play: muddy bikes, climbing. He/him.
Alexis King @lexi-lambda.bsky.social computers can be understood • she/her, ⚢ • Chicago
Maitlis @maitlis.bsky.social Co host @thenewsagents .
Formerly @bbcNewsnight - interviews with Prince Andrew Donald Trump Bill Clinton Mark Zuckerberg etc etc .
Alice Roberts @profaliceroberts.bsky.social Prof of Public Engagement in Science, Uni of Birmingham; anatomist, author, broadcaster; vice President of Humanists UK. All views my own.
Caroline Lucas @carolinelucas.bsky.social 🌎 Former MP for Brighton Pavilion, former Leader @greenparty.org.uk Professor of Practice, University of Sussex. Author of 'Another England: How to Reclaim our National Story'. Writing & campaigning on climate & nature 🌎 linktr.ee/carolinelucasbrighton
Journal of Functional Programming @journal-of-fp.bsky.social Design, implementation & application of functional programming languages from mathematical theory to industrial practice. Posts by @liamoc.net
Seth Tisue @tisue.net location: Reno, Nevada
topics: travel, arcane music & books, etc.
no Scala; for that, follow https://fosstodon.org/@SethTisue
see https://tisue.net to find me on other sites
Satnam Singh @satnam6502.bsky.social Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
Hillel @hillelwayne.com Developer educator at @antithesis.com. Formal methods, software history, chocolatiering. DMs open. *Logic for Programmers* now out! https://logicforprogrammers.com
Newsletter: https://buttondown.email/hillelwayne/
Chris Packham @chrisgpackham.bsky.social Broadcaster & environmental campaigner
chrispackh.am/links
Rob Eastaway @robeastaway.bsky.social Author, speaker, Director of www.mathsinspiration.com, cricket-lover, dad. Friend of BBC R4's podcast More or Less.
Grant Sanderson @3blue1brown.com Math videos
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app