GNU social JP
  • FAQ
  • Login
GNU social JPは日本のGNU socialサーバーです。
Usage/ToS/admin/test/Pleroma FE
  • Public

    • Public
    • Network
    • Groups
    • Featured
    • Popular
    • People

Conversation

Notices

  1. Embed this notice
    Christine Lemmer-Webber (cwebber@social.coop)'s status on Monday, 16-Jun-2025 23:33:30 JST Christine Lemmer-Webber Christine Lemmer-Webber
    • The Spritely Institute

    Datalog in miniKanren https://deosjr.github.io/dynamicland/datalog.html

    And it's using @spritely's Hoot to compile to Webassembly! It's so cool when things like this appear in the wild and you don't even know someone was working on it!

    And, this subthread on HN is actually a pretty interesting exchange https://news.ycombinator.com/item?id=44285812

    In conversation about 10 months ago from social.coop permalink

    Attachments


    1. Domain not in remote thumbnail source whitelist: news.ycombinator.com
      Semantics are more important than syntax. Prolog's flexible syntax is a nice-to-... | Hacker News
    • Embed this notice
      Christine Lemmer-Webber (cwebber@social.coop)'s status on Tuesday, 17-Jun-2025 00:44:11 JST Christine Lemmer-Webber Christine Lemmer-Webber
      in reply to

      And that's not all!!!! They're building an exploration of the ideas of Dynamicland also! https://deosjr.github.io/dynamicland/

      In conversation about 10 months ago permalink

      Attachments

      1. No result found on File_thumbnail lookup.
        https://deosjr.github.io/dynamicland/
    • Embed this notice
      Jonathan Frederickson (jfred@jawns.club)'s status on Tuesday, 17-Jun-2025 00:56:19 JST Jonathan Frederickson Jonathan Frederickson
      in reply to

      @cwebber Wait WHAT this is so up my alley

      In conversation about 10 months ago permalink
    • Embed this notice
      Indieterminacy (indieterminacy@social.coop)'s status on Tuesday, 17-Jun-2025 04:15:38 JST Indieterminacy Indieterminacy
      in reply to
      • The Spritely Institute

      @cwebber @spritely Im pleased these areas are being focused on, I was getting a bit worried about that domain going stale at the Lisp end.

      Ive been focusing on Scryer-Prolog to understand logic-programming better instead.

      Hopefully when Im satisfied at my end Ill be able to adapt enough of what Ive learnt and built back to the Lisp camp.

      In conversation about 10 months ago permalink
    • Embed this notice
      Christine Lemmer-Webber (cwebber@social.coop)'s status on Tuesday, 17-Jun-2025 05:01:41 JST Christine Lemmer-Webber Christine Lemmer-Webber
      in reply to
      • Vincent Tunru
      • Jonathan Frederickson
      • Sjoerd Dost

      @VincentTunru @jfred @deosjr hell yeah :D

      In conversation about 10 months ago permalink
    • Embed this notice
      Vincent Tunru (vincenttunru@fosstodon.org)'s status on Tuesday, 17-Jun-2025 05:01:42 JST Vincent Tunru Vincent Tunru
      in reply to
      • Jonathan Frederickson
      • Sjoerd Dost

      @jfred @cwebber Then make sure to follow @deosjr, the author :)

      In conversation about 10 months ago permalink

Feeds

  • Activity Streams
  • RSS 2.0
  • Atom
  • Help
  • About
  • FAQ
  • TOS
  • Privacy
  • Source
  • Version
  • Contact

GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.

Creative Commons Attribution 3.0 All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.