Adding linear-time lookbehinds to RE2
systemf.epfl.ch·4d·
Discuss: Lobsters, Hacker News, r/programming
✅Format Verification
Exploring High Efficiency Web Analysis Results（1750876031390300）
dev.to·6h·
Discuss: DEV
🌊Stream Processing
How do CAPTCHAs Work?
corero.com·11h
⚡Proof Automation
Automattic/harper: Offline, privacy-first grammar checker. Fast, open-source, Rust-powered
github.com·1d
📝Concrete Syntax
4 Powerful Applications of IDALib: Headless IDA in Action
hex-rays.com·1h
🔬Binary Analysis
Show HN: Towards agentic Graph RAG: Enhancing graph retrieval with vector search
blog.kuzudb.com·3h·
Discuss: Hacker News
📊Graph Databases
The one-more-re-nightmare compiler (2021)
applied-langua.ge·1d·
Discuss: Lobsters, Hacker News, r/programming
🔤Morris-Pratt
Filter smarter: A better way to investigate fraud with Search
fingerprint.com·1d
🔍BitFunnel
Text2Struct: A Machine Learning Pipeline for Mining Structured Data from Text
arxiv.org·1d
🔤Character Classification
BNFGen: A random text generator based on context-free grammars
baturin.org·6h·
Discuss: Hacker News
🌳Context free grammars
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·1d
🧮Prolog Parsing
In the Wild: Malware Prototype with Embedded Prompt Injection
research.checkpoint.com·12h
🦠Malware Analysis
The Bitter Lesson is coming for Tokenization
lucalp.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Monadic Parsing
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Show HN: Anagnorisis, local data-management with trainable recommendation engine
github.com·1h·
Discuss: Hacker News
🤖Archive Automation
Driving cost-efficiency and speed in claims data processing with Amazon Nova Micro and Amazon Nova Lite
aws.amazon.com·7h
🌊Stream Processing
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.io·10h
📊Graph Databases
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·18h
📝Concrete Syntax
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
👹 Longest Binary Subsequence K – LeetCode 2311 (C++ | JavaScript | Python )
dev.to·22m·
Discuss: DEV
λLambda Encodings