@zhuowei https://gracecondition.github.io/posts/dirtyslide/ "virtual machine only" lpe
"this property was involved in the Novichok event that took place in 2018"
https://www.rightmove.co.uk/properties/90003912#/?channel=RES_BUY
Anything can be real. Every imaginable thing is happening somewhere along the dimensional axis. These things happen a billion times over with exactly the same outcome and no one learns anything. Whatever a person can think, imagine, wish for, or believe has already come to pass. Dreams come true all the time, just not for the dreamers.
Amstrad PPC640 [1987]
CPU: NEC V30 8 Mhz CPU
MEM: 640k RAM ('all you'll ever need')
STORAGE: Dual 720kb DD Floppy Drives
I’m a little shocked that #germany is requiring workers to get a doctor’s note for any sick leave. It’s such an insanely high barrier for people. I’m sad to see such an important member of the EU go in such an anti-worker direction.
I can say as an American who has had jobs with that requirement, the result is “people come into work sick all the time”. Truly the sickest I’ve been in my life have been places that mandate that, to the extent that one of the two that did ended up rolling it back when an intern threw up in a trashcan in front of our largest customer.
A politician investigating Pegasus spyware… had their phone hacked with Pegasus multiple times. The compromises came days ahead of key meetings of the spyware inquiry:
Apply all regulations to the last letter.
And after yesterday's post, here's one on the state of things in agentic identity: https://www.codon.org.uk/~mjg59/blog/p/securing-agentic-identity/
So. For the past few days I've been deep in a fun and very rewarding, but also extremely scary debugging saga. To cut a long git-bisecting story short:
Since Linux 6.9 (May 2024), the tool that locks the laptop's drive on suspend had been silently failing.
Like many of my friends, I use full-disk encryption (LUKS) to protect my data if my laptop is lost, seized or stolen. Highly recommended to everyone; in combination with tested and automated backups, it contributes greatly to peace of mind. (Under Windows, the canonical software to do that is VeraCrypt.)
Except that, for more than two years, the encryption key remained resident in memory across suspend, leaving it there for the taking by anyone who seized the still-powered laptop. (It still worked on a full shutdown, but a full shutdown is rare these days.)
There is something uniquely unsettling about trusting a security mechanism for years and learning it was never doing the thing. "A technical argument by a trusted author, which is hard to check and looks similar to arguments known to be correct, is hardly ever checked in detail." The same, it seems, is true for computer code.
The culprit was a sensible and useful refactoring, https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=a28d893eb3270cf62c10dd8777af0d8452cdc072. But it had an unexpected long-range interaction with the encryption code. The fix is exactly one line long: https://lore.kernel.org/all/ajKwRtP8izwRsMmv@quasitopos/ And no, without formal proofs I cannot say whether my patch is correct and free of its own long-range interactions... At the very least, we now have an automated test to detect future regressions (https://github.com/NixOS/nixpkgs/pull/532499) and a patch to emit a warning instead of failing silently (https://gitlab.com/cryptsetup/cryptsetup/-/merge_requests/936).
This is so cool: 4 alternatieve Fields Medals for
Excellence in mathematics research by somebody who is currently over the age of 40.
Excellence in mathematics research with approaches that are not mathematically rigorous (construed broadly).
Excellence in leadership in the mathematics community (construed broadly).
Excellence in exposition of mathematics to a popular audience.