1Verified dynamic programming with Σ-types in Lean (opens in new tab)(tannerduve.github.io)86rck1y ago43Save
2It's Not What You Think: LLMs Like Obvious Answers (opens in new tab)(lemmata.substack.com)3rck1y ago0Save
3Functional Programming and Theorem Proving in Lean 4 (opens in new tab)(web.stanford.edu)6rck1y ago0Save
4Show HN: Easily generate text and compute probabilities for any Hugging Face LLM (opens in new tab)(github.com)GitHub2rck1y ago0Save
5Building a Local LLM Agent with Speech Recognition and TTS Support (opens in new tab)(richardkelley.io)1rck2y ago0Save
6Show HN: Dendron – A Library for Building LLM Agents Using Behavior Trees (opens in new tab)(github.com)GitHub2rck2y ago0Save
7Language Modeling Reading List (To Start Your Paper Club) (opens in new tab)(eugeneyan.com)1rck2y ago0Save
10Formalizing Stability and Resilience Properties via TLA+ (opens in new tab)(buttondown.email)3rck3y ago0Save
11Leveraging Rust and the GPU to render user interfaces at 120 FPS (opens in new tab)(zed.dev)259rck3y ago203Save
13Evaluating the Cost of Atomic Operations on Modern Architectures (opens in new tab)(cs.paperswithcode.com)2rck3y ago0Save
