🎯 Dependent Parsing

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

AwesomeAssertions/AwesomeAssertions
github.com·1d
✅Format Verification
As chatbots improve, humans' unique language abilities are becoming less special
phys.org·2d
🤖Grammar Induction
Maybe writing speed actually is a bottleneck for programming
buttondown.com·14h·
Discuss: Hacker News
📏Code Metrics
Intermediate Zig Build
rdunnington.github.io·4h·
Discuss: Hacker News
⚙️Build Archaeology
Show HN: 1.5B LLM routing model that aligns to preferences, not leaderboards
huggingface.co·13h·
Discuss: Hacker News, Hacker News
📝ABNF Parsing
The Architecture of Open Source Applications (Volume 1) Battle for Wesnoth
aosabook.org·17h·
Discuss: Hacker News
🔒WASM Capabilities
I Got into Deep Learning
vikas.sh·1d·
Discuss: Hacker News
🧠Machine Learning
[D] Signal/Info Processing Vs. ML Specializations in Master-Level Programs
reddit.com·1h·
Discuss: r/MachineLearning
🧠Machine Learning
Supporting SEN\'{C}OTEN Language Documentation Efforts with Automatic Speech Recognition
arxiv.org·2d
🎙️Whisper
Funnel-HOI: Top-Down Perception for Zero-Shot HOI Detection
arxiv.org·6h
🤖Advanced OCR
Using AI to replicate human experimental results: a motion study
arxiv.org·3d
💻Programming languages
Protocols for Verifying Smooth Strategies in Bandits and Games
arxiv.org·2d
🎯Performance Proofs
Partial decidability protocol for the Wang tiling problem from statistical mechanics and chaotic mapping
arxiv.org·6h
🎯Performance Proofs
Parsing Protobuf Like Never Before
mcyoung.xyz·2d·
Discuss: Lobsters, Hacker News, r/programming
🔧Binary Parsers
Creating an AI Study Buddy Assistant with Google AI Studio
dev.to·4h·
Discuss: DEV
⚡Proof Automation
Monotone weak distributive laws over the lifted powerset monad in categories of algebras
arxiv.org·6h
🧮Algebraic Archives
Dataset resulting from the user study on comprehensibility of explainable AI algorithms
arxiv.org·6h
🧠Machine Learning
How We Built Our Internal E-E-A-T Content Analyzer with Froala
dev.to·22h·
Discuss: DEV
🌳Incremental Parsing
The Case for Contextual Copyleft: Licensing Open Source Training Data and Generative AI
arxiv.org·6h
🔓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·6h
📊Learned Metrics