🔨 Compilers - matmat · Scour

A language designed for machines to write

negroniventurestudios.com·15h·

Discuss: Hacker News

💻Programming languages

Translating C To Rust: Lessons from a User Study

papers.cool·2h

🦀Rust Borrowing

Lil' Fun Langs' Guts

taylor.town·1d·

Discuss: Hacker News, r/programming

🔗Functional Compilers

freest-lang/freest: A programming language for safe concurrency powered by context-free session types.

github.com·9h

🔗Functional Compilers

From Prompts to Performance: Evaluating LLMs for Task-based Parallel Code Generation

arxiv.org·3d

🧮Compute Optimization

TENSURE: Fuzzing Sparse Tensor Compilers (Registered Report)

ndss-symposium.org·1d·

Discuss: Hacker News

🧪Binary Fuzzing

Rust 1.77.0: C-String Literals and More

hackernoon.com·16h

🦀Rust Borrowing

I Built a Scheme Compiler with AI in 4 Days

matthewphillips.info·13h·

Discuss: Hacker News

🦀Rust Macros

Enshittification

forums.anandtech.com·11h

📝ABNF Extensions

morling.dev·2d

🔄Reproducible Builds

Verilog Testbench Essentials

hackster.io·5h

🔍FPGA Verification

PEP 827 – Type Manipulation

peps.python.org·3d

🎯Gradual Typing

VihangaFTW/bytetok: A fast BPE tokenizer with a clean Python API.

github.com·8h·

Discuss: r/Python

📝ABNF Parsing

Array-Carrying Symbolic Execution for Function Contract Generation

arxiv.org·3d

⬆️Lambda Lifting

F# Weekly #9, 2026 – Crunching the Technical Debt with Repo Assist

sergeytihon.com·19h

💧Liquid Types

Optimizing LLM Inference: Sparse Activation, MoE, and Gated-MLP Efficiency

hackernoon.com·3d

Let’s stop copying C

eev.ee·2d

🔗Concatenative Programming

An Introduction to Lean 4

uv.es·1d

⚔️Lean Tactics

Fast Autoscheduling for Sparse ML Frameworks

fredrikbk.com·1d·

Discuss: Hacker News

🌊Streaming Algorithms

Zevi's AI Development Workflow

shorthaired-billboard-f9a.notion.site·8h

⚡Proof Automation

Loading more...