Yuri de Wit

FYI: while exploring this space, I read that Heptio has shifted focus away from ksonnet and the Github project will be archived. It is to be seen whether the community...

Kustomize is an interesting one because it takes any YAML and applies changes to it (there are some annoying limitations). From our limited experience, it does a great job mixing...

@arianvp FYI, [this](https://github.com/kubernetes/community/blob/master/contributors/design-proposals/architecture/declarative-application-management.md) page does an excellent job documenting the usecases and approaches.

In some cases, it is interesting to split the above into `Promise` and a `Future`. The former is the producer/implementor and the latter is the consummer/caller. This is, for instance,...

Yes, I see now! I think that I unconsciously was assuming that even though all Tasks are a Future, not necessarily all Futures are Tasks, if they can be represented...

Would [this](https://docs.racket-lang.org/guide/phases.html) be a relevant pointer to Racket's phase separation?

~~What is the meaning of a "signature" (.olean) described above?~~ I found the answer to my own question so removing to reduce the noise on the issue.

I am experiencing what I think is a similar behavior when trying to implement Delay and Force. Consider the following mwe: ``` (If 1 t f) = t (If 0...

@bsless Setting aside the lazy vs strict vs unbounded recursion issue, couldn't you achieve interleaving by switching the "rest of the stream" in MPlus: ``` ... (MPlus (List.cons x xs)...

Just dropping this [link](https://leanprover.github.io/lean4/doc/dev/debugging.html#tracing) from the Lean4 manual for the record.