dcreager.net

↓

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

This page is also available via Gemini at gemini://dcreager.net/2023/07/20-reading-log.gmi