It matches my usual reading pretty closely. Society gives names to things that aren't real and then argues about them. Twitter is a microcosm of this with their own categories and assemblages of ideas that are even less real than those present in broader society.
OP's twist on the cave allegory is funny and makes sense if you take the usual modern reading, but that is very much not what Plato meant by it.
It was just a way for him to convey his "theory of forms" in which perfect versions of all things exist somewhere, and everything we see are mere shadows of these true forms. The men in the cave are his fellow Athenians who refuse his "obvious" truth, he who has peeked out of the cave and seen the true forms. All in all, it's very literal.
It seems like there are two sides to this problem, both of which are hard and go hand in hand. There is the HCI problem of having abstractions are rich enough to handle problems like parsing and scheduling on the GPU. Then you need a sufficiently smart compiler problem of lowering these problems to the GPU. But of course, there's a limit to how smart a compiler can be, which loops back to your abstraction design.
Overall, it seems to be a really interesting problem!
While more power may not make sense, less weight is an easy way to get more efficiency. And if you can keep the same power at a lower weight, that's a win.
I know it's beside the point, but I think a chunk of the reason for many of the security measures in airports is because creating the appearance of security increases people's willingness to fly.
I can get a six pack by doing exercises in my house everyday with some weights and resistance bands for 20 minutes a day and by spending 5 minutes a day tracking my food for a year. I don't think that there is a place I can go to make single payer health care happen, even if I spent 40 hours a week for a decade at a 60% pay cut.
> I don't think that there is a place I can go to make single payer health care happen
Being generous in assuming you mean while remaining in the USA: The Amish are quite prevalent in Pennsylvania, Ohio, and Indiana. They've already done the hard work. Joining them may take some small amount of personal sacrifice, perhaps — there is no such thing as a free lunch — but is quite doable for someone who wants it. Like the six pack, all you have to do is jump in and do it.
Alternatively, you can produce your own metaphorical weights and food supply that is to your exact liking, but that is obviously going to take singificantly more input for you to setup and is going to be heavily dependent on other people to buy into your exacting specifications. This route would not allow you to just jump into building the metaphorical six pack at your leisure. It could take many years before you are even able to first produce weights/food, let alone starting to apply them to your six pack journey. But the best time to plant a tree was 20 years ago, as they say. It will never happen if you don't do anything, that much is certain.
I've been using F# and there are actually several roadblocks for AOT F# [0]. However, a self-contained .NET JIT executable is still surprisingly small (18 MB for an ASP.NET minimal API written in F#), easy to build, and easy to deploy.
Just looking at this specific paper, it suggests that eating disorders are part of a general emotional dysfunction spectrum. In practice, we're probably not talking about confident people.
From my anecdotal experience with people I've known, it makes sense that the other symptoms in that spectrum, like bloating and anxiety, could make someone more receptive to unrealistic body standards and "solutions" to achieve those standards and regain control. That's what it's really about: not feeling in control.
Waze works great once there's a critical mass of other drivers—busy roads in populated areas. My radar detector fills in the gaps on back roads and small towns very well.
I’ve driven a lot in urban places with speed camera programs (which I fully support along with other car reduction and traffic calming designs) and lots of pedestrians and cyclists around, but I’ve never had a camera ticket in 20 years of driving.
Eight years ago I was driving on a genuinely empty back road in a rural part of America, speed limit 55mph. I failed to notice that, for one mile, the speed limit went down to 45mph. The character of the road didn’t change, we weren’t passing through a populated area. I don’t know why it changed. For miles in either direction it was 55. I kept going 55 and put absolutely zero people at risk of anything. That oversight cost me $400, and the cop was a huge asshole about it. So I bought a radar detector.
There are various layers of dysfunction at play in American road design and policing that I’d happily advocate we address. In the meantime I’m doing what I can to avoid any interactions with power drunk people who have the ability to decide my fate on a whim.
The assume-good-faith answer to a speed limit dip like that is usually that the road has one or more intersections with some risk factor. Like limited visibility around a bend or hill, or a short merging/acceleration area, or prone to flooding in rain, or intersection with a bike trail. Of course, any particular spot like yours could be a police cash grab, but there are many places where something like that seems arbitrary but there is a real reason. Best to follow the signs, for conditions you might not know about.
Speed limits are not the solution. Proper road design is the real solution. We shouldn't have straight four lane stroads that look like a racing strip going straight as an arrow for five miles if the intent is to limit speed to twenty five miles per hour. Slow the road down with curves and bends, not with a signage and paint.
For fixed radars, at least down here in Brazil, RadarBot is a lot better than Waze. For cops on the side of the road, maybe Waze can be better. RadarBot updates it's list of fixed spees cameras really fast.
