recentpopularlog in


« earlier   
Pointer Based Data-Structures in SPARK - The AdaCore Blog
"The specification and verification of pointer-based data-structures is a challenge in deductive verification whether the 'pointer' part is implemented as a machine pointer or as an array index (as an example, see our previous post about verifying insertion inside a red-black tree). In addition, SPARK has a strict ownership policy which will prevent completely the use of some (doubly-linked) data-structures, and complicate the writing of usual algorithms on others. However, I think I have demonstrated in this post that is still feasible to write and verify in SPARK some of these algorithms, with comparatively few user-supplied annotations."
Note how they're borrowing some ideas from Rust.

See also:
ada_language  ada  programming  verification  pmz  piperesearch 
7 days ago by mechazoidal
How journalists can responsibly report on manipulated pictures and video
If we choose to feature a manipulated video in my reporting, have we thought about using selected clips or images instead of embedding or linking to the original (while being mindful of any additional copyright considerations)?
Can we overlay the manipulated content with graphics or text that clearly inform audiences of how the video has been manipulated?
Have we thought about the language we are using to describe this type of disinformation? It may be useful to explain that the content is “altered,” “manipulated” or “distorted,” rather than to say that it is “fake”, which may be confusing to readers especially when the disinformation is based on genuine photos or videos.
Where possible, have we led with the truth and avoided repeating or amplifying the intended outcome or accusatory language in the headline?
Have we provided context and presented the existence of a piece of content within a bigger picture relating to intentions, motivations, threat and harm?
Before referring to a falsehood, have we provided an explanation of why it is false and evidence to support verified conclusions?
Have we taken care not to undermine or make fun of those who believe the manipulated content? Doing so can lead to a hardening of these beliefs.
verification  ethics  rt  factchecking 
8 days ago by paulbradshaw
Today, we launched Verified Data Request, a new tool to support wit…
identity  compliance  regulatory  verification  from twitter_favs
22 days ago by jhill5
Contribute to stoeffel/elm-verify-examples development by creating an account on GitHub.
elm  elm-lang  testing  doc-test  verification  Documentation  documentation-tools 
22 days ago by lenards
4 Benefits of Using Video Verification
Let’s have a look at some other benefits of video verification.
video  verification  video-camera-networks 
22 days ago by Adventure_Web

Copy this bookmark:

to read