00:22:25 Hmm. If you've got a female HDMI to a male DVI-D adapter, why's the DVI side have all the dual-link pins populated in the first place, when the HDMI connector has pins only for three data pairs? Are they just N/C? 00:24:25 (I've got one cable that's HDMI on one end and DVI in the other, and it's missing the middle dual-link data pins, which makes sense. But I'd like to use the DVI output for a thing that's got an integrated HDMI cable, so I've been looking at adapters instead, and all the pictures I've seen have had fully populated DVI-D connectors on the DVI side.) 00:28:34 I believe they're n/c and that some adapters will omit those pins 00:28:40 -!- warlock has joined. 00:28:51 not positive though 00:31:08 -!- kitbot has joined. 00:35:38 -!- kit has changed nick to Kit-ten. 00:35:47 -!- Kit_ has changed nick to Kit. 00:40:02 -!- Kit has quit (Quit: Leaving). 00:40:21 -!- NotApplicable has joined. 00:40:32 -!- NotApplicable has changed nick to Kit. 00:45:17 [[Bitter]] https://esolangs.org/w/index.php?diff=91729&oldid=89853 * DMC * (-12) /* Orthodox Bitter */ 01:21:15 [[Special:Log/upload]] overwrite * PixelatedStarfish * uploaded a new version of "[[File:Mmm.png]]" 01:29:32 [[Special:Log/upload]] overwrite * PixelatedStarfish * uploaded a new version of "[[File:Mmm.png]]" 01:36:53 [[MacroBeep]] https://esolangs.org/w/index.php?diff=91732&oldid=91725 * PixelatedStarfish * (+2) 01:40:48 [[MacroBeep]] https://esolangs.org/w/index.php?diff=91733&oldid=91732 * PixelatedStarfish * (-2) 01:45:45 [[THROW THIS TO THAT]] N https://esolangs.org/w/index.php?oldid=91734 * Esolang1 * (+2405) Created new page: THROW THIS TO THAT 01:46:43 [[User:Esolang1]] M https://esolangs.org/w/index.php?diff=91735&oldid=91125 * Esolang1 * (+25) Added language: THROW THIS TO THAT 01:50:04 [[THROW THIS TO THAT]] M https://esolangs.org/w/index.php?diff=91736&oldid=91734 * Esolang1 * (+19) Added Category: 2022 01:52:52 [[Language list]] M https://esolangs.org/w/index.php?diff=91737&oldid=91590 * Esolang1 * (+25) Added language: THROW THIS TO THAT 01:53:51 -!- Esolang1 has joined. 01:54:24 -!- Esolang1 has quit (Client Quit). 01:56:24 [[MacroBeep]] https://esolangs.org/w/index.php?diff=91738&oldid=91733 * PixelatedStarfish * (+18) /* Errors */ 02:10:02 -!- FreeFull has quit. 02:18:12 -!- kit_ten has joined. 02:22:25 -!- Kit-ten has quit (Ping timeout: 268 seconds). 02:26:43 [[HyperGolf]] N https://esolangs.org/w/index.php?oldid=91739 * DoggyDogWhirl * (+1881) Created page with "'''HyperGolf''' is an idea for an esoteric programming language by [[User:DoggyDogWhirl]]. HyperGolf would act like a golfing language, except that it would completely lack b..." 02:33:57 -!- dyeplexer has joined. 02:34:38 [[User:DoggyDogWhirl]] M https://esolangs.org/w/index.php?diff=91740&oldid=90716 * DoggyDogWhirl * (+16) Added HyperGolf 02:34:44 -!- razetime has joined. 02:50:44 -!- kitbot has quit (Remote host closed the connection). 03:01:11 [[THROW THIS TO THAT]] M https://esolangs.org/w/index.php?diff=91741&oldid=91736 * PythonshellDebugwindow * (+89) Add categories, see also 03:01:46 [[FROM HERE TO THERE]] M https://esolangs.org/w/index.php?diff=91742&oldid=88969 * PythonshellDebugwindow * (+39) /* External links */ See also 03:06:05 -!- dbohdan3 has quit (Read error: Connection reset by peer). 03:07:15 -!- dbohdan has joined. 03:22:52 -!- kit_ten has quit (Read error: No route to host). 03:23:20 -!- kit_ten has joined. 03:49:19 -!- razetime has quit (Read error: No route to host). 04:04:10 -!- razetime has joined. 04:40:23 [[Haczyk]] https://esolangs.org/w/index.php?diff=91743&oldid=91557 * Squidmanescape * (+639) /* Description */ 05:10:06 -!- earendel has quit (Quit: Connection closed for inactivity). 06:04:05 https://jalopnik.com/honda-clocks-are-stuck-20-years-in-the-past-and-this-mi-1848306970 is mind-boggling. what could they have plausibly messed up that breaks this on 2022-01-01 and fixes itself again (I guess; that's how you get a date in August) 1024 weeks after 2002-01-01? 06:29:59 -!- tromp has joined. 06:40:59 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 06:56:18 -!- sknebel has quit (Quit: sknebel). 06:56:40 -!- sknebel has joined. 07:03:42 -!- tromp has joined. 07:40:57 -!- Bowserinator has quit (Remote host closed the connection). 07:41:14 -!- Bowserinator has joined. 07:41:37 -!- BarryNL has quit (Ping timeout: 240 seconds). 07:42:55 -!- BarryNL has joined. 07:49:51 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 07:50:14 -!- impomatic has joined. 07:58:05 -!- razetime has quit (Ping timeout: 256 seconds). 07:58:22 -!- razetime has joined. 08:48:39 -!- tromp has joined. 09:06:07 [[User:A casual user]] https://esolangs.org/w/index.php?diff=91744&oldid=91693 * A casual user * (+0) 09:06:59 [[Oxon]] https://esolangs.org/w/index.php?diff=91745&oldid=91705 * A casual user * (-11) 09:11:53 -!- oerjan has joined. 09:18:08 -!- razetime has quit (Read error: Connection reset by peer). 09:23:01 -!- razetime has joined. 09:26:02 [[Oxon]] https://esolangs.org/w/index.php?diff=91746&oldid=91745 * A casual user * (+626) 09:28:08 [[Oxon]] https://esolangs.org/w/index.php?diff=91747&oldid=91746 * A casual user * (+28) 09:29:38 [[Oxon]] https://esolangs.org/w/index.php?diff=91748&oldid=91747 * A casual user * (+18) 09:30:49 fizzie: that might be because both video cards and monitors have female sockets, but that cable only works one way (out of DVI card to HDMI monitor or HDMI card to DVI monitor) and the extra plugs in the cable makes it less likely that you can plug it in backwards? 09:31:22 fizzie: alternately it's for mechanical stability so the plug doesn't easily get pulled off 09:31:31 although that would make more sense for the HDMI side than the DVI 09:31:41 -!- tech_exorcist has joined. 09:36:41 [[Oxon]] https://esolangs.org/w/index.php?diff=91749&oldid=91748 * A casual user * (+209) 09:44:22 [[Oxon]] https://esolangs.org/w/index.php?diff=91750&oldid=91749 * A casual user * (+133) 09:44:37 [[Oxon]] https://esolangs.org/w/index.php?diff=91751&oldid=91750 * A casual user * (+7) 09:45:03 [[Oxon]] https://esolangs.org/w/index.php?diff=91752&oldid=91751 * A casual user * (+19) 09:45:32 [[Oxon]] https://esolangs.org/w/index.php?diff=91753&oldid=91752 * A casual user * (+0) 09:47:03 [[Oxon]] https://esolangs.org/w/index.php?diff=91754&oldid=91753 * A casual user * (+6) 09:48:15 [[Oxon]] M https://esolangs.org/w/index.php?diff=91755&oldid=91754 * A casual user * (+1) 09:50:42 [[Oxon]] M https://esolangs.org/w/index.php?diff=91756&oldid=91755 * A casual user * (+0) 09:55:02 [[Oxon]] https://esolangs.org/w/index.php?diff=91757&oldid=91756 * A casual user * (-1) 10:19:16 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 10:23:08 -!- blu256 has quit (Ping timeout: 252 seconds). 10:24:46 -!- tromp has joined. 10:31:50 -!- blu256 has joined. 10:34:17 -!- Lord_of_Life_ has joined. 10:35:12 -!- Lord_of_Life has quit (Ping timeout: 256 seconds). 10:35:35 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 10:38:54 -!- Sgeo has quit (Read error: Connection reset by peer). 10:50:52 [[Oxon]] https://esolangs.org/w/index.php?diff=91758&oldid=91757 * A casual user * (+86) 11:11:31 -!- BarryNL has quit (Ping timeout: 268 seconds). 11:14:23 -!- oerjan has quit (Quit: Later). 11:27:11 -!- BarryNL has joined. 11:34:48 -!- __monty__ has joined. 12:29:45 -!- earendel has joined. 13:23:13 -!- tech_exorcist has quit (Quit: see you tomorrow or in 2 days). 13:41:38 [[Haczyk]] M https://esolangs.org/w/index.php?diff=91759&oldid=91743 * PythonshellDebugwindow * (+0) /* Description */ fix typo 13:57:21 -!- impomatic has quit (Ping timeout: 256 seconds). 13:57:55 -!- perlbot has quit (Ping timeout: 256 seconds). 13:57:55 -!- simcop2387 has quit (Ping timeout: 256 seconds). 14:01:14 [[Context.js]] M https://esolangs.org/w/index.php?diff=91760&oldid=90052 * PythonshellDebugwindow * (+24) Add category 14:09:03 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 14:13:02 -!- tromp has joined. 14:23:15 -!- simcop2387 has joined. 14:24:13 -!- perlbot has joined. 14:54:45 -!- blu256 has quit (Ping timeout: 268 seconds). 14:57:21 -!- Everything has joined. 14:57:48 -!- blu256 has joined. 15:10:44 [[MacroBeep]] https://esolangs.org/w/index.php?diff=91761&oldid=91738 * PixelatedStarfish * (+2) /* Errors */ 15:11:03 [[MacroBeep]] https://esolangs.org/w/index.php?diff=91762&oldid=91761 * PixelatedStarfish * (-4) /* Errors */ 15:18:40 [[MacroBeep]] https://esolangs.org/w/index.php?diff=91763&oldid=91762 * PixelatedStarfish * (+1) /* Errors */ 15:19:07 [[MacroBeep]] https://esolangs.org/w/index.php?diff=91764&oldid=91763 * PixelatedStarfish * (-1) /* Errors */ 15:28:48 [[MacroBeep]] https://esolangs.org/w/index.php?diff=91765&oldid=91764 * PixelatedStarfish * (+3) /* Errors */ 15:29:07 [[MacroBeep]] https://esolangs.org/w/index.php?diff=91766&oldid=91765 * PixelatedStarfish * (-2) /* Errors */ 15:49:29 [[MacroBeep]] https://esolangs.org/w/index.php?diff=91767&oldid=91766 * PixelatedStarfish * (-35) /* Errors */ 16:02:01 -!- blu256 has quit (Ping timeout: 256 seconds). 16:03:40 -!- blu256 has joined. 16:10:31 -!- blu256 has quit (Ping timeout: 256 seconds). 16:10:57 -!- blu256 has joined. 16:22:24 -!- blu256 has quit (Read error: Connection reset by peer). 16:22:55 -!- blu256 has joined. 16:26:11 I guess one more explanation is, it's cheaper to make just one kind of DVI-D connector, so it's also cheaper for the people making the adapters to buy the dual-link ones even though they've got extra pins. 16:34:11 -!- impomatic has joined. 16:56:42 -!- Guest5123 has joined. 16:59:25 Hi im new to IRC, I just wanna ask, does esolangs.org accept non-english esolangs as submissions? 17:00:44 what exactly does that mean? 17:00:46 i think there was a toki pona esolang so ya 17:01:03 I have a plan to make an esolang, but i need it to be in Malay cuz english just doesn't have the linguistic features needed for this esolang 17:01:09 go ahead 17:01:10 ohh ok nice 17:01:21 But the documentation has to be in English? 17:01:55 Yeah, the wiki language is english. 17:02:23 Ok! thanks for the replies! 17:04:22 -!- vyv has joined. 17:05:01 what is a minimal base in Combinatory Logic? 17:06:10 rather, what is the shortest one? 17:06:46 -!- razetime has quit (Ping timeout: 256 seconds). 17:09:27 -!- Guest5123 has quit (Ping timeout: 256 seconds). 17:11:22 there are one combinator basis 17:11:32 XX = S, X(XX) = K stuff like that 17:16:26 but what is the smallest possible X? 17:17:09 can X be smaller than the sumsize of S and K ? 17:17:41 oh smallest as a lambda term you mean 17:17:50 exactly 17:17:52 I never thought about that 17:18:01 whose size we can measure in bits 17:18:23 S is 30 bits, K is 7 bits 17:18:32 interesting question 17:18:32 oops, I mean S is 23 bits 17:18:48 it could be a small lambda term that you can make S and K out of using a complex exprsesion 17:18:54 (hypothetically) 17:18:57 sumsize of {S,K} is 30 bits 17:19:04 tromp: so you're measuring in BLC size? 17:19:09 yep 17:19:12 I see. 17:19:17 so we need to prove small lambda terms are not basis' 17:19:24 obviously the identity is not one 17:20:38 [[Oxon]] https://esolangs.org/w/index.php?diff=91768&oldid=91758 * A casual user * (+28) 17:20:45 [[Oxon]] https://esolangs.org/w/index.php?diff=91769&oldid=91768 * A casual user * (+2) 17:21:23 what is an absolute lower bound on the size of a minimal base? 17:21:41 we also know K is not one on its own 17:21:47 do you have a list of the lambda terms in size order 17:21:51 it would be larger than S... 17:22:03 how do you know that? 17:23:13 because it needs at least 3 lambdas 17:23:26 -!- Everything has quit (Quit: leaving). 17:23:30 and one duplicated variable 17:23:55 and 2 more preserved ones 17:25:09 I see 17:25:24 that's a great point 17:26:16 also needs an unpreserved variable 17:28:16 -!- iovoid has quit (Ping timeout: 245 seconds). 17:28:34 -!- iovoid has joined. 17:33:10 spoller: smaller than sumsize of S and K is possible 17:50:57 -!- kit_ten has quit (Ping timeout: 240 seconds). 17:53:17 -!- kit_ten has joined. 17:54:47 :O nice 17:54:55 that's already an exciting result 18:28:30 [[MacroBeep]] https://esolangs.org/w/index.php?diff=91770&oldid=91767 * PixelatedStarfish * (+72) /* Errors */ 18:29:24 [[MacroBeep]] https://esolangs.org/w/index.php?diff=91771&oldid=91770 * PixelatedStarfish * (-2) /* Errors */ 18:29:40 [[MacroBeep]] https://esolangs.org/w/index.php?diff=91772&oldid=91771 * PixelatedStarfish * (+1) /* Errors */ 18:30:32 [[MacroBeep]] https://esolangs.org/w/index.php?diff=91773&oldid=91772 * PixelatedStarfish * (-22) /* Errors */ 18:31:13 [[MacroBeep]] https://esolangs.org/w/index.php?diff=91774&oldid=91773 * PixelatedStarfish * (-1) /* Errors */ 18:31:29 [[MacroBeep]] https://esolangs.org/w/index.php?diff=91775&oldid=91774 * PixelatedStarfish * (+5) /* Errors */ 18:32:37 [[MacroBeep]] https://esolangs.org/w/index.php?diff=91776&oldid=91775 * PixelatedStarfish * (+0) /* Error Codes */ 18:36:15 -!- dyeplexer has quit (Remote host closed the connection). 18:36:18 [[MacroBeep]] https://esolangs.org/w/index.php?diff=91777&oldid=91776 * PixelatedStarfish * (+40) /* Error Codes */ 18:54:17 -!- impomatic has quit (Ping timeout: 256 seconds). 18:55:38 [[Oxon]] M https://esolangs.org/w/index.php?diff=91778&oldid=91769 * A casual user * (-6) 18:56:16 [[Oxon]] M https://esolangs.org/w/index.php?diff=91779&oldid=91778 * A casual user * (+6) 18:57:38 [[Oxon]] M https://esolangs.org/w/index.php?diff=91780&oldid=91779 * A casual user * (-64) 18:58:49 [[MacroBeep]] https://esolangs.org/w/index.php?diff=91781&oldid=91777 * PixelatedStarfish * (+8) /* Proof of Turing Completeness */ 18:59:45 [[Special:Log/newusers]] create * Peter * New user account 19:10:48 [[MacroBeep]] https://esolangs.org/w/index.php?diff=91782&oldid=91781 * PixelatedStarfish * (+57) /* Error Codes */ 19:11:52 [[MacroBeep]] https://esolangs.org/w/index.php?diff=91783&oldid=91782 * PixelatedStarfish * (+75) 19:14:05 [[MacroBeep]] https://esolangs.org/w/index.php?diff=91784&oldid=91783 * PixelatedStarfish * (+18) /* Error Codes */ 19:24:55 -!- vyv has quit (Quit: Konversation terminated!). 19:35:23 [[MacroBeep]] https://esolangs.org/w/index.php?diff=91785&oldid=91784 * PixelatedStarfish * (+332) 19:39:06 [[APOL]] https://esolangs.org/w/index.php?diff=91786&oldid=91664 * GingerIndustries * (+105) /* Instruction table */ 19:47:25 -!- Sgeo has joined. 19:53:40 [[MacroBeep]] https://esolangs.org/w/index.php?diff=91787&oldid=91785 * PixelatedStarfish * (+1) /* Instruction Set */ 20:20:42 [[Deadfish]] M https://esolangs.org/w/index.php?diff=91788&oldid=91678 * GingerIndustries * (+114) /* Commands */ 20:21:09 [[MacroBeep]] https://esolangs.org/w/index.php?diff=91789&oldid=91787 * PixelatedStarfish * (+365) 20:24:47 [[Deadfish]] M https://esolangs.org/w/index.php?diff=91790&oldid=91788 * GingerIndustries * (+129) /* Commands */ 20:27:48 [[5D 5D Brainfuck With Multiverse Time Travel With Multiverse Time Travel]] https://esolangs.org/w/index.php?diff=91791&oldid=89618 * Otesunki * (-12) Redundancy error-- it's turing complete. 20:31:40 [[RAMDISP]] https://esolangs.org/w/index.php?diff=91792&oldid=83900 * Otesunki * (+42) 20:32:21 [[MacroBeep]] https://esolangs.org/w/index.php?diff=91793&oldid=91789 * PixelatedStarfish * (+377) 20:32:58 [[MacroBeep]] https://esolangs.org/w/index.php?diff=91794&oldid=91793 * PixelatedStarfish * (-4) 20:39:17 -!- earendel has quit (Quit: Connection closed for inactivity). 20:55:11 -!- zegalch has quit (Remote host closed the connection). 20:55:37 -!- zegalch has joined. 21:46:19 -!- __monty__ has quit (Quit: leaving). 21:48:36 [[Talk:]] https://esolangs.org/w/index.php?diff=91795&oldid=89952 * Otesunki * (+720) /* Shouldn't level 5 be TC? */ new section 22:22:08 -!- blu256 has quit (Quit: Gone). 22:27:58 -!- earendel has joined. 23:30:42 [[Special:Log/newusers]] create * Kg583 * New user account 23:33:15 [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=91796&oldid=91675 * Kg583 * (+118) 23:35:55 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 23:38:25 [[For(T,R,A,N]] M https://esolangs.org/w/index.php?diff=91797&oldid=91535 * Kg583 * (+85) I invented this, so that's cool 23:41:41 -!- tromp has joined. 23:53:51 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 23:54:42 -!- joast has joined.