¶Reading log
2023-07-20
Heh, can you tell that the POPL submission deadline was last week?
Added [Cutler2023], which provides a typing framework for streaming data. I haven't done much with streaming data
2023-07-20
Heh, can you tell that the POPL submission deadline was last week?
Added [Cutler2023], which provides a typing framework for streaming data. I haven't done much with streaming data
This page is also available via Gemini at gemini://dcreager.net/2023/07/20-reading-log.gmi