🔤 Morris-Pratt

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

Parameterized types in C using the new tag compatibility rule
nullprogram.com·2h
🦀Rust Macros
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·3d
🌳Archive Merkle Trees
How to Prove That An Email Was Received
metaspike.com·1d
📄Document Digitization
Implementing Post Quantum algorithms in PKCS #11 - DevConf.CZ 2025
youtube.com·17h
🔐Quantum Security
GPULLama3 Brings GPU Accelerated LLM Inference to Pure Java
infoq.com·13h·
Discuss: Hacker News
💧Liquid Types
Enterprise Large Language Model Evaluation Benchmark
arxiv.org·21h
⚙️Compression Benchmarking
Machine Learning Fundamentals: accuracy with python
dev.to·2d·
Discuss: DEV
👁️Observatory Systems
Memory Safety in Web Rust System Zero Cost Secure（1750931826373700）
dev.to·16h·
Discuss: DEV
🦀Rust Borrowing
Writing Toy Software Is a Joy
quiz.businessexplain.com·22h·
Discuss: Hacker News
🔩Systems Programming
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·3d
🧮Z3 Solver
Probing AI Safety with Source Code
arxiv.org·21h
✨Effect Handlers
A Multi-Pass Large Language Model Framework for Precise and Efficient Radiology Report Error Detection
arxiv.org·21h
✅Format Verification
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·2d
💻Local LLMs
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·1d·
Discuss: DEV
🧮Kolmogorov Complexity
Semantic-Aware Parsing for Security Logs
arxiv.org·2d
📝Log Parsing
Amal’s First Switch Equation: Clean FizzBuzz with Bitmask Logic
dev.to·12h·
Discuss: DEV
🌊Stream Ciphers
new2
dev.to·22h·
Discuss: DEV
🧠Query Planners
Recursion and Dynamic Programming: Solving Problems Efficiently
dev.to·2d·
Discuss: DEV
🎯Performance Proofs
Oracle APEX Passkeys: Passwordless Authentication Guide
dev.to·7h·
Discuss: DEV
🔐PKI Archaeology
Unscrambling disease progression at scale: fast inference of event permutations with optimal transport
arxiv.org·1d
🧠Machine Learning