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
    Pat (mostlypat@mastodon.sdf.org)'s status on Wednesday, 25-Dec-2024 12:36:19 JST Pat Pat

    26 years done, another 26 to go :)

    In conversation about 5 months ago from mastodon.sdf.org permalink
    • Embed this notice
      screwlisp (screwtape@mastodon.sdf.org)'s status on Wednesday, 25-Dec-2024 12:36:18 JST screwlisp screwlisp
      in reply to

      @mostlypat
      CLIM-USER> (progn (setq *print-circle* t) '#1=("just five more years" . #1#))
      #1=("just five more years" . #1#)
      CLIM-USER> (cdr *)
      #1=("just five more years" . #1#)

      Thanks for dropping by the show! The new year's episode is going to be all the errata for my mistakes in the christmas show ;p

      In conversation about 5 months ago permalink
    • Embed this notice
      Pat (mostlypat@mastodon.sdf.org)'s status on Wednesday, 25-Dec-2024 17:53:47 JST Pat Pat
      in reply to
      • screwlisp

      @screwtape Thanks for the show, I'm glad I could finally catch one live, even if it was 1am on Christmas day for me! I'll need to investigate LambdaMOO and CLIM on something other than Termux on my smartphone...

      MOOs seem like quite an interesting programming problem. A lot of different objects dynamically interacting with each other. What you were saying about high-level logic was cool, I wonder if there is a hard mathematical limit to what you can "simulate" in a MOO

      In conversation about 5 months ago permalink
    • Embed this notice
      screwlisp (screwtape@mastodon.sdf.org)'s status on Thursday, 26-Dec-2024 04:58:32 JST screwlisp screwlisp
      in reply to

      @mostlypat
      I think for functional code (functions of functions), in my lisp moo thing I can do forward simulation, but simulating the whole world only works for a very small search space.

      In contrast, sitcalc with occlusion can search through lots and lots of sequences of logical actions to satisfy intents, but it can only really work with first order logic (no functions of functions). So I thought beliefs can be 1st order sitcalc, but the real simulated world can be higher order.

      In conversation about 5 months ago permalink

      Attachments


    • Embed this notice
      screwlisp (screwtape@mastodon.sdf.org)'s status on Thursday, 26-Dec-2024 05:01:43 JST screwlisp screwlisp
      in reply to

      @mostlypat In terms of the real, historical MOOs such as the extant lambdaMOO, while the MOO language is part of the C implementation of lambdaCORE (read *server-hackers in-MOO), the MOO is grown by programming more MOO in MOO. So when you first connect, your player class is $player from 1990, but the-usual player class is sharpc, decades of gradual MOO-language object oriented improvement on top of $player by generations of people.

      In conversation about 5 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.