00:08:12 -!- Soni has quit (Ping timeout: 250 seconds). 00:44:02 -!- Soni has joined. 01:01:51 -!- simcop2387 has quit (Ping timeout: 256 seconds). 01:02:07 -!- perlbot has quit (Ping timeout: 256 seconds). 01:13:28 -!- perlbot has joined. 01:16:30 -!- simcop2387 has joined. 02:22:01 -!- imode has joined. 03:54:29 -!- Guest50 has joined. 03:56:21 -!- Guest50 has left. 04:00:00 -!- Taneb has quit (Quit: I seem to have stopped.). 04:01:10 -!- Taneb has joined. 04:41:06 -!- sprock has joined. 05:45:53 -!- imode has quit (Quit: WeeChat 3.3). 05:48:21 -!- sprock has quit (Ping timeout: 250 seconds). 05:51:46 -!- MizMahem has quit (*.net *.split). 05:51:46 -!- simcop2387 has quit (*.net *.split). 05:51:46 -!- perlbot has quit (*.net *.split). 05:51:46 -!- Sgeo has quit (*.net *.split). 05:51:46 -!- fowl has quit (*.net *.split). 05:51:47 -!- silky has quit (*.net *.split). 05:51:47 -!- lifthrasiir_ has quit (*.net *.split). 05:51:47 -!- shachaf has quit (*.net *.split). 05:51:47 -!- abraham has quit (*.net *.split). 05:51:47 -!- sknebel has quit (*.net *.split). 05:51:47 -!- b_jonas has quit (*.net *.split). 05:52:24 -!- simcop2387 has joined. 05:52:24 -!- perlbot has joined. 05:52:24 -!- Sgeo has joined. 05:52:24 -!- fowl has joined. 05:52:24 -!- b_jonas has joined. 05:52:24 -!- sknebel has joined. 05:52:24 -!- abraham has joined. 05:52:24 -!- shachaf has joined. 05:52:24 -!- lifthrasiir_ has joined. 05:52:24 -!- silky has joined. 05:52:25 -!- MizMahem has joined. 05:55:03 -!- ccx has quit (*.net *.split). 05:57:27 -!- ccx has joined. 05:58:33 -!- imode has joined. 05:58:58 -!- chiselfuse has quit (*.net *.split). 06:04:13 -!- chiselfuse has joined. 08:16:09 -!- tromp has joined. 08:32:39 -!- Sgeo has quit (Read error: Connection reset by peer). 09:19:14 -!- razetime has joined. 09:37:03 -!- __monty__ has joined. 10:47:36 -!- razetime has quit (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.). 12:09:11 -!- definitelya has joined. 13:33:10 -!- tech_exorcist has joined. 13:41:58 -!- eli_oat has joined. 13:48:42 -!- definitelya_ has joined. 13:51:32 -!- definitelya has quit (Ping timeout: 272 seconds). 14:46:26 [[APOL]] https://esolangs.org/w/index.php?diff=93140&oldid=92516 * Ginger Industries * (+148) 15:02:13 -!- definitelya_ has quit (Read error: Connection reset by peer). 15:02:22 -!- definitelya has joined. 15:27:06 -!- Sgeo has joined. 15:32:31 -!- razetime has joined. 15:35:31 [[APOL]] https://esolangs.org/w/index.php?diff=93141&oldid=93140 * Ginger Industries * (+234) 17:06:42 -!- razetime has quit (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.). 17:09:25 -!- FreeFull has joined. 17:20:39 -!- eli_oat has quit (Quit: eli_oat). 17:26:44 -!- eli_oat has joined. 18:42:40 riv, yes they would be rolled onto a 3d plane, which would appear "flat" to a 4d creature in a sense (a 4d creature could see all of a 3d shape at once like how we can see all of a 2d shape at once) 18:42:58 ok 18:43:51 it would look very weird to a 3d observer lol, the shape would seemingly come in and out of existance rapidly as it passes through a 3d slice 18:45:48 -!- vyv has joined. 18:45:49 https://en.wikipedia.org/wiki/Tesseract#Net has some nice animations for the 4D hypercube. 18:48:41 so we are looking for isotopic polytopes 18:49:09 these correspond to fair dice 18:50:58 i think its just shapes made of the same facets connected the same way to eachother? 18:51:44 4d probably has a lot more than 3d 18:52:47 yeah the facets are in a transitive symmetry group 18:53:01 so you can rotate any one to any other and the shape is the same 18:53:30 https://cormullion.github.io/assets/images/pentachoron/showall-pentachoronmovie.gif here is a good gif showing rotating 3d projection of the pentachoron (pentachoron (4-simplex) is 5 tetrahedrons) 18:53:42 multiple rotations 18:54:31 so this can roll a 5 18:54:36 ye 18:55:32 n-simplexes can roll up to an n+1 18:55:39 i think they are fair in every dimension 18:55:47 that is every n-simplex is fair 18:58:36 we need it to be convex too 18:59:00 i always though the self intersecting shapes should be reject outright.. dunno why people include them 18:59:16 http://www.polytope.net/hedrondude/dice.htm here is a page with some good info on dice in different dimensions 19:00:06 the 4-simplex is convex, the net may look concave but i assure you when you fold it up into the 4th dimension it becomes convex 19:00:59 I see 19:01:40 just like how a cube's 2d net doesnt look convex but is when you fold it into a cube 19:40:31 -!- Lord_of_Life has quit (Ping timeout: 272 seconds). 19:41:39 -!- Lord_of_Life has joined. 19:44:32 sgji: I don't think that's a good description. the planar net of a cube fods onto the *surface* of a cube, not the whole cube, and that surface is very much not convex. indeed, the net of a regular tetrahedron is convex, but when you fold it up, the surface is no longer convex, there's a big hole in the middle. 19:48:54 that said, yes, if you fold out the surface of a regular 5-cell to flat space, it won't be convex 19:49:49 i was referring to the shape that is filled in 19:50:59 i know folding a net will make it hollow, but that is kinda irrelevant imo 19:54:03 because we were talking about fair dice 20:13:25 -!- sprock has joined. 20:55:15 -!- immibis has quit (Ping timeout: 256 seconds). 21:05:43 -!- tech_exorcist has quit (Quit: Disconnecting). 21:06:11 -!- eli_oat has quit (Quit: eli_oat). 21:23:03 -!- chronon has joined. 21:23:30 -!- monoxane has quit (Quit: Ping timeout (120 seconds)). 21:23:53 -!- monoxane has joined. 21:30:51 -!- definitelya has quit (Quit: h). 21:38:14 -!- Hoolootwo has quit (Quit: ZNC 1.7.5+deb4 - https://znc.in). 21:38:35 -!- Hooloovoo has joined. 21:43:37 -!- immibis has joined. 22:07:19 -!- vyv has quit (Quit: Konversation terminated!). 23:44:27 -!- FreeFull has quit. 23:56:59 -!- __monty__ has quit (Quit: leaving).