> Precisely because the Turing machine model is so ancient and fixed, whatever emergent behavior we find in the Busy Beaver game, there can be no suspicion that we “cheated” by changing the model until we got the results we wanted.
So use a mini roundabout. They are common in the UK. It's just a painted circle with a slight hump, in the middle of a four-way junction. Vehicles can drive over it (and larger ones have to) but it indicates to everyone that they have to give way to traffic from the right and don't have to stop otherwise. They typically aren't big enough for multiple vehicles to be turning a corner at the same time. They fit anywhere.
Yes, and they can be smaller. The circle is about the right size but it has lots of room around it. Imagine a crossroads at the meeting of two residential streets, both just wide enough for two cars. Stick the circle from your picture in the middle of that imagined junction. That's what the mini roundabouts are like on the 1930s suburban estate I live next to.
What is the traffic flow rate in an intersection with a 4 way stop? For single lane, since only one vehicle can be in the intersection at once, and probably takes _at least_ 5 seconds to start from stopped and cross the intersection, I'm guessing in the 10-12 region per minute best case, so maybe 600 an hour?
Now if you convert it to a mini roundabout, you can have at least two vehicles in the intersection at all times. I fail to see how it wouldn't be an improvement.
I think you are making lots of assumptions here, like when I say space, I guess you assume it is still perfectly flat and the roads are perfectly aligned? The particular four way I'm thinking about, which really should be a traffic circle if they could blow away some houses, is 65th NW and 3rd in Seattle:
So notice we already have problems in a bad alignment of 3rd, and 65th is basically a steep grade, even coming up form the west. I think you could put a circle in if it were flat, even with the bad alignment (or maybe because of the bad alignment), but this hills make a non-starter. It also gets enough traffic that I'm pretty sure they are just going to put a stop light up eventually.
Here in the UK, we've got lots of roundabouts from tiny mini-roundabouts (some of which have four junctions) that could easily fit almost anywhere, all the way to gigantic multi-roundabout junctions (https://en.wikipedia.org/wiki/Magic_Roundabout_(Swindon) ).
I can't think of a situation where it's more efficient to have four vehicles all stop at a junction (busy four way stop) vs a roundabout which will allow one or two vehicles to join the roundabout without having to stop.
"Decoding the MIPS R5900 instructions in each function Translating those instructions to equivalent C++ code Generating a runtime that can execute the recompiled code The translated code is very literal, with each MIPS instruction mapping to a C++ operation." It sounds like a MIPS interpreter that gets statically unrolled.
Yes, it's like the result of unrolling a MIPS interpreter, but there never was an actual MIPS interpreter.
I thought the point of the Futamura projection was that there was actually partial evaluation happening, i.e. you take a real interpreter and specialize it in some automated fashion. That's what makes it interesting.
But I could well be wrong about the naming. It doesn't really matter what it's called if we're all clear about what's actually happening.
I had exactly the same experience in 2008, the year of the Beijing olympics. It seemed futuristic then and I can only assume their technology is even better now.
In the UK the two earliest channels (BBC1 and ITV) continued to broadcast in the 405 line format (in addition to PAL) until 1985. Owners of ancient televisions had 20 years to upgrade. That doesn't seem unreasonable.
Probably most people outside the Wall St bubble don’t care very much. However if some of these financial institutions take big hits that could cause ripples in the broader “real” economy that might have a bigger impact. Given the current backdrop of inflation and uncertainty due to tariffs etc this could be bad but it’s hard to say how bad.
Although people have tried to make the financial system more resilient since the 2008 crisis, it’s really impossible to say how well those measures will hold up until they are really tested, which isn’t a very comforting thought. It’s very unlikely (in my opinion) that things melt down in exactly the same way as last time, but there’s nothing to say they won’t find a new and exciting (slightly) different way to melt down. Financial engineering isn’t the only thing that can cause a financial crisis.
There was a great blog post a few years ago that reverse engineered the on-disk data structures and demonstrated extracting the key. Of course, I can't find it now.
Microsoft themselves [1] say:
> If a device uses only local accounts, then it remains unprotected even though the data is encrypted.
There is a further condition: if you explicitly enable bitlocker then the key is no longer stored on the disk and it is secure.
When I run "manage-bde -status" on my laptop it says "Key Protectors: None found". If the TPM was being used that would be listed.
Have you tried plugging the disk or ssd from your old laptop into another computer?
reply