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. An explanation of higher order unification

2. Algebraic dynamic programming

3. Γ ⊢ formal logic and type systems

4. Getting Agda code export to work for my blog

5. Guile scheme's syntax parameters

6. Implementing algebraic effects through typeclass prolog

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

8. Dataset preprocessing with Guix scripts

9. Type level programming in julia

10. Interfaces in C using `container_of`

11. Well scoped lambda terms

Author: Justin Veilleux