📚 PL/0 Compilers - abnv · Scour

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

arxiv.org·15h

🔒Rust Borrowing

iGRPO: Self-Feedback-Driven LLM Reasoning

arxiv.org·15h

🪜Recursive Descent

Domain Specific Languages

martinfowler.com·5h

🎨Domain-Specific Languages

Sneaky quokka: Testing and debugging with LLMs

honnibal.dev·11h

🧪Parser Testing

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

github.com·1d

👑Dependent Haskell

ZX81 KEYBOARD Subroutine—Commentary

drj11.github.io·5h·

Discuss: Lobsters

💻Terminal Control

About the Information System on Graph Classes and their Inclusions

graphclasses.org·1d

🔗Graph Rewriting

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·6h·

Discuss: Lobsters, Hacker News, r/golang

Introducing Composer 1.5

cursor.com·23h·

Discuss: Hacker News

📚Self-Documenting Code

One Version of Events

thedailywtf.com·14h

🌉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

Writing a ledger-cli Language Server Protocol with claude

frdmtoplay.com·2d

🔒Rust Borrowing

Vibe Coding for Scientists

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

🎭Program Synthesis

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

fosdem.org·3d·

Discuss: Hacker News

🎓Teaching Compilers

GNU coreutils explained: the basic Linux tools that make the terminal work

howtogeek.com·4h

💻Terminal Control

Making Waffles with Group Theory

hmpcabral.com·1d·

Discuss: Hacker News

🧮Combinator Calculus

oozeBot Launches preFlight Slicer, Rebuilding PrusaSlicer on a Modern 64-Bit Architecture

fabbaloo.com·2h

📦Executable Size

Loading more...