ConwayLife.com

I've written a script to generate (predecessors to) omniships of any given non-orthogonal velocity below the speed limit:

# make-omniship.py
# Goldtiger997, September 2026
# The base64 decoding code is borrowed from a script by dvgrn: https://conwaylife.com/forums/viewtopic.php?f=2&t=2936&start=25 ...

My guess is that the object separation code used for detection of (32+)-bit still-lifes isn't perfect. In the infile you provided, the snark heart would be stable on its own, so I suspect pslmake thinks it is something you want built. I tried connecting up the snark heart more directly to the rest ...

I'm moving discussion of ENDW's omniship to this thread since I think this thread is a better place.


omniship

This pattern summarises my understanding of the underlying design:

x = 2735, y = 2227, rule = LifeHistory
2596.A$2595.A.A$2596.2A38$2658.A$2622.A34.A.A$2621.A.A34.2A$2621.2A9$
2679.A ...

Congratulations! It's very cool to see an omniship built!

I've adjusted the pattern you posted to achieve a simplified velocity of (2,1)c/7. Specifically, the velocity is (2*2^27, 2^27)c/(7 * 2^27), making it HashLife friendly. This spaceship "runs away" for me in Golly, when I give Golly 10GB of ...

Attach sidewalk:

#C 139:15 1 38 -3 66 4 112 -5/67 1 103 -7/59 3 119 10/50 4 65 -9 124 8 147 -6
x = 9, y = 5, rule = LifeHistory
BBDDBDDBB$
BBBDBDBBC$
BBBDBBDBC$
BBBBDBCBC$
BBBDDBCCB!

As a synthesis:

x = 72, y = 68, rule = LifeHistory
59.A$57.2A$58.2A$12.A$13.A$11.3A$24.A$22.A.A$23.2A$58.A$56 ...

Interesting project! The software you've written looks very nice. It breaks down the process of writing a complex proof into a bunch of little puzzles. To try the software out, I've done a few easy conversions:

#C 9:26 -7///11 0 16 6
x = 7, y = 5, rule = LifeHistory
BBBCCBB$
BBDBCBB$
BBBCBBB ...

I've been trying to find a Loafer-to-X with repeat time of 90 ticks or less. This is the closest I've been able to find, which fails because the output glider is unfortunately aimed into the catalyst:

x = 36, y = 23, rule = B3/S23
26b2o$27bo$27bob2o$24b2obobo$24bo2bobo$25b2o3b2o$31bo$31bob2o ...

Slightly simplified final step which I believe should constitute a reduction (I got rid of the beacon):

x = 83, y = 94, rule = B3/S23
20bobo$21b2o$21bo4$44bo$44bobo$44b2o$20bo16bo12bo$18bobo14b2o12bo$19b
2o10bo4b2o11b3o$o28bobo$b2o27b2o$2o2$61bo$39bo19b2o$38bo21b2o$38b3o2$
10bo19bobo31bobo ...

Here's a simplification of the final step which does away with the large still-life at the back:

x = 88, y = 94, rule = B3/S23
25bobo$26b2o$26bo4$49bo$49bobo$49b2o$25bo16bo12bo$23bobo14b2o12bo$24b
2o10bo4b2o11b3o$5bo28bobo$6b2o27b2o$5b2o2$66bo$44bo19b2o$43bo21b2o$43b
3o2$15bo19bobo31bobo ...

Final step for the lobster!:

x = 118, y = 118, rule = B3/S23
18bobo$19b2o$19bo6$23bo$21bobo$22b2o8$67bo$67bobo$67b2o$23bo36bo12bo$
21bobo34b2o12bo$22b2o10bo24b2o11b3o$3bo28bobo$4b2o27b2o$3b2o2$84bo$62b
o19b2o$61bo21b2o$61b3o2$13bo39bobo31bobo$14b2o37b2o32b2o$13b2o39bo33bo
2$19bobo$20b2o$20bo4$94bo ...

Here's a synthesis for the back part of the lobster, but unfortunately it doesn't quite fit with TigerCub414's synthesis of the middle part (b3o$2b2o$o2bo$2o$2o!):

x = 50, y = 50, rule = LifeHistory
6.A$4.A.A$5.2A$2.A9.A$A.A10.A$.2A8.3A3$11.A$12.2A$11.2A$24.2A$24.CAD$
24.D.D.C2D$26.DA.A2.D2C$23 ...

Once the lobster is synthesised, it will be possible to synthesise arbitrarily large c/7 diagonal spaceships by incrementally attaching wing pushalongs. Here's a method of attaching the first pushalong:

x = 51, y = 64, rule = B3/S23
47bo$46bo$46b3o3$16bo$17bo$15b3o2$19bobo$20b2o$20bo$34bo$33bo6bo ...

Small reduction to the Orion final step:

