🔤 Morris-Pratt

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

Algorithmic Archive Project: Use Cases (1/3)
blogs.bodleian.ox.ac.uk·18h
📊Citation Graphs
The Neuron That Wanted to Be God
thealgorithmicbridge.com·12h
🔲Cellular Automata
Alias and references as localized macros
gustedt.wordpress.com·15h·
Discuss: Hacker News
🦀Rust Macros
How Much Should You Tell Your AI Agent?
raymondyxu.com·2d·
Discuss: Hacker News
⚡Proof Automation
Bringing NumPy's type-completeness score to nearly 90% – Pyrefly
pyrefly.org·19h·
Discuss: Lobsters, Hacker News, r/programming
🎯Gradual Typing
How To Build Effective Technical Guardrails for AI Applications
towardsdatascience.com·1d
🔗Constraint Handling
Clojure Data Cookbook – How to manipulate data, analyze, and visualize tasks
github.com·1h·
Discuss: Hacker News
🧬Functional Programming
Mitigating Premature Exploitation in Particle-based Monte Carlo for Inference-Time Scaling
arxiv.org·43m
🧮Kolmogorov Bounds
InstaGeo: Compute-Efficient Geospatial Machine Learning from Data to Deployment
arxiv.org·43m
🔶Voronoi Diagrams
Prompting Techniques for Specialised LLMs
dev.to·2d·
Discuss: DEV
🔗Constraint Handling
Partial Information Decomposition via Normalizing Flows in Latent Gaussian Distributions
arxiv.org·1d
🧠Machine Learning
From Segments to Concepts: Interpretable Image Classification via Concept-Guided Segmentation
arxiv.org·1d
🧠Machine Learning
MADS: Multi-Agent Dialogue Simulation for Diverse Persuasion Data Generation
arxiv.org·43m
🔲Cellular Automata
Discrete Diffusion Models with MLLMs for Unified Medical Multimodal Generation
arxiv.org·43m
🎙️Whisper
Learning Mixtures of Linear Dynamical Systems (MoLDS) via Hybrid Tensor-EM Method
arxiv.org·43m
🌀Differential Geometry
SALAD: Self-Adaptive Link Adaptation
arxiv.org·43m
⧗Information Bottleneck
Learning to Capture Rocks using an Excavator: A Reinforcement Learning Approach with Guiding Reward Formulation
arxiv.org·1d
🔲Cellular Automata
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·3d·
Discuss: DEV
🧮Z3 Solver
Finite Time Analysis of Constrained Natural Critic-Actor Algorithm with Improved Sample Complexity
arxiv.org·1d
🔲Cellular Automata
Language, Culture, and Ideology: Personalizing Offensiveness Detection in Political Tweets with Reasoning LLMs
arxiv.org·2d
📊Feed Optimization