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.
- 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.
Finishing that CPU on my FPGA. The only component still missing is money.