Monalis, stylized image compression with simulated annealing
Using webgpu compute shaders to run an highly optimized simulated annealing process to generate cool images
Hugo's Blog
GPU programming, functional programming, and efficient code.
Latest posts
Wrestling with exponential compile times in GHC
How type families can easily generate exponetially large types and how to fix it.
Cracking the Cryptic (with Z3 and Rust)
Solving a crazy sudoku like puzzle using the Z3 bindings in Rust
MADS
Making a math search problem 5x as fast and then 1000x as fast
Voronoi shading the web
Creating a simple 2d shader with Rust and Bevy, and compiling it to the web
$ is the wrong way around (sometimes)
Reverse application in functional languages is underappreciated
3d normals are 2.0000001d
How to compress a 3d normal to 2 floats for faster raytracing
Statically Typed Lambda Calculus as an Embedded Language
Using type level programming to implement statically typed lambda calculus with strong correctness guarantees
Solving newspaper puzzles with SMT solvers
Letting Z3 do the heavy lifting to solve a frustrating puzzle
Higher Kinded Types in Rust
Learning a new language: Hello World, prime numbers, then monads
Demystifying the state monad
Rediscovering haskell's state monad from scratch
Functional in the wild: typeclasses
How C++ template can be (and are) used to create typclasses
Sudoku solving
Solving sudoku's with an ILP model
Who still uses ReaderT
How haskell's ImplicitParams extension could deprecate ReaderT
Shining light on a die
Pathtracing or how I learned to stop worrying and love the nested integral
The kernel is on fire
A full tutorial on making a fire effect using a kernel on the gpu
A Hacking Bootcamp
Challenge the Cyber bootcamp 2020, a first hand account
A Boomerang Proof
Solving and proofing a children's math puzzle
The fun of playing with shaders
Why leveraging the GPU to serve your imagination is utterly enjoyable
C# can be functional pt2: Lists are Monads
An experiment to see if a list can be implemented as a monad in C#
C# can be functional pt1: The Maybe Monad
Piping the power of haskell to the world of C#: Theorists' wet dream or awesome idea?
The Knight of Hamilton
An epic tale of a struggling knight, tasked with finding a 'Knight's Tour'
Making a blog website
Creating a static html blog managed with a python CLI