Results for "compiler".

vLLM-Compile: Bringing Compiler Optimizations to LLM Inference

vLLM-compile: Bringing Compiler Optimizations to LLM Inference Luka Govedič vLLM Committer Senior Machine Learning Engineer, Red Hat 1…

Compiler Testing – Part 1: Coverage-Guided Fuzzing with Grammars and LLMs

Compiler fuzzing for small languages is a specific problem — few optimization passes, tiny corpora, thin docs. This post covers how coverage-guided fuzzing and LLM-assisted tooling adapt to smart-cont…

Microsoft Edit 2.0.0 – A compiler for syntax highlighting

⚠️ If you're a package maintainer, please read the last section at the end. Syntax Highlighting Edit v2 adds the Lightweight Syntax Highlighter. It has a ~40kB footprint for a dozen languages plus ...…

I'm depressed so I'm writing a rust compiler

The Final Form of Software Development

What if the final form of software development was just watching code and proof popping up while you sip a drink? Letting AI agents write assembly directly alongside Lean proofs sidesteps the whole co…

GCC 16's Improved Error Messages, Experimental HTML Output

GCC 16.1 as the first stable version of the GCC 16 compiler is releasing as soon as later this week if all goes well…

Xiaomi releases MiMo-v2.5 Family weights with strong coding and agent benchmarks

Peking University gives its computer science students a compiler project every semester. Build a complete SysY compiler in Rust including lexer, parser, abstract syntax tree, IR code generation, assem…

Discovering Agentic Safety Specifications from 1-Bit Danger Signals

Can large language model agents discover hidden safety objectives through experience alone? We introduce EPO-Safe (Experiential Prompt Optimization for Safe Agents), a framework where an LLM iterative…