GNU social JP
  • FAQ
  • Login
GNU social JPは日本のGNU socialサーバーです。
Usage/ToS/admin/test/Pleroma FE

  • Public

    • Public
    • Network
    • Groups
    • Featured
    • Popular
    • People

Embed Notice

HTML Code

Corresponding Notice

  1. Embed this notice
    saxnot (saxnot@chaos.social)'s status on Tuesday, 18-Mar-2025 01:16:11 JSTsaxnotsaxnot
    in reply to
    • feld

    @feld that format verification is five years old
    just saying that.

    I was unaware that formal verification of such complex systems is even possible.

    not even AES is formally verified and it's magnitude simpler in design

    In conversationabout 18 days ago from chaos.socialpermalink
  • Help
  • About
  • FAQ
  • TOS
  • Privacy
  • Source
  • Version
  • Contact

GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.

Creative Commons Attribution 3.0 All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.