🔨 Compilers - matmat · Scour

What Makes a Language Flourish? 💻Programming languages

5jt.com·3d·Hacker News

LLM-Powered Deep Parsing for Industrial Inventory Search 🧮Prolog Parsing

hackernoon.com·5d

DryRUN: On the Role of Public Tests in LLM-Driven Code Generation ⚔️Lean Tactics

My practitioner view of program analysis ⛏️Proof Mining

sawyer.dev·5d·Hacker News

Show HN: Kdts, an optimization-first TypeScript compiler 🎯Gradual Typing

docs.kimlikdao.org·3d·Hacker News

Don't Read the PDF. Write the Parser. ✅Format Verification

adriacidre.com·3d·Hacker News

SolidCoder: Bridging the Mental-Reality Gap in LLM Code Generation through Concrete Execution 🦀Rust Macros

Making Interpreters Faster [video] 🌳Incremental Parsing

youtube.com·3d·Hacker News

Fable 5, F# compiler released 🦀Rust Macros

github.com·3d·Hacker News

Parallel-SFT: Improving Zero-Shot Cross-Programming-Language Transfer for Code RL 🔗Concatenative Programming

From If-Statements to ML Pipelines: Revisiting Bias in Code-Generation 🏗️Compiler Archaeology

6.22 Transpiling Python into LispE 🧠Lisp Dialects

github.com·5d·Lobsters

Prefix Parsing is Just Parsing 🔗Monadic Parsing

tuures/LiteMarkup: Tiny Markdown-like parser with a typed, AST-first TypeScript API. Under 3 KB gzipped, zero dependencies. 📝Concrete Syntax

github.com·6d·Hacker News

JTPRO: A Joint Tool-Prompt Reflective Optimization Framework for Language Agents 🧮SMT Solvers

Learning Reasoning World Models for Parallel Code ⚡Z3 Optimization

OptiVerse: A Comprehensive Benchmark towards Optimization Problem Solving ⚡Z3 Optimization

Less Is More: Measuring How LLM Involvement affects Chatbot Accuracy in Static Analysis ✅Formal Methods

HARBOR: Automated Harness Optimization 🔗Topological Sorting

Sophia: A Scalable Stochastic Second-order Optimizer for Language Model Pre-training 📊Quantization

arxiv.org·2d·Hacker News

Log in to enable infinite scrolling