Aurel300 37 karma 8y 4m on HN HN profile →
Aurea [she/her]

PhD student in Rust verification at ETH Zurich. Rust enthusiast, gamejammer, CTF player and author, occasionally drawing surrealist pictures.

https://www.thenet.sk/
Coverage
We've seen 1 of ~12 submissions
Full eval: 0 Lite-only: 0 Unevaluated: 1
1 stories
1. Show HN: A virtual machine in the Rust type system (github.com)
2 points by Aurel300 9 hours ago | 0 comments | skipped