🎯 Dependent Parsing

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

Browsers battle over PDF capabilities
pdfa.org·1d
📋Document Standards
From Linear Regression to XGBoost: A Side-by-Side Performance Comparison
machinelearningmastery.com·11h
🧠Machine Learning
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
Grep a million GitHub repositories via MCP
vercel.com·1d·
Discuss: Hacker News
⚡Proof Automation
Neural Network-Guided Symbolic Regression for Interpretable Descriptor Discovery in Perovskite Catalysts
arxiv.org·1d
🕸️Algebraic Topology
Frequently Asked Questions about FHE
jeremykun.com·6h·
Discuss: Hacker News
🔐Homomorphic Encryption
Cactus Language • Stylistics 4
inquiryintoinquiry.com·3d
🌳Context free grammars
COLIBRI Fuzzy Model: Color Linguistic-Based Representation and Interpretation
arxiv.org·2d
🌈Color Science
I built CodeMocker: AI-powered mock coding interviews
dev.to·13h·
Discuss: DEV
🎙️Whisper
[R][D] Interpretability as a Side Effect? Are Activation Functions Biasing Your Models?
reddit.com·2d·
Discuss: r/MachineLearning
📊Learned Metrics
Prompt4Trust: A Reinforcement Learning Prompt Augmentation Framework for Clinically-Aligned Confidence Calibration in Multimodal Large Language Models
arxiv.org·3d
🎙️Whisper
NarrLV: Towards a Comprehensive Narrative-Centric Evaluation for Long Video Generation Models
arxiv.org·2d
📊Rate-Distortion Theory
REST: Stress Testing Large Reasoning Models by Asking Multiple Problems at Once
arxiv.org·3d
🧮SMT Solvers
From Novelty to Imitation: Self-Distilled Rewards for Offline Reinforcement Learning
arxiv.org·19h
📊Learned Metrics
NOCTA: Non-Greedy Objective Cost-Tradeoff Acquisition for Longitudinal Data
arxiv.org·1d
⧗Information Bottleneck
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·4d
🧠Computational Logic
How I Built an Automated GitHub Security Bot in a Weekend
dev.to·5h·
Discuss: DEV
⚡Proof Automation
Machine Learning Fundamentals: dropout tutorial
dev.to·6h·
Discuss: DEV
👁️Observatory Systems