rck

1,374 karmajoined August 28, 2011On HN

I'm into robotics and machine learning.

Recent submissions

Verified dynamic programming with Σ-types in Lean tannerduve.github.io
86rck1y43 comments
It's Not What You Think: LLMs Like Obvious Answers lemmata.substack.com
3rck1ydiscuss
Functional Programming and Theorem Proving in Lean 4 web.stanford.edu
6rck1ydiscuss
Show HN: Easily generate text and compute probabilities for any Hugging Face LLM github.com/RichardKelley
2rck2ydiscuss
Building a Local LLM Agent with Speech Recognition and TTS Support richardkelley.io
1rck2ydiscuss
Show HN: Dendron – A Library for Building LLM Agents Using Behavior Trees github.com/RichardKelley
2rck2ydiscuss
Language Modeling Reading List (To Start Your Paper Club)eugeneyan.com
1rck2ydiscuss
How does GPT-3 spend its 175B parameters?aizi.substack.com
3rck3ydiscuss
Text Rendering Hates You faultlore.com
3rck3ydiscuss
Formalizing Stability and Resilience Properties via TLA+buttondown.email
3rck3ydiscuss
Leveraging Rust and the GPU to render user interfaces at 120 FPS zed.dev
259rck3y203 comments
Full screen triangle optimization 30fps.net
115rck3y44 comments
Evaluating the Cost of Atomic Operations on Modern Architectures cs.paperswithcode.com
2rck3ydiscuss
Rust concepts I wish I learned earlier rauljordan.com
379rck3y170 comments
Design of Emacs in Rust coredumped.dev
3rck3ydiscuss
Predictions Scorecard, 2023 January 01 rodneybrooks.com
6rck3y1 comment
A taste of pavex, an upcoming Rust web framework lpalmieri.com
2rck3ydiscuss
Human-Oriented Automatic Theorem Proving wtgowers.github.io
42rck3y17 comments
Accelerating ZK-SNARKs – MSM and NTT Algorithms on FPGAs with Hardcaml blog.janestreet.com
27rck3ydiscuss
Practical Pigment Mixing for Digital Painting scrtwpns.com
60rck4y13 comments

All submissions and comments on Hacker News.