🏗️ Pavex - hello · Scour

Compiled AI: Deterministic Code Generation for LLM-Based Workflow Automation 🎭Program Synthesis

arxiv.org·6d

A Role-Based Workflow to Supercharge AI Coding — A Tool-Agnostic Design Philosophy 🎭Program Synthesis

norinori1-web-site.vercel.app·1d·DEV

What Comes After Vibe Coding 🎭Program Synthesis

blog.bijup.com·9h·Hacker News

Using Claude Code with Local LLM Models: The Complete Guide 🦙Ollama

jonathansblog.co.uk·7h

We Ran Four Security Tools Against Express.js. They Found Each Other's Proof. 🦎Leptos

dev.to·1d·DEV

DDD Bounded Contexts: Clear Domain Boundaries for LLM Code Generation 🌳Tree-sitter

understandingdata.com·4d·Hacker News

How to make Firefox builds1 17% faster2 🔨Incremental Compilation

blog.farre.se·4d·Lobsters, Hacker News

Prevent confidential data leaks at compile time with labelled types in Sigil #️⃣Perfect Hashing

inerte.github.io·5d·Hacker News

When LLMs Lag Behind: Knowledge Conflicts from Evolving APIs in Code Generation 🚀MLOps

arxiv.org·1d

From Voice to Code: Architecting a Local AI Agent with Llama 3.2 & Streamlit 🦙Ollama

dev.to·1d·DEV

Agentic Application in Power Grid Static Analysis: Automatic Code Generation and Error Correction 🎭Program Synthesis

arxiv.org·11h

DeepGuard: Secure Code Generation via Multi-Layer Semantic Aggregation 🐛Fuzzing

arxiv.org·1d

UIPress: Bringing Optical Token Compression to UI-to-Code Generation 🗜️Columnar Compression

arxiv.org·1d

Vision-Guided Iterative Refinement for Frontend Code Generation 🎨Creative Coding

arxiv.org·6d

An Iterative Test-and-Repair Framework for Competitive Code Generation 🧬Mutation Testing

arxiv.org·6d

ZeroCoder: Can LLMs Improve Code Generation Without Ground-Truth Supervision? 📊Profile-Guided Optimization

arxiv.org·4d

Automating Database-Native Function Code Synthesis with LLMs 📋LLVM TableGen

arxiv.org·5d

Compact Constraint Encoding for LLM Code Generation: An Empirical Study of Token Economics and Constraint Compliance 📊Profile-Guided Optimization

arxiv.org·5d

Babbling Suppression: Making LLMs Greener One Token at a Time 📦Folly

arxiv.org·5d

PROMISE: Proof Automation as Structural Imitation of Human Reasoning 🧮SMT Solvers

arxiv.org·6d

No more posts from hello's subscribed feeds.

Scour all 23982 feeds Learn more about Feeds