LeanDojo: Theorem Proving in Lean Using LLMs

Thank you, Google. You didn't have to, but you did. We (the Pebble team and community) are extraordinarily grateful.

I wrote a blog post about our plans to bring Pebble back, sustainably.

Article URL: https://www.jvt.me/posts/2025/01/27/go-tools-124/

Comments URL:

Article URL: https://newsletter.languagemodels.co/p/the-illustrated-deepseek-r1

Comments URL:

Article URL: https://techcrunch.com/2025/01/27/hackers-are-targeti

Article URL: https://www.cnbc.com/2025/01/27/nvidia-sheds-almost-600-billion-in-marke

Article URL: https://nemo.foo/blog/day-4-of-an-afternoon-project

Comments URL:

Article URL: https://www.getlago.com/blog/custom-expressions-billing

Comments URL: