• Member Since 24th Feb, 2016
  • offline last seen Sep 14th, 2019

Colors


We just need to throw some new ideas in... it will eventually get out of this closed off circle we are part of...

T

There is a rift on the large crystal sphere that surrounds the known universe.

Things don't make sense anymore.

Chapters (35)
Comments ( 22 )

This would probably have more comments if the thematic connections were clearer. I liked Lynn's second piece because for the first time we could clearly see that you have plans to pull things together, but if you were planning on introducing a bunch of new segments before coming back around to the continuation of older characters, I might re-order that to prioritize coming back around to some of the older ones first before re-introducing the new ones. I gotta say I was a little disappointed by Sigma, not because there's anything wrong with it, but because when Lynn 2 came out I started thinking oh, yeah, we're finally gonna get more information about these disparate ponies and what's going on with them, and then boom, new pony with new issue.

Also, I think it's kind of weird that Discord's section was the least bizarre of all of them. Well, okay, Fluttershy's section was also fairly normal, but Discord's section isn't even about him, it's about Princess Celestia. If there was anyone in a place to notice that control and order are seeping out of the universe, I'd think it would be Discord, but he spends his section mocking Princess Celestia about a religion ponies have based on her.

8329815
Did you upvote this and then retreat your upvote without downvoting? I’ve never seen that happen before! :raritystarry:

Truth is, you’re giving me too much credit. This story is an experiment of pre-committing myself to writing on something every day. I want to develop the ability of producing something weird but entertaining at a regular schedule, not just occasionally when I happen to be inspired (this is why there will be a new chapter every day else I failed. It’s also why the concept is so broad). None of this was planned. Everything is made-up on the fly. Pure, (almost) unhinged creativity.

Fortunately, I am starting to naturally get ideas of how to weave some of this stuff together, so it will actually converge. Next chapter is about Twilight&Fluttershy (I currently keep a buffer size of 1).

8329854
I did, accidentally. Didn't even know that was possible. My monitor wasn't clearly showing the green, so I thought I hadn't clicked on it. I re-clicked the upvote for you.

8330053
Aw, I’m almost a bit disappointed that you didn’t do it on purpose. Being so thoughtful with upvotes would be amazing.

It’s only been possible since the site redesign, I believe.

What the fuck is going on in this story???

8351067
It’s complicated.

How confusing will this story be? I'm not going to read a story that's too confusing.

8360377
Uhm, if you are at the start, then I'd say pretty confusing, don't read.
If you are at the end of chapter 21 and could keep up with what's happened so far, I'd say it's much less confusing going forward. All plot lines have pretty much converged into one. It might become darker, though.

I would honestly expect Fluttershy to raise a lot more objections to this plan.

8364413
and *Rarity and AJ too, I think. This is fairly close to a plot convenience that I had no time to fix.

8365147
Well, specifically Fluttershy because she genuinely cares about him personally. The others would likely raise moral objections, but he's one of Fluttershy's best friends.

8365660
Oh, that part. I was thinking more of the “going into a giant hole on the advice of a stranger” part.

Well. What can I say. You’re right :applejackunsure:

Well.. that's a bit anti-climatic :)

8381557
Very. I collect broken story conventions. Can’t get enough of them. No-one who went through this crazy trip of a story is allowed to feel like she’s seen it all before.

This has been a very interesting story to read both in terms of how the plot progressed and how it explores the implications of a machine so complex it literally simulates an entire universe.

From a purely mathematical point of view, however, I'm slightly baffled by this story's fixation on Group Theory. If one were to build a system this wildly complex, it seems like it would actually be based on Calculus of Constructions or Homotopy type theory, since both theories can act as both a foundation for mathematics and for creating a mathematically consistent programming language. Calculus of Constructions was notably used to prove several theories in Group Theory itself. It is possible that Group Theory only forms the interface to the device, but that also doesn't really seem to make much sense. If the system does not expose itself using its foundations, it seems like it would expose a highly abstracted interface based on Type Theory. In contrast, Group Theory is designed primarily for the analysis of mathematical structures, and is not conducive to actually writing a meaningful program.

It's possible that Group Theory here is a gross simplification of an interface that is actually built in a highly abstract language like Haskell that simply re-derives Group Theory inside the language to then construct even higher level abstractions. In this case, the machine is built on top of something like high-level lambda calculus, but builds it's interface on top of Group Theory, perhaps resulting in something so high-level we have no accepted name for it, like Inter-universal Teichmüller theory. This, however, makes the choice of Group Theory rather arbitrary, since whatever mathematical language the machine is using is so high level it can only be expressed in terms of some random theory somewhere in the middle of the ladder of abstraction.

