sarker
competency crisis actor
Suddenly I cannot remember the color of your eyes
Or the things we said as we stood together for the last time
User ID: 636
sarker
competency crisis actor
1mo ago
I don't really understand your overall point. To whatever extent Phelps' success was said to be thanks to wheaties, it's obvious the same can't be said for Tao for the simple reason that wheaties are from 1924 (predating Phelps) and Tao won the fields medal in 2006 (predating ChatGPT). It's obviously a logical contradiction.
The other thing is that we are at the point where LLMs are solving open problems with minimal or no involvement from humans:
-
Automated theorem proving across open Erdos problems. Each solved problem cost a few hundred dollars, which is hardly an unbelievably large number.
-
A problem relating to sumset combinatorics. Gowers is also a Fields medalist and seems pretty impressed with ChatGPT here. Reading the post, it does not seem that it takes a Fields medalist to do the prompting here: "the era where you could enjoy the thrill of having your name forever associated with a particular theorem or definition may well be close to its end." This also doesn't seem to have cost an inordinate amount of money, although there isn't a figure given.
-
A disproof of a conjecture related to the planar unit distance problem. I'll grant that it's not explicitly clear what the human prompting looked like, but there's no mathematician whose name is attached to this so I can't imagine it was something that only a select few could have done.
This is not an exhaustive list.
In other words, you don't have to be Tao to find new results with these tools. I am sure your response will be that nobody cares about these results, but unless you were predicting beforehand that we would get to this stage but no farther, it's hard to take this seriously.
sarker
competency crisis actor
1mo ago
I've read several posts by Teortaxes where he didn't say all his opps think Chinese people are bugmen, for your information.
Wait, Teortaxes is Dase? How did he manage to stop rageposting for his twitter persona?
sarker
competency crisis actor
1mo ago
How? That seems like a self correcting problem. Wolves have been around for quite a while without causing lasting harm via overhunting.
sarker
competency crisis actor
1mo ago
I don't see why intention factors into the cruelty of the fact.
I'm not a hunter, but I'd expect a dentist from Ohio would have an easier time quickly killing a lion with a gun rather than with a bow and arrow as part of a paleolithic LARP.
Another thing that complicates the 'wildlife management ' story is that, as far as I can tell, Cecil had never interfered with humans. It's one thing to cull animals that are killing livestock or humans due to being near pastures or villages, quite another to kill animals that are not.
sarker
competency crisis actor
1mo ago
In Cecil's case, the lion was "critically wounded" with an arrow and survived another 12 hours before finally being killed. 12 hours of pain and suffering with a critical wound sounds pretty cruel to me.
sarker
competency crisis actor
1mo ago
Haven't seen that one, but 𝖒𝖔𝖛𝖎𝖊 𝖙𝖍𝖗𝖊𝖆𝖉.
-
A Private Life (2025). 3/5. Jodie Foster as a psychiatrist in Paris who convinces herself that her patient was murdered. RT shows a pretty poor audience rating, but I think it was competently done, even if it was obvious from the start that
she wasn't murdered . Foster's character overall feels believable and real. -
Le Circle Rouge (1970). 4/5. Classic French heist film. The heist sequence is simply kino, and there's several other scenes that are pretty high quality. The plan isn't revealed until it's put into action, which keeps you rapt. Perhaps a little anticlimactic at the end, and my wife fell asleep.
-
There Will Be Blood (2007). 5/5. Probably this movie has been discussed to death but I hadn't seen it before. The opening sequence does its best to make oil extraction seem evil and almost demonic, which is a little ridiculous and overwrought, but Day-Lewis's performance is just excellent. A very uncomfortable moment for me when I hear a speech like this and find it not entirely unrelatable:
I hate most people. There are times when I... I look at people and I see nothing worth liking. I want to earn enough money I can get away from everyone. I see the worst in people, Henry. I don't need to look past seeing them to get all I need. I've built up my hatreds over the years, little by little. Having you here gives me a second breath of life. I can't keep doing this on my own... with these, umm... people. [laughs]
sarker
competency crisis actor
1mo ago
sarker
competency crisis actor
1mo ago
Had to settle for my second choice in university (EE) because I couldn't get in to study CS (and the actually hard to get in programs would have been right out).
What were the hard programs?
and let me tell you it's really fucking weird to keep receiving fan mail about a publication for a full decade from random people who've gone to the effort of figuring out your twice changed email address just for a single message
Were these, uh, Indians?
sarker
competency crisis actor
1mo ago
Why is this funny? Is he supposed to be some kind of British stock character? Or is it just supposed to be random chungus holds up spork?
sarker
competency crisis actor
1mo ago
This, of course, is a statement of fact that there exists at least one human who has infinite genders, since there are only a finite number of humans who exist, and if each one only has a finite number of genders, then the number of genders is, at most, the sum of products of only finite numbers, which is also finite.
Have you considered that people can change their gender arbitrarily often? And that genders don't need to be instantiated in a human to exist, because they exist in the realm of platonic forms until people discover them? You chud.
sarker
competency crisis actor
1mo ago
Thanks. Ever think about if there's a better way? The natural impulse is to put everything under one roof but it seems there's too much here.
sarker
competency crisis actor
1mo ago
Sometimes the stakeholders of those projects are in other companies stacked 5 deep (and I mean 5 companies deep, each with their own hierarchies) before you get to the end client.
Why are there five companies between you and the end client? The day to day of consultants is a source of endless fascination to me because every explanation I've seen is some impossibly bizarre and incomprehensible thing like this.
sarker
competency crisis actor
1mo ago
Two. Anyone who says anything higher is suffering from the financial equivalent of hoeflation.
sarker
competency crisis actor
1mo ago
Strivers who actually minmax have to know what to minmax, which is still preferable to would-be minmaxers who don't know how or what to minmax.
Rotely following Honorable Mother and Father's directions on minmaxing extracurriculars to get into Harvard may be less pedagogically useful than you believe.
Your mistake is confusing the result of Goodharting metrics to within an inch of their lives with actual development of skill and habits. Developing habits is a total waste of time when you can get good results by working the system and have more time left over to study for Bio Olympiad.
sarker
competency crisis actor
1mo ago
Even if the child is only doing it because the parents want that resume padding, it is still good for the children, and the future adults those children grow up to be.
Nah. If you've met any of the people who used to do this stuff as kids, they just minimax it to get maximal reward for minimal effort, use their parents' volunteering as leverage to advance within the club, then become extruded homogenized IC drone product at FAANG.
sarker
competency crisis actor
1mo ago
I think this is well within hair splitting territory. Probably the most desperate prostitutes will fuck anyone for cash, but historically it was completely normal for them to discriminate (or have their pimps discriminate) to avoid getting murdered, especially if they are streetwalkers. Arguments from etymology are totally irrelevant to discussions of what words mean today.
As many businesses say, "we reserve the right to refuse service to anyone." Doesn't mean they're not a liquor store just because they won't sell liquor to absolutely everyone.
Again, if you don't think it fits, please take it up with Aella.
sarker
competency crisis actor
1mo ago
Sure, but once you try it on you can make the decision to not buy/return it. The question is how do you try something on, like it, then start disliking it.
sarker
competency crisis actor
1mo ago
I see you use "pozzed" in a post on page 2 of your profile. I consider unironic use to be an unambiguous right-wing cultural marker.
If you consider this an "unironic usage", I'm gonna take your media literacy license away.
I have not actually read her CV or anything, but since people referred to her as an escort I thought she primarily sold companionship/romance (not a sex act).
This is a bizarre debate. Aella (and her ex boyfriend) refers to herself as a "whore," which is a synonym of, and a significantly coarser word for, "prostitute". Perhaps you are under the impression that performing sex acts in exchange for currency is not the salient part of escorting, and that men would pay almost as much if there were no sex acts involved. I have my doubts but I admit I haven't studied the market for johns too closely. In any case - please take up the validity of "prostitute" as a label for her profession with her first. I will take her word for it.
I may also have worked as a camgirl (since I remember seeing posts about camgirling), which I would also not group with prostitutes (as long as you can't lose your virginity over a video feed, nothing you can do over one counts as sex, as far as I'm concerned; therefore camgirling is not a sex act).
It's pretty obvious that not every sex act results in loss of virginity, and that's exactly why M-W, in its infinite wisdom, draws a distinction between sex acts and intercourse. Unless, of course, you believe that handjobs involve loss of virginity or are not a sex act.
Who is saying anything about AI assisted software verification via Lean? I've literally never heard of anyone suggesting that we should do this.
More options
Context Copy link