jesse_m

6 ms·

1. 1.▲
   by jesse_m 6y ago

   I love this app. I really like how it shows you tracking images and stuff in the emails.
2. 2.▲
   by jesse_m 6y ago

   Radicalized is in paperback on Amazon: https://www.amazon.com/Radicalized-Cory-Doctorow/dp/12502292... It has unauthorized bread in it.
3. 3.▲
   by jesse_m 6y ago

   Also, he gets more of a cut if you buy from him and no DRM! win-win
4. 4.▲
   by jesse_m 6y ago

   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 have.
5. 5.▲
   by jesse_m 6y ago

   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 could also have other threads or component
6. 6.▲
   by jesse_m 6y ago

   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 this: The hypervi
7. 7.▲
   by jesse_m 6y ago

   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 build farm would be nice though.
8. 8.▲
   by jesse_m 6y ago

   I can't stand the invisible syntax like double trailing space.
9. 9.▲
   by jesse_m 6y ago

   I can't stand the invisible syntax like a double trailing space is some valid syntax.
10. 10.▲
    by jesse_m 7y ago

    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 strongest when the kernel is built with a particular configu
11. 11.▲
    by jesse_m 7y ago

    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
12. 12.▲
    by jesse_m 7y ago

    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 rebooted the system but som
13. 13.▲
    by jesse_m 7y ago

    I think he's talking to the serval mesh guy
14. 14.▲
    by jesse_m 7y ago

    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-babel-tangle.py
15. 15.▲
    by jesse_m 7y ago

    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.
16. 16.▲
    by jesse_m 7y ago

    Looks like there are some open source mail server projects that support it: https://jmap.io/software.html
17. 17.▲
    by jesse_m 7y ago

    Is this similar to Android repo tool?
18. 18.▲
    by jesse_m 7y ago

    Also Google's repo tool. I like the idea of manifests and the commands it includes for creating feature branches across repos
19. 19.▲
    by jesse_m 7y ago

    fwiw, the Embedded Rust Working Group moved to matrix: https://rust-embedded.github.io/blog/newsletter-18/
20. 20.▲
    by jesse_m 7y ago

    how will we express the scale of something now?
21. 21.▲
    by jesse_m 8y ago

    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=1215061 but didn't know if it had bee
22. 22.▲
    by jesse_m 8y ago

    can you browse without signing up? I'd like to follow from my mastadon client
23. 23.▲
    by jesse_m 8y ago

    Does this mean that custom emacs/vim keybindings can work again?
24. 24.▲
    by jesse_m 8y ago

    I do believe Western Digital is going to start shipping their products with RISC-V processors soon
25. 25.▲
    by jesse_m 8y ago

    If you use duck duck go as your search engine I think you can use their bang search functionality
26. 26.▲
    by jesse_m 8y ago

    Yeah I'm familiar with OCaml I wasnt sure if there was a language progression that was suggested to go through. I was actually interested in using Menhir more too.
27. 27.▲
    by jesse_m 8y ago

    Is there one of these languages to start with? Or would you choose one that interests you and study that one? There seems like some great content but I don't see a clear place to start
28. 28.▲
    by jesse_m 8y ago

    I've been looking at this too bit where do you source the wave guides?
29. 29.▲
    by jesse_m 8y ago

    Thanks I was using Tusky but had the wrong format for the name
30. 30.▲
    by jesse_m 8y ago

    Ahh thank you. I had the format wrong there