00:12:53 <esowiki> [[User:Salpynx/bf8]] N https://esolangs.org/w/index.php?oldid=75974 * Salpynx * (+398) trying out math notation
00:19:36 <esowiki> [[User:Salpynx/bf8]] M https://esolangs.org/w/index.php?diff=75975&oldid=75974 * Salpynx * (+103) Math markup resource links
00:21:15 -!- tromp has quit (Read error: Connection reset by peer).
00:21:51 -!- tromp has joined.
00:23:13 <esowiki> [[User:Salpynx/bf8]] M https://esolangs.org/w/index.php?diff=75976&oldid=75975 * Salpynx * (+0) translation typo
00:32:55 -!- aaaaaa has joined.
00:41:59 -!- t20kdc has quit (Remote host closed the connection).
00:53:40 -!- b_jonas has quit (Quit: leaving).
01:27:08 -!- aaaaaa has quit (Quit: leaving).
01:58:43 -!- xelxebar has quit (Ping timeout: 240 seconds).
02:00:25 -!- adu has joined.
02:08:00 -!- xelxebar has joined.
02:18:30 -!- adu has quit (Quit: adu).
02:26:01 -!- adu has joined.
03:05:39 -!- adu has quit (Quit: adu).
03:17:45 -!- adu has joined.
03:40:40 -!- adu has quit (Quit: adu).
04:11:25 <zzo38> Do you know how to do math for sqrt(-1) dimensional topology? (I saw this mentioned in a computer game)
04:22:41 -!- sprocklem has quit (Quit: brb).
04:24:07 <zzo38> I don't know how that is working (or how the number of dimensions is anything other than a natural number or possibly infinite in some cases)
04:24:56 -!- sprocklem has joined.
04:30:06 -!- sprocklem has quit (Quit: Lost terminal).
04:31:09 -!- sprocklem has joined.
04:32:55 -!- sprocklem has quit (Client Quit).
04:33:23 -!- sprocklem has joined.
04:36:39 -!- d3pp has joined.
05:18:44 -!- d3pp has quit (Quit: WeeChat 2.8).
05:34:59 <HackEso> 1/2:tur//To tur is not to flas. \ things boily likes//Fire is good. I like fire. Also chicken. And phở. And kimchi. Or poutine. Moreover, cubes. \ yard//yards is short for "yet another retro distance system". \ shavention//Shaventions include: before/now/lastfiles, culprits, hog/{h,d}oag, le//rn, tmp/, mk/mkx, {s,p}led/sedlast, spore/spam/speek/sport/1/4/5, edit. Taneb did not invent them yet. \ welcome.ru//Добро пожало
05:35:04 <HackEso> 2/2:ать в Международный центр по разработке и внедрению языков эзотерического программирования! Для получения дополнительной информации посетите wiki: <https://esolangs.org/>. (Для другого типа эзотеризма попробуйте #esoteric в EFnet или DALnet.)
06:01:47 <shachaf> Hmm, wasn't the splitting code supposed to handle that?
06:05:59 <int-e> https://hack.esolangs.org/repo/file/23c487fea86d/bin/distort ... I see no signs of that.
06:06:23 <int-e> the perfectionism in that code is about accounting the varying lengths of the numbers correctly.
06:07:31 <shachaf> I think I remember now: I suggested adding the UTF-8 thing at the time.
06:14:33 <int-e> tfw you learn a new word in your native tongue...
06:19:19 -!- Sgeo has quit (Read error: Connection reset by peer).
06:19:53 -!- Sgeo has joined.
06:22:21 <int-e> myname: Not really (it was a loanword from French). And it does happen... I just didn't expect it at all while reading a maintstream news outlet.
06:22:32 <int-e> So it took me by surprise.
06:34:26 <myname> that's not that uncommon, though
06:34:56 -!- rain1 has joined.
06:42:53 <esowiki> [[Factor]] https://esolangs.org/w/index.php?diff=75977&oldid=75667 * Bangyen * (+30)
06:51:29 <zzo38> A lot of words in English are French, although also a lot of words in English are English.
07:13:23 -!- Sgeo has quit (Read error: Connection reset by peer).
07:15:27 -!- Sgeo has joined.
07:24:58 <esowiki> [[Snowflake (Orisphera's edition)]] https://esolangs.org/w/index.php?diff=75978&oldid=75943 * Orisphera * (-1877)
07:31:06 -!- Sgeo has quit (Read error: Connection reset by peer).
07:36:40 <esowiki> [[Snowflake (Orisphera's edition)]] https://esolangs.org/w/index.php?diff=75979&oldid=75978 * Orisphera * (+154)
08:21:36 -!- cpressey has joined.
08:59:17 <esowiki> [[Ix]] N https://esolangs.org/w/index.php?oldid=75980 * Orisphera * (+4138) Created page with "{{lowercase}} {{infobox proglang |name=ix |author=[[User:Orisphera|Orisphera]] |year=[[:Category:2020|2020]] |class=[[:Category:Turing complete|Turing complete]] }} :''Note th..."
09:00:42 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=75981&oldid=75799 * Orisphera * (+9)
09:12:20 -!- FreeFull has quit (Quit: Rebooting).
09:13:36 -!- FreeFull has joined.
09:16:20 -!- craigo has quit (Ping timeout: 256 seconds).
09:22:44 -!- craigo has joined.
09:41:24 <esowiki> [[List of ideas]] https://esolangs.org/w/index.php?diff=75982&oldid=75444 * CMinusMinus * (-29) Removed Drawkcab and Bugmaker, because they are already in archive
09:58:16 -!- imode has quit (Ping timeout: 256 seconds).
10:27:43 -!- CMinusMinus has joined.
10:28:17 -!- CMinusMinus has quit (Client Quit).
10:34:58 -!- arseniiv has joined.
10:48:54 -!- Lord_of_Life_ has joined.
10:49:33 -!- t20kdc has joined.
10:51:55 -!- Lord_of_Life has quit (Ping timeout: 272 seconds).
10:52:03 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
11:30:10 -!- wib_jonas has joined.
11:45:33 -!- cpressey has quit (Quit: WeeChat 1.9.1).
12:39:13 -!- craigo has quit (Ping timeout: 264 seconds).
15:02:47 -!- Arcorann has quit (Read error: Connection reset by peer).
15:11:19 -!- kspalaiologos has joined.
15:30:37 <int-e> ^8ball Should 8ball be trusted?
15:30:43 <int-e> ^8ball Are you sure?
15:30:52 <int-e> I don't trust it :)
15:31:54 <fizzie> ^8ball Were you lying when you said it should be trusted?
15:32:02 <fizzie> I don't know, it looks pretty consistent to me.
15:32:12 <int-e> ^8ball Would you ever lie to me?
15:32:41 <int-e> ^8ball Are your replies predictable?
15:33:22 <fizzie> ^8ball Have I been testing these phrases in a query to get the replies I want?
15:33:31 <fizzie> (That's actually true, but getting a bit spooky.)
15:34:13 <int-e> It's just parity, right?
15:34:33 <myname> ^8ball it's just parity, right?
15:34:40 <fungot> ,[[->+<],]>2+2<[->-[>+>2]>[+[-<+>]>+>2]<5]>4+<2[>2-+11[>+8>+4<2-]>+.+12.+14.>+2.<4-]>2[+10[>+7>+4<2-]>+.+33.>+2.<2]
15:34:48 <int-e> > odd . sum . map fromEnum $ "it's just parity, right?"
15:34:53 <wib_jonas> ^8ball Are you giving an incorrect response right now?
15:35:05 <int-e> > odd . sum . map fromEnum $ "Were you lying when you said it should be trusted?"
15:36:38 <int-e> . o O ( >2 is not shorter than >> )
15:37:06 * int-e is not used to RLE brainfuck.
15:37:38 <myname> i am a but confused about the fromEnum part
15:37:54 <int-e> fromEnum == ord here
15:38:08 <int-e> the difference is that fromEnum is always available while ord requires an import
15:38:35 <int-e> so I tend to use the former even though lambdabot has `ord` in scope.
15:42:23 <wib_jonas> int-e: from what I heard, fungot compiles brainfuck to some internal representation that uses RLE, and that's why it dumps it that way
15:42:23 <fungot> wib_jonas: not to mention... how we'll do no filesystem. are you going
15:42:41 <wib_jonas> fungot: yes, but it's probably not worth
15:42:42 <fungot> wib_jonas: there are quite a number of " molecules" ( gliders, stable patterns, etc.) for the wiki
15:43:25 <int-e> wib_jonas: that makes sense
15:43:55 <int-e> but it doesn't make the code easier to read ;)
15:44:16 <wib_jonas> int-e: might also make the code fit into a single IRC line when it otherwise wouldn't fit
15:45:40 <int-e> Though, to be fair, the division by 2 would be hard to digest independently of how the code is written.
15:47:12 -!- xkapastel has joined.
15:47:54 -!- S_Gautam has joined.
15:47:55 <fizzie> Yes, that's the internal reason why it gets printed that way. Though it could definitely omit the count for 2 and print the symbol twice, since it already has custom logic for 1.
15:48:20 <fizzie> The internal representation also uses the same instruction for < and >, and + and -, so the "pretty"-printer needs to fix that as well.
15:48:37 <int-e> but okay, taking the <5 part on faith I see how the division part works :)
15:49:16 <int-e> Which is kind of satisfying because I have not touched Brainfuck in a while.
15:54:28 <int-e> hello good bye arseniiv
15:57:16 <int-e> arseniiv: because "have a nice day" is a parting greeting
15:57:26 <int-e> whether you intended it that way or not
16:00:22 <arseniiv> at least I haven’t yet had much time saying it to people
16:01:55 <arseniiv> I must pick something less associated with goodbyes
16:04:48 <int-e> good morning, good day, good afternoon, good evening, good night?
16:05:04 <int-e> (maybe avoid the last one in formal contexts)
16:05:35 <int-e> triggers my dirty mind
16:06:01 <int-e> it may be just me, I wouldn't know :P
16:09:31 <APic> I would not even associate „Sweet Dreams“ with something dirty
16:13:11 -!- Sgeo has joined.
16:17:59 -!- wib_jonas has quit (Quit: Connection closed).
16:18:38 <Taneb> int-e: I think that is just you
16:19:01 <Taneb> All it insinuates to me is "one or both of us is going to sleep now"
16:20:59 <int-e> connotations are difficult :P
17:40:40 -!- imode has joined.
18:15:15 -!- Sgeo_ has joined.
18:18:10 <zzo38> Now I made a SQLite extension for making PostScript tokens output, so for example PSTOKENS(1,'abc',null) will result { 1 (abc) //null } The SQLite command line has some output modes included (including using ASCII control codes as separators), but you cannot define your own mode in an extension.
18:19:02 -!- Sgeo has quit (Ping timeout: 272 seconds).
18:22:06 <zzo38> Other output modes that might be wanted would be JSON and TeX; in the case of TeX there probably isn't a common way suitable for all documents, although you might be able to write a macro to change category codes to use ASCII control codes as separators and then put them in a alignment block.
18:23:00 <zzo38> However, JSON does not support 64-bit integers (although recent versions of JavaScript do). (PostScript also doesn't, but Ghostscript allows them as an extension)
18:51:39 <arseniiv> <int-e> triggers my dirty mind => lol
18:52:34 <arseniiv> <int-e> good morning, good day, good afternoon, good evening, good night? => they are undoubtedly good but they’re also quite plain as a statistical consequence of being undoubtedly good
18:55:02 <arseniiv> hm “may the multiocular o be with you” may be a suitable for this channel, universality isn’t required. But this one in contrast is to pompous
18:55:41 <arseniiv> “let NP = P” is dubious on many levels
18:56:36 <int-e> > let True = False in ()
18:56:55 -!- xkapastel has quit (Quit: Connection closed for inactivity).
18:57:10 <arseniiv> “gesundheit“, albeit sufficiently ironic, may be considered a blunt reaction to something previous
18:58:10 <int-e> arseniiv: top of the evening to you, good sir
18: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
18:58:33 <arseniiv> BTW I find it suspicious how it became to be that English somehow didn’t have a reaction to sneezing of its own prior to borrowing this or it did how but somehow it became superceded for a very obscure reason which I can’t fathom at all
18:58:37 <fungot> Selected style: ukparl (UK Parliament debates from brexit referendum to late 2018)
18:58:41 <fungot> int-e: what i have said, that the government endeavour to mitigate the issue would have meant. supported by the staffordshire chamber of the house of commons
18:58:47 <fungot> int-e: will the hon. member of this house,
18:59:12 <int-e> I think it's "top" as "the best".
18:59:37 <arseniiv> wouldn’t it be “the top evening” then?
19:00:01 <int-e> watching plebs solve https://www.youtube.com/watch?v=VrqBX-Tck2A is painful.
19:00:17 <arseniiv> the evening is top, the priestess is high
19:02:17 <int-e> (skip to the 1:30 mark for just the puzzle)
19:03:13 <myname> int-e: the interesting part is, there are several android apps that are exactly that
19:03:46 -!- kspalaiologos has quit (Quit: Leaving).
19:04:01 <myname> if you know you need to start at a node with odd degree, those are basically brainless
19:04:27 <int-e> myname: have you seen Lyne?
19:04:44 <myname> pretty sure i did, i just need to recall
19:05:22 <myname> not a huge fan, but an okay one
19:05:34 <arseniiv> int-e: ah, the old eulerian path
19:05:46 <int-e> (Lyne is not based on Eulerian paths, it's closer to Hamiltonian paths, so it's actually mildly interesting.)
19:06:05 <int-e> (I got it in some Humble bundle back when I still cared about those.)
19:06:10 <myname> i have an awful lot of puzzles tested for android
19:06:28 <arseniiv> (my reaction was a late one to the link)
19:06:42 <myname> there is one graph puzzle i really liked that has a limited amount of levels
19:07:47 <int-e> But yeah, Eulerian paths are boring if you know the theory... or if you just realize that you can extend the path at both ends and add loops in the middle.
19:08:14 <arseniiv> I solved many Flow levels, some interesting, some making me feeling serendipity and some pretty boring. When the board becomes not just a rectangle, it becomes more worthy
19:08:35 <int-e> But if you start at a random point and observe that you get stuck in the end and then start over... well it's taking a while.
19:08:41 <myname> also, i can really recommend "snakebirds" as a puzzle game
19:09:00 <int-e> snakebirds is pretty cool
19:09:38 <int-e> I actually managed to finish that one.
19:10:27 <int-e> And I don't have it installed atm.
19:10:36 <myname> i'm nowhere near that, but i tend to pause puzzle games an awful long time if i get stuck
19:10:45 <int-e> rain1: I finished SSR btw. (I mentioned it but you may not have seen it.)
19:10:53 <myname> even if i could progress at other levels
19:10:58 <rain1> i did, thats very impressive
19:11:05 <rain1> i want to work at SSR more but i hdont have too much time atm
19:11:23 <rain1> stephen sausage roll
19:11:25 <int-e> Yeah I think I sunk 20h into it this week.
19:11:30 <arseniiv> <myname> also, i can really recommend "snakebirds" as a puzzle game => wow, interesting concept
19:11:34 <rain1> if you like snakebird you will probably like this, it's much harder though
19:11:47 <myname> i'd love if ssr had an android version
19:11:57 <int-e> snakebird has its twists as well
19:12:11 <arseniiv> <myname> i'm nowhere near that, but i tend to pause puzzle games an awful long time if i get stuck => like my situation with Baba Is You
19:12:44 <myname> i can't wrap my head around the second bonus water level
19:13:07 <myname> it's so different than the first one even though just a few things changed in the level structure itself
19:13:08 <int-e> of those three, baba is you probably has the most degrees of freedom to cope with
19:13:11 <arseniiv> let me see if I completed water
19:14:07 <rain1> is there a good custom level pack for baba is you?
19:14:56 <myname> also, i really enjoyed armadillo run a few years back. it's a physics game, but there are quite puzzling level sets
19:15:32 <int-e> I feel that SSR and Snakebird are about on the same level of difficulty for me; SSR is complicated because it's 3D and the sausages interact in funny ways with the environment. Snakebird has multiple snakes to control that can interact in non-obvious ways. Baba is harder, more comparable to Recursed in difficulty (though very different)
19:15:53 <zzo38> I like Hero Hearts, although I have not finished implementing the Linux version, but once it is then you can hopefully make up a puzzle with Free Hero Mesh.
19:18:02 <myname> minesweeper genius is also interesting
19:19:24 <myname> also, i like 2 spies for ios so much that i started reimplementing it to play it on android
19:21:36 <myname> i am not sure how legal it would be to release it if i ever finish it, though
19:22:27 <zzo38> There are also some good puzzle games for NES/Famicom, such as Gruniozerca 2 and Gruniozerca 3.
19:22:53 <zzo38> Have you played those games?
19:27:13 <zzo38> (There should be a dot above the "z" in the proper title, actually)
19:31:25 <arseniiv> myname: did you mean the “Sunken temple” level?
19:31:46 <arseniiv> I have it solved but I think I don’t remember how, now
19:31:52 <myname> if that's the leftmost one with the two dots, yeah
19:32:27 <myname> i really love how it is completely different from the first one, but it drives me insane
19:33:17 <arseniiv> the lake is the only totally solved place I have, except those first levels which are dumped on the map and don’t have their own place
19:36:38 <arseniiv> hm, rock is you and baba is you doesn’t work agains the crab
19:37:05 <arseniiv> ah I think I remember now, let me check…
19:37:31 -!- S_Gautam has quit (Quit: Connection closed for inactivity).
19:41:49 -!- adu has joined.
19:47:07 <int-e> myname: note how the second one has one crab less than the first one... that is relevant!
19:47:50 <myname> i thought about going through the crab before it's lose, but that doesn't lead anywhere
19:48:01 <myname> i will have a look later
19:48:19 <myname> do lose-objects get destroyed on contact?
19:49:56 <zzo38> I wonder if there will ever be a Gruniozerca 4 game?
19:49:58 <int-e> open, shut, sink all get destroyed
19:50:22 <myname> i thought about pushing the rock through and then make it myself, but that would need me to get in contact with the crab
19:51:28 <arseniiv> I now am trying to do the same but without success yet
19:54:15 <int-e> . o O ( I was going to say: try harder )
19:55:03 <myname> ah, i could try pushing the rock through with a rule
19:55:46 <arseniiv> initially I thought of using the wrong one and hesitated but it all comes well
19:56:59 <myname> i would assume "is" is unneccessary
20:02:28 <arseniiv> it’s the only one which can be used, yeah
20:06:54 -!- sprocklem has quit (Ping timeout: 260 seconds).
20:07:26 -!- craigo has joined.
20:07:51 -!- sprocklem has joined.
20:08:16 <int-e> (the "push" can be used as well)
20:19:33 <int-e> oh yay, forgot the feeling when the bonus level solution is the one you already used for the basic level
20:21:39 -!- xelxebar has quit (Remote host closed the connection).
20:22:02 -!- xelxebar has joined.
20:25:04 -!- Sgeo_ has quit (Read error: Connection reset by peer).
20:26:42 <arseniiv> <int-e> (the "push" can be used as well) => hmm interesting but it should be placed so rock remains push too? or not
20:26:56 -!- Sgeo has joined.
20:51:23 <arseniiv> snakebirds are pretty and a good level of hard almost from the start, yay. Especially manybirdous levels. When the weather will be not as hot, I’ll evaluate the sound design too
21:02:42 <esowiki> [[Special:Log/newusers]] create * Eric-D-Culver * New user account
21:03:34 -!- Lord_of_Life_ has joined.
21:04:11 -!- Lord_of_Life has quit (Ping timeout: 240 seconds).
21:04:54 <esowiki> [[LRIP]] N https://esolangs.org/w/index.php?oldid=75983 * Lebster * (+1758) Created page with "'''LRIP''' is a stack-based esolang created by [[user:Lebster]] = Commands = {| class="wikitable" |- ! Command !! Explanation |- | L || Bitshift top of stack to the left |- |..."
21:05:31 <esowiki> [[User:Lebster]] https://esolangs.org/w/index.php?diff=75984&oldid=69592 * Lebster * (+101) /* Created Languages */
21:06:05 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=75985&oldid=75973 * Eric-D-Culver * (+231) /* Introductions */
21:06:25 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
21:07:42 <esowiki> [[LRIP]] https://esolangs.org/w/index.php?diff=75986&oldid=75983 * Lebster * (+479) /* Python Interpreter */
21:11:22 <esowiki> [[User:Lebster]] https://esolangs.org/w/index.php?diff=75987&oldid=75984 * Lebster * (+2351) /* Created Languages */
21:11:49 <esowiki> [[LRIP]] https://esolangs.org/w/index.php?diff=75988&oldid=75986 * Lebster * (+115)
21:25:45 <esowiki> [[Talk:XO Mchne]] N https://esolangs.org/w/index.php?oldid=75989 * Eric-D-Culver * (+860) Creating talk page. Proof of Incompleteness of the language
22:35:24 -!- Antebrationist has joined.
22:38:29 <Antebrationist> int-e, you were right. It's the Minsky Machine to prove Turing Completeness of my esolang.
22:38:51 <Antebrationist> I've finished the Minsky Machine, just a few minutes ago.
22:40:20 <Antebrationist> The original Minsky machine was 23*49, 1127 bytes, whereas this Minsky machine is 15*47, 705 bytes.
22:46:27 <esowiki> [[Special:Log/newusers]] create * MoleculeReviver * New user account
22:47:00 -!- Cale has quit (Read error: Connection reset by peer).
22:47:58 <Antebrationist> zzo38, here's the Minsky Machine: http://sprunge.us/SoPEn1
22:48:50 -!- Lord_of_Life_ has joined.
22:48:52 -!- Cale has joined.
22:49:59 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=75990&oldid=75985 * MoleculeReviver * (+181)
22:51:12 -!- Lord_of_Life has quit (Ping timeout: 256 seconds).
22:51:41 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
22:58:46 <Antebrationist> Basically, it uses two programs, one which can have values from 0-3 and one which can have values from 0-length of the program.
23:00:23 <Antebrationist> the most significant digit is used for the decrement or increment, and the least significant digit is used for deciding which register to use.
23:01:52 <Antebrationist> The Machine uses 4 data pointers and 4 instruction pointers, but data pointers 1,2 and 3 are stopped after 9,10 and 11 time steps respectively.
23:04:08 -!- adu has quit (Quit: adu).
23:08:50 -!- Arcorann has joined.
23:09:53 -!- Arcorann has quit (Remote host closed the connection).
23:10:15 -!- Arcorann has joined.
23:10:45 -!- adu has joined.
23:23:37 -!- Arcorann has quit (Ping timeout: 264 seconds).
23:23:38 -!- Arcorann_ has joined.
23:57:13 -!- arseniiv has quit (Ping timeout: 264 seconds).