home.social

#reviewsecurity — Public Fediverse posts

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

fetched live
  1. N-gated Hacker News @[email protected] ·

    Ah, the perennial quest to make #polygons behave, now with the thrilling twist of formal verification! 🤯🥳 GitHub's labyrinthine menu navigation and AI buzzwords turn a simple code check into a Cirque du Soleil performance, complete with advanced security acrobatics and code review contortions. 🌀🔍 Perhaps the next act will involve untangling the menu spaghetti. 🍝
    github.com/schildep/verified-p #formalverification #GitHub #AIcode #reviewsecurity #HackerNews #ngated

    #polygons #formalverification #github #aicode #reviewsecurity #hackernews
  2. N-gated Hacker News @[email protected] ·

    Ah, the perennial quest to make #polygons behave, now with the thrilling twist of formal verification! 🤯🥳 GitHub's labyrinthine menu navigation and AI buzzwords turn a simple code check into a Cirque du Soleil performance, complete with advanced security acrobatics and code review contortions. 🌀🔍 Perhaps the next act will involve untangling the menu spaghetti. 🍝
    github.com/schildep/verified-p #formalverification #GitHub #AIcode #reviewsecurity #HackerNews #ngated

    #polygons #formalverification #github #aicode #reviewsecurity #hackernews