Patrick Skeels
1.5K posts
Patrick Skeels
@bas_logic
philosopher | linguist | winsome rogue | fgc wannabe | i teach philosophy at the university of kentucky | alt: @bas_logic_fgc
Katılım Eylül 2023
486 Takip Edilen596 Takipçiler
@pmarca Fuck you you fucking retarded piece of shit.
do you know how I came up with the Silly Business Theory? by introspection.
You're a piece of shit.
English
Silly Business Theory is right: in the future the best work, greatest progress, most valuable innovations won't come from laboring under the false consciousness that work must be hard and serious to produce value. The best work is going to come from people playing and having fun.
47fucb4r8curb4fc8f8r4bfic8r@47fucb4r8c69323
The more I look at this the more impressed I am and the more I realize how grateful we should be to Tao. 1. He acknowledges ignorance: this is something academics almost never do since their cultural capital is tied up in them knowing things. But he can since, well, he's Terence Tao. 2. He is explicitly acknowledging his use of GenAI to fight the stigma of using AI. If the child prodigy turned UCLA prof who studied with Erdos uses AI, it is legitimate technology. (please start using this sentence with AI skeptics btw) 3. He is also showing how AI is best used: as a kind of syntactic tool that finds connections in possibility space and has access to a larger library of information than our brains can. There's more here but the cool internet thing is a list of three. I often lament Tao has too playful of a mode of operating, feeling like he plays with linear algebra when he should be doing foundations of mathematics. But not only does this moment prove my view wrong, it also proves just how much Silly Business Theory #SBT is right: in the future the best work, the greatest progress, and the most valuable innovations won't come from people laboring under the false consciousness of Protestantism and Marxism that asserts work must be hard and serious to produce value. The best work is going to come from people playing and having fun. We're on the cusp of a near utopian explosion in human potential and quality of life. And you're bearish?!?!?!?!??????!?
English
@ashleybchae @im_roy_lee That crt television is older than him.
English
My wife’s aunt was a storyteller so we have several cassette tapes of stories from my wife’s childhood. My daughter listens to them on a cassette player. I was getting a little tired of frozen and K-pop demon hunters so I got her a new tape.
Now she runs around the house going ah-ah-aaaaaahh-ahh.
English
@PAHoyeck Opponent, sure, but I'm still om the market for a nemesis.
English
Fun fact:
You're someone's philosophical opponent
harb@harbizard
fun fact: you’re someone’s crush
English
@lu_sichu @llallawg @lunacleon @norvid_studies @Benthamsbulldog @niplav_site Brandom's whole deal, as I understand it, is that some inferences are material, i.e., NOT formal, so many of his presuppositions are gonna be in conflict with those behind the thread so far.
English
@bas_logic @llallawg @lunacleon @norvid_studies @Benthamsbulldog @niplav_site I am on a bob brandom rabbithole right now so I wonder how his metavocabulary and truthmaker stuff handles jokes actually. what's admissible joke for example? some jokes are only funny in their context and are badly inappropriate in others
English
Anyone have a cool philosophy puzzle that I could spend some time thinking about?
English
I can't speak for the creator, but minimally Refine's stated purpose is different. AI tools may be useful for catching bugs, but it doesn't mean that it would be good for the independent production of new research. Refine is deliberately marketed differently, and I think for good reason. When I put one of my papers through it, it caught a typo in one of my proofs. Useful, but I did not produce any novel research itself, but that's okay since that's not the purpose of the tool.
English
@ben_golub @bas_logic @littmath @Tomodovodoo @RefineDotInk What makes refine different? That it only needs to verify each step in its narrow context? Would it have worked if they had sent their proof to refine for verification? Trying to understand if this is a battle against different sets of agents or if there's sthg more fundamental
English
If you're interested in math and AI, you may have come across this extraordinary slop explosion
@littmath and @Tomodovodoo have identified serious errors
@RefineDotInk just found a middle school error in Prop 12.43 - subtracting inequalities doesn't work like that!
Przemek Chojecki | PC@prz_chojecki
My multi-agent harness powered by GPT-5.4 settled a FrontierMath Open Problem. The result of 2 weeks of 5-10 agents working 24/7: there are no char 3 rank 1 del Pezzo surfaces with more than 7 singularities. This settles the problem to the negative. Details below.
English
@lu_sichu @llallawg @lunacleon @norvid_studies @Benthamsbulldog @niplav_site Implicatures, expectations, are characteristically defeasible, so they resist logic's deductive formalism. You don't need an incredibly expressive language to tell a joke, but the truth-conditions aren't what make it funny.
English
@lu_sichu @llallawg @lunacleon @norvid_studies @Benthamsbulldog @niplav_site Most jokes deal in some sense with contrasting expectations which is far better explained pragmatically. Here's a famous example of the cancellation of an implicature.
youtube.com/watch?v=rXWbyf…
YouTube
English
Ah, but a man’s reach should exceed his grasp, or what’s a heaven for?
Patrick Brooks@pnbphilosophy
@bas_logic I applaud Red Lobster for trying once again to grasp the infinite even despite what it cost them the last time.
English
@gcmn3 I’ve played a decent amount of RB2, but not RB1. Would you recommend 1 over 2?
English
@Criminalsimpson That was very good… for a first try…
I have a ball. Perhaps you’d like to bounce it.
English
@Vedankt @MegaBasedChad I believe the gum is actually less bad on your gums. I don’t know exactly what’s in the pouches but when they dry out there is this cement like residue that ain’t good.
English
@bas_logic @MegaBasedChad Is the gum better than the pouches I heard it was
English
I started vaping again and I'm so productive, able to work 10+ hours again
Last time I quit I was thinking bout smoking for like 3 months. how to not get addicted?
English
@jonathanbfine The only other Patrick Skeels was a English jewel thief. It sounds cooler than it is. He was just a guy who got caught robbing a jewelry store.
English
I use my middle name when I publish so that my writing is solely attributable to me but don’t use it online so that my tweets can reflect poorly on the other Jonathan Fines.
David Austin Walsh@DavidAstinWalsh
I've developed a pretty thick skin over the years, but the one thing that still pisses me off is when people make fun of me for using my middle name. The *only* reason I go by David Austin Walsh is that David Walsh is an incredibly common name.
English
@MegaBasedChad @Vedankt Zyns wrecked my gums and now I gotta to get the surgery. Effectiveness cant be overstated but costs are real. Took me about 6 months to be able to lock in, write, prove theorems, etc. but once I got through that I’m okay.
English
@Vedankt bruh I heard the pouches put you even deeper into addictions
those zyns are like nitrous
English
@FeserEdward The same is true of principles. The difference, I suppose, is that some of those are worth dying for.
English
Those who live by vibes die by vibes.
Peter B@realpeteyb123
Trump lost the narrative, the momentum and the excitement. It’s not cool to like Trump anymore. You can get angry, you can bot me, you can scratch and claw, but the warhawks and Israel first crew runs the show now. They were never cool.
English