00:23:44 -!- Lord_of_Life has quit (Ping timeout: 268 seconds). 00:24:01 -!- Lord_of_Life has joined. 01:33:22 -!- oerjan has joined. 01:34:16 -!- Guest3745674 has joined. 01:39:04 -!- Oshawott has joined. 01:40:12 -!- feoh has quit (Quit: Ping timeout (120 seconds)). 01:40:30 -!- feoh has joined. 01:42:22 -!- archenoth has quit (Ping timeout: 260 seconds). 01:46:22 -!- Guest3745674 has quit (Quit: Client closed). 01:47:35 it also doesn't tell whether it's Turing-complete – it only says that from the BCW basis you can get any lambda term of a certain form, namely one with applications only on variables inside the lambdas, and with all bound variables used at least once <-- i think that must be BCWI. i got nerd sniped into thinking about what it's with _just_ BCW. 01:47:58 oerjan: aren't those the same? 01:48:06 like can't you get I from BCW? 01:48:10 nope. 01:48:15 I see 01:48:25 probably BCWI then 01:49:15 you can, i think, get a fixpoint-based almost-version that shuffles itself away: I' a b = a (I' b) 01:49:40 yeah, it's BCWI or equivalently BCSI 01:49:59 without that, the best you can get is int-e's BCC x y z = x y z 01:50:37 and that's almost the general rule i found: you get any closed lambda expression in which any innermost expression contains at least two applications. 01:51:08 that is reasonably close, I guess 01:51:18 you will note that all of B, C and W have that property, and you cannot get rid of it 01:51:19 shoudln't impact TC-ness 01:59:01 indeed. you have perfect S: from int-e's S a b = W (B (C a) b) you can eliminate further to B W (B (C a)) b = B (B W) (B B C) a b 02:01:31 um *any closed lambda expression using all parameter variables at least once and ... 02:04:23 also, i suspect BCWI can implement underload's :()^~ , giving a way to do TC-ness without junk. 02:04:50 (maybe * and a as well now i think about it) 02:05:14 (with a pair-based stack) 02:07:18 or one might implement some K-elimination similar to my underload method directly. 02:09:49 perhaps one could use B C C = \f x y -> f x y and C = \f x y -> f y x as booleans to distinguish the self-deletion and running modes 02:10:20 and maybe manage with just B C W 02:12:09 although, what should the API for that be 02:13:05 ...someone has to have done something like this for LC already 02:48:18 [[Truth-machine]] M https://esolangs.org/w/index.php?diff=89386&oldid=89234 * DigitalDetective47 * (+2) /* Left-Right March */ Fixed header level 03:22:42 Although there are some different GUI widget set libraries some of which are portable, is there the interface which is independent from the implementation? (I could try to make up such a thing if there isn't one or if the existing ones are not good enough, I suppose.) 03:41:33 -!- moony has changed nick to cd. 04:18:28 -!- earendel has joined. 05:18:51 -!- pikhq has quit (Ping timeout: 245 seconds). 05:19:35 -!- j4cbo has quit (Ping timeout: 264 seconds). 05:19:44 -!- earendel has quit (Ping timeout: 268 seconds). 05:20:04 -!- dnm has quit (Ping timeout: 260 seconds). 05:20:22 -!- yuu_ has quit (Ping timeout: 252 seconds). 05:20:31 -!- yuu_ has joined. 05:20:31 -!- Argorok has quit (Ping timeout: 260 seconds). 05:20:32 -!- aarchi has quit (Ping timeout: 260 seconds). 05:20:55 -!- mich181189 has quit (Ping timeout: 260 seconds). 05:20:55 -!- integral has quit (Ping timeout: 260 seconds). 05:21:26 -!- mich181189 has joined. 05:21:27 -!- mich181189 has changed hostmask to sid268336@londonhackspace/mich181189. 05:21:31 -!- pikhq has joined. 05:22:01 -!- dnm has joined. 05:22:08 -!- earendel has joined. 05:22:10 -!- earendel has changed hostmask to uid498179@user/earendel. 05:22:14 -!- Argorok has joined. 05:22:14 -!- integral has joined. 05:22:25 -!- aarchi has joined. 05:33:58 -!- j4cbo has joined. 06:32:26 -!- oerjan has quit (Quit: Nite). 07:17:07 -!- Sgeo_ has quit (Read error: Connection reset by peer). 07:26:08 (I mean for example a common .h file so that the same API function calls are used but you can substitute a different implementation and it can work) 08:05:03 -!- hendursaga has joined. 08:08:30 -!- hendursa1 has quit (Ping timeout: 276 seconds). 08:17:36 -!- hendursaga has quit (Ping timeout: 276 seconds). 08:19:26 -!- hendursaga has joined. 09:03:20 oerjan: fwiw, the BCC was tromp's not mine 09:10:29 `? bcc 09:10:32 bcc? ¯\(°​_o)/¯ 09:10:36 `? bbc 09:10:38 The BBC is the BreadBox Corporation. Its inventions include, without limitation, Muppets, tiny elfs, villages in Norway, and inventors of all things. Taneb invented it. 10:39:10 -!- FireFly has quit (Quit: WeeChat 2.0.1). 10:39:31 -!- FireFly has joined. 11:45:48 bcc.nl is a Dutch electronics & home appliance chain 11:52:57 -!- tech_exorcist has joined. 12:49:57 -!- tech_exorcist_ has joined. 12:52:34 -!- tech_exorcist has quit (Ping timeout: 260 seconds). 13:37:26 -!- arseniiv has joined. 13:37:58 -!- tech_exorcist_ has quit (Quit: afk, ttyl). 13:54:49 `? bbc 13:54:51 The BBC is the BreadBox Corporation. Its inventions include, without limitation, Muppets, tiny elfs, villages in Norway, and inventors of all things. Taneb invented it. 14:00:21 `slashlearn bcc//The "Bcc:" field (where the "Bcc" means "Blind Carbon Copy") contains addresses of recipients of the message whose addresses are not to be revealed to other recipients of the message. 14:00:24 Learned 'bcc': The "Bcc:" field (where the "Bcc" means "Blind Carbon Copy") contains addresses of recipients of the message whose addresses are not to be revealed to other recipients of the message. 14:31:24 -!- kspalaiologos has joined. 14:32:23 -!- hendursaga has quit (Remote host closed the connection). 14:33:05 -!- hendursaga has joined. 14:53:45 -!- hendursaga has quit (Remote host closed the connection). 14:54:17 -!- hendursaga has joined. 15:01:59 -!- arseniiv has quit (Ping timeout: 256 seconds). 15:36:46 -!- kspalaiologos has quit (Ping timeout: 260 seconds). 15:41:56 -!- arseniiv has joined. 15:54:47 -!- Trieste has joined. 15:55:15 -!- Trieste_ has quit (Ping timeout: 256 seconds). 16:12:00 -!- hendursaga has quit (Quit: hendursaga). 16:12:25 -!- hendursaga has joined. 16:13:57 -!- Sgeo has joined. 16:17:28 -!- earendel has quit (Quit: Connection closed for inactivity). 16:37:10 Amusing thing that happened a few days ago: Someone asked if a less readable way to write a simple conditional function in Haskell was more efficient, and someone responded that the two ways might well compile to the same thing. The latter person then went to actually check the Core for those two functions, and found that GHC replaced the second function with a reference to the first. 16:37:24 So not only did they compile to the same thing, but the compiler noticed and deduplicated them. 16:39:34 Nice. 17:00:05 -!- Lord_of_Life has quit (Excess Flood). 17:01:26 -!- Lord_of_Life has joined. 17:08:47 [[User:Otesunki]] N https://esolangs.org/w/index.php?oldid=89387 * Otesunki * (+83) initial commit 17:09:03 [[User:Otesunki]] M https://esolangs.org/w/index.php?diff=89388&oldid=89387 * Otesunki * (+3) im dumb 17:23:30 -!- tech_exorcist has joined. 17:33:52 [[Timers]] M https://esolangs.org/w/index.php?diff=89389&oldid=89377 * Rphii * (+30) fix command list 17:39:40 [[Why Does This Towel Smell Different Each Time I Use It]] https://esolangs.org/w/index.php?diff=89390&oldid=88723 * LarhoCherqi * (-86) Changed the interpreter link into a compiler link 18:19:00 `? A 18:19:01 A is one of seven villages in Norway. The BBC invented them by not understanding things on top of letters. 18:31:18 `? Å 18:31:20 ​Å _is_ a village in Norway, unless you're the BBC and don't understand things on top of letters. 18:32:23 `? Å 18:32:24 Å? ¯\(°​_o)/¯ 18:32:55 I see no normalization is being done. 18:33:29 (Second one is A + combining ring) 19:08:18 [[BrainSoup]] https://esolangs.org/w/index.php?diff=89391&oldid=89350 * PixelatedStarfish * (+155) 19:09:53 [[BrainSoup]] https://esolangs.org/w/index.php?diff=89392&oldid=89391 * PixelatedStarfish * (+10) 19:10:21 [[BrainSoup]] https://esolangs.org/w/index.php?diff=89393&oldid=89392 * PixelatedStarfish * (-1) 19:19:09 Melvar: some normalization is done on wisdom names, just not that kind of normalization 19:19:25 `? å 19:19:27 ​Å _is_ a village in Norway, unless you're the BBC and don't understand things on top of letters. 19:19:36 `? ä 19:19:37 ​Ä is a Swedish geographical feature. 19:19:41 `? ã 19:19:42 ​ã? ¯\(°​_o)/¯ 19:21:21 ``` for x in à á â æ ð ñ õ ö ø ü þ ÿ; do \? "\$x"; done 19:21:32 ​à? ¯\(°​_o)/¯ \ á? ¯\(°​_o)/¯ \ â? ¯\(°​_o)/¯ \ æ? ¯\(°​_o)/¯ \ ð? ¯\(°​_o)/¯ \ ñ? ¯\(°​_o)/¯ \ õ? ¯\(°​_o)/¯ \ ö? ¯\(°​_o)/¯ \ ø is not going anywhere. \ ü is the ridiculously happy second derivative of the letter ‘u’ with respect to time. \ þ? ¯\(°​_o)/¯ \ ÿ? ¯\(°​_o)/¯ 19:22:08 `? ő 19:22:09 ​ő? ¯\(°​_o)/¯ 19:50:58 `cbt lowercase 19:50:59 ​#!/bin/bash \ print_args_or_input "\$@" | tr A-Z a-z | LANG=en_NZ.UTF-8 sed 'y/ØÅÆŒÞÐÄÖÜÁÉÍÓÚÝŁ/øåæœþðäöüáéíóúýł/' 19:51:04 That's a very particular lowercasing. 19:57:41 interesting. why doesn't it do the A-Za-z part in the sed transliteration too? 20:03:25 -!- hendursaga has quit (Remote host closed the connection). 20:03:48 -!- hendursaga has joined. 20:07:52 ``` cat /hackenv/bin/learn # does that use the same casefolding rule? 20:07:53 ​#!/bin/bash \ topic=\$(echo "\$1" | lowercase | sed 's/^\(an\?\|the\) //;s/s\?[:;,.!?]\? .*//') \ [ -e "\$HACKENV/wisdom/\$topic" ] && verb="Relearned" || verb="Learned" \ echo "\$1" >"\$(echo-p "\$HACKENV/wisdom/\$topic")" \ echo "\$verb '\$topic': \$1" 20:08:02 ``` cat /hackenv/bin/lowercase 20:08:04 ​#!/bin/bash \ print_args_or_input "\$@" | tr A-Z a-z | LANG=en_NZ.UTF-8 sed 'y/ØÅÆŒÞÐÄÖÜÁÉÍÓÚÝŁ/øåæœþðäöüáéíóúýł/' 20:38:35 -!- tech_exorcist has quit (Remote host closed the connection). 20:39:18 -!- tech_exorcist has joined. 21:06:58 -!- earendel has joined. 21:59:25 -!- tech_exorcist has quit (Quit: see you tomorrow). 22:06:14 b_jonas: you'd have to spell out all 26 letters 22:08:52 whoa... the sed y statement doesn't do hyphenated ranges? 22:11:23 I see :( 22:25:33 nope only literal characters 22:33:03 -!- Sgeo_ has joined. 22:33:26 -!- Sgeo has quit (Ping timeout: 245 seconds). 23:45:23 -!- arseniiv has quit (Ping timeout: 264 seconds).