Verifier design is a difficult problem (from a slide deck I've been working on)
Edward Z. Yang
@ezyang
- New blog: "PyTorch: a reference language" docs.pytorch.org/devlogs/compil…
- I think the most levered use of slop coding is when the result gives you real world data/experience. The thing you learn is the true value, the code is secondary
- Meta AI's text input now supports direct images interleaved with text and I really like it! I always found it weird that other LLM UIs always had the pictures attached separately like attachments.
