Sahinur @sahinur.dev Full Stack Software Engineer | AI Engineer | Scalable Cloud Solutions
Waltzing Hearts @krish-chase.bsky.social Waltzing Hearts https://www.amazon.com/Waltzing-Hearts-Krish/dp/9360498068
Bookshelfie ⭐️ @bookshelfie.bsky.social The Self-Pub Hub (Book Review and Story Site)
Submissions open now:
https://book-shelfie.com/submissions
Postscript: www.pscript.app
Book tour inquiries: contact@book-shelfie.com
Tori @proof-by.bsky.social Logic and categories
https://victoriavollmer.github.io/
Hotmoka @hotmoka.bsky.social The proof of space blockchain with smart contracts in Java
https://hotmoka.io/
http://t.me/hotmoka
Holiday World @myholidayworld.bsky.social 🎄 𝐀𝐥𝐥 𝐭𝐡𝐢𝐧𝐠𝐬 HOLIDAY, 𝐚𝐥𝐥 𝐢𝐧 𝐨𝐧𝐞 𝐩𝐥𝐚𝐜𝐞!
❤️ 𝐀𝐥𝐥 𝐲𝐞𝐚𝐫 𝐫𝐨𝐮𝐧𝐝! #holidays365
🌏 #myholidayworld #holidaychannel
😻 #pawlidays365 pet & animal holidays
🍭 #holidaylicious food & drink holidays
www.myholidayworld.com
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
@terrorjack.bsky.social @terrorjack.bsky.social - E @evanwilliams02.bsky.social @evanwilliams02.bsky.social
@0xitalo.bsky.social @0xitalo.bsky.social 
Missino @onedeuxtriseigo.nullpo.dev Trapped in SFINAE hell screaming at angry numbers and spicy shapes.
@morespinach.bsky.social @morespinach.bsky.social Thinking about Databases
@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
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
Dmitriy 🇺🇸🇦🇺🇺🇦🌎🌊🏔️🐋 @soularis999.bsky.social Fathering, husbanding, dogering, coding and traveling… what else can I say
Richard Carlsson @richcarl.bsky.social Free range yak farmer. @richcarl@mastodon.nu
@proustian.bsky.social @proustian.bsky.social 🐫
@binarymonkee.bsky.social @binarymonkee.bsky.social 
SAP® Magazines S4-Experts @source4experts.bsky.social 🔶Community News, Products and Services
🔶35 Magazines & 6.000 Current Articles
🔶Market Strategy, PR & Marketing
🏢 Company Group: https://s4-experts.com
🗞️ SAP Magazine Suite:
https://s4-experts.com/sap-verkauf-ankurbeln-kundenakquise-produktverkauf-lead
SAP® Recruiting S4-Experts @s4-recruiting.bsky.social 🔶 E-Mail & Module Entry 🔜 Projects
🔶 Recruitment without Commissions
🔶 All Job & Project Provider in Hubs
🔶 Part of the Network Organization
Join our Database:
https://s4-experts.com/kandidateneintrag/
SAP® Store S4-Experts @s4-store.bsky.social 🔶Apps, Addons, Plugins & Systems
🔶SAP Business Models & Services
🔶SAP Franchising and Hardware
🔶Network Entity at S4-Experts
🛒SAP Store (DE): https://s4-experts.com/sap-publikationen/
🛒SAP Store (EN): https://s4expertsstore.blogspot.com
SAP® Marketing & Market Strategian S4-Experts @s4-marketing.bsky.social 🔶Market Strategy & Business Development
🔶Products, M&A, Services & Hardware
🔶Store, Magazines, Hubs, Newsletters
🔶Social Media & Advertising Space
🏢 Biz Dev SAP Company Group: https://S4-Experts.com
🗞️ Biz Dev Journal: https://SAP-Marketing.blogspot.com
SAP® Outsourcing S4-Experts @s4-outsourcing.bsky.social 🔶SAP Offshore & Nearshore Services
🔶Seeking global & local Partnerships
🔶SAP Managed Service Provider
🔶Network Entity of S4-Experts
Network Organization with Partnerships and SAP Franchising.
https://s4-experts.com/sap-outsourcing-partnerschaften/
SAP® Academy S4-Experts @s4-akademie.bsky.social 🔶 Training 4 Free, Webinars & AI Bots
🔶 System Access, Demos and Videos
🔶 Books, White Papers and Tutorials
🔶 Part of the S4-Experts Network
SAP Academy inclusive Translator:
https://s4-experts.com/sap-akademie/
SAP® Consulting S4-Experts @s4-consulting.bsky.social 🔶 SAP Project & Strategy Consulting
🔶 SAP Techno-Functional Consulting
🔶 SAP System & Module AI Consultants
🔶 Academy, PM Guide & Staffing Flat Fee
🏢 Solutions & Companies: https://S4-Experts.com/Suite
🗞️ PM Magazine: https://SAP-Manager.blogspot.com
SAP® Strategy & Project Management S4-Experts @project-management.bsky.social 🔶 SAP Strategy and Project Management
🔶 AI Consultants per Module & System
🔶 SAP Project Guide and Accelerators
🔶 Academy & Staffing Flatrate
🏢 Solutions & Companies: https://s4-experts.com/suite/
🗞️ PM Magazine: https://sap-manager.blogspot.com
SAP® Marketingakademie S4-Experts @marketingakademie.bsky.social 🔶 Done4You, Shortcuts & Mistake Prevention
🔶 Hubs: Webinars, Videos & Tutorials
🔶 SAP Copywriter AI & Marketing AI
🔶 Software Suite and Templates
🏢 Biz Dev SAP Company Group: https://S4-Experts.com
🗞️ Biz Dev Journal: https://SAP-Marketing.blogspot.com
SAP® Franchising & M&A Advisory S4-Experts @s4-advisory.bsky.social 🔶Planability when Founding a SAP Company
🔶SAP Franchising & Business Development
🔶SAP Company Purchase and Sale
🏢 Company Trade and Biz Dev: https://S4-Experts.com
🗞️ Biz Dev Journal: https://SAP-Marketing.blogspot.com
SAP® Management S4-Experts @s4experts.bsky.social 🔶Network Organization, AI Bots & Hubs
🔶Project & Scaling Strategy Consulting
🔶Recruiting, Academy and Magazines
🔶Store, Marketing & Solution Suites
🧡 Follow us to Learn about new Business Models, SAP Products & News: https://s4-experts.com
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
@hannelita.bsky.social @hannelita.bsky.social 
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
Carter T Schonwald @cartazio.bsky.social Extroverted mathy computer science etc. nyc 
fmancrypto @fmancrypto.bsky.social Spreading the word about XRP, the XRP ledger and the original Meme coin XMEME! xrpl.services/?issuer=r4UPdd…
Free Followers 💯 @memex100.bsky.social https://m.facebook.com/
Crypto Trader 888 @cryptotrader888.bsky.social Crypto Day Trader
Technical Analyst
Rob Stewart @robstewartuk.bsky.social Associate Professor at Heriot-Watt University. Accelerating functional languages and AI in software and hardware.
https://www.macs.hw.ac.uk/~rs46/
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
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/
@shorsher.bsky.social @shorsher.bsky.social 
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!
Einar Broch Johnsen @ebjohnsen.bsky.social Prof CS University of Oslo
https://ebjohnsen.org
@boarders.bsky.social @boarders.bsky.social Thanks to impermanence all things are possible
Working on a book on topos theory
Philip Zucker @sandmouth.bsky.social Computer Friend, Not a Bird
www.philipzucker.com
Guannan Wei @guannanwei.bsky.social Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
@bluemeniscus.bsky.social @bluemeniscus.bsky.social 
Julien Narboux @jnarboux.bsky.social Researcher in Computer Science, IRIF, Université Paris Cité.
Topics of interest: proof assistants, ITP, ATP, teaching with proof assistants.
@pipelineisgushing.bsky.social @pipelineisgushing.bsky.social 
𝙉𝙞𝙠𝙤𝙡𝙚 𝘾𝙧𝙞𝙢𝙨𝙤𝙣 @dollnikoll.bsky.social Ink on paper fire in my soul
My words will haunt you my presence will stay
Keep wondering… some stories are never finished 😏✨
@daemosity.bsky.social @daemosity.bsky.social 
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.
@cgreil.bsky.social @cgreil.bsky.social 
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- L Laurence Aitchison @laurenceai.bsky.social Lecturer at the University of Bristol.
probabilistic ML, optimisation, interpretability, LLM evals.
KinkyKongAI @handle.invalid The color of my dress means NOTHING. #Midjourney Event Host, Guide, and Community Outreach | Moderator at Hedra | Shares the best I see in AI | Your Fun, Friendly Creator at the Bleeding Edge of #AI . I BLOCKED MAGA words, Cuz I value my peace. 
@gckeller.bsky.social @gckeller.bsky.social Professor, Software Technology, Utrecht University
Subash @anterr.bsky.social 
@alanz.bsky.social @alanz.bsky.social 
Andre @andrevdm.bsky.social Software developer at http://hyraxbio.com. 0x20 supporter. λ
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
@bijkerhans.bsky.social @bijkerhans.bsky.social 
@marcos-j-dominguez.bsky.social @marcos-j-dominguez.bsky.social 
@michellehussey.bsky.social @michellehussey.bsky.social 
Neil Postlethwaite @neilpos.bsky.social HDR UK Tech Director. Data making a difference in Healthcare. Passionate about IoT. Views my own. http://instagram.com/neilpos3 https://x.com/neilpos
@jameshaydon.bsky.social @jameshaydon.bsky.social 
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
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
elisabeth lemma ☔ @wendigotypes.bsky.social theoretical computer sorcery and theorem potions · she/they/e
phantomtyp.es
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
Ian Stark @ian.stark.scot 
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
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.
Greg Michaelson @gjmichaelson.bsky.social An idle singer of an empty day
https://www.stairwellbooks.co.uk/product/solstice/
Simon Kirchin @simonkirchin.bsky.social Prof. of Applied Ethics, Uni of Leeds, and Director of the IDEA Centre. Football and cricket, comedy and food. Director of the British Philosophical Association. Goes on a bit. Occasional jokes.
#philosophy
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 🇦🇹 🌈
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
@gabedijkstra.bsky.social @gabedijkstra.bsky.social - K @kubaneko.bsky.social @kubaneko.bsky.social master student at Chalmers something something proof assistants
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
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
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
Carl Lenox @alphaconstant.bsky.social All in for clean distributed energy abundance. At it for a good while now.
Product, strategy, technology & policy
Jannikh @jannikf.bsky.social 
Channing Walton @channingwalton.bsky.social Scala software developer, unison-lang wannabe dev, amateur pianist, dad, husband, and keeper of six small furry beasts.
Prompt Domains @promptdomains.bsky.social Tech Enthusiast, AI Tinkerer and Domain Investor. Passionate about shaping the future of creativity and technology.
📎🐸🕊️Ω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