Show HN: Cocytus – an esolang where freezes after N accesses

Category: devtools

Tags: esoteric-language, compiler, self-hosting, conway-games, raster-graphics

Score: 6.3/10 (Innovation: 8, Technical: 8, Documentation: 7, Utility: 2)

Cocytus is a C-based esoteric programming language inspired by Malbolge and Dante's Inferno, featuring exact dyadic rational arithmetic, finite Conway cuts, deterministic raster graphics, reversible byte transformations, and a novel 'freezing' memory model where addresses become immutable after a set number of accesses. It also demonstrates a self-hosting compiler fixed point achieved without quines. The project is technically ambitious and creatively combines formal arithmetic, esoteric language design, and compiler self-verification, but its practical utility is limited to education and esolang enthusiasts.

Target audience: esolang enthusiasts, compiler researchers, and programmers interested in formal methods and self-verification

Repository: https://github.com/fireside25a-beep/Cocytus · C · Apache-2.0 · 1 stars

View on Hacker News