oldnews193

26 ms·

1.
by oldnews193 5y ago
> It is absolutely bonkers that they (or, Fripp at least) are still playing music after 50 years and still touching the hearts of so many people. And the current King Crimson line-up give absolutely killer concerts. Older things like Let
2.
by oldnews193 5y ago
> - don't update the branch prediction tables until the branch is proven to execute > - if loading a cache line causes another cache line to be evicted, keep both until it is known whether the load is supposed to execute This sou
3.
by oldnews193 5y ago
Alternatively, what might be a display of a certain bias it's associating that vocal trait with young women in the first place. Isn't it akin to associating pink with gender? It's just a colour.
4.
by oldnews193 5y ago
> I felt a lot of anxiety about sharing my research in this environment and felt pressure to make my work seem like it was the best solution for every problem when in reality there are more nuances. I am curious what kind of pressure you
5.
by oldnews193 5y ago
Isn't that the case simply because professors are expected to be highly productive, to the extent where it is not possible to meet the bar without offloading the work to students and switching to a full-time manager?
6.
by oldnews193 5y ago
Come and visit. As far as I understand, foreigners do not have much trouble visiting the West Bank.
7.
by oldnews193 5y ago
Even if that happens, the people with whom anti-immigration policies are popular and job solicitors in the EU are likely two non-overlapping groups.
8.
by oldnews193 5y ago
You are absolutely right! I brought up Spectre not meaning to say it's an issue for cryptography (although maybe it is? it's above my paygrade :) ), but to illustrate one issue with formal proofs in security that I am trying to re
9.
by oldnews193 5y ago
> I am personally interested in this, as a cryptography PhD student, because the state of “provable security” is an absolute dumpster fire. In my opinion this is one particular application where machine-checkable proofs need to be establ
10.
by oldnews193 5y ago
> Verification is at least as complicated as writing the program you are verifying. I guess, writing a proof is basically like writing a program. Then checking a proof ought to be like *running* a program, not proving an arbitrary proper
11.
by oldnews193 5y ago
> Lviv/Western Ukraine is also very anti-Russia and has been for a long time (pre-WW2). Ukraine is a very divided country and there is more than one opinion on what to do. If each region voted independently, you’d probably see Ukrai
12.
by oldnews193 5y ago
> Ukraine democratically decides to prefer EU over Russia, maybe all parties need to live with that. Russia has been opposing the expansion of NATO for decades, and Ukrainian politicians at different moments were aiming to join NATO (rat