A* shortest string decoding for non-idempotent semirings | Hacker News Reader