← Feed @flaviat@awful.systems 2026-09-12 21:30 UTC Theorem 13 lead to a recent inconsistency Replies (0) No replies.