76 karma · joined August 25, 2025
This means no programming language has ever actually been a language in the neurological sense. Even "natural language programming" efforts like Inform 7 fail the test, the programmer still maintains a mental model of state machines and boolean flags, which is pure MD network territory.
SOEL is an experiment: what if the source code were genuine natural language prose — narratives with entities, intent, ambiguity, and social context and the compiler handled the translation to executable code? You write something closer to a specification document than a program. The compiler semantically encodes it, flags genuine ambiguities as compiler errors (which you resolve through dialog, not syntax fixes), and generates GHC-compilable Haskell.
It's impractical, unreliable, and fascinating. The theoretical foundation is in SPEC.md if you want the full neuroscience deep-dive.
For context before that I had ~15 years of experience coding the traditional way.
thanks for the article, it's a good one
curl was cheating yes, might go zero dependencies in the future.
Working on minimal local training/inference too. Goal of these experiments is to have something completely independent.
This is a demonstration that AI agents can be 4KB and fun.