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 <rain1> this heromesh thing sounds awesome
01:01:00 -!- atslash has quit (Ping timeout: 272 seconds).
01:03:13 -!- atslash has joined.
01:03:31 <zzo38> rain1: Did you look at the documents/source-codes?
01:04:14 -!- bradcomp has joined.
01:04:41 <rain1> no just ruod your description here
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 <esowiki> [[User:Jix]] https://esolangs.org/w/index.php?diff=57365&oldid=8002 * Jix * (-30)
03:41:39 <esowiki> [[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 <esowiki> [[Surface]] https://esolangs.org/w/index.php?diff=57367&oldid=32526 * Madk * (+5) Fix broken dropbox link
06:21:52 <esowiki> [[M-code]] https://esolangs.org/w/index.php?diff=57368&oldid=23532 * Madk * (+20)
06:22:32 <esowiki> [[Grin]] https://esolangs.org/w/index.php?diff=57369&oldid=44990 * Madk * (+20) Fix broken download link
06:23:04 <esowiki> [[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 <esowiki> [[Cardinal]] https://esolangs.org/w/index.php?diff=57371&oldid=54016 * Madk * (+102) Add mirror for original file
06:26:35 <esowiki> [[Fit]] https://esolangs.org/w/index.php?diff=57372&oldid=23552 * Madk * (+5) Fix broken download link
06:27:18 <esowiki> [[Fit]] M https://esolangs.org/w/index.php?diff=57373&oldid=57372 * Madk * (+0)
06:27:29 <esowiki> [[Staq]] https://esolangs.org/w/index.php?diff=57374&oldid=39382 * Madk * (+5) Fix broken download link
06:28:05 <esowiki> [[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 <esowiki> [[D1ffe7e45e]] https://esolangs.org/w/index.php?diff=57376&oldid=23528 * Madk * (+5) Fx broken download link
06:34:05 <esowiki> [[Minimal]] https://esolangs.org/w/index.php?diff=57377&oldid=54603 * Madk * (+20) Fix broken download link
06:35:19 <esowiki> [[Vrejvax]] https://esolangs.org/w/index.php?diff=57378&oldid=49753 * Madk * (+22) Fix broken download link
06:35:49 <esowiki> [[Vrejvax]] M https://esolangs.org/w/index.php?diff=57379&oldid=57378 * Madk * (-15)
06:36:47 <esowiki> [[BrainCursion]] https://esolangs.org/w/index.php?diff=57380&oldid=40331 * Madk * (+20) Fix broken download link
06:37:27 <esowiki> [[Filth]] https://esolangs.org/w/index.php?diff=57381&oldid=18185 * Madk * (+20) Fix broken download link
06:38:04 <esowiki> [[BF-PDA]] https://esolangs.org/w/index.php?diff=57382&oldid=46405 * Madk * (+20) Fix broken download link
06:38:29 <esowiki> [[BF-PDA]] M https://esolangs.org/w/index.php?diff=57383&oldid=57382 * Madk * (-13) Remove {{deadlink}}
06:40:46 <esowiki> [[Vrejvax]] M https://esolangs.org/w/index.php?diff=57384&oldid=57379 * Madk * (+13) Explain difference between download links
06:47:36 <esowiki> [[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 <esowiki> [[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 <Taneb> I wonder if the structure "monoid that isn't a submonoid of any group" has any interesting properties
11:29:13 <Taneb> (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 <int-e> Taneb: https://en.wikipedia.org/wiki/Cancellative_semigroup#Embeddability_in_groups
15:55:15 <oerjan> <Taneb> 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:32 <Taneb> You two are very synchronized today
15:55:58 <oerjan> Taneb: well the sample size is a bit low
15:58:23 <oerjan> also, GG: things could get really ugly if wooster catches on...
15:58:48 <Taneb> I think we're going to find some interesting things about Higgs in this arc
15:58:51 <oerjan> so far he's been pretty oblivious for a top agent
15:59:02 <Taneb> oerjan: it's possible he already knows
15:59:29 <oerjan> that seems like the safest option.
15:59:30 <Taneb> They were both with Klaus Wulfenbach for a decent while
15:59:53 <oerjan> yes, although i have not seen them canonically in the same spot, i looked
16:00:32 <Taneb> Where was Wooster during the Castle Heterodyne mega-arc?
16:00:33 <oerjan> wooster never entered castle heterodyne, i think he left the city before they got out.
16:00:49 <Taneb> Higgs was introduced quite late in that arc
16:00:55 <oerjan> he went to reveal things to the jäger generals
16:01:39 <oerjan> although they were both interacting with the jägers during the years agatha was trapped
16:01:56 <oerjan> but they may still never have actually met.
16:02:36 <oerjan> (higgs obviously visited zeetha who lived with the jägers, and wooster was assigned to them)
16:04:06 <oerjan> i don't think they were with klaus/gil at the same time.
16:05:12 <oerjan> higgs only showed up when klaus got hurt and hospitalized, and gil had sent wooster away just before that
16:05:22 <Taneb> How long would it take for a fresh recruit to become Airman, Third Class?
16:09:37 <oerjan> well he wouldn't be really noticeable during that time, and he may not have been much on castle wulfenbach
16:12:11 <jix> oerjan: not active here or on the wiki anymore, but I still see highlights (if I'm not asleep)
16:13:37 <Taneb> oerjan: one mystery is, was Higgs an entity before Mechanicsburg, or was he talent-scouted (by Albia?) afterwards?
16:15:37 <jix> Taneb: an interesting class of semigroups (or monoids) that cannot be embeded in a group should be semilattices (or bounded semilattices)
16:19:59 <jix> 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 <oerjan> 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:43:01 -!- zseri has joined.
16:51:17 -!- wob_jonas has joined.
16:52:12 <wob_jonas> shachaf, int-e: tom7 posted a blog post on his radar about his new game, and I replied there with my experiences.
17:02:11 <wob_jonas> 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 <shachaf> wob_jonas: whoa whoa whoa, you're mentioning me by name many times
17:03:09 <wob_jonas> zzo38: see https://sqlite.org/c3ref/result_blob.html
17:03:33 <wob_jonas> 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 <wob_jonas> shachaf: is that a problem? tom7 already knows your infamy
17:05:13 <wob_jonas> but if it's a problem, I can write to tom7 and ask to redact your name
17:09:15 <shachaf> I guess everything is logged anyway.
17:09:36 <esowiki> [[List of ideas]] https://esolangs.org/w/index.php?diff=57387&oldid=57362 * GDavid * (+502) /* Joke/Silly Ideas */
17:09:48 <wob_jonas> shachaf: infamy in that you care about esoteric languages and tom7's esoteric projects
17:11:42 <shachaf> I don't think I've made it onto the Tom 7 radar before
17:14:06 <esowiki> [[List of ideas]] https://esolangs.org/w/index.php?diff=57388&oldid=57387 * GDavid * (+73) /* Derivative Ideas */
17:17:40 <wob_jonas> shachaf: perhaps no, but https://esolangs.org/logs/2017-04-02.html "<shachaf> I made a small comment on the implementation of |, which apparently some other people made as well."
17:18:53 <shachaf> 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 <esowiki> [[List of ideas]] https://esolangs.org/w/index.php?diff=57389&oldid=57388 * GDavid * (+379) /* Based on dimensions */
18:12:42 <int-e> did it become a character trait?
18:19:16 <int-e> wob_jonas: shachaf talked about twits
18:20:04 <wob_jonas> 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 <wob_jonas> The only other words that caused any trouble were "ovoposit" and "tale", but I didn't grep for them.
18:23:39 <wob_jonas> "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 <int-e> @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: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 <wob_jonas> 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 <wob_jonas> 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 <wob_jonas> int-e: but then I checked and double checked my paper, and my paper had the alien symbol for "e"
19:42:52 <wob_jonas> 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 <wob_jonas> 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 <int-e> "Some day when I have a solid week to spare, I'd like to make a complete game in this style."
19:47:25 <wob_jonas> int-e: yeah, that's not an enforcable promise, but tom7 might even be crazy enough to do it.
19:49:40 <shachaf> wob_jonas: I didn't tell you that.
19:50:52 -!- bradcomp has quit (Ping timeout: 272 seconds).
19:51:15 <wob_jonas> 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 <wob_jonas> oh sorry. that was int-e. he told me there was a typo.
19:55:31 <wob_jonas> "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 <int-e> wob_jonas: that one wasn't a typo, it just got cut off
20:02:05 <int-e> (and it didn't get cut off for me, somehow...)
20:08:59 <wob_jonas> int-e: let me re-check that in the compo version
20:08:59 <wob_jonas> Now the compo says "Please make yourself at home!" too. Strange.
20:08:59 <wob_jonas> But I checked that multiple times!
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:38 <wob_jonas> 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 <wob_jonas> Or maybe it's not the energy weapon that matters but just how you scroll the screen
20:13:45 <wob_jonas> Depending on how you scroll it, you can make it say "Please make yourself at" too
20:14:23 <wob_jonas> and "Please make yourself at ho" with a single column from the m visible
20:15:07 <wob_jonas> It's just like other cases when a message appears in the wrong place
20:17:51 <esowiki> [[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 <esowiki> [[User:GDavid]] https://esolangs.org/w/index.php?diff=57391&oldid=57042 * GDavid * (+33)
20:19:50 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=57392&oldid=57228 * GDavid * (+16) /* T */
20:20:22 <wob_jonas> oh! There's a second solution for the tetris puzzle that I hadn't noticed before
20:20:30 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=57393&oldid=57392 * GDavid * (+16) /* N */
20:20:43 <wob_jonas> The tool is in different columns in them
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 <esowiki> [[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).