Chris Pressey
cpressey · any pronouns
- in your grocer's freezer
- https://catseye.tc/
-
Grease spot on the Information Superhighway
-
Joined on
2023-10-07 -
-
cpressey
Hi there, I'm Chris Pressey. Most of the things I make, I make under the auspices of Cat's Eye Technologies, so if you're looking for things I've made, you probably want to look at https://codeberg.org/catseye instead.
Cirriculum vitae
- 1993: Invented Befunge, an influential esolang
- 1995: Established Cat's Eye Technologies
- 1996: Coined the term "esoteric programming language", which over time was shortened to "esolang"
- 1994-2019: Invented dozens of other esolangs, some of which have also been influential (e.g. SMITH, Mascarpone)
- 2009: Wrote an award-winning video game
- 2010: Developed the practice of Test-Driven Language Design (TDLD)
- 2013: For the first NaNoGenMo, wrote The Swallows, an influential novel generator / generated novel
- 2014-2023: Wrote a number of other novel generators, some of which have also been notable (e.g. MARYSUE, Samovar)
- 2015: Wrote some award-winning 6502 code ... by hand
- 2022: Wrote a thing about state machines that got 700+ stars on GitHub
- 2023: Invented a grammar formalism for CSLs that can both parse and generate efficiently
- 2023: Moved from GitHub to Codeberg, a non-profit code host running open-source software
Research Interests
- Programming Language Design and Implementation
- Formal Language Theory, including parsing and text generation
- Theory of Computation, including computational complexity
- Functional Programming, more on the dynamically-typed side than the type theory side
- Logical Calculi, formal specification and theorem proving
- Abstract Algebra, including relation algebra, abstract data types, equational theories, ...
- Reactive Systems, by which I of course mean video games
Currently working on, time permitting
- Fusing miniKanren and relation algebra.
- Fusing a simple dynamically-typed functional language and a simple (mostly-)equational proof language.
- Writing a PoC implementation of Machine State Combinators.