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

• 5 years ago
• 3
• 6m:22s
• 3130

Tauchain: CSPs and Finite Domain Constraint Solvers

• 5 years ago
• 2
• 1m:41s
• 1529

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

• 5 years ago
• 3
• 3m:54s
• 3078

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

• 5 years ago
• 1
• 4m:57s
• 2647

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

Tau Meta Language and the notion of Fixed Point

• 5 years ago
• 0
• 1m:20s
• 2570

More on partial evaluation

• 5 years ago
• 0
• 5m:7s
• 1408

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