Viewing profile — jesse_m

I love this app. I really like how it shows you tracking images and stuff in the emails.

Radicalized is in paperback on Amazon: https://www.amazon.com/Radicalized-Cory-Doctorow/dp/12502292... It has unauthorized bread in it.

Also, he gets more of a cut if you buy from him and no DRM! win-win

One thing that seL4 requires is an mmu in order to support the isolation claims. The intel me type cpu would need to have some of these features that micorcontrollers don't usually…

That's not necessarily true. There are VMM or hypervisor projects that utilize seL4 for x86 and ARM [1][2][3]. In this situation there isn't really one that is in "control". You co…

For what it's worth, the current draft of the hypervisor extensions is available here: https://github.com/riscv/riscv-isa-manual/releases/download/... and is Chapter 5 It does say …

Is the ports system similar to Gentoo's portage/ebuild system? I can get sources, configure the build, or get binaries (for some things) pretty easy through it. The QA with the bui…

I can't stand the invisible syntax like double trailing space.

I can't stand the invisible syntax like a double trailing space is some valid syntax.

I think one of the big things here is that the refinement proofs from the models for isolation, IPC fast path, capability access control, and scheduling to C source to binary are s…

The RISC-V proof is very close to being completed too. Gernot talked at the RISC-V Summit 2019: https://www.youtube.com/watch?v=2IXBoVIUuVI

I believe this was the HACMS program. Data61 has some more information: https://ts.data61.csiro.au/projects/TS/SMACCM/ It may be worth mentioning that it isn't the kernel that rebo…

I think he's talking to the serval mesh guy

I haven't heard of the leo editor. I have used org mode in Emacs for little things. I also came across a reimplmentation of the tangling functionality: https://github.com/thblt/org…

The Embedded Muse http://www.ganssle.com/tem-subunsub.html Jack Ganssle has some really good content he's written for other publications as well.

Looks like there are some open source mail server projects that support it: https://jmap.io/software.html

Is this similar to Android repo tool?

Also Google's repo tool. I like the idea of manifests and the commands it includes for creating feature branches across repos

fwiw, the Embedded Rust Working Group moved to matrix: https://rust-embedded.github.io/blog/newsletter-18/

how will we express the scale of something now?

I thought that when only web extension plugins were allowed shortcut extensions no longer worked. I was using keysnail. I was following https://bugzilla.mozilla.org/show_bug.cgi?id…

can you browse without signing up? I'd like to follow from my mastadon client

Does this mean that custom emacs/vim keybindings can work again?

I do believe Western Digital is going to start shipping their products with RISC-V processors soon

If you use duck duck go as your search engine I think you can use their bang search functionality