Y Hacker News new | ask | show | jobs

user: rck created: 2011-08-28 karma: 1374 I'm into robotics and machine learning. submissions: 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Verified dynamic programming with Σ-types in Lean 86 points | 43 comments It's Not What You Think: LLMs Like Obvious Answers 3 points | 0 comments Functional Programming and Theorem Proving in Lean 4 6 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Show HN: Easily generate text and compute probabilities for any Hugging Face LLM 2 points | 0 comments 0 points | 0 comments 0 points | 0 comments