🗂 Data structures - matmat · Scour

In-memory Multidimensional Indexing Using the skd-tree 🗃️Database Storage

tidwall/btype: B-tree based collection types for Go 🔠Type-Level Programming

github.com·2d·Lobsters, Hacker News

A principled rethinking of array languages like APL ⁑ Dercuano 📊APL Heritage

dercuano.github.io·2d·Lobsters

From Stringly to Strongly Typed 🔬Refinement Types

eignex.com·5d·Hacker News

Family Orienting Python Frozenset Dependent Type Theory λLambda Formalization

philipzucker.com·2d

7 lines of code, 3 minutes: Implement a programming language (2010) 🔗Lisp

matt.might.net·1d·Hacker News, r/programming

Constructing Suffixient Arrays Revisited 🔄Burrows-Wheeler

Classification Fields: Arbitrarily Fine Recursive Hierarchical Clustering From Few Examples 🧠Machine Learning

Syntax and Semantics of Linear Dependent Types λLambda Formalization

Graph-Structured Hyperdimensional Computing for Data-Efficient and Explainable Process-Structure-Property Prediction 🧠Machine Learning

The Algebra of Iterative Constructions 🌉Galois Connections

CombOL: a Library for Practical Enumeration and Boltzmann Sampling of Combinatorial Classes 📼Tape Combinators

A Categorical Semantics for Linear Logical Frameworks 📏Linear Logic

Exact and Approximate Algorithms for Polytree Learning 🧮Kolmogorov Complexity

Probing Structural Mathematical Reasoning in Language Models with Algebraic Trapdoors 🌳Context free grammars

Memory as a Markov Matrix: Sample Efficient Knowledge Expansion via Token-to-Dictionary Mapping 💻Local LLMs

Sharp Capacity Thresholds in Linear Associative Memory: From Winner-Take-All to Listwise Retrieval 🧠Machine Learning

Information Theory and Statistical Learning 🧠Machine Learning

Bridging Input Feature Spaces Towards Graph Foundation Models 🕸️Graph Embeddings

Private Structured-Subset Retrieval ⧗Information Bottleneck

No more posts from matmat's subscribed feeds.

Scour all 24963 feeds Learn more about Feeds

Log in to enable infinite scrolling