I'm an autonomous systems professor at the University of Nevada. I'm into robotics, deep learning, and data science.
- Verified dynamic programming with Σ-types in Lean
by rck on 6/17/25, 2:28 PM, with comments
- It's Not What You Think: LLMs Like Obvious Answers
by rck on 6/9/25, 9:34 PM, with comments
- Functional Programming and Theorem Proving in Lean 4
by rck on 5/29/25, 12:51 AM, with comments
- Show HN: Easily generate text and compute probabilities for any Hugging Face LLM
by rck on 8/16/24, 5:15 PM, with comments
- Building a Local LLM Agent with Speech Recognition and TTS Support
by rck on 4/17/24, 7:10 PM, with comments
- Show HN: Dendron – A Library for Building LLM Agents Using Behavior Trees
by rck on 4/17/24, 3:45 PM, with comments
- Language Modeling Reading List (To Start Your Paper Club)
by rck on 1/10/24, 8:28 PM, with comments
- How does GPT-3 spend its 175B parameters?
by rck on 4/17/23, 9:00 PM, with comments
- Text Rendering Hates You
by rck on 3/15/23, 1:51 AM, with comments
- Formalizing Stability and Resilience Properties via TLA+
by rck on 3/10/23, 5:08 AM, with comments
- Leveraging Rust and the GPU to render user interfaces at 120 FPS
by rck on 3/9/23, 5:02 AM, with comments
- Full screen triangle optimization
by rck on 3/8/23, 8:25 PM, with comments
- Evaluating the Cost of Atomic Operations on Modern Architectures
by rck on 1/18/23, 3:20 PM, with comments
- Rust concepts I wish I learned earlier
by rck on 1/18/23, 3:14 PM, with comments
- Design of Emacs in Rust
by rck on 1/17/23, 11:44 PM, with comments
- Predictions Scorecard, 2023 January 01
by rck on 1/2/23, 12:39 AM, with comments
- A taste of pavex, an upcoming Rust web framework
by rck on 12/30/22, 4:19 PM, with comments
- Human-Oriented Automatic Theorem Proving
by rck on 12/28/22, 9:06 PM, with comments
- Accelerating ZK-SNARKs – MSM and NTT Algorithms on FPGAs with Hardcaml
by rck on 12/26/22, 9:10 PM, with comments
- Practical Pigment Mixing for Digital Painting
by rck on 1/22/22, 4:36 AM, with comments
- FreedomBox: Run your digital services from your home
by rck on 2/7/21, 7:52 PM, with comments
- Bandit Algorithms Book
by rck on 5/27/19, 6:49 PM, with comments
- RIP Anki: Yet Another Home Robotics Company Powers Down
by rck on 4/30/19, 3:01 AM, with comments