logiclangs

Warren's Abstract Machine: A Tutorial Reconstruction https://lobste.rs/s/y6a6cg #logiclangs
https://github.com/a-yiorgos/wambook

Introducing Incremental https://lobste.rs/s/c1j43n #logiclangs #ml
https://blog.janestreet.com/introducing-incremental/

Thinking in States https://lobste.rs/s/gpxvb1 #logiclangs
https://www.metalevel.at/tist/

Point-Free Logic Programming https://lobste.rs/s/hbctt2 #logiclangs
https://forum.malleable.systems/t/point-free-logic-programming/151

Abstract Machines for Logic Programs https://lobste.rs/s/7yy79j #concatenative #logiclangs
https://chrisistyping.bearblog.dev/abstract-machines-for-logic-programs/

Datalog https://lobste.rs/s/jkowsn #logiclangs #plt
https://www.philipzucker.com/notes/Languages/datalog/

EMA-XPS - Hybrid Graphic Expert System Shell https://lobste.rs/s/h8rne8 #logiclangs #osdev
https://ema-xps.org/

Parsing AsciiDoc in Prolog via @jmiven https://lobste.rs/s/z4zroy #logiclangs
https://github.com/alexpdp7/prolog-asciidoc/blob/main/parsing-asciidoc-in-prolog.adoc

A Dumb Introduction to z3 via @abnv https://lobste.rs/s/c1tlxi #logiclangs
https://ar-ms.me/thoughts/a-gentle-introduction-to-z3/

Using OR-Tools CP-SAT for Scheduling Problems via @vbernat https://lobste.rs/s/0h3ehd #logiclangs
https://atalaykutlay.com/or-tools-cp-sat-for-scheduling-problems.html

Prolog Projects Tips https://lobste.rs/s/fbietj #logiclangs
https://occasionallycogent.com/prolog_project_helpers/index.html

L-system https://lobste.rs/s/7jmid9 #logiclangs #math
https://en.wikipedia.org/wiki/L-system

Ciao - Assertions and their Use https://lobste.rs/s/qz0gu0 #logiclangs
https://ciao-lang.org/ciao/build/doc/ciao.html/AssrtLang.html

MiniLitelog: Easy Breezy SQLite Datalog https://lobste.rs/s/us7nlm #logiclangs
https://www.philipzucker.com/tiny-sqlite-datalog/

Data-Parallel Functional Programming in Datalog https://lobste.rs/s/3awbix #logiclangs
https://kmicinski.com/modern-deduction/2026/01/12/slog.html

Deconstructing Datalog https://lobste.rs/s/lvodx4 #logiclangs #plt
https://www.rntz.net/post/my-thesis.html

A Prolog library for interfacing with LLMs https://lobste.rs/s/ad7cm6 #ai #logiclangs
https://github.com/vagos/llmpl

Verse: A New Scripting Language https://lobste.rs/s/usdhrd #video #logiclangs #plt
https://youtube.com/watch?v=ebqKYLKjL6U

I accidentally turned LLM memory into program analysis https://lobste.rs/s/gvotke #logiclangs #security #vibecoding
https://pwning.systems/posts/llm-memory-program-analysis/

Picat in WebAssembly https://lobste.rs/s/elbjzp #logiclangs #wasm
https://brainsignals.de/picat/