rck
- Karma
- 0
- Created
- ()
- Submissions
- 0
- Verified dynamic programming with Σ-types in Lean (tannerduve.github.io)
- It's Not What You Think: LLMs Like Obvious Answers (lemmata.substack.com)
- Functional Programming and Theorem Proving in Lean 4 (web.stanford.edu)
-
A python library and command line scripts to simplify working with language models. In the course of studying EleutherAI's Language Model Evaluation Harness, we found ourselves wanting to be able to use their clean LM…
- Building a Local LLM Agent with Speech Recognition and TTS Support (richardkelley.io)
-
I have been exploring techniques for building larger programs with LLMs, and have found that behavior trees (from Game AI and Robotics) are a useful abstraction for building agents that use LLMs. I have collected some…
- How does GPT-3 spend its 175B parameters? (aizi.substack.com)
- Text Rendering Hates You (faultlore.com)
- Formalizing Stability and Resilience Properties via TLA+ (buttondown.email)
- Full screen triangle optimization (30fps.net)
- Evaluating the Cost of Atomic Operations on Modern Architectures (cs.paperswithcode.com)
- Rust concepts I wish I learned earlier (rauljordan.com)
- Design of Emacs in Rust (coredumped.dev)
- Predictions Scorecard, 2023 January 01 (rodneybrooks.com)
- A taste of pavex, an upcoming Rust web framework (lpalmieri.com)
- Human-Oriented Automatic Theorem Proving (wtgowers.github.io)
- Accelerating ZK-SNARKs – MSM and NTT Algorithms on FPGAs with Hardcaml (blog.janestreet.com)
- Practical Pigment Mixing for Digital Painting (scrtwpns.com)
- FreedomBox: Run your digital services from your home (freedombox.org)
- Bandit Algorithms Book (banditalgs.com)
- Extreme Finitism – Banish Infinity for Good (extremefinitism.com)
- ‘I am thoroughly ashamed’: British lord resigns after arriving late to work (washingtonpost.com)