2023
Dec 11
DSPy Assertion: Computational Constraints for Self-Refining Language Model Pipelines
Oct 19
Hiking Records
2022
May 10
MIT 6.824 Note - 01 Introduction
May 06
Notes on Static Analysis and Abstract Interpretation - Intro
2021
Dec 13
Towards Partially Evaluating Symbolic Interpreters for All
Jul 01
Trip to Las Vegas - Summer 2021
Apr 23
Notice