Congrats!
23.04.2025 12:14 β π 1 π 0 π¬ 0 π 0
as a pl person in an ml space, I have a new pet peeve. seemingly everyone in ml conflates "verification" with "validation"
21.02.2025 15:41 β π 3 π 0 π¬ 0 π 0
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
he/him/his. PhD student in computer science at UMD known for bad food takes. CS interests in PL, CS Ed, SE, and HCI.
Mastodon: https://types.pl/@pdarragh
Yale Postdoc, UCSD PhD. Studying elections, voters, and representation. Occasional runner, even more occasional swimmer. www.maclockhart.com
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
it's pronounced "yawn-chee" and the `i` is lowercase
MSc @ SPL β UBC β¦ PhD @ PLClub β UPenn
asian-canadian π¨π¦πΉπΌππ°π³οΈβπ
https://ionathan.ch
π± ruining programming forever @ hazel.org
π± professoring @ Michigan
π± poetry
π± dendrites
π± immersion
π± flowers
π± resisting idiocracy
https://web.eecs.umich.edu/~comar
https://mwillsey.com
asst prof @ uc berkeley eecs
mastodon: @mwillsey@discuss.systems
(he/him) Postdoc at the University of Maryland
I make tools that help developers to build trust in their software using techniques from PL, SE, and HCI.
Currently on the academic job market, looking for tenure-track positions!
https://harrisongoldste.in
Pidgin algebraist https://slim.computer
actually just on Mastodon: https://discuss.systems/@adrian
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.
aka Dr. MatthΓas PΓ‘ll Gissurarson | uncertified Haskell engineer
https://andrewblinn.com
abstractJuiceFactory
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
PhD candidate @ UMich β’ building http://tylr.fun http://hazel.org β’ thinking about parsing and structure editing β’ dmoon.info
incoming MIT prof. & director of FLAME lab (https://flame.csail.mit.edu/).
building new languages and compilers to make hardware design fast, fun, and correct
Senior Software Engineer @ Cubist
Building robust and secure software in Rust
https://jpolitz.github.io