> 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.…
> - 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…
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.
> 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…
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?
Come and visit. As far as I understand, foreigners do not have much trouble visiting the West Bank.
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.
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…
> 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…
> 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…
> 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…
> 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…
> 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.…
> - 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…
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.
> 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…
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?
Come and visit. As far as I understand, foreigners do not have much trouble visiting the West Bank.
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.
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…
> 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…
> 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…
> 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…
> 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…