aviso: o site está em processo de internacionalização. você ainda pode encontrar erros de digitação ou trechos não traduzidos.

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.

agnirust · go · kotlin

um servidor de cache em memória implementado três vezes, a partir do mesmo desenho, para medir o que a linguagem realmente muda.

ler o estudo de caso ›código

uma blockchain de prova de conceito usada como veículo para estudar estado distribuído, persistência e integridade.

ler o estudo de caso ›código

tallyrust

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.

ler o estudo de caso ›código