#logiclangs — blogs.social

blogs.social

Sign in

🔥 Trending Latest

Lobsters [Unofficial] @lobste.rs.web.brid.gy

6d

Datalog

Comments

Lobsters [Unofficial] @lobste.rs.web.brid.gy

6d

Deconstructing Datalog

Comments

Lobsters [Unofficial] @lobste.rs.web.brid.gy

Jun 5

Warren's Abstract Machine: A Tutorial Reconstruction

Comments

Lobsters [Unofficial] @lobste.rs.web.brid.gy

May 15

Prolog Basics Explained with Pokémon

Comments

Lobsters [Unofficial] @lobste.rs.web.brid.gy

May 10

Point-Free Logic Programming

Comments

Lobsters [Unofficial] @lobste.rs.web.brid.gy

May 2

When AI Writes the World's Software, Who Verifies It?

Comments

Lobsters [Unofficial] @lobste.rs.web.brid.gy

May 2

Custom Data Structures in E-Graphs

Comments

Page 1