Efficient & Correct Predictive Equivalence for Decision Trees
arxiv.org·13h
🌳Pattern Match Compilation
Code Reuse Without Classes: A Deep Dive into Non-OOP Reusability
dev.to·12h·
Discuss: DEV
🪢Rope Data Structures
Fault-Tolerant Logical Measurements via Homological Measurement
journals.aps.org·4h
🎯Bit-Vector Algorithms
Program Optimisations via Hylomorphisms for Extraction of Executable Code
drops.dagstuhl.de·12h·
Discuss: Hacker News
🏗️Calculus of Constructions
How RAG Enables AI For Your Data
blog.bytebytego.com·1h
🌊Streaming Lexers
Discontiguous Exponential Averaging. (1998)
jacobfilipp.com·8h·
Discuss: Hacker News
🔢Algebraic Datatypes
Hyperbolic Sets in Incomplete Tables
arxiv.org·13h
📐Succinct Data Structures
Hacking OpenAI's Internet Search
onyx.app·1h·
Discuss: Hacker News
🎮Language Ergonomics
Reinforced Generation of Combinatorial Structures: Applications to Complexity Theory
arxiv.org·13h
🪢Rope Data Structures
Optimal Transport for Handwritten Text Recognition in a Low-Resource Regime
arxiv.org·13h
⚖️Weighted Automata
RelRepair: Enhancing Automated Program Repair by Retrieving Relevant Code
arxiv.org·13h
🩺Compiler Diagnostics
Static Compressed Prefix Tree in Array
github.com·1d·
Discuss: r/programming
📚Suffix Arrays
MoPE: A Mixture of Password Experts for Improving Password Guessing
arxiv.org·13h
🔗Hash Functions
Building a Text Similarity Checker API Using Sentence Transformers and Flask
dev.to·9h·
Discuss: DEV
🔤Language Tokenizers
Fine-Grained Detection of AI-Generated Text Using Sentence-Level Segmentation
arxiv.org·13h
🧠Semantic Parsing
Writing Our Own Structure: Tries in Haskell & Rust
mmhaskell.com·1d
🌿Trie Structures
Show HN: Python Audio Transcription: Convert Speech to Text Locally
pavlinbg.com·22h·
Discuss: Hacker News
🌊Streaming Lexers
On benchmarking: "measuring performance is hard" (2017)
ruudvanasseldonk.com·26m·
Discuss: Hacker News
Performance
A scalable, elastic database and search solution for 1B+ vectors built on LanceDB and Amazon S3
aws.amazon.com·23h
📋JSON Parsing