🗂 Data structures - matmat · Scour

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

Range Minimum Queries 📏Range Queries

curiouscoding.nl·1d

P1-S1: TypeContext skeleton with well-known types 💧Liquid Types

github.com·12h

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

The EDGE Language: Extended General Einsums for Graph Algorithms 🔄Graph Rewriting

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

github.com·2d·Lobsters, Hacker News

TreeWidzard: An Engine for Width-Based Dynamic Programming and Automated Theorem Proving 🧮Z3 Solver

DataMaster: Towards Autonomous Data Engineering for Machine Learning 🗂️Vector Databases

Structure Learning for Directed Trees with Compositional Nodes 🌊Spectral Clustering

Computing Flows in Subquadratic Space 🌐Computational Topology

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

Constructing Suffixient Arrays Revisited 🔄Burrows-Wheeler

Syntax and Semantics of Linear Dependent Types λLambda Formalization

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

Log in to enable infinite scrolling