⚙️ Compilers - hop1.ng.1357 · Scour

An Empirical Study of Speculative Decoding on Software Engineering Tasks 🪄Prompt Engineering

bryanmaclee/scrmlTS: A single-file type, full-stack reactive web language. The compiler splits server from client, wires reactivity, routes HTTP, and emits plain HTML/CSS/JS ✏️Code Editors

github.com·3d·DEV

FlowBot: Inducing LLM Workflows with Bilevel Optimization and Textual Gradients ✨LLMs

cychronex-labs/Exlex: Zero-copy, Performance-first,no_std, DOD-based, Arena based Mutation Parser 🪝eBPF

github.com·5d·r/rust_gamedev

VulStyle: A Multi-Modal Pre-Training for Code Stylometry-Augmented Vulnerability Detection 💉Prompt Injection

Showoff Saturday: Using LLMs + Zod to create a deterministic parsing engine for educational content. 🪄Prompt Engineering

github.com·6d·r/webdev

poinsettiaclg-gif/AETHER-core: The open-source core compiler for the AETHER Agent Reliability Framework. Replaces fuzzy prompts with strict Weighted Intent Token (WIT) vectors to prevent Context Rot. 🔧Agent Tooling

github.com·4d·Hacker News

RealBench: A Repo-Level Code Generation Benchmark Aligned with Real-World Software Development Practices ✅Formal Verification

Feedback Over Form: Why Execution Feedback Matters More Than Pipeline Topology in 1-3B Code Generation 🪄Prompt Engineering

No Test Cases, No Problem: Distillation-Driven Code Generation for Scientific Workflows ⚙️MLOps

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

R2Code: A Self-Reflective LLM Framework for Requirements-to-Code Traceability 🪄Prompt Engineering

MEMCoder: Multi-dimensional Evolving Memory for Private-Library-Oriented Code Generation 🪄Prompt Engineering

FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean ✅Formal Verification

OptProver: Bridging Olympiad and Optimization through Continual Training in Formal Theorem Proving ✅Formal Verification

Defective Task Descriptions in LLM-Based Code Generation: Detection and Analysis 🪄Prompt Engineering

Aligned Multi-View Scripts for Universal Chart-to-Code Generation ✏️Code Editors

Fix Initial Codes and Iteratively Refine Textual Directions Toward Safe Multi-Turn Code Correction 👨‍💻AI Coding

BLAST: Benchmarking LLMs with ASP-based Structured Testing ✨LLMs

From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification ✅Formal Verification

Log in to enable infinite scrolling