https://hugopeters.me GPU programming, functional programming, and efficient code. en Fri, 13 Feb 2026 15:30:22 +0000 https://hugopeters.me/posts/23 https://hugopeters.me/posts/23 Fri, 13 Feb 2026 15:30:22 +0000 Using webgpu compute shaders to run an highly optimized simulated annealing process to generate cool images https://hugopeters.me/posts/22 https://hugopeters.me/posts/22 Sun, 09 Jun 2024 16:41:02 +0000 How type families can easily generate exponetially large types and how to fix it. https://hugopeters.me/posts/21 https://hugopeters.me/posts/21 Sun, 28 Apr 2024 16:35:22 +0000 Solving a crazy sudoku like puzzle using the Z3 bindings in Rust https://hugopeters.me/posts/20 https://hugopeters.me/posts/20 Sun, 09 Oct 2022 20:06:48 +0000 Making a math search problem 5x as fast and then 1000x as fast https://hugopeters.me/posts/19 https://hugopeters.me/posts/19 Sun, 18 Sep 2022 17:08:40 +0000 Creating a simple 2d shader with Rust and Bevy, and compiling it to the web https://hugopeters.me/posts/18 https://hugopeters.me/posts/18 Mon, 05 Sep 2022 19:22:12 +0000 Reverse application in functional languages is underappreciated https://hugopeters.me/posts/17 https://hugopeters.me/posts/17 Sun, 05 Jun 2022 22:51:27 +0000 How to compress a 3d normal to 2 floats for faster raytracing https://hugopeters.me/posts/16 https://hugopeters.me/posts/16 Mon, 31 Jan 2022 15:27:26 +0000 Using type level programming to implement statically typed lambda calculus with strong correctness guarantees https://hugopeters.me/posts/15 https://hugopeters.me/posts/15 Wed, 05 Jan 2022 11:12:48 +0000 Letting Z3 do the heavy lifting to solve a frustrating puzzle https://hugopeters.me/posts/14 https://hugopeters.me/posts/14 Fri, 03 Dec 2021 21:54:06 +0000 Learning a new language: Hello World, prime numbers, then monads https://hugopeters.me/posts/13 https://hugopeters.me/posts/13 Thu, 04 Nov 2021 16:49:30 +0000 Rediscovering haskell's state monad from scratch https://hugopeters.me/posts/12 https://hugopeters.me/posts/12 Sat, 03 Jul 2021 00:31:18 +0000 How C++ template can be (and are) used to create typclasses https://hugopeters.me/posts/11 https://hugopeters.me/posts/11 Sun, 04 Apr 2021 22:07:00 +0000 Solving sudoku's with an ILP model https://hugopeters.me/posts/10 https://hugopeters.me/posts/10 Thu, 18 Mar 2021 22:33:53 +0000 How haskell's ImplicitParams extension could deprecate ReaderT https://hugopeters.me/posts/9 https://hugopeters.me/posts/9 Fri, 12 Mar 2021 21:12:31 +0000 Pathtracing or how I learned to stop worrying and love the nested integral https://hugopeters.me/posts/8 https://hugopeters.me/posts/8 Fri, 04 Sep 2020 23:03:03 +0000 A full tutorial on making a fire effect using a kernel on the gpu https://hugopeters.me/posts/7 https://hugopeters.me/posts/7 Wed, 22 Jul 2020 21:09:25 +0000 Challenge the Cyber bootcamp 2020, a first hand account https://hugopeters.me/posts/6 https://hugopeters.me/posts/6 Fri, 05 Jun 2020 14:43:14 +0000 Solving and proofing a children's math puzzle https://hugopeters.me/posts/5 https://hugopeters.me/posts/5 Tue, 05 May 2020 11:08:23 +0000 Why leveraging the GPU to serve your imagination is utterly enjoyable https://hugopeters.me/posts/4 https://hugopeters.me/posts/4 Sat, 04 Jan 2020 18:59:02 +0000 An experiment to see if a list can be implemented as a monad in C# https://hugopeters.me/posts/3 https://hugopeters.me/posts/3 Sun, 15 Dec 2019 23:27:25 +0000 Piping the power of haskell to the world of C#: Theorists' wet dream or awesome idea? https://hugopeters.me/posts/2 https://hugopeters.me/posts/2 Mon, 02 Dec 2019 19:11:30 +0000 An epic tale of a struggling knight, tasked with finding a 'Knight's Tour' https://hugopeters.me/posts/1 https://hugopeters.me/posts/1 Fri, 01 Nov 2019 17:22:20 +0000 Creating a static html blog managed with a python CLI