🔩 MLIR - estaugaard · Scour

Books and slides from Markdown: Quarkdown 2.0 is here 🌀Helix

heise.de·5d·Hacker News

Large Language Models for Multilingual Code Intelligence: A Survey 🔍Parsers

MiMo-V2.5 Voice - 适用于方言、代码转换和歌曲的双语语音识别 🔍Parsers

producthunt.com

·4d

Why Cybersecurity Must Rethink Defense in the Age of Autonomous Agents 🛡️Digital Sovereignty

securityweek.com·6d

DSQL SQL Dialect: How Amazon Aurora DSQL differs from single-instance PostgreSQL 📡Local-First Software

aws.amazon.com·3d

ClassEval-Pro: A Cross-Domain Benchmark for Class-Level Code Generation λFunctional Programming

An Empirical Study of Speculative Decoding on Software Engineering Tasks 🔍Query Optimization

TDD Governance for Multi-Agent Code Generation via Prompt Engineering λDependent Types

Leveraging LLMs for Multi-File DSL Code Generation: An Industrial Case Study 🔍Parsers

Evaluation of LLM-Based Software Engineering Tools: Practices, Challenges, and Future Directions λFunctional Programming

Defective Task Descriptions in LLM-Based Code Generation: Detection and Analysis 🔍Parsers

When Prompt Under-Specification Improves Code Correctness: An Exploratory Study of Prompt Wording and Structure Effects on LLM-Based Code Generation 🔍Parsers

MEMCoder: Multi-dimensional Evolving Memory for Private-Library-Oriented Code Generation 0️⃣Zero-Copy

CoRE: A Fine-Grained Code Reasoning Benchmark Beyond Output Prediction λDependent Types

SAFEdit: Does Multi-Agent Decomposition Resolve the Reliability Challenges of Instructed Code Editing? 🔍Parsers

Assessing the Impact of Requirement Ambiguity on LLM-based Function-Level Code Generation λFunctional Programming

DepthKV: Layer-Dependent KV Cache Pruning for Long-Context LLM Inference 0️⃣Zero-Copy

No Test Cases, No Problem: Distillation-Driven Code Generation for Scientific Workflows 🔍Parsers

BLAST: Benchmarking LLMs with ASP-based Structured Testing λFunctional Programming

Benchmarking Testing in Automated Theorem Proving λDependent Types

Log in to enable infinite scrolling