x = 80, y = 91, rule = B3/S23
7bo$8bo$6b3o4$25bo$26b2o$25b2o52bo$70bobo4b2o$70b2o6b2o$71bo$28bo$29bo
$27b3o$14bobo57bo$15b2o55b2o$15bo57b2o$4bo$2bobo17bo$3b2o18bo$21b3o2$o
bo8bo$b2o2bobo4b2o$bo4b2o3b2o$6bo$71bo$70bo$70b3o10$48b2o$47bobo$40b3o
4bo$44b2ob2o ...

I've completed the barge crossing salvo. That is, a salvo of gliders with the property that if the salvo collides with an infinitely long barge of the correct color, after some amount of time, the salvo will be present on the other side of the barge, and the barge will still be intact. Also, the ...

I've sketched out a design for a variant of the plan in my previous post. The only thing missing from it are the seeds of destruction.

x = 2722, y = 2729, rule = LifeHistory
2546.A$2545.A.A$2546.A.A$2547.A.A$2548.A.A$2549.A.A$2550.A.A$2551.A.A
$2552.A.A$2553.A.A$2554.A.A$2555.A.A$2556.A.A$2557.A.A ...

What is going to be the best way to arrange things so that the next hole-punching salvo and the two copies of the memory-loop gliders pass through the hole, before that slow salvo starts doing the patching?

Making the gliders pass through the hole before the slow salvo does the patching is a ...

I searched for some dirty one glider seeds for the stages of the barge patching:

x = 3187, y = 115, rule = B3/S23
bo255bo255bo255bo255bo255bo255bo255bo255bo255bo255bo255bo255bo$obo253b
obo253bobo253bobo253bobo253bobo253bobo253bobo253bobo253bobo253bobo253b
obo253bobo ...

I found a salvo of gliders which can punch a hole in an infinitely long barge without destroying the whole barge:

x = 115, y = 115, rule = B3/S23
bo$obo$bobo$2bobo$3bobo$4bobo$5bobo$6bobo$7bobo$8bobo$9bobo$10bobo$11b
obo$12bobo$13bobo$14bobo$15bobo$16bobo$17bobo$18bobo$19bobo$20bobo$21b
obo$22bobo ...

I nominate the synthesising of all known spaceships up to 35 bits.

The following key spaceships were synthesised in 2025:

32P4H2V0 by TigerCub414.
All four variants of weightship pulling unnamed tagalong 23P4H2V0 by Entity Valkyrie 2, Goldtiger997, and Dave Greene.
xq4_w6vfgzgfvs13wevnoz131y31 ...

Here's a collection of edgy eater 1 seeds, sorted by input glider direction. I found the left four in the top row in a QuFince search today inspired by some discussion on the Discord. The rest of the seeds were sourced from various past posts on the forums:

x = 210, y = 261, rule = LifeHistory
15 ...

Solved xs23_0ck0fpzc9701226 :

x = 84, y = 38, rule = B3/S23
52bo28bo$53b2o26bobo$52b2o27b2o6$57bo$55bobo$56b2o6bo$65bo2bo$63b3o2bo
bo$68b2o$51bo$44bobo5bo$9bo35b2o3b3o$9bobo33bo$bo7b2o$2b2o$b2o$65b2o$
64bobo$64bo$63b2o3$b2ob2o55b2ob2o$2bobo57bobo$2bo2b3o54bo2b3o$obo4bo
40b3o9bobo4bo$2o48bo9b2o ...

Solved xs23_c4o0e9jz69c321:

Solved xs23_8ka9jqik8zw1226 :

x = 43, y = 40, rule = B3/S23
6bobo$7b2o$7bo$10bo$11b2o$10b2o8$25bo2b2o$25b4obo$31bo$27bob2obo$27b2o
2bo$30bo$27b3o$27bo3$10b2o$3bo5bobo$3b2o6bo$2bobo7$bo$b2o$obo2$40b2o$
40bobo$40bo!

Edit : solved xs23_ca9l68oz35871 :

x = 220, y = 50, rule = B3/S23
188bo$186bobo ...

Solved xs23_g88m9a4z1amha6 :

x = 175, y = 25, rule = B3/S23
13bo49bo49bo49bo$12bobo47bobo47bobo47bobo$12bo2bo46bo2bo46bo2bo7bo3bo
34bo2bo$10b2ob2o45b2ob2o45b2ob2o6b2o3bo33b2ob2o$9bo2bo46bo2bo46bo2bo9b
2o2b3o30bo2bo$9bo2bo7bo38bo2bo46bo2bo18b2o26bo2bo$o9b2ob2o4bo40b2ob2o
45b2ob2o15b2o19bobo6b2ob2o ...

#02 *
#03 *
#04 **
#07 *
#08 *
#09 *
#10 *
#12 *
#14 *
#15 **
#16 *
#17 *
#21 *
#22 *
#23 ***
#26 **
#27 ***
#29 *
#30 *
#31 *
#33 **
#34 **
#36 *
#37 *