💾 Archived View for dcreager.net › 2023 › 07 › 20-reading-log.gmi captured on 2023-07-22 at 16:16:17. Gemini links have been rewritten to link to archived content
-=-=-=-=-=-=-
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.