Week 27 - 2023

Week 27 - 2023¶

Done¶

• Finish SExpr converter on Agda interfaces
• Migrate Converter to use a monad
• Get back into groove
• Web scraper for my bank
• Psychiatrist appointment
• Apt search
  • Inquired about 14
  • Toured 3
• Leetcode (1 hard)

TODO¶

The billion dollar problem¶

• Process isolation
  • An entire industry of ensuring programs do what they are told
  • The process boundary is the primary way to ensure code behaves correctly
  • Good
    • Fault tolerance
    • Non-breaking changes
    • Portability
  • Bad
    • Context Switching
    • Communication overhead
    • Complexity
• Static analysis
  • Linters
  • SAST tools
  • Compilers

WASM 3.0¶

• User-defined optimization
• Proven safety