PinnedWriting a Minecraft Protocol implementation in KotlinA Minecraft Server/Protocol project is very cool to practice concurrency, and tooling stuff, which is very cool and useful nowadays. This…Dec 18, 20221Dec 18, 20221
GADT-like types in RustGADTs are a very powerful feature of Haskell, and I would like to have something similar in Rust. I think this is the closest thing to…Aug 11, 2023Aug 11, 2023
Rebasing old commits for trans peopleHello, my name is Gabrielle, and I’m a transgender person, so it does mean that I changed my name, so here I want to present some…Mar 8, 2023Mar 8, 2023
DefunctionalizationDefunctionalization is a compile-time step that reduces higher-order functions by a single first-order apply function. We can use Closure…Mar 6, 2023Mar 6, 2023