🔢 Denotational Semantics - matmat · Scour

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

medium.com·13h·

Discuss: Hacker News

🤝Unification Algorithms

Semantic Fusion: Verifiable Alignment in Decentralized Multi-Agent Systems

arxiv.org·1d

🤝Consensus Networks

abelianization of an additive category in nLab

ncatlab.org·13h

🧮Algebraic Archives

Making a Language

thunderseethe.dev·7h

🛠Language Design

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·18h

📊Static Analysis

Subterms Modulo Theories I

philipzucker.com·3d

🎯Automata theory

Filtering as domain logic

blog.ploeh.dk·2d·

Discuss: r/programming

🗄️Database Internals

Python Closures: Coming from JavaScript

dev.to·1d·

Discuss: DEV

⬆️Lambda Lifting

Simplex, a workflow specification language for autonomous agents

github.com·1d·

Discuss: Hacker News

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

arxiv.org·1d

🌳Context free grammars

Kolmogorov Complexity

en.wikipedia.org·18h·

Discuss: Hacker News

🧮Kolmogorov Complexity

One part of me wonders whether this would’ve been caught earlier if I spent some more time analizing the possible approaches for this refactor. Honestl...

lmika.org·1h

🔓Reverse engineering

Explainer: Tree-sitter vs. LSP

lambdaland.org·1d

🌳Context free grammars

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

news.ycombinator.com·12h·

Discuss: Hacker News

🌳Incremental Parsing

Understanding Poke methods

jemarch.net·1d

🔧Binary Parsing

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

⚖️Verification Calculi

Conversation: LLMs and the what/how loop

martinfowler.com·15h

🧩WASM Components

Vibe coding is a moving target (so don’t marry the tool)

nothingeasyaboutthis.com·3h

⚡Effectful Programming

Alexis King’s Blog

lexi-lambda.github.io·2d

🎯Gradual Typing

The lost art of XML

marcosmagueta.com·1d·

Discuss: Lobsters, Hacker News

Loading more...