- From: pes10k via GitHub <sysbot+gh@w3.org>
- Date: Tue, 28 Mar 2023 15:54:39 +0000
- To: public-device-apis-log@w3.org
pes10k has just created a new issue for https://github.com/w3c/compute-pressure: == "no side channels" subsection issues == This issue is being filed as part of the [requested PING review](https://github.com/w3cping/privacy-request/issues/113) and was broken off from [this previous issue](https://github.com/w3c/compute-pressure/issues/196) One sub-section is called "no side channels." I found this text confusing since, i. the text in the section seems mostly unrelated to side channels, and ii. "no side channels" is a goal, not a design feature (at least w/o some form of formal modeling thats not present in this spec, and not common in specs). Please view or discuss this issue at https://github.com/w3c/compute-pressure/issues/205 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Tuesday, 28 March 2023 15:54:41 UTC