🧩 Prolog - abnv · Scour

Functional Logic Program Transformations

arxiv.org·1d

🏭Functional Compilers

From logical reasoning to code in C and PHP

dev.to·18h·

Discuss: DEV

Probabilistic Linear Logic Programming with an application to Bayesian Networks computations

arxiv.org·1d

🧩Constraint Logic

Show HN: Pikchr.pl – Make Pikchr diagrams using Prolog

github.com·1d·

Discuss: Hacker News

💬REPL Design

Solved yet stuck

kevinsdias.com·7h

🧵String Matching

Rainbow Query Language

rbql.org·1d

📊Query Optimizers

Gödel’s Theorems (and logicisms) revisited

logicmatters.net·2d

📜Proof Languages

Making a Language

thunderseethe.dev·7h

🔬programming language theory

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

medium.com·13h·

Discuss: Hacker News

🪢Rope Data Structures

Binary Algorithms

exystence.net·1d

📡Binary Protocols

Designing Boring Software with Functional Programming

agentultra.com·1d

🪞Homoiconicity

Implementing Dino from Scratch

logits.bearblog.dev·23h·

Discuss: Hacker News

🔄Bootstrapping

GNU C Language Manual

gnu.org·10h

🪄C Metaprogramming

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮Theorem Provers

Simple Sudoku Solvers SII, EI: Dyalog APL

blog.veitheller.de·2d

🧩SAT Solvers

**Abstract:** This paper introduces a novel approach to compositional resolution within constructive arithmetic, termed Syntactic Resonance Networks (SRN). A...

freederia.com·2d

🔗Unification Algorithms

Conversation: LLMs and the what/how loop

martinfowler.com·15h

🔀Control Structures

Postmortem on TreeTracker Join: Simple, Optimal, Fast

zhu45.org·1d·

Discuss: Hacker News

🌳Tree Algorithms

behance.net·10h

🏺Code Archeology

Subterms Modulo Theories I

philipzucker.com·3d

🔗Lexical Scoping

Loading more...