@patrick.sirref.org
PhD Student @ Uni of Cam https://patrick.sirref.org https://github.com/patricoferris
@arxiv-cs-pl.bsky.social
Computer Science -- Programming Languages (cs.PL) source: export.arxiv.org/rss/cs.PL maintainer: @tmaehara.bsky.social
@cst.cam.ac.uk
Cambridge University Computer Science & Technology Department (aka the Computer Lab). We built the 1st usable programmable computer, offered the UK's 1st Computer Science degree, created the 1st webcam - and continue to advance the field today.
@se4fp.bsky.social
1st Workshop on Software Engineering for Functional Programming (SE4FP) In 2025, SE4FP is co-located with the @cbsoft.bsky.social Website: https://se4fp.github.io/2025/
@rust-lang.org
A programming language empowering everyone to build reliable and efficient software.
@jaredforsyth.com
trying to be christian. feminist. mormon. type theory, PLT Mobile dev @KhanAcademy building kipos https://github.com/kipos-lang/kipos @jaredforsyth on the dead bird site
@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/
@devshorts.in
Byte Sized Developer Education | Newsletter on Substack https://www.devshorts.in/
@janiczek.cz
Frontend FP developer (spending a lot of time in Elm the past few years). NuAshworld MMORPG. Programming language design (cara-lang.com). Property based testing!! Music making. Drive for teaching and unblocking others, writing little experiments. He/him
@nihil2501.bsky.social
@boogalooh.bsky.social
Former game dev now working as a Rust developer in finance. Love functional programming and making terrible games in my free time!
@brettevans.me
Functional programming, dependent types, denotational semantics, category theory, cooking, snowboarding, rugby.
@sdivvela.bsky.social
Undergraduate at UMD, interested in PL, systems, and security and all things in their intersection :) also avid manga reader, cat lover, and occasional gamer
@leo-lambro.bsky.social
Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
@engid.bsky.social
Software Engineer. I look for the bright side of the absurd. brightsideofabsurd.com
@brunopedro.com
Building an API Product: Design, implement, release, and maintain API products that meet user needs: https://a.co/d/dE6pQpK
@handle.invalid
Madrid. PhD student at IMDEA Software Institute + Universidad Politécnica de Madrid
@aoc.bsky.social
Waitress turned Congresswoman for the Bronx and Queens. Grassroots elected, small-dollar supported. A better world is possible. ocasiocortez.com
@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.
@praveshkkothari.bsky.social
Assistant Professor @PrincetonCS Research: Theoretical Computer Science, Optimization, Algorithmic Statistics.
@gbodwin.bsky.social
Assistant professor at UMich. I do theoretical computer science and graph theory.
@geomblog.bsky.social
Director, Center for Tech Responsibility@Brown. FAccT OG. AI Bill of Rights coauthor. Former tech advisor to President Biden @WHOSTP. He/him/his. Posts my own.
@eigx.bsky.social
Assistant Professor at the University of Michigan. I design fast graph algorithms in dynamic/distributed/local settings. https://sites.google.com/site/thsaranurak/
@aaroth.bsky.social
Professor at Penn, Amazon Scholar at AWS. Interested in machine learning, uncertainty quantification, game theory, privacy, fairness, and most of the intersections therein
@gautamkamath.com
Assistant Prof of CS at the University of Waterloo, Faculty and Canada CIFAR AI Chair at the Vector Institute. Joining NYU Courant in September 2025. Co-EiC of TMLR. My group is The Salon. Privacy, robustness, machine learning. http://www.gautamkamath.com
@alcidesfonseca.com
Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
@jia-li.bsky.social
A CS PhD candidate @UPenn. Distributed Systems, Datacenter Sustainability, Economics.
@davimiku.bsky.social
Writes software, sometimes writes about software. Programming language hobbyist and board game enthusiast. Chicago, USA
@yoseph.tech
Software engineer. Sailor. Father. I sometimes write on my personal blog: Yoseph.tech
@erata.bsky.social
PhD student @Yale • Applied Scientist @AWS AI • Automated Reasoning • Neuro-Symbolic AI • Alignment • Security & Privacy • Views my own • https://ferhat.ai
@saygrae.bsky.social
heavy music enjoyer 🤘🏼| gaming and laughing my way through a phd | saygrae on all socials 🫶🏻 | for business inquiries: saygraebusiness@gmail.com
@samkuhn.bsky.social
@samkumar.bsky.social
Assistant Professor, UCLA Computer Science. Interested broadly in System Security and Networked Systems. https://www.samkumar.org
@burnytech.bsky.social
I want to understand STEM, intelligence, AI, brain, physics, mathematics, cognitive science, consciousness, philosophy, foundations, risks, building great future for all beings,...! TESCREAL! Researcher, engineer, student. https://burnyverse.com/Exocortex
@yining.me
MS Student @ubuffalo.bsky.social Building stuff with OCaml linkedin.com/in/ining
@tylerborchers.com
Operations Director. Previously TIME, VICE News and the Village Voice. Posting about media, technology and the future of work. Learn more: https://tylerborchers.com
@yuri.is
Software engineer and data visualization enthusiast. Lives in Cambridge, Massachusetts, with no dogs.
@mcoblenz.bsky.social
Assistant Prof. at UC San Diego. Helping people write better software.
@icfp-conference.bsky.social
ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social https://icfp25.sigplan.org/ https://icfpconference.org/
@catarinavgamboa.bsky.social
PhD student 💻 SE, PL at CMU and U.Lisbon ✈️ Currently in Lisbon
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/