💾 Archived View for dcreager.net › 2023 › 07 › 20-reading-log.gmi captured on 2024-06-16 at 12:24:25. Gemini links have been rewritten to link to archived content

-=-=-=-=-=-=-

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 _recently_, though it was very front of mind with the network analysis sensor we wrote at RedJack.

[Cutler2023] Stream types