Get the latest tech news
Lean Software Scaling Laws
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.
None
Or read this on Hacker News