Louis Wasserman

Iterative consumption of flows

15

This is the product of some library design work we've been doing at Google, and we wanted to take this upstream in case there was interest. The `Flow` API is...

Add a Flow.iterate method, allowing an Iterator-style traversal of flows.

9

Implements #3274.

Unstable context preservation invariant in Flow

4

Consider https://pl.kotl.in/g6pikDNtt: ``` val topFlow = flow { emit(1) delay(100L) emit(2) emit(3) delay(300L) emit(4) } val bottomFlow = flow { topFlow .onEach { emit(it) } .sample(periodMillis = 200) .collect {...

Since `finite-sequences` are there now, it might make sense, though I suppose `lists` currently only contains finite structures.

Analysis: series

4

I'm getting back to this and trying to build a good definition for _series_. Wikipedia uses the term "series" to refer only to infinite sums, and I buy that. I...

Large groups

8

Real addition will give us our first large group, but we have to define what that looks like. The biggest issue I see is the inverse laws: if `x :...

Formalize the notion of density in a strict poset

3

This will necessarily have to be different for large strict posets, too, which I'm not even sure exist yet?

Real analysis: continuity

2

Attempting to keep things general, I think we go: 1. Continuity of a function between metric spaces at a point (the function being defined in a neighborhood of the point)...