dapids

10 ms·

1. 151.▲
   by dapids 7y ago

   With the creation of the MISRA C standards for JSF these memory safety issues have largely been accounted for in the MISRA standards review process.
2. 152.▲
   by dapids 7y ago

   I think you are missing the point of what Ada can accomplish in contrast to other languages in terms of memory safety and criticality. I personally think AdaOS is very compelling if you want a unique perspective on memory safety at such a l
3. 153.▲
   by dapids 7y ago

   In any case if it has, in my personal opinion it's quite shady to fork a project and remove all reference to the pre-fork, except the cover of the book, which is just a picture and not even a link to the original MIT site.
4. 154.▲
   by dapids 7y ago

   In what way is this alloy different than the official/original alloy? This the official alloy now? There is literally no mention or prior credit on your site to the original? A lot of unanswered things here. http://alloy.lcs
5. 155.▲
   by dapids 7y ago

   That point would be great if both those things worked to their full potential on a model made after circa ~2012
6. 156.▲
   by dapids 7y ago

   I wonder how predicted sales of the cheese grater are going? EDIT: I didn't even know it wasn't for sale yet, whoops, a lot of hype though...
7. 157.▲
   by dapids 7y ago

   If they don't have the infrastructure for vast modern cable based connections and wireless installations, why not use the already existing cell infrastructure? India isn't the only one.