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

Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·1d·
Discuss: Hacker News
📝Concrete Syntax
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·1d
🧮Kolmogorov Complexity
Toy Binary Decision Diagrams
philipzucker.com·1d
🧮Algebraic Datatypes
Unlocking Uniqueness: Mastering the Unique Character Algorithm in Go
dev.to·17h·
Discuss: DEV
🌳Trie Structures
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·17h·
Discuss: Hacker News
💻Local LLMs
Cactus Language • Semantics 1
inquiryintoinquiry.com·17h
🔢Denotational Semantics
Language Support for Marginalia Search
marginalia.nu·1d
🔍BitFunnel
Let's Prove Leftpad
github.com·1h·
Discuss: Hacker News
📜Proof Carrying Code
From Matmul to Meaning
evis.dev·6h·
Discuss: Hacker News
📐Linear Algebra
Atomic and Saturated Models
functor.network·3d·
Discuss: Hacker News
🔢Denotational Semantics
Detecting Distillation Data from Reasoning Models
arxiv.org·5h
⚙️ABNF Mining
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·5h
💻Programming languages
Fun with HyperLogLog and SIMD
vaktibabat.github.io·2d·
📊HyperLogLog
Constraint Satisfaction Approaches to Wordle: Novel Heuristics and Cross-Lexicon Validation
arxiv.org·1d
🧮SMT Solvers
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.com·1d·
Discuss: Hacker News
🕸️Knowledge Graphs
Vector Trifference
arxiv.org·5h
📐Linear Algebra
A Solution to the Paperclip Problem
link.springer.com·6h·
Discuss: Hacker News
🔲Cellular Automata