Post #2735448
2026-04-27 11:38 UTC
@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?
Replies (1)
-
@alp@mathstodon.xyz 2026-04-27 11:54
@byorgey@mathstodon.xyz I suspect the latter yes. But I found the irony of considering Agda code dangerous delicious =)