Tauchain: Possible technical and economic implications of SOL, KRR, controlled Natural Languages, and Automatic Algorithm Generation.

• 4 years ago
• 3
• 6m:22s
• 1389

Tauchain: CSPs and Finite Domain Constraint Solvers

• 4 years ago
• 2
• 1m:41s
• 649

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

• 4 years ago
• 3
• 3m:54s
• 1286

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

• 4 years ago
• 1
• 4m:57s
• 1083

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

Tau Meta Language and the notion of Fixed Point

• 4 years ago
• 0
• 1m:20s
• 1029

More on partial evaluation

• 4 years ago
• 0
• 5m:7s
• 609

More on partial evaluation - How does partial evaluation work and why is it important? This article provides a brief explanation on that.