🦞🌯 Lobster Roll

Stories by david_chisnall

Lobsters interview with Bjorn Stahl
After @PhantomZorba did the [interview with me last month](https://lobste.rs/s/ttr8op/lobsters_interview_with_david_chisnall) we decided to try to make the lobste.rs interview series a relay, where each interviewee then interviews someone else. Picking a single person from this community is hard, b...
banning-e2ee-is-stupid: Do you think banning end-to-end encryption is plausible? Think again (github.com)
I don't care about memory safety (linkedin.com)
How to Design an ISA (queue.acm.org)
Petition: Repeal the Online Safety Act (petition.parliament.uk)
FreeBSD containers on macOS (github.com)
CHERIoT: The last ten years (cheriot.org)
It Is Time to Standardize Principles and Practices for Software Memory Safety (cacm.acm.org)
An [extended version is also available](https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-996.html).
[RFC] Upstream target support for CHERI-enabled architectures (discourse.llvm.org)
When Concurrency Matters: Behaviour-Oriented Concurrency (dl.acm.org)
First steps in CHERIoT Security Research (msrc.microsoft.com)
Early performance results from the prototype Morello microarchitecture (ctsrd-cheri.github.io)
CHERIoT: Rethinking security for low-cost embedded systems (microsoft.com)
Morello [Arm CHERI prototype] hits major milestone with hardware now available for testing (arm.com)
Other blogs about this from partners in the programme: [The University of Cambridge](https://www.lightbluetouchpaper.org/2022/01/20/arm-releases-experimental-cheri-enabled-morello-board-as-part-of-187m-ukri-digital-security-by-design-programme/) [Microsoft](https://msrc-blog.microsoft.com/20...
CHERIoT: Complete Memory Safety for Embedded Devices (cheriot.org)
What’s the smallest variety of CHERI? (msrc-blog.microsoft.com)
Everything you ever wanted to know about “hello, world” but were afraid to ask (people.freebsd.org)
Formally verifying security properties of CHERI processors (cheriot.org)
Lessons From Red Teaming 100 Generative AI Products (arxiv.org)
Advanced book classes and packages for the SILE typesetting system (github.com)
Try the CHERIoT platform on the Arty A7 100T FPGA (cheriot.org)
snmalloc 0.6 released, major redesign with security hardening (github.com)
Planning the Software Industrial Revolution (1990) (web.archive.org)
CHERI-picking: Leveraging capability hardware for prefetching (dl.acm.org)
RUDRA: Finding Memory Safety Bugs in Rust at the Ecosystem Scale (github.com)
ChristopherHX/github-act-runner:act as self-hosted runner [cross-platform runner for GitHub actions] (github.com)
Capabilities for Coders (capabilitiesforcoders.com)
Firebloom (iBoot) - the type descriptor (saaramar.github.io)
Effect of Clang modules on compilation time (observablehq.com)
Several incompatibilites with PHP 8.0 · Issue #25806 · nextcloud/server (github.com)