Archived tweet #9760 from the @leastfixedpoint Twitter Archive

@michaeljforster @coreload Thanks. I've found people.csail.mit.edu/gregs/ll1-disc… , but it looks like @avibryant was very active in the discussions so it could be hard to find the specific post you're thinking of. Avi, do you remember this at all?