00:01:28 [[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 [[Pi Calculus]] M https://esolangs.org/w/index.php?diff=79992&oldid=79985 * PythonshellDebugwindow * (+0) /* External resources */ m 00:45:26 [[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). 00:52:34 the 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 @metar EFHK 02:36:08 EFHK 150220Z 35010KT CAVOK M22/M25 Q1020 NOSIG 02:36:25 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:38 @metar lowi 06:47:39 LOWI 150620Z 07006KT 2500 -SN BR FEW005 SCT010 BKN018 M05/M06 Q1017 R88/////// TEMPO BKN010 06:48:00 just cold, not extraordinarily so 06:48:21 so, no contest 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 fungot: are you afraid of MTAs? 07:58:16 int-e: to. why, this is for you guys are a lot 07:58:25 ^style 07:58:25 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 ^style irc 07:58:34 Selected style: irc (IRC logs of freenode/#esoteric, freenode/#scheme and ircnet/#douglasadams) 07:58:37 fungot: are you afraid of MTAs? 07:58:37 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 int-e: I forgot I hadn't finished n-stepping. 11:43:39 Looks like I have 11 stars. 11:44:56 I'm really not sure about some of these, hmm. 11:45:03 I already forgot how many there were. 11:45:35 I think you might've said 15? 11:45:46 There are three that I see on the map. 11:46:34 -!- ubq323 has quit (Quit: WeeChat 2.3). 11:47:39 It was in a comment... ah: "Amazing game! Finally got all 15 stars" 11:47:50 So there are 16 stars on the map. :-P 11:48:39 I also see several places I don't know how to get to. 11:49:18 You have a door to open and probably a mechanic to discover. 11:50:02 Let's see. The stars I see are in 4,12, 5,10, and 4,11. 11:50:16 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 I had some ideas for 4,12 but I don't think any of them worked. 11:51:54 And I assume you have to get to 5,10 from the south. 11:54:47 Oh, wait. 11:54:55 There's an opening to the east of 8,9, isn't there. 11:54:57 -!- arseniiv has joined. 11:55:02 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 Oh I can infer that 12:02:22 Hmm I don't remember the 4,11 star. 12:03:09 Which one? 12:03:12 I do remember the 4,12 one though, and I have a good idea what you're missing about it :P 12:03:16 I got the one on the right but not the one on the left. 12:03:51 Oh okay that makes sense. 12:03:59 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 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:43 Maybe. 12:04:58 If that's the case it'd be a 2,12 puzzle. 12:06:11 Or maybe you enter from the south, of course, and get the star that way. 12:06:19 Or maybe I'm missing something really obvious. 12:06:47 It does sound like you have all the pieces. 12:10:11 Oh, there we go. 12:10:20 There as one piece I hadn't figured out in 2,12. 12:11:14 Uh oh, extremely difficult puzzles. 12:11:29 Well at least you didn't do what I did... 12:11:40 ...pick up the star, rejoice, and reset the level 12:12:04 (recall https://int-e.eu/~bf3/tmp/kitty.png) 12:12:19 (this happens if you trust a map) 12:13:25 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:13:30 Even though it's obvious. 12:14:03 I just saw that each of the neighbouring levels has a wide passage connecting them 12:14:28 Yep, that was my clue too. 12:14:39 This "extremely difficult" area sure seems tricky. 12:14:42 So I just tried to make use of them to see what happens. 12:15:49 (in the screenshot you can see that I was totally oblvious to the hidden rooms at that point) 12:16:32 I don't see anything that'd let you get past two spikes in 3,14, hmm. 12:18:02 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 I'm more curious about this mechanic I'm missing. 12:20:28 I think you didn't miss it after all. 12:21:02 (I meant that you can take multiple cats between levels.) 12:21:34 Then I'm curious about the door. 12:21:46 I certainly missed that possibility. 12:22:05 the door is in 7,8 12:23:03 It's the one that needs 15 stars. 12:24:54 Oh, then I've seen it, I just don't have enough stars. 12:25:47 I kind of assumed the mechanic you meant would have to do with the room full of frozen cats. 12:25:52 yeah, "missing" has too many meanings 12:32:28 -!- kspalaiologos has joined. 12:43:13 "< it does not parse as standard HTML5, I don't think" => yes, the difference is that in the XML version, you must write whereas in HTML you should write without any slash or closing tag, but in practice that doesn't matter, you can just write the XML-like , the HTML standard considers it an error but also HTML reads it correctly so it will work 12:43:19 everywhere, in any HTML or XHTML reader. 12:43:25 is there a more serious problem than that? 12:49:28 " Well, according to this book, Boyer-Moore is slower and more complicated than its Horspool simplification." => which book? 12:55:01 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 those control primitives in weird combinations 12:55:21 I can give more details if you want, but eventually they become spoilers 13:03:53 is explicitly *not* an error in HTML5. 13:03:56 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 (`img` is a void element.) 13:07:33 An XML-style self-closing start tag would be invalid for a normal element, though, so

and suchlike would be errors. 13:15:55 fizzie: ok, maybe it's only an error in HTML4 13:16:32 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 The void elements are: area, base, br, col, embed, hr, img, input, link, meta, param, source, track, wbr. 13:17:20 sure,

is always an error. you have to surround the paragraph with

..

in XML but that works fine in HTML, HTML just mostly ignores the

tags. 13:17:34 It does not apply to what HTML5 calls "raw text elements" (script, style). 13:18:01 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 I think you still write , even though it looks ugly. 13:18:26 oh yeah, for style that doesn't exist 13:18:40 it's 13:19:05 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 [[Special:Log/newusers]] create * EZ132 * New user account 13:49:56 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=79994&oldid=79956 * EZ132 * (+179) 13:56:05 [[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 [[User:EZ132]] https://esolangs.org/w/index.php?diff=79996&oldid=79995 * EZ132 * (+157) 15:16:59 -!- ubq323 has joined. 15:23:58 [[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 [[Joke language list]] https://esolangs.org/w/index.php?diff=79998&oldid=79863 * EZ132 * (+12) /* Example-based languages */ 15:26:09 [[HQ9+~]] https://esolangs.org/w/index.php?diff=79999&oldid=79997 * EZ132 * (+1) 15:27:41 -!- mmmattyx has joined. 15:28:42 [[User:EZ132]] https://esolangs.org/w/index.php?diff=80000&oldid=79996 * EZ132 * (+77) 15:28:50 [[User:EZ132]] https://esolangs.org/w/index.php?diff=80001&oldid=80000 * EZ132 * (+1) 15:35:00 -!- sprock has joined. 15:45:55 [[HQ9+~]] https://esolangs.org/w/index.php?diff=80002&oldid=79999 * EZ132 * (+63) 15:47:56 [[HQ9+~]] https://esolangs.org/w/index.php?diff=80003&oldid=80002 * EZ132 * (+32) 15:48:05 -!- privateger has joined. 15:51:25 [[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 [[Parse this sic]] M https://esolangs.org/w/index.php?diff=80005&oldid=79993 * Digital Hunter * (+178) /* Three-param */ 16:40:21 [[Parse this sic]] M https://esolangs.org/w/index.php?diff=80006&oldid=80005 * Digital Hunter * (+418) /* More on words */ 16:41:11 [[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 [[Plutonium]] https://esolangs.org/w/index.php?diff=80008&oldid=79949 * Shahryar * (+579) Added more info 17:11:50 [[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 [[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 [[HQ99+LUFTBALLONS]] N https://esolangs.org/w/index.php?oldid=80011 * Tetrapyronia * (+1501) 19:33:11 [[User:Tetrapyronia]] M https://esolangs.org/w/index.php?diff=80012&oldid=79907 * Tetrapyronia * (+46) 19:34:22 [[Truth-machine]] M https://esolangs.org/w/index.php?diff=80013&oldid=79906 * Tetrapyronia * (+320) added HQ99+LUFTBALLONS 19:34:53 [[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 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:15 221 pages 20:27:59 but it spends so much more space on regular expressions than flexible matching ;) 20:34:40 Have you read it? 20:35:01 I've yet to read the regular expression part. 20:36:22 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 Maybe I already talked about that. 20:39:39 Just "maybe", eh? I think it's at least the third time now. 20:39:49 (It's p. neat tho.) 20:52:57 I remember I talked about string matching but not the details. 20:53:06 I didn't see the particular link in the logs. 20:53:33 shachaf: you talked about it... I wanted to point out that this is a rather special kind of NFA 20:53:44 but didn't :P 20:53:49 Oh, I remember this now, you're right. 20:53:55 It's indeed a special kind of NFA. 20:54:10 I don't think you can support .* with this trick, for instance. 20:54:28 Since all the transitions are forward (except for the initial one). 20:54:42 the shift is for the forward transition, isn't it? 20:54:45 shachaf: thanks 20:54:47 Right. 20:57:24 Hmm, maybe you could get it with extra tricks... 20:58:10 Also, someone pointed out that since shift distributes over or, you can do two or more transitions at once pretty easily 20:58:35 state = (state >> 2) | (table[text[i]] >> 1) | table[text[i+1]]; 21:00:09 that's pretty ugly 21:12:12 [[Language list]] M https://esolangs.org/w/index.php?diff=80015&oldid=79966 * Quintopia * (+18) /* S */ 21:13:01 [[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. 21:49:15 i moved gitlogger to a different hosting lately 21:49:22 i hope it doesn't break 22:02:08 i think it broke: `Topic: Welcome to ContainersNet!` 22:02:14 but it's probably freenode's fault? 22:09:42 I am not entirely confident about the 0⁰ issue 22:10:14 I solved all insecurities regarding all limit arguments 22:12:54 -!- kspalaiologos has quit (Quit: Leaving). 22:31:47 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 I guess you can just do an obvious thing there. 22:33:03 Like x | ((x & mask) << 1) 22:33:28 So that's not the question I really wanted. 22:34:12 Hmm. 22:35:27 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 I just connected a smartphone to internet over wired Ethernet, and it feels weird. 22:48:19 (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.