Recent Posts

Hah, no, I didn't have any birthdays recently. And yes, Indian food sounds nice, very spicy.

Wok

When I ever move out of this apartment, a long-term plan is to get a wok and learn to use that. Even today, most of my dishes work similar to wok dishes: Get vegetables, maybe get meat too, then cut everything to pieces. Fry everything together. Then make noodles/rice/couscous/... and serve both.

IchoTolot jokes that I say "When I ever move out of this apartment" far too often and I should finish on getting the thesis done for good. I believe I've already fixed all nasty bugs in the thesis.

The

Consider the following sentence from a logical point-of-view: The pope is male. Since first-order logic has no "the", only "for all" and "there exists", we have to agree on how to translate the sentence into first-order logic. Commonly accepted, and suggested by, e.g., Russell's On Denoting and by Frege, is:

1. There exists an X such that X is a pope. (At least one pope exists.)2. For all X and Y, if both X and Y are popes, then X = Y. (At most one pope exists.)3. For all X such that X is a pope, X is male.

Then, "The pope is male." is equivalent to (1 and 2 and 3).

What happens when "the" refers to a plural? Consider: The frogs are green. Which of these rewrites to first-order logic are equivalent to "The frogs are green."?

Rewrite A.1. For all X, if X is a frog, then X is green.(No claim of existence.)

Rewrite B.1. For all X, if X is a frog, then X is green.2. There exists an X such that X is a frog. (At least 1 frog exists.)

Rewrite C.1. For all X, if X is a frog, then X is green.2. There exist X and Y such that X is a frog, Y is a frog, and X ≠ Y. (At least 2 frogs exist.)

I have a strong preference (which I will keep secret temporarily, to not bias anybody) but I doubt there is a universally accepted rewrite. Forestidia disagrees with my choice here and has a strong background in philosophical logic. The classical examples on the internet don't help either, Russell's essay is purely about the singular "the".

The PackToolkit does not yet support changing the default rotation for music files, just the addition of custom music files.

And as namida said: If you want to change the default music rotation, you have to add a file music.nxmi next to your info.nxmi file. It is a usual text file (just has a weird file extension ). Each line has the form "TRACK [name]" where "[name]" is the file name of the music file. Then the music rotation is given by the order the music files appear in this music.nxmi file.Look at namida's LemPlus packs for an example how this is done.

namida, did you enforce custom tracks in LP1 in any way? If yes then these tracks need to be romoved first before your custom rotation can play.

No, it just has the standard music.nxmi, no levels specify a music file individually. The same is also true for Lemmings Plus II and Holiday Lemmings Plus. (Lemmings Plus III, Lemmings Plus Omega and Doomsday Lemmings specify tracks on a few levels while using music.nxmi for most of them, while Lemmings Plus IV, Lemmings Plus V and Lemmings Plus Omega II specify music for each level individually.)

With that being said, it does use a non-standard music.nxmi - specifically, it only includes tracks orig_01 through orig_17 (doesn't include the ohno tracks). Similarly, Lemmings Plus II only has the ohno tracks. Holiday Lemmings Plus has completely custom tracks, but still uses only music.nxmi to determine which level plays which track.

Yeah, the pack that I've been playing with is Lemmings Plus I which already uses "orig_01" through "orig_17"...so I've actually been working more the other direction. However, I haven't been using the pack toolkit up to now, so that may explain my problems. Still though, I have been hearing at least two of the tracks, so I must have been doing at least something right to a point.

Normally then simply replacing the "orig_01" through "orig_17" tracks with your music should work. Editing the pack's rotation shouldn't be nessesary.

namida, did you enforce custom tracks in LP1 in any way? If yes then these tracks need to be romoved first before your custom rotation can play.