corpus.blog
41554 blogs · [ { "id": "01a08785-b10b-7209-bb51-7ef40a04a1db", "title": "Settling a 2006 conjecture on Huffman codes.", "url": "https://iczelia.net/blog/settling-a-2006-conjecture-on-huffman-codes/", "published_at": "2026-07-13T00:00:00+00:00" }, { "id": "01a08785-b10c-73a9-86c9-1adfd5b65972", "title": "On arena allocators", "url": "https://iczelia.net/blog/on-arena-allocators/", "published_at": "2026-06-22T00:00:00+00:00" }, { "id": "01a08785-b10c-73a9-86c9-1adfd5bcccca", "title": "Fast and succinct random access into the Fibonacci Sequence.", "url": "https://iczelia.net/blog/fast-random-fib/", "published_at": "2026-06-08T00:00:00+00:00" }, { "id": "01a08785-b10c-73a9-86c9-1adfd605307f", "title": "Webmaster! It's time to serve slop to AI crawlers.", "url": "https://iczelia.net/blog/webmaster-it-s-time-to-serve-slop-to-ai-crawlers/", "published_at": "2026-05-27T00:00:00+00:00" }, { "id": "01a08785-b10c-73a9-86c9-1adfd65905cc", "title": "Leap year theorem: The proof via Lean4.", "url": "https://iczelia.net/blog/leap-year-theorem-the-proof-via-lean4/", "published_at": "2026-05-26T00:00:00+00:00" }, { "id": "01a08785-b10c-73a9-86c9-1adfd7525dc7", "title": "Numerically approximating Exp-Minus-Log is surprisingly easy.", "url": "https://iczelia.net/blog/eml-approx/", "published_at": "2026-04-17T00:00:00+00:00" }, { "id": "01a08785-b10c-73a9-86c9-1adfd83d40d2", "title": "Fixing a 20-year-old bug in Enlightenment E16.", "url": "https://iczelia.net/blog/e16-20-year-old-bug/", "published_at": "2026-04-15T00:00:00+00:00" }, { "id": "01a08785-b10c-73a9-86c9-1adfd89eeecd", "title": "A no-bullshit introduction to groups: Part 1.", "url": "https://iczelia.net/blog/groups/", "published_at": "2026-01-11T00:00:00+00:00" }, { "id": "01a08785-b10c-73a9-86c9-1adfd8d9b84f", "title": "This game is a single 13 KiB file that runs on Windows, Linux and in the Browser.", "url": "https://iczelia.net/blog/snake-polyglot/", "published_at": "2026-01-11T00:00:00+00:00" }, { "id": "01a08785-b10c-73a9-86c9-1adfd90d1bb3", "title": "Matcher Redux: Demystifying Regular Expressions (Part 1: Exact Matching I)", "url": "https://iczelia.net/blog/matching1/", "published_at": "2025-12-31T00:00:00+00:00" }, { "id": "01a08785-b10c-73a9-86c9-1adfd9d80116", "title": "Chernobyl - How It Was.", "url": "https://iczelia.net/blog/how-it-was/", "published_at": "2025-11-17T00:00:00+00:00" }, { "id": "01a08785-b10c-73a9-86c9-1adfda41b7b1", "title": "Signal Messenger: Embrace, extend, extinguish", "url": "https://iczelia.net/blog/signal-embrace-extinguish/", "published_at": "2025-09-21T00:00:00+00:00" }, { "id": "01a08785-b10c-73a9-86c9-1adfdaa586bd", "title": "Should you become a computer scientist?", "url": "https://iczelia.net/blog/career/", "published_at": "2025-08-22T00:00:00+00:00" }, { "id": "01a08785-b10c-73a9-86c9-1adfdaee1722", "title": "The Sophie Germain Prime Project", "url": "https://iczelia.net/blog/sophie-germain-project/", "published_at": "2025-05-29T00:00:00+00:00" }, { "id": "01a08785-b10c-73a9-86c9-1adfdbbfc50b", "title": "A Survey of Results on the Blum-Blum-Shub Pseudorandom Number Generator", "url": "https://iczelia.net/blog/bbs-survey/", "published_at": "2025-05-28T00:00:00+00:00" }, { "id": "01a08785-b10c-73a9-86c9-1adfdc0adf6c", "title": "Why do I find Rust inadequate for codecs?", "url": "https://iczelia.net/blog/rust-codecs/", "published_at": "2025-02-13T00:00:00+00:00" }, { "id": "01a08785-b10c-73a9-86c9-1adfdc2f27be", "title": "Radix sort and 32-bit IEEE754 floating point numbers.", "url": "https://iczelia.net/blog/radix-float/", "published_at": "2024-11-15T00:00:00+00:00" }, { "id": "01a08785-b10c-73a9-86c9-1adfdcbba8fb", "title": "A review of my new Model F keyboard.", "url": "https://iczelia.net/blog/modelf-review/", "published_at": "2024-11-09T00:00:00+00:00" }, { "id": "01a08785-b10c-73a9-86c9-1adfdcd76703", "title": "Measuring Constant Overhead", "url": "https://iczelia.net/blog/constant-overhead/", "published_at": "2024-06-15T00:00:00+00:00" }, { "id": "01a08785-b10c-73a9-86c9-1adfdd8eff2d", "title": "Lempel-Ziv factorisation for file type detection.", "url": "https://iczelia.net/blog/lz-ent-detection/", "published_at": "2024-05-05T00:00:00+00:00" }, { "id": "01a08785-b10c-73a9-86c9-1adfde5aba81", "title": "jcram: a principled approach to code golf.", "url": "https://iczelia.net/blog/jcram-golf/", "published_at": "2024-02-24T00:00:00+00:00" }, { "id": "01a08785-b10c-73a9-86c9-1adfdf01cb29", "title": "Triangulation of convex polygons", "url": "https://iczelia.net/blog/polygon-triangulation/", "published_at": "2024-02-23T00:00:00+00:00" }, { "id": "01a08785-b10c-73a9-86c9-1adfdfe34ab6", "title": "An alternative derivation of Shannon entropy.", "url": "https://iczelia.net/blog/shannon-deriv/", "published_at": "2024-02-17T00:00:00+00:00" }, { "id": "01a08785-b10c-73a9-86c9-1adfe047d97d", "title": "Rice and Rice-Shapiro theorems.", "url": "https://iczelia.net/blog/rice-shapiro/", "published_at": "2024-02-16T00:00:00+00:00" }, { "id": "01a08785-b10c-73a9-86c9-1adfe0f2aac1", "title": "The link between Fibonacci numbers and primes", "url": "https://iczelia.net/blog/fibonacci-primes/", "published_at": "2024-02-16T00:00:00+00:00" }, { "id": "01a08785-b10c-73a9-86c9-1adfe128f89c", "title": "Heaviside's partial fraction decomposition method.", "url": "https://iczelia.net/blog/heaviside-pfd/", "published_at": "2023-11-01T00:00:00+00:00" }, { "id": "01a08785-b10c-73a9-86c9-1adfe1f29718", "title": "An Antique Steam Engine", "url": "https://iczelia.net/blog/ancient-engine/", "published_at": "2023-10-04T00:00:00+00:00" }, { "id": "01a08785-b10c-73a9-86c9-1adfe27ef240", "title": "Dan Baronet's Microwave", "url": "https://iczelia.net/blog/dan-baronets-microwave/", "published_at": "2023-10-04T00:00:00+00:00" }, { "id": "01a08785-b10c-73a9-86c9-1adfe35bfa7a", "title": "Journey to the Center of the Lambda Calculus", "url": "https://iczelia.net/blog/lc-apl/", "published_at": "2023-08-13T00:00:00+00:00" }, { "id": "01a08785-b10c-73a9-86c9-1adfe3b98576", "title": "The nested means problem.", "url": "https://iczelia.net/blog/avg/", "published_at": "2023-08-13T00:00:00+00:00" } ] posts Claim your blog
Back to iczelia.net
Blog · corpus.blog/blogs/iczelia.net/posts

