🎯 Dependent Parsing

Context-sensitive Grammars, Type-dependent Syntax, Proof-carrying Parsers, Verified Parsing

Dear Abby: The mom leaves her kids with us every weekend
mercurynews.com·2h
🏠Personal Archives
Week #753 & #754
optional.is·1d
🌀Brotli Dictionary
XOR Crack Kit
kobolt.website·2d
🔐Cryptographic Archaeology
Artificial intelligence: Vibe coding service Replit deletes production database
heise.de·2d
🧮Z3 Solver
The long, knotty, world-spanning story of string
hakaimagazine.com·1d·
Discuss: Hacker News
📡Network Archaeology
Show HN: (Almost) instant NAICS, UNSPSC, HS code classification (free webapp)
classifast.com·2h·
Discuss: Hacker News
🔤Character Classification
Robots That Learn to Fear Like Humans Survive Better
spectrum.ieee.org·21h·
Discuss: Hacker News
🎯Threat Hunting
AIDE – a file and directory integrity checker
aide.github.io·1d·
Discuss: Hacker News
🏺ZIP Archaeology
The risks of 'vibe'-based image annotation
unite.ai·1d·
Discuss: Hacker News
📰Content Curation
Event Sourcing as the Backbone of AI Memory
tracardi.com·3d·
Discuss: Hacker News
⚡Incremental Computation
Caught a vibe that this coding trend might cause problems
theregister.com·1d·
Discuss: Hacker News
🚀Indie Hacking
Rust Embedded Drivers (RED) - Open Source Book
reddit.com·1d·
Discuss: r/rust
🦀Embedded Rust
Doubly transitive equiangular tight frames that contain regular simplices
arxiv.org·5d
🌀Differential Geometry
I Built an Tool to AI Agent Testing
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Data-Driven Incremental GAS Certificate of Nonlinear Homogeneous Networks: A Formal Modular Approach
arxiv.org·2d
🎯Performance Proofs
Data-Driven Model Order Reduction for Continuous- and Discrete-Time Nonlinear Systems
arxiv.org·2d
✨Algebraic Effects
Efficient Story Point Estimation With Comparative Learning
arxiv.org·5d
📊Learned Metrics
The Hidden Risk in ERP Automation: How One Bad Sentence Can Cost Your Company Millions
hackernoon.com·4d
⚡Proof Automation
Unlocking the Future with a Voice AI Platform
dev.to·2h·
Discuss: DEV
🎙️Whisper
ViGText: Deepfake Image Detection with Vision-Language Model Explanations and Graph Neural Networks
arxiv.org·2d
🤖Advanced OCR