Hacker News – Telegram
Anatomy of a Formal Proof
Article, Comments
🙏4🌭1
Show HN: Chat with multiple LLMs: o1-high-effort, Sonnet 3.5, GPT-4o, and more
Article, Comments
🤮9🌭1
The past, present, and future of UI at GitHub
Article, Comments
🤔2💩1🌭1
Show HN: Trolling SMS spammers with Ollama
Article, Comments
🤣8👍31🔥1🌭1
Her dad, the 10k records he left behind and a viral lesson in grief
Article, Comments
15😐5🌭2🍌2