Max Willsey
https://mwillsey.com
asst prof @ uc berkeley eecs
mastodon: @mwillsey@discuss.systems
@kmett.ai
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
@pigworker.bsky.social
they/them I'm Conor. I'm a nonbinary Computer Scientist. God loves irony. @pigworker@types.pl on fedi
@neurocy.bsky.social
🌱 ruining programming forever @ hazel.org 🌱 professoring @ Michigan 🌱 poetry 🌱 dendrites 🌱 immersion 🌱 flowers 🌱 resisting idiocracy https://web.eecs.umich.edu/~comar
@hytradboi.bsky.social
Have you tried rubbing a database on it? https://www.hytradboi.com/2025
@thebenku.bsky.social
Working on a PhD at @uwcse/@uwplse. Interested in formalizing and improving testing adequacy metrics. ⅒x developer. Dabble in music. Lapsed Armenian. I maintain github.com/bkushigian/desktop-postflop and github.com/bkushigian/pious
@bernsteinbear.com
Baking bread and compilers are kinda similar if you think about it @tekknolagi elsewhere
@taliaringer.bsky.social
@www.stephendiehl.com
Softwares, maths, physics and bears. https://www.stephendiehl.com/
@cxx.dev
C++ developer specializing in source and binary program analysis and transformation.
@cestlemieux.bsky.social
now: Assistant Professing™ in Software Practices Lab at UBC. was: postdoc MSR NYC, phd UC Berkeley. also at https://mastodon.acm.org/@cestlemieux. she/her.
@codyroux.bsky.social
Still ultrafinitist, but with a softer side. https://www.kleene.church/ I do the Church of Logic podcast. https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ
@ilyasergey.bsky.social
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
@shwestrick.bsky.social
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/
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
@streetfighter.capcomusa.com
Hit the streets with #StreetFighter6! ESRB TEEN for Language, Mild Blood, Suggestive Themes, Use of Alcohol & Tobacco, Violence. http://discord.gg/streetfighter https://www.streetfighter.com/6/
@kmohr.bsky.social
nyc 🌃 mit '23 | meng '24 your friendly neighborhood PL enjoyer she/her
@shadaj.me
PhD student at @BerkeleySky + https://hydro.run, designing languages for modular and performant distributed systems. Co-organizer https://sfsystemsclub.com More at https://shadaj.me!
@isychev.bsky.social
postdoc @TU Wien, PhD from TU Munich. Fond of program synthesis and analysis, cleaning up finite-precision mess (old spelling Anastasiia Izycheva) https://aisychev.github.io
@alcidesfonseca.com
Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
@ali-alkhatib.com
anthropologist [no longer] yelling at engineers. feral. signal -> @ali.01
@schasins.bsky.social
Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
@zee.town
eng @oxide.computer | @paperswelove.org co-founder | @scsatcmu.bsky.social PLT PhD, prev @fission.codes, comcast, basho, arc90, nypl_labs. Online @ https://zee.town | Pastes @ https://scpaste.zee.town 🎵 NP: "Long And Lonesome Road" by Shocking Blue
@broskifgc.bsky.social
@sajamfgc.bsky.social
@steampowered.com
Steam, The Ultimate Online Game Platform. For support: http://help.steampowered.com/en/
@steamdeck.com
The latest news about Steam Deck and Steam Deck OLED, the powerful handheld gaming PCs from the team at Valve.
@mcarbin.bsky.social
Associate Professor in EECS at @MIT | Principal Scientist at @Databricks | Founding Advisor at @mosaicml | Programming Systems | Neural Networks | Approximate Computing
@nikolajbjorner.bsky.social
@konstantinoskallas.bsky.social
Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
@leo-lambro.bsky.social
Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
@dangrossmanseattle.bsky.social
@currentaffairs.bsky.social
A delightful print magazine of politics and culture. Like the New Yorker, but readable. Making life joyful again. https://linkin.bio/currentaffairsmag
@jdcmedlock.bsky.social
More good things for everyone. Public sector appreciator. Tax and welfare policy knower. Hyperinflation doubter.
@gconstantinides.bsky.social
Prof Digital Computation @imperialcollege, Director of the Early Career Researcher Institute. Vice Chair @iclmathsschool. Views own. http://constantinides.net.
@nacrooks.bsky.social
CS prof at UC Berkeley. Distributed Systems and Databases. Baking, handball and football enthusiast. Avid cheese eater.
@clegoues.bsky.social
Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@emeryberger.bsky.social
Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow.
@ocasio-cortez.house.gov
This account is maintained by federal staff to share services and legislation relevant to constituents of NY-14.