Since readers are unlikely to know what Group Theory even is, I'm wondering why the story simply doesn't invent it's own name for whatever ridiculously high level mathematical language is being used here instead, as it would convey pretty much the same amount of information as "Group Theory". In the context of governing an entire universe, the result would either be a computational approximation, or a chaotic function with an effectively infinite Lyapunov exponent that could only be analyzed using tools from Chaos Theory and Bifurcation theory, both of which sound suitably exotic and could be used in place of Group Theory in a pure literary sense, but also hold up under mathematical scrutiny better.

I'm not entirely sure if the author had a mental model of what the interface actually looked like in terms of Group Theory, or if it was just something that was supposed to be "really complicated" and intended to be glossed over as "really advanced technology" and i'm just over-analyzing the fuck out of it because it had the words "Group Theory" in it. Then again I'm pretty sure this entire story is about how over-analyzing things saves the universe, so perhaps I'm intended to over-analyze it...?

I dunno, man. :rainbowderp:

8384231
This... this comment! It’s so beautiful! :raritystarry:

My response, in contrast, will be disappointing. :ajsleepy: I’m sorry! Ahm, yeah, there is no deep reason why I chose group theory over type theory. It just jumped into my head when I wrote the second Sigma chapter and then I rolled with it. Uhm, I expected almost everyone to have no idea what it is, making it simply a weird name for something mathy...

On the other hand

It's possible that Group Theory here is a gross simplification of an interface that is actually built in a highly abstract language like Haskell that simply re-derives Group Theory inside the language to then construct even higher level abstractions. In this case, the machine is built on top of something like high-level lambda calculus, but builds it's interface on top of Group Theory, perhaps resulting in something so high-level we have no accepted name for it, like Inter-universal Teichmüller theory.

If I have that authority, I hereby declare this canon. The idea that divine machinery runs on functional programming (or something even more abstract) is :yay: (Even though I honestly doubt group theory would have any useful role to play there.)

I hope you stick around for the epilogue. Story isn’t fully completed yet. Oh, and for honesty’s sake I should add that you also know more about maths than I do. I had certainly never heard of chaos theory before. That would have been pretty cool as well.

8385003

My college refused to let me into the Computer Science major so I majored in Applied Mathematics instead, and one of the classes I took was all about analyzing chaotic functions that are impossible to derive solutions for, which seemed applicable here :twilightsheepish:

You were doing such a good job of being consistent with all the math terms being thrown around that I honestly couldn't tell if you actually knew Group Theory or you were simply using a particularly fancy math word for effect (which was apparently the case). Regardless of the mathematical implications, this is an extremely good characterization of a highly intelligent character.

I look forward to the epilogue! :yay:

8385016

You were doing such a good job of being consistent with all the math terms being thrown around that I honestly couldn't tell if you actually knew Group Theory or you were simply using a particularly fancy math word for effect (which was apparently the case).

Hm... I must have been too modest in my comment for you to reach that conclusion. I for one certainly hope I do know group theory, because I have to write an exam (partially) about it in 12 days :ajsmug: I just didn’t think too much about how it actually fits. I might have just liked the idea that it’s actually important, because it seems so awfully theoretical. Particularly finite groups, which we focused on primarily.

Regardless of the mathematical implications, this is an extremely good characterization of a highly intelligent character.

Thank you! Yeah, as you can probably guess, I strongly disagree with most portrayals of what highly intelligent characters would be like.

Ahm – I now feel compelled to recommend you this. It’s pretty much the greatest thing on earth, and based on our brief conversation I have a sense that you might appreciate it.

8385037

Aha, so you do know group theory, but you didn't actually contextualize it, you simply used it as technobabble. That explains how you were able to write such consistent mathematics. When you said you simply used it as "a weird name for something mathy" I got the impression you weren't actually familiar with it. In that case, good luck on that exam :ajsmug:

I have read several chapters worth of HPMOR, but it's awfully long and I generally prefer Friendship Is Optimal over it. If I get an abundance of free time in the future I might attempt to finish it.

I have to point out that Group Theory would be applicable at a very low level when constructing a mathematical interface in Haskell, because Haskell doesn't have dependent types, so you only get to write one definition of a function inside your module. Hence if you need an element with just an addition operator, and another with addition and multiplication that itself can be passed into a function that only requires addition, you have to define both operators separately, and you wind up with what is essentially a monoid and a semiring, depending on which restrictions are used. When I was constructing a type system, I ended up with what is essentially a semilattice construct, and lattices are commonly employed when constructing type systems using type theory. However, this would be at a very low level and probably not meaningfully related to whatever the high level interface would be.

they killed discord . . . just like that . . . and NO ONE GIVES A F*CK??
like seriously?
noone even saw it happening and he didnt get any dialogue to finish off with as well
. . . terrible

Login or register to comment