https://toobnix.org/w/752ix2RNx5BijosuYtSGCv #archive
In about 24 hours from this toot
@oantolin
https://www.matem.unam.mx/~omar/
https://github.com/oantolin/embark
will be on the Tuesday-night-in-the-Americas #lispyGopherClimate on anonradio (archive still https://toobnix.org/a/screwtape/videos ) to talk about

#emacs #embark <edit>

- actually, I am not a user (yet) but I am interested in other #lisp community takes on embark's #DWIM plementation (well known in #interlisp https://interlisp.org/software/using-medley/#getting-started for example). The theme viz @chiply last weekcont.

@oantolin @chiply alright, it is that time!

https://toobnix.org/w/752ix2RNx5BijosuYtSGCv New extended cut archive !

#Live #interview with Omar about #emacs #embark + #lisp ..

#RSS subscribe to the recent #archive https://toobnix.org/feeds/videos.xml?accountId=580185 #peertube ! (I am told "use the peertube app").

#climateCrisis #haiku from @kentpitman and slak of #lambdaMOO . #chat in https://lambda.moo.mud.org/ as always using your favourite #mud client !

#lispGames #springLispGameJam @mdhughes

@nosrednayduj is busy squaredancing tonight.

#Emacs #Embark with Omar Antolin, Ramin Honary and Kent Pitman #lisp and more #interview #lispyGopherClimate

PeerTube
@oantolin
By the way, can one view emacs as having a topological model? Or is this an even worse question than what-are-things-like-climates-like-topologically?
@northernlights @chiply @kentpitman @mdhughes @nosrednayduj

@screwlisp
While waiting on their reply, "anything can have a topological model!" -- well, so long as we're talking things with invariants over continuity (note that that includes continuous state spaces), neighborhoods ('nearness' is definable and not too badly behaved), or deformation invariance, and also complexes from gluing such things together.

In your case you probably particularly loved manifolds.

Or something like that. Maybe..

@oantolin @northernlights @chiply @kentpitman @mdhughes @nosrednayduj

It seems to me we ought to have a space first before defining or constructing its topology (or is that approach out of fashion nowadays?).
So, what is an Emacs space and what are its points?

I'd rather listen to other people's suggestions first, and in any case mine are too raw yet.

@dougmerritt @screwlisp @oantolin @northernlights @chiply @kentpitman @mdhughes @nosrednayduj

@vnikolov @dougmerritt @screwlisp @oantolin @northernlights @chiply @kentpitman @mdhughes @nosrednayduj

The space is editors. Editors map sequences of key strokes or mouse movements to text.

Emacs is therefore a set of such mappings, with different Emacses roughly distinguished by different configuration files. One Emacs may be transformed into another by altering the set of modules loaded and key-mappings defined. I’m not sure how to talk about continuity, here.

Note that vi and vim become points in the Emacs space as shown by the existence of things like the vile package that makes Emacs behave like those editors.

I am wondering if multiple buffers adds a dimensionality to this space.

Or maybe editors plus configuration form systems for transforming one text into another, and that’s how to think about it.

@vnikolov @dougmerritt @screwlisp @oantolin @northernlights @chiply @kentpitman @mdhughes @nosrednayduj

CW: here there be bullshit.

So, an editor is a mapping from (text, keystroke, mouse) to text.

But the Emacs is itself a collection of mappings, with key-bindings and elisp functions serving as operations (?) on each mapping, transforming one into another.

At this point, someone smarter than me will point out that I should be bringing up the category theory I never learned. Emacs isn’t just a set of transformations of text transformations, it’s reflective. Elisp code can inspect and rewrite the very keymaps and function bindings that will later interpret elisp code. The environment contains representations of itself. It is reflective. Perfectly natural, hello, Lisp.

Someone smarter than me will identify this as a well known topological/categorical structure.

Um, maybe it’s noodling in the fields of reflection that reminds you of *The art of the metaobject protocol*.

@vnikolov @dougmerritt @screwlisp @oantolin @northernlights @chiply @kentpitman @mdhughes @nosrednayduj

…. maybe its time to bring up combinatorial game theory? The transformations of one emacs into another can be seen as moves in a game?

ETA: in CGT, the games are adversarial, so: different framework.