So a pre-yellow light? This seems like you just changed what we call a yellow light to the 4 flashing greens, and made the yellow the new red. If yellow means “don’t enter the intersection”, how is that different than a red?
The US sometimes has something similar: visibile countdown timers for the pedestrian crossing turning form stop to go, which coincides with the car light turning from red/stop to green/go.
This encourages people to run the light by trying to turn exactly as the countdown timer hits 0, trying to race against pedestrians trying to cross crossing pedestrians.
You could always do that before in most instances just by watching for the yellow on the cross street too. Though I think the green is often slightly delayed relative to the pedestrian light, precisely to ensure the car cannot win that race legally
Interesting, I don't remember learning or hearing about this one.
> While the South Korean government claimed 165 people were killed in the massacre, scholarship on the massacre today estimates 600 to 2,300 victims.
Just for the sake of it, compared it to the widely known chinese tiananmen square massacre, albeit this one has widely varying figures on wikipedia:
> The Chinese Red Cross had given a figure of 2,600 deaths but later denied having given such a figure.[16][17] The Swiss Ambassador had estimated 2,700.
Beijing hospital records compiled shortly after the events recorded at least 478 dead and 920 wounded. ...etc
I guess it's common to assign different motives based on which side did the deed. You know, their crimes are stemming from an innate moral deficiency, our crimes are an exception or the result of external circumstances, not reflective of our core values.
> The Gwangju Uprising, known in Korean as May 18 (Korean: 오일팔; Hanja: 五一八; RR: Oilpal; lit. Five One Eight), were student-led demonstrations that took place in Gwangju, South Korea, in May 1980, against the dictatorship of Chun Doo-hwan. The uprising was violently suppressed by the South Korean military with the approval and logistical support of the United States under the Carter administration, which feared the uprising might spread to other cities and tempt North Korea to interfere.
When I visited Gwangju I spend some time in the museum dedicated to the uprising, and the military area where people were tortured. It was pretty harrowing.
For what it's worth: a friend of mine has extracted the Fuji LUTs from the "official raw converter" and has been using them in darktable happily ever after ;)
Reading these short self-descriptions makes me weirdly disappointed in my own life. You know, undergrad while living with parents while being a repressing queer while having crippling ADHD.
Having lived in Munich my entire life, I feel comfortable characterizing it as somewhere inbetween Zurich and Vienna. Transit is amazing in all three cities, the Alps are nearby in all three cities, although Vienna is rather "liberal" while Zurich is rather "conservative". Likewise, cost-of-living is Vienna < Munich < Zurich.
If you like weekend / multi-day hikes, I really strongly recommend checking out the Alpenvereinshütten. No such thing as camping on longer hikes when there's a (very affordable) mountain cabin with warm food on your way.
The main upside Isabelle has over other proof assistants is the existence of Sledgehammer: invoke it, and your current proof state gets handed off to a SMT solver like cvc4, veriT, z3, vampire, etc. If the SMT solver finds a solution, Isabelle then reconstructs the proof.
It's essentially a brute-force button that no other proof assistant (aside from Coq) has.
An approach I've had to EU elections is that tiny, single-seat parties often do invaluable opposition work through parliamentary requests and access to internal documents.
It's why it's sad to see Pirates lose their representation, even though their program isn't great.
It's still quite commonplace in Germany in 2024. Typically, they claim around 1000€ in said letters, and refusing will have the case go to court, which usually rules in favor of said legal firms.
y'know, the GDPR has known a Right To Be Forgotten since 2018, and yet in Discord there's no way to delete your messages in bulk (instead they're being pseudonymized upon account deletion)
I've never put any stock in this point, your writings cannot be made distinct from you.
How many messages do you need before you can accrue enough personally identifying information to reveal who that person was? Every time they mention where they live, how old they are, what happens about that?
None of that goes away if you only soft delete the user's profile, leaving all the content and context for anyone to rebuild at their leisure.
Pretty sure the original account id is still tied to the message and sent to clients even after deletion. People can easily correlate it if they can prove just one of the messages belonged to you.
reply