About
Hi, I am Hugo, I graduated with a Master's in Programming Technologies at the University of Utrecht in 2023. On this blog I share things I've learned from coding projects that I found interesting. This can range from very technical depth about the theory behind something, to smart decision making and creating a maintainable project. My interest lie generally in anything GPU related, writing efficient code, and a sprinkle of functional programming on top.
I have also dabled by the field of cyber security and spent a healthy amount of time on Hack the Box.
I am currently employed at Channable as a Haskell Software Engineer.
Here are a couple of ways you can reach me:
- Send an email to hpeters1024 <at> gmail.com. Don't forget to include your public key ;)
Latest posts
Wrestling with exponential compile times in GHC
Jun 09 2024
Cracking the Cryptic (with Z3 and Rust)
Apr 28 2024
MADS
Oct 09 2022
Voronoi shading the web
Sep 18 2022
$ is the wrong way around (sometimes)
Sep 05 2022
3d normals are 2.0000001d
Jun 05 2022
Statically Typed Lambda Calculus as an Embedded Language
Jan 31 2022
Solving newspaper puzzles with SMT solvers
Jan 05 2022
Higher Kinded Types in Rust
Dec 03 2021
Demystifying the state monad
Nov 04 2021
Functional in the wild: typeclasses
Jul 03 2021
Sudoku solving
Apr 04 2021
Who still uses ReaderT
Mar 18 2021
Shining light on a die
Mar 12 2021
The kernel is on fire
Sep 04 2020
A Hacking Bootcamp
Jul 22 2020
A Boomerang Proof
Jun 05 2020
The fun of playing with shaders
May 05 2020
C# can be functional pt2: Lists are Monads
Jan 04 2020
C# can be functional pt1: The Maybe Monad
Dec 15 2019
The Knight of Hamilton
Dec 02 2019
Making a blog website
Nov 01 2019
External posts
Postgres performance lessons at Channable - Part 1
Postgres performance lessons at Channable - Part 2