| 1. | | Continuation passing style, defunctionalization and associativity [video] (youtube.com) |
|
1 point by brzozowski on Nov 21, 2021 | past
|
|
| 2. | | Picard algorithm achieves State-of-the-Art performance for Text-to-SQL (elementai.com) |
|
7 points by brzozowski on Nov 3, 2021 | past | 2 comments
|
|
| 3. | | A Candidate Geometrical Formalism for the Foundations of Mathematics and Physics (wolframphysics.org) |
|
2 points by brzozowski on May 21, 2021 | past
|
|
| 4. | | KotlinDL 0.2: Idiomatic Kotlin DSL for Deep Learning (jetbrains.com) |
|
33 points by brzozowski on May 21, 2021 | past | 6 comments
|
|
| 5. | | A Dishonest, Indifferent, and Toxic Culture (huixiangvoice.medium.com) |
|
459 points by brzozowski on Feb 21, 2021 | past | 187 comments
|
|
| 6. | | An Introduction to Session Types (wen.works) |
|
1 point by brzozowski on Dec 18, 2020 | past
|
|
| 7. | | Egg: E-Graphs Good (egraphs-good.github.io) |
|
2 points by brzozowski on Dec 3, 2020 | past
|
|
| 8. | | JetBrains Compose (jetbrains.com) |
|
174 points by brzozowski on Nov 5, 2020 | past | 52 comments
|
|
| 9. | | Implicit Gradient Regularization (arxiv.org) |
|
2 points by brzozowski on Sept 25, 2020 | past
|
|
| 10. | | Equivalence of Dataflow Graphs via Rewrite Rules Using a Graph-to-Sequence Model (arxiv.org) |
|
5 points by brzozowski on Sept 23, 2020 | past
|
|
| 11. | | Announcing Tribuo, a Java Machine Learning Library (oracle.com) |
|
4 points by brzozowski on Sept 15, 2020 | past
|
|
| 12. | | Graph Representations for Higher-Order Logic and Theorem Proving (2019) (arxiv.org) |
|
104 points by brzozowski on Sept 6, 2020 | past | 15 comments
|
|
| 13. | | Effective testing for machine learning systems (jeremyjordan.me) |
|
95 points by brzozowski on Aug 31, 2020 | past | 2 comments
|
|
| 14. | | [flagged] Noam Chomsky: 'There's never been a moment in human history' like this one (thehill.com) |
|
33 points by brzozowski on Aug 30, 2020 | past | 30 comments
|
|
| 15. | | Compositional Generalization via Neural-Symbolic Stack Machines (arxiv.org) |
|
2 points by brzozowski on Aug 18, 2020 | past
|
|
| 16. | | Future of Earth (wikipedia.org) |
|
3 points by brzozowski on Aug 8, 2020 | past
|
|
| 17. | | Datascript: An immutable in-memory database and Datalog query engine in Clojure (github.com/tonsky) |
|
2 points by brzozowski on July 22, 2020 | past
|
|
| 18. | | Foundations of Computational Linguistics in Clojure (foundations-computational-linguistics.gi...) |
|
2 points by brzozowski on July 22, 2020 | past
|
|
| 19. | | Learning Graph Structure with a Finite-State Automaton Layer (arxiv.org) |
|
92 points by brzozowski on July 18, 2020 | past | 5 comments
|
|
| 20. | | Learning Differential Equations That Are Easy to Solve (arxiv.org) |
|
4 points by brzozowski on July 18, 2020 | past | 1 comment
|
|
| 21. | | Intuitive physics, planning, and problem-solving in brains, minds and machines (youtu.be) |
|
1 point by brzozowski on July 18, 2020 | past
|
|
| 22. | | Structural Language Models of Code (arxiv.org) |
|
2 points by brzozowski on June 9, 2020 | past
|
|
| 23. | | Introduction to Program Synthesis (csail.mit.edu) |
|
3 points by brzozowski on May 31, 2020 | past
|
|
