Hugo's Blog

Using webgpu compute shaders to run an highly optimized simulated annealing process to generate cool images

How type families can easily generate exponetially large types and how to fix it.

Solving a crazy sudoku like puzzle using the Z3 bindings in Rust

Making a math search problem 5x as fast and then 1000x as fast

Creating a simple 2d shader with Rust and Bevy, and compiling it to the web

Reverse application in functional languages is underappreciated

How to compress a 3d normal to 2 floats for faster raytracing

Using type level programming to implement statically typed lambda calculus with strong correctness guarantees

Letting Z3 do the heavy lifting to solve a frustrating puzzle

Learning a new language: Hello World, prime numbers, then monads

Rediscovering haskell's state monad from scratch

How C++ template can be (and are) used to create typclasses

Solving sudoku's with an ILP model

How haskell's ImplicitParams extension could deprecate ReaderT

Pathtracing or how I learned to stop worrying and love the nested integral

A full tutorial on making a fire effect using a kernel on the gpu

Challenge the Cyber bootcamp 2020, a first hand account

Solving and proofing a children's math puzzle

Why leveraging the GPU to serve your imagination is utterly enjoyable

An experiment to see if a list can be implemented as a monad in C#

Piping the power of haskell to the world of C#: Theorists' wet dream or awesome idea?

An epic tale of a struggling knight, tasked with finding a 'Knight's Tour'

Creating a static html blog managed with a python CLI