PhD Student at the University of Michigan ❦ thomasporter522.github.io
Como todos los hombres de Babilonia, he sido procónsul; como todos, esclavo; también he conocido la omnipotencia, el oprobio, las cárceles.
very sane ai newsletter: verysane.ai
random bloggy bits: segyges.leaflet.pub
Baking bread and compilers are kinda similar if you think about it
@tekknolagi elsewhere
bernsteinbear.com
glitch girl — I do not trust this place and would prefer you follow me on Mastodon: https://mastodon.social/@mcc — Daily music posts: https://bsky.app/profile/dryad.technology/feed/listening-to — Avatar by @urnash.com — 🏳️⚧️🏳️🌈 — she/her
computer systems nerd, interaction designer
work @ https://www.ekzhang.com
“i see nothing but the candle in the mirror”
A little constraint logic programming language and associated community of researchers!
Programming will get better.
✒️ 2D animator
web: http://rapparu.nl
instagram: https://www.instagram.com/rapparu/
patreon: https://www.patreon.com/rapparu
mostly not here, but there: https://hci.social/@chrisamaphone
Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com)
https://www.type-driven.org.uk/edwinb/
https://www.lambda-miners.org.uk/
PL/Systems PhD student at Cornell
ngernest.github.io
Computers and decentralization.
Programmer building programs that are useful, easy to install, easy to run, easy to modify, easy to share. https://akkartik.name/freewheeling-apps
Thinking about programming languages and imaginary landscapes. he/him
- https://types.pl/@brendan (preferred)
- https://github.com/brendanzab
I like programming languages. A lot. Especially Haskell.
Tools, types and functions.
Functional programming, dependent types, denotational semantics, category theory, cooking, snowboarding, rugby.
Working on grid interconnection at Pearl Street Technologies. Prev databases and things at RelationalAI, Bubble, Cockroach.
https://petevilter.me
Exploring how to make programs more malleable and computing more humane | My communities: Malleable Systems, Matrix, Mozilla | He/him
Present: Pursuing PL at Penn (PhD)
Before: Browsing bytes at Brown (Bachelor's)
paulbiberstein.me
PL Researcher. Assistant Prof at University of Regina 🇨🇦
Trying to make dependent types a bit easier to use.
Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
Applied mathematician and technologist. Research scientist at @toposinstitute.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws/
open source dev, inactive demoscener, occasional CTF crypto challenge solver
working on SAT solving, HW formal verification tools, yosys
https://jix.one/
they/them
work in software - http://blog.davidtate.org
Bad Software Advice
https://badsoftwareadvice.substack.com/
I have 1 more cat than the guidelines recommend.
Compilers, formal logic, blacksmithing, robots, roleplaying games
went to cranberry melon
Mathematics & CS Researcher
Asst. Professor of Communication, Journalism and (by courtesy) Sociology at Stony Brook University. Author of, "We Have Never Been Woke: The Cultural Contradictions of a New Elite" -- out now via Princeton University Press.
Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
Incoming Assist. Prof. of CS at Commonwealth U (Bloomsburg). PhD in CS from Northeastern. Interests: programming languages and compilers, types, Haskell, Julia.
future trophy husband
disco 🪩 / haskell 𝝺 / powerlifting 🏋️ / sci-fi 🚀 / scuba diving 🤿
🇦🇺🇮🇩🇮🇳
on gadigal land
vaibhavsagar.com
instagram.com/vbhvsgr
recurse.social/@vaibhavsagar
twitter.com/vbhvsgr
Professor @ University of Washington Information School. Computing, learning, design, justice, kitties, tacos, coffee, gender, politics, and transit. I write at amyjko.medium.com. I maintain wordplay.dev, bookish.press, adminima.app, reciprocal.reviews.
Author of haskellforall.com, dhall-lang.org and @trygrace.dev, professional doggirl and endurance hunter
I'm a midwife to the hidden beauty in everything
she/her 🏳️⚧️
https://linktr.ee/gabriella439
💖 @ember.pet
joshuahhh.com
t-shirt size: medium
Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk and work on computing for global biodiversity and climate change with @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
Ex-Bell Labs/AT&T Research'er making art & technology in Berlin.
🐘@jack@jackrusher.com
🐦@jackrusher
Malleable software @inkandswitch.com
prev PhD @csail.mit.edu
geoffreylitt.com
🇯🇵🇺🇸
💻 Pursuing the Future of Computing
🔬 PhD Student @ University of Michigan (Future of Programming Lab)
🪄 Building Hazel: Live Functional Programming & Malleable Systems
🐾 Dog Parent
🛠️ Ex-Software Engineer
🌟 Computing Maximalist
🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~comar
I like computers.
assistant prof at northeastern https://www.khoury.northeastern.edu/home/sholtzen/
kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
http://timvieira.github.io/blog
Principal Scientist at Stealth Software.
Formal Methods / Programming Language Theory / Neuro-Symbolic AI
Founder at colimit.ai / @colimit.bsky.social
Programming Languages & Tools, AI, Simulation, Reflection, Debugging.
Director of Research 🚀 Bringing the Future Back !
Searching for the numinous
Australian Canadian, currently living in the US
https://michaelnotebook.com
FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
https://www.bodegacats.nyc
🎮 tech artist/shader sorceress/math dork
🌐 acegikmo.com
🎥 youtube.com/@acegikmo
🏗️ Shader Forge / Shapes / https://half-edge.xyz
📡 ex-founder of Neat Corp
my kids:
🥪 @toast.acegikmo.com
🥗 @salad.acegikmo.com
🐈⬛ @thor.acegikmo.com
Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
Ex-philosopher, ex-Tweeter.
Email: info@contrapoints.com
bit wrangler ~ poet ~ film/noisemaker ~ mask enthusiast ~ they/them
webassembly @fastly
📍🏴 edinburgh
Compiler engineer and co-host of the feeling of computing podcast
https://jimmyhmiller.com
https://feelingof.com/episodes/
Director of The Haskell Foundation, former lecturer UMD CS. Jazz, music theory, compilers, privacy and aviation, sometimes I combine them. I can also be found @jmct@types.pl I miss Yorkshire
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Database Papers as a Service
C++ developer specializing in source and binary program analysis and transformation.
Programming languages and database systems.
Thanks to impermanence all things are possible
Working on a book on topos theory
aka Dr. Matthías Páll Gissurarson | uncertified Haskell engineer
I like programming languages and functional programming, music, art, math-as-an-art-form, lakes, and other random
he/him | they/them & 27
http://pronoun.is/he?or=they
i want to squish software between my fingers
@inkandswitch.com Δ feelingof.com Δ ivanish.ca
profile photo by @seaofclouds.com
Computer Scientist, Hiker, Photographer
Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
Professor at UC Irvine, among other things. This is my personal account, not the University’s.
I like light and clarity.
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/
actually just on Mastodon: https://discuss.systems/@adrian
Programming Languages Researcher and Consultant
CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems
he/him
PL fool and DB theory nerd. Working on the C++ Address Sanitizer for Windows these days (dynamic analysis for memory safety), still a Durable Functions nerd.
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
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
Engineer at #Astral, working on Python tooling. Frozen pizza connoisseur. PL and program analysis dilettante. Unapologetically retro.
This is a 9 planet family, kids! ♇
🌐 https://dcreager.net/
🧭 Massachusetts
Computer things @Berkeley and music things elsewhere.
Interested in visual and interactive syntax (hybrid textual-visual languages). Pronouns she/her, they/them, or ask. Mostly blind #girlslikeus #exmormon #blacklivesmatter
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
On a mission to tame data. (Ex-Google, always ASF, working on something new.)
https://mwillsey.com
asst prof @ uc berkeley eecs
mastodon: @mwillsey@discuss.systems
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!
extremely dubious of "everything is public" social network
I am the gamer.
youtube.com/@razbuten
If I unfollowed you, it's because you keep posting things without alt text
if there’s one thing I’m good at, it’s things | NYC technologist & mom (mostly mom rn) | ex-USDS/Medium/Google | CMU/Stuy
Security engineer working on program analysis research things, currently compositional symbolic execution, type inference and some other stuff.
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
Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling
https://dorchard.github.io
