← Feed @ohad@mathstodon.xyz 2026-04-29 17:52 UTC @maxsnew You can also derive it from descent data, but I think that's more complicated and I have a substantial technical debt to unpack there. Replies (0) No replies.