On: Gemma 4 on iPhone

[int_19h]

The project is a semantic parser for Lojban that emits Lean. The specific task was to add the ability to go in reverse - from (a subset of) Lean back to Lojban. So the bot had a corpus of something like 25K test cases that it had to make roundtrip, and instructions to keep going until the test suite is green.

[fsiefken → int_19h]

Cool, I'm having all kinds of ideas about the use cases. Would using Loglish (Ben Goertzel's english adaptation) be practical? https://www.goertzel.org/new_research/Loglish.htm

I'm using that to communicate with my AI. Perhaps one day we'll speak a New Ithkuil variant with AI.