🔤 Morris-Pratt

String Matching, Pattern Search, Knuth-Morris-Pratt, Text Processing

Algorithmic Archive Project: Use Cases (1/3)
blogs.bodleian.ox.ac.uk·11h
📊Citation Graphs
A grand week
blog.mitrichev.ch·2d·
Discuss: blog.mitrichev.ch
🧮SMT Solvers
Design Principle: Composable Services
sleepingpotato.com·1d·
Discuss: Hacker News
⚡gRPC
Experimental Proof: MENT-Flow Achieves Consistency with MENT Solutions for Beam Reconstruction
hackernoon.com·19h
🧠Learned Codecs
Bringing NumPy's type-completeness score to nearly 90% – Pyrefly
pyrefly.org·11h·
Discuss: Lobsters, Hacker News, r/programming
🎯Gradual Typing
How Much Should You Tell Your AI Agent?
raymondyxu.com·2d·
Discuss: Hacker News
⚡Proof Automation
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·2d·
Discuss: Hacker News
🎯Interactive Provers
Bond-Centered Molecular Fingerprint Derivatives: A BBBP Dataset Study
arxiv.org·17h
🔍Vector Forensics
A Fixed Point Framework for the Existence of EFX Allocations
arxiv.org·17h
🎯Performance Proofs
Revealing Interconnections between Diseases: from Statistical Methods to Large Language Models
arxiv.org·17h
🧠Machine Learning
Scaling Code-Assisted Chain-of-Thoughts and Instructions for Model Reasoning
arxiv.org·17h
⚡Incremental Computation
Predictive Modeling of Age-Related Aberrant DNA Methylation Patterns via Multi-Modal Integration
dev.to·11h·
Discuss: DEV
👁️OCR Enhancement
Forking-Sequences
arxiv.org·17h
🌸Bloom Variants
**Hyperdimensional Semantic Graph Fusion for Enhanced Knowledge Extraction & Reasoning**
dev.to·1d·
Discuss: DEV
🧮Kolmogorov Complexity
DiffuSpec: Unlocking Diffusion Language Models for Speculative Decoding
arxiv.org·1d
🎙️Whisper
Progressive Bound Strengthening via Doubly Nonnegative Cutting Planes for Nonconvex Quadratic Programs
arxiv.org·1d
🎯Performance Proofs
PoLi-RL: A Point-to-List Reinforcement Learning Framework for Conditional Semantic Textual Similarity
arxiv.org·17h
🗂️Vector Search
How AI broke the DRY principle — and why that’s a good thing
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
LaDiR: Latent Diffusion Enhances LLMs for Text Reasoning
arxiv.org·17h
💻Local LLMs
Training Dynamics of Parametric and In-Context Knowledge Utilization in Language Models
arxiv.org·1d
🌲Parse Trees