Efficient & Correct Predictive Equivalence for Decision Trees
arxiv.org·8h
🌳Pattern Match Compilation
Code Reuse Without Classes: A Deep Dive into Non-OOP Reusability
dev.to·8h·
Discuss: DEV
🪢Rope Data Structures
Fault-Tolerant Logical Measurements via Homological Measurement
journals.aps.org·7m
🎯Bit-Vector Algorithms
Program Optimisations via Hylomorphisms for Extraction of Executable Code
drops.dagstuhl.de·8h·
Discuss: Hacker News
🏗️Calculus of Constructions
Discontiguous Exponential Averaging. (1998)
jacobfilipp.com·3h·
Discuss: Hacker News
🔢Algebraic Datatypes
Hyperbolic Sets in Incomplete Tables
arxiv.org·8h
📐Succinct Data Structures
Reinforced Generation of Combinatorial Structures: Applications to Complexity Theory
arxiv.org·8h
🪢Rope Data Structures
Optimal Transport for Handwritten Text Recognition in a Low-Resource Regime
arxiv.org·8h
⚖️Weighted Automata
RelRepair: Enhancing Automated Program Repair by Retrieving Relevant Code
arxiv.org·8h
🩺Compiler Diagnostics
MoPE: A Mixture of Password Experts for Improving Password Guessing
arxiv.org·8h
🔗Hash Functions
Static Compressed Prefix Tree in Array
github.com·22h·
Discuss: r/programming
📚Suffix Arrays
Building a Text Similarity Checker API Using Sentence Transformers and Flask
dev.to·5h·
Discuss: DEV
🔤Language Tokenizers
Solving the Cold Start Problem in E-Commerce Search with LLMs
pub.towardsai.net·2d
🔍Search Algorithms
Fine-Grained Detection of AI-Generated Text Using Sentence-Level Segmentation
arxiv.org·8h
🧠Semantic Parsing
Writing Our Own Structure: Tries in Haskell & Rust
mmhaskell.com·1d
🌿Trie Structures
Show HN: Lessie AI – Your People Search AI Agent
lessie.ai·18h·
Discuss: Hacker News
🌸Bloom Indexing
Show HN: Python Audio Transcription: Convert Speech to Text Locally
pavlinbg.com·18h·
Discuss: Hacker News
🌊Streaming Lexers
A scalable, elastic database and search solution for 1B+ vectors built on LanceDB and Amazon S3
aws.amazon.com·19h
📋JSON Parsing
AI Evals: Why Generic Metrics Hurt Your Product
decodingml.substack.com·1h·
Discuss: Substack
📊Code Metrics