Systems Architect. Focused on verifiable reliability and formal logic. Building high-integrity systems where failure is not an option. Proof over promise.
- netherlands
-
23:27
(UTC -12:00)
Highlights
- Pro
Popular repositories Loading
-
bitnet-kv260
bitnet-kv260 PublicA 2B language model on a Kria KV260: every ternary matrix product streamed through the FPGA fabric, 16.29 tokens a second against 2.77 for bitnet.cpp on the same board's own processors, at a fifth …
Verilog 2
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.




