I got extremely lucky. I bought a Kindle recently and decided to get one by BestBuy, just trying my luck to see if they had old stock. The firmware was 5.18.0.2 and I was able to jailbreak it.
If anyone is looking for a Kindle, try non-Amazon stores. Might have older stock with older and jailbreak-able firmware.
Yes, you’re adding this layer of verification, but LLMs don’t think in ASTs or use formal logic.
They are statistical predictors, just predicting what the next token will be.
There is a reason they perform best with TS/PY and not Haskell. The difference in size of the code corpus for each language.
The premise behind this seems to ignore all of that.