I demonstrated in the blog post that SectorLISP can run real programs that John McCarthy and his crew wrote back in the 60's for his IBM 703 LISP 1.5 system. See https://justine.lol/sectorlisp2/proof.html where, with only light modifications to the original source code, I got his theorem prover working on SectorLISP, which uses Wang's algorithm. The original source code is here for comparison: https://justine.lol/sectorlisp2/wang.job.txt
It was written as an example for the LISP I Programmers Manual. The algorithm itself is not particularly powerful and this implementation can only return a singular true or false value. I wouldn't necessarily call this a "real" program as McCarthy was trying to demonstrate how to translate logical forms into s-expressions more than anything.
I'm not saying any of this to be critical of this team's implementation, more so to defend the notion that brainfuck is just as "real." Or, if brainfuck is "not real" then this particular implementation isn't for more or less the same reasons.
