But the text file has some markup syntax beyond human language? Point being LLMs are subpar for acting on formal grammars, like cracking a nut with a sledgehammer. That's why its important tools like 11ty and pandoc remain.
That’s somewhat true (in my case it’s it’s laughably simple though).
I also never said that tools like pandoc are obsolete now. Just in my case they are already overpowered and I might migrate to something simpler soon.
Otoh i might just run the current version of 11ty indefinitely and never upgrade.
Local LLM feels like the wrong tool for a file converter? LLMs shine in natural language processing, but their statistical nature doesn't fit consistent file conversions as more Turing-like programs.
I also liked the one on lambda calculus. I hope one day we will be able to find interpretation of what it actually means for PLUS Times Plus. Maybe this is how we will explore nonstandard arithmetic.
Godel's incompleteness theorem lets you turn PLUS into a number, do some operations on it, and then turn it back into a symbol. So PLUS times PLUS already has a definite answer. Perhaps not a sensible one, but a definite one.
Yes it could just simply be a syntactic sugar for a complex operation taking in 4 numbers. But this reminds me of Mirror Symmetry between two theories in String Theory where complex calculations in one theory gets mapped to simple calculation in another theory. Similarly we might have translation dictionary between standard arithmetic and non-standard arithmetic where complex calculation in standard arithmetic becomes easy calculation in non-standard arithmetic.
Edit: Oh wait, no, I was thinking of the Drew's Campfire double pendulum video. That video was extra interesting because the creator is not a typical content producer. He just has a few videos without any views, then dropped what might be one of the best videos of all time, and then went back to his technical videos.
reply