🏗️ Minimal Compilers - abnv · Scour

Making a Language

thunderseethe.dev·9h

🔬programming language theory

Designing a Programming Language for the Desert

futhark-lang.org·16h·

Discuss: Hacker News

🔄Bootstrapping

Discovering 100+ Compiler Defects in 72 Hours via LLM-Driven Semantic Logic Recomposition

arxiv.org·1d

🩺Compiler Diagnostics

GNU C Language Manual

gnu.org·12h

🪄C Metaprogramming

C++ Is An Absolute Blast

learncodethehardway.com·4h

🪄C Metaprogramming

Building a mini PyTorch in C++ from scratch as a high school student...

dev.to·18h·

Discuss: DEV

Trying Zig by Implementing CHIP-8

agentultra.com·1d

Writing your first compiler

popovicu.com·3d·

Discuss: Hacker News, r/golang

⚙️Compilers

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·20h

🏗️Cranelift

Nameless, less is more

endlessparentheses.com·18h

🌱Tiny Languages

korrectional/Every-Week: Making a little project every week

github.com·1d·

Discuss: Hacker News

📚Self-Documenting Code

Soundness bugs in Rust libraries: can't live with 'em, can't live without 'em

docs.rs·16h·

Discuss: Hacker News

🔒Rust Borrowing

Deep learning as program synthesis

lesswrong.com·1d·

Discuss: Lobsters, Hacker News

🎭Program Synthesis

New comment by pessimizer in "Nanolang: A tiny experimental language designed to be targeted by coding LLMs"

news.ycombinator.com·1d·

Discuss: Hacker News

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮Theorem Provers

HELIOS: Hierarchical Graph Abstraction for Structure-Aware LLM Decompilation

arxiv.org·3h

📊Graph Compilers

🎢 Beginner-Friendly Guide 'Construct the Minimum Bitwise Array II' - LeetCode 3315 (C++, Python, JavaScript)

dev.to·1d·

Discuss: DEV

🎯Bit Vectors

Randomization in Typst

idraluna-archives.bearblog.dev·12h

🌊Gradual Effects

istmarc/tenseur: C++23 Tensor, neural networks and mathematical library

github.com·13h·

Discuss: r/cpp

🦀MIR Optimization

Binary Algorithms

exystence.net·1d

📡Binary Protocols

Loading more...