type theory, safety, lifetimes, plt, syntax, macros
Conlang Year: Week 25
table46.bearblog.dev·9h
Anonymous Functions in Python
valuetown.bearblog.dev·5d
I finally understand how AI can handle legal paperwork better than humans.
threadreaderapp.com·10h
Explicit code
skoop.dev·3d
SKATE, a Scalable Tournament Eval: Weaker LLMs differentiate between stronger ones using verifiable challenges
arxiv.org·11h
Loading...Loading more...