🔬 programming language theory - abnv · Scour

How to Write a Spelling Corrector

norvig.com·15h

🔤String Algorithms

Categorical Flow Maps

arxiv.org·1d

🔗Category Theory

bsky.app·1d·

Discuss: Bluesky

🔗Concatenative Theory

Owning Our Words: Sounding the Depths of Language

theconvivialsociety.substack.com·20h·

Discuss: Substack

Causal Inference through the lens of probabilistic programming

2026.pycon.de·11h

✨Effect Inference

CodeSpeak: Software Engineering with AI

codespeak.dev·1d·

Discuss: Lobsters, Hacker News

🎭Program Synthesis

January in TigerLand

mailchi.mp·1d

New JavaScript Set methods

developer.mozilla.org·5h

📋Template Compilers

6 niche programming languages developers secretly love

howtogeek.com·2d

🏺Code Archeology

Atomistic, but non-complete lattices

dominiczypen.wordpress.com·1d

🔶Lattice Theory

Data Engineering for Large Models: Architecture, Algorithms & Projects

github.com·13h·

Discuss: Hacker News

📋Souffle Datalog

Compositionality of Systems and Partially Ordered Runs

arxiv.org·1d

🔀Concurrency Models

The Timeless Way of Programming (2022)

tomasp.net·1d·

Discuss: Lobsters, Hacker News

🤐Zipper Structures

We need to bring back the "experimental" era of LLMs

en.wikipedia.org·1h·

Discuss: r/LocalLLaMA

💫Effect Systems

Evaluating Claude’s C Compiler Against GCC

shbhmrzd.github.io·2d·

Discuss: r/C_Programming

🚀Code Motion

My Skill Makes Claude Code GREAT At TDD

aihero.dev·23h

🧪Compiler Testing

A flaw in using pretrained protein language models in protein–protein interaction inference models

nature.com·1d

✨Effect Inference

Formal Methods Practice and Theory

adacore.com·4d·

Discuss: Hacker News

🎯Symbolic Execution

The Impatient Programmer's Guide to Bevy and Rust: Build a 2D Game from Scratch

aibodh.com·19h·

Discuss: Hacker News

🏗️Cranelift

[TUHS] bare m4 (was BTL summmer employees)

tuhs.org·2d·

Discuss: Lobsters

🔀Control Structures

Sign up or log in to see more results