🔗 Concatenative Theory - abnv · Scour

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

medium.com·16h·

Discuss: Hacker News

🪢Rope Data Structures

Gödel’s Theorems (and logicisms) revisited

logicmatters.net·2d

📜Proof Languages

GNU C Language Manual

gnu.org·13h

🪄C Metaprogramming

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

arxiv.org·1d

🧩SAT Solvers

Kolmogorov Complexity

en.wikipedia.org·20h·

Discuss: Hacker News

λLambda Calculus

Calculus Made Easy

calculusmadeeasy.org·17h

Instead of Phatic Phrases

mun.la·16h

abelianization of an additive category in nLab

ncatlab.org·16h

🔗Category Theory

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

dev.to·18h·

Discuss: DEV

🎰Parsing Machines

Making a Language

thunderseethe.dev·9h

🔬programming language theory

How I Used Methodable to Have a Nice Tuesday

blog.danielsosebee.com·1h

📚Self-Documenting Code

Subterms Modulo Theories I

philipzucker.com·3d

🔗Lexical Scoping

Designing Boring Software with Functional Programming

agentultra.com·1d

🪞Homoiconicity

prompt abiogenesis ;-)

lnebres.bearblog.dev·7h

Unification of Deterministic Higher-Order Patterns

arxiv.org·1d

🔗Unification Algorithms

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·3h

💫Effect Systems

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

jimiwen.substack.com·1d·

Discuss: Substack

🏛️Elm Architecture

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮Theorem Provers

Noun phrases are vague

ijo.la·1d

📋Backus-Naur Form

Loading more...