🎯 Dependent Parsing

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

Browsers battle over PDF capabilities
pdfa.org·1d
📋Document Standards
A Lot of Packets
funcall.blogspot.com·11h·
Discuss: www.blogger.com
📡Network Archaeology
Evaluating and lowering AI hallucination cost
johndcook.com·2d
⚡Incremental Computation
Old alt text advice – HTML Accessibility
html5accessibility.com·1d
🖋Typography
Bibliographical cornucopia for linguists, part 1
languagelog.ldc.upenn.edu·4d
📼Cassette Linguistics
Students, here are 5 key things to know when learning how to train large language models
techradar.com·3d
💻Local LLMs
Grep a million GitHub repositories via MCP
vercel.com·1d·
Discuss: Hacker News
⚡Proof Automation
REST: Stress Testing Large Reasoning Models by Asking Multiple Problems at Once
arxiv.org·4d
🧮SMT Solvers
From Novelty to Imitation: Self-Distilled Rewards for Offline Reinforcement Learning
arxiv.org·1d
📊Learned Metrics
How I Built an Automated GitHub Security Bot in a Weekend
dev.to·11h·
Discuss: DEV
⚡Proof Automation
Machine Learning Fundamentals: dropout tutorial
dev.to·12h·
Discuss: DEV
👁️Observatory Systems
NOCTA: Non-Greedy Objective Cost-Tradeoff Acquisition for Longitudinal Data
arxiv.org·2d
⧗Information Bottleneck
Your 92% Accurate AI Model Might Be Dangerous (Here's Why)
dev.to·19h·
Discuss: DEV
🔧Hardware Verification
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·5d
🧠Computational Logic
On One-Shot Signatures, Quantum vs Classical Binding, and Obfuscating Permutations
arxiv.org·2d
🔐Quantum Security
Show HN: Empromptu.ai – Agentic AI Building AI Apps
news.ycombinator.com·1d·
Discuss: Hacker News
🌀Brotli Internals
🧠 Generate JSON from Plain English — Free AI Tool for Developers
dev.to·1d·
Discuss: DEV
⚙️Parser Generators
ShopSmart AI - Revolutionary E-commerce Search with Algolia MCP Server
dev.to·2d·
Discuss: DEV
👤Search Personalization
Easy Agents: Build autonomous agents with just natural language
github.com·8h·
Discuss: Hacker News
⚡Proof Automation
My Experience With Claude Code After 2 Weeks of Adventures
sankalp.bearblog.dev·1d·
Discuss: Hacker News
🌳Incremental Parsing