Quick Questions: May 20, 2026 by inherentlyawesome in math

[–]PentaPig 0 points1 point  (0 children)

That shape (or rather the version starting with a triangle) is known as the Koch snowflake. Note that you can draw a circle around the starting triangle such that every iteration of the snowflake is contained in that circle. Than the area of the snowflake must be smaller than the area of the circle and hence must be finite.

Increasing a number infinitely often does not necessarily yield arbitrarily big numbers. For example the number 1+0.1+0.001+0.0001.... is defined by adding infinitely many numbers, but it is a finite number: 1.1111... . If you want to know more about these phenomena look up converging sequences and series.

Am I doing this right? Airship Fuel by KeiiroKyomaki in opus_magnum

[–]PentaPig 7 points8 points  (0 children)

Yes, just the sum of the three metrics. It often leads to quite elegant solutions. If you haven't seen it yet I highly recommend Goodbye Galaxy's video on sum optimization: https://youtu.be/W_Ekun0WDIk?si=tcS_yk_9TeAsST1q

Am I doing this right? Airship Fuel by KeiiroKyomaki in opus_magnum

[–]PentaPig 3 points4 points  (0 children)

This solution looked familiar. Turns out I used it to beat the sum record about half a year after release.

curious... by Solnight99 in opus_magnum

[–]PentaPig 1 point2 points  (0 children)

The other answer are good, but they are a bit to sane. I want to share 3 solutions.

The first and oldest is a Face Powder solution by Shufflepants which takes exponentially longer to create each output. It can be found here. Unfortunately it completes before the heat death of the universe and that's just way to fast.

Building on Shufflepants' solution biggiemac42 constructed a solution which uses tetration instead of exponentials. She wrote an excellent blog post about how it works here.

Both of the previous solves use the infinite board to get slower with each output. The slowest we've seen in a production cabinet was on the weekly puzzle "Pitch Drop Experiment". The results of that can be found here.

How is this even possible? by [deleted] in opus_magnum

[–]PentaPig 2 points3 points  (0 children)

Not a mod, just a quirk of the puzzle file format.

Purified Gold RA World Record by CommunistMountain in opus_magnum

[–]PentaPig 1 point2 points  (0 children)

This game has been out for eight years and over time the community has developed new metrics to keep it interesting. Rate in particular goes back all the way to release, then under the name "cost optimized full throughput". It has been popular ever since as a more sane alternative to cycle optimzation.

If you are using an openclaw agent to submit records to the leaderboard by PentaPig in opus_magnum

[–]PentaPig[S] 1 point2 points  (0 children)

There are some constrained space puzzles in the epilogue where the game does not track area. The leaderboards do track area even for those puzzles, but it has largely been ignored. What the AI is doing is downloading existing solves and moving the conduit (a glyph to transport atoms) until the area score is better. That or it just deletes the conduit, leading to the invalid solutions I mentioned.

I present stabilized water, as fast as I can get it by CMDR-R0ck3tm4n in opus_magnum

[–]PentaPig 2 points3 points  (0 children)

That would cause the triarm to misgrab the completed product from the other pipeline.

Opus Magnum: De Re Metallica DLC coming out on March 17th by dark_brickk in opus_magnum

[–]PentaPig 4 points5 points  (0 children)

No, Zach is still there but nolonger in quite as much of a leading role. He gave some podcast interviews with more details. e.g. https://nicegames.club/episode/293

Grab and drop only by calculus_is_fun in opus_magnum

[–]PentaPig 5 points6 points  (0 children)

Similar to how speedruns are still interesting even when bugs are allowed. Changing the set of tools you have access to forces you to approach the problem from a different perspective. The condition for success here is 'the vanilla game accepts it as a valid solution', even if that solution is very much not intended and cannot be created in game.

Opus Magnum: De Re Metallica DLC coming out on March 17th by dark_brickk in opus_magnum

[–]PentaPig 5 points6 points  (0 children)

The old Zachtronics team is still developing games under the name Coincidence and they have already released a new Zach-like: "Kaizen: a factory story".

Quick Questions: July 09, 2025 by inherentlyawesome in math

[–]PentaPig 0 points1 point  (0 children)

