🧩 Prolog - abnv · Scour

Functional Logic Program Transformations

arxiv.org·15h

🏭Functional Compilers

From logical reasoning to code in C and PHP

dev.to·9h·

Discuss: DEV

Probabilistic Linear Logic Programming with an application to Bayesian Networks computations

arxiv.org·15h

🧩Constraint Logic

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

github.com·1d·

Discuss: Hacker News

💬REPL Design

Rainbow Query Language

rbql.org·21h

📊Query Optimizers

Gödel’s Theorems (and logicisms) revisited

logicmatters.net·2d

📜Proof Languages

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

medium.com·4h·

Discuss: Hacker News

🪢Rope Data Structures

Binary Algorithms

exystence.net·20h

📡Binary Protocols

Designing Boring Software with Functional Programming

agentultra.com·17h

🪞Homoiconicity

Implementing Dino from Scratch

logits.bearblog.dev·14h·

Discuss: Hacker News

🔄Bootstrapping

GNU C Language Manual

gnu.org·1h

🪄C Metaprogramming

Simple Sudoku Solvers SII, EI: Dyalog APL

blog.veitheller.de·1d

🧩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

behance.net·1h

🏺Code Archeology

Conversation: LLMs and the what/how loop

martinfowler.com·5h

🔀Control Structures

Postmortem on TreeTracker Join: Simple, Optimal, Fast

zhu45.org·1d·

Discuss: Hacker News

🌳Tree Algorithms

Subterms Modulo Theories I

philipzucker.com·2d

🔗Lexical Scoping

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

jimiwen.substack.com·20h·

Discuss: Substack

🏛️Elm Architecture

Logic Puzzle with Poison Pill

dev.to·1d·

Discuss: DEV

🧩Constraint Solvers

Constraints Not Loops: Building Features in Reverse

coey.dev·20h

🔗Parser Combinators

Loading more...