1. Lean Software Scaling Laws (gwern.net)

Research proposal for measuring how coding LLM perplexity scales with codebase context size, using Lean as a test case for whether formal languages have better predictability exponents and could lead to safer, more secure software worldwide.

12. Tom Colicchio's Final Service (www.esquire.com)

Twenty-five years, 500,000 (or so) orders of short rib, and, finally, one last roast chicken. Esquire joins the celebrity chef for the end.

Article Details

Browse by Date

Type to search HN and engineering blog articles
Press Escape to close  |  ↑↓ to navigate  |  Enter to open