-
Hi, Iโm @Izzimach
-
๐ Iโm interested in ...
- High-performance graphics
- Writing concurrent/multithreaded programs
- Ways to making sure concurrent/multithreaded programs don't deadlock or have race conditions
- Distributed consensus that doesn't involve crypto/NFTs
-
Iโm currently learning ...
- The Lean 4 theorem prover
- Model checking of programs
- Formal verification of (some) programs
-
๐๏ธ Iโm looking to collaborate on ...
- Model checking or verification of OpenGL/Vulkan programs
- Visualization of transition systems for Lean 4 in VS Code
-
๐ซ How to reach me ...
Mastodon: @[email protected]