Post #2735447
2026-04-27 08:56 UTC
@byorgey@mathstodon.xyz Interesting that your Agda code is considered dangerous...
Replies (1)
-
@byorgey@mathstodon.xyz 2026-04-27 11:38
@alp@mathstodon.xyz Hah! Maybe it's because my website serves only http, not https? Or because your browser considers anything a security risk if it has an unknown extension?