I’m in Munich for CHERITech. Hotel room lab is up & I’m working on porting k3ctl [1] to the CHERIot Sonata board, experimenting with CHERI compartments for different components of the application. This is a hardware-enforced mechanism, which will, for example, prevent a buggy LCD library from reprogramming an attached K3 CoM260 it controls.
[1] https://github.com/xjamesmorris/k3-com260-info/tree/main/tools/k3ctl
(and Mastodon is feeling more and more like $HOME every day)
RE: https://hachyderm.io/@datarama/117574904048824013
The world seems like a better place after reading this.
🐧 💬 Announcing a new mailing list for discussing formal methods in Linux development: formal@lists.linux.dev
- Subscription info: https://subspace.kernel.org/lists.linux.dev.html
- Archive: https://lore.kernel.org/formal/
Several folk have been experimenting with formal methods, including, but not limited to:
🔗 Corinn Tiffany & Julia Lawall: https://lpc.events/event/20/contributions/2540/
🔗 @brauner : https://github.com/brauner/linux-formal
🔗 Natalie Klaus et al: https://lore.kernel.org/lkml/9YSGLlcFbkzUCvt-LBQkhT8BI5Y4v8yNQC4bkTK2zxwm5W-gnkX4rL0SRvQrb1bvGNY-dACfKyk3_vwJE_arlXZaXDK1cYdF95SFQNGJASw=@runtimeverification.com/
🔗 Martin Fink et al, https://lpc.events/event/20/contributions/2440/
Fwd / boost as appropriate.
Breaking: PEKK-A+CF printed on a consumer 3D printer.
👀 Exclusive eyewitness video here: https://www.youtube.com/shorts/dXYgokQ0_LE
First pic here is the first Prusa 3D printer.
I was fortunate to tour the Prusa factory in Prague yesterday with @securepaul, where they manufacture most of their product line. Here are some quick highlights.
I found Berlin’s last #electronics store, Segor-electronics in Moabit. Saw some beautiful Knipex tools in their natural habitat. Picked up a few things including this little esp32 device which I suddenly needed, for science.
Interesting. Just happened upon an open source car modding company. I've been wondering how feasible it would be to do something like this.
(In my case, simply to offset hobby costs so I can purchase more capable machines & materials. For science.)