← Feed @Andrev@types.pl 2026-04-26 15:16 UTC As in, proving things we know are true but are necessary for people to take the work seriously Replies (1) @ohad@mathstodon.xyz 2026-04-26 15:31 @Andrev ah, rituals Open ##1721955