Near the start of january, after bumping into some ecosystem issues and lack of a personal support library while working on the 2024 Advent in Idris, I started working on a project to solve all of the Advent of Code problems from all the years in a single massive entirely literate Idris project and publish it as an mdbook. I'm calling it Idris example.
This might get me some looks, but I have pretty solidly decided to go in on using XChaCha20+Blake3 as the AE of choice for my future open source work. There are numerous reasons for this decision, but it mainly comes down to the desire for defense in depth, and a deep dislike of fundamental properties of polynomial MACs.
While C can provide "convenient" string formatting by having hideously unsafe variadics, and dynamic languages, like python, can do the same, many type safe languages, such as Rust, are forced to provide such functionality through the use of a macro. Dependently typed languages, like Idris, can provide a printf like formatting interface, while maintaining both memory and type safety, without the need for macros. We will explore this by implementing a simplified version of printf in Idris from scratch.
Near the start of january, after bumping into some ecosystem issues and lack of a personal support library while working on the 2024 Advent in Idris, I started working on a project to solve all of the Advent of Code problems from all the years in a single massive entirely literate Idris project and publish it as an mdbook. I'm calling it Idris example.
Due to a number of factors, including the uncertain future of the .io TLD, its growing negative connotations, and my development focus switching to lil baby languages like Idris, I've found myself in need of a new blog. I've been using Raku lately for personal tooling projects, and decided to go full gremlin mode and write a hack together a cursed static site generator in it.
Due to a number of factors, including the uncertain future of the .io TLD, its growing negative connotations, and my development focus switching to lil baby languages like Idris, I've found myself in need of a new blog. I've been using Raku lately for personal tooling projects, and decided to go full gremlin mode and write a hack together a cursed static site generator in it.