>Try clicking the image above. Calamity will come your way<

_{If you think that was cool, a ⭐ on readme-onclick-animation (the thing that makes a README image clickable) would genuinely make my day.
And if you're hiring, my resume is one badge away 👇 — I need to pay my bills.}

🔨 Some projects I built

• readme-onclick-animation — the reason the image up there can do that.
• factor_rl — Some research I was doing with AI, it more about if I can find a way to only give agent training data on degree <= 4 and make it actually solve larger degree. You can watch it think, one step at a time.
• dafny-verify-loop — Some small projects about using a more specification to force AI to write an algorithm that we know will follows the specification.
• CAT — Convoluted Agent Trying to code. Just mostly figure out if I can connect multiple agents with prompt and see how goods it build. It definitely can not build a C-compiler thou.
• risc-v-logism — Sided project. Just interested if to learn the architecture of RISC-V CPU.

🎯 Currently

Finishing that CPU on my FPGA. The only component still missing is money.