00:02:14 -!- Phantom__Hoover has quit (Read error: Connection reset by peer). 00:12:33 -!- oerjan has quit (Quit: Nite). 00:14:46 -!- imode has quit (Ping timeout: 272 seconds). 00:22:11 -!- nodist has joined. 00:23:34 -!- tromp has joined. 00:28:26 -!- tromp has quit (Ping timeout: 276 seconds). 00:31:50 -!- imode has joined. 00:48:59 this heromesh thing sounds awesome 01:01:00 -!- atslash has quit (Ping timeout: 272 seconds). 01:03:13 -!- atslash has joined. 01:03:31 rain1: Did you look at the documents/source-codes? 01:04:14 -!- bradcomp has joined. 01:04:41 no just ruod your description here 01:04:43 ead* 01:07:57 -!- atslash has quit (Ping timeout: 240 seconds). 01:12:46 -!- nodist has quit (Quit: Leaving). 01:17:03 -!- Pilfers has joined. 01:17:31 -!- Pilfers has quit (Killed (Sigyn (Spam is off topic on freenode.))). 01:28:24 -!- Mikaela-8 has joined. 01:29:50 -!- Mikaela-8 has quit (Remote host closed the connection). 01:31:11 -!- Colti24 has joined. 01:39:57 -!- Colti24 has quit (Ping timeout: 240 seconds). 01:42:19 -!- ecrist1 has joined. 01:48:15 -!- ecrist1 has quit (Ping timeout: 268 seconds). 02:10:37 -!- tromp has joined. 02:15:23 -!- tromp has quit (Ping timeout: 268 seconds). 02:49:18 -!- bradcomp has quit (Ping timeout: 272 seconds). 03:00:47 -!- nfd9001 has joined. 03:04:49 -!- tromp has joined. 03:09:38 -!- tromp has quit (Ping timeout: 276 seconds). 03:18:05 -!- rodgort has quit (Quit: Leaving). 03:21:09 -!- bradcomp has joined. 03:25:39 -!- bradcomp has quit (Ping timeout: 244 seconds). 03:29:21 -!- rodgort has joined. 03:29:24 -!- bradcomp has joined. 03:39:43 [[User:Jix]] https://esolangs.org/w/index.php?diff=57365&oldid=8002 * Jix * (-30) 03:41:39 [[Jannis Harder]] https://esolangs.org/w/index.php?diff=57366&oldid=53682 * Jix * (-269) Remove seriously outdated information, update homepage link 03:58:08 -!- tromp has joined. 03:58:44 -!- moei has quit (Quit: Leaving...). 04:02:38 -!- tromp has quit (Ping timeout: 260 seconds). 04:23:05 -!- bradcomp has quit (Ping timeout: 276 seconds). 04:24:50 -!- Maple__10 has joined. 04:25:16 -!- Maple__10 has quit (Killed (Sigyn (Spam is off topic on freenode.))). 04:33:59 -!- bradcomp has joined. 04:51:50 -!- tromp has joined. 04:56:36 -!- tromp has quit (Ping timeout: 256 seconds). 05:26:25 -!- xkapastel has quit (Quit: Connection closed for inactivity). 05:27:56 -!- w3stside7 has joined. 05:28:38 -!- w3stside7 has quit (Killed (Sigyn (Spam is off topic on freenode.))). 05:41:48 -!- copumpkin has quit (Ping timeout: 256 seconds). 05:45:49 -!- tromp has joined. 05:48:53 -!- bradcomp has quit (Ping timeout: 276 seconds). 05:50:50 -!- tromp has quit (Ping timeout: 276 seconds). 06:09:29 -!- sdx2317 has joined. 06:10:17 -!- sdx2317 has quit (Killed (Sigyn (Spam is off topic on freenode.))). 06:18:54 -!- bradcomp has joined. 06:21:24 [[Surface]] https://esolangs.org/w/index.php?diff=57367&oldid=32526 * Madk * (+5) Fix broken dropbox link 06:21:52 [[M-code]] https://esolangs.org/w/index.php?diff=57368&oldid=23532 * Madk * (+20) 06:22:32 [[Grin]] https://esolangs.org/w/index.php?diff=57369&oldid=44990 * Madk * (+20) Fix broken download link 06:23:04 [[Tri]] https://esolangs.org/w/index.php?diff=57370&oldid=23607 * Madk * (+20) Fix broken download link 06:23:59 -!- bradcomp has quit (Ping timeout: 276 seconds). 06:24:05 -!- tromp has joined. 06:26:00 [[Cardinal]] https://esolangs.org/w/index.php?diff=57371&oldid=54016 * Madk * (+102) Add mirror for original file 06:26:35 [[Fit]] https://esolangs.org/w/index.php?diff=57372&oldid=23552 * Madk * (+5) Fix broken download link 06:27:18 [[Fit]] M https://esolangs.org/w/index.php?diff=57373&oldid=57372 * Madk * (+0) 06:27:29 [[Staq]] https://esolangs.org/w/index.php?diff=57374&oldid=39382 * Madk * (+5) Fix broken download link 06:28:05 [[PoGo]] https://esolangs.org/w/index.php?diff=57375&oldid=37520 * Madk * (+5) Fix broken download link 06:28:35 -!- tromp has quit (Ping timeout: 240 seconds). 06:29:00 [[D1ffe7e45e]] https://esolangs.org/w/index.php?diff=57376&oldid=23528 * Madk * (+5) Fx broken download link 06:34:05 [[Minimal]] https://esolangs.org/w/index.php?diff=57377&oldid=54603 * Madk * (+20) Fix broken download link 06:35:19 [[Vrejvax]] https://esolangs.org/w/index.php?diff=57378&oldid=49753 * Madk * (+22) Fix broken download link 06:35:49 [[Vrejvax]] M https://esolangs.org/w/index.php?diff=57379&oldid=57378 * Madk * (-15) 06:36:47 [[BrainCursion]] https://esolangs.org/w/index.php?diff=57380&oldid=40331 * Madk * (+20) Fix broken download link 06:37:27 [[Filth]] https://esolangs.org/w/index.php?diff=57381&oldid=18185 * Madk * (+20) Fix broken download link 06:38:04 [[BF-PDA]] https://esolangs.org/w/index.php?diff=57382&oldid=46405 * Madk * (+20) Fix broken download link 06:38:29 [[BF-PDA]] M https://esolangs.org/w/index.php?diff=57383&oldid=57382 * Madk * (-13) Remove {{deadlink}} 06:40:46 [[Vrejvax]] M https://esolangs.org/w/index.php?diff=57384&oldid=57379 * Madk * (+13) Explain difference between download links 06:47:36 [[User:Madk]] https://esolangs.org/w/index.php?diff=57385&oldid=32519 * Madk * (+141) 07:19:32 -!- atslash has joined. 07:20:46 -!- AnotherTest has joined. 07:27:17 -!- AnotherTest has quit (Ping timeout: 260 seconds). 07:36:27 -!- bradcomp has joined. 07:40:57 -!- bradcomp has quit (Ping timeout: 240 seconds). 07:48:35 -!- AnotherTest has joined. 08:10:06 -!- moei has joined. 08:11:01 -!- tromp has joined. 08:13:34 -!- imode has quit (Ping timeout: 272 seconds). 08:15:27 -!- tromp has quit (Ping timeout: 240 seconds). 08:18:24 -!- tromp has joined. 09:21:00 -!- SopaXorzTaker has joined. 09:24:50 -!- bradcomp has joined. 09:29:05 -!- bradcomp has quit (Ping timeout: 240 seconds). 09:37:47 -!- S_Gautam has quit (Quit: Connection closed for inactivity). 10:13:54 -!- AnotherTest has quit (Ping timeout: 272 seconds). 11:10:35 -!- AnotherTest has joined. 11:13:08 -!- bradcomp has joined. 11:16:48 [[Functional()]] M https://esolangs.org/w/index.php?diff=57386&oldid=57312 * Hakerh400 * (+0) Updated the header 11:17:22 -!- bradcomp has quit (Ping timeout: 244 seconds). 11:29:00 I wonder if the structure "monoid that isn't a submonoid of any group" has any interesting properties 11:29:13 (e.g. booleans with the operation "or" and identity false) 11:41:41 -!- arseniiv has joined. 12:40:25 -!- copumpkin has joined. 13:01:26 -!- bradcomp has joined. 13:04:34 -!- xkapastel has joined. 13:05:50 -!- bradcomp has quit (Ping timeout: 255 seconds). 14:03:19 -!- imode has joined. 14:27:59 -!- atslash has quit (Ping timeout: 268 seconds). 14:31:22 -!- atslash has joined. 14:48:12 -!- ABC__ has joined. 14:50:56 -!- slt has joined. 14:51:22 -!- slt has quit (Client Quit). 14:53:24 -!- ABC__ has quit (Ping timeout: 252 seconds). 15:21:14 -!- AnotherTest has quit (Ping timeout: 244 seconds). 15:36:51 -!- bradcomp has joined. 15:37:09 -!- oerjan has joined. 15:55:05 Taneb: https://en.wikipedia.org/wiki/Cancellative_semigroup#Embeddability_in_groups 15:55:15 I wonder if the structure "monoid that isn't a submonoid of any group" has any interesting properties <-- apparently it's complicated https://en.wikipedia.org/wiki/Cancellative_semigroup#Embeddability_in_groups 15:55:31 oops 15:55:32 You two are very synchronized today 15:55:38 slow ninjaed 15:55:58 Taneb: well the sample size is a bit low 15:58:23 also, GG: things could get really ugly if wooster catches on... 15:58:48 I think we're going to find some interesting things about Higgs in this arc 15:58:51 so far he's been pretty oblivious for a top agent 15:59:02 oerjan: it's possible he already knows 15:59:19 i suppose. 15:59:29 that seems like the safest option. 15:59:30 They were both with Klaus Wulfenbach for a decent while 15:59:37 (I think) 15:59:53 yes, although i have not seen them canonically in the same spot, i looked 16:00:32 Where was Wooster during the Castle Heterodyne mega-arc? 16:00:33 wooster never entered castle heterodyne, i think he left the city before they got out. 16:00:49 Higgs was introduced quite late in that arc 16:00:55 he went to reveal things to the jäger generals 16:01:02 Right 16:01:39 although they were both interacting with the jägers during the years agatha was trapped 16:01:46 (i presume) 16:01:56 but they may still never have actually met. 16:02:36 (higgs obviously visited zeetha who lived with the jägers, and wooster was assigned to them) 16:04:06 i don't think they were with klaus/gil at the same time. 16:05:12 higgs only showed up when klaus got hurt and hospitalized, and gil had sent wooster away just before that 16:05:22 How long would it take for a fresh recruit to become Airman, Third Class? 16:09:37 well he wouldn't be really noticeable during that time, and he may not have been much on castle wulfenbach 16:10:03 which is a big place 16:12:11 oerjan: not active here or on the wiki anymore, but I still see highlights (if I'm not asleep) 16:13:37 oerjan: one mystery is, was Higgs an entity before Mechanicsburg, or was he talent-scouted (by Albia?) afterwards? 16:15:37 Taneb: an interesting class of semigroups (or monoids) that cannot be embeded in a group should be semilattices (or bounded semilattices) 16:19:59 if you assume idempotency (as in semilattices) and cancellation (as needed to embed in a group) you get that every element is the identity element, so you cannot have both (apart from the trivial group) 16:28:35 -!- AnotherTest has joined. 16:42:05 Taneb: it does seem to stretch logic a bit that higgs could stay close to gil _and_ keep a british navy job at the same time... 16:42:57 jix: as i hoped 16:43:01 -!- zseri has joined. 16:51:17 -!- wob_jonas has joined. 16:51:30 @messages 16:52:12 shachaf, int-e: tom7 posted a blog post on his radar about his new game, and I replied there with my experiences. 17:02:01 @messages 17:02:01 You don't have any messages 17:02:11 zzo38: re SQLITE "sqlite3_result_blob64() function but but no corresponding sqlite3_value_bytes64() function", there's no sqlite3_value_bytes function either. 17:02:36 wob_jonas: whoa whoa whoa, you're mentioning me by name many times 17:03:09 zzo38: see https://sqlite.org/c3ref/result_blob.html 17:03:33 those and https://sqlite.org/c3ref/result_subtype.html are the only documented functions starting with sqlite3_result_ 17:03:41 -!- zseri has quit (Quit: Leaving). 17:03:57 shachaf: is that a problem? tom7 already knows your infamy 17:04:11 and this channel has a public log 17:05:13 but if it's a problem, I can write to tom7 and ask to redact your name 17:09:08 I have infamy? 17:09:15 I guess everything is logged anyway. 17:09:36 [[List of ideas]] https://esolangs.org/w/index.php?diff=57387&oldid=57362 * GDavid * (+502) /* Joke/Silly Ideas */ 17:09:48 shachaf: infamy in that you care about esoteric languages and tom7's esoteric projects 17:11:42 I don't think I've made it onto the Tom 7 radar before 17:14:06 [[List of ideas]] https://esolangs.org/w/index.php?diff=57388&oldid=57387 * GDavid * (+73) /* Derivative Ideas */ 17:17:40 shachaf: perhaps no, but https://esolangs.org/logs/2017-04-02.html " I made a small comment on the implementation of |, which apparently some other people made as well." 17:18:53 Oh, that's true, I sent a twit once. 17:19:35 -!- oerjan has quit (Quit: Later). 17:26:11 -!- Shragazord has joined. 17:39:21 -!- impomatic has joined. 17:39:49 -!- LKoen has joined. 18:06:11 [[List of ideas]] https://esolangs.org/w/index.php?diff=57389&oldid=57388 * GDavid * (+379) /* Based on dimensions */ 18:12:42 did it become a character trait? 18:14:42 int-e: what? 18:19:16 wob_jonas: shachaf talked about twits 18:20:04 shachaf: oh, by the way. Given how much the title screen helped, I only grepped the English frequency word list once, for decoding "cylinder" from "c..in.er" 18:21:33 The only other words that caused any trouble were "ovoposit" and "tale", but I didn't grep for them. 18:23:39 "tale" because I assumed for a short time that it was a typo for "take", since you told me there's a typo, but testing its behavior made it clear that it had to be "talk" 18:24:22 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 18:25:00 <\oren\> In france, 80 is the weed number 18:38:22 @tell wob_jonas oh did you miss the difference between 'e' and 'k' in "running out of space"? it's subtle, but it's there. 18:38:23 Consider it noted. 18:52:05 -!- shikhin has changed nick to shikhin-dissents. 18:52:17 -!- shikhin-dissents has changed nick to shikhin. 19:36:46 -!- wob_jonas has joined. 19:41:51 int-e: wtf, it's "talk" not "tale" even in the compo version. but I transcribed it wrong on my sheet of paper, and only looked at that after. 19:41:55 int-e: I knew there was a difference, because "look" has the "k", and "look" was one of the earliest words I saw 19:42:01 int-e: but then I checked and double checked my paper, and my paper had the alien symbol for "e" 19:42:52 int-e: it must be that, because I trust tom7's integrity in this particular case and I don't think he fixed that annoying typo in the compo version of the game 19:43:58 and I was trying to see a typo because shachaf told me there was a typo in that line and I didn't know the third word was a typo 19:44:45 "Some day when I have a solid week to spare, I'd like to make a complete game in this style." 19:47:25 int-e: yeah, that's not an enforcable promise, but tom7 might even be crazy enough to do it. 19:49:40 wob_jonas: I didn't tell you that. 19:50:52 -!- bradcomp has quit (Ping timeout: 272 seconds). 19:51:15 int-e: and it's because of the shape of "e" and "k" that the closing credits says "tom 7" instead of "tom7", because "tom7" could be confused with "tome". 19:51:56 -!- MDude has quit (Ping timeout: 276 seconds). 19:52:37 -!- jix_ has joined. 19:55:30 -!- jix has quit (Ping timeout: 256 seconds). 19:55:30 -!- rain1 has quit (Ping timeout: 256 seconds). 19:55:31 -!- bradcomp has joined. 19:55:31 oh sorry. that was int-e. he told me there was a typo. 19:55:31 "how many typos are there? it's kind of embarrassing that there's one in one of the commands :)" => well, there was "please make yourself", but none other I think 19:56:39 -!- rain1 has joined. 19:59:15 -!- SopaXorzTaker has quit (Remote host closed the connection). 20:01:48 wob_jonas: that one wasn't a typo, it just got cut off 20:02:05 (and it didn't get cut off for me, somehow...) 20:08:59 int-e: let me re-check that in the compo version 20:08:59 Dunno. 20:08:59 Now the compo says "Please make yourself at home!" too. Strange. 20:08:59 But I checked that multiple times! 20:08:59 I don't understand 20:09:05 -!- grumble has quit (Read error: Connection reset by peer). 20:09:08 -!- gurmble has joined. 20:09:22 -!- gurmble has changed nick to grumble. 20:12:09 Ah! 20:12:16 int-e: there is a typo 20:12:38 if you talk to Kirk once you already have the energy weapon, the screen scrolls differently, and it does get cut off and say "Please make yourself" 20:12:58 Or maybe it's not the energy weapon that matters but just how you scroll the screen 20:13:13 Yeah, it's not the energy weapon. 20:13:17 It's how you scroll the screen. 20:13:45 Depending on how you scroll it, you can make it say "Please make yourself at" too 20:14:23 makes sense 20:14:23 and "Please make yourself at ho" with a single column from the m visible 20:14:26 and probably others 20:14:34 Kirk just talks above himself 20:15:07 It's just like other cases when a message appears in the wrong place 20:17:51 [[Nestplate]] N https://esolangs.org/w/index.php?oldid=57390 * GDavid * (+1543) Created page with "Nestplate (from the combination of the words nest and template) is a language invented by [[User:GDavid]] to solve the problem that C++ templates are sometimes too readable. I..." 20:18:27 [[User:GDavid]] https://esolangs.org/w/index.php?diff=57391&oldid=57042 * GDavid * (+33) 20:19:50 [[Language list]] https://esolangs.org/w/index.php?diff=57392&oldid=57228 * GDavid * (+16) /* T */ 20:20:22 oh! There's a second solution for the tetris puzzle that I hadn't noticed before 20:20:30 [[Language list]] https://esolangs.org/w/index.php?diff=57393&oldid=57392 * GDavid * (+16) /* N */ 20:20:43 The tool is in different columns in them 20:21:24 no wait 20:21:26 I'm wrong 20:21:28 that's not a solution 20:21:51 There's only one solution. 20:23:56 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 20:26:50 -!- rain1 has quit (Quit: WeeChat 1.9.1). 20:48:52 [[List of ideas]] https://esolangs.org/w/index.php?diff=57394&oldid=57389 * GDavid * (+312) /* Looks Like */ 21:24:07 -!- MDude has joined. 21:52:04 -!- AnotherTest has quit (Ping timeout: 256 seconds). 22:12:15 -!- Esqapezord has joined. 22:12:54 -!- Shragazord has quit (Ping timeout: 256 seconds). 22:20:21 -!- impomatic has quit (Ping timeout: 268 seconds). 22:22:13 -!- tromp has quit (Remote host closed the connection). 22:33:15 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”). 22:37:53 -!- tromp has joined. 22:40:43 -!- Shragazord has joined. 22:41:14 -!- Esqapezord has quit (Ping timeout: 272 seconds). 22:41:57 -!- tromp has quit (Ping timeout: 240 seconds). 23:08:04 -!- tromp has joined. 23:12:27 -!- tromp has quit (Ping timeout: 240 seconds). 23:18:32 -!- Esqapezord has joined. 23:18:46 -!- Shragazord has quit (Ping timeout: 256 seconds). 23:23:53 -!- Shragazord has joined. 23:24:50 -!- Esqapezord has quit (Ping timeout: 244 seconds). 23:56:44 -!- bradcomp has quit (Ping timeout: 256 seconds).