Small-step Semantics, Reduction Relations, Programming Language Theory, Formal Methods
Open Source Is Too Important To Dilute
thenewstack.io·5h
My favorite use-case for AI is writing logs
vickiboykis.com·1d
An Epistemic and Aleatoric Decomposition of Arbitrariness to Constrain the Set of Good Models
arxiv.org·2d
Loading...Loading more...