🔮 Clojure - abnv · Scour

ArthurHeymans/emacs-tramp-rpc: High-performance TRAMP backend using JSON-RPC instead of shell parsing

github.com·18h·

Discuss: Lobsters, Hacker News

🚂Cranelift Backend

MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics

arxiv.org·3d

📐Mathematical Computing

From Separate Compilation to Sound Language Composition

arxiv.org·3d

🧪Minicompilers

Pol-Jak-295/PolLand: My personal hyprland rice (janky, but hey. It's mine).

github.com·1d·

Discuss: r/archlinux

The Secret Life of Python: The Silent Type (Type Casting)

dev.to·2d·

Discuss: DEV

🔍ML Language

Replacing a Plop React component generator with a Claude Code Skill

dev.to·1d·

Discuss: DEV

📋Template Compilers

lib.rs·3d

∫Mathematical DSLs

outer measure in nLab

ncatlab.org·3d

🔗Category Theory

Shows GrepRAG Unlocks Repository-Level Code Completion with Index-Free Retrieval for LLMs

quantumzeitgeist.com·3d

💬Interactive REPLs

anditosan.wordpress.com·3d

🧮Linear Algebra

Old GitHub Projects

themindpalace.bearblog.dev·3d

🏺Code Archeology

Building an Obsidian RAG with DuckDB and MotherDuck

motherduck.com·2d

📖Literate Programming

A Faster WBT/SBT Implementation Than Linux RBT

typecombinator.github.io·4d·

Discuss: r/cpp

🌳Tree Shaking

YAML gets YS in PHP, C#, Lua & Haskell

yamlscript.org·16h

🔧Parser Generators

Calling Lean Functions As Python Functions

philipzucker.com·5d·

Discuss: Lobsters, Hacker News

⚡Partial Evaluation

QT4 grammar explorer

so.nwalsh.com·3d

🌳Parser Visualization

My (very) fast zero-allocation webserver using OxCaml

anil.recoil.org·5d·

Discuss: Lobsters, Hacker News

⚙️TOML Parsers

Building a Claude Code skill

sevalla.com·3d

Bjarne’s Last Stand: How the Father of C++ Is Fighting a Losing War Against Rust

lucisqr.substack.com

·4d·

Discuss: Substack, r/cpp

🚂Cranelift Backend

Mekara: Workflows as Code Proof-of-Concept

meksys-dev.github.io·3d·

Discuss: Hacker News

Loading more...