Continuation passing style, defunctionalization and associativity [video]youtube.com·1 pts·brzozowski·0
Picard algorithm achieves State-of-the-Art performance for Text-to-SQLelementai.com·7 pts·brzozowski·2
A Candidate Geometrical Formalism for the Foundations of Mathematics and Physicswolframphysics.org·2 pts·brzozowski·0
Equivalence of Dataflow Graphs via Rewrite Rules Using a Graph-to-Sequence Modelarxiv.org·5 pts·brzozowski·0
Graph Representations for Higher-Order Logic and Theorem Proving (2019)arxiv.org·104 pts·brzozowski·15
Noam Chomsky: 'There's never been a moment in human history' like this onethehill.com·33 pts·brzozowski·30
Datascript: An immutable in-memory database and Datalog query engine in Clojuregithub.com·2 pts·brzozowski·0
Foundations of Computational Linguistics in Clojurefoundations-computational-linguistics.github.io·2 pts·brzozowski·0
Intuitive physics, planning, and problem-solving in brains, minds and machinesyoutu.be·1 pts·brzozowski·0