ConwayLife.com

It seems to me that the word "known" is implied in both of those sentences, just not stated. I guess we could either add "known" to both sentences, or start some difficult philosophico-mathematical arguments about whether or not Life spaceships exist when they haven't been discovered yet. I don't t...

Are these c/5-orthogonal spaceships known? x = 77, y = 83, rule = B3/S23 10b2ob2o15b2ob2o15b2ob2o15b2ob2o$9bo3bobo13bo3bobo13bo3bobo13bo3bobo$ 9bobobobo13bobobobo13bobobobo13bobobobo$10b2o2bo15b2o2bo15b2o2bo15b2o 2bo$13bo19bo19bo19bo2$11b2o18b2o18b2o18b2o$10b3o17b3o17b3o17b3o$9b2o 18b2o18b2o18b2o2$1...

Is it proven that there are no still-life glider eaters with recovery time 3? If yes, we may change the sentence The smallest known recovery time is 4 generations, attained by eater 1. on the LifeWiki page Eater into The smallest possible recovery time is 4 generations, attained by eater 1. . A simi...

#C Smaller (252 cells) p15 pre-pulsar spaceship. #C The spaceship supporting the pre-pulsar reaction is discovered by Tim Coe: #C https://conwaylife.com/forums/viewtopic.php?f=2&t=2031&p=28770#p28770 x = 39, y = 51, rule = B3/S23 6bo25bo$4bo2bo23bo2bo$4bo2bo23bo2bo$2b2o4bo21bo4b2o$2b4o3bo19bo3b4o$4...

I'm wondering if there are methodologies for still life constellation synthesis. Like how to synthesize the two southeastern eater1s in one stroke? How would you insert the last eater1? x = 761, y = 60, rule = B3/S23 675bo$673bobo$674b2o3$681bo$98bo583b2o$99bo12bo568b2o$97b3o12b2o$111b obo3bo139bo$1...

What is the general rule on pattern optimization on LifeWiki? There is a smaller variant of the P15_pre-pulsar_spaceship , both in terms of bounding box (39x51) and cells (252): x = 39, y = 51, rule = B3/S23 6bo25bo$4bo2bo23bo2bo$4bo2bo23bo2bo$2b2o4bo21bo4b2o$2b4o3bo19bo3b4o$4b o4bo19bo4bo$4b2o27b2o...

... SKOP p16 tub puffer... EDIT 1 Sorry, this is SKOP p12 hive puffer... Sorry for nonconstructiveness, but how are these puffers related to smallest known oscillators by population (SKOP)? Please just invent a new abbreviation and edit posts like this . In this circumstance, O could mean object.

What are some things in Life that seem "miraculous"? I have the following incomplete list: Sparkers, stationary and moving. They perturb reactions while keeping itself intact. All of (L/M/H)WSS are natural and can be synthesized in 3 gliders, giving birth to orthogonal technology. That transparent ...

I had a look at afind to poke around and see if it could be useful for producing wide partials with its floating-rows options enabled. It is suffering from code rot and it occasionally segfaults, but fortunately the program is working long enough to produce something useful, like these orthogonal c...

c/5 spaceship: x = 28, y = 146, rule = B3/S23 16bo$13b5o$12bobo3bo$12bobobobo$13b2ob2o$14b3o$14bo$15b2o$12bo$12b2o$ 12b2o$12bo$6b2o2bob2o$5bo2bobobo$5bo2bobo$4bobo2b2o$7bobobo$5b2o$3bo2b 2o$4bobo$b2obobob3o$2bobob4o$3b3o2b2o$4bobo$6b2o$4bo2bo$5b2o2b2ob2o$8b o3bobo$8bo2bobo$7b2obobo$8bo2bo$8b4o$8b2o$...

c/5 spaceship: x = 12, y = 66, rule = B3/S23 6bo$4bo2bo$4bo2bo$2b2o4bo$2b4o3bo$4bo4bo$4b2o$2bo4bo$2ob2o$2bo2bo 2bo$2bo5bo$6b2o$4bo$6bo2$4b2o$3b2o$2b2o$4bo$2b3o$5b3o2$5bobo$4bo$ 5b3o$3bo$5bo2bo$5bo3bo$5b2ob2o$4b2o$3b2o$3b3ob3o$7b3o$7bo$4b2o3bo$ 4b2o$5bo2bo$5b2o$5bo$5bo$4b2o2bo$4b2o2b2o$8b2o$4bo2b2o$4...

c/6d partial: x = 93, y = 93, rule = B3/S23 7b2o$6b2o$7bo3$2b2o2b3o7bobo$2o4b2o2bo4b2o2bo$2o9bo2b2o$b6o4b2o5bo$6bo 4b4obo$10bo3bo3b2o$7b2ob2o7bo2b3o$19b3obob2o$7bob2o11bob3o$6bo4bo10b4o $6bobo3bo6b2o3b2o$5b2obo3bo7b2o4bo$7b2o3bo10bo$8bo3b4o5bobobo2bo$10b2o b3o12b4o$10b2ob3o10bo5b2o$15b4o8b4o3bo$11bo...

