🔤 Morris-Pratt

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

Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·2d·
Discuss: Hacker News
📝Concrete Syntax
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·1d
🧮Kolmogorov Complexity
The Chip That Spoke Lisp
jxself.org·2h
🤖Lisp Machines
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·2h
🎯Proof Tactics
Toy Binary Decision Diagrams
philipzucker.com·1d
🧮Algebraic Datatypes
This Puzzle Shows Just How Far LLMs Have Progressed in a Little Over a Year
towardsdatascience.com·55m
📐Mathematical Art
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·22h·
Discuss: Hacker News
💻Local LLMs
Cryptography for the Everyday Developer: Number Theory for Public Key Cryptography
sookocheff.com·1h
🔢Reed-Solomon Math
Unlocking Uniqueness: Mastering the Unique Character Algorithm in Go
dev.to·22h·
Discuss: DEV
🌳Trie Structures
Cactus Language • Semantics 1
inquiryintoinquiry.com·21h
🔢Denotational Semantics
Let's Prove Leftpad
github.com·5h·
Discuss: Hacker News
📜Proof Carrying Code
RAG Chunking Strategies That Actually Work (and Why Most Don’t)
dev.to·4h·
Discuss: DEV
📄Text Chunking
From Matmul to Meaning
evis.dev·11h·
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·9h
⚙️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·9h
💻Programming languages
GPT-5-Codex is a better AI researcher than me
seangoedecke.com·13h·
Discuss: Hacker News
🧠Intelligence Compression
Constraint Satisfaction Approaches to Wordle: Novel Heuristics and Cross-Lexicon Validation
arxiv.org·1d
🧮SMT Solvers
Fun with HyperLogLog and SIMD
vaktibabat.github.io·3d·
Discuss: Hacker News, r/rust
📊HyperLogLog