#logiclangs · Elektrine

Lobsters @lobsters@mastodon.social

· 1w ago

Datalog Disassembly (2020) https://lobste.rs/s/zchcbj #pdf #logiclangs #reversing https://www.usenix.org/system/files/sec20-flores-montoya.pdf

Datalog Disassembly (2020)

Datalog Disassembly (2020)

0 comments

0

0

0

0

Lobsters @lobsters@mastodon.social

· 1mo ago

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

Picat in WebAssembly

Picat in WebAssembly

0 comments

0

0

0

0

Lobsters @lobsters@mastodon.social

· 2mo ago

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

Verse: A New Scripting Language? In THIS Economy?

0

0

0

0

Lobsters @lobsters@mastodon.social

· 3mo ago

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

A Prolog library for interfacing with LLMs

A Prolog library for interfacing with LLMs

1 comment

0

0

0

0

Lobsters @lobsters@mastodon.social

· 3mo ago

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

L-system

L-system

2 comments

0

0

0

0

Lobsters @lobsters@mastodon.social

· 3mo ago

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

Datalog

Datalog

0 comments

2

0

0

0

Lobsters @lobsters@mastodon.social

· 3mo ago

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

Deconstructing Datalog

Deconstructing Datalog

5 comments

0

0

0

0

Lobsters @lobsters@mastodon.social

· 5mo ago

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

Abstract Machines for Logic Programs

Abstract Machines for Logic Programs

0 comments

1

0

0

0

Lobsters @lobsters@mastodon.social

· 5mo ago

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

Point-Free Logic Programming

Point-Free Logic Programming

5 comments

0

0

1

0

Lobsters @lobsters@mastodon.social

· 6mo ago

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

A Dumb Introduction to z3

A Dumb Introduction to z3

4 comments

1

0

0

0

You've seen all posts