Blog

Hi. I'm a computer science student interested in programming language theory, metaprogramming and mathematics. With this blog, I aim to write concise posts regarding concept, techniques and ideas that a(slightly) younger version of myself would have found in his zone of proximal development.

1. Algebraic dynamic programming

2. Γ ⊢ formal logic and type systems

3. Getting Agda code export to work for my blog

4. Guile scheme's syntax parameters

5. Implementing algebraic effects through typeclass prolog

6. Implementing `async`-`await` syntax using delimited continuations

7. Dataset preprocessing with Guix scripts

8. Type level programming in julia

9. Interfaces in C using `container_of`

10. An explanation of higher order unification

11. Well scoped lambda terms

Author: Justin Veilleux

Created: 2025-09-25 Thu 18:11