Hotmoka @hotmoka.bsky.social The proof of space blockchain with smart contracts in Java
https://hotmoka.io/
http://t.me/hotmoka
@daemosity.bsky.social @daemosity.bsky.social 
@pipelineisgushing.bsky.social @pipelineisgushing.bsky.social 
@bluemeniscus.bsky.social @bluemeniscus.bsky.social 
@shorsher.bsky.social @shorsher.bsky.social 
Pragmatic Entrepreneurs @pragmaticentrepreneurs.com Forum pour entrepreneurs pragmatiques fondรฉ par @camilleroux.com
Holiday World @myholidayworld.bsky.social ๐ ๐๐ฅ๐ฅ ๐ญ๐ก๐ข๐ง๐ ๐ฌ HOLIDAY, ๐๐ฅ๐ฅ ๐ข๐ง ๐จ๐ง๐ ๐ฉ๐ฅ๐๐๐!
โค๏ธ ๐๐ฅ๐ฅ ๐ฒ๐๐๐ซ ๐ซ๐จ๐ฎ๐ง๐! #holidays365
๐ #myholidayworld #holidaychannel
๐ป #pawlidays365 pet & animal holidays
๐ญ #holidaylicious food & drink holidays
www.myholidayworld.com- E @evanwilliams02.bsky.social @evanwilliams02.bsky.social
kate conger @kateconger.com tech reporter for the NYT!
co-author of CHARACTER LIMIT!
signal: kateconger.11
buy our book: https://www.penguinrandomhouse.com/books/737290/character-limit-by-kate-conger-and-ryan-mac/
tour dates & translations: https://linktr.ee/kateconger
John Gruber @gruber.foo I write Daring Fireball and created Markdown.
Dustin Moskovitz @moskov.goodventures.org Co-founder at Asana and Good Ventures (a funding partner of Coefficient Giving). Strange looper. You can just build the things you want to see in the world.
โCriminally underlikedโ
Tim Thomas @timofnewbury.bsky.social European ๐ช๐บ
Newbury, Berkshire based - previously Lichfield, South London, Sheffield, Kent, Sussex.
Likes: travel eg Belgium; railways; art; music eg Americana; film eg Noir & beer.
๐ธ
Elsewhere: @timofnewbury
+ blogger.com/profile/02224647895500543757
Free Followers ๐ฏ @memex100.bsky.social https://m.facebook.com/
fmancrypto @fmancrypto.bsky.social Spreading the word about XRP, the XRP ledger and the original Meme coin XMEME! xrpl.services/?issuer=r4UPddโฆ
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
@hannelita.bsky.social @hannelita.bsky.social 
TypeHoles @typeholes.bsky.social Interested in all things programming, cooking, hard metal, cats.
Love to explore new programming languages and build dev tools. Really love a good pit
He/him or they/them
@binarymonkee.bsky.social @binarymonkee.bsky.social 
@proustian.bsky.social @proustian.bsky.social ๐ซ
Richard Carlsson @richcarl.bsky.social Free range yak farmer. @richcarl@mastodon.nu
Dmitriy ๐บ๐ธ๐ฆ๐บ๐บ๐ฆ๐๐๐๏ธ๐ @soularis999.bsky.social Fathering, husbanding, dogering, coding and travelingโฆ what else can I say
Buildstash - manage software binaries @buildstash.com For app, game, and embedded teams - store and manage all your builds, share with your team, distribute to testers, manage rollouts, and deploy to stores ๐
https://buildstash.com
@afd-icl.bsky.social @afd-icl.bsky.social Computer scientist at Imperial College London, specialising in programming languages, software testing, and formal verification. Leader of FastPL group: https://fastpl.doc.ic.ac.uk
@morespinach.bsky.social @morespinach.bsky.social Thinking about Databases
Missino @onedeuxtriseigo.nullpo.dev Trapped in SFINAE hell screaming at angry numbers and spicy shapes.
@terrorjack.bsky.social @terrorjack.bsky.social 
Patrick McGahon @paadzer.bsky.social Irish gay guy in the East of England ๐ณ๏ธโ๐
In my fifties
EastEnders & Bargain Hunt fan
RIP mum ๐ 2022
Worked at Cambridge University & NHS
Awful at responding to DMs
Sober a few years
Not looking for hookups or onlyfans subscriptions
@0xitalo.bsky.social @0xitalo.bsky.social 
Paul Danger Kile @paul-danger-kile.bsky.social Legal name: Paul Danger Kile
Name at birth: William Paul Caligiuri
Anagram: Guardlike Panel
Japanese Name: ใใผใซใปใใณใธใฃใผใปใญใฌ
Callsign: K0PDK
Godless, Programming, Images, Opinion, Electric Bass
dangerismymiddlename.com
Crypto Trader 888 @cryptotrader888.bsky.social Crypto Day Trader
Technical Analyst
Dominik Winterer @dominikwinterer.bsky.social Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github.io
Casillic @casillic.bsky.social Critical Infrastructure, High Consequence / High Integrity Systems, Space, Nuclear, Mathematics, Public Health, HPC- H Harold Carr @hcarr.bsky.social https://haroldcarr.bandcamp.com/
@boarders.bsky.social @boarders.bsky.social Thanks to impermanence all things are possible
Working on a book on topos theory
Einar Broch Johnsen @ebjohnsen.bsky.social Prof CS University of Oslo
https://ebjohnsen.org
four seasons joe (not the hotel) @alacqua.bsky.social Husband, Dad, Unnle. MS Computer Science (yay!). Interests: functional programming, type theory, semantics, and math(s). Repost politics. Thx @reverentgeek.com for the profile pic!
Guannan Wei @guannanwei.bsky.social Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
Julien Narboux @jnarboux.bsky.social Researcher in Computer Science, IRIF, Universitรฉ Paris Citรฉ.
Topics of interest: proof assistants, ITP, ATP, teaching with proof assistants.
David Fox @ddssff.bsky.social 50 years of vibe coding. Functional programming, Haskell, computational semantics, web development. Former NYU, Bell Labs, Columbia, Brown, Princeton High.
Past Present Future Podcast @ppfideas.bsky.social The History of Ideas Podcast. Every Wednesday and Sunday with David Runciman. Wherever you get your podcasts.
Find us at ๐ www.ppfideas.com
Puppydudley๐น๐ช๐บ๐บ๐ณ๐จ๐ฆ๐ฒ๐ฝ๐บ๐ฆ๐ต๐ธ๐บ๐ธ๐ฝ๐ฆ
๐ฑโ๏ธ๐ชฟ๐๐๐ซ๐๏ธโ๏ธ @puppydudley.bsky.social socialist. federalist. supports democratic socialism, universal healthcare & universal basic income. he/him. pro-choice. pro-democracy. anti-war. anti-racist. anti-authoritarian. LGBTQ+ ally. PNW(WA), tech junkie, casual gamer, policy nerd, twitter refugee
@cgreil.bsky.social @cgreil.bsky.social - L Laurence Aitchison @laurenceai.bsky.social Lecturer at the University of Bristol.
probabilistic ML, optimisation, interpretability, LLM evals.
Andre @andrevdm.bsky.social Software developer at http://hyraxbio.com. 0x20 supporter. ฮป
Subash @anterr.bsky.social 
@alanz.bsky.social @alanz.bsky.social 
@gckeller.bsky.social @gckeller.bsky.social Professor, Software Technology, Utrecht University
Eoghan Daltun ๐ @irishrainforest.bsky.social Author of award-winning bestseller An Irish Atlantic Rainforest. Over 17 years rewilding our 73-acre farm on the Beara Peninsula, West Cork. In love with Earth's biosphere.
@gabedijkstra.bsky.social @gabedijkstra.bsky.social 
Roly Perera @dynamicaspects.org Making software more open, explorable and self-explanatory
https://dynamicaspects.org/research
Also: subjectivity, agency, active inference, niche construction, enactivism
@plrg-bristol.bsky.social
@iccscambridge.bsky.social
@f.luid.org
CryptoRobby ๐ฆ @cryptorobby.com Bitcoinใ
ฃweb3ใ
ฃNFT & digital art & boredape collectorใ
ฃblockchain enthusiastใ
ฃ#ReturnOnSociety โค๏ธ
[CryptoRobby] ๐ฆ
www.linkedin.com/in/cryptorobby
founder speaker angel investor IRL
๐Vienna ๐ฆ๐น ๐
@bijkerhans.bsky.social @bijkerhans.bsky.social 
@marcos-j-dominguez.bsky.social @marcos-j-dominguez.bsky.social 
Tomas Petricek @tomasp.net Associate prof @mff.unikarlova.cuni.cz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent & @cst.cam.ac.uk.
Check out my book "Cultures of Programming"! https://tomasp.net/cultures
ICFP Conference @icfp-conference.bsky.social ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social
https://icfp26.sigplan.org/
https://icfpconference.org/
PLDI @sigplan-pldi.bsky.social The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi26.sigplan.org/. Official hashtag this year: #PLDI2026. Posts by @jcenzo.bsky.social and @konstantinoskallas.bsky.social.
The Onion @theonion.com Americaโs Finest News Source. A @globaltetrahedron.bsky.social subsidiary.
Get the paper delivered to your door: membership.theonion.com
Join The Onion Newsletter: https://theonion.com/newsletters/
Pรฉter Szilรกgyi @karalabe.bsky.social Founder @dark.bio
Former Go Ethereum Lead (2015-2025)
tobioloke = Yapper { fName = "Tobi", age = 28} @tobioloke.com haskell, game dev and graphics enthusiast | want to make 3D video games with haskell | stop palestinian ๐ต๐ธ and congolese ๐จ๐ฉ genocide!
@nhcranky.bsky.social @nhcranky.bsky.social 
Andres Lรถh @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.
v. @vdorr.bsky.social ahoj, jรก jsem vlรกฤa
also at mastodon.social/@vdorr5, formerly twitter.com/vdorr5 and twitter.com/vdorr6
he/him/koลฅรกteฤko
some kind of idiot
ostrava, earth
R0b0tn1k @r0b0tn1k.bsky.social AI anthropologist, digital marketing
Eze Birman @e-z-3.bsky.social Not here. Not here the darkness, in this twittering world
https://layer8.space/@eb bridged to https://bsky.app/profile/eb.layer8.space.ap.brid.gy
OlderGeeks.com @oldergeeks.bsky.social OlderGeeks.com is the popular free software download site as featured on tech sites from around the world. - Randy & Deanna (The Older Geeks)
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
David Valley @sonicdave2112.bsky.social Film Composer, Songwriter, Progressive coffee enthusiast and music nerd, Ally to all. No DM's๐ซ No crypto๐ซ
Ask me about the Black Sheep Social Club!
It's finally out!
#Blueresisters
@augustsx.bsky.social @augustsx.bsky.social 
Denis @tooroot.bsky.social Follower of news and books. No dms
Gordon Fraser @gofraser.bsky.social 
John Records @johnrecords.bsky.social AI x Nonprofits
โข 21 years as Executive Director of a Bay Area nonprofit.
โข Empowering nonprofits with AI tools that feel like superpowers to save time, stretch budgets, amplify impact.
โข Let's connect!
@ericluap.bsky.social @ericluap.bsky.social - G Gerry @gerry.bsky.social
Tony Sloane @inkytonik.bsky.social Computer Scientist, programming addict, music lover, sports tragic.
Ex ANU, CU Boulder, JCU, Macquarie Uni, Symbiont. Currently, static analysis tooling at Oracle.
Opinions here are my own.
Also https://mastodon.acm.org/@inkytonik.
Sam Lindley @reifyreflect.bsky.social 
Sara @saratweets.bsky.social Britaรฑola. Cats. Arts. Fashion. Alexis Rose. Marketing
Stephen @sp.degabrielle.name Cat feeder.
London(UK) / Garramilla (Darwin) / Naarm (Melbourne)
Robert Kenneth Mackey ๐ @rkm87.bsky.social Student of Life โค๏ธ โ Never Stop Learning ๐ก
Bruce Kapron @bmkapron.bsky.social Theoretical computer scientist at University of Victoria
www.cs.uvic.ca/~bmkapron
Ian @ianmoran11.bsky.social 
๐๐ธ๐๏ธฮฉZhSigma@332ppmโ
ฮฃx,xโS{๐ฑ๐๐ช๐บฮปP(ฮธ|y)โ}learn-languages-world-life @stphrolland.bsky.social S.L. Rolland@332ppm
RepostReadLearn:
Rom ๐ซ๐ท๐ช๐ธ๐ช๐จ๐ฒ๐ฝ๐ฎ๐น๐ต๐น๐ง๐ทGalCat๐ท๐ด
Germ ๐ฌ๐ง๐จ๐ฆ๐ณ๐ฑ๐ง๐ช๐ฟ๐ฆ๐ฉ๐ช๐ธ๐ช๐ฉ๐ฐ๐ณ๐ดNno;๐ซ๐ด๐ฎ๐ธ
Slv ๐ต๐ฑ๐บ๐ฆ๐ท๐บ๐จ๐ฟ๐ธ๐ฐ;๐ง๐ฌ๐ญ๐ท๐ท๐ธ/๐ง๐ฆ๐ฒ๐ช๐ง๐พ๐ธ๐ฎ
IE ๐ฌ๐ท๐ฎ๐ท HanZ ๐จ๐ณ๐น๐ผ๐ญ๐ฐ๐ฏ๐ต Aggl Eo๐น๐ท๐ซ๐ฎ;๐ช๐ช๐ญ๐บ๐ฐ๐ท๐ฒ๐ณ
Poly ๐ฌ๐ฑ Aus ๐ฎ๐ฉ๐ฒ๐พ๐ต๐ญ๐ฒ๐ฌ Sem ๐ฎ๐ฑ๐ฑ๐ง๐ฒ๐ฆ Cel ๐ด๓ ง๓ ข๓ ท๓ ฌ๓ ณ๓ ฟ๐ฎ๐ชGd
Linguistics
ClimateAgnotologyDisinformation
SentientismFlexitarian
Astro๐๐๐๐Calligraphy๐ชถ
Linux
Prompt Domains @promptdomains.bsky.social Tech Enthusiast, AI Tinkerer and Domain Investor. Passionate about shaping the future of creativity and technology.
Channing Walton @channingwalton.bsky.social Scala software developer, unison-lang wannabe dev, amateur pianist, dad, husband, and keeper of six small furry beasts.
Jannikh @jannikf.bsky.social 
Carl Lenox @alphaconstant.bsky.social All in for clean distributed energy abundance. At it for a good while now.
Product, strategy, technology & policy
Gerardo Nunez @gerardonunez.bsky.social (Typed) Functional programming enthusiast. Haskell, Purescript.
"We act as though comfort and luxury were the chief requirements of life, when all we need to make us happy is something to be enthusiastic about." -- C. Kingsley- K @kubaneko.bsky.social @kubaneko.bsky.social master student at Chalmers something something proof assistants
Greg Michaelson @gjmichaelson.bsky.social An idle singer of an empty day
https://www.stairwellbooks.co.uk/product/solstice/
Eerke Boiten @eerkeboiten.bsky.social Prof Cyber Security and Head of School Computer Science and Informatics at De Montfort University. Own views. He/him.
Formal methods (last ever books on Z or refinement). Cyber security. Privacy. Data politics. Not all hypes. DM:eerke.boiten@dmu.ac.uk.
Achim D. Brucker @adbrucker.bsky.social Cybersecurity Prof at @UniofExeter, former Security Testing Strategist at SAP SE. Formal Methods, Security, Safety, Theorem Proving, Formal Semantics, http://logicalhacking.com / @adbrucker@fediscience.org
Ian Stark @ian.stark.scot 
Emanuele D'Osualdo @emanueledosualdo.com TT Professor in Computer Science @unikonstanz.bsky.social
formerly at @mpi_sws, and Marie Curie fellow at @imperialcollegeldn.bsky.social.
Music enthusiast
elisabeth lemma โ @wendigotypes.bsky.social theoretical computer sorcery and theorem potions ยท she/they/e
phantomtyp.es
Jean-Luc Raymond @jeanlucr.bsky.social โ๏ธ #Journaliste Tech pour Le Dauphinรฉ Libรฉrรฉ & Les Clรฉs du Digital & pigiste / #AI #Cyber #Deeptech #Ecommerce #HealthTech #PetTech / Prod Audio ๐ฑDigital marketing, Brand content senior consulting๐Paris ๐Enseignant CELSA ๐ฉ hello@jeanlucraymond.fr
Mary Sheeran @nishiorain.bsky.social Functional programmer, community builder, professor of CS, emerita, keen to get more women into CS and tech, lecturer, photographer, baker, table tennis player