📚 PL/0 Compilers - abnv · Scour

RustCompCert: A Verified and Verifying Compiler for a Sequential Subset of Rust

arxiv.org·16h

🔒Rust Borrowing

iGRPO: Self-Feedback-Driven LLM Reasoning

arxiv.org·16h

🪜Recursive Descent

Quick Comparison of JVM Languages

jvmhost.com·8h·

Discuss: Hacker News

📦Portable Bytecode

Sneaky quokka: Testing and debugging with LLMs

honnibal.dev·12h

🧪Parser Testing

How I Built My Project in Haskell

dev.to·2d·

Discuss: DEV

🌱Minimal Languages

Domain Specific Languages

martinfowler.com·7h

🎨Domain-Specific Languages

plrg-bristol/advanced-haskell-2026: Resources for the 2026 Advanced Haskell seminar series at Bristol

github.com·1d

👑Dependent Haskell

Humanity's last programming language

xeiaso.net·21h·

Discuss: Hacker News

📖Literate Programming

ZX81 KEYBOARD Subroutine—Commentary

drj11.github.io·6h·

Discuss: Lobsters

💻Terminal Control

amirouche/seed: Adding `vau` with an immutable dynamic environment to Chez Scheme

github.com·1d·

Discuss: Hacker News

🔧Scheme Macros

Redefining Go Functions

pboyd.io·7h·

Discuss: Lobsters, Hacker News, r/golang

About the Information System on Graph Classes and their Inclusions

graphclasses.org·1d

🔗Graph Rewriting

Introducing Composer 1.5

cursor.com·1d·

Discuss: Hacker News

📚Self-Documenting Code

One Version of Events

thedailywtf.com·15h

🌉Language Bindings

On the Tension Between Object-Oriented and Generic Programming in C++

artima.com·2d

🗂️Type Indexing

yamlscript.org·3d

🏺Code Archeology

An introduction to lockless algorithms [LWN.net]

lwn.net·1d

🎯Ring Buffers

Building Interactive C/C++ workflows in Jupyter through Clang-REPL [video]

fosdem.org·3d·

Discuss: Hacker News

🎓Teaching Compilers

Writing a ledger-cli Language Server Protocol with claude

frdmtoplay.com·2d

🔒Rust Borrowing

Vibe Coding for Scientists

vibe-coding-101-iota.vercel.app·18h

🎭Program Synthesis

Loading more...