Stories by rck

Functional Programming and Theorem Proving in Lean 4

Show HN: Easily generate text and compute probabilities for any Hugging Face LLM

Building a Local LLM Agent with Speech Recognition and TTS Support

Show HN: Dendron – A Library for Building LLM Agents Using Behavior Trees

Language Modeling Reading List (To Start Your Paper Club)

How does GPT-3 spend its 175B parameters?

Text Rendering Hates You

Formalizing Stability and Resilience Properties via TLA+

Leveraging Rust and the GPU to render user interfaces at 120 FPS

Full screen triangle optimization

Evaluating the Cost of Atomic Operations on Modern Architectures

Rust concepts I wish I learned earlier

Design of Emacs in Rust

Predictions Scorecard, 2023 January 01

A taste of pavex, an upcoming Rust web framework

Practical Pigment Mixing for Digital Painting

FreedomBox: Run your digital services from your home

Bandit Algorithms Book

RIP Anki: Yet Another Home Robotics Company Powers Down

1