Thomas Foley

[Thomas Foley @FoleyTtfoley]

@gavincrooks Wow! I'm probably overbuilding then. Thanks.

[Thomas Foley @FoleyTtfoley]

@gavincrooks @gavincrooks also curious how much a role you played in selecting references? Have you looked over them? Are they what you would've typically chosen for the topics they cover?

[Thomas Foley @FoleyTtfoley]

@gavincrooks Could you please share some info about your setup and workflow? Do you have Claude hooked up to some CAS? How do you organize and query references and theorems/results? Or is it not much infrastructure? I understand if it's internal Normal tooling, any tips appreciated!

[Thomas Foley @FoleyTtfoley]

@mathepi @gavincrooks Doesn't count for what? He's sharing results publicly. Is it a peer-reviewed paper? No. Does it need to Lean to be valid? Hell no, unless you want basically every physics paper ever published retracted.

[Thomas Foley @FoleyTtfoley]

@BallPizza99 @gavincrooks lol look who you're replying to bro https://t.co/3cWqJiEUl6

[Thomas Foley @FoleyTtfoley]

@ben_golub @chiaracordelli What's the context? What do most articles look like in SEP? Are they trying to explain what capitalism is? Seems like a failure there. Why don't they have an economist co-author it? Why do we give a shit what Marx said about economics? Botanists don't cite Lysenko.

[Thomas Foley @FoleyTtfoley]

@UnoMasReactor @oklo thanks!

[Thomas Foley @FoleyTtfoley]

@UnoMasReactor @oklo This one? https://t.co/rFgkfJ7BRV Is this not tacit approval of it? https://t.co/NLaAUgKMZC

[Thomas Foley @FoleyTtfoley]

@UnoMasReactor @oklo btw, someone should make an NRC + DOE nuke agent that is continuously re-grounded in all of their latest approval processes and recent historical data (actual vs stated timelines) to get solid answers on this sort of thing.

[Thomas Foley @FoleyTtfoley]

@UnoMasReactor @oklo @UnoMasReactor what's your best guess of draft pdc release? I've been trying to dive into the whole process and it seems like @oklo has 10-20 business to post redactions then they can immediately PR it? Am I correct that ACRS has no involvement at this stage?