darzu

21 ms·

1. 211.▲
   by darzu 11y ago

   Will this break Splitwise?
2. 212.▲
   by darzu 11y ago

   True certified programming has a lot of overhead but there are definitely areas where it'll be worth it: medical devices, car systems, mars rovers, aviation, etc. The University of Washington is actively working on verifying radiation
3. 213.▲
   by darzu 11y ago

   > This separates programming from verification completely. This is simply not the case. Significant verification projects always plan for verification and do verification in tandem. This is definitely true for all Dafny projects to date
4. 214.▲
   Pedestrian Statistics(pavpanchekha.com)

   5 points by darzu 11y ago|0 comments