Thanks. The Shen language takes this to its logical conclusion (pun intended) and implements a fully Turing complete type system. Types are specified with sequents which are essentially Prolog relations using a slightly…
Their road map to denser storage, TB/cm vs GB/cm, mentions tapes. The cartridges make sense since they're essentially cd-roms, CeraTape on the other hand with 10 nanometer coating seems like magic. > Meanwhile, CeraTape…
Ceramics are notoriously brittle so it will be interesting to see how they make ceramic tapes.
It's just a demonstration of how to encode the transition rules for Conway's game of life as a set of types, aka logical constraints. TypeScript's type system has unification, same as in Prolog, and since Prolog is…
Any sufficiently advanced type system is indistinguishable from Prolog.
Thanks. The Shen language takes this to its logical conclusion (pun intended) and implements a fully Turing complete type system. Types are specified with sequents which are essentially Prolog relations using a slightly…
Their road map to denser storage, TB/cm vs GB/cm, mentions tapes. The cartridges make sense since they're essentially cd-roms, CeraTape on the other hand with 10 nanometer coating seems like magic. > Meanwhile, CeraTape…
Ceramics are notoriously brittle so it will be interesting to see how they make ceramic tapes.
It's just a demonstration of how to encode the transition rules for Conway's game of life as a set of types, aka logical constraints. TypeScript's type system has unification, same as in Prolog, and since Prolog is…
Any sufficiently advanced type system is indistinguishable from Prolog.