🎯 Dependent Parsing

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

It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols
cacm.acm.org·3d
🌐NetworkProtocols
Hybrid AI-human approach is necessary to uphold research integrity
thehindu.com·4h·
Discuss: Hacker News
🔄Archival Workflows
Is Including Hidden AI Prompts In Academic Papers Gaming The Peer Review System — Or Keeping It Honest?
techdirt.com·14h
⚡Proof Automation
Meta-Prompting: Using LLMs to Improve How You Prompt LLMs
rkayg.com·2d·
Discuss: Hacker News
⚡Proof Automation
Solving the inference problem for open source AI projects with GitHub Models
github.blog·3d·
Discuss: Hacker News
🌀Brotli Internals
Benchmarking Retrieval-Augmented Generation (RAG) Systems
amirkabbara.substack.com·3d·
Discuss: Substack
🔍Information Retrieval
An Engineer's Guide to AI Code Model Evals
addyosmani.com·1d·
Discuss: r/programming, r/webdev
📏Code Metrics
[N] PapersWithCode sunsets, new HuggingFace Papers UI
reddit.com·1d·
Discuss: r/MachineLearning
🗜️Graph Compression
How To Significantly Enhance LLMs by Leveraging Context Engineering
towardsdatascience.com·4d
🔗Constraint Handling
How complicated is the code of the borrow checker?
reddit.com·3d·
Discuss: r/rust
🦀Rust Borrowing
Prompt Power-Up: Master AI Prompts for Seamless Code Migrations
dev.to·3d·
Discuss: DEV
🦋Format Metamorphosis
Automated Brake Onset Detection in Naturalistic Driving Data
arxiv.org·1d
🔄Finite State Machines
💡 Supercharge Your Git Workflow with AI — Introducing ai-git-cli (Open for Contributions!)
dev.to·1d·
Discuss: DEV
🌳Git Internals
[AutoBE] We made AI Friendly Compilers for Vibe Coding
dev.to·3d·
Discuss: DEV
📜Proof Carrying Code
Explainable Collaborative Problem Solving Diagnosis with BERT using SHAP and its Implications for Teacher Adoption
arxiv.org·4d
🔍Type Inference
Recursive Equations For Imputation Of Missing Not At Random Data With Sparse Pattern Support
arxiv.org·3d
🌸Bloom Variants
Extracting Visual Facts from Intermediate Layers for Mitigating Hallucinations in Multimodal Large Language Models
arxiv.org·4d
🧠Neural Compression
Clipper: Orchestrating Amazon Q with Algolia MCP for Read-Later Link Management
dev.to·18h·
Discuss: DEV
🌀Brotli Dictionary
Roseau: Fast, Accurate, Source-based API Breaking Change Analysis in Java
arxiv.org·2d
🧬Bitstream Evolution
Exploiting the Overlooked: From Regex Bypasses to Full Source Code Leaks
infosecwriteups.com·2d
💣ZIP Vulnerabilities