A tiny proof for a tiny LLM | Dark Hacker News