🔤 Morris-Pratt

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

Travels, 10
cameroncounts.wordpress.com·5h
🎯Performance Proofs
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·2d
🌳Archive Merkle Trees
Ask HN: Feedback on "QSS" – A Quantized Vector Search Engine in C
news.ycombinator.com·1d·
Discuss: Hacker News
🗂️Vector Databases
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·20h
🧮Prolog Parsing
Introduction to Algorithms: What They Are and Why They Matter
dev.to·1d·
Discuss: DEV
🧮Kolmogorov Complexity
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·10h·
Discuss: Hacker News
🌀Brotli Internals
Contextualizing SUTRA: Advancements in Multilingual & Efficient LLMs
hackernoon.com·4h
💻Local LLMs
Automattic/harper: Offline, privacy-first grammar checker. Fast, open-source, Rust-powered
github.com·1d
📝Concrete Syntax
A Briefing on Logistic Regression
blog.engora.com·7h·
Discuss: Hacker News
🧠Machine Learning
The Guide to the Foundation Models Framework
azamsharp.com·6h·
Discuss: Hacker News
λLambda Formalization
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·1d
🧮Z3 Solver
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Adding linear-time lookbehinds to RE2
systemf.epfl.ch·3d·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.com·5h·
Discuss: Hacker News
📋DFDL
Hypercubical manifolds in homotopy type theory
arxiv.org·16h
🔶Cubical Type Theory
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·16h
🔗Topological Sorting
How I Built a Self-Correcting Prompt Generator with Multi-Stage LLM Calls"
dev.to·6h·
Discuss: DEV
🤖Lisp Machines
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·2d
λLambda Encodings