header
Informal Systems
Budowanie zaufania do oprogramowania i pieniędzy. Budowanie @quint_lang, wykonywalnego języka specyfikacji oraz @cyclesmoney, protokołu rozliczeniowego dla efektywnego kapitałowo finansowania.