← Feed @penguin42@mastodon.org.uk Post #2772971 2026-05-13 17:43 UTC @jonobennett@mastodon.me.uk @christianp@mathstodon.xyz Yes, I just wish people would use 'faster' or 'more efficient' instead. Replies (0) No replies.