📊 Pratt Parsers - abnv · Scour

Making a Language

thunderseethe.dev·14h

🔬programming language theory

Opening the Black Box: A Survey on the Mechanisms of Multi-Step Reasoning in Large Language Models

arxiv.org·7h

🪜Recursive Descent

Making large language models reliable data science programming copilots for biomedical research

nature.com·1h

🔍ML Language

Constructing human-grade parsers

duriansoftware.com·6d

🔧Error Recovery

Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings

arxiv.org·1d

🪜Recursive Descent

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

infoq.com·1d

🪜Recursive Descent

Explainer: Tree-sitter vs. LSP

lambdaland.org·1d

🌲Tree-sitter

Dealing with alternatives

jemarch.net·1d

🔢Binary Formats

AI-Assisted Coding Requires Constraints

dev.to·15m·

Discuss: DEV

🎭Program Synthesis

I [[musttail]] You About a Tokenizer

neilhenning.dev·2d

haskellweekly.news·1h

⚡functional programming

Harper: Free, Open Source Grammar Checker

writewithharper.com·10h·

Discuss: r/webdev

🔄Incremental Lexing

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

github.com·18h·

Discuss: r/cpp

🦀MIR Optimization

t2x - a CLI tool for AI-first text operations

shruggingface.com·1d

🔄Incremental Lexing

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

medium.com·20h·

Discuss: Hacker News

🪢Rope Data Structures

Show HN: QRY – Natural Language to SQL Using Claude Code/Codex CLI

news.ycombinator.com·19h·

Discuss: Hacker News

📋Souffle Datalog

Building a Regulatory Risk Copilot with Databricks Agent Bricks (Part 1: Information Extraction)

databricks.com·16h

🎮Language Ergonomics

Constraints Not Loops: Building Features in Reverse

coey.dev·1d

🔗Parser Combinators

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮Theorem Provers

Rust async combinators for elegant and secure concurrency

kerkour.com·1d·

Discuss: r/rust

🪆Embedded DSLs

Loading more...