Small-step Semantics, Reduction Relations, Programming Language Theory, Formal Methods
Open Source Is Too Important To Dilute
thenewstack.io·29m
What can we expect of LLMs as Software Engineers?
chelseatroy.com·2d
Machine Code Isn't Scary
jimmyhmiller.github.io·2d
Inheritance over composition, sometimes
death.andgravity.com·2d
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·1d
An Epistemic and Aleatoric Decomposition of Arbitrariness to Constrain the Set of Good Models
arxiv.org·2d
Loading...Loading more...