📝 Parser Combinators - hello · Scour

On the Runway Cascade of Transformers for Language Modeling

arxiv.org·3h

🤖Transformers

Making a Language

thunderseethe.dev·10h

🔨Compiler Design

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

medium.com·16h·

Discuss: Hacker News

🪢Rope Data Structure

Constraints Not Loops: Building Features in Reverse

coey.dev·1d

🎯Hindley-Milner

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

infoq.com·1d

💬Prompt Engineering

Iterative multi-word anagram solver

boulter.com·1d

🔤Suffix Automata

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

arxiv.org·1d

🌳Tree-sitter

abelianization of an additive category in nLab

ncatlab.org·16h

∘Category Theory

GNU C Language Manual

gnu.org·13h

🔨Compiler Design

Explainer: Tree-sitter vs. LSP

lambdaland.org·1d

🌳Tree-sitter

Datomic - Datomic at Clojure/Conj 2025

blog.datomic.com·1d

📊HyperLogLog

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

news.ycombinator.com·1d·

Discuss: Hacker News

Why not tail recursion?

futhark-lang.org·2d·

Discuss: Lobsters, Hacker News

🔁eBPF Tail Calls

dev.to·20h·

Discuss: DEV

🔤Language Design

**Abstract:** This paper introduces a novel approach to compositional resolution within constructive arithmetic, termed Syntactic Resonance Networks (SRN). A...

freederia.com·2d

🧮SMT Solvers

Rust async combinators for elegant and secure concurrency

kerkour.com·1d·

Discuss: r/rust

Harper: Free, Open Source Grammar Checker

writewithharper.com·6h·

Discuss: r/webdev

Uncovering Unfaithful CoT in Deceptive Models

lesswrong.com·6h

🛡️AI Security

Subterms Modulo Theories I

philipzucker.com·3d

🔍Type Inference

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·20h

🔬Static Analysis

Loading more...