CommanderRedstone

this is gonna look so good by the time I'm done 😁 there's so many things I want to add and hopefully minecraft won't be too slow... todo: interstellar ships / rockets, space structures (space stations, dyson spheres/swarms?), stellar engines, the list goes on

@SuperFromND @SethBling already done 😎 although it isn't as optimized as it could be. youtube.com/watch?v=pNbTXK…

@SethBling makes me wonder, if you created a ton of tiny entities could you use those as sample points to make a basic cloth sim too? or would that be effectively an entirely separate datapack? very fascinating stuff as always either way

The datapack is up to 4905 commands. Honestly, that's less than I thought it'd take to simulate 3D rigid body physics so accurately. With everything else implemented, it only took about 10 commands to add Buoyancy.

what if I bootstrapped my mcfunction compiler 😳 then the actual compilation would be done in mcfunction... 🤔

@etanaratsastaja @mapmaking_memes

added some optimizations to use if score matches whenever possible, and use mcfunction's if score syntax more. Looks like my compiler caught a mistake I made in my tweet. Of course you could note that the loop does nothing and unroll it, but that's for another time.

for loop top three commands could be turned into just: execute if score test/root/0_i matches ..8 run return the optimization layer should hopefully flatten these things out

compiler's first words 🥺 yes, the last two commands can be merged into one, but optimizations like that will come later

context:

@keeteeh have fun being unable to touch any other programming language again without feeling immense pain 🦀🦀🦀

The point of no return (I'm learning Rust today I guess LOL)

time travelling hard drive concept: normal hard drive but use a time machine to read/write it at different intervals, effectively having infinite storage

Rust, of course. Rust devs can't seem to stop talking about the borrow checker, and literally everything else about the language. I wonder if it's possible to implement some sort of borrow checker for a language that compiles down to mcfunction to solve this entity problem

remember to de-allocate dynamic memory. Of course they're not identical but I feel as though they share similar problems. How do we solve this? Well, what language is famous for having such a good memory management system that its users won't stop talking about it? (cont)

This might sound crazy but hear me out... I personally hate working with entities in mapmaking because you often have to keep track of them and remember to get rid of them This is somewhat reminiscent of manual memory management in low-level languages where you have to (cont)

Isn't it wild that it's possible that we just lived through the brief moment in internet history where video adblocking is possible

The command block as a symbol for mapmaking is just like how we use floppy disks as the save icon

@realplagiatus @discord Not a great solution but you can switch your language to English UK

Hey @discord, any chance I can change how time is displayed without changing my display language? I'd prefer to see time in a 24h format and dates in a logical format that isn't MM/DD/YYYY but I also don't want to switch the entire app to german.

@MDLC_01 I don't know enough about ZFC to say much but what if you can prove that it's simply impossible?

Random thought I had: Can you have a set which you cannot know any element of? You can have a set which CONTAINS elements that you cannot know of (e.g. set of all programs that do not halt), but all the examples I can think of also contain elements you know of (eg. a loop)

@RobiriSahiro Maybe but many infinite things you can construct through definitions I think your example can be construed unfortunately

@keeteeh Maybe but I feel like it's going to be a whole new problem trying to define "identifiable unique description"

@CMDrRedstone Alternatively, how about "the set of items for which an identifiable unique description does not exist"? Not sure if a definition like that is too vague/meta or what lol

@keeteeh I don't think this would fly under the definition since we know every element in the set (none)

@CMDrRedstone What about simply an empty set? Its impossible to know any element of an empty set if there aren't any to know... hehe

@5usos well, I feel like in the mathematical sense the system before and system afterwards are different things. I could easily have a set of programs that have yet to run. Just because I start running one of the programs, doesn't mean that program's initial state shouldn't be in it

@CMDrRedstone What about "the set of physical systems whose wave function has yet to collapse"? Not 100% certain it works... If you were to measure to check, the system immediately stops being part of the set if it even was in the first place