iczelia iczelia.net

Webmaster! It's time to serve slop to AI crawlers.

iczelia.net·1w·Hacker News

Leap year theorem: The proof via Lean4.

iczelia.net·1w

Numerically approximating Exp-Minus-Log is surprisingly easy.

iczelia.net·7w

Fixing a 20-year-old bug in Enlightenment E16.

iczelia.net·7w

A no-bullshit introduction to groups: Part 1.

iczelia.net·21w

This game is a single 13 KiB file that runs on Windows, Linux and in the Browser.

iczelia.net·21w

Matcher Redux: Demystifying Regular Expressions (Part 1: Exact Matching I)

iczelia.net·22w

Chernobyl - How It Was.

iczelia.net·29w

Signal Messenger: Embrace, extend, extinguish

iczelia.net·37w

Should you become a computer scientist?

iczelia.net·41w

The Sophie Germain Prime Project

iczelia.net·53w

A Survey of Results on the Blum-Blum-Shub Pseudorandom Number Generator

iczelia.net·53w

Why do I find Rust inadequate for codecs?

iczelia.net·68w

Radix sort and 32-bit IEEE754 floating point numbers.

iczelia.net·81w

A review of my new Model F keyboard.

iczelia.net·82w

Measuring Constant Overhead

iczelia.net·103w

Lempel-Ziv factorisation for file type detection.

iczelia.net·109w

jcram: a principled approach to code golf.

iczelia.net·119w

Triangulation of convex polygons

iczelia.net·119w

An alternative derivation of Shannon entropy.

iczelia.net·120w

Log in to enable infinite scrolling