00:02:17 -!- Veltas has joined. 00:13:28 -!- tromp__ has quit (Remote host closed the connection). 00:20:46 -!- j-bot has joined. 00:28:11 -!- cnr has joined. 00:28:11 -!- Yurume has joined. 00:30:22 -!- Alcest has joined. 00:38:07 -!- clog has joined. 00:43:37 -!- Alcest has quit (K-Lined). 00:44:01 -!- cnr has quit (Changing host). 00:44:01 -!- cnr has joined. 00:44:59 -!- J_Arcane has joined. 00:49:06 -!- earenndil has joined. 00:59:02 -!- benderpc_ has joined. 00:59:11 -!- pdxleif has joined. 01:04:34 -!- lynn has joined. 01:06:52 -!- benderpc_ has quit (Ping timeout: 255 seconds). 01:10:45 -!- augur has joined. 01:13:56 -!- tromp has joined. 01:14:29 -!- fractal has joined. 01:18:30 -!- tromp has quit (Ping timeout: 268 seconds). 01:20:45 -!- newsham has joined. 01:42:26 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 01:52:36 -!- augur has quit (Ping timeout: 276 seconds). 02:00:47 -!- AlexR42 has joined. 02:05:01 -!- augur has joined. 02:24:51 -!- nzt has joined. 02:25:19 Perhaps a language where everything- not just data- is an object would be nice 02:25:57 I have tried a few different things including using XGetImage and I cannot quite figure it out 02:27:34 hppavilion[1]: what do you mean by "object"? 02:28:05 coppro: Like, an object. A thing with fields 02:28:59 coppro: Imagine a world where IF-THEN is represented by an instance of the CONDITIONAL class 02:29:07 coppro: I'm taking OO to the logical extreme, I think 02:29:57 coppro: It's not a good thing. 02:31:09 I used XGetImage and all of the red_mask and green_mask and blue_mask in the resulting image are zero 02:33:36 -!- nzt has quit (Ping timeout: 244 seconds). 02:34:24 coppro: Um? 02:42:55 hppavilion[1]: oh, we have that 02:43:01 it's called enterprise fizzbuzz 02:43:59 coppro: Huh? 02:44:00 coppro: Not on the wiki 02:44:00 *no language named that on the wiki 02:44:08 -!- augur_ has joined. 02:44:09 https://github.com/EnterpriseQualityCoding/FizzBuzzEnterpriseEdition 02:45:47 coppro: That's not a language, AFAICT 02:46:28 -!- augur has quit (Ping timeout: 252 seconds). 02:46:34 it's not 02:46:38 coppro: I was talking about a language 02:46:48 -!- newsham has quit (Ping timeout: 252 seconds). 02:50:47 who needs a language when you can have a LanguageFactoryBean 02:51:30 oerjan: No. 02:54:05 you seem to be running prolog rather than OO hth 02:56:13 -!- zemhill has quit (Write error: Broken pipe). 02:56:34 -!- ocharles_ has quit (Ping timeout: 268 seconds). 02:56:43 -!- j-bot has quit (Ping timeout: 312 seconds). 02:57:10 oerjan: ? 02:58:15 "No." is a prolog response hth 03:00:22 -!- ocharles_ has joined. 03:00:49 -!- pdxleif has quit (Ping timeout: 255 seconds). 03:01:29 -!- lynn has quit (Ping timeout: 268 seconds). 03:01:44 -!- lynn_ has joined. 03:01:50 If I had a time machine I'd go back and stop the guy that thought com.blahblah.relaventpart was a good idea. 03:03:25 -!- benderpc_ has joined. 03:03:53 oerjan: Ah, right, right 03:05:11 -!- Sgeo has quit (Ping timeout: 268 seconds). 03:05:11 -!- mbrcknl has quit (Ping timeout: 268 seconds). 03:09:16 -!- j-bot has joined. 03:09:52 -!- mbrcknl has joined. 03:10:00 -!- cnr has quit (*.net *.split). 03:10:04 -!- Yurume has quit (*.net *.split). 03:10:27 -!- adu has joined. 03:10:28 -!- zemhill has joined. 03:14:39 lambda-11235: is that actually a newgroup? 03:15:13 http://xkcd.com/1391/ is awesome 03:16:15 Elronnd: Not to my knowledge. I just meant it as an example. 03:16:34 *phew* 03:17:29 -!- bb010g has joined. 03:19:15 I'm going to start naming all my groups com.lambda_1123581321345589_thisisgettinghardtoread 03:22:34 -!- tromp has joined. 03:23:04 -!- ocharles_ has quit (Ping timeout: 268 seconds). 03:24:18 -!- bb010g has quit (Ping timeout: 268 seconds). 03:24:37 -!- tromp has quit (Remote host closed the connection). 03:25:19 -!- ocharles_ has joined. 03:25:52 -!- tromp has joined. 03:27:37 lambda-11235: why not go back in time and kill someone responsible for something relevant? 03:29:57 coppro: As a programmer, that's very relavent to me. 03:29:58 -!- nisstyre_ has quit (Ping timeout: 244 seconds). 03:30:35 newsgroups are not relevant any more 03:31:15 -!- bb010g has joined. 03:35:49 -!- p34k has quit. 03:36:58 wait, you were talking about newsgroups? thought it was java packages. 03:37:30 it makes perfect sense for newsgroups imo. 03:41:06 <\oren\_> I should probably move the cursive letters to the correct codepoints or cursive letters 03:41:12 oerjan: Oh, sorry it is a java package, not a newsgroup. 03:41:23 good, good 03:42:12 oh 03:42:22 yeah, that's dumb 03:43:53 -!- tromp has quit (Remote host closed the connection). 03:47:17 -!- Sgeo has joined. 03:47:44 -!- bb010g has quit (Ping timeout: 268 seconds). 03:56:18 -!- fractal has quit (Ping timeout: 379 seconds). 03:56:22 -!- Xe has quit (Ping timeout: 268 seconds). 03:57:17 -!- bb010g has joined. 03:57:58 -!- Xe has joined. 03:58:40 -!- nisstyre_ has joined. 04:03:53 -!- Guest94494 has quit (Changing host). 04:03:53 -!- Guest94494 has joined. 04:04:34 -!- Guest94494 has changed nick to nitrix. 04:12:37 -!- tromp has joined. 04:12:57 -!- l0de has quit (Ping timeout: 260 seconds). 04:12:58 -!- incomprehensibly has quit (Ping timeout: 260 seconds). 04:14:02 -!- Xe has quit (Ping timeout: 260 seconds). 04:14:13 -!- j-bot has quit (Ping timeout: 378 seconds). 04:15:37 -!- l0de has joined. 04:16:06 -!- bb010g has quit (Ping timeout: 268 seconds). 04:16:06 -!- mbrcknl has quit (Ping timeout: 268 seconds). 04:16:09 -!- incomprehensibly has joined. 04:16:20 -!- l0de has quit (Changing host). 04:16:20 -!- l0de has joined. 04:16:31 -!- incomprehensibly has quit (Changing host). 04:16:31 -!- incomprehensibly has joined. 04:17:29 -!- mbrcknl has joined. 04:17:30 -!- hydraz has quit (Ping timeout: 244 seconds). 04:19:22 Now I got my JavaScript Xlib to support loading pictures and drawing pictures on a window. However currently the picture loading will only work properly if the X server's picture format is [blue,green,red,unused] 32-bit TrueColor format, and will not work in other cases. 04:20:39 -!- Xe has joined. 04:20:40 Transparency does work though, if you tell it to include transparency when loading. However it can't do full alpha transparency, but only opaque/transparent. 04:21:02 -!- staffehn_ has quit (Ping timeout: 268 seconds). 04:21:46 -!- hydraz has joined. 04:22:00 -!- hydraz has quit (Changing host). 04:22:00 -!- hydraz has joined. 04:22:25 -!- oerjan has quit (Quit: Nite). 04:23:00 -!- mbrcknl has quit (Read error: Connection reset by peer). 04:23:03 -!- Xe has quit (Excess Flood). 04:23:30 -!- incomprehensibly has quit (Ping timeout: 268 seconds). 04:23:42 -!- bb010g has joined. 04:25:16 -!- mbrcknl has joined. 04:25:32 -!- staffehn has joined. 04:25:44 -!- incomprehensibly has joined. 04:25:46 -!- Xe has joined. 04:26:39 -!- hppavilion[1] has quit (Ping timeout: 276 seconds). 04:27:47 -!- Xe has quit (Excess Flood). 04:29:52 -!- j-bot has joined. 04:30:17 -!- l0de has quit (Ping timeout: 268 seconds). 04:30:28 -!- Xe has joined. 04:31:58 -!- Xe has quit (Excess Flood). 04:33:28 -!- Xe has joined. 04:35:24 -!- l0de has joined. 04:37:04 -!- bb010g has quit (Ping timeout: 268 seconds). 04:37:04 -!- ocharles_ has quit (Ping timeout: 268 seconds). 04:41:14 -!- ocharles_ has joined. 04:44:38 -!- lynn_ has quit (Ping timeout: 276 seconds). 04:45:42 -!- l0de has quit (Ping timeout: 268 seconds). 04:45:42 -!- incomprehensibly has quit (Ping timeout: 268 seconds). 04:45:56 -!- hppavilion[1] has joined. 04:46:20 -!- bb010g has joined. 04:47:19 -!- incomprehensibly has joined. 04:47:58 -!- impomatic has quit (Ping timeout: 244 seconds). 04:48:30 -!- impomatic has joined. 04:49:33 -!- fractal has joined. 04:49:49 -!- l0de has joined. 04:52:29 -!- incomprehensibly has quit (Ping timeout: 268 seconds). 04:52:45 -!- j-bot has quit (Ping timeout: 302 seconds). 04:53:48 -!- incomprehensibly has joined. 04:56:51 Now text drawing is working 04:57:38 -!- j-bot has joined. 05:01:57 -!- augur_ has quit (Remote host closed the connection). 05:09:00 -!- tromp has quit (Remote host closed the connection). 05:14:04 -!- nisstyre_ has quit (Ping timeout: 268 seconds). 05:14:11 -!- tromp has joined. 05:16:52 -!- j-bot has quit (Ping timeout: 240 seconds). 05:25:10 -!- Hoolootwo has quit (Ping timeout: 268 seconds). 05:35:11 -!- Hoolootwo has joined. 05:35:51 -!- j-bot has joined. 05:36:19 -!- hppavilion[1] has quit (Ping timeout: 276 seconds). 05:38:51 -!- bb010g has quit (Quit: Connection closed for inactivity). 05:41:49 -!- incomprehensibly has quit (Ping timeout: 268 seconds). 05:42:45 -!- nisstyre_ has joined. 05:45:18 -!- benderpc_ has quit (Ping timeout: 276 seconds). 05:47:02 -!- incomprehensibly has joined. 05:50:24 -!- tromp has quit (Remote host closed the connection). 05:51:18 -!- lleu has joined. 05:52:55 -!- Hoolootwo has quit (Ping timeout: 268 seconds). 05:53:50 -!- Hoolootwo has joined. 06:03:09 -!- augur has joined. 06:03:14 -!- augur has quit (Remote host closed the connection). 06:07:25 -!- lambda-calc has joined. 06:07:48 -!- lambda-11235 has quit (Ping timeout: 260 seconds). 06:13:16 -!- Hoolootwo has quit (Ping timeout: 268 seconds). 06:13:33 -!- Hoolootwo has joined. 06:26:14 int-e: Did you @ignore HackEgo? 06:44:14 -!- nzt has joined. 06:45:04 -!- pdxleif_ has joined. 06:47:15 -!- trn has joined. 06:48:55 -!- lambda-calc has quit (Quit: Bye). 06:50:41 -!- tromp has joined. 06:54:33 -!- j-bot has quit (Ping timeout: 248 seconds). 06:54:48 -!- j-bot has joined. 06:55:36 -!- tromp has quit (Ping timeout: 276 seconds). 06:59:16 -!- j-bot has quit (Ping timeout: 248 seconds). 06:59:55 -!- j-bot has joined. 07:04:32 -!- pdxleif_ has changed nick to pdxleif. 07:07:42 -!- hppavilion[1] has joined. 07:08:24 -!- j-bot has quit (Ping timeout: 252 seconds). 07:08:35 -!- j-bot has joined. 07:19:35 -!- j-bot has quit (Ping timeout: 248 seconds). 07:22:16 -!- j-bot has joined. 07:26:35 -!- j-bot has quit (Ping timeout: 254 seconds). 07:27:30 -!- j-bot has joined. 07:28:20 "I have discovered a truly marvelous proof of the Banach-Tarski paradox that this margin can be made large enough to contain." 07:29:55 :D 07:38:45 -!- Xe has quit (Ping timeout: 260 seconds). 07:40:25 -!- j-bot has quit (Ping timeout: 252 seconds). 07:40:51 -!- j-bot has joined. 07:44:15 -!- Xe has joined. 07:44:19 -!- Xe has quit (Changing host). 07:44:20 -!- Xe has joined. 07:44:22 But it doesn't work in 2D. 07:45:15 -!- zzo38 has quit (Ping timeout: 244 seconds). 07:45:57 -!- newsham has joined. 07:46:46 -!- hppavilion[1] has quit (Ping timeout: 244 seconds). 07:47:16 -!- j-bot has quit (Ping timeout: 248 seconds). 07:47:34 -!- j-bot has joined. 07:52:10 -!- j-bot has quit (Ping timeout: 248 seconds). 07:52:51 -!- j-bot has joined. 07:53:47 -!- newsham has quit (Ping timeout: 252 seconds). 07:57:08 -!- hppavilion[1] has joined. 07:57:24 -!- j-bot has quit (Ping timeout: 248 seconds). 07:59:47 -!- j-bot has joined. 08:00:38 -!- pdxleif has quit (Ping timeout: 248 seconds). 08:04:20 -!- j-bot has quit (Ping timeout: 248 seconds). 08:04:56 -!- j-bot has joined. 08:13:57 -!- j-bot has quit (Ping timeout: 248 seconds). 08:13:59 -!- j-bot has joined. 08:19:30 -!- hppavilion[2] has joined. 08:19:37 -!- j-bot has quit (Ping timeout: 248 seconds). 08:19:37 -!- j-bot has joined. 08:20:20 -!- hppavilion[1] has quit (Ping timeout: 244 seconds). 08:21:54 -!- hppavilion[2] has quit (Ping timeout: 244 seconds). 08:22:09 -!- incomprehensibly has quit (Ping timeout: 268 seconds). 08:22:59 -!- j-bot has quit (Ping timeout: 248 seconds). 08:23:15 -!- j-bot has joined. 08:24:57 -!- incomprehensibly has joined. 08:27:42 -!- Xe has quit (Ping timeout: 268 seconds). 08:27:49 -!- j-bot has quit (Ping timeout: 249 seconds). 08:28:01 -!- j-bot has joined. 08:28:50 -!- adu has quit (Quit: adu). 08:28:51 -!- Xe has joined. 08:34:45 -!- j-bot has quit (Ping timeout: 248 seconds). 08:35:48 -!- j-bot has joined. 08:38:00 -!- AnotherTest has joined. 08:40:04 -!- j-bot has quit (Ping timeout: 248 seconds). 08:40:25 -!- j-bot has joined. 08:49:44 -!- j-bot has quit (Ping timeout: 248 seconds). 08:49:45 -!- j-bot has joined. 08:51:27 -!- tromp has joined. 08:53:59 -!- j-bot has quit (Ping timeout: 248 seconds). 08:54:23 -!- j-bot has joined. 08:55:41 -!- tromp has quit (Ping timeout: 248 seconds). 08:58:44 -!- j-bot has quit (Ping timeout: 248 seconds). 08:59:02 -!- j-bot has joined. 09:03:32 -!- j-bot has quit (Ping timeout: 248 seconds). 09:08:04 oerjan: according to the monad tutorial fallacy, Monads are Like Burritos, and that tutorial also calls this Joe's Burrito intuition. So I don't care what the plural everywhere else is, this plural helps understanding Monads the best, according to Joe. 09:08:09 -!- j-bot has joined. 09:08:51 @tell oerjan according to the monad tutorial fallacy, Monads are Like Burritos, and that tutorial also calls this Joe's Burrito intuition. So I don't care what the plural everywhere else is, this plural helps understanding Monads the best, according to Joe. 09:08:56 Consider it noted. 09:11:02 According to me, I'm tired of stupid monad jokes. 09:11:29 That includes every monad joke that involves the word "burrito". 09:12:45 -!- j-bot has quit (Ping timeout: 249 seconds). 09:13:28 -!- j-bot has joined. 09:13:31 -!- nzt has changed nick to nzt-fish. 09:15:48 -!- incomprehensibly has quit (Ping timeout: 268 seconds). 09:17:25 -!- j-bot has quit (Ping timeout: 248 seconds). 09:17:47 -!- j-bot has joined. 09:19:56 -!- incomprehensibly has joined. 09:22:12 -!- j-bot has quit (Ping timeout: 248 seconds). 09:22:33 -!- j-bot has joined. 09:24:21 `? sparkle 09:24:21 `? bokeh 09:24:23 huh 09:24:23 `ping 09:25:15 bokeh? ¯\(°​_o)/¯ 09:25:15 pong 09:25:15 sparkle? ¯\(°​_o)/¯ 09:25:51 <\oren\_> asynchonous? 09:26:17 <\oren\_> fungot, are you asynchronous? 09:35:36 -!- j-bot has quit (Ping timeout: 248 seconds). 09:40:08 -!- j-bot has joined. 09:42:50 `slashlearn sparkle/Sparkles are annoying visual artifacts that people try to use for decoration and artistic photographs and drawings. 09:43:01 Learned «sparkle» 09:43:03 `slashlearn sparkle/Sparkles are annoying visual artifacts that people try to use deliberately for decoration and artistic photographs and drawings. 09:43:06 Learned «sparkle» 09:44:37 -!- j-bot has quit (Ping timeout: 248 seconds). 09:46:20 I think you're the only person who uses `slashlearn. 09:46:49 It's good that we have a binary by the name, though, for people who don't have a / key on their keyboard. 09:46:56 -!- j-bot has joined. 09:47:25 `culprits slashlearn 09:47:30 No output. 09:48:13 `culprits learn 09:48:20 No output. 09:48:24 `culprits bin/slashlearn 09:48:28 oerjan oerjan oerjan shachaf shachaf shachaf int-e tswett tswett shachaf shachaf shachaf shachaf 09:57:56 -!- j-bot has quit (Ping timeout: 248 seconds). 09:58:10 -!- j-bot has joined. 10:02:47 -!- esowiki has joined. 10:02:51 -!- esowiki has joined. 10:02:52 -!- esowiki has joined. 10:03:22 -!- esowiki has joined. 10:03:26 -!- esowiki has joined. 10:03:27 -!- esowiki has joined. 10:04:38 -!- esowiki has joined. 10:04:42 -!- esowiki has joined. 10:04:42 -!- esowiki has joined. 10:05:38 -!- esowiki has joined. 10:05:42 -!- esowiki has joined. 10:05:43 -!- esowiki has joined. 10:06:41 -!- esowiki has joined. 10:06:45 -!- esowiki has joined. 10:06:46 -!- esowiki has joined. 10:07:36 -!- glogbot has joined. 10:13:56 -!- jaboja has joined. 10:18:09 -!- J_Arcane has quit (Ping timeout: 244 seconds). 10:18:11 -!- j-bot has quit (Ping timeout: 248 seconds). 10:21:41 -!- j-bot has joined. 10:33:39 -!- j-bot has quit (Ping timeout: 248 seconds). 10:33:54 -!- j-bot has joined. 10:46:59 -!- j-bot has quit (Ping timeout: 248 seconds). 10:47:15 -!- j-bot has joined. 10:56:21 -!- newsham has joined. 11:01:39 -!- newsham has quit (Ping timeout: 252 seconds). 11:06:18 -!- esowiki has joined. 11:06:21 -!- glogbot has joined. 11:06:22 -!- esowiki has joined. 11:06:22 -!- esowiki has joined. 11:09:23 -!- j-bot has quit (Ping timeout: 248 seconds). 11:09:39 -!- j-bot has joined. 11:16:09 shachaf: I did tell lambdabot to ignore hackego at some point... not sure whether it was restarted in the meantime 11:16:39 int-e: Well, it's a shame that things like `? weather don't work anymore. 11:16:43 `? weather 11:20:41 -!- esowiki has joined. 11:20:45 -!- esowiki has joined. 11:20:46 -!- esowiki has joined. 11:21:44 -!- esowiki has joined. 11:21:49 -!- esowiki has joined. 11:21:49 -!- esowiki has joined. 11:22:48 -!- esowiki has joined. 11:22:52 -!- esowiki has joined. 11:22:52 -!- esowiki has joined. 11:23:51 -!- esowiki has joined. 11:23:55 -!- esowiki has joined. 11:23:55 -!- esowiki has joined. 11:24:54 -!- esowiki has joined. 11:24:58 -!- esowiki has joined. 11:24:58 -!- esowiki has joined. 11:25:57 -!- esowiki has joined. 11:26:01 -!- esowiki has joined. 11:26:02 -!- esowiki has joined. 11:27:00 -!- esowiki has joined. 11:27:04 -!- esowiki has joined. 11:27:05 -!- esowiki has joined. 11:28:03 -!- esowiki has joined. 11:28:07 -!- esowiki has joined. 11:28:08 -!- esowiki has joined. 11:29:06 -!- esowiki has joined. 11:29:10 -!- esowiki has joined. 11:29:11 -!- glogbot has joined. 11:29:11 -!- esowiki has joined. 11:36:03 -!- j-bot has quit (Ping timeout: 248 seconds). 11:36:59 -!- j-bot has joined. 11:43:31 -!- j-bot has quit (Ping timeout: 248 seconds). 11:43:56 -!- j-bot has joined. 11:50:30 -!- j-bot has quit (Ping timeout: 250 seconds). 11:51:00 -!- j-bot has joined. 11:57:23 -!- j-bot has quit (Ping timeout: 248 seconds). 11:57:36 -!- j-bot has joined. 12:04:01 Did you know there exists such a thing as a vending machine selling cooking gas cylinders? Large cylinders, not tiny ones for camping. 12:04:18 I saw one at a gas station in France. It was strange. 12:05:16 -!- jaboja has joined. 12:14:30 [wiki] [[Armok]] N https://esolangs.org/w/index.php?oldid=46464 * 84.101.93.151 * (+13177) This is a programming language made by Armok himself. Well, not really. However, it is inspired by Dwarf Fortress. 12:18:08 -!- lynn_ has joined. 12:20:48 -!- incomprehensibly has quit (Ping timeout: 268 seconds). 12:23:00 -!- incomprehensibly has joined. 12:26:09 -!- lynn__ has joined. 12:29:24 [wiki] [[Armok]] https://esolangs.org/w/index.php?diff=46465&oldid=46464 * 84.101.93.151 * (+126) 12:29:36 -!- lynn_ has quit (Ping timeout: 276 seconds). 12:34:21 [wiki] [[Armok]] https://esolangs.org/w/index.php?diff=46466&oldid=46465 * 84.101.93.151 * (+72) 12:35:00 -!- incomprehensibly has quit (Ping timeout: 268 seconds). 12:38:03 -!- jaboja has quit (Ping timeout: 276 seconds). 12:38:10 -!- incomprehensibly has joined. 12:38:27 -!- j-bot has quit (Ping timeout: 248 seconds). 12:38:46 -!- j-bot has joined. 12:40:33 [wiki] [[Armok]] https://esolangs.org/w/index.php?diff=46467&oldid=46466 * 84.101.93.151 * (-85) 12:41:34 [wiki] [[Armok]] https://esolangs.org/w/index.php?diff=46468&oldid=46467 * 84.101.93.151 * (-2) 12:47:47 [wiki] [[Armok]] https://esolangs.org/w/index.php?diff=46469&oldid=46468 * 84.101.93.151 * (-83) 12:53:53 -!- lifthrasiir has quit (Ping timeout: 264 seconds). 12:54:28 -!- tswett has quit (Ping timeout: 264 seconds). 12:54:28 -!- myname has quit (Ping timeout: 264 seconds). 12:54:28 -!- coppro has quit (Ping timeout: 264 seconds). 12:54:29 -!- digitalcold has quit (Ping timeout: 264 seconds). 12:54:30 -!- olsner has quit (Ping timeout: 264 seconds). 12:54:30 -!- ineiros has quit (Ping timeout: 264 seconds). 12:55:44 -!- coppro has joined. 12:55:44 -!- digitalcold has joined. 12:55:48 -!- myname has joined. 12:55:59 [wiki] [[Armok]] https://esolangs.org/w/index.php?diff=46470&oldid=46469 * 84.101.93.151 * (+196) 12:56:22 -!- olsner has joined. 12:57:20 -!- Warrigal has joined. 12:57:26 -!- pdxleif has joined. 12:58:42 [wiki] [[Language list]] https://esolangs.org/w/index.php?diff=46471&oldid=46369 * 84.101.93.151 * (+12) 13:00:20 -!- j-bot has quit (Ping timeout: 248 seconds). 13:00:35 -!- j-bot has joined. 13:02:28 -!- ineiros has joined. 13:04:29 I followed the instructions? Why are the bottoms burnt? 13:04:32 Stupid food. 13:07:15 -!- tromp has joined. 13:07:15 -!- j-bot has quit (Ping timeout: 248 seconds). 13:07:43 -!- j-bot has joined. 13:09:36 -!- lifthrasiir has joined. 13:10:07 `unidecode ▊ 13:10:26 ​[U+258A LEFT THREE QUARTERS BLOCK] 13:11:46 `uniencode [THREE HEADED MONKEY] 13:11:50 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: uniencode: not found 13:12:30 -!- tromp has quit (Ping timeout: 276 seconds). 13:13:13 -!- incomprehensibly has quit (Ping timeout: 268 seconds). 13:16:20 -!- j-bot has quit (Ping timeout: 248 seconds). 13:16:40 -!- j-bot has joined. 13:16:47 -!- incomprehensibly has joined. 13:17:14 -!- ocharles_ has quit (Read error: Connection reset by peer). 13:19:26 -!- earendel has quit (Ping timeout: 244 seconds). 13:21:15 -!- ocharles_ has joined. 13:23:16 -!- j-bot has quit (Ping timeout: 248 seconds). 13:23:27 -!- j-bot has joined. 13:30:41 -!- carado has joined. 13:46:42 -!- Taneb has quit (Ping timeout: 246 seconds). 13:48:09 -!- Taneb has joined. 13:51:10 -!- benderpc_ has joined. 13:55:47 -!- j-bot has quit (Ping timeout: 248 seconds). 13:55:57 -!- j-bot has joined. 14:02:33 -!- benderpc_ has quit (Changing host). 14:02:33 -!- benderpc_ has joined. 14:03:01 -!- newsham has joined. 14:03:06 -!- benderpc_ has changed nick to bender. 14:07:40 -!- newsham has quit (Ping timeout: 252 seconds). 14:09:35 -!- lynn has joined. 14:11:48 -!- lynn__ has quit (Ping timeout: 268 seconds). 14:13:24 -!- j-bot has quit (Ping timeout: 248 seconds). 14:13:51 -!- j-bot has joined. 14:14:09 `quote insanity 14:14:12 397) There's that saying that the definition of insanity is doing the same thing over and over again and expecting different results. [...] You've just gave me a different result [...] It's always insane to expect different results, even when it's likely to occur. 14:16:16 `slashlearn trunc/The trunc and truncf functions (of C99 and C++11) are actually supported by the MS compiler (starting from the 2013), only strangely undocumented. 14:16:23 Learned «trunc» 14:16:43 `slashlearn lrint/The lrint and lrintf functions (of C99 and C++11) are actually supported by the MS compiler (starting from the 2013), only strangely undocumented. 14:16:45 Learned «lrint» 14:17:01 b_jonas: these are actually useful what gives 14:17:24 Taneb: probably I never really understood how to write good wisdom entries. 14:24:39 -!- Taneb has quit (Ping timeout: 276 seconds). 14:29:48 -!- Taneb has joined. 14:35:25 -!- augur has joined. 14:39:40 -!- oerjan has joined. 14:41:12 @messages- 14:41:12 b_jonas said 5h 32m 20s ago: according to the monad tutorial fallacy, Monads are Like Burritos, and that tutorial also calls this Joe's Burrito intuition. So I don't care what the plural everywhere else is, this plural helps understanding Monads the best, according to Joe. 14:41:52 -!- Warrigal has changed nick to tswett. 14:42:05 `massage 14:42:08 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: massage: not found 14:42:10 Er, wrong sigil. 14:42:12 @massage 14:42:12 You don't have any messages 14:42:39 @saussages 14:42:40 Unknown command, try @list 14:42:47 @sassages 14:42:48 You don't have any messages 14:42:52 * oerjan swats b_jonas with an enchilada /====/ 14:42:53 @sossages 14:42:53 You don't have any messages 14:42:56 There we go. 14:43:31 Wait, let me try one more. 14:43:31 @sausages 14:43:31 Unknown command, try @list 14:43:53 "Sossages" it is. 14:43:53 /nick sossages 14:44:29 -!- AlexR42 has quit (Ping timeout: 268 seconds). 14:49:30 -!- Froox has joined. 14:50:17 -!- Lord_of_Life has quit (Excess Flood). 14:51:38 -!- Lord_of_- has joined. 14:52:09 -!- Xe has quit (Ping timeout: 260 seconds). 14:52:28 -!- Frooxius has quit (Ping timeout: 244 seconds). 14:54:37 @saussages 14:54:37 Unknown command, try @list 14:55:37 -!- Sgeo has quit (Read error: Connection reset by peer). 14:55:41 `` ls -l le 14:55:42 total 4 \ lrwxrwxrwx 1 5000 0 17 Dec 9 04:12 rn -> ../bin/slashlearn \ -rwxr-xr-x 1 5000 0 267 Dec 22 18:32 rn_append 14:56:14 `` ls .//le 14:56:15 rn \ rn_append 14:56:38 -!- j-bot has quit (Ping timeout: 250 seconds). 14:56:47 -!- j-bot has joined. 14:56:53 -!- Sgeo has joined. 14:56:57 `.//slash_learn testy/test//testing 14:56:58 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /hackenv//slash_learn: No such file or directory 14:57:11 `bin//slashlearn testy/test//testing 14:57:14 Learned «testy/test» 14:57:19 `? testy/test 14:57:20 -!- Xe has joined. 14:57:21 testing 14:57:29 `forget testy/test 14:57:33 Forget what? 14:58:26 -!- p34k has joined. 14:59:09 It's good that we have a binary by the name, though, for people who don't have a / key on their keyboard. <-- ERM... 14:59:39 wait, this is the time when shachaf actually sleeps is it 14:59:42 -!- Xe has quit (Excess Flood). 15:00:19 -!- Xe has joined. 15:09:26 `culprits wisdom/trunc 15:09:31 `culprits wisdom/lrint 15:09:34 b_jonas 15:09:38 b_jonas 15:10:25 @tell shachaf not only does b_jonas use `slashlearn, he uses it even when `learn would work tdnh 15:10:26 Consider it noted. 15:16:57 -!- boily has joined. 15:25:24 -!- Xe has quit (Ping timeout: 260 seconds). 15:25:33 helloily 15:28:27 oerjan: what is a programming language? do we consider BF equivalents to be different languages just because the syntax has changed? would a compiler that converts a particular AST into your choice of encodings (all with the same semantics) constitute one language or many? 15:31:51 -!- Xe has joined. 15:32:19 quintopia: isn't that what a compiler usually does, with encoding = machine code 15:33:41 the answer to the first part is "it depends". see: applescript. 15:34:54 -!- Phantom_Hoover has joined. 15:35:15 -!- lambda-11235 has joined. 15:35:27 oerjan: well, most compilers translate things from one language to another, but I'm talking about something else. Something that takes an abstract representation of an AST and encodes it. I'm not sure one would call the starting thing a language. I'm not sure one would call the various possible output encodings different languages even though they are all semantically equivalent encodings of the same AST 15:36:40 quinthellopia 15:36:54 hellørjan 15:37:03 bood afternoily 15:37:05 and hellochaf too. 15:38:38 quintopia: just use HoTT and they'll all be the same thing hth 15:38:55 i don't see what would make applescript not a language. is it that it has so many different ways to do the same thing? 15:39:48 it is natural language agnostic afaihh hth 15:39:55 oerjan: show me some ethos. i want to know if there is a consensus opinion. 15:40:20 afaihh? 15:40:33 quintopia: since when do i have opinions on matters this arbitrary 15:40:45 you can expect nothing but facts and jokes hth 15:41:42 boily: have heard hth 15:43:18 tdh. 15:43:39 oerjan: you have knowledge. alex is not here. if you said "a lot of people agree blah" i'd believe you. 15:44:07 -!- sebbu has quit (Ping timeout: 244 seconds). 15:44:20 well i don't remember what people agree. 15:44:24 kk 15:44:26 if they do. 15:47:19 -!- tromp has joined. 15:48:01 boily: what do today 15:51:09 -!- cnr has joined. 15:51:09 -!- Yurume has joined. 15:52:02 -!- bender has quit (Read error: Connection reset by peer). 15:58:36 quintopia: diplomatic talks between my head and my stomach. 15:59:26 boily: pls be less metaphorical. are you ill? 15:59:40 yeah. headache and nausea. 16:00:05 have you sufficiently self-medicated? 16:00:54 I tried. 16:01:42 I think I'll go back to neutral grounds. horizontal, soft grounds with a pillow. 16:01:46 'night all! 16:01:58 -!- boily has quit (Quit: DOUBLE CHICKEN). 16:02:18 -!- p34k has quit. 16:07:03 -!- newsham has joined. 16:07:37 -!- jaboja has joined. 16:09:07 -!- MoALTz_ has changed nick to MoALTz. 16:11:09 -!- oerjan has quit (Quit: Later). 16:23:21 oerjan: that's because I don't know in advance when `learn works 16:24:12 -!- evalj has joined. 16:34:02 -!- J_Arcane has joined. 16:35:37 -!- jaboja has quit (Ping timeout: 260 seconds). 16:52:01 -!- tromp has quit (Remote host closed the connection). 17:04:28 -!- augur has quit (Remote host closed the connection). 17:07:50 -!- l0de has quit (Ping timeout: 244 seconds). 17:08:59 -!- l0de has joined. 17:21:22 -!- tromp has joined. 17:32:14 -!- nzt-fish has joined. 17:32:22 -!- tromp has quit (Remote host closed the connection). 17:41:22 -!- sebbu has joined. 17:45:18 -!- earendel has joined. 17:51:21 -!- earendel has quit (Ping timeout: 246 seconds). 17:53:00 @messages- 17:53:00 oerjan said 2h 42m 34s ago: not only does b_jonas use `slashlearn, he uses it even when `learn would work tdnh 17:53:10 -!- earendel has joined. 17:53:16 oerjan: well, the "/ on the keyboard" thing was just a swattempt 17:53:54 oerjan: I can't blame anyone for not using `learn because it's too complicated and magic. 17:55:42 `? tdnh 17:55:54 tdnh does not help 17:56:02 Oh. 17:56:12 `? recursion 17:56:13 You might expect a reference to recursion here, but to make it interesting you'll actuallSTACK OVERFLOW 17:56:24 Heheh. 17:56:39 lol 17:56:52 18:03:33 -!- lambda-11235 has quit (Quit: Bye). 18:03:52 -!- lambda-11235 has joined. 18:05:12 `? hth 18:05:14 hth is help received from a hairy toe. It is not at all hambiguitous. 18:06:03 `? tdh 18:06:04 tdh is the past tense of a successful hth. hth. 18:06:20 that one's the best 18:06:28 `? twh 18:06:29 twh would help, but is an hth derivative. hth. twh. hand. 18:06:45 `? hand 18:06:47 A hand in the bush is better than a stoned bird. 18:06:53 wat 18:07:31 `? stub 18:07:31 stub? ¯\(°​_o)/¯ 18:08:44 I wash my laundry in a roughly lifo order, since clothes I wear often need to be washed earlier. As a result, some of the clothes I wore for the skiing trip (which ended on 2016-01-31) remained dirty in the laundry basket for quite long. 18:09:10 But now, I just started the washing machine with the last batch that contains clothes from the ski trip. 18:09:31 So that backthing will soon be completed! 18:09:56 sometimes i don't wash my laundry for too long 18:10:10 Backwhat? Backlog? Wasn't there a different word for that? 18:10:15 and then i might think "oops, i made a lifo" 18:12:12 Currently, what limits my washing throughput the most is drying the clothes. I'll have to find a better arrangement for that. 18:12:46 No surprise, since the washing machine does the washing more or less automatically, but the drying and then putting the clothes away needs more actual work from me. 18:12:56 wear wet clothes 18:13:15 Um, no. Not usually. 18:13:29 And I can't put all of them on. How would I wear six pairs of wet socks at the same time? 18:13:35 Or six wet shirts? 18:13:39 I don't think that works. 18:14:07 well, socks can be stretched quite good 18:14:16 at least 4 pairs schould be possible 18:14:40 The loss of his clothes hardly mattered, because / He had seven coats on when he came, / With three pairs of boots -- but the worst of it was, / He had wholly forgotten his name. 18:14:41 Maybe, but that wouldn't yield me clean clothes except immediately when they're washed. 18:15:12 And it's probably backlog. But I'm not sure. 18:15:51 shachaf: that's from The Hunting of the Snark, right? 18:16:00 Yes. 18:17:55 Completely in contrast with that other famed poem, 18:19:03 “Megyeri elbúsul - kedvét szegi / Neki / A folt, / Mivel csak egy kabátja volt,” 18:20:43 -!- p34k has joined. 18:25:51 -!- earenndil has quit (Remote host closed the connection). 18:32:52 -!- tromp has joined. 18:33:13 -!- zzo38 has joined. 18:34:05 -!- augur has joined. 18:37:30 -!- tromp has quit (Ping timeout: 276 seconds). 18:50:55 [wiki] [[Special:Log/newusers]] create * Demiurgosoft * New user account 18:51:39 -!- augur has quit (Read error: Connection reset by peer). 18:52:11 -!- augur has joined. 18:56:22 The most annoying is sheets by the way, since they're so large. 19:01:15 https://twitter.com/realDonaldTrump/status/703900742961270784 19:02:39 The new version of Xlib should add also the functions XPutTrueImage and XConvertTrueImage 19:07:43 zzo38: is this your javascript wrapper thing? 19:07:57 -!- prooftechnique has quit (Quit: ZNC http://znc.in). 19:08:34 -!- prooftechnique has joined. 19:09:12 can you help me write a thing? i need a list of the glibc functions that take a path 19:09:55 doesn't have to be 100% complete 19:10:06 izabera: uh... that's lots of functions 19:10:11 yeah 19:10:46 b_jonas: Yes I am making the JavaScript Xlib wrapper program but these suggestion I made now are for Xlib in C too, which would help with converting any TrueColor picture with any number of bits per channel and order of channels into the required format for the screen. 19:11:23 izabera: i hope you don't mind me asking, what do you want to do with that list? 19:12:50 Yes I have the similar question, why do you need the list of the glibc functions that take a path? (Are you intending to make the function to take the path in a different format or something like that?) 19:13:03 a LD_PRELOAD wrapper that searches other paths when you use a relative path 19:13:08 izabera: um, there's system calls like (open, open64, openat, unlink, rmdir, unlinkat, mkdir, mkdirat, link, linkat, rename, renameat, symlink, symlinkat, stat, lstat, fstatat, and lots more), then higher level wrappers like fopen, remove, ... 19:13:49 i don't need the *at versions 19:13:51 izabera: um... why would you wrap all libc functions for that and with a LD_PRELOAD wrapper, why not just all syscalls with a ptrace debugger or something? 19:14:04 izabera: um, why not the at versions? they're the most general form 19:14:09 they take relative paths too 19:14:11 anyway, 19:14:23 well they do but they also take a fd 19:14:44 Yes I would think ptrace might be better 19:15:19 ok i'll try 19:15:20 izabera: you could try to search the manual and/or headers for functions with "filename" as an argument name 19:15:27 izabera: oh, that reminds me 19:15:38 um, no wait, that wouldn't work 19:15:39 um 19:16:35 izabera: what if you only caught chdir, and started the program with the pwd being a directory on a special file system you make with fuse, and caught all operations through that handle? although that might not catch operations with too many levels of .. 19:17:01 (too many levels up ".." components in the pathname that is, leading out of your fuse filesystem) 19:17:19 and of course it depends on what you want to do with the process when they attempt those syscalls 19:17:47 sadly, arguments named "filename" probably isn't enough 19:18:06 especially since, you know, some syscalls like link and rename take two of the 19:18:09 them 19:19:06 the fuse idea is interesting 19:19:38 izabera: the trickiest ones are actually bind, accept, sendto etc (which are not actually real syscalls on unix, but wrappers over them, but that's not important right now), which can take a socket address that might be a file-based unix domain socket (AF_UNIX) which thus contains a pathname 19:20:02 izabera: plus of course the program could just transfer pathnames in any way to other processes which then handles those pathnames for them 19:21:10 such as, you know, system("rm ./somefile") or such stupid things 19:21:20 not always stupid of course 19:22:05 the system("rm ./somefile") kind of crazyness is prevalent in bad perl scripts some code monkeys write, but of course saving filenames outside the process has sane applications too 19:23:48 -!- ciza has joined. 19:33:15 -!- ciza has left. 20:02:38 so this is about a language called esotoric? 20:08:19 -!- hppavilion[2] has joined. 20:09:24 nzt-fish, no, it's about esoteric programming languages! Esoteric programming languages are programming languages which are esoteric, which normally means "only known to a select few" 20:09:44 However, in this community the meaning has shifted to mean a programming language that is in some way not designed for serious use 20:10:07 Be it insufficiently powerful, hard to use, or hard to implement properly! 20:13:47 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds). 20:16:18 There's no reason an esoteric language called "esoteric?" can't exist 20:16:25 although as far as I know it doesn't 20:17:57 -!- Phantom_Hoover has joined. 20:20:22 -!- lambda-11235 has quit (Quit: Bye). 20:20:38 Phantom_Hoover, how did your submarine jousting go 20:21:36 your team are bastards! 20:22:13 but we did well because they got disqualified for it 20:22:51 -!- yorick__ has changed nick to yorick. 20:26:56 So it goes 20:27:06 Remind me the actual name of what you were doing 20:28:48 Taneb: underwater hockey? 20:31:39 Taneb: Haneb 20:32:31 -!- Lord_of_- has changed nick to Lord_of_Life. 20:32:38 -!- Lord_of_Life has quit (Changing host). 20:32:38 -!- Lord_of_Life has joined. 20:32:38 -!- Lord_of_Life has quit (Changing host). 20:32:38 -!- Lord_of_Life has joined. 20:33:20 -!- tromp has joined. 20:33:51 ``` ed wisdom/tanebventions <<<$'1s/ Go, /&submarine jousting, /' 20:33:51 -!- hppavilion[2] has quit (Ping timeout: 276 seconds). 20:33:52 wisdom/tanebventions: No such file or directory 20:34:37 ``` ed wisdom/tanebvention <<<$'1s/ Go, /&submarine jousting, /' 20:34:38 250 \ ? 20:34:47 ``` ed wisdom/tanebvention <<<$'1s/ Go, /&submarine jousting, /\nwq' 20:34:50 250 \ 270 20:34:58 `? tanebventions 20:35:00 Tanebventions include D-modules, Chu spaces, automatic squirrel feeders, the torus, Stephen Wolfram, Go, submarine jousting, the universe, weetoflakes, persistence, the reals, Lambek's lemma, robots, progress, and this sentence. He never invents anything involving sex. 20:35:15 "submarine jousting" is too good to waste 20:37:56 `? Lambek's lemma 20:37:58 Lambek's lemma? ¯\(°​_o)/¯ 20:38:04 -!- tromp has quit (Ping timeout: 260 seconds). 20:39:03 By the way, ed doesn't have that magic syntax of perl where an s/// command with an empty search part re-uses the match from the previous search (most likely in the address), right? 20:39:37 eg. I couldn't have written $'/ Go, /s//&submarine jousting, /\nwq' instead? 20:40:41 but yes you could have 20:41:30 i often use commands like g/regex/s//replacement/g 20:41:58 so the empty regex is no problem, the search address however might be 20:44:17 Riviera: nice 20:44:45 does ex have that too? 20:45:44 yup 20:45:56 I see 20:45:59 the docs weren't clear enough to me 20:46:18 :) 20:54:27 there are some guys in the engineering department building a pedal-powered racing submarine... 20:57:11 how would you win, though? you're enclosed in the submarine, you can't be knocked off 21:03:02 Maybe if you spring a leak 21:05:41 Do you have to be inside? Can't it be a submarine you're riding from the outside? Like a bicycle 21:06:23 `welcome Riviera 21:06:25 Riviera: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) 21:06:56 oh why thank you 21:08:47 -!- digitalc1ld has joined. 21:09:39 -!- sebbu has quit (Ping timeout: 248 seconds). 21:09:39 -!- Froox has quit (Ping timeout: 248 seconds). 21:09:40 -!- tswett has quit (Ping timeout: 248 seconds). 21:09:40 -!- digitalcold has quit (Ping timeout: 248 seconds). 21:09:58 -!- Froox has joined. 21:09:59 -!- sebbu has joined. 21:10:47 -!- Warrigal has joined. 21:12:07 Why is there many different kind of summation method of infinite series, can't you just use the algebraic method? (In all examples I have tried to solve by algebra, this method works) 21:12:37 Underwater jousting reminds me to the edit wars on Wikipedia concerning weather "extreme ironing" is a real sport. 21:13:03 zzo38: um, what exactly do you mean by "algebraic method"? 21:13:08 I have seen extreme ironing on television (I think on a news show?) so I know it is possible 21:14:21 b_jonas: I mean that if x=1+2+4+8+16+32+... then also x=1+2x and therefore x=-1, and similar way can be done with x=1-1+1-1+1-1+1-1+... and x=1+4+16+64+256+... and so on 21:16:21 -!- idris-bot has quit (Ping timeout: 244 seconds). 21:16:40 Extreme ironing probably counts as an esoteric sport, similar to esoteric programming languages. 21:16:45 `? extreme ironing 21:16:46 extreme ironing? ¯\(°​_o)/¯ 21:16:52 -!- fizzie has quit (Ping timeout: 244 seconds). 21:17:11 b_jonas: Maybe 21:17:23 -!- AnotherTest has quit (Ping timeout: 244 seconds). 21:17:39 -!- AnotherTest has joined. 21:17:42 -!- bb010g has joined. 21:18:26 They described on television as, when you iron your clothes outside. It could be anywhere outside, whether it is in your front yard or while climbing a mountain or underwater. 21:22:11 -!- fizzie has joined. 21:24:09 `? extreme ironing 21:24:10 extreme ironing? ¯\(°​_o)/¯ 21:24:34 `learn Extreme ironing is an esoteric sport in a similar sense as esoteric programming languages. 21:24:37 Learned 'extreme': Extreme ironing is an esoteric sport in a similar sense as esoteric programming languages. 21:24:40 NO! 21:24:46 see, this is why I'm not using learn 21:24:53 `revert wisdom/extreme 21:24:53 abort: unknown revision 'wisdom/extreme'! 21:25:01 `culprits wisdom/extreme 21:25:06 b_jonas 21:25:10 `rm -v wisdom/extreme 21:25:11 rm: invalid option -- ' ' \ Try `rm --help' for more information. 21:25:23 `slashlearn extreme ironing/Extreme ironing is an esoteric sport in a similar sense as esoteric programming languages. 21:25:27 Learned «extreme ironing» 21:27:44 Are there esoteric programming languages specialized for programming in crazy places, like underwater or while parachuting? 21:31:17 I think not, but you can try to make it up anyways 21:41:55 -!- hppavilion[2] has joined. 21:42:06 Hellu 21:42:11 I guess some M:tG un-cards might count 21:42:27 -!- lynn has quit (Ping timeout: 260 seconds). 21:44:13 Ok, not really. 21:48:39 I got resource string parsing to work now (it includes both the root window's RESOURCE_MANAGER property and the command-line arguments) 21:51:01 For example: yield X.initQuarks(["customization","background","foreground","TestWindow"]); yield X.initResources(["","-xrm #XRM","-bg .background","-fg .foreground","@TestWindow"]); console.log(yield X.getResource([X.quark.customization]),yield X.getResource([X.quark.TestWindow,X.quark.background])); 21:52:38 Do you like this? 21:56:52 looks nice 22:00:17 Apparently someone has uploaded the time-reversed version of at least three Tom && Jerry episodes to youtube: https://www.youtube.com/watch?v=kBLYV9uN2xk 22:23:34 hmm... http://freefall.purrsia.com/ff2800/fv02774.htm ... now how do they know that the ballott wasn't stuffed? 22:23:38 voting is hard. 22:25:46 Maybe they have a government-approved key pair 22:27:31 Then it risks not being anonymous? 22:29:17 True 22:29:21 I'm heading to bed now 22:29:29 good plan 22:29:55 pro tip: go *around* walls, not through them 22:30:27 (I regard doors as not being part of the wall) 22:30:40 int-e: that's usually good advice, although it depends on whether you are phasing or have enough turns of passwall remaining. 22:30:59 also, whether you can dig very fast 22:31:57 o-kay 22:32:22 -!- lleu has quit (Read error: Connection reset by peer). 22:35:05 -!- dos has joined. 22:39:02 -!- hppavilion[2] has quit (Ping timeout: 260 seconds). 22:39:48 -!- earendel2 has joined. 22:39:59 -!- earendel has quit (Ping timeout: 260 seconds). 22:43:58 I have made X.Picture instances to also be EventEmitter instances, even tlhough X.Picture does not have any events. This is because JavaScript does not have multiple inheritance. (Later versions on my program might change this in some way) 22:49:44 -!- tromp has joined. 22:51:02 -!- AnotherTest has quit (Ping timeout: 268 seconds). 22:54:54 -!- tromp has quit (Ping timeout: 276 seconds). 22:59:28 -!- oerjan has joined. 23:00:34 oerjan: I can't blame anyone for not using `learn because it's too complicated and magic. <-- ;_; 23:00:56 -!- Warrigal has changed nick to tswett. 23:00:58 i agree 23:01:09 WITH WHOM 23:01:24 -!- idris-bot has joined. 23:01:29 shachaf 23:01:32 darn 23:01:39 -!- p34k has quit. 23:01:50 -!- augur has quit (Remote host closed the connection). 23:03:42 -!- dos has changed nick to hppavilion[1]. 23:05:01 `? learn 23:05:11 learn? ¯\(°​_o)/¯ 23:05:19 `cat bin/learn 23:05:20 ​#!/bin/bash \ topic=$(echo "$1" | lowercase | sed 's/^\(an\?\|the\) //;s/s\?[:;,.!?]\? .*//') \ echo "$1" >"wisdom/$topic" \ echo "Learned '$topic': $1" 23:06:41 `? `learn 23:06:43 ​`learn? ¯\(°​_o)/¯ 23:07:51 oerjan: I agree with that regular expression. 23:07:56 oerjan: [:;,.!?] 23:08:10 lolt 23:09:51 Is there a name for representing equivalence classes of A with a function : A -> B? 23:10:58 -!- lynn has joined. 23:11:09 -!- augur has joined. 23:13:09 `learn `learn creates a wisdom entry and tries to guess which word is the key. Syntax (case insensitive): `learn [a|an|the] [s][punctuation] [...] 23:13:12 Learned '`learn': `learn creates a wisdom entry and tries to guess which word is the key. Syntax (case insensitive): `learn [a|an|the] [s][punctuation] [...] 23:13:43 what about multiwordstuff? 23:14:04 myname: then you need slashlearn / le/rn / le//rn 23:14:22 wtf is le//rn 23:14:38 `? le/rn 23:14:39 le/rn makes creating wisdom entries manually a thing of the past. 23:14:42 `? le//rn 23:14:43 le/rn makes creating wisdom entries manually a thing of the past. 23:14:45 `? le///rn 23:14:46 le/rn makes creating wisdom entries manually a thing of the past. 23:14:48 oh right 23:14:51 same filename 23:14:56 le//rn is the most flexible, it allows you to create keys with / in 23:15:06 heh 23:15:10 typical #esoteric 23:15:11 -!- lambda-11235 has joined. 23:15:27 What if I want a // 23:15:34 FireFly: filanem 23:15:37 sure 23:15:49 a // in a filename is the same as a / 23:15:51 FireFly: that's not compatible with how wisdom entries are stored, alas 23:16:02 right, true 23:16:03 (except when it's not, but that doesn't apply to wisdom) 23:16:18 but it could be worked around, which is kinda the case wih / anyway in that it relies on directories 23:16:36 wait, how is le//rn even a thing? 23:16:40 oh 23:16:43 wait 23:16:44 it branches on argv[0] 23:16:59 `cat le/rn 23:16:59 sep="/"; [[ "$0" == *//* ]] && sep="//"; [[ "$1" == ?*"$sep"* ]] || exit 1; key="$(echo "${1%%$sep*}" | lowercase)"; value="${1#*$sep}"; echo "$value" > "$(echo-p "wisdom/$key")" && echo "Learned «$key»" 23:17:22 `cat bin/echo-p 23:17:23 echo "$1"; [[ "$1" == */* ]] && mkdir -p "${1%/*}" 2>/dev/null 23:17:28 shachaf: "quotient" i should think 23:19:06 `? ../bin/culprits 23:19:07 hg log --removed "$1" | grep summary: | awk '{print substr($2,2,length($2)-2)}' | sed "s/.$/\x0F&/" | xargs 23:19:15 `? .. 23:19:16 cat: ..: Is a directory 23:19:24 Teehee 23:19:32 wat 23:19:34 oerjan: The function isn't necessarily surjective. 23:19:39 ah 23:20:01 shachaf: hm. right. in any case, ... 23:20:24 maybe we'll need to introduce a new wisdom representation that can use any byte string not containing [\0\r\n] as a key for wisdom 23:21:42 shachaf: in universal algebra this is "kernel of a homomorphism". 23:21:59 where kernel becomes a congruence instead of just a subset 23:22:24 oerjan: Oh, that's it! https://en.wikipedia.org/wiki/Kernel_(set_theory) 23:22:25 and is also mostly compatible with the current representation 23:22:28 your case then becomes the special case of a trivial algebra, i guess 23:22:47 I knew I'd seen that somewhere before. 23:22:54 like, it somehow quotes things it has to quote, plus does some magic (maybe sha-256 hashing) on keys too long for a filename 23:23:19 b_jonas: there's a wtf(6) command from BSD games that does something similar, and it simply uses a tab-separated file 23:23:25 b_jonas: and people say `learn is too complicated :P 23:23:28 key\tvalue 23:23:45 FireFly: that disallows tabs... 23:23:49 Well yes 23:24:03 b_jonas: is the limit of a filename shorter than that of an irc message? 23:24:04 But it allow all printables 23:24:38 myname: yes, at least the limit on filename components 23:24:49 My opinion that many internet services that you can set up the account and profile, ought to add support for RDF. OpenID can also be used for login (which is normally only for webpages, although HTCLS and other stuff could allow OpenID to be used even outside of webpages), and the RDF can reference it too. RDF and OpenID is decentralized; you don't need Facebook and Google and Gravatar logins for example 23:25:01 ah 23:25:09 -!- boily has joined. 23:25:58 b_jonas: Why do you type `slashlearn instead of `le/rn? 23:26:04 Not that I mind. 23:26:27 shachaf: the name le/rn is strange. especially for an executable. 23:27:01 zzo38: isn't OpenID already decentarlized? 23:27:18 b_jonas: Yes, and RDF is also decentralized. 23:29:30 zzo38: then there's this thing => https://lwn.net/Articles/671604/ 23:29:48 and there's some centralized ones 23:30:09 and then i might think "oops, i made a lifo" <-- i call this the stack principle. any set of items to be handled devolves into a lifo unless you take care to prevent it. 23:30:35 oerjan: my whole life may have devolved into a lifo tdnh 23:30:39 helifoerjan. 23:30:54 which is why, after i have washed a cup, i put it _innermost_ in the cupboard. 23:31:36 well, in principle anyway. 23:31:51 maybe i shouldn't have moved to california 23:31:59 oerjan: yes, I try that sometimes with both cutlery and clothes. not consistently enough though. 23:32:31 shachaf: I do hope that doesn't apply to digestion 23:33:28 -!- evalj has quit (Remote host closed the connection). 23:36:21 I am deliberately to be recommending the decentralized system. 23:36:32 oerjan: my whole life may have devolved into a lifo tdnh <-- mine too, in the big picture :( 23:36:40 boilycopter 23:36:43 RDF is also more extensible than the other user profiles, too 23:36:47 -!- hppavilion[1] has quit (Ping timeout: 260 seconds). 23:37:57 int-e: hm there are some animals that do that, i think 23:38:30 some kinds of invertebrates with only one whatchammacallit 23:38:47 The account registration form could have the fields such as: username, password, again password, OpenID, RDF. You can therefore fill in username/password or OpenID. If RDF is also filled in, then depending on the data available, the other fields might not be necessary. 23:39:09 boilycopter? 23:39:18 ah. heli-. 23:39:36 oh, I was assuming shachaf to be human... or some mammal, at least, and I didn't consider ruminants (thanks google) at all 23:39:49 int-ello. shachaf is a bird. 23:39:56 i wasn't considering ruminants either, really 23:40:16 something more primitive, but i don't quite remember what 23:40:30 jellyfish maybe? 23:40:56 oerjan: not sure what you call it... 23:41:04 jellyfish would qualify I guess 23:41:08 https://en.wikipedia.org/wiki/Polyp comes to my mind 23:41:33 which are of course related... 23:41:38 b_jonas: Do you like this? 23:42:01 (At least in one direction: "Jellyfish or jellies[1] are the major non-polyp form of individuals of the phylum Cnidaria.") 23:42:29 and what about starfish? 23:42:53 i wasn't sure if starfish did that, they're a different phylum 23:43:23 hm bells are starting to ring 23:45:39 https://en.wikipedia.org/wiki/Coelenterata may be what i was thinking of. apparently it's no longer considered a proper grouping. 23:45:55 that still doesn't include starfish... 23:47:32 heh... subtleties. http://www.sheldoncomics.com/archive/100302.html 23:51:26 -!- tromp has joined. 23:53:28 https://en.wikipedia.org/wiki/Acoelomorpha seems to be another group 23:54:48 however, both protostomes and deuterostomes have two openings, which includes starfish (which are deuterostomes like the vertebrates) 23:55:15 (they differ in how the openings form) 23:55:20 I don't know all of that biology much, but now I can know a little bit 23:55:26 oerjan: what is the big picture of your life 23:55:42 -!- lynn has quit (Ping timeout: 246 seconds). 23:55:47 -!- tromp has quit (Ping timeout: 248 seconds). 23:56:09 shachaf: https://en.wikipedia.org/wiki/Rorschach_test ;-) 23:56:21 `? weather 23:56:22 lambdabot: ?? ?@ (?where weather) CYUL ENVA ESSB KOAK 23:56:25 CYUL 282341Z 05017G26KT 15SM -SHSN DRSN FEW012 SCT020 OVC065 M09/M12 A2974 RMK SF1SC3SC4 SLP076 \ ENVA 282350Z 08003KT 9999 FEW012 BKN024 00/M00 Q1023 RMK WIND 670FT 23008KT \ ESSB 282350Z AUTO 00000KT 9999 SCT055/// M06/M07 Q1024 \ KOAK 282353Z 27006KT 10SM FEW020 BKN170 OVC200 17/11 A3019 RMK AO2 SLP224 T01720106 10189 20139 55006 23:57:14 shachaf: picture a train on tracks going toward the side of a mountain. no matter how careful you look, you cannot make out any tunnel opening. 23:57:42 so are you pre- or post- mountain 23:58:05 pre- 23:58:43 `lsmod 23:58:44 libkmod: ERROR ../libkmod/libkmod-module.c:1567 kmod_module_new_from_loaded: could not open /proc/modules: No such file or directory \ Error: could not get list of modules: No such file or directory 23:58:46 What's with that? 23:59:04 ask Gregor 23:59:23 `ls /proc 23:59:24 1 \ 10 \ 2 \ 281 \ 285 \ 286 \ 287 \ 288 \ 289 \ 290 \ 291 \ 292 \ 3 \ 4 \ 47 \ 49 \ 5 \ 51 \ 6 \ 68 \ 7 \ 76 \ 77 \ 8 \ 9 \ buddyinfo \ bus \ cgroups \ cmdline \ config.gz \ consoles \ cpuinfo \ crypto \ devices \ diskstats \ driver \ execdomains \ exitcode \ filesystems \ fs \ interrupts \ iomem \ ioports \ irq \ kallsyms \ kcore \ kmsg \ kpageco