demo.md

Demo

Overall Demo

• the spark
• proof of concept
• Conway's in C
• Conway's ported to WASM
• Rust code
• TypeScript Types Result
• working type

Testing Demo

• instruction checklist
• Add instruction implementation
• arithmetic
  • many more like this
• Tested many times!
  1. JavaScript Decimal
  2. TypeScript Decimal
  3. JavaScript Binary
  4. TypeScript Binary
  5. WASM
     • hand-written WASM
     • running the WASM
     • types result
     • testing the WASM
  6. entry
  7. Bonus: C version
     • compiled types
     • tests

Program Demo

• Dashboard
• the Loop instruction
  • (uncomment { kind: 'Halt', reason: 'in the name of the law!' },)
• the Loop instruction implementation
  • uncomment Debug
• instruction counter stop

Back to Conway

• evaluation entrypoint
• first result
• last result
• program finish
• Stats
  • individual run stats
  • program stats