🎯 Dependent Parsing

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

Maybe writing speed actually is a bottleneck for programming
buttondown.com·18h·
Discuss: Hacker News
📏Code Metrics
Intermediate Zig Build
rdunnington.github.io·8h·
Discuss: Hacker News
⚙️Build Archaeology
Show HN: 1.5B LLM routing model that aligns to preferences, not leaderboards
huggingface.co·17h·
Discuss: Hacker News, Hacker News
📝ABNF Parsing
State of the Art of Prompt Engineering • Mike Taylor • GOTO 2025
youtube.com·1d
🖥️Terminal Renaissance
My Experience With Claude Code After 2 Weeks of Adventures
sankalp.bearblog.dev·1d·
Discuss: Hacker News
🌳Incremental Parsing
I Got into Deep Learning
vikas.sh·1d·
Discuss: Hacker News
🧠Machine Learning
Creating an AI Study Buddy Assistant with Google AI Studio
dev.to·7h·
Discuss: DEV
⚡Proof Automation
Monotone weak distributive laws over the lifted powerset monad in categories of algebras
arxiv.org·9h
🧮Algebraic Archives
Dataset resulting from the user study on comprehensibility of explainable AI algorithms
arxiv.org·9h
🧠Machine Learning
How We Built Our Internal E-E-A-T Content Analyzer with Froala
dev.to·1d·
Discuss: DEV
🌳Incremental Parsing
The Case for Contextual Copyleft: Licensing Open Source Training Data and Generative AI
arxiv.org·9h
🔓Open Source Software
"How to Explore Biases in Speech Emotion AI with Users?" A Speech-Emotion-Acting Study Exploring Age and Language Biases
arxiv.org·9h
📊Learned Metrics
NonverbalTTS: A Public English Corpus of Text-Aligned Nonverbal Vocalizations with Emotion Annotations for Text-to-Speech
arxiv.org·9h
🎙️Whisper
Multi-Class-Token Transformer for Multitask Self-supervised Music Information Retrieval
arxiv.org·9h
🎧Learned Audio
Day 38: When Code Feels More Honest Than People
dev.to·1h·
Discuss: DEV
🎯Gradual Typing
Physically Based Neural LiDAR Resimulation
arxiv.org·9h
🔬Optical Physics
LLM-Augmented Symptom Analysis for Cardiovascular Disease Risk Prediction: A Clinical NLP
arxiv.org·2d
🎙️Whisper
Intuitive Fine-Tuning: Towards Simplifying Alignment into a Single Process
arxiv.org·3d
✨Effect Handlers
Sparse Autoencoders Can Capture Language-Specific Concepts Across Diverse Languages
arxiv.org·2d
💻Local LLMs
Thought Purity: Defense Paradigm For Chain-of-Thought Attack
arxiv.org·1d
🛡️Proof-Carrying Archives