Hacker News – Telegram
LeanDojo: Theorem Proving in Lean Using LLMs
Article, Comments
👎3🌭3
tolower() with AVX-512
Article, Comments
🌭7👍1
Planet eBook: free literature for your device
Article, Comments
👍4🌭2
Show HN: ThinkPost – split-panel note taking & brainstorming app for devs
Article, Comments
👍3💩1🌭1