🦞🌯 Lobster Roll

Stories by david_chisnall

Lobsters interview with Bjorn Stahl
L 129 pts 20 comments by david_chisnall Feb 23, 2024 interview thread
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)
L 92 pts 48 comments by david_chisnall Nov 5, 2023 cryptographylawshow Programming (General)Security / Privacy thread
I don't care about memory safety (linkedin.com)
L 85 pts 156 comments by david_chisnall Feb 8, 2024 security Security / Privacy thread
How to Design an ISA (queue.acm.org)
L 84 pts 58 comments by david_chisnall Jan 17, 2024 hardware Design / UX / VisualizationMaker / DIY / Hardware thread
Petition: Repeal the Online Safety Act (petition.parliament.uk)
L 59 pts 5 comments by david_chisnall Jul 18, 2025 law thread
FreeBSD containers on macOS (github.com)
L 54 pts 10 comments by david_chisnall Sep 5, 2023 freebsdshow Systems / Low-Level / OSProgramming (General)Apple / macOS / iOS thread
CHERIoT: The last ten years (cheriot.org)
L 47 pts 18 comments by david_chisnall May 17, 2025 hardwarehistoricalsecurity Security / PrivacyMaker / DIY / HardwareCulture / Philosophy / History / Reading thread
It Is Time to Standardize Principles and Practices for Software Memory Safety (cacm.acm.org)
L 47 pts 50 comments by david_chisnall Feb 6, 2025 security Programming (General)Security / Privacy thread
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)
L 45 pts 2 comments by david_chisnall Jul 30, 2025 compilerssecurity Systems / Low-Level / OSProgramming Languages / CS TheorySecurity / Privacy thread
When Concurrency Matters: Behaviour-Oriented Concurrency (dl.acm.org)
L 38 pts 20 comments by david_chisnall Oct 17, 2023 pdfprogramming Programming (General) thread
First steps in CHERIoT Security Research (msrc.microsoft.com)
L 33 pts 14 comments by david_chisnall Feb 28, 2023 hardwareosdevsecurity Systems / Low-Level / OSSecurity / PrivacyMaker / DIY / Hardware thread
Early performance results from the prototype Morello microarchitecture (ctsrd-cheri.github.io)
L 25 pts 1 comments by david_chisnall Aug 10, 2023 hardwaresecurity Security / PrivacyMaker / DIY / Hardware thread
CHERIoT: Rethinking security for low-cost embedded systems (microsoft.com)
L 25 pts 35 comments by david_chisnall Feb 6, 2023 hardwaresecurity Systems / Low-Level / OSSecurity / PrivacyMaker / DIY / Hardware thread
Morello [Arm CHERI prototype] hits major milestone with hardware now available for testing (arm.com)
L 25 pts 10 comments by david_chisnall Jan 20, 2022 hardwaresecurity Security / PrivacyMaker / DIY / Hardware thread
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)
L 23 pts 11 comments by david_chisnall Oct 30, 2023 hardwarepdfsecurity Systems / Low-Level / OSSecurity / PrivacyMaker / DIY / Hardware thread
What’s the smallest variety of CHERI? (msrc-blog.microsoft.com)
L 23 pts 14 comments by david_chisnall Sep 6, 2022 hardwareosdevsecurity Systems / Low-Level / OSSecurity / PrivacyMaker / DIY / Hardware thread
Everything you ever wanted to know about “hello, world” but were afraid to ask (people.freebsd.org)
L 21 pts 2 comments by david_chisnall Dec 27, 2024 cpdfprogramming Systems / Low-Level / OSProgramming (General) thread
Formally verifying security properties of CHERI processors (cheriot.org)
L 21 pts 1 comments by david_chisnall Aug 2, 2024 formalmethodshardwaresecurity Programming Languages / CS TheorySecurity / PrivacyMaker / DIY / Hardware thread
Lessons From Red Teaming 100 Generative AI Products (arxiv.org)
L 18 pts 12 comments by david_chisnall Jan 18, 2025 securityvibecoding AI / Machine LearningSecurity / Privacy thread
Advanced book classes and packages for the SILE typesetting system (github.com)
L 18 pts 9 comments by david_chisnall Oct 13, 2024 programming Programming (General)Culture / Philosophy / History / Reading thread
Try the CHERIoT platform on the Arty A7 100T FPGA (cheriot.org)
L 17 pts 6 comments by david_chisnall Nov 16, 2023 hardwaresecurity Security / PrivacyMaker / DIY / Hardware thread
snmalloc 0.6 released, major redesign with security hardening (github.com)
L 17 pts 7 comments by david_chisnall May 9, 2022 cc++programming Systems / Low-Level / OSProgramming (General)Security / Privacy thread
Planning the Software Industrial Revolution (1990) (web.archive.org)
L 12 pts 10 comments by david_chisnall Apr 1, 2022 historical Programming (General)Culture / Philosophy / History / Reading thread
CHERI-picking: Leveraging capability hardware for prefetching (dl.acm.org)
L 11 pts 1 comments by david_chisnall Nov 14, 2023 hardwareosdevpdf Systems / Low-Level / OSMaker / DIY / Hardware thread
RUDRA: Finding Memory Safety Bugs in Rust at the Ecosystem Scale (github.com)
L 8 pts 0 comments by david_chisnall Oct 25, 2022 pdfrustsecurity Systems / Low-Level / OSSecurity / Privacy thread
ChristopherHX/github-act-runner:act as self-hosted runner [cross-platform runner for GitHub actions] (github.com)
L 7 pts 6 comments by david_chisnall Aug 11, 2021 testing Programming (General) thread
Capabilities for Coders (capabilitiesforcoders.com)
L 5 pts 4 comments by david_chisnall Apr 3, 2023 programmingsecurity Programming (General)Security / Privacy thread
Firebloom (iBoot) - the type descriptor (saaramar.github.io)
L 5 pts 0 comments by david_chisnall May 13, 2022 cmacsecurity Systems / Low-Level / OSSecurity / PrivacyApple / macOS / iOS thread
Effect of Clang modules on compilation time (observablehq.com)
L 4 pts 3 comments by david_chisnall Sep 28, 2022 c++compilers Systems / Low-Level / OSProgramming Languages / CS Theory thread
Several incompatibilites with PHP 8.0 · Issue #25806 · nextcloud/server (github.com)
L 4 pts 3 comments by david_chisnall Apr 16, 2022 php Programming (General) thread