rck

I'm into robotics and machine learning.

Posts

• Verified dynamic programming with Σ-types in Lean
  by rckon 6/17/2025, 2:28 PMwith 43 comments
• It's Not What You Think: LLMs Like Obvious Answers
  by rckon 6/9/2025, 9:34 PMwith 0 comments
• Functional Programming and Theorem Proving in Lean 4
  by rckon 5/29/2025, 12:51 AMwith 0 comments
• Show HN: Easily generate text and compute probabilities for any Hugging Face LLM
  by rckon 8/16/2024, 5:15 PMwith 0 comments