What does "compose better" refer to, nesting SQL queries? I believe that one order or the other might be beneficial, but I'm having a hard time coming up with a concrete example that shows why.
21.04.2025 22:28 — 👍 1 🔁 0 💬 1 📌 0
🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~comar
it's pronounced "yawn-chee" and the `i` is lowercase
MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn
asian-canadian 🇨🇦🇹🇼🇭🇰🏳️🌈
https://ionathan.ch
CS PhD @upenn.bsky.social
Computational Social Science @WorldBank
Harvard, Brown alumn
http://sehgal-neil.github.io/
PyPy/RPython contributor. Half time teaching at Uni Düsseldorf. Works on dynamic language implementations. Love street art and art in public spaces, hiking, reading.
they/them
Michael Arntzenius irl. Postdoc at UC Berkeley doing PL + DB + incremental computation. PL design, math, calligraphy, idle musings, &c.
rntz.net
🐘 @rntz@recurse.social
🐦 @arntzenius
Attempting to use bsky more now that people are showing up.
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
CS PhD student @ UPenn.
Previously @ Microsoft, Google, BITS Pilani.
Penn CS PhD student and IBM PhD Fellow studying strategic AI interaction. Calibration, commitment, collusion, collaboration. She/her. Nataliecollina.com
19th International conference on Neurosymbolic Learning and Reasoning
UC Santa Cruz, Santa Cruz, California
8 to 10 September 2025
https://nesy-ai.org/
https://2025.nesyconf.org
(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
extremely dubious of "everything is public" social network
PhD Student in CS at Princeton University
PL + HW Verification
MSc CS ETHZ & BSc CS EPFL
[she/her] 🏳️⚧️ | 🇨🇭🇵🇹
cs.princeton.edu/~ad4048
mostly on mastodon: miado@discuss.systems
nyc 🌃 mit '23 | meng '24
your friendly neighborhood PL enjoyer
she/her
SVP of Product Development at Kodamai. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
Assistant Professor at TU Delft, working on program synthesis, probabilistic programming, and neuro-symbolic AI.
https://sebdumancic.github.io/
PhD Candidate at UTD | Specializing in Probabilistic & Neurosymbolic AI, Explainable AI, and Computer Vision | Website https://shivvrat.github.io
PhD student @ KU Leuven | maene.dev | #neurosymbolic learning & #probabilistic reasoning
Theory & practice of probabilistic programming. Current: MIT Probabilistic Computing Project; Fall '25: Incoming Asst. Prof. at Yale CS
