You pay a congestion price anyway: the difference is whether you pay it in time or $. Paying with wasted waiting time is always societally suboptimal.
07.01.2025 16:15 — 👍 0 🔁 0 💬 0 📌 0
doing some experiments to build something in public
Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
Google Chief Scientist, Gemini Lead. Opinions stated here are my own, not those of Google. Gemini, TensorFlow, MapReduce, Bigtable, Spanner, ML things, ...
(Typed) Functional programming enthusiast. Haskell, Purescript.
master student at Chalmers something something proof assistants
I have permission to post all Cirnos. Feel free to ask for source.
I have a website: https://cirno.quest/
Not sure what to do with it though
pixiv: https://www.pixiv.net/en/users/59337025
29 years old - she/her/they/them - 🏳️⚧️🏳️🌈
bluesky's #1 professional yapper
checkout my bluesky client: akari.blue
follow my alt incase i get banned @imlunahey.bsky.social
message me on signal @ImLunaHey.69
Interpreters, compilation, concurrency, and debugging tools.
it's pronounced "yawn-chee" and the `i` is lowercase
MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn
asian-canadian 🇨🇦🇹🇼🇭🇰🏳️🌈
https://ionathan.ch
Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.
Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket
I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
Punjabi-Scottish-American husband and father of two, Haskell hacker at Groq, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
Co-founder and CTO of Oxide Computer Company. According to Field of Schemes, "tech exec and Oakland A's fan" -- but more of an Oakland Ballers fan now.
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
