Determinism

and on Spinoza's Ethics.

and vLLM integration with XGrammar

How we understand machine learning system is how we can move towards a safe futures, yet the road ahead lies many troubles to overcome. A literature review into the inception of the field, as well as where do we go from here.

algorithm = takes one-or-more values, produces an outputs Ex: contains Given a list of L and value v, return v \in L. Input: L is an array, v is a value Output: true if v \in L, false otherwise i, r := 0, false while i neq |L| do if L[i] = v then r := true i := i + 1 else i := i + 1 return r invariants Induction hypothesis that holds at beginning of iteration.