🔬 programming language theory - abnv · Scour

we're both talking english but we're not speaking the same language

drmollytov.smol.pub·1d

Double Maths First Thing: Issue 4B

aperiodical.com·20h

∫Mathematical DSLs

Interesting things about the Lua interpreter

thesephist.com·1d

Viable Worlds Theory (VWT): A Coherence Science Account of Quantum Coherence and World Viability

zenodo.org·10h·

Discuss: r/systems

📡Binary Protocols

GLM-5: From Vibe Coding to Agentic Engineering

simonwillison.net·9h

🌊Dataflow Languages

I Wrote a Scheme in 2025

maplant.com·3d·

Discuss: Lobsters, Hacker News

The Potential of RLMs

dbreunig.com·2d·

Discuss: Hacker News

New Generative Paradigm: Drifting Model

mail.bycloud.ai·1d

What's up with Haskell's do notation?

slightknack.dev·2d

⚡functional programming

Infrastructure as Code in Practice: What It Solves — and What It Doesn’t

hackernoon.com·1d

⚙️Configuration Languages

datavorous/spheni: An in-memory vector search library in C++ with Python bindings

github.com·14h·

Discuss: Hacker News

🔀SIMD Programming

11. C# (Parsing)

dev.to·2d·

Discuss: DEV

🔧Error Recovery

Global Protocols under Rendezvous Synchrony: From Realizability to Type Checking

arxiv.org·23h

🔄Protocol State Machines

roc-lang/roc: A fast, friendly, functional language.

github.com·3d

📐Standard ML

New comment by anonymous908213 in "What functional programmers get wrong about systems"

news.ycombinator.com·2d·

Discuss: Hacker News

🚂Error Monads

The Adventures of a Pythonista in Schemeland/28

artima.com·4d

🔧Scheme Macros

Re: is c++ too much for a beginner?

forum.melonland.net·1d

🏗️Minimal Compilers

six thoughts on generating c

wingolog.org·2d·

Discuss: Lobsters, Hacker News, r/programming

🪄C Metaprogramming

Constructors in Java:

dev.to·1d·

Discuss: DEV

🔗Concatenative Languages

q-Rationals, link invariants and webs

arxiv.org·23h

🪢Rope Data Structures

Loading more...