Notes on programming, reverse engineering, languages, and machine learning.
Decompilation of Pokemon FireRed for the GBA with Zig support.
Building a Mistral-like GPT implementation using Rust and PyTorch.
My graduate research project for this year.
Erasing irrelevant information while retaining the verification of dependent types.
This obscure class of polymorphism acts as an interesting replacement for subtyping.
What are Algebraic Data Types and what can we do with them?
What is type theory and how is it used?
A new version of Super Smash Flash 2 has obfuscated some things!
I've made a lot of toy language projects, here's a list of them!
Description of an algorithm to replace Heap Allocations with Stack Allocations.
Getting started in CodeGolf with the GolfScript language.
I best a hacker at getting internet points