user: rck
1374 karma | created 14 years ago
recent submissions
15 days ago|discuss
15 days ago|discuss
15 days ago|discuss
22 days ago|discuss
22 days ago|discuss
4 months ago|discuss
4 months ago|discuss
4 months ago|discuss
5 months ago|discuss
5 months ago|discuss
5 months ago|discuss
5 months ago|discuss
5 months ago|discuss
5 months ago|discuss
6 months ago|discuss
6 months ago|discuss
6 months ago|discuss
7 months ago|discuss
Verified dynamic programming with Σ-types in Lean
(tannerduve.github.io)
86 pts|8 months ago|43 comments
It's Not What You Think: LLMs Like Obvious Answers
(lemmata.substack.com)
3 pts|8 months ago|discuss