Efficient & Correct Predictive Equivalence for Decision Trees
arxiv.org·17h
🌳Pattern Match Compilation
Code Reuse Without Classes: A Deep Dive into Non-OOP Reusability
dev.to·17h·
Discuss: DEV
🪢Rope Data Structures
Fault-Tolerant Logical Measurements via Homological Measurement
journals.aps.org·9h
🎯Bit-Vector Algorithms
Program Optimisations via Hylomorphisms for Extraction of Executable Code
drops.dagstuhl.de·16h·
Discuss: Hacker News
🏗️Calculus of Constructions
Show HN: Embedding Explorer – compare text embedding models in your browser
github.com·3h·
Discuss: Hacker News
Live Coding
Hacking OpenAI's Internet Search
onyx.app·5h·
Discuss: Hacker News
🎮Language Ergonomics
Discontiguous Exponential Averaging. (1998)
jacobfilipp.com·12h·
Discuss: Hacker News
🔢Algebraic Datatypes
Scaling Speculative Decoding with Lookahead Reasoning
hao-ai-lab.github.io·1d
🔄Subinterpreters
Hyperbolic Sets in Incomplete Tables
arxiv.org·17h
📐Succinct Data Structures
How RAG Enables AI For Your Data
blog.bytebytego.com·5h
🌊Streaming Lexers
Reinforced Generation of Combinatorial Structures: Applications to Complexity Theory
arxiv.org·17h
🪢Rope Data Structures
Automated Evidence-Based Knowledge Graph Construction for Dynamic Policy Enforcement
dev.to·4h·
Discuss: DEV
Effect Inference
Optimal Transport for Handwritten Text Recognition in a Low-Resource Regime
arxiv.org·17h
⚖️Weighted Automata
RelRepair: Enhancing Automated Program Repair by Retrieving Relevant Code
arxiv.org·17h
🩺Compiler Diagnostics
MoPE: A Mixture of Password Experts for Improving Password Guessing
arxiv.org·17h
🔗Hash Functions
Building a Text Similarity Checker API Using Sentence Transformers and Flask
dev.to·14h·
Discuss: DEV
🔤Language Tokenizers
Fine-Grained Detection of AI-Generated Text Using Sentence-Level Segmentation
arxiv.org·17h
🧠Semantic Parsing
Writing Our Own Structure: Tries in Haskell & Rust
mmhaskell.com·1d
🌿Trie Structures
Static Compressed Prefix Tree in Array
github.com·1d·
Discuss: r/programming
📚Suffix Arrays