"GrapheneOS doesn’t see Unified Attestation as a solution, but just adds another new gatekeeper, replacing Google controls with a vendor-managed list.
The main argument made is that companies that sell phones should not be deciding which operating systems are allowed to run apps."
If an LLM writes part of your paper, do you credit it as "et ai"?
Have you ever read an RFC? The RFC Editor needs your help!
Talk to them about how you use http://rfc-editor.org so they can improve it. They particularly want to hear from people who are new to RFCs, including students, researchers and industry pros. Apply here: https://docs.google.com/forms/d/e/1FAIpQLScrZlzch43qxYRSs0XcDMALATR2Lh0dE692bqoezWbxeM77EQ/viewform
https://greshake.github.io/?ref=
"If allowed by the user, Bing Chat can see currently open websites. We show that an attacker can plant an injection in a website the user is visiting, which silently turns Bing Chat into a Social Engineer who seeks out and exfiltrates personal information. The user doesn't have to ask about the website or do anything except interact with Bing Chat while the website is opened in the browser. "
It was pointed out to me that Leon Henkin's PhD thesis, "The Completeness Of Formal Systems" is not digitized or easily available, and the UC libraries had a copy.
So I have scanned it and posted it to archive.org: https://archive.org/details/the-completeness-of-formal-systems
Because it is old and faded, and in parts handwritten, the OCR isn't very accurate.
According to everything I have read it should be in public domain as it lacks a copyright notice and was published in 1947. So hopefully I don't go to jail.
This is your periodic reminder that 10 years ago an audiophile forum started debating which versions of memcpy had the highest sound quality.
And that C++ new sounds better than malloc.
As a distributed systems researcher, I’d like to thank the House of Representatives for demonstrating that leader election protocols can’t be guaranteed to terminate.
EU will likely start mandating replaceable batteries in most devices sold in EU
https://thenextweb.com/news/new-eu-battery-regulations-spell-trouble-for-manufacturers-tech-giants
On problems with the Unix time format
Reminder: the Roomba was originally programmed in a dialect of Lisp.
That makes sense, because the hardware is optimized for garbage collection.