14 followers
@principle_k I have seen these come up at least twice in papers (not necessarily with that name). The partial stream example given here is one of them https://t.co/jeJwTwGRIf. The other one I remember is https://t.co/WwiqShpLBI.
@principle_k I have seen these come up at least twice in papers (not necessarily with that name). The partial stream example given here is one of them https://t.co/jeJwTwGRIf. The other one I remember is https://t.co/WwiqShpLBI.
RT @jonathoda: @leastfixedpoint @arntzenius For a recent mind-stretching take see Ostermann's latest work: https://t.co/15qNMEy2op Feel lik…
@leastfixedpoint @arntzenius For a recent mind-stretching take see Ostermann's latest work: https://t.co/15qNMEy2op Feel like this is hinting at something deep we've been missing.