🧩 Types - emschwartz · Scour

"Parse, don't Validate" through the years with C++ 🦀Rust

derekrodriguez.dev·4d·Hacker News, r/programming

On Lisp: A review of Paul Graham's 1993 book 💻Programming languages

alexvear.com·3d·Hacker News

A Quantitative Confirmation of the Currier Language Distinction 💻Programming languages

Previous Issues 📘Typescript

brokencomb.dev·4d

Generalised plusequals ➕Sum Types

leontrolski.github.io·6d·Hacker News

Grounding vs. Compositionality: On the Non-Complementarity of Reasoning in Neuro-Symbolic Systems 🧠LLM Inference

Quasi-Equivariant Metanetworks 🧩MoE

Abstraction 💻Programming languages

en.wikipedia.org·4d

NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework 🕯️Candle

The Polynomial Hierarchy and $\omega$-categorical CSPs 🧮SMT Solvers

Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types 📏Linear Types

The Power of Power Law: Asymmetry Enables Compositional Reasoning 💻Programming languages

The Constructive $\mu$-calculus: Game Semantics and Non-Wellfounded Proof Systems 🧮SMT Solvers

[2406.19108] Computational Life: How Well-formed, Self-replicating Programs Emerge from Simple Interaction 💻Programming languages

Proof Identity and Categorical Models of BV 🧮SMT Solvers

Does This Even Matter in the Real World? Real World Problems in Foundational Theory Courses 💻Programming languages

Common Foundations for Recursive Shape Languages 💻Programming languages

MIMIC: A Generative Multimodal Foundation Model for Biomolecules ✨Gemini

Primitive Recursion without Composition: Dynamical Characterizations, from Neural Networks to Polynomial ODEs 🧮SMT Solvers

The Platonic Representation Hypothesis 🎨ChromaDB

arxiv.org·3d·Hacker News

Log in to enable infinite scrolling