corpus.blog
41554 blogs · [ { "id": "01a08784-93f9-70cb-8b40-a90f4d738e24", "title": "Monalis, stylized image compression with simulated annealing", "url": "https://hugopeters.me/posts/23", "published_at": "2026-02-13T15:30:22+00:00" }, { "id": "01a08784-93f9-70cb-8b40-a90f4e12107f", "title": "Wrestling with exponential compile times in GHC", "url": "https://hugopeters.me/posts/22", "published_at": "2024-06-09T16:41:02+00:00" }, { "id": "01a08784-93f9-70cb-8b40-a90f4e9fd716", "title": "Cracking the Cryptic (with Z3 and Rust)", "url": "https://hugopeters.me/posts/21", "published_at": "2024-04-28T16:35:22+00:00" }, { "id": "01a08784-93f9-70cb-8b40-a90f4f175a6d", "title": "MADS", "url": "https://hugopeters.me/posts/20", "published_at": "2022-10-09T20:06:48+00:00" }, { "id": "01a08784-93f9-70cb-8b40-a90f4fed06d2", "title": "Voronoi shading the web", "url": "https://hugopeters.me/posts/19", "published_at": "2022-09-18T17:08:40+00:00" }, { "id": "01a08784-93f9-70cb-8b40-a90f505b1ca8", "title": "$ is the wrong way around (sometimes)", "url": "https://hugopeters.me/posts/18", "published_at": "2022-09-05T19:22:12+00:00" }, { "id": "01a08784-93f9-70cb-8b40-a90f514d7a88", "title": "3d normals are 2.0000001d", "url": "https://hugopeters.me/posts/17", "published_at": "2022-06-05T22:51:27+00:00" }, { "id": "01a08784-93f9-70cb-8b40-a90f523cf5ae", "title": "Statically Typed Lambda Calculus as an Embedded Language", "url": "https://hugopeters.me/posts/16", "published_at": "2022-01-31T15:27:26+00:00" }, { "id": "01a08784-93f9-70cb-8b40-a90f5304722b", "title": "Solving newspaper puzzles with SMT solvers", "url": "https://hugopeters.me/posts/15", "published_at": "2022-01-05T11:12:48+00:00" }, { "id": "01a08784-93f9-70cb-8b40-a90f539f4274", "title": "Higher Kinded Types in Rust", "url": "https://hugopeters.me/posts/14", "published_at": "2021-12-03T21:54:06+00:00" }, { "id": "01a08784-93f9-70cb-8b40-a90f548c86d1", "title": "Demystifying the state monad", "url": "https://hugopeters.me/posts/13", "published_at": "2021-11-04T16:49:30+00:00" }, { "id": "01a08784-93f9-70cb-8b40-a90f55642ff6", "title": "Functional in the wild: typeclasses", "url": "https://hugopeters.me/posts/12", "published_at": "2021-07-03T00:31:18+00:00" }, { "id": "01a08784-93f9-70cb-8b40-a90f562f530a", "title": "Sudoku solving", "url": "https://hugopeters.me/posts/11", "published_at": "2021-04-04T22:07:00+00:00" }, { "id": "01a08784-93f9-70cb-8b40-a90f56ecee3d", "title": "Who still uses ReaderT", "url": "https://hugopeters.me/posts/10", "published_at": "2021-03-18T22:33:53+00:00" }, { "id": "01a08784-93f9-70cb-8b40-a90f57ce943d", "title": "Shining light on a die", "url": "https://hugopeters.me/posts/9", "published_at": "2021-03-12T21:12:31+00:00" }, { "id": "01a08784-93f9-70cb-8b40-a90f58be70bc", "title": "The kernel is on fire", "url": "https://hugopeters.me/posts/8", "published_at": "2020-09-04T23:03:03+00:00" }, { "id": "01a08784-93f9-70cb-8b40-a90f594e2785", "title": "A Hacking Bootcamp", "url": "https://hugopeters.me/posts/7", "published_at": "2020-07-22T21:09:25+00:00" }, { "id": "01a08784-93f9-70cb-8b40-a90f59d46190", "title": "A Boomerang Proof", "url": "https://hugopeters.me/posts/6", "published_at": "2020-06-05T14:43:14+00:00" }, { "id": "01a08784-93f9-70cb-8b40-a90f5ac7b6aa", "title": "The fun of playing with shaders", "url": "https://hugopeters.me/posts/5", "published_at": "2020-05-05T11:08:23+00:00" }, { "id": "01a08784-93f9-70cb-8b40-a90f5acaa883", "title": "C# can be functional pt2: Lists are Monads", "url": "https://hugopeters.me/posts/4", "published_at": "2020-01-04T18:59:02+00:00" }, { "id": "01a08784-93f9-70cb-8b40-a90f5b3aa5b5", "title": "C# can be functional pt1: The Maybe Monad", "url": "https://hugopeters.me/posts/3", "published_at": "2019-12-15T23:27:25+00:00" }, { "id": "01a08784-93f9-70cb-8b40-a90f5b8d4895", "title": "The Knight of Hamilton", "url": "https://hugopeters.me/posts/2", "published_at": "2019-12-02T19:11:30+00:00" }, { "id": "01a08784-93f9-70cb-8b40-a90f5c024a94", "title": "Making a blog website", "url": "https://hugopeters.me/posts/1", "published_at": "2019-11-01T17:22:20+00:00" } ] posts Claim your blog
Back to hugopeters.me
Blog · corpus.blog/blogs/hugopeters.me/posts

hugopeters.me

hugopeters.me

2026

Monalis, stylized image compression with simulated annealingoriginal ↗
13 Feb 2026

2024

Wrestling with exponential compile times in GHCoriginal ↗
9 Jun 2024
Cracking the Cryptic (with Z3 and Rust)original ↗
28 Apr 2024

2022

MADSoriginal ↗
9 Oct 2022
Voronoi shading the weboriginal ↗
18 Sept 2022
$ is the wrong way around (sometimes)original ↗
5 Sept 2022
3d normals are 2.0000001doriginal ↗
5 Jun 2022
Statically Typed Lambda Calculus as an Embedded Languageoriginal ↗
31 Jan 2022
Solving newspaper puzzles with SMT solversoriginal ↗
5 Jan 2022

2021

Higher Kinded Types in Rustoriginal ↗
3 Dec 2021
Demystifying the state monadoriginal ↗
4 Nov 2021
Functional in the wild: typeclassesoriginal ↗
3 Jul 2021
Sudoku solvingoriginal ↗
4 Apr 2021
Who still uses ReaderToriginal ↗
18 Mar 2021
Shining light on a dieoriginal ↗
12 Mar 2021

2020

The kernel is on fireoriginal ↗
4 Sept 2020
A Hacking Bootcamporiginal ↗
22 Jul 2020
A Boomerang Prooforiginal ↗
5 Jun 2020
The fun of playing with shadersoriginal ↗
5 May 2020
C# can be functional pt2: Lists are Monadsoriginal ↗
4 Jan 2020

2019

C# can be functional pt1: The Maybe Monadoriginal ↗
15 Dec 2019
The Knight of Hamiltonoriginal ↗
2 Dec 2019
Making a blog websiteoriginal ↗
1 Nov 2019