Show HN: Python DSL for system programming with manual memory and linear types (github.com)