Markup Language for Recipes and Tools http://cooklang.org/
International Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, & Maike Schwammberger
Skeets by Matt Luckcuck & Akhila Bairy
Website: https://fmasworkshop.github.io
https://tangled.org is the next-generation social coding platform.
→ Docs: https://docs.tangled.org
→ Discord: chat.tangled.org
→ IRC: #tangled @ libera.chat
Northern California // Shortcuts @ Apple // she/her
emmy // webby award winning tech creator ~ formerly @verge now doing it for me 🚀
(she//her)
vibe coding is the way. I bootstrapped a remote company before it was cool. Founder @PSPDFKit (exit to Insight). 🏳️🌈
Currently building https://contextsdk.com - Security Researcher - Creator of https://fastlane.tools (Previously Google, Twitter)
Breaking News on Apple and Tech. Bloomberg Managing Editor and Chief Correspondent. Subscribe to Power On. Tips: mark@markgurman.com. Signal: markgurman.01. Telegram: GurmanMark.
human interface designer at apple
A review of #lettering and #typography. Since 2002. Posts by editor @stewf.com.
Primarily on Mastodon with many from the type community: https://typo.social/@typographica
Founder and Editor-in-Chief @macstories.net. I write about iPad, iOS, indie apps, and making computers more fun.
I also co-host @appstories.macstories.net, a podcast about Apple and the world of apps, and @npc.macstories.net, a show about handhelds.
iOS, macOS, F1, cars, photography, and food. jury.me
✦ Founder & Managing Director of @karbon.agency
✦ iOS, video games, keyboards, tech, he/him
✧ Opinions my own
↗ Blog: karbonbased.io
↗ Photos: glass.photo/garrett
↗ Mastodon: mastodon.social/@garrettmurray
Senior Correspondent @theverge.com ║ Sign up to Notepad, my weekly newsletter on Microsoft's big bets at http://theverge.com/notepad ║ Tips? msg me on Signal: tomwarren.01
Creator of Flask • earendil.com ♥︎ writing and giving talks • Excited about AI • Husband and father of three • Inhabits Vienna; Liberal Spirit • “more nuanced in person” • More AI content on https://x.com/mitsuhiko
More stuff: https://ronacher.eu/
Basic (ˈbeɪ.sɪk’; Adj): lover of all things mainstream, popular, & trending in the world of .
https://basicappleguy.com
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.
Artist whose mediums include film, tv, and soda. www.StillersSoda.com
Account For Sale 🤝
DM w/ offers
Engineering graphics.
usgraphics.com
The database platform built for scale. Postgres and Vitess/MySQL.
https://planetscale.com
Discord: http://discord.gg/pDUGAAFEJx
Status: http://planetscalestatus.com
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
The 76th most followed account on bluesky. I will NOT be updating this ranking when it’s no longer true
scientist, storyteller, philosopher
computingthehumanexperience.com
Professor at UC Riverside, head of spalab.cs.ucr.edu
Home: emilianodc.com
U.S. Senator, Massachusetts. She/her/hers. Official Senate account.
https://substack.com/@senatorwarren
RC F'13, F2'17
Cryptogopher / Go cryptography maintainer
Professional open source maintainer
https://filippo.io / https://github.com/FiloSottile
https://mkcert.dev / https://age-encryption.org
https://sunlight.dev / https://filippo.io/newsletter
Technologist - EFF, Free Software, Big Ethernet
— Mostly Geek/Pretend Analyst
I might say things about Cryptography, Video Codecs, and Vogon Poetry
User #38,062 on Bluesky
CTO at Bluesky. Not a nerd.
reverse engineering, cryptography, exploits, hardware, file formats, and generally giving computers a hard time
Fedi: @retr0id@retr0.id
Macroblog: https://www.da.vidbuchanan.co.uk/blog/
iOS developer. he/him. Pronounced see-lig
Protecting, defending public interest journalism in the 21st century.
Subscribe to our ne🦋sletters: https://freedom.press/newsletters/
Staff, board members: https://bsky.app/starter-pack/freedom.press/3lbkk5aha5l22
More: linktr.ee/freedomofpress
I write Daring Fireball and created Markdown.
Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @erata.bsky.social & @frenkel_hadar. Use #cav25
Work in finance, 6'5, Bluesky
The need for independent journalism has never been greater. Become a Guardian supporter https://support.theguardian.com
🇺🇸 Guardian US https://bsky.app/profile/us.theguardian.com
🇦🇺 Guardian Australia https://bsky.app/profile/australia.theguardian.com
Mom, foodie, traveller, computer scientist
Everything is a compiler!
PhD student @uwcse
Opinions are my own!
CEO Stanza Systems. Speaking in personal capacity. Author/instigator SRE books, Reliable Machine Learning, History of the Irish Internet. Photography at http://www.edge-cases.photos
Past: CS @Penn. CS @dartmouth. Entrepreneurship Fellow @TuckSchool. Student Leader @GWISEDartmouth. Aerospace @iiscbangalore. Design Engineer @GeneralElectric.
I am also on Mastodon as @pineetha@mastodon.social and on Xhitter as @pvineetha
assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl)
https://cs.nyu.edu/~shw8119/
Director of Geospatial AI @nbcuniversal.com, Brown CS PhD & SMCVT Math/Physics/CS alum, admin @cemetech.net, AFOL, SFF nerd & open-theist
Bluesky open-source contributor
Decentralizing systems (human & digital)
Opinions are my own
📍Vermont
Software engineer in rural exile. Autonomous and generative testing, PL, web, and more.
wickstrom.tech
I research programming languages and turn Category Theory into code
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
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.
Mad computer scientist; electric motorcycle hacker; software architect; data viz whatever? Former nuclear tech, always NB. They/them. https://signal.me/#eu/5U6AQo_peWVxKPh5raxwBKUp8UxZm4iwfIb-21fgVSVQFRgfXn1DF42nvXiWSNfu
Kilocore RISC-V FPGA accelerators; former Microsoft dev tools architect; Vice-chair RISC-V SoftCPU SIG & Composable Custom Extensions Task Group; blog: https://fpga.org. Cyclist. Let's try kindness. 🇨🇦-🇺🇸
Programming language researcher at Microsoft.
CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
🔥 Lambda Scientist
💡 Functional programming
💡 Programming languages
💡 Cryptography
👨🏽💻 Swift, Haskell & Agda
💜 Volt 🇪🇺 policy shaper: digital affairs
📍 Utrecht 🇳🇱🇩🇪🇪🇺
Physicist, mathematician, programmer.
"The Dao of Functional Programming"
Regularly updated work in progress. PDF on GitHub:
https://github.com/BartoszMilewski/DaoFP/blob/master/DaoFP.pdf
Sr. Distinguished Engineer @nvidia
Emeritus Professor at U. Kent, computer scientist, GC researcher, author of The Garbage Collection Handbook (2012, 2023), Garbage Collection (1996). Opinions are my own.
Professor, Software Technology, Utrecht University
Assistant professor @UCalgary, Dept of Electrical & SW Engineering. Network/SW/usable security.
Senior Lecturer at ANU, Ngunnawal/Ngambri Country. he/any. 한국어도 할 수 있다. I leave these posts, I do not know for whom, I no longer know what they are about.
No AI-generated content, please.
https://liamoc.net
Pure functional programming, Haskell, PureScript, Nix.
Vermont provenance, Yokohama residence.
https://github.com/jamesdbrock
https://twitter.com/jamesdbrock
they/them
I'm Conor. I'm a nonbinary
Computer Scientist. God loves irony.
Femme presenting apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
@pigworker@types.pl on fedi
Don't call me Sir.
Living in Scotland. Complaining about stuff. Always hoping that things are changing for the better! Also: using #logic when trying to be precise. #UkraineMustWin #UkraineWillWin
phd student at @uwcse | niche perfume enthusiast and a foodie in training | 🇷🇸🇦🇪🇺🇸
tijanaminic1.github.io
An idle singer of an empty day
https://www.stairwellbooks.co.uk/product/solstice/
Professor of Software technology for learning and teaching, Utrecht University
Reader (Associate Professor) in @uofgcompsci.bsky.social at @uofglasgow.bsky.social | Leads @giclab.bsky.social | #ComputerArchitecture #Compilers #EdgeAI #Security
https://www.dcs.gla.ac.uk/~josecr/
Thomas L. Phillips Professor, CS@Virginia Tech. Data science, machine learning, urban analytics.
HCI academic (retired) . Here for #politics #fbpe #RejoinEU #climatechange #ukulele #cats #bassguitar #space #gardening #IAmEuropean
Functional roboticist. Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.
haskell hacker, vicar’s wife, accidental banker
Curious about software and computing. I consume skeets via curated lists hoisted as feeds :)
[he/him]
http://rvprasad.com
Professor of Computing Science at the University of Glasgow.
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
AI, deep learning, numerical, functional programmer.
Looking for a job!
Uilleann piper, highland piper, extreme Gaelic music enthusiast.
https://jmerritt.blog
Software Engineer at @Google (compilers for TPUs), PhD @UoEdinburgh. Ex-intern @MSFTResearch, ex-intern @Arm Research. He/him
A retired prof who tries to get some research in before cycling with the bunch at dawn. I like my work to surprise people, but am now so radical that few believe me, even though all theorems in my second book “Tree Calculus” are formally verified.
Associate professor (Reader) at Edinburgh, Informatics. Networking, security & systems research. Ex-NetApp. Foodie. Dad. 🏴🇬🇧←🇩🇪←🇯🇵
https://micchie.net
Principal Software Engineer at Flex. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
Coder. Communicator. Creative.
Software Engineer @vercel ▲ • Tweets about Functional Programming, TypeScript, Neovim, & Formula 1 • http://github.com/dmmulroy • http://twitch.tv/dmmulroy
Scala / Java / Python Engineer based in San Francisco Bay Area. Interests in NixOS, Functional Programming , Haskell, Swift Lang, ML/AI & Distributed Systems.
My blog: https://www.softinio.com
Programmer, Parrot Mom, Free Software Enthusiast, and author of Effective Haskell. https://www.pragprog.com/titles/rshaskell/effective-haskell/
Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
AWS S3 & UC San Diego professor
Building networks and systems that enable high-performance, scalable, and sustainable computing and storage.
https://www.cs.ucsd.edu/~gmporter
DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) 🇨🇷 in ATL. www.josecambronero.com
Disclaimer: My opinions are not my own. They're beamed to me by aliens.
Assistant Professor at Virginia Tech || Compilers, Programming Languages, and HPC || https://kirshanthans.github.io
Security researcher with an interest in formal methods.
B̶u̶i̶l̶d̶i̶n̶g̶ breaking things @ Interrupt Labs |
Teaching @ Australian National University
https://adrian-herrera.com
https://mwillsey.com
asst prof @ uc berkeley eecs
mastodon: @mwillsey@discuss.systems
Professor of Computer Science at UT Austin and Visiting Researcher at Google Deepmind, London. Automated Reasoning + Machine Learning + Formal Methods. https://www.cs.utexas.edu/~swarat
Computer systems faculty at Glasgow, driving research on resource-efficient and carbon-aware distributed computing systems, @glasgowc3lab.bsky.social, lauritzthamsen.org ☁️💻🌱