Recent Posts

Pages: [1] 2 3 ... 10
1
General Discussion / Re: Simon blogs
« Last post by Simon on Today at 04:59:07 pm »
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".

-- Simon
2
Group 3 Round 2 is up! :)
3
Bugs & Suggestions / Re: [bug?] scroller marquee isn't working
« Last post by IchoTolot on May 23, 2018, 07:10:11 pm »
Oh, then please be a bit more specific next time. I didn't read "just to bump this" as "I would like this to be fixed soon". :-[

Actually, both ;P

I wasn't sure if it still was on your fix-list and I also thought it was a thorn in the eye that always greets players at the title screen.

I will be more specific next time as well. ;)
4
Bugs & Suggestions / Re: [bug?] scroller marquee isn't working
« Last post by Nepster on May 23, 2018, 07:06:02 pm »
Oh, then please be a bit more specific next time. I didn't read "just to bump this" as "I would like this to be fixed soon". :-[
5
Bugs & Suggestions / Re: [bug?] scroller marquee isn't working
« Last post by Simon on May 23, 2018, 06:58:39 pm »
Quote
No need to remind me. [...] rather low-priority

Hmm, I encourage such occasional bumps of older bugs. It's the clearest way to raise their priority.

This issue is not a blocker by any means, it's pure cosmetics, but it hits immediately on the pack's title page. Pack designers rub against this issue more than against many others.

-- Simon
6
Bugs & Suggestions / Re: [bug?] scroller marquee isn't working
« Last post by Nepster on May 23, 2018, 04:21:57 pm »
No need to remind me. I was still remembering this issue. :) However I consider it rather low-priority, so haven't looked into it at all.
7
NeoLemmix Main / Re: New Format Music Question
« Last post by Nepster on May 23, 2018, 04:20:14 pm »
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.
8
In Development / Re: Random level sharing topic!
« Last post by IchoTolot on May 23, 2018, 03:06:49 pm »
Here's another map I'm sure you guys will like.

I had the liberty to convert the 2 levels to the new format. ;)

I attached my solutions + the updated levelfiles to this post.

I noticed some viual errors like pipes not aligned properly, or an overlapping one. "Pipe Pits" was very fiddly, but otherwise good levels. :)
9
NeoLemmix Main / Re: New Format Music Question
« Last post by namida on May 23, 2018, 08:09:11 am »
Quote
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.
10
NeoLemmix Main / Re: New Format Music Question
« Last post by IchoTolot on May 23, 2018, 07:29:00 am »
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.
Pages: [1] 2 3 ... 10