Quinn Dougherty (@qd_forall) 's Twitter Profile
Quinn Dougherty

@qd_forall

Bridging the cultures between formal verification and AI.

My p(doom) is 50% cuz it either happens or it doesn't.

quinnd.net/date

ID: 1688999433940131840

linkhttps://gsai.substack.com calendar_today08-08-2023 19:44:07

645 Tweet

66 Followers

102 Following

Quinn Dougherty (@qd_forall) 's Twitter Profile Photo

the "you guys are doing this unsafely, i have to start my own project that will do it safely" cascade feels on tier with homer, the bible, troyes in terms of its depth as a narrative archetype

Quinn Dougherty (@qd_forall) 's Twitter Profile Photo

day one of migrating from nixos/kde to omarchy: oh, i make "web apps" and manage them with hyprland instead of navigating tabs! (i'm also migrating from firefox to chromium to see what i'm missing, but i miss trydactyl so far. i know there's vimium i haven't set it up yet)

Quinn Dougherty (@qd_forall) 's Twitter Profile Photo

i like claudecode better than codex, but i think codex's pricing model is a bit more "loss leader" vibes so it's more moral

Quinn Dougherty (@qd_forall) 's Twitter Profile Photo

i had to do a subagent and i was like "is this the day i regret doing inspect-ai over pydantic-ai?" then nope inspect has a `call agent as tool` thingy so we're all good

Quinn Dougherty (@qd_forall) 's Twitter Profile Photo

its pretty terrible that spotify lists the years of records as their "remaster" or "rerelease". why am i going to wikipedia to know when records came out?

Quinn Dougherty (@qd_forall) 's Twitter Profile Photo

codex hides info about the specific bash commands its running from you, and claude code doesn't. feels like another "openai wants you to actively be dumber" thing, where extremist UXcels don't think users should have to think at all ever.

Quinn Dougherty (@qd_forall) 's Twitter Profile Photo

ELP power move: putting the song with the most radio potential of your first album at the end of the record and making everyone listen to your scifi bullshit for a half hour before getting to the pop-adjacent one.

Quinn Dougherty (@qd_forall) 's Twitter Profile Photo

at a category theory talk today. I asked a clarifying question about what examples consist of, and was told the things I have in mind are examples of examples. 🫡

Quinn Dougherty (@qd_forall) 's Twitter Profile Photo

i think honestly heavy vibecoding in teams makes it harder to pass on implicit knowledge and intuition, at least insofar as the diffs are too big for a human to bother reading