Guilherme Espada
PhD Student at the University of Lisbon
Working on Static Resource Analysis and Probabilistic Programming
Mastadon: @GUIpsp@types.pl
Dorothy is my bestie
@kyledcheney.bsky.social
Senior legal affairs reporter at POLITICO with a focus on democracy, the balance of power and Jan. 6
@mjsdc.bsky.social
Senior writer at Slate covering courts and the law. Dad to one toddler and several other animals.
@annabower.bsky.social
Just asking questions. Senior Editor, Lawfaremedia.org. Send story ideas and tips to anna.bower@lawfaremedia.org Signal username: annabower.24
@gabrielmalor.bsky.social
Oklahoman in Virginia. Appellate attorney. I talk about federal court decisions. A lot. Sometimes the most you can do is the best you can do. gabriel.malor@gmail.com
@sigplan-av.bsky.social
We are a volunteer-led team within SIGPLAN that provides audio, livestreaming, recording, remote participation and archiving for SIGPLAN conferences. https://sigplan.org/AV Every event we cover is available on YouTube: https://youtube.com/@acmsigplan
@nanamone.bsky.social
@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.
@aricohn.com
First Amendment & defamation lawyer. Now: Lead Counsel for Tech Policy at @thefireorg.bsky.social Former: Free Speech Counsel at @TechFreedom.org Illini/music junkie/oofnik. “A snarky gay lawyer Jessica Fletcher.” https://linktr.ee/aricohn
@saltypeppermint.bsky.social
https://ipv3.org PhD student @TUBerlin Opinions are those of your pet Ask me about EGraphs, Compilers and Rust
@heathermiller.bsky.social
Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
@mpmilano.bsky.social
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
@hilacodes.bsky.social
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
@protz.bsky.social
I talk about Rust, verification, cryptography, programming languages… and pets
@keles.bsky.social
METU CENG 21' PhD Student at UMD Programming Languages/Formal Verification/Random Testing Writing at http://alpkeles99.medium.com Twitter: @keleesssss
@konstantinoskallas.bsky.social
Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
@joomy.bsky.social
researcher at Bloomberg. somehow a computer doctor. posts about functional programming, dependent types, metaprogramming, linguistics, and Turkey. 🐦: http://twitter.com/joomy 🕸️: http://joomy.korkutblech.com
@catarinavgamboa.bsky.social
PhD student 💻 SE, PL at CMU and U.Lisbon ✈️ Currently in Lisbon
@fxdpntthm.bsky.social
Type systems for Programming Languages. SIGPLAN conf AV/Virtualization cs.uiowa.edu/~aningle
@rg9119.bsky.social
Transmogrifying coffee into LaTex, but now more grumpy and slow about it. University of British Columbia Computer Science
@mlbowers.bsky.social
PhD student at MIT studying program synthesis, probabilistic programming, and cognitive science. she/her
@logicbot.bsky.social
I tweet tautologies. Created by @mscroggs.co.uk How I work: mscroggs.co.uk/blog/13
@jurgenvinju.bsky.social
I'm a full professor and researcher in software analysis, programming languages and software engineering in general. Co-author of the rascal meta-programming language. Software can be maintained better, using better tools, more competences.
@dril.bsky.social
Never Bullshit I challenge any and every one who wants to kick my ass to a debate . https://www.patreon.com/dril https://www.instagram.com/dril_real https://linktr.ee/drilreal
@fasterthanlime.hachyderm.io.ap.brid.gy
hi, I'm amos! 🍃 they/them 🫐 open-source goblin and content creator(TM) at https://bearcove.eu ✨ be kind, be curious [bridged from https://hachyderm.io/@fasterthanlime on the fediverse by https://fed.brid.gy/ ]
@alphaconvert.bsky.social
CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.
@0xabad1dea.infosec.exchange.ap.brid.gy
the hex is silent professional source code complainer, Pwnie Awards 2014 Best Song, will decipher ancient writing systems for free English: native […] [bridged from https://infosec.exchange/@0xabad1dea on the fediverse by https://fed.brid.gy/ ]
@leo-lambro.bsky.social
Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
@mjg59.eicar-test-file.zip
Former biologist. Actual PhD in genetics. Security at https://aurora.tech, OS security teaching at https://www.ischool.berkeley.edu. Blog: https://mjg59.dreamwidth.org Signal: @mjg.59 He/him
@matthewdgreen.bsky.social
I teach cryptography at Johns Hopkins. https://blog.cryptographyengineering.com
@tonofcrates.bsky.social
@calebstanford.bsky.social
Assistant Professor at UC Davis. Programming languages, formal methods, systems. https://github.com/DavisPL
@samth.bsky.social
Associate Professor, IU Computer Science · Core Developer, @racketlang.bsky.social · Member, TC39 · Handler, Gravymaker · Bike Advocate, Bloomington IN
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@s0fgomes.bsky.social
Works with Fast Data & ML. Engineering Manager @ Feedzai Research. PhD in Computer Science @ NOVA 🇵🇹. Cortiça's 🐶 hooman.
@alexlew.bsky.social
Theory & practice of probabilistic programming. Current: MIT Probabilistic Computing Project; Fall '25: Incoming Asst. Prof. at Yale CS
@femb0t.bsky.social
✨ sécurité phd student (hiatus) (ﾉ◕ヮ◕)ﾉ*:･ﾟ✨ Learning ✨Have distractingly many interests✨⋇⋆✦⋆⋇ ✨
@timclicks.dev
Trainer and consultant on the Rust programming language. Author of Rust in Action. Team climate. Walkable neighbourhoods are nice, actually. Signal: @timclicks.01
@plpierce.bsky.social
@aaroneline.bsky.social
@littmath.bsky.social
Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.
@crmarsh.com
Building Astral: Ruff, uv, and other high-performance Python tools, written in Rust.