🔗 Concatenative Theory - abnv · Scour

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

medium.com·13h·

Discuss: Hacker News

🪢Rope Data Structures

Gödel’s Theorems (and logicisms) revisited

logicmatters.net·2d

📜Proof Languages

GNU C Language Manual

gnu.org·10h

🪄C Metaprogramming

Beyond Memorization: Testing LLM Reasoning on Unseen Theory of Computation Tasks

arxiv.org·1d

🧩SAT Solvers

Kolmogorov Complexity

en.wikipedia.org·17h·

Discuss: Hacker News

λLambda Calculus

Calculus Made Easy

calculusmadeeasy.org·14h

Instead of Phatic Phrases

mun.la·13h

abelianization of an additive category in nLab

ncatlab.org·13h

🔗Category Theory

Transformer Series #3: Positional Encoding - How Transformers Understand "Time" Without a Clock ⏳

dev.to·15h·

Discuss: DEV

🎰Parsing Machines

Making a Language

thunderseethe.dev·7h

🔬programming language theory

Subterms Modulo Theories I

philipzucker.com·3d

🔗Lexical Scoping

prompt abiogenesis ;-)

lnebres.bearblog.dev·5h

Designing Boring Software with Functional Programming

agentultra.com·1d

🪞Homoiconicity

Unification of Deterministic Higher-Order Patterns

arxiv.org·1d

🔗Unification Algorithms

ChatGPT’s Laws of Machine Learning

shruggingface.com·1d

Deep learning as program synthesis

lesswrong.com·1d·

Discuss: Lobsters, Hacker News

🎭Program Synthesis

To Combat The Entirety Of Metaphysics In One Sentance

mason.bearblog.dev·1h

💫Effect Systems

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮Theorem Provers

Gödel, Turing, and AI： the Incomplete Space in Post-AI Architecture

jimiwen.substack.com·1d·

Discuss: Substack

🏛️Elm Architecture

Noun phrases are vague

ijo.la·1d

📋Backus-Naur Form

Loading more...