🔗 Parser Combinators - abnv · Scour

Making a Language

thunderseethe.dev·9h

🔬programming language theory

HELIOS: Hierarchical Graph Abstraction for Structure-Aware LLM Decompilation

arxiv.org·3h

📊Graph Compilers

Rust async combinators for elegant and secure concurrency

kerkour.com·1d·

Discuss: r/rust

🪆Embedded DSLs

Explainer: Tree-sitter vs. LSP

lambdaland.org·1d

🌲Tree-sitter

Stop Taking Tokenizers for Granted: They Are Core Design Decisions in Large Language Models

arxiv.org·1d

🔤Language Tokenizers

Constraints Not Loops: Building Features in Reverse

coey.dev·1d

🌊Gradual Effects

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·15h·

Discuss: Hacker News

🪢Rope Data Structures

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮Theorem Provers

MIT's Recursive Language Models Improve Performance on Long-Context Tasks

infoq.com·1d

🪜Recursive Descent

Designing a Programming Language for the Desert

futhark-lang.org·16h·

Discuss: Hacker News

🔄Bootstrapping

I [[musttail]] You About a Tokenizer

neilhenning.dev·2d

abelianization of an additive category in nLab

ncatlab.org·15h

🔗Category Theory

dev.to·19h·

Discuss: DEV

🧠Semantic Parsing

Making an LSP for great good

thunderseethe.dev·1d·

Discuss: Lobsters, Hacker News

Playing with GPT-3, LangChain, and the OpenAI Embeddings API

shruggingface.com·1d

🌉Language Bridges

Designing Boring Software with Functional Programming

agentultra.com·1d

🪞Homoiconicity

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

news.ycombinator.com·1d·

Discuss: Hacker News

Decoupling the AI Stack: How to Architect a Production-Grade Local LLM System

dev.to·4h·

Discuss: DEV

Datomic - Datomic at Clojure/Conj 2025

blog.datomic.com·1d

🌲Deforestation

Dealing with alternatives

jemarch.net·1d

🔢Binary Formats

Loading more...