trabalho de engenharia
projetos que existem para estudar os problemas por trás dos frameworks: concorrência, rede, consistência, persistência, corretude financeira e estado distribuído. cada um tem um estudo de caso com o problema, o desenho, as decisões e os trade-offs.
um servidor de cache em memória implementado três vezes, a partir do mesmo desenho, para medir o que a linguagem realmente muda.
uma blockchain de prova de conceito usada como veículo para estudar estado distribuído, persistência e integridade.
em desenvolvimento inicial
uma razão contábil de partidas dobradas: um diário append-only de fatos econômicos imutáveis, e os problemas de corretude que vêm junto.