00:01:28 <esowiki> [[SPREADSHEET]] M https://esolangs.org/w/index.php?diff=79991&oldid=79990 * Quintopia * (-118) edits on request
00:03:28 -!- b_jonas has quit (*.net *.split).
00:03:28 -!- zzo38 has quit (*.net *.split).
00:03:28 -!- sprock has quit (*.net *.split).
00:03:28 -!- arseniiv has quit (*.net *.split).
00:03:28 -!- MDude has quit (*.net *.split).
00:03:29 -!- user3456 has quit (*.net *.split).
00:03:30 -!- Lymia has quit (*.net *.split).
00:03:31 -!- mich181189 has quit (*.net *.split).
00:03:31 -!- izabera has quit (*.net *.split).
00:03:31 -!- ProofTechnique has quit (*.net *.split).
00:03:31 -!- ^[ has quit (*.net *.split).
00:03:31 -!- j4cbo has quit (*.net *.split).
00:03:31 -!- atehwa has quit (*.net *.split).
00:03:32 -!- FireFly has quit (*.net *.split).
00:03:32 -!- int-e has quit (*.net *.split).
00:03:32 -!- ineiros has quit (*.net *.split).
00:03:32 -!- Hooloovo0 has quit (*.net *.split).
00:03:32 -!- APic has quit (*.net *.split).
00:03:32 -!- fungot has quit (*.net *.split).
00:03:33 -!- Bowserinator has quit (*.net *.split).
00:03:33 -!- jess has quit (*.net *.split).
00:03:33 -!- sftp has quit (*.net *.split).
00:03:33 -!- pikhq has quit (*.net *.split).
00:03:34 -!- dnm has quit (*.net *.split).
00:03:34 -!- LKoen has quit (*.net *.split).
00:03:40 -!- myname has quit (*.net *.split).
00:03:46 -!- Lord_of_Life has quit (*.net *.split).
00:03:46 -!- Melvar has quit (*.net *.split).
00:03:47 -!- diverger has quit (*.net *.split).
00:03:47 -!- stux|RC-only has quit (*.net *.split).
00:03:47 -!- nakilon has quit (*.net *.split).
00:03:50 -!- Discordian[m] has quit (*.net *.split).
00:03:51 -!- wmww has quit (*.net *.split).
00:03:52 -!- rain1 has quit (*.net *.split).
00:03:53 -!- kmc has quit (*.net *.split).
00:03:53 -!- vertrex has quit (*.net *.split).
00:03:53 -!- Arcorann has quit (*.net *.split).
00:03:53 -!- aloril has quit (*.net *.split).
00:03:53 -!- grumble has quit (*.net *.split).
00:03:54 -!- rodgort has quit (*.net *.split).
00:03:54 -!- hakatashi1 has quit (*.net *.split).
00:03:54 -!- interruptinuse has quit (*.net *.split).
00:03:54 -!- sebbu has quit (*.net *.split).
00:03:54 -!- Taneb has quit (*.net *.split).
00:03:54 -!- moony has quit (*.net *.split).
00:03:55 -!- iovoid has quit (*.net *.split).
00:03:55 -!- glowcoil has quit (*.net *.split).
00:03:55 -!- sparr has quit (*.net *.split).
00:03:56 -!- tromp has quit (*.net *.split).
00:03:56 -!- harha_ has quit (*.net *.split).
00:03:57 -!- asie has quit (*.net *.split).
00:03:57 -!- fizzie has quit (*.net *.split).
00:03:57 -!- xelxebar has quit (*.net *.split).
00:03:57 -!- jix has quit (*.net *.split).
00:03:57 -!- ski has quit (*.net *.split).
00:03:57 -!- orbitaldecay has quit (*.net *.split).
00:03:57 -!- oren has quit (*.net *.split).
00:03:58 -!- djanatyn has quit (*.net *.split).
00:03:58 -!- Sgeo has quit (*.net *.split).
00:03:58 -!- spruit11 has quit (*.net *.split).
00:03:58 -!- clog has quit (*.net *.split).
00:03:58 -!- haavard has quit (*.net *.split).
00:03:58 -!- V has quit (*.net *.split).
00:03:59 -!- Cale has quit (*.net *.split).
00:03:59 -!- mmmattyx has quit (*.net *.split).
00:04:00 -!- acedic[m] has quit (*.net *.split).
00:04:00 -!- none30 has quit (*.net *.split).
00:04:01 -!- olsner has quit (*.net *.split).
00:04:01 -!- ornxka has quit (*.net *.split).
00:04:01 -!- zeroed has quit (*.net *.split).
00:04:01 -!- mla has quit (*.net *.split).
00:04:01 -!- lifthrasiir has quit (*.net *.split).
00:04:01 -!- relrod has quit (*.net *.split).
00:04:02 -!- j-bot has quit (*.net *.split).
00:04:02 -!- lambdabot has quit (*.net *.split).
00:04:02 -!- gitlogger has quit (*.net *.split).
00:04:02 -!- shachaf has quit (*.net *.split).
00:04:02 -!- heroux has quit (*.net *.split).
00:04:02 -!- Deewiant has quit (*.net *.split).
00:04:03 -!- BWBellairs has quit (*.net *.split).
00:04:03 -!- wesleyac has quit (*.net *.split).
00:04:03 -!- HackEso has quit (*.net *.split).
00:04:03 -!- paul2520 has quit (*.net *.split).
00:04:03 -!- mniip has quit (*.net *.split).
00:04:10 -!- ocharles has quit (*.net *.split).
00:04:10 -!- shikhin has quit (*.net *.split).
00:04:10 -!- trn has quit (*.net *.split).
00:06:05 -!- LKoen has joined.
00:06:05 -!- Arcorann has joined.
00:06:05 -!- Cale has joined.
00:06:05 -!- mmmattyx has joined.
00:06:05 -!- xelxebar has joined.
00:06:05 -!- djanatyn has joined.
00:06:05 -!- Lord_of_Life has joined.
00:06:05 -!- Sgeo has joined.
00:06:05 -!- Melvar has joined.
00:06:05 -!- int-e has joined.
00:06:05 -!- rain1 has joined.
00:06:05 -!- tromp has joined.
00:06:05 -!- Bowserinator has joined.
00:06:05 -!- sebbu has joined.
00:06:05 -!- aloril has joined.
00:06:05 -!- diverger has joined.
00:06:05 -!- jess has joined.
00:06:05 -!- heroux has joined.
00:06:05 -!- sftp has joined.
00:06:05 -!- harha_ has joined.
00:06:05 -!- Taneb has joined.
00:06:05 -!- moony has joined.
00:06:05 -!- spruit11 has joined.
00:06:05 -!- wmww has joined.
00:06:05 -!- iovoid has joined.
00:06:05 -!- none30 has joined.
00:06:05 -!- acedic[m] has joined.
00:06:05 -!- Discordian[m] has joined.
00:06:05 -!- pikhq has joined.
00:06:05 -!- Deewiant has joined.
00:06:05 -!- grumble has joined.
00:06:05 -!- BWBellairs has joined.
00:06:05 -!- wesleyac has joined.
00:06:05 -!- j-bot has joined.
00:06:05 -!- olsner has joined.
00:06:05 -!- lambdabot has joined.
00:06:05 -!- glowcoil has joined.
00:06:05 -!- ocharles has joined.
00:06:05 -!- clog has joined.
00:06:05 -!- asie has joined.
00:06:05 -!- shikhin has joined.
00:06:05 -!- kmc has joined.
00:06:05 -!- HackEso has joined.
00:06:05 -!- ornxka has joined.
00:06:05 -!- fungot has joined.
00:06:05 -!- APic has joined.
00:06:05 -!- Hooloovo0 has joined.
00:06:05 -!- ineiros has joined.
00:06:05 -!- FireFly has joined.
00:06:05 -!- stux|RC-only has joined.
00:06:05 -!- gitlogger has joined.
00:06:05 -!- dnm has joined.
00:06:05 -!- sparr has joined.
00:06:05 -!- zeroed has joined.
00:06:05 -!- mla has joined.
00:06:05 -!- haavard has joined.
00:06:05 -!- rodgort has joined.
00:06:05 -!- myname has joined.
00:06:05 -!- nakilon has joined.
00:06:05 -!- paul2520 has joined.
00:06:05 -!- jix has joined.
00:06:05 -!- ski has joined.
00:06:05 -!- hakatashi1 has joined.
00:06:05 -!- mniip has joined.
00:06:05 -!- shachaf has joined.
00:06:05 -!- vertrex has joined.
00:06:05 -!- trn has joined.
00:06:05 -!- interruptinuse has joined.
00:06:05 -!- fizzie has joined.
00:06:05 -!- oren has joined.
00:06:05 -!- orbitaldecay has joined.
00:06:05 -!- V has joined.
00:06:05 -!- relrod has joined.
00:06:05 -!- lifthrasiir has joined.
00:06:14 -!- Lymia has joined.
00:06:14 -!- mich181189 has joined.
00:06:14 -!- izabera has joined.
00:06:14 -!- ProofTechnique has joined.
00:06:14 -!- ^[ has joined.
00:06:14 -!- j4cbo has joined.
00:06:14 -!- atehwa has joined.
00:06:37 -!- sprock has joined.
00:06:37 -!- arseniiv has joined.
00:06:37 -!- MDude has joined.
00:06:37 -!- user3456 has joined.
00:06:37 -!- b_jonas has joined.
00:06:37 -!- zzo38 has joined.
00:07:02 -!- none30 has quit (Ping timeout: 260 seconds).
00:07:09 -!- Discordian[m] has quit (Ping timeout: 246 seconds).
00:07:09 -!- wmww has quit (Ping timeout: 246 seconds).
00:07:37 -!- acedic[m] has quit (Ping timeout: 260 seconds).
00:09:38 -!- ProofTechnique has quit (Ping timeout: 274 seconds).
00:10:12 -!- ProofTechnique has joined.
00:10:14 -!- ^[ has quit (Ping timeout: 264 seconds).
00:11:43 -!- ^[ has joined.
00:20:42 -!- rain1 has quit (Quit: WeeChat 3.0).
00:32:55 -!- ubq323 has joined.
00:33:12 -!- wmww has joined.
00:34:18 -!- none30 has joined.
00:40:35 -!- 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.”).
00:42:28 <esowiki> [[Pi Calculus]] M https://esolangs.org/w/index.php?diff=79992&oldid=79985 * PythonshellDebugwindow * (+0) /* External resources */ m
00:45:26 <esowiki> [[Parse this sic]] M https://esolangs.org/w/index.php?diff=79993&oldid=79971 * PythonshellDebugwindow * (+8) wip
00:51:42 -!- wmww has quit (Ping timeout: 258 seconds).
00:51:57 -!- none30 has quit (Ping timeout: 260 seconds).
00:52:11 -!- mmmattyx has quit (Quit: Connection closed for inactivity).
01:03:01 -!- wmww has joined.
01:04:31 -!- ubq323 has quit (Quit: leaving).
01:04:42 -!- tromp has quit (Ping timeout: 256 seconds).
01:04:59 -!- tromp has joined.
01:12:53 -!- harha_ has quit (Quit: ZNC 1.8.2 - https://znc.in).
01:13:18 -!- harha_ has joined.
01:18:37 -!- arseniiv has quit (Ping timeout: 246 seconds).
01:27:15 -!- none30 has joined.
01:27:15 -!- acedic[m] has joined.
01:27:21 -!- iscordian[m] has joined.
01:28:44 -!- harha_ has quit (Quit: ZNC 1.8.2 - https://znc.in).
01:36:49 -!- harha_ has joined.
01:37:21 -!- iscordian[m] has changed nick to Discordian[m].
01:44:25 -!- harha_ has quit (Quit: ZNC 1.8.2 - https://znc.in).
01:47:28 -!- joast has joined.
01:48:23 -!- delta23 has joined.
01:49:05 -!- harha_ has joined.
02:00:46 -!- towiebean has joined.
02:03:39 -!- towiebean has quit (Client Quit).
02:36:08 <lambdabot> EFHK 150220Z 35010KT CAVOK M22/M25 Q1020 NOSIG
02:36:25 <fizzie> Brrr. Heard it's pretty cold and snowy back there.
03:33:27 -!- MDude has quit (Quit: Going offline, see ya! (www.adiirc.com)).
04:04:14 -!- delta23 has quit (Ping timeout: 264 seconds).
04:17:07 -!- delta23 has joined.
05:05:12 -!- xelxebar has quit (Remote host closed the connection).
05:09:10 -!- xelxebar has joined.
05:48:28 -!- sprock has quit (Ping timeout: 246 seconds).
06:47:39 <lambdabot> LOWI 150620Z 07006KT 2500 -SN BR FEW005 SCT010 BKN018 M05/M06 Q1017 R88/////// TEMPO BKN010
06:48:00 <int-e> just cold, not extraordinarily so
07:06:19 -!- privateger has joined.
07:22:06 -!- privateger has quit (Quit: Leaving.).
07:32:18 -!- Sgeo has quit (Read error: Connection reset by peer).
07:42:12 -!- delta23 has quit (Read error: Connection reset by peer).
07:43:30 -!- delta23 has joined.
07:58:16 <int-e> fungot: are you afraid of MTAs?
07:58:16 <fungot> int-e: to. why, this is for you guys are a lot
07:58:25 <fungot> Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot* homestuck ic irc iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp ukparl youtube
07:58:34 <fungot> Selected style: irc (IRC logs of freenode/#esoteric, freenode/#scheme and ircnet/#douglasadams)
07:58:37 <int-e> fungot: are you afraid of MTAs?
07:58:37 <fungot> int-e: i think i better eat something
08:32:35 -!- LKoen has joined.
09:17:25 -!- Arcorann has quit (Read error: Connection reset by peer).
10:00:31 -!- 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.”).
10:04:09 -!- Arcorann has joined.
10:18:00 -!- ubq323 has joined.
10:21:44 -!- LKoen has joined.
10:38:28 -!- Bowserinator has quit (Quit: Blame iczero something happened).
10:38:42 -!- iovoid has quit (Quit: iovoid has quit!).
10:38:42 -!- moony has quit (Quit: Bye!).
10:39:21 -!- Bowserinator has joined.
10:39:26 -!- iovoid has joined.
10:39:37 -!- moony has joined.
11:00:12 -!- xelxebar has quit (Write error: Broken pipe).
11:03:34 -!- xelxebar has joined.
11:43:24 -!- rain1 has joined.
11:43:28 <shachaf> int-e: I forgot I hadn't finished n-stepping.
11:43:39 <shachaf> Looks like I have 11 stars.
11:44:56 <shachaf> I'm really not sure about some of these, hmm.
11:45:03 <int-e> I already forgot how many there were.
11:45:35 <shachaf> I think you might've said 15?
11:45:46 <shachaf> There are three that I see on the map.
11:46:34 -!- ubq323 has quit (Quit: WeeChat 2.3).
11:47:39 <int-e> It was in a comment... ah: "Amazing game! Finally got all 15 stars"
11:47:50 <int-e> So there are 16 stars on the map. :-P
11:48:39 <shachaf> I also see several places I don't know how to get to.
11:49:18 <int-e> You have a door to open and probably a mechanic to discover.
11:50:02 <shachaf> Let's see. The stars I see are in 4,12, 5,10, and 4,11.
11:50:16 <shachaf> 4,11 I'm pretty sure is just a standalone thing I need to figure out.
11:50:54 -!- ubq323 has joined.
11:51:16 <shachaf> I had some ideas for 4,12 but I don't think any of them worked.
11:51:54 <shachaf> And I assume you have to get to 5,10 from the south.
11:54:55 <shachaf> There's an opening to the east of 8,9, isn't there.
11:54:57 -!- arseniiv has joined.
11:55:02 <shachaf> I got the star there but didn't notice it went on.
11:55:07 * int-e forgot how the coordinates go
11:56:05 <int-e> Oh I can infer that
12:02:22 <int-e> Hmm I don't remember the 4,11 star.
12:03:12 <int-e> I do remember the 4,12 one though, and I have a good idea what you're missing about it :P
12:03:16 <shachaf> I got the one on the right but not the one on the left.
12:03:51 <int-e> Oh okay that makes sense.
12:03:59 <shachaf> OK, for 4,12 you can either enter from the east, or from the west northern entrance half, or the west southern part.
12:04:19 <shachaf> Or maybe you can somehow enter with multiple cats from the west, though if that's possible I haven't figured out how.
12:04:58 <shachaf> If that's the case it'd be a 2,12 puzzle.
12:06:11 <shachaf> Or maybe you enter from the south, of course, and get the star that way.
12:06:19 <shachaf> Or maybe I'm missing something really obvious.
12:06:47 <int-e> It does sound like you have all the pieces.
12:10:20 <shachaf> There as one piece I hadn't figured out in 2,12.
12:11:14 <shachaf> Uh oh, extremely difficult puzzles.
12:11:29 <int-e> Well at least you didn't do what I did...
12:11:40 <int-e> ...pick up the star, rejoice, and reset the level
12:12:04 <int-e> (recall https://int-e.eu/~bf3/tmp/kitty.png)
12:12:19 <int-e> (this happens if you trust a map)
12:13:25 <shachaf> I had the enter-with-two-cats idea a while before, but I was silly enough that I didn't see how that would even help.
12:14:03 <int-e> I just saw that each of the neighbouring levels has a wide passage connecting them
12:14:28 <shachaf> Yep, that was my clue too.
12:14:39 <shachaf> This "extremely difficult" area sure seems tricky.
12:14:42 <int-e> So I just tried to make use of them to see what happens.
12:15:49 <int-e> (in the screenshot you can see that I was totally oblvious to the hidden rooms at that point)
12:16:32 <shachaf> I don't see anything that'd let you get past two spikes in 3,14, hmm.
12:18:02 <int-e> I don't really recall those levels. Which I guess means that yes, they were hard, but they had no proper aha moments.
12:19:51 <shachaf> I'm more curious about this mechanic I'm missing.
12:20:28 <int-e> I think you didn't miss it after all.
12:21:02 <int-e> (I meant that you can take multiple cats between levels.)
12:21:34 <shachaf> Then I'm curious about the door.
12:21:46 <int-e> I certainly missed that possibility.
12:22:05 <int-e> the door is in 7,8
12:23:03 <int-e> It's the one that needs 15 stars.
12:24:54 <shachaf> Oh, then I've seen it, I just don't have enough stars.
12:25:47 <shachaf> I kind of assumed the mechanic you meant would have to do with the room full of frozen cats.
12:25:52 <int-e> yeah, "missing" has too many meanings
12:32:28 -!- kspalaiologos has joined.
12:43:13 <b_jonas> "<<kmc> it does not parse as standard HTML5, I don't think" => yes, the difference is that in the XML version, you must write <img src="foo" /> whereas in HTML you should write <img src="foo"> without any slash or closing tag, but in practice that doesn't matter, you can just write the XML-like <img src="foo" />, the HTML standard considers it an error but also HTML reads it correctly so it will work
12:43:19 <b_jonas> everywhere, in any HTML or XHTML reader.
12:43:25 <b_jonas> is there a more serious problem than that?
12:49:28 <b_jonas> "<shachaf> Well, according to this book, Boyer-Moore is slower and more complicated than its Horspool simplification." => which book?
12:55:01 <b_jonas> in other news, I can confirm that the shapez.io game is not only enjoyable in an addictive way, but it's also esoteric in the same way as OpenTTD is: the game gives you logic control primitives, and those are more than enoguh to win the game, but there are certain *interesting* things you want to do that are quite hard with the logic tools that are given, and you can find solutions for them that abuse
12:55:07 <b_jonas> those control primitives in weird combinations
12:55:21 <b_jonas> I can give more details if you want, but eventually they become spoilers
13:03:53 <fizzie> <img src="foo" /> is explicitly *not* an error in HTML5.
13:03:56 <fizzie> https://html.spec.whatwg.org/multipage/syntax.html#start-tags "Then, if the element is one of the void elements, or if the element is a foreign element, then there may be a single U+002F SOLIDUS character (/). This character has no effect on void elements, but on foreign elements it marks the start tag as self-closing."
13:04:02 <fizzie> (`img` is a void element.)
13:07:33 <fizzie> An XML-style self-closing start tag would be invalid for a normal element, though, so <p /> and suchlike would be errors.
13:15:55 <b_jonas> fizzie: ok, maybe it's only an error in HTML4
13:16:32 <b_jonas> fizzie: does that apply to other similar tags that can be empty, like input, link, meta, and some forms of script and style?
13:17:05 <fizzie> The void elements are: area, base, br, col, embed, hr, img, input, link, meta, param, source, track, wbr.
13:17:20 <b_jonas> sure, <p /> is always an error. you have to surround the paragraph with <p>..</p> in XML but that works fine in HTML, HTML just mostly ignores the </p> tags.
13:17:34 <fizzie> It does not apply to what HTML5 calls "raw text elements" (script, style).
13:18:01 <b_jonas> fizzie: hmm, so how do you write a script or style element when their content is empty because they take the script or style from an url specified as an attribute?
13:18:20 <fizzie> I think you still write <script src="..."></script>, even though it looks ugly.
13:18:26 <b_jonas> oh yeah, for style that doesn't exist
13:18:40 <b_jonas> it's <link rel="stylesheet" href="foo" type="text/css" />
13:19:05 <b_jonas> and script is weird for historical compatibility? ok.
13:21:12 -!- delta23 has quit (Ping timeout: 272 seconds).
13:35:22 -!- arseniiv has quit (Ping timeout: 246 seconds).
13:42:56 <esowiki> [[Special:Log/newusers]] create * EZ132 * New user account
13:49:56 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=79994&oldid=79956 * EZ132 * (+179)
13:56:05 <esowiki> [[User:EZ132]] N https://esolangs.org/w/index.php?oldid=79995 * EZ132 * (+17) Created page with "Hello! I'm EZ132."
14:06:49 -!- Arcorann has quit (Ping timeout: 264 seconds).
14:35:46 -!- TheLie has joined.
14:45:55 -!- TheLie has quit (Ping timeout: 240 seconds).
14:59:20 -!- Sgeo has joined.
15:11:46 -!- ubq323 has quit (Quit: WeeChat 2.3).
15:14:05 <esowiki> [[User:EZ132]] https://esolangs.org/w/index.php?diff=79996&oldid=79995 * EZ132 * (+157)
15:16:59 -!- ubq323 has joined.
15:23:58 <esowiki> [[HQ9+~]] N https://esolangs.org/w/index.php?oldid=79997 * EZ132 * (+990) Created page with "'''HQ9+~''' is an extension of [[HQ9+-]] by [[User:EZ132]]. It is [[Turing-complete]] All valid HQ9+- programs are valid in HQ9+~, and will produce the same output. There are..."
15:25:53 <esowiki> [[Joke language list]] https://esolangs.org/w/index.php?diff=79998&oldid=79863 * EZ132 * (+12) /* Example-based languages */
15:26:09 <esowiki> [[HQ9+~]] https://esolangs.org/w/index.php?diff=79999&oldid=79997 * EZ132 * (+1)
15:27:41 -!- mmmattyx has joined.
15:28:42 <esowiki> [[User:EZ132]] https://esolangs.org/w/index.php?diff=80000&oldid=79996 * EZ132 * (+77)
15:28:50 <esowiki> [[User:EZ132]] https://esolangs.org/w/index.php?diff=80001&oldid=80000 * EZ132 * (+1)
15:35:00 -!- sprock has joined.
15:45:55 <esowiki> [[HQ9+~]] https://esolangs.org/w/index.php?diff=80002&oldid=79999 * EZ132 * (+63)
15:47:56 <esowiki> [[HQ9+~]] https://esolangs.org/w/index.php?diff=80003&oldid=80002 * EZ132 * (+32)
15:48:05 -!- privateger has joined.
15:51:25 <esowiki> [[HQ9+]] https://esolangs.org/w/index.php?diff=80004&oldid=77912 * EZ132 * (+61) /* See also */
16:01:25 -!- MDude has joined.
16:25:52 -!- ubq323 has quit (Quit: WeeChat 2.3).
16:26:10 -!- ubq323 has joined.
16:26:17 -!- ubq323 has quit (Client Quit).
16:33:35 <esowiki> [[Parse this sic]] M https://esolangs.org/w/index.php?diff=80005&oldid=79993 * Digital Hunter * (+178) /* Three-param */
16:40:21 <esowiki> [[Parse this sic]] M https://esolangs.org/w/index.php?diff=80006&oldid=80005 * Digital Hunter * (+418) /* More on words */
16:41:11 <esowiki> [[Parse this sic]] M https://esolangs.org/w/index.php?diff=80007&oldid=80006 * Digital Hunter * (+0) /* Language overview */
16:41:27 -!- arseniiv has joined.
16:48:03 -!- Lord_of_Life_ has joined.
16:50:16 -!- Lord_of_Life has quit (Ping timeout: 240 seconds).
16:50:56 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
17:09:11 <esowiki> [[Plutonium]] https://esolangs.org/w/index.php?diff=80008&oldid=79949 * Shahryar * (+579) Added more info
17:11:50 <esowiki> [[Plutonium]] https://esolangs.org/w/index.php?diff=80009&oldid=80008 * Shahryar * (+6)
17:26:28 -!- ubq323 has joined.
18:21:42 -!- ubq323 has quit (Ping timeout: 256 seconds).
18:45:17 <esowiki> [[Surtic]] https://esolangs.org/w/index.php?diff=80010&oldid=79790 * Digital Hunter * (-88) /* C */ This is not a language feature.
19:00:46 -!- kspalaiologos has quit (Quit: Leaving).
19:07:25 -!- mmmattyx has quit (Quit: Connection closed for inactivity).
19:09:14 -!- ubq323 has joined.
19:24:21 -!- privateger has quit (Read error: Connection reset by peer).
19:26:16 -!- privateger has joined.
19:32:39 <esowiki> [[HQ99+LUFTBALLONS]] N https://esolangs.org/w/index.php?oldid=80011 * Tetrapyronia * (+1501)
19:33:11 <esowiki> [[User:Tetrapyronia]] M https://esolangs.org/w/index.php?diff=80012&oldid=79907 * Tetrapyronia * (+46)
19:34:22 <esowiki> [[Truth-machine]] M https://esolangs.org/w/index.php?diff=80013&oldid=79906 * Tetrapyronia * (+320) added HQ99+LUFTBALLONS
19:34:53 <esowiki> [[HQ99+LUFTBALLONS]] M https://esolangs.org/w/index.php?diff=80014&oldid=80011 * Tetrapyronia * (+5)
19:35:48 -!- arseniiv has quit (Read error: Connection reset by peer).
19:36:46 -!- arseniiv has joined.
19:41:22 <shachaf> b_jonas: https://www.cambridge.org/core/books/flexible-pattern-matching-in-strings/D610D1F9C4744A864D73904B24EF602B
19:55:49 -!- privateger has quit (Quit: Leaving.).
20:26:06 -!- mmmattyx has joined.
20:27:59 <int-e> but it spends so much more space on regular expressions than flexible matching ;)
20:35:01 <shachaf> I've yet to read the regular expression part.
20:36:22 <shachaf> Though I like this trick for simulating an NFA for searching for a short string: https://slbkbs.org/tmp/search/shift-or.c
20:36:29 <shachaf> Maybe I already talked about that.
20:39:39 <fizzie> Just "maybe", eh? I think it's at least the third time now.
20:52:57 <shachaf> I remember I talked about string matching but not the details.
20:53:06 <shachaf> I didn't see the particular link in the logs.
20:53:33 <int-e> shachaf: you talked about it... I wanted to point out that this is a rather special kind of NFA
20:53:49 <shachaf> Oh, I remember this now, you're right.
20:53:55 <shachaf> It's indeed a special kind of NFA.
20:54:10 <shachaf> I don't think you can support .* with this trick, for instance.
20:54:28 <shachaf> Since all the transitions are forward (except for the initial one).
20:54:42 <int-e> the shift is for the forward transition, isn't it?
20:57:24 <shachaf> Hmm, maybe you could get it with extra tricks...
20:58:10 <shachaf> Also, someone pointed out that since shift distributes over or, you can do two or more transitions at once pretty easily
20:58:35 <shachaf> state = (state >> 2) | (table[text[i]] >> 1) | table[text[i+1]];
21:12:12 <esowiki> [[Language list]] M https://esolangs.org/w/index.php?diff=80015&oldid=79966 * Quintopia * (+18) /* S */
21:13:01 <esowiki> [[Talk:TP]] N https://esolangs.org/w/index.php?oldid=80016 * Expliked * (+235) Created page with "I actually don't think this counts as a "joke" language. I mean it ''is'' turing-complete and it looks fairly usable to me. I'm going to try to implement this because the orig..."
21:48:57 -!- kspalaiologos has joined.
22:02:08 <kspalaiologos> i think it broke: `Topic: Welcome to ContainersNet!`
22:09:42 <arseniiv> I am not entirely confident about the 0⁰ issue
22:10:14 <arseniiv> I solved all insecurities regarding all limit arguments
22:12:54 -!- kspalaiologos has quit (Quit: Leaving).
22:31:47 <shachaf> OK, is there a nice way to implement: For each bit k in {a,b,c,...}, if k is set, also set bit k-1.
22:32:43 <shachaf> I guess you can just do an obvious thing there.
22:33:03 <shachaf> Like x | ((x & mask) << 1)
22:33:28 <shachaf> So that's not the question I really wanted.
22:35:27 <shachaf> But maybe the way you really want to handle glob patterns is to search for each substring independently.
22:35:46 -!- mmmattyx has quit (Quit: Connection closed for inactivity).
22:46:22 -!- jess has quit (Quit: Leaving).
22:47:23 <fizzie> I just connected a smartphone to internet over wired Ethernet, and it feels weird.
22:48:19 <fizzie> (It's not a particularly great phone, especially at this point, and for whatever reason it's now refusing to connect over wifi, even after a reboot, with no sensible error messages.)
22:58:21 -!- ocharles has quit (Read error: Connection reset by peer).
22:58:31 -!- ocharles has joined.
23:01:22 -!- ProofTechnique has quit (Ping timeout: 260 seconds).
23:01:47 -!- ^[ has quit (Read error: Connection reset by peer).
23:01:56 -!- ProofTechnique has joined.
23:02:48 -!- ^[ has joined.
23:03:47 -!- wmww has quit (Ping timeout: 260 seconds).
23:20:52 -!- Cale has quit (*.net *.split).
23:20:52 -!- olsner has quit (*.net *.split).
23:20:52 -!- ornxka has quit (*.net *.split).
23:20:52 -!- zeroed has quit (*.net *.split).
23:20:53 -!- mla has quit (*.net *.split).
23:20:53 -!- lifthrasiir has quit (*.net *.split).
23:20:53 -!- relrod has quit (*.net *.split).
23:21:02 -!- relrod- has joined.
23:21:25 -!- Cale has joined.
23:21:27 -!- lifthrasiir has joined.
23:21:30 -!- ornxka has joined.
23:21:48 -!- admins has joined.
23:24:02 -!- wmww has joined.
23:24:13 -!- zzo38 has quit (Ping timeout: 264 seconds).
23:25:48 -!- zzo38 has joined.
23:27:18 -!- olsner has joined.