🔨 Compiler Design - hello · Scour

serjective/aburiscript: A modern C and C++ compiler frontend ⚙️SWC

github.com·3d·r/C_Programming

Circuit Transformations, Loop Fusion, and Inductive Proof 🎴SIMD Shuffles

natetyoung.github.io·1d·Hacker News

From 0 to 1M Impressions: Building a Niche Compiler Blog 📊Profile-Guided Optimization

dev.to·4h·DEV

How Many Tries Does It Take? Iterative Self-Repair in LLM Code Generation Across Model Scales and Benchmarks 🔧LLVM IR Optimization

arxiv.org·14h

NoB (Noticeably Better): a compiled language that tries to stay out of your way 🦀Rust Macros

nob-lang.omni-flows.uk·1d·DEV

A language where you describe the system and the compiler verifies it ✓Formal Verification

spine-lang.org·4d·Hacker News

Everything Should Be Typed: Scalar Types Are Not Enough 📦Serde

sot.dev·1d·Lobsters, Hacker News, r/programming, r/rust

The 6 Big Ideas of Typescript 📐Type Theory

sitr.us·5d·r/programming

Vine; a Gen-Z themed language + compiler for learning 🦀Rust Macros

github.com·21h·r/compsci

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

arxiv.org·1d

MLanguage/mlang: Compiler for the M language, used to compute the income tax of French taxpayers 🏭Code Generation

github.com·10h·Hacker News

SQLStructEval: Structural Evaluation of LLM Text-to-SQL Generation 🔥DataFusion

arxiv.org·5d

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

arxiv.org·5d

Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference 🔗Dependent Types

arxiv.org·6d

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

arxiv.org·6d

Arch: An AI-Native Hardware Description Language for Register-Transfer Clocked Hardware Design 🎲Hardware Branch Prediction

arxiv.org·6d

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

arxiv.org·6d

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

arxiv.org·5d

Inference-Time Code Selection via Symbolic Equivalence Partitioning 🌳Instruction Selection

arxiv.org·5d

CoverAssert: Iterative LLM Assertion Generation Driven by Functional Coverage via Syntax-Semantic Representations 🏗️MLIR

arxiv.org·5d

No more posts from hello's subscribed feeds.

Scour all 23983 feeds Learn more about Feeds