🎯 Dependent Parsing

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

Implicit `operator bool` participates in comparison
quuxplusone.github.io·1d
🦀Rust Verification
Is GRPO Broken?
neelsomaniblog.com·2h·
Discuss: Hacker News
🧮Kolmogorov Bounds
Show HN: I built a video-to-text tool – 10 min free daily, no signup
harku.io·13h·
Discuss: Hacker News
🎵Audio Streaming
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·1d·
Discuss: Hacker News
λLambda Encodings
Picking an AI Code Reviewer
markmarkoh.com·7h·
Discuss: Hacker News
📏Code Metrics
OpenAI's inflated valuation, as I understand it
taloranderson.com·11h·
Discuss: Hacker News
💻Local LLMs
Managing Asynchronous Work with Celery and Redis
dev.to·16h·
Discuss: DEV
🌊Apache Kafka
Beneficial Reasoning Behaviors in Agentic Search and Effective Post-training to Obtain Them
arxiv.org·1d
🔍Semantic Search
Recurrent Natural Policy Gradient for POMDPs
arxiv.org·23h
🔲Cellular Automata
Transformer-Based Indirect Structural Health Monitoring of Rail Infrastructure with Attention-Driven Detection and Localization of Transient Defects
arxiv.org·23h
🧠Machine Learning
Decoding Cultures: Why Your Video AI Isn't Truly Seeing the World by Arvind Sundararajan
dev.to·13h·
Discuss: DEV
🌍Cultural Algorithms
Quantifying Data Contamination in Psychometric Evaluations of LLMs
arxiv.org·1d
🧠Intelligence Compression
DeepEN: Personalized Enteral Nutrition for Critically Ill Patients using Deep Reinforcement Learning
arxiv.org·23h
🧠Machine Learning
Computational Complexity of Covering Two-vertex Multigraphs with Semi-edges
arxiv.org·1d
🕸️Graph Algorithms
LangChain and LlamaIndex in 2025: How Developers Are Building Smarter AI Workflows
dev.to·7h·
Discuss: DEV
🌀Brotli Internals
TS-Reasoner: Aligning Time Series Foundation Models with LLM Reasoning
arxiv.org·3d
🎯Gradual Typing
Causal Abstractions, Categorically Unified
arxiv.org·3d
✨Effect Handlers
DRPO: Efficient Reasoning via Decoupled Reward Policy Optimization
arxiv.org·3d
🎯Performance Proofs
MSF-SER: Enriching Acoustic Modeling with Multi-Granularity Semantics for Speech Emotion Recognition
arxiv.org·2d
🎵Audio ML
Machines in the Crowd? Measuring the Footprint of Machine-Generated Text on Reddit
arxiv.org·1d
🏛Digital humanities