Simon Thompson
Functional programmer, writer and teacher at Kent and Eötvös Loránd Universities. Designer of the Marlowe smart contract language.
@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
@dominikwinterer.bsky.social
PostDoc@ETH Zurich | Making Formal Methods better and more practical
@casillic.bsky.social
Critical Infrastructure, High Consequence / High Integrity Systems, Space, Nuclear, Mathematics, Public Health, HPC
@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!
@guannanwei.bsky.social
Programming languages; Postdoc at INRIA/ENS; Incoming Assistant Professor at Tufts CS https://continuation.passing.style/
@jnarboux.bsky.social
Researcher in Computer Science, IRIF, Université Paris Cité. Topics of interest: proof assistants, ITP, ATP, teaching with proof assistants.
@ddssff.bsky.social
Functional programming, Haskell, computational semantics, web development. Former NYU, Bell Labs, Columbia, Brown, Princeton High.
@ppfideas.bsky.social
The History of Ideas Podcast. Every Thursday and Sunday with David Runciman. Wherever you get your podcasts. Find us at 🔗 www.ppfideas.com
@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
@laurenceai.bsky.social
Lecturer at the University of Bristol. probabilistic ML, optimisation, interpretability, LLM evals.
@anterr.bsky.social
@irishrainforest.bsky.social
Author of award-winning bestseller 'An Irish Atlantic Rainforest'. Almost 16 years living with 73 acres of wildland in Beara, West Cork. #Rewilding.
@dynamicaspects.org
Making software more open, explorable and self-explanatory Also: subjectivity, agency, active inference, niche construction, enactivism @plrg-bristol.bsky.social @iccscambridge.bsky.social @f.luid.org
@cryptorobby.com
Bitcoinㅣweb3ㅣNFT & digital art & boredape collectorㅣblockchain enthusiastㅣ#ReturnOnSociety ❤️ LinkedIn TopVoice [CryptoRobby] 🦋 www.linkedin.com/in/cryptorobby founder speaker angel investor IRL 📍Vienna 🇦🇹 🌈
@tomasp.net
Assistant prof at Charles University. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent and @cst.cam.ac.uk.
@icfp-conference.bsky.social
ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social https://icfp25.sigplan.org/ https://icfpconference.org/
@sigplan-pldi.bsky.social
The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi25.sigplan.org/. Official hashtag this year: #PLDI2025. Posts by @konstantinoskallas.bsky.social and @lastland.bsky.social.
@tobioloke.com
haskell, game dev and graphics enthusiast | want to make 3D video games with haskell
@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.
@vdorr.bsky.social
ahoj, já jsem vláďa also at mastodon.social/@vdorr5, formerly twitter.com/vdorr5 and twitter.com/vdorr6 cooking, haskelling, swimming, running, staring at piles of books, woke af ostrava, eu
@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.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)
@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
@gofraser.bsky.social
@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!
@gerry.bsky.social
@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.
@reifyreflect.bsky.social