[SUMMARY] Monthly Video Update - December 2020

@KilianIDNI . 1 year ago 1 0

Tauchain monthly update video January 2020

@Hadri . 2 years ago 2 0

Consensus Detection milestone has been achieved!

@Isar . 2 years ago 4 0

Tau-Chain December 2019 Monthly Update video

@Isar . 2 years ago 1 0

Tau Chain Monthly Video Update - November

@Isar . 2 years ago 0 0

Tauchain: More thoughts on software as formulas, as well as thoughts on human computation and program synthesis

DA
@danae . 2 years ago 3 0

Current Progress of Tau

@miaomiao . 2 years ago 3 0

Tau Chain Monthly Video Update - October

October video update including transcript

@Isar . 2 years ago 1 0

Tauchain is not easy to understand but here are some concepts to know to track Ohad's progress

Concepts discussed include parsing, partial evaluation, programming philosophy and fixed point logic.

DA
@danae . 2 years ago 1 0

Tau Meta Language and the notion of Fixed Point

DA
@danae . 2 years ago 0 0