sarker
hantavirus landfill tour guide
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
hantavirus landfill tour guide
3hr ago
True, foods that are in liquid are probably necessarily prepared by boiling.
sarker
hantavirus landfill tour guide
3hr ago
Cooking in a bastable on a crook over the fire is different to cooking in an oven! You can use it for baking, but roasting? Much more tricky!
Well, I suppose, but I'm pretty sure you can fry stuff in a pan over a fire, and I'm sure the Irish people developed oven technology at some point. I also expected that today's Irish are a few generations away from the last time they had to cook over an open fire instead of on a gas hob.
sarker
hantavirus landfill tour guide
3hr ago
Also why spinster lacks a male equivalent
It's "(confirmed) bachelor."
sarker
hantavirus landfill tour guide
3hr ago
I'm not sure I've ever encountered a food that is best cooked by boiling, excepting dry goods like beans or pasta. I suppose potatoes sometimes need to be boiled as a first step in preparation.
sarker
hantavirus landfill tour guide
4hr ago
But the bother of two separate sets of cooking vessels etc. is inconvenient, unless our vegans persuade us all to become vegans like them.
Do they object to the same vessel being used for meat and then for veg or do they object to meat products used in preparation of the veg?
The meat water? Did you never hear of boiling vegetables (e.g. cabbage) in the same water you cooked the bacon in?
I've never heard of cooking bacon in water in my life. Growing up my Slavic parents would cook hot dogs in water but that's basically the only meat I've ever seen cooked by boiling as far as I can remember (I'm not counting stock here).
Why don't you fry or roast the bacon? Surely you are losing flavor by boiling it? @FttG do you people really boil your meat?
sarker
hantavirus landfill tour guide
6hr ago
Last minute dietary surprises are hugely impolite but it's hardly unreasonable for vegetarians not to want to eat vegetables roasted in meat droppings (or boiled in "meat water", whatever that is).
sarker
hantavirus landfill tour guide
1d ago
I like stickers but find that laptop stickers are kind of cringe. My compromise is to stick them under my keyboard. Does this make me a pussy? Perhaps. Perhaps.
sarker
hantavirus landfill tour guide
1d ago
A manchild is a man who can't handle adult responsibilities, but a quirk chungus is just a woman with an annoying personality.
sarker
hantavirus landfill tour guide
2d ago
I mean, that was certainly my impression.
I think you made up a thing that people are doing and then wrote a post about how it's dumb that they are doing that.
If the model hallucinates a vulnerability that doesn't work, just throw it away and try again!
I mean, yes?
sarker
hantavirus landfill tour guide
2d ago
It's frequently the case that it's easier to check a result for correctness than it is to generate the result in the first place. This is especially the case if the problem can be formalized in Lean.
sarker
hantavirus landfill tour guide
2d ago
No, he's talking about theorem proving, not formal software verification.
sarker
hantavirus landfill tour guide
2d ago
Who is saying anything about AI assisted software verification via Lean? I've literally never heard of anyone suggesting that we should do this.
sarker
hantavirus landfill tour guide
2d 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
hantavirus landfill tour guide
2d 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
hantavirus landfill tour guide
3d ago
Can't wait for big game hunting with FPV drones.
sarker
hantavirus landfill tour guide
3d ago
How? That seems like a self correcting problem. Wolves have been around for quite a while without causing lasting harm via overhunting.
sarker
hantavirus landfill tour guide
3d 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
hantavirus landfill tour guide
3d 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
hantavirus landfill tour guide
3d 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
hantavirus landfill tour guide
3d ago
sarker
hantavirus landfill tour guide
4d 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?
I think the thing about crock pot cooking (or stews) that's different is that you eat the "meat water" (aka, in this case, broth). The idea of boiling a chunk of meat and then throwing out the water seems decidedly weirder.
More options
Context Copy link