iczelia.net

iczelia.net

2026

Settling a 2006 conjecture on Huffman codes.original ↗
13 Jul 2026
On arena allocatorsoriginal ↗
22 Jun 2026
Fast and succinct random access into the Fibonacci Sequence.original ↗
8 Jun 2026
Webmaster! It's time to serve slop to AI crawlers.original ↗
27 May 2026
Leap year theorem: The proof via Lean4.original ↗
26 May 2026
Numerically approximating Exp-Minus-Log is surprisingly easy.original ↗
17 Apr 2026
Fixing a 20-year-old bug in Enlightenment E16.original ↗
15 Apr 2026
A no-bullshit introduction to groups: Part 1.original ↗
11 Jan 2026
This game is a single 13 KiB file that runs on Windows, Linux and in the Browser.original ↗
11 Jan 2026

2025

Matcher Redux: Demystifying Regular Expressions (Part 1: Exact Matching I)original ↗
31 Dec 2025
Chernobyl - How It Was.original ↗
17 Nov 2025
Signal Messenger: Embrace, extend, extinguishoriginal ↗
21 Sept 2025
Should you become a computer scientist?original ↗
22 Aug 2025
The Sophie Germain Prime Projectoriginal ↗
29 May 2025
A Survey of Results on the Blum-Blum-Shub Pseudorandom Number Generatororiginal ↗
28 May 2025
Why do I find Rust inadequate for codecs?original ↗
13 Feb 2025

2024

Radix sort and 32-bit IEEE754 floating point numbers.original ↗
15 Nov 2024
A review of my new Model F keyboard.original ↗
9 Nov 2024
Measuring Constant Overheadoriginal ↗
15 Jun 2024
Lempel-Ziv factorisation for file type detection.original ↗
5 May 2024
jcram: a principled approach to code golf.original ↗
24 Feb 2024
Triangulation of convex polygonsoriginal ↗
23 Feb 2024
An alternative derivation of Shannon entropy.original ↗
17 Feb 2024
Rice and Rice-Shapiro theorems.original ↗
16 Feb 2024
The link between Fibonacci numbers and primesoriginal ↗
16 Feb 2024

2023

Heaviside's partial fraction decomposition method.original ↗
1 Nov 2023
An Antique Steam Engineoriginal ↗
4 Oct 2023
Dan Baronet's Microwaveoriginal ↗
4 Oct 2023
Journey to the Center of the Lambda Calculusoriginal ↗
13 Aug 2023
The nested means problem.original ↗
13 Aug 2023