If you are caught driving above the legal limit of 0.05% you are fined roughly $570, are prohibited from driving for 1 month, and receive 2 “points”. Points accumulate and once you reach 8 you lose your drivers license. In this case you would keep the points for five years. Many different driving offences give you points.
For comparison, to get a similar penalty by speeding you would have to exceed the speed limit by 51 km/h (32 mph).
There are many additional related offences you could commit, with different consequences. Repeat offences to the above, for example, are punished more severely: you get 3 months instead of 1 and the fine is doubled and tripled for the second and third offence, respectively. Already with a blood alcohol level of 0.03% you risk legal consequences, e.g. if you make an error while driving. If you endanger someone else (or property) with that level you are committing a crime, will lose your license, and can go to prison. If you are in your probationary period (two years after acquiring your license), any nonzero level is an offence.
Losing your license is generally temporary. You are blocked from re-acquiring it for some time, depending on the offence (at least 6 months, but can be multiple years). You have to complete an MPU, which certifies your ability to safely drive. For alcohol based offences, this would include demonstrating that you have reduced your consumption significantly. This can be quite harsh; you may, for example, be required to show complete abstinence for a period of one year. Of course, you are also looking at costs close to $1000 for the MPU alone. It is possible to get permanently blocked from driving, but it's quite difficult, I believe.
I have a Framework 13 (AMD 7640U), running Arch Linux, and overall it is nice. It is convenient to have an HDMI port again and I did not encounter issues with hardware. (Sleep drains the battery somewhat quickly over longer time periods, but I put it in hibernate anyway for that.)
However, the screen broke down after a few months and support initially refused to replace it, citing “customer induced damage”. As far as I can tell, this is both untrue and illegal (under German law, within 12 months after purchase all defects are presumed to be due to the original condition of the product, for which the seller is liable; that presumption can be overcome, but you would need some reason). They relented eventually, but it certainly soured my opinion on both the product and the company.
Let us say that an index i is bad, if every finite subsequence of s starting at i is red (i.e. for every j ≥ i we have χ(s_i ... s_j) = red). Two cases:
Case 1: there are infinitely many bad indices. Here we go to the first bad index then the second, and so on. The colour of w₀ does not matter, and since subsequent words start at a bad index, they will all be red.
Case 2: there are finitely many bad indices. Then there is some k which is larger than all bad indices. We start by going to k (again, the colour of w₀ does not matter). Since k is not bad, there must be some blue word starting at k. We take that one and move to a larger index. Again, that index is not bad. We repeat this process to find our sequence.
Nice proof, similar to the one I posted just now but simpler -- you realised that we only need one special category ("bad" rather than "hard-red" + "hard-blue"). Gonna leave mine up though :)
The full decision can be found here [1]. The consumer protection agency did also seek that LinkedIn be forced to respect DNT, but the court did not grant this relief, reasoning that it was overly broad in two ways. First, it did not specify precisely enough what is meant by DNT — in particular, the suit did not limit itself to the DNT header, but referred to any kind of configured signals sent by the browser. Second, it described the behaviour that LinkedIn is supposed to cease when encountering such a signal in an overly broad manner.
If upheld, the judgement certainly seems to open the door for future litigation, and one might even hope for potential targets to adjust their behaviour in anticipation of it, but I would not hold my breath there.
The name of the city is “Garching bei München” which translates to “Garching near Munich”. This disambiguates it from „Garching an der Alz“. (Although Jülich is just called Jülich.)
I use these as well (3M Aura). They are much more comfortable than the more common types of FFP2 masks and I can wear them for prolonged periods of time without issue, but I would not classify them as “no discomfort whatsoever”. Also, they have a very good fit – other FFP2 masks I had to fiddle around with quite a bit to get a good seal around my nose.
A very important thing is that at least for some types of 3M Aura (the 9320+, at least), the nose clip is significantly stronger than that of cheap masks. So if you're used to pushing it onto your nose very strongly with cheap masks, you need to unlearn that with the Aura masks, or it will obstruct your breathing and become very uncomfortable.
With the Aura masks (at least those with a strong clip), it's not necessary to push it down very strongly; you just need to lightly shape it, and then the strength of the clip will ensure that it stays in shape, and the foam around the nose will ensure a good seal.
It seems to take some practice to find the right clip shape, but once you've found it, they're quite comfortable IMO - and most of the time I've seen people complain about discomfort with these masks, it seems to be because of the nose clip being too tight.
Someone I know wanted to have a movable white rectangle on the screen to cover up things (for a presentation). They had a creative solution: open a “10h white background” video and used Firefox's picture-in-picture feature. Unfortunately, the recommendation algorithm picked up on this, and started recommending a bunch of similar videos...
You are thinking of the union, where you can indeed just put the two NFAs “side-by-side”. This does not work for the intersection though, there you need the product construction.
I did, it's noticeable, but not enough for me to switch from the convenience of nice antialiasing and desktop integration.
I use Black Box [1] from Flatpak because it has great design and smart copy (Ctrl-C does both copy and SIGINT depending on the context), which is more important to me than shaving a few ms latency. These days a lot of terminal work is done with `eat` from Emacs [2], which is even slower than Blackbox.
For comparison, to get a similar penalty by speeding you would have to exceed the speed limit by 51 km/h (32 mph).
There are many additional related offences you could commit, with different consequences. Repeat offences to the above, for example, are punished more severely: you get 3 months instead of 1 and the fine is doubled and tripled for the second and third offence, respectively. Already with a blood alcohol level of 0.03% you risk legal consequences, e.g. if you make an error while driving. If you endanger someone else (or property) with that level you are committing a crime, will lose your license, and can go to prison. If you are in your probationary period (two years after acquiring your license), any nonzero level is an offence.
Losing your license is generally temporary. You are blocked from re-acquiring it for some time, depending on the offence (at least 6 months, but can be multiple years). You have to complete an MPU, which certifies your ability to safely drive. For alcohol based offences, this would include demonstrating that you have reduced your consumption significantly. This can be quite harsh; you may, for example, be required to show complete abstinence for a period of one year. Of course, you are also looking at costs close to $1000 for the MPU alone. It is possible to get permanently blocked from driving, but it's quite difficult, I believe.