🔨 Compiler Design - hello · Scour

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

github.com·3d·r/C_Programming

SLM Finetuning for Natural Language to Domain Specific Code Generation in Production 🌳Tree-sitter

arxiv.org·17h

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

natetyoung.github.io·1d·Hacker News

Simple coding projects anyone?? 📚Technical Writing

programiz.com·3h·r/learnpython

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

spine-lang.org·4d·Hacker News

Output Parsers in LangChain With Examples 🦗Pest

netjstech.com·4d·netjstech.com

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·23h·r/compsci

Foundations of the GraphAlg Language 📊Datalog

arxiv.org·17h

SSA without Dominance for Higher-Order Programs 🔓Lock-Free Programming

arxiv.org·17h

Emulation-Completeness of Programming Languages 🖥️Emulation

arxiv.org·17h

marvec/cel-vm: High-performance Common Expression Language (CEL) evaluator in JavaScript using a bytecode VM. No runtime dependencies. 🥖Bun

github.com·5d·r/SideProject

Parameterized Algorithms and Complexity for Function Merging with Branch Reordering λFunctional Programming

arxiv.org·17h

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