Show HN: Python DSL for system programming with manual memory and linear types · HackerTrans