cmarinas

4 ms·

1. 1.▲
   by cmarinas 6y ago

   CHERI provides spatial protection and is very strong at this but does not handle temporal protection well (use-after-free for example). Once a pointer is given to another code entity/compartment it is hard to revoke the permission sinc
2. 2.▲
   by cmarinas 6y ago

   NightMKoder's comment was referring to the x32 mode where an application uses the x86_64 ISA and registers but with a 32-bit ABI (ILP32 - int, long, pointers are 32-bit). The kernel is full 64-bit, so there is no overhead like in PAE w
3. 3.▲
   by cmarinas 7y ago

   I used it in the context of Linux kernel development to model/verify various algorithms. I gave a presentation last year at Linux Plumbers: http://procode.org/FormalMethodsPlumbers2018.pdf Slides 4 and 28 list actual b
4. 4.▲
   by cmarinas 8y ago

   I rarely use the Toolbox (especially since I couldn't find a pre-built Toolbox for ARM processors). I'm happy with vim or emacs and I usually have a script (that also does some massaging on the PlusCal-generated code): https:&#x2
5. 5.▲
   by cmarinas 9y ago

   I turned off autocorrect on my wife's phone as her messages didn't make sense ;) (not bothering to check the autocorrected words). As for multi-language, SwiftKey seems pretty good, you don't need to switch between languages,
6. 6.▲
   by cmarinas 9y ago

   "delivered to server" is different from "delivered to device". Let's say my friend is abroad with no roaming, I have no idea whether a message was delivered to him/her or not. WhatsApp has both. As I wrote, I t
7. 7.▲
   by cmarinas 9y ago

   Well, search for "whatsapp mitm".
8. 8.▲
   by cmarinas 9y ago

   Not really. What I missed most in Telegram was "delivered to device" status. While they claim such information wouldn't tell which of the recipient's devices received the message, I see it more as laziness on their side.
9. 9.▲
   by cmarinas 9y ago

   For a more consistent behaviour, I deleted the other default iOS keyboards (in Settings) and just left the swype-style one (Google's now, used Swiftkey before). Occasionally I get an iOS keyboard (without any language) but very rarely,
10. 10.▲
    by cmarinas 10y ago

    Yeah, right... The government passes an emergency ordinance quietly during the night, aimed at saving the party's leader, and you blame the president. IOW, people shouldn't think for themselves because there are leaders elected to