Pinned Loading

1. For future reference but maybe not. For future reference but maybe not.

   1

   [# 2025

   2

   ## January

   3

   * ## [The Dusa Programming Language](https://dusa.rocks)

   4

     > Dusa is a logic programming language designed by [Rob Simmons](https://typesafety.net/rob) and [Chris Martens](https://www.khoury.northeastern.edu/home/cmartens), the first implementation of finite-choice logic programming.

   5

     > * If you’ve heard of Datalog (as implemented in systems like [Soufflé](https://souffle-lang.github.io/program)), you may want to start by reading about how [Dusa is datalog](https://dusa.rocks/docs/introductions/datalog).

2. algebra-to-co-monads.md algebra-to-co-monads.md

   1

   # [fit] Algebra to

   2

   # [fit] **(Co)monads**

   3

   ---

   4

   # **$$Cᴮᴬ = (Cᴮ)ᴬ$$**

   5

   ---

3. dotfiles dotfiles Public

   public dot files

   Shell 11

4. resume resume Public

   4