home.social
Sign in Create account

#formally_verified_code — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #formally_verified_code, aggregated by home.social.

  1. Hacker News @[email protected] ·

    Three ways formally verified code can go wrong in practice

    buttondown.com/hillelwayne/arc

    #HackerNews #formally_verified_code #code_quality #software_development #programming #cybersecurity

    #hackernews #formally_verified_code #code_quality #software_development #programming #cybersecurity
  2. Hacker News @[email protected] ·

    Three ways formally verified code can go wrong in practice

    buttondown.com/hillelwayne/arc

    #HackerNews #formally_verified_code #code_quality #software_development #programming #cybersecurity

    #hackernews #formally_verified_code #code_quality #software_development #programming #cybersecurity
  3. Hacker News @[email protected] ·

    Three ways formally verified code can go wrong in practice

    buttondown.com/hillelwayne/arc

    #HackerNews #formally_verified_code #code_quality #software_development #programming #cybersecurity

    #hackernews #formally_verified_code #code_quality #software_development #programming #cybersecurity
  4. Hacker News @[email protected] ·

    Three ways formally verified code can go wrong in practice

    buttondown.com/hillelwayne/arc

    #HackerNews #formally_verified_code #code_quality #software_development #programming #cybersecurity

    #cybersecurity #programming #software_development #code_quality #formally_verified_code #hackernews
  5. Hacker News @[email protected] ·

    Three ways formally verified code can go wrong in practice

    buttondown.com/hillelwayne/arc

    #HackerNews #formally_verified_code #code_quality #software_development #programming #cybersecurity

    #hackernews #formally_verified_code #code_quality #software_development #programming #cybersecurity