🎯 Dependent Parsing

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

0001893: Support .scc-format subtitles
dcpomatic.com·11h
📦MKV Containers
LLMs and reinforcement learning
sicpers.info·3d
⚔️Lean Tactics
Joy & Curiosity #57
registerspill.thorstenball.com·2d
🏺ZIP Archaeology
Inverting matrices and bilinear functions
johndcook.com·1d·
Discuss: Hacker News
📐Linear Algebra
Sora 2 Video Creator
aisora2.com·3h·
Discuss: Hacker News
🎬WebCodecs
Funniest/Most Insightful Comments Of The Week At Techdirt
techdirt.com·1d
⚡Proof Automation
How Good Is AI At Software Application Development?
forbes.com·1d
🔄Language Evolution
Drip by drip: Research provides first complete mathematical description of stalagmite shapes
phys.org·13h
🏺Computational Archaeology
Can an LLM Be a Black-Box Optimizer?
posgeo.wordpress.com·3d·
Discuss: Hacker News
🧮Kolmogorov Bounds
Functions are Asymmetric
elbeno.com·3d·
Discuss: Hacker News
🔗Concatenative Programming
Clarity
robinsloan.com·4d
🧠Intelligence Compression
Adaptive Beamforming Optimization for Millimeter-Wave Satellite Communication via Reinforcement Learning
dev.to·11h·
Discuss: DEV
📊Quantization
The Future of AI in Web Development: From Automation to Personalization
maker.forem.com·1d·
Discuss: DEV
📊Feed Optimization
VideoNorms: Benchmarking Cultural Awareness of Video Language Models
arxiv.org·4d
📊Learned Metrics
Macros 2.0 is one of the most exciting Rust features I'm looking forward to
reddit.com·3d·
Discuss: r/rust
🦀Rust Macros
Google Opal is not a “degraded Dify”. Its strategic positioning and optimal utilisation methods revealed through actual use
dev.to·1d·
Discuss: DEV
🦋Format Metamorphosis
A Semantic Framework for Patient Digital Twins in Chronic Care
arxiv.org·1d
🏛Digital humanities
3C Resources Joint Allocation for Time-Deterministic Remote Sensing Image Backhaul in the Space-Ground Integrated Network
arxiv.org·1d
⚽Sphere Packing
Analyzing Data Quality and Decay in Mega-Constellations: A Physics-Informed Machine Learning Approach
arxiv.org·4h
🧠Machine Learning
H1B-KV: Hybrid One-Bit Caches for Memory-Efficient Large Language Model Inference
arxiv.org·6d
💨Cache Optimization