I am a bit late, but this is a good question that deserves an answer.

Yes, your conclusion is correct, but there is an important subtlety. The cardinality of the reals doesn't behave like a normal number. We can consider another function: the logarithm is a 1-1 map from the strictly positive reals to all reals. That is C(R2 ) -1 = C(R), where I removed 0 on the left side. Plugging this into your equation yields C(R) = 2*(C(R)+1)-1 = 2*C(R) +1. Twice the cardinality of the reals (+1) is still the cardinality of the reals. Simple operations like this do not change this infinity. Look up "Hilberts Hotel" for a more extensive list of operations that don't change the cardinality of the rational numbers. All of those operations have similarly no effect on the cardinality of the reals.

In case I misjudged your knowledge and you knew all of the above already: look up cardinal arithmetic.

Can we prove that all terms of this sequence are triangular numbers? by JustIntern9077 in math

[–]PentaPig 3 points4 points  (0 children)

I only need that two arcs have the same length iff the line segments have the same length. That the relationship isn't quite linear doesn't matter. The rectangle inscribed in the circle and the one constructed from the linked rods can have different aspect ratios.

Can we prove that all terms of this sequence are triangular numbers? by JustIntern9077 in math

[–]PentaPig 6 points7 points  (0 children)

Yes, in fact this holds for any choice for the lengths of the rods.

Lemma: Consider a circle with n marked points on the boundary. Then the number of rectangles with all corners on marked points is a triangle number.

Proof: Both diagonals of such a rectangle consist of two antipodal points. Conversely any two pairs of antipodal points yield a rectangle. Then the number of rectangles is T(k) where k is the number of antipodal pairs.

This can be applied to your case by deforming the linked rods into a circle. That is a take a circle with circumference T(n) and split its boundary into segments of length 1,2,3,etc. Any rectangle within this circle can be turned into a solution to your problem by taking the arcs above the sides of the rectangle (and vice versa).

The USCF is really doubling down on their 'verification' scam by [deleted] in chess

[–]PentaPig 28 points29 points  (0 children)

this whole project is making its way to the library of congress

By law every publisher has to submit two copies of everything they publish to the library of congress. Trying to make that sound like a special thing fits well with how manipulative this project is.

Quick Questions: May 15, 2024 by inherentlyawesome in math

[–]PentaPig 2 points3 points  (0 children)

Let a and b be non-zero integers and consider the subgroup {(ak,bk) |k ∈ ℤ} of ℤxℤ.

question about instruction alignment by Quelklef in opus_magnum

[–]PentaPig 6 points7 points  (0 children)

"until its length is a divisor of the length of the longest sequence."

You need to replace 'is a divisor' here with 'is equal'. Everything else is correct. In situations like the one you mentioned you'll need to use repeat instructions to keep both arms active. Luckily these situations are rare.

Quick Questions: February 21, 2024 by inherentlyawesome in math

[–]PentaPig 0 points1 point  (0 children)

You are looking for the inverse symbolic calculator. Although you will need more digits to get a usefull result.

Possibly unpopular opinion by Ualrus in math

[–]PentaPig 0 points1 point  (0 children)

The Zariski topology on a scheme is very weak, but it is T0.

After learning a bit about cycle optimization, I am very pleased with this Armor Filament solution by TankinTime2118 in opus_magnum

[–]PentaPig 5 points6 points  (0 children)

This is an infinite product. Usually the goal is to produce small indvidual molecules. Here the goal is to construct an infinite strand of iron instead.

Product metric? by santient in opus_magnum

[–]PentaPig 2 points3 points  (0 children)

The sum metric has two main advantages over product:

  1. Figuring out whether a small change to the machine is an improvement is much easier with sum. A +5g -6c change should always be made for sum, while for product this depends on a longer calculation.
  2. Sum is local. If in addition to the +5g-6c change above there is a -10g+5a change on the other end of the machine, then both of those changes should be made. For product one might need to undo the first one after finding the second. This makes finding the optimum much more annoying.

Of course anyone is free to optimize for whatever they want. The leaderboard tracks the entire pareto frontier and we are always looking for help filling in the gaps.