🎯 Dependent Parsing

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

MultiPar 1.3.3.5 Beta / 1.3.2.9
scour.ing·2d
🏺ZIP Archaeology
Implicit `operator bool` participates in comparison
quuxplusone.github.io·3d
🦀Rust Verification
Is GRPO Broken?
neelsomaniblog.com·1d·
Discuss: Hacker News
🧮Kolmogorov Bounds
Laion, the dataset behind Stable Diffusion (2023)
deeplearning.ai·1d·
Discuss: Hacker News
🎓Academic Torrents
Love C, Hate C: Web Framework Memory Problems
alew.is·2d·
Discuss: Hacker News
🔩Systems Programming
Show HN: I built a video-to-text tool – 10 min free daily, no signup
harku.io·2d·
Discuss: Hacker News
🎵Audio Streaming
Quantum Autonomy: Algorithms That Design Themselves by Arvind Sundararajan
dev.to·16h·
Discuss: DEV
⚛️Quantum Algorithms
Tech With Tim: Python Web Scraping: A Million Dollar Project Idea - FULL Build/Tutorial
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
AI Reddit Sensational Video Summarizer & Shorts Extractor:
dev.to·2d·
Discuss: DEV
🤖Archive Automation
Extreme Amodal Face Detection
arxiv.org·3d
🌀Differential Geometry
ResAD: Normalized Residual Trajectory Modeling for End-to-End Autonomous Driving
arxiv.org·2d
🌀Riemannian Computing
Python 3.14 Released with Template String Literals, Deferred Annotations, and
socket.dev·5d·
Discuss: Hacker News
💧Liquid Types
GPT-5-Codex is a better AI researcher than me
seangoedecke.com·6d
🧠Intelligence Compression
Pathology-CoT: Learning Visual Chain-of-Thought Agent from Expert Whole Slide Image Diagnosis Behavior
arxiv.org·5d
🤖Advanced OCR
GRACE: Generative Representation Learning via Contrastive Policy Optimization
arxiv.org·5d
📊HyperLogLog
AgentAsk: Multi-Agent Systems Need to Ask
arxiv.org·2d
🧮Kolmogorov Complexity
Evaluating LLM Safety Across Child Development Stages: A Simulated Agent Approach
arxiv.org·4d
💻Programming languages
LLMs as Policy-Agnostic Teammates: A Case Study in Human Proxy Design for Heterogeneous Agent Teams
arxiv.org·4d
🔲Cellular Automata
Get RICH or Die Scaling: Profitably Trading Inference Compute for Robustness
arxiv.org·3d
🧠Intelligence Compression
How to Teach Large Multimodal Models New Skills
arxiv.org·2d
📊Learned Metrics