nchammas
- Karma
- 241
- Created
- 11 years ago
Recent Submissions
- 1. ▲ LLGuidance: Making Structured Outputs Go Brrr (guidance-ai.github.io)
- 2. ▲ The Modern Data Lake Is a Database (nchammas.com)
- 3. ▲ Schroedinteger: Is this integer dead or alive? (github.com)
- 4. ▲ A Query Language Is Also a Data Constraint Language (nchammas.com)
- 5. ▲ A Data Pipeline Is a Materialized View (nchammas.com)
- 6. ▲ The Economics of Software Correctness (hypothesis.works)
- 7. ▲ Solving the Water Jug Problem from Die Hard 3 with TLA+ and Hypothesis (nchammas.com)