elliotpotts

3 ms·

1. 1.▲
   by elliotpotts 2y ago

   Wow, Fil-C++ looks very interesting! I wonder what % of programs make its pointer tracking fail due to stuffing things in the higher bits, doing integer conversions and so on. It reminds me of CHERI.
2. 2.▲
   by elliotpotts 2y ago

   The readme talks about eye candy but there are no screenshots.
3. 3.▲
   by elliotpotts 2y ago

   Great, thank you for the reading!
4. 4.▲
   by elliotpotts 2y ago

   I'd like to see a post on fuzzing distributed applications rather than memory models. I understand the underlying principle is the same, but having only seen memory models be tested I can't quite shift my perspective enough to fig