Taming LLMs with Sequential Monte Carlo | Dark Hacker News