• Possible designs for a more computable Finsupp
• Alternatives to computational models
• List of prior Zulip discussions
• List of relevant PRS