🔨 Compilers - matmat · Scour

Introduction to Compilers and Language Design 📝Compiler Design

dthain.github.io·9h·

C2RustXW: Program-Structure-Aware C-to-Rust Translation via Program Analysis and LLM 🦀Rust Borrowing

arxiv.org·2d·

Programming languages for AI 💻Programming languages

blog.ploeh.dk·3d·

Building CompilerSutra 📝Compiler Design

docs.google.com·18h·DEV·

Parsing a Chinese Poem as a Formal System That Runs 🌲Parse Trees

jimiwen.substack.com·2d·Substack·

Code generation that just works ⚔️Lean Tactics

maryrosecook.com·6d·

ppb: A non-allocating lexer for protocol buffers 📋Protocol Buffers

github.com

·22h·Lobsters·

Embracing AI with Claude's C Compiler ⚙️RISC-V Microcode

chipsandcheese.com·1d·Hacker News·

Validating Hare’s Sort Module using Symbolic Execution ⚔️Lean Tactics

notes.8pit.net·6h·Lobsters·

Programming Languages and Type Safety in the Era of LLMs 🦀Rust Macros

thecodedmessage.com·1d·

Rust's next-generation trait solver 🦀Rust Borrowing

lwn.net

·3d·

Challenges of specifying and compiling gas-fueled languages 🔗Functional Compilers

rubber-duck-typing.com·1d·Hacker News·

C89cc.sh – standalone C89/ELF64 compiler in pure portable shell 📝Shell Parsing

gist.github.com·1d·Hacker News·

Compiler as a Service: C++ Goes Live – Interactive C++, interop, and beyond [video] 🏗️Compiler Archaeology

youtube.com·3d·Hacker News·

Training mRNA Language Models Across 25 Species for $165 🤖Grammar Induction

news.ycombinator.com·1d·Hacker News·

Meta-Harness: End-to-End Optimization of Model Harnesses ✨Effect Handlers

yoonholee.com·3d·Hacker News·

Boriel Basic - a modern compiler for ZX Spectrum (readthedocs.io) 🔗Static Linking

zxbasic.readthedocs.io·1d·

nstarke/egodeath: A JavaScript Obfuscator based on AST Transforms ⬆️Lambda Lifting

github.com·16h·Hacker News·

TruffleRuby ✅Formal Methods

chrisseaton.com·5d·Hacker News·

Show HN: Qwen Meetup, Function Calling Harness, turning 6.75% to 100% 🎯Gradual Typing

autobe.dev·6d·Hacker News, Hacker News·

Loading more...