ModelMiser¶
Hardware architecture, type theory, and the spaces between.
Writing¶
Recent posts from the blog:
- Why the Kaleidoscope Looks Symmetric When It Isn't — scale-space filtration and the gap between math and perception
- A Fourth Point in the SIMT Divergence Design Space — auto-diverging branches on a hobbyist FPGA
Software¶
| Project | What it is |
|---|---|
| mm-warp | Native Wayland remote desktop for COSMIC — 4K H.264 streaming |
| mm-dream | GPU-accelerated kaleidoscope screensaver — WGSL + libcosmic |
Research¶
| Project | What it is |
|---|---|
| warp-core | Soft GPU on ECP5 — 4-warp SIMT with virtual peripherals |
| warp-types | Linear typestate for GPU divergence — compile-time shuffle safety |