▽ ｴﾝﾋﾟﾂとｷｰﾎﾞｰﾄﾞ
●11/30 19:39
An Automattic Ruckus

▽craftyThoughts | Correctness -> Expressiveness -> Composability -> Testability -> Intention
●11/26 02:18
[1] The HoTT Book, §1.5. This is all math-speak. I will attempt to translate into programmer-speak.
Computation Rule: a.k.a. β-reduction to the theorists. Simply put, using the constructor in an expression.

▽Home | F# for fun and profit
●10/21 17:03
The Builder Pattern in F#

▽人工知能学会 (The Japanese Society for Artificial Intelligence)
●08/18 09:22
You don’t have permission to access this resource.

▽posts
●04/01 20:11
Tech Blog
FPTs: Pure Fungibility on the Blockchain - April 1, 2021