←2019-01-13 2019-01-14 2019-01-15→ ↑2019 ↑all
00:00:02 -!- danieljabailey has quit (Quit: ZNC 1.6.6+deb1ubuntu0.1 - http://znc.in).
00:12:04 <Phantom_Hoover> fizzie, i hear this year's tas block was shite
00:12:44 <Phantom_Hoover> (i only watched the celestia one from last summer which was great)
00:19:10 -!- Phantom_Hoover has quit (Remote host closed the connection).
00:29:20 -!- xkapastel has quit (Quit: Connection closed for inactivity).
02:06:49 -!- uplime has joined.
02:48:48 -!- arseniiv has quit (Ping timeout: 245 seconds).
02:54:00 -!- arseniiv has joined.
03:13:54 -!- uplime has quit (Quit: WeeChat 2.2).
03:20:26 <esowiki> [[BERT]] N https://esolangs.org/w/index.php?oldid=59138 * Areallycoolusername * (+855) Created page with "[[BERT]] stands for Boring Equation Rational(not really) Trinomial language. Made by [[User: Areallycoolusername|Areallycoolusername]], its based off of [[Polynomial]]. == S..."
03:32:56 -!- sprocklem has quit (Quit: brb).
03:33:17 -!- sprocklem has joined.
03:41:21 <esowiki> [[$ $]] https://esolangs.org/w/index.php?diff=59139&oldid=59132 * Cortex * (+273)
03:42:43 <esowiki> [[User talk:Salpynx]] https://esolangs.org/w/index.php?diff=59140&oldid=59081 * Salpynx * (+1138) /* Inquiry */ answer = *nix (Bash) shell
03:59:04 -!- Lord_of_Life has quit (Ping timeout: 250 seconds).
04:00:00 -!- Taneb has quit (Quit: I seem to have stopped.).
04:00:52 -!- danieljabailey has joined.
04:01:27 -!- Lord_of_Life has joined.
04:02:25 -!- Taneb has joined.
04:03:58 -!- oerjan has joined.
04:18:04 <esowiki> [[User:Cortex/sus++]] N https://esolangs.org/w/index.php?oldid=59141 * Cortex * (+2220) Created page with "'''Sus++''' is an esolang made by [[User:Cortex|]] after noticing some ways to improve [[$_$]]. It is a 1.5-dimensional language. For example, this code: <pre> @@## @@ </pre>..."
04:28:04 -!- FreeFull has quit.
05:18:51 -!- uplime has joined.
05:33:58 -!- APic has quit (Ping timeout: 250 seconds).
05:39:48 -!- APic has joined.
05:56:29 -!- heroux has joined.
06:07:00 <imode> idea: a language who's only data type is a queue.
06:20:03 <zzo38> I did something similar once, where the only data type is a queue of references of queues.
06:39:40 <oerjan> hm what's FMS implying about previewing, did something go wrong when e introduced?
06:42:37 <imode> isn't the operation of a queue and a stack equivalent when you only have a single-symbol alphabet? they'd be reduced to counter machines, because enqueueing/dequeueing is just incrementing/decrementing, just as pushing and popping is..
06:42:49 <imode> hm.
06:43:20 <imode> that gives... some kind of reductionist priority to counter machines, then.
06:43:33 <esowiki> [[Special:Log/newusers]] create * Oerjan newbie test * New user account
06:52:44 <esowiki> [[User talk:FMS]] N https://esolangs.org/w/index.php?oldid=59142 * Oerjan * (+388) What's the problem with previewing?
06:53:35 <oerjan> imode: well two counters or two stacks are enough for TC.
06:53:52 <oerjan> but one queue suffices with two symbols.
06:55:55 <imode> yeah. seems like there always needs to be two of something.
06:56:20 <imode> two queues are also enough to be TC.
06:56:58 <imode> so choose from a binary alphabet and a single queue, a unary alphabet and two queues/counters..
06:59:09 <oerjan> well one counter is enough if you have multiplication and division. see Fractran.
07:00:03 -!- arseniiv has quit (Ping timeout: 245 seconds).
07:00:59 <imode> right. but who considers multiplication and division fundamental? :P
07:12:40 <imode> is the pairing function or godel encoding really the only way to construct things in counter machines?
07:14:54 <oerjan> you can do stacks of a limited number of symbols as numbers in a base
07:15:23 <oerjan> you may consider that a kind of pairing function though
07:15:56 <imode> interesting. any literature about that?
07:16:25 <oerjan> i assume that's how the usual implementation of a turing machine in several counter works
07:16:32 <oerjan> *counters
07:17:25 <oerjan> well i've probably read that. in fact i vaguely recall wikipedia's article on counter machines has some proofs
07:17:58 <imode> ah yeah there's a proof sketch in the article, duh.
07:19:01 <oerjan> Step 2 in particular
07:20:04 * imode wonders if there's a similar encoding for a single queue.
07:21:07 <oerjan> and the caveat section is relevant to your question whether there's another way (by showing at least _some_ ways don't work)
07:21:38 <oerjan> queues are probably easiest done as a pair of stacks
07:21:51 <oerjan> which means 3 counters, they can share the temporary
07:23:49 <imode> well a TM can be simulated by an FSM with a single queue, and a queue with a binary alphabet can be simulated by two queues using a unary alphabet (similar to a stack), so I wonder if there's a reduction of that to the 2CM without having to go through the encoding of four counters into two.
07:23:52 <oerjan> hm or can they
07:24:52 <oerjan> wait, how do you get a binary queue from two unary ones
07:27:15 <imode> a communicating finite state machine uses multiple queues, each of which is unary. the relevant literature shows an encoding of a turing machine as two communicating FSMs utilizing two unary queues.
07:28:46 <oerjan> i think i was right, the 4 counters in the article really just need to be 3.
07:29:13 <oerjan> it's getting down to 2 that requires gödel encoding.
07:30:44 <imode> something tells me that you don't require godel encoding if you use the encoding I mentioned, but I need to look at it more.
07:31:50 <oerjan> i haven't heard of that, i would be surprised if it wasn't similar
07:32:43 <oerjan> as in, my immediate hunch is to use the two queues as two counters, and go from there
07:33:20 <imode> http://www.lsv.fr/Projects/anr-dots/PUBLIS/GKM-fi07.pdf page 10.
07:34:06 <imode> was just skimming around and stumbled on that.
07:41:08 <oerjan> that doesn't look like each configuration is unary
07:41:50 <imode> CFMs usually are.
07:54:14 <oerjan> well i don't see how that can work with unary, the queues have to contain an unbounded number of messages, each of which is from a non-unary alphabet
07:56:08 <oerjan> approximately the length of the turing tape needs to be in transit at any time, minus a finite number of symbols
07:56:37 <oerjan> *bounded number
07:57:11 * oerjan needs food
07:58:43 -!- imode has quit (Ping timeout: 244 seconds).
08:04:20 -!- olsner has quit (Ping timeout: 250 seconds).
08:09:21 <oerjan> *munch*
08:39:41 -!- b_jonas has joined.
08:39:51 <b_jonas> `pbflist http://pbfcomics.com/comics/barkelangelo/
08:39:52 <HackEso> pbflist http://pbfcomics.com/comics/barkelangelo/: shachaf Sgeo quintopia ion b_jonas Cale
08:39:58 <esowiki> [[Printscript]] https://esolangs.org/w/index.php?diff=59143&oldid=59129 * A * (-107) /* Example Programs */
08:40:38 <esowiki> [[Printscript]] https://esolangs.org/w/index.php?diff=59144&oldid=59143 * A * (-159)
08:52:59 <esowiki> [[Printscript]] https://esolangs.org/w/index.php?diff=59145&oldid=59144 * A * (+674)
09:01:25 -!- b_jonas has quit (Quit: leaving).
09:07:01 <oerjan> freefall space party
09:09:48 -!- S_Gautam has quit (Quit: Connection closed for inactivity).
09:13:17 -!- tromp has quit (Remote host closed the connection).
09:23:36 -!- AnotherTest has joined.
09:24:07 -!- uplime has quit (Ping timeout: 258 seconds).
09:27:31 <oerjan> that's the castle's voice, i think
09:37:21 -!- AnotherTest has quit (Ping timeout: 252 seconds).
09:41:05 -!- tromp has joined.
09:45:26 -!- oerjan has quit (Quit: Nite).
10:02:52 -!- uplime has joined.
10:34:38 -!- uplime has quit (Ping timeout: 245 seconds).
10:38:38 -!- wob_jonas has joined.
10:48:25 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=59146&oldid=59079 * SealedKiller * (+16)
11:13:45 -!- Lord_of_Life has quit (Ping timeout: 258 seconds).
11:18:18 -!- Lord_of_Life has joined.
11:30:38 <wob_jonas> magic
11:31:03 <Taneb> I'm a little lost in Girl Genius, I'm going ot have to go back and reread like the past two years at some point
11:32:30 <Luciole> I should continue my re-read
11:56:20 <esowiki> [[PixelCode]] https://esolangs.org/w/index.php?diff=59147&oldid=59137 * SealedKiller * (+12)
11:59:37 -!- AnotherTest has joined.
12:06:08 <wob_jonas> These magic things where you redundantly represent integers so that the digits have larger range than you need for the base, and then you can do additions with carries propagating only to a limited distance so you can do it in a constant depth circuit, they're totally magical. That it's possible goes against my intuition.
12:11:20 -!- AnotherTest has quit (Ping timeout: 250 seconds).
12:17:11 -!- AnotherTest has joined.
12:21:27 -!- AnotherTest has quit (Ping timeout: 252 seconds).
12:32:59 -!- uplime has joined.
13:00:51 -!- sftp has quit (Ping timeout: 260 seconds).
13:03:54 <esowiki> [[Printscript]] https://esolangs.org/w/index.php?diff=59148&oldid=59145 * A * (+714)
13:04:44 <esowiki> [[Printscript]] https://esolangs.org/w/index.php?diff=59149&oldid=59148 * A * (+47)
13:05:03 -!- uplime has quit (Ping timeout: 252 seconds).
13:05:17 <esowiki> [[Printscript]] https://esolangs.org/w/index.php?diff=59150&oldid=59149 * A * (+1)
13:05:41 <esowiki> [[Printscript]] https://esolangs.org/w/index.php?diff=59151&oldid=59150 * A * (-1) /* Example Programs */
13:25:50 -!- uplime has joined.
13:57:27 -!- uplime has quit (Ping timeout: 240 seconds).
14:07:26 -!- arseniiv has joined.
14:16:45 -!- uplime has joined.
14:27:43 -!- uplime has quit (Ping timeout: 258 seconds).
16:28:47 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
16:54:50 <esowiki> [[BERT]] https://esolangs.org/w/index.php?diff=59152&oldid=59138 * Areallycoolusername * (+40)
17:03:10 -!- AnotherTest has joined.
17:04:20 -!- sftp has joined.
17:07:30 -!- AnotherTest has quit (Ping timeout: 252 seconds).
17:16:41 <esowiki> [[LolKek]] https://esolangs.org/w/index.php?diff=59153&oldid=59058 * Maxim228 * (+78)
17:17:58 <esowiki> [[LolKek]] https://esolangs.org/w/index.php?diff=59154&oldid=59153 * Maxim228 * (-30)
17:21:00 <esowiki> [[LolKek]] https://esolangs.org/w/index.php?diff=59155&oldid=59154 * Maxim228 * (+0)
17:25:56 -!- xkapastel has joined.
17:29:37 -!- imode has joined.
17:39:25 <imode> why are queues so damn attractive.
17:39:38 <imode> https://xkcd.com/853/
17:39:41 <imode> found the reason.
17:40:46 <imode> for real though what makes a circular one-way tape attractive.
17:46:56 <esowiki> [[User talk:FMS]] https://esolangs.org/w/index.php?diff=59156&oldid=59142 * FMS * (+545) Answered rjan
17:54:16 -!- b_jonas has joined.
18:07:31 -!- oklopol has joined.
18:11:00 <esowiki> [[Nope.]] https://esolangs.org/w/index.php?diff=59157&oldid=58920 * Areallycoolusername * (+28)
18:12:45 <esowiki> [[Special:Log/upload]] upload * Areallycoolusername * uploaded "[[File:Nope.png]]": The logo of the Nope. programming language.
18:13:07 <esowiki> [[Nope.]] https://esolangs.org/w/index.php?diff=59159&oldid=59157 * Areallycoolusername * (+1)
18:13:45 <esowiki> [[Nope.]] https://esolangs.org/w/index.php?diff=59160&oldid=59159 * Areallycoolusername * (+20)
18:18:47 <esowiki> [[Nope.]] https://esolangs.org/w/index.php?diff=59161&oldid=59160 * Areallycoolusername * (+0)
18:24:40 <esowiki> [[Cactusi]] https://esolangs.org/w/index.php?diff=59162&oldid=59085 * Areallycoolusername * (+8)
18:25:11 <esowiki> [[Cactusi]] https://esolangs.org/w/index.php?diff=59163&oldid=59162 * Areallycoolusername * (-1)
18:25:24 <esowiki> [[Cactusi]] https://esolangs.org/w/index.php?diff=59164&oldid=59163 * Areallycoolusername * (-7)
18:25:38 <esowiki> [[Cactusi]] https://esolangs.org/w/index.php?diff=59165&oldid=59164 * Areallycoolusername * (-3)
19:56:07 -!- Phantom_Hoover has joined.
19:56:07 -!- Phantom_Hoover has quit (Changing host).
19:56:07 -!- Phantom_Hoover has joined.
20:28:21 <esowiki> [[PixelCode]] https://esolangs.org/w/index.php?diff=59166&oldid=59147 * SealedKiller * (+18)
20:28:48 -!- imode has quit (Ping timeout: 245 seconds).
21:00:09 -!- oklopol has quit (Ping timeout: 252 seconds).
21:05:00 -!- Lymee has joined.
21:05:03 -!- dingwat_ has joined.
21:05:10 -!- Hoolootwo has joined.
21:07:09 -!- Taneb has quit (Quit: I seem to have stopped.).
21:09:35 -!- Taneb has joined.
21:10:51 -!- AnotherTest has joined.
21:11:01 -!- sftp_ has joined.
21:11:38 -!- dingwat has quit (Ping timeout: 268 seconds).
21:11:38 -!- Lymia has quit (Ping timeout: 268 seconds).
21:11:39 -!- sftp has quit (Ping timeout: 268 seconds).
21:11:45 -!- Hooloovo0 has quit (Ping timeout: 268 seconds).
21:11:45 -!- Lymee has changed nick to Lymia.
21:11:45 -!- sftp_ has changed nick to sftp.
21:14:08 -!- j-bot has quit (Ping timeout: 246 seconds).
21:17:30 -!- AnotherTest has quit (Ping timeout: 252 seconds).
21:29:49 -!- cats_ has joined.
21:30:05 <cats_> how do I delete my account on the esolangs wiki?
21:30:39 <cats_> please help...
21:38:06 <cats_> anyone?
21:40:18 <rain1> cats_: no idea. hope that helps
21:40:48 <cats_> any admins that can get me some information on that?
21:43:39 <zzo38> What is your account on esolangs wiki?
22:02:23 -!- FreeFull has joined.
22:02:39 -!- tromp has quit (Remote host closed the connection).
22:10:58 <cats_> Superbug
22:11:14 <cats_> (sorry for delay)
22:20:07 -!- tromp has joined.
23:01:58 -!- cats_ has quit (Quit: Leaving).
23:08:46 -!- EsolangCoder has joined.
23:08:54 * EsolangCoder says hello
23:09:28 * EsolangCoder thinks: "I have a horrible username. But if nobody is here, nobody knows." *
23:09:34 * EsolangCoder
23:09:41 -!- EsolangCoder has quit (Client Quit).
23:10:20 <zzo38> I am on. There is also logs.
23:18:23 -!- Lord_of_Life has quit (Ping timeout: 245 seconds).
23:20:47 -!- Lord_of_Life has joined.
23:31:07 -!- Lord_of_Life has quit (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine).
23:32:40 -!- Lord_of_Life has joined.
23:45:48 -!- b_jonas has quit (Quit: leaving).
23:49:04 <oren> holy motherfucking shit this code has a TODO comment from the 1990's
23:49:10 <oren> AAAAAAAAAAAAAAAAAAAAAAAAAA
←2019-01-13 2019-01-14 2019-01-15→ ↑2019 ↑all