🔨 Compilers - matmat · Scour

Optimizing xreferee with elemIndex ⚙️Compression Benchmarking

brandonchinn178.github.io·6d·Lobsters

joshbenz/netconf-rust: An async Rust NETCONF client implementing RFC 6241, RFC 6242, and RFC 4742 with pipelining and zero-copy XML parsing 🔒Linear Types

Mechanistic interpretability and lean ⚔️Lean Tactics

alok.github.io·4d

Rust Vs C: We Benchmarked The Same Parser At 8M Ops/sec — C Won Speed, Rust Won Production 🦀Rust Borrowing

·5d

GCC 16 Compiler Nearly Ready For Release With Zen 6, AVX10.2, APX & Algol 68 🖥️Modern CPU

phoronix.com·3d·Hacker News, r/linux

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

A History of Clojure (HOPL IV - Papers) 🧠Lisp Dialects

hopl4.sigplan.org·4d·Hacker News

Carnegie Mellon at ICLR 2026 💻Programming languages

blog.ml.cmu.edu·5d

Showoff Saturday: Using LLMs + Zod to create a deterministic parsing engine for educational content. 🌀Brotli Internals

github.com·1d·r/webdev

Cursor Rules for Rust: 6 Rules That Make AI Write Safe, Idiomatic Rust 🦀Rust Macros

oliviacraft.lat·6d·DEV

What Makes a Language Flourish? 💻Programming languages

5jt.com·3d·Hacker News

How Dolt Represents and Evaluates Queries: A Case Study 🗃️Database Storage

dolthub.com·6d

My practitioner view of program analysis ⛏️Proof Mining

sawyer.dev·5d·Hacker News

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

Regiux: prototyping a fast Nix interpreter (lixcon2026) 🦀Rust Borrowing

cdn.media.ccc.de·6d

CppCast: Compiler Warnings as Errors with Keith Stockdale 📜Proof Carrying Code

cppcast.com·5d·r/cpp

joshbenz/textfsm-rust: A Rust implementation of Google's TextFSM template-based state machine for parsing semi-formatted text. 🦀Rust Verification

#642, April 20th 2026 🦀Rust Macros

llvmweekly.org·5d

samchon/ttsc: A `typescript-go` toolchain for compiler-powered transforms and type-safe execution. ⬆️Lambda Lifting

github.com·1d·r/javascript, r/typescript

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

Log in to enable infinite scrolling