nchammas

Recent Submissions

1. 1. ▲ LLGuidance: Making Structured Outputs Go Brrr (guidance-ai.github.io) 2 points · 4 months ago · 0 comments
2. 2. ▲ The Modern Data Lake Is a Database (nchammas.com) 4 points · 1 year ago · 0 comments
3. 3. ▲ Schroedinteger: Is this integer dead or alive? (github.com) 1 point · 2 years ago · 1 comment
4. 4. ▲ A Query Language Is Also a Data Constraint Language (nchammas.com) 24 points · 4 years ago · 1 comment
5. 5. ▲ A Data Pipeline Is a Materialized View (nchammas.com) 144 points · 4 years ago · 47 comments
6. 6. ▲ The Economics of Software Correctness (hypothesis.works) 3 points · 8 years ago · 0 comments
7. 7. ▲ Solving the Water Jug Problem from Die Hard 3 with TLA+ and Hypothesis (nchammas.com) 6 points · 8 years ago · 0 comments