all posts

  • goodbye cohost (tue 1 october 2024)
    thanks for being a website.
  • comments (thu 26 september 2024)

    i gotta add comments to this thing. right now i have no idea if anyone is even reading this

  • cube (wed 25 september 2024)

    i redesigned my personal website. it was a bit of an ordeal.

  • hi chosties. and everyone else reading (sun 15 september 2024)

    cohost is closing so we are all scrambling to get our personal sites working.

  • quorientation (thu 14 march 2024)

    in my latest art, i put some text in lántas. here is approximately too much detail about that.

  • merr chrismas (mon 25 december 2023)

    how to say “merr chrismas” in my conlang lántas.

    if you don’t care about the details, the answer is “ufit þulkusimari”.

  • undocumented idris2 features (sat 12 november 2022)

    some lesser-known features in the dependently-typed language idris (2).

  • fibonacci in maude and ats (mon 24 october 2022)

    fibonacci numbers in the languages maude and ATS.

  • a little ats program (fri 16 september 2022)

    a little program in a little-known, little-documented language called ATS.

  • a few undocumented beluga features (tue 12 july 2022)

    some undocumented features i found while looking through the source code of the proof language beluga.

  • digitle in maude (mon 14 march 2022)

    a solver for digitle (numbers countdown) in maude, a language for rewriting systems.