Is there a collection of known twin bees reactions to check if this is possibly new?

A new c/6 pushalong: code Still another: code Even more: x = 28, y = 135, rule = B3/S23 20b3o$19b2ob2o$18bobobobo2$17b3o3b3o$18bo5bo2$16b3o5b3o$15bo3bo3bo3bo$ 15bo5bo5bo$16b2o7b2o$19b2ob2o$21bo2$20bobo$19bo3bo$18bo5bo$18b2obob2o 2$21bo$19b5o$18bo2bo2bo$17bobo3bobo$18b2ob2o2bo$20b2o$20b2o$21b2o$20bo...

Is this agar finitizable? rle Because of the post (the one I quoted), I decided to once again try to stabilize the non-agar slightly different version of it (which I failed to do 8 months ago) I succeeded. "New" p32 honey farm hassler/shuttle: rle Congratulations! By the way, how is your non-agar s...

A new c/6 pushalong: x = 19, y = 83, rule = B3/S23 7bo$5b2ob2o$4bobobobo$4bo5bo$3b3o3b3o3$2b2o7b2o$bob2o5b2obo$bo2b2obob 2o2bo$2b2ob2ob2ob2o$6bobo2$7bo2$6b3o$5b5o$4b2o3b2o3$6b3o$6b3o$8bo$4bob o$7bobo$4bobo2bo$8bo2$b2o13b2o$b2o13b2o$o2bobo2b3o2bobo2bo$ob5ob3ob5ob o$2bo4bobobo4bo$4b2o7b2o$5bo2bobo2bo2...

Is this agar finitizable? #C [[ LOOP 32 ]] [[ ZOOM 18 ]] [[ X 0 Y 0 ]] [[ GPS 16 ]] [[ THEME Life32 ]] x = 95, y = 95, rule = B3/S23 66b3o$47b3o15bo3bo$28b3o15bo3bo7b3o3bo5bo$27bo3bo7b3o3bo5bo5bo3bo2bo5b o$20b3o3bo5bo5bo3bo2bo5bo4bo5bobo5bo$19bo3bo2bo5bo4bo5bobo5bo4bo5bo2bo 3bo$18bo5bobo5bo4bo5bo2bo...

c/6 spaceship: x = 21, y = 173, rule = B3/S23 9bo$8bobo$8bobo$9bo$10bo$9bobo$9bo2bo$7bo2b3o$6bobo3bo$5b2ob2o$6bob2o$ 6bo$7bo$10bo$7bo$10bo$8b2obob2o$10b2ob2o$10bo$11bob2o2$12bo2bo$12bo$ 13bo2b2o$15b3o$12bo$8b4obo$8b4obo$14bo$11bo3bo$10bo4bo$10bo2$11b3o2bo$ 11bobobo2$8b3o$10bo$7bo$8bobo$9bob2o$8b2o$1...

Is this c/6 orthogonal pushalong known? x = 17, y = 73, rule = B3/S23 9bo$7b2ob2o3$7b2ob2o$7b3o2$11b2obo$11b3obo$11bo3bo$14bo$14b3o$13bo2bo$ 16bo$10b3o$12bo$10bobo$9bo2bo$9b2o$10bo$10bo$7b2o$7b2obo$8bo$8bo$8bo$ 8bo$5b2o3b2o$3bo9bo$3bo9bo$2bo11bo$3b2ob5ob2o$4bo7bo$4bobobobobo$4bo7b o$4bo7bo$2b2o9b2o$...

The pictutes in the Gallery section of Stator should be replaced by colorised life patterns in Lifeviewer.

the glider, gigantic and as of yet unsynthesisable by sir robins: x = 3, y = 3, rule = B3/S23 3o$2bo$bo! No, I answered it. It is the LWSS I still like my version better. wait, is lwss actually faster? anyway, it's a wrong answer, just not the wrong answer you wanted. Why is nobody mentioning the P...

pzq_alex wrote: ↑

August 11th, 2022, 12:09 am

The point is, if two similar rows can be ruled out by similar proofs, they would both get ruled out by the SAT solver in the lookahead step.

But what if they are in different nodes?

A thread for cellular automata questions, but wrong answers only.
Q: How does a B3/S23-block catalyse?

ikpx2 already sort of does this. It performs a “deep lookahead” on each node, using a SAT solver. The lookahead depth is typically 30. The point is that similar nodes could be ruled out by the same proof, or at least similar proofs. Does ikpx2 transfer UNSAT proofs between different nodes, or the n...