🧩 Prolog

Logic Programming, Unification, Backtracking, Constraint Logic

A Slotted Hash Cons for Alpha Invariance
philipzucker.com·41m·
Discuss: Hacker News
🔗Lexical Scoping
Unlocking Boolean Clarity: Visualize Logic with State Algebra by Arvind Sundararajan
dev.to·10h·
Discuss: DEV
🧩SAT Solvers
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·10h
🪢Rope Data Structures
Balance between refactoring and inheritance in your code
github.com·7h·
Discuss: Hacker News
🧪Compiler Testing
Compartmentalised Agentic Reasoning for Clinical NLI
arxiv.org·15h
⚖️Inference Rules
What is Algebraic about Algebraic Effects?
interjectedfuture.com·3h
💫Effect Systems
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·6h·
Discuss: Hacker News
🌱Minimal Lisps
An Afternoon at the Recursive Café: Two Threads Interleaving
ipfs.io·1d·
Discuss: Hacker News
🎯Type Theory
Implementing the Coffee Machine Project in Python Using Object Oriented Programming
towardsdatascience.com·26m
🔗Concatenative Languages
Semantic Dictionary Encoding
falvotech.com·4h·
Discuss: Hacker News
🗂️Type Indexing
SOLID Principles for Python Developers
dev.to·4h·
Discuss: DEV
🎭Racket Modules
Solving LeetCode's "Add Two Numbers" Iteratively and Recursively - Part 1
leetcode.com·1d·
Discuss: DEV
🪢Rope Data Structures
Comparative Studies of Quantum Annealing, Digital Annealing, and Classical Solvers for Reaction Network Pathway Analysis and mRNA Codon Selection
arxiv.org·15h
🧩Constraint Solvers
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·4h·
Discuss: www.blogger.com
🔮Lisp Interpreters
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·23h·
Discuss: Hacker News
⚡functional programming
From ASTs to RakuAST to ASTQuery
github.com·1d·
Discuss: DEV
📋Souffle Datalog
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·21h·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
Using AI Agents for Reranking in RavenDB
ayende.com·7h
🔍Query Engines
Logic's Hidden States: Unlock Debugging Superpowers with Algebraic Thinking by Arvind Sundararajan
dev.to·6h·
Discuss: DEV
🧮Theorem Provers
LLM AGI may reason about its goals and discover misalignments by default
lesswrong.com·4h
🥾Bootstrapping Strategies