Personal blog on software development, game moddinghttps://jadon.io/https://jadon.io/blog/6000-stars-on-github/https://jadon.io/blog/6000-stars-on-github/I best a hacker at getting internet pointsTue, 16 Jun 2015 00:00:00 GMTjavahttps://jadon.io/blog/adt/https://jadon.io/blog/adt/What are Algebraic Data Types and what can we do with them?Tue, 14 Apr 2020 00:00:00 GMTplthttps://jadon.io/blog/erasable-dependent-types/https://jadon.io/blog/erasable-dependent-types/Erasing irrelevant information while retaining the verification of dependent types.Wed, 11 Aug 2021 00:00:00 GMTplthttps://jadon.io/blog/escape-analysis/https://jadon.io/blog/escape-analysis/Description of an algorithm to replace Heap Allocations with Stack Allocations.Mon, 04 Dec 2017 00:00:00 GMTplthttps://jadon.io/blog/golfscript/https://jadon.io/blog/golfscript/Getting started in CodeGolf with the GolfScript language.Tue, 23 Jun 2015 00:00:00 GMTcodegolfhttps://jadon.io/blog/previous-languages/https://jadon.io/blog/previous-languages/I've made a lot of toy language projects, here's a list of them!Tue, 12 Jun 2018 00:00:00 GMTpltcodegolfhttps://jadon.io/blog/pytorch-rust/https://jadon.io/blog/pytorch-rust/Building a Mistral-like GPT implementation using Rust and PyTorch.Fri, 26 Apr 2024 00:00:00 GMTmlrusthttps://jadon.io/blog/roc-optimization/https://jadon.io/blog/roc-optimization/My graduate research project for this year.Sat, 26 Nov 2022 00:00:00 GMTmlhttps://jadon.io/blog/row-polymorphism/https://jadon.io/blog/row-polymorphism/This obscure class of polymorphism acts as an interesting replacement for subtyping.Wed, 15 Apr 2020 00:00:00 GMTplthttps://jadon.io/blog/ssf2-reverse-engineering/https://jadon.io/blog/ssf2-reverse-engineering/A new version of Super Smash Flash 2 has obfuscated some things!Fri, 24 Aug 2018 00:00:00 GMTmoddinghttps://jadon.io/blog/type-theory/https://jadon.io/blog/type-theory/What is type theory and how is it used?Mon, 25 Nov 2019 00:00:00 GMTplthttps://jadon.io/blog/zig-pokemon-gba/https://jadon.io/blog/zig-pokemon-gba/Decompilation of Pokemon FireRed for the GBA with Zig support.Wed, 08 May 2024 00:00:00 GMTzigmodding