00:01:04 -!- edwardk has joined. 00:08:37 -!- edwardk has quit (Quit: Computer has gone to sleep.). 00:16:51 -!- edwardk has joined. 00:18:19 -!- Phantom_Hoover has quit (Remote host closed the connection). 00:18:37 -!- edwardk has quit (Client Quit). 00:42:06 -!- mhi^ has quit (Quit: Lost terminal). 00:59:53 -!- conehead has joined. 01:02:56 http://i.imgur.com/0cqKIeQ.gif 01:06:14 -!- zzo38 has joined. 01:06:49 -!- ais523_ has quit (Ping timeout: 246 seconds). 01:08:58 -!- ais523_ has joined. 01:27:22 -!- Zuu has quit (*.net *.split). 01:27:23 -!- fizzie has quit (*.net *.split). 01:27:24 -!- nisstyre has quit (*.net *.split). 01:27:24 -!- rodgort has quit (*.net *.split). 01:27:24 -!- FireFly has quit (*.net *.split). 01:27:24 -!- hubs has quit (*.net *.split). 01:27:24 -!- kyhwana_ has quit (*.net *.split). 01:27:24 -!- skarn has quit (*.net *.split). 01:27:24 -!- myndzi has quit (*.net *.split). 01:27:24 -!- qlkzy has quit (*.net *.split). 01:27:26 -!- ski has quit (*.net *.split). 01:27:26 -!- monotone has quit (*.net *.split). 01:27:26 -!- fowl has quit (*.net *.split). 01:27:26 -!- HackEgo has quit (*.net *.split). 01:27:26 -!- pikhq has quit (*.net *.split). 01:27:26 -!- Sgeo has quit (*.net *.split). 01:27:26 -!- SirCmpwn has quit (*.net *.split). 01:27:26 -!- drdanmaku has quit (*.net *.split). 01:27:26 -!- impomatic_ has quit (*.net *.split). 01:27:26 -!- TodPunk has quit (*.net *.split). 01:27:27 -!- zzo38 has quit (*.net *.split). 01:27:27 -!- lifthrasiir has quit (*.net *.split). 01:27:27 -!- Melvar has quit (*.net *.split). 01:27:27 -!- tromp_ has quit (*.net *.split). 01:27:27 -!- Speed` has quit (*.net *.split). 01:27:27 -!- Frooxius has quit (*.net *.split). 01:27:27 -!- copumpkin has quit (*.net *.split). 01:27:29 -!- mtve has quit (*.net *.split). 01:27:29 -!- yiyus_ has quit (*.net *.split). 01:27:29 -!- glogbackup has quit (*.net *.split). 01:27:29 -!- shachaf has quit (*.net *.split). 01:27:29 -!- int-e has quit (*.net *.split). 01:27:29 -!- EgoBot has quit (*.net *.split). 01:27:29 -!- myname has quit (*.net *.split). 01:27:29 -!- metasepia has quit (*.net *.split). 01:27:29 -!- boily has quit (*.net *.split). 01:27:30 -!- barrucadu has quit (*.net *.split). 01:27:30 -!- conehead has quit (*.net *.split). 01:27:30 -!- b_jonas has quit (*.net *.split). 01:27:30 -!- idris-bot has quit (*.net *.split). 01:27:30 -!- hogeyui_ has quit (*.net *.split). 01:27:31 -!- Taneb has quit (*.net *.split). 01:27:32 -!- Iceland_jack has quit (*.net *.split). 01:27:32 -!- ineiros_ has quit (*.net *.split). 01:27:32 -!- atehwa has quit (*.net *.split). 01:27:32 -!- diginet has quit (*.net *.split). 01:27:32 -!- erdic has quit (*.net *.split). 01:27:32 -!- Deewiant has quit (*.net *.split). 01:27:32 -!- newsham has quit (*.net *.split). 01:27:32 -!- `^_^v has quit (*.net *.split). 01:27:32 -!- KingOfKarlsruhe has quit (*.net *.split). 01:27:32 -!- quintopia has quit (*.net *.split). 01:27:32 -!- augur has quit (*.net *.split). 01:27:32 -!- heroux has quit (*.net *.split). 01:27:32 -!- jj2baile has quit (*.net *.split). 01:27:32 -!- mroman has quit (*.net *.split). 01:27:32 -!- jix has quit (*.net *.split). 01:27:33 -!- ^v has quit (*.net *.split). 01:27:33 -!- Bike has quit (*.net *.split). 01:27:33 -!- tromp__ has quit (*.net *.split). 01:27:34 -!- douglass_ has quit (*.net *.split). 01:27:34 -!- mihow has quit (*.net *.split). 01:27:34 -!- coppro has quit (*.net *.split). 01:27:34 -!- vravn has quit (*.net *.split). 01:27:34 -!- lambdabot has quit (*.net *.split). 01:27:35 -!- Sorella has quit (*.net *.split). 01:27:35 -!- aloril_ has quit (*.net *.split). 01:27:35 -!- subleq has quit (*.net *.split). 01:27:35 -!- sebbu has quit (*.net *.split). 01:27:35 -!- clog has quit (*.net *.split). 01:27:35 -!- ais523_ has quit (*.net *.split). 01:27:35 -!- ggherdov has quit (*.net *.split). 01:27:35 -!- realz has quit (*.net *.split). 01:27:35 -!- olsner has quit (*.net *.split). 01:27:35 -!- maurer has quit (*.net *.split). 01:27:36 -!- Lorenzo64 has quit (Max SendQ exceeded). 01:27:36 -!- variable has quit (Max SendQ exceeded). 01:55:19 -!- maurer has joined. 01:55:19 -!- olsner has joined. 01:55:19 -!- realz has joined. 01:55:19 -!- ggherdov has joined. 01:55:19 -!- erdic has joined. 01:55:19 -!- diginet has joined. 01:55:19 -!- atehwa has joined. 01:55:19 -!- ineiros_ has joined. 01:55:19 -!- Taneb has joined. 01:55:19 -!- hogeyui_ has joined. 01:55:19 -!- Iceland_jack has joined. 01:55:19 -!- idris-bot has joined. 01:55:19 -!- b_jonas has joined. 01:55:19 -!- conehead has joined. 01:55:19 -!- jix has joined. 01:55:19 -!- mroman has joined. 01:55:19 -!- jj2baile has joined. 01:55:19 -!- heroux has joined. 01:55:19 -!- augur has joined. 01:55:19 -!- quintopia has joined. 01:55:19 -!- KingOfKarlsruhe has joined. 01:55:19 -!- `^_^v has joined. 01:55:19 -!- newsham has joined. 01:55:19 -!- Deewiant has joined. 01:55:19 -!- barrucadu has joined. 01:56:45 -!- lambdabot has joined. 01:56:45 -!- Sorella has joined. 01:56:45 -!- aloril_ has joined. 01:56:45 -!- subleq has joined. 01:56:45 -!- sebbu has joined. 01:56:45 -!- clog has joined. 01:58:53 -!- FreeFull has joined. 01:58:53 -!- lifthrasiir has joined. 01:58:53 -!- myndzi has joined. 01:58:53 -!- qlkzy has joined. 01:58:53 -!- skarn has joined. 01:58:53 -!- kyhwana_ has joined. 01:58:53 -!- hubs has joined. 01:58:53 -!- FireFly has joined. 01:58:53 -!- rodgort has joined. 01:58:53 -!- nisstyre has joined. 01:58:53 -!- zzo38 has joined. 01:58:53 -!- Melvar has joined. 01:58:53 -!- tromp_ has joined. 01:58:53 -!- Speed` has joined. 01:58:53 -!- Frooxius has joined. 01:58:53 -!- copumpkin has joined. 01:58:53 -!- myname has joined. 01:58:53 -!- EgoBot has joined. 01:58:53 -!- int-e has joined. 01:58:53 -!- shachaf has joined. 01:58:53 -!- yiyus_ has joined. 01:58:53 -!- mtve has joined. 01:58:53 -!- glogbackup has joined. 01:59:51 I believe that both a Commutative Ligature Machine and a Ligature-Counter Machine are capable of recogizing balanced parentheses, although it doesn't seem that the ordinary Ligature Machine can. 02:03:02 -!- Zuu has joined. 02:03:02 -!- fizzie has joined. 02:04:41 -!- ski has joined. 02:04:41 -!- monotone has joined. 02:05:59 -!- ^v has joined. 02:05:59 -!- Bike has joined. 02:05:59 -!- tromp__ has joined. 02:05:59 -!- douglass_ has joined. 02:05:59 -!- mihow has joined. 02:05:59 -!- coppro has joined. 02:05:59 -!- vravn has joined. 02:06:53 -!- fowl has joined. 02:06:53 -!- HackEgo has joined. 02:06:53 -!- pikhq has joined. 02:08:39 -!- variable has joined. 02:08:40 -!- Sgeo has joined. 02:08:40 -!- SirCmpwn has joined. 02:08:40 -!- drdanmaku has joined. 02:08:40 -!- impomatic_ has joined. 02:08:40 -!- TodPunk has joined. 02:08:57 -!- SirCmpwn has quit (Max SendQ exceeded). 02:09:07 -!- variable has quit (Changing host). 02:09:07 -!- variable has joined. 02:09:28 -!- SirCmpwn has joined. 02:10:00 -!- ais523_ has joined. 02:10:12 -!- ais523_ has quit (Changing host). 02:10:12 -!- ais523_ has joined. 02:20:38 -!- variable has quit (Changing host). 02:20:38 -!- variable has joined. 02:20:58 -!- FreeFull has changed nick to Guest90268. 02:23:13 -!- Guest90268 has quit (Changing host). 02:23:13 -!- Guest90268 has joined. 02:23:16 -!- Guest90268 has changed nick to FreeFull. 02:24:32 -!- impomatic_ has quit (Read error: Connection reset by peer). 02:43:49 -!- conehead has quit (Quit: Computer has gone to sleep). 02:57:14 -!- edwardk has joined. 03:07:42 -!- copumpkin has quit (Quit: Textual IRC Client: www.textualapp.com). 03:17:28 -!- copumpkin has joined. 03:28:08 http://www.reddit.com/r/ProgrammerHumor/comments/2a88kb/why_all_browsers_are_horrible/ 03:49:17 -!- Sorella has quit (Quit: sleepan). 03:50:14 -!- copumpkin has changed nick to devops_copumpkin. 03:50:21 -!- devops_copumpkin has changed nick to copumpkin. 04:04:19 Are there channels about compiler optimizations? 04:10:41 Sgeo: I like the idea of implementing Flash by printing a message saying that it's crashed and dereferencing a NULL pointer 04:15:37 -!- copumpkin has quit (Quit: Textual IRC Client: www.textualapp.com). 04:16:06 -!- copumpkin has joined. 04:32:10 -!- copumpkin has quit (Quit: Textual IRC Client: www.textualapp.com). 04:41:38 -!- copumpkin has joined. 04:47:45 -!- conehead has joined. 04:54:55 [wiki] [[Ligature Machine]] http://esolangs.org/w/index.php?diff=40125&oldid=40124 * Zzo38 * (+1925) Syntax 05:04:06 -!- conehead has quit (Quit: Computer has gone to sleep). 05:05:42 i really like the DM untouched by the sorrow of adulthood analogy 05:06:02 i also like the fact that he elects to write "wroughth" instead of "wreak" 05:12:51 o.O at Meteor.js... is it a thing on top of Node.js or is it an alternative to Node.js or is it something else entirely? 05:13:23 $ curl https://install.meteor.com | /bin/sh 05:13:43 People criticize rust for that, why not meteor? (Although Rust's does sudo) 05:14:32 I think I'm going to start calling Firefox Fiona and Chrome Christopher. Much better names. 05:21:52 Are there cards in Magic: the Gathering having such things as: Protection from tokens. Protection from objects with counters. Protection from objects with protection. Protection from colorless. Protection from lands. Protection from tapped permanents. etc 05:22:11 zzo38: you can search for each of those in Gatherer 05:22:26 O, OK 05:22:51 I had other idea too: A card which makes all permanents having abilities with an untap symbol to gain vigilance. 05:23:54 it's pretty rare for untap-symbol abilities to be played, though, which means there's not much point in playing a card that makes them worse 05:24:01 zzo38: What about Inspired abilities? 05:24:10 Is there a way to refer to those? Since it's not a real keyword. 05:24:17 shachaf: that wouldn't work within the rules, Inspired's an ability word 05:24:21 in general, the rules can't see anything in italics 05:24:30 shachaf: What does Inspired abilities mean? 05:24:33 Right. But is there a way around it? 05:24:42 ais523_: What is the use of ability words then? 05:24:58 zzo38: ability words are basically used to give an easy name to refer to effects of a particular shape 05:25:08 zzo38: http://gatherer.wizards.com/Pages/Search/Default.aspx?text=+[Inspired] 05:25:16 e.g. for inspired, it's "Inspired - When CARDNAME untaps, ..." 05:25:37 Oh, it's not italicized on the gatherer page for some reason. #scow 05:26:08 it's still possible to have an effect on all inspired cards by writing, e.g. "Abilities don't trigger as the result of permanents untapping", but that would affect other cards too 05:27:02 Yes. 05:27:16 ais523_: Well, maybe such thing I mentioned may be useful if it is a draft containing both this card and others with untap symbol, and possibly also if you manage to draft this card and another, having untap symbol but you want vigilance instead at least sometimes. Since, you play or not play such a global effect. 05:28:46 Or maybe you don't draft and you just get assigned random cards and have to pick a subset (not necessarily a proper subset) of them to use, and then add basic lands of your choice. Possibly, everyone has the same cards assigned to them, too. 05:29:05 zzo38: those formats are called Sealed and Duplicate Sealed, respectively 05:29:28 Wizards publishes recommended randomization methods for the formats (normally involving opening boosters as the method of randomizing the cards) 05:29:53 e.g. in one official game I played, they recommended assigning each player six boosters of Tenth Edition 05:32:39 I played one draft in which they had two packs of one set and one pack of another set. Even if sealed, you could do something similar, not using all cards of one set. 05:36:20 Another idea would be "Semi-Duplicate Sealed", where most cards are the same for each player but each player also gets a few cards that are individual to them (although everyone still gets the same rarity distributions). 05:37:39 -!- Phantom_Hoover has joined. 05:49:46 -!- xhelvete has joined. 05:52:53 zzo38: Horizon Drake has protection from lands 05:53:38 * ais523_ looks at the Ligature Machine 05:54:51 zzo38: but that's rare. "Protection from artifacts" is qutie common, and there's at least one card each that mentions "Protection from creatures", "Protection from multicolored", "Protection from monocolored", "Protection from all colors", "Protection from its colors", "Protection from the colors of permanents you control", "Protection from everything" 05:55:48 and, infamously, "Protection from the chosen player" 05:56:11 it might be obvious, but "Protection from the chosen color" is quite frequent 05:56:36 there's lots of instants and auras that give it, and the great creature Order of the Stars 05:57:21 what I'd like to see but doesn't exist is an aura saying "Permanents have protection from enchanted creature/permanent. This effect doesn't remove ~." 05:57:22 if we treat the input string as the only input, the Ligature Machine is clearly capable of running any FSM on that input, i.e. it can recognise all regular languages (half of coppro's conjecture) 05:57:30 I discovered that "damage can't be prevented" gets around protection, since protection works by preventing damage. 05:57:36 -!- xhelvete has left ("Read Error: Connection reset by peer pressure."). 05:57:38 it can alternatively act as a PDA, but can't take input while it's doing that 05:57:53 at least, not obviously 05:58:14 because you can never read behind the cursor, it is definitely sub-TC; it has one stack as the only storage 06:00:47 oh, and there's also "Protection from instant spells and from sorcery spells", "protection from each of the exiled [imprinted] card's card types", "protection from instants", "protection from enchantments" 06:01:46 wow 06:03:35 one nice thing about Ligature Machine is that it's trivial to compile to Thue (assuming that you have some characters you can guarantee won't exist in the input) 06:03:41 b_jonas: ? 06:03:53 what? 06:07:02 compiling to Thue? but Thue is much more powerful than the ligature machine, so that doesn't do you much good 06:07:27 well, it gives you an implementation 06:07:41 which is nice if you want to actually test programs 06:07:52 -!- copumpkin has quit (Ping timeout: 272 seconds). 06:10:36 ok 06:12:00 now I'm trying to work out if "PDA without input" is a distinct computational class from "finite-state machine" 06:12:32 my feeling is "no", in which case the Ligature Machine is a pure finite-state machine 06:15:17 ais523_: I'm not sure whether Ligature Machine is just a finite state machine or more powerful. I'll have to think about this 06:15:58 ais523_: if you didn't have the |=:| rule, then it would be a finite state machine 06:16:34 no WAIT 06:16:37 not even then 06:16:54 or, um 06:17:18 b_jonas: you can clearly form a stack via pushing the rest of the input further and further away 06:17:28 however, this then prevents you reading the input 06:17:39 it's equivalent to a language with one stack, for which the input starts on the stack 06:17:47 ais523_: what I wonder is whether you can recognize {a^nb^n} 06:17:51 which gives you FSM power if the stack never grows 06:18:04 wait, one stack and input starts on stack? are you sure in that? 06:18:15 b_jonas: it's equivalent to that 06:18:20 because you can never read to the left of the cursor 06:18:22 that rings a bell, let me read up on that 06:18:29 b_jonas: I do not see any way to recognize {a^nb^n} with it 06:18:34 thus the area to the right of the cursor can be treated as a stack 06:18:39 anyway, a^nb^n is obviously impossible 06:18:48 if n is greater than the square of the number of symbols 06:19:01 then you don't have any place to record it once the cursor comes within one square of the first b for the first time 06:20:07 What changes if you have two ligature machines, with a machine that reverses its input in between? 06:20:25 what's the tie-breaking rule of LM for when multiple rules apply? 06:20:44 b_jonas: It is not possible for multiple rules to apply? 06:20:54 ok 06:21:14 right, it looks at two adjacent symbols always 06:21:16 stupid question 06:21:36 The rule table is basically a function from a pair of symbols to a symbol and a mode, so always exactly one rule applies. 06:25:39 ok, I guess you're right, PDA with the input on the one stack is probably the same power as a finite state machine 06:27:30 b_jonas: Yes it does look like that to me too (I think) 06:27:50 [wiki] [[Ligature Machine]] http://esolangs.org/w/index.php?diff=40126&oldid=40125 * Zzo38 * (+426) Combinations 06:31:49 -!- oerjan has joined. 06:50:28 hm interesting. i suspect the color codes in HackEgo's announcements are the reason why IE won't recognize today's tunes logs as text. 06:51:31 (and thus refuse to open them in browser) 06:51:39 *+s 06:54:22 -!- MindlessDrone has joined. 06:57:09 I also see a "raw" download but that's not suitable for viewing in a browser. <-- that's what used to work but hgbrowser had some "security update" that disabled it opening in the browser. 06:57:25 i.e. `url used to give that link. 06:57:36 oerjan: I know it used to give that link. 06:58:04 and it's probably all about the text/plain mess ais523_ talked about 06:59:55 Depending on the browser, you may be able to get it to work by prepending "view-source:" to the URL. 07:00:38 i just tried that since elliott mentioned it in the log. IE seems to think i am trying to open an app and asks for security confirmation. 07:00:57 i didn't actually try confirming. 07:02:05 -!- ais523_ has quit (Quit: Page closed). 07:03:16 instead i just used wget -O - ... | less in nvg's linux server. 07:12:03 -!- Tod-Autojoined has joined. 07:12:07 -!- TodPunk has quit (Read error: Connection reset by peer). 07:34:20 -!- Slereah has quit (Ping timeout: 260 seconds). 07:36:24 -!- conehead has joined. 08:06:36 -!- AnotherTest has joined. 08:20:43 -!- Tritonio has joined. 08:24:28 -!- Patashu has joined. 08:34:43 -!- Patashu_ has joined. 08:34:44 -!- Patashu has quit (Disconnected by services). 08:52:46 `` echo $HOME 08:52:46 ​/tmp 08:53:26 `ls 08:53:27 ​:-( \ 98076 \ a \ app.sh \ bdsmreclist \ bin \ canary \ cat \ complaints \ :-D \ dog \ etc \ factor \ fb \ fb.c \ head \ hello \ hello.c \ ibin \ index.html \ interps \ lib \ moop.txt \ paste \ pref \ prefs \ quines \ quotes \ share \ src \ test \ Test \ Test.hi \ Test.hs \ unpa \ UNPA \ Wierd \ wisdom \ wisdom.pdf 08:53:35 `file cat 08:53:42 cat: ASCII text 08:53:56 `url cat 08:53:57 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/cat 08:55:10 I have a firefox addon that allows me to force something it wants to download to be opened in the browser instead, with the mimetype of my choice, with text/plain being the most frequent application for me. 08:57:34 `ls -A 08:57:34 ​:-( \ 98076 \ a \ app.sh \ bdsmreclist \ bin \ canary \ cat \ complaints \ :-D \ dog \ etc \ factor \ fb \ fb.c \ head \ hello \ hello.c \ .hg \ .hg_archival.txt \ ibin \ index.html \ interps \ lib \ moop.txt \ paste \ pref \ prefs \ quines \ quotes \ share \ src \ test \ Test \ Test.hi \ Test.hs \ unpa \ UNPA \ Wierd \ wisdom \ wisdom.pdf 09:18:09 -!- impomatic_ has joined. 10:00:37 -!- vifino has joined. 10:11:29 -!- drdanmaku has quit (Quit: Connection closed for inactivity). 10:17:56 -!- boily has joined. 10:46:17 -!- boily has quit (Quit: CALF CHICKEN). 10:48:56 -!- yorick has joined. 11:00:45 -!- oerjan has quit (Quit: leaving). 11:17:56 -!- conehead has quit (Quit: Computer has gone to sleep). 11:59:47 -!- Sorella has joined. 12:03:23 -!- Sgeo has quit (Read error: Connection reset by peer). 12:13:10 -!- Frooxius has quit (Quit: *bubbles away*). 12:13:27 -!- Frooxius has joined. 12:29:07 -!- Koen__ has joined. 12:37:58 -!- Tritonio has quit (Ping timeout: 240 seconds). 12:41:55 -!- Tritonio has joined. 12:43:22 -!- Tod-Autojoined has changed nick to TodPunk. 12:44:04 -!- monotone has quit (Quit: "I can hear myself... I think I'm a bit afraid."). 12:48:51 -!- monotone has joined. 13:07:49 -!- yiyus_ has quit (Ping timeout: 240 seconds). 13:16:21 -!- yiyus has joined. 13:45:28 -!- axtens has joined. 13:53:36 -!- Koen__ has quit (Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?"). 14:21:41 -!- axtens has quit (Excess Flood). 14:22:43 -!- axtens has joined. 15:02:47 -!- nycs has joined. 15:03:44 -!- nycs has quit (Client Quit). 15:05:24 -!- `^_^v has quit (Ping timeout: 255 seconds). 15:09:26 -!- Patashu_ has quit (Ping timeout: 240 seconds). 15:15:12 -!- `^_^v has joined. 15:19:43 [wiki] [[Goldfish/Implementation]] N http://esolangs.org/w/index.php?oldid=40127 * GermanyBoy * (+1732) Created page with "Goldfish implementation in C++ by [[User:GermanyBoy]]. 
 #include  #include  #include  #include  using namespace std;  const int SIZE ..."
15:21:14  [wiki] [[Goldfish]]  http://esolangs.org/w/index.php?diff=40128&oldid=40068 * GermanyBoy * (+81) /* See also */ added implementation
15:28:46 -!- axtens has quit (Quit: Leaving.).
15:32:06 -!- drdanmaku has joined.
15:59:18 -!- Tritonio has quit (Ping timeout: 240 seconds).
16:12:36  [wiki] [[SELECT.]]  http://esolangs.org/w/index.php?diff=40129&oldid=39240 * Quintopia * (-7) Makes no sense to put the derivation of -1 after the first place it is used (in the derivation of e)
16:20:46  is there a difference between "the set of numbers output by an elementary function evaluated at 2" and "the set of computable numbers"?
16:28:54 -!- yorick has quit (Remote host closed the connection).
16:31:48 -!- MoALTz has joined.
16:32:11  the internet is giving me any examples of "non-elementary computable numbers"
16:32:14  halp
16:38:54 -!- Sorella has quit (Quit: It is tiem!).
16:40:57 -!- Koen_ has joined.
16:41:16 -!- Koen_ has quit (Client Quit).
16:41:38 -!- Sorella has joined.
16:41:55 -!- Koen_ has joined.
16:48:32  http://mroman.ch/taworvor/ :P
16:51:20  quintopia: there are very likely much more computable numbers than elementary ones, though it's hard to prove that any particular number is computable but not elementary
16:51:58  b_jonas: i figured someone would have constructed one
16:52:10  quintopia: constructing one is easy, proving is hard
16:52:15  are elementary numbers all primitive recursive?
16:52:40 -!- `^_^v has quit (Quit: This computer has gone to sleep).
16:52:46  you could hope that something like SUM_k 2**(-2**(2**(2**(2**k)))) is non-elementary, but I don't think you can prove it
16:53:00  or, say, riemann_zeta(2)
16:53:06  no wait
16:53:10  I mean riemann_zeta(3)
16:53:12  obviously
16:53:58 -!- `^_^v has joined.
16:55:15 -!- nycs has joined.
16:58:35 -!- `^_^v has quit (Ping timeout: 256 seconds).
17:11:22  and this time Strings are really just lists
17:11:32  not some seperate datatype that required lots of hackery to make shit work
17:12:02  I think some burlesque functions working on lists just converted strings into a list of characters
17:12:14  and then make a hacky check if the resulting list starts with a character
17:12:18  if so, convert back to string
17:12:35  (because mapping over a list of characters not necessarily leads to a list of characters)
17:12:58  although you're currently out of luck if you don't want a string as a result but your first element happens to be a character :D
17:13:16  but nobody noticed this so far on code golf :D
17:20:08  there's also two version of concat for this
17:20:12  or at least two versions :)
17:20:40 -!- drdanmaku has quit.
17:22:29 -!- blsqbot has joined.
17:22:35  !blsq "abc""def"mo
17:22:36   Ain't nobody got time fo' dat!
17:22:36  0.0937307s
17:23:13  well...
17:24:23  !blsq "abc""def"moL[
17:24:23   Ain't nobody got time fo' dat!
17:24:24  0.0312268s
17:24:53  that's kinda cool
17:25:01  it reverses the second argument
17:25:11  creates a list of infinite copies of that
17:25:18  and prefixes it with numbers from 1..infty
17:25:26  !blsq """def"mo5.+
17:25:27   Ain't nobody got time fo' dat!
17:25:27  0.0937517s
17:25:42  if the timeout would allow it :(
17:25:46  !blsq """def"mo2.+
17:25:47   {"1fed" "2fed"}
17:25:47  0.0155987s
17:25:49  !blsq """def"mo3.+
17:25:49   {"1fed" "2fed" "3fed"}
17:25:50  0s
17:35:03 -!- newsham_ has joined.
17:35:35 -!- yorick has joined.
17:38:26 -!- augur_ has joined.
17:39:00 -!- mroman_ has joined.
17:39:00 -!- jj2baile_ has joined.
17:39:57 -!- heroux_ has joined.
17:41:19 -!- Deewiant has quit (*.net *.split).
17:41:19 -!- newsham has quit (*.net *.split).
17:41:19 -!- KingOfKarlsruhe has quit (*.net *.split).
17:41:19 -!- quintopia has quit (*.net *.split).
17:41:20 -!- augur has quit (*.net *.split).
17:41:20 -!- heroux has quit (*.net *.split).
17:41:20 -!- jj2baile has quit (*.net *.split).
17:41:20 -!- mroman has quit (*.net *.split).
17:41:20 -!- jix has quit (*.net *.split).
17:41:34 -!- heroux_ has changed nick to heroux.
17:42:03 -!- KingOfKarlsruhe has joined.
17:44:11 -!- jix has joined.
17:45:22 -!- quintopia has joined.
17:48:10 -!- Deewiant has joined.
17:48:57  also... I'm now a BSc.
17:49:14  :D
17:49:20  congrats
17:49:22  with a 5.3 average (6.0 is maximum)
17:49:26  I just completed the nintendo gallery
17:49:32  they're roughly equal achievements :P
17:51:11 -!- nooodl has joined.
18:04:25  !blsq 2"def"mo3.+
18:04:26   {"1fed" "2fed" "3fed"}
18:04:26  0.009006s
18:04:31  !blsq 10"def"mo3.+
18:04:31   {"1fed" "2fed" "3fed"}
18:04:31  0.0090041s
18:04:37  !blsq "def"4mo3.+
18:04:37   {4 8 12}
18:04:37  0.0100039s
18:05:00  !blsq "def"mo3.+
18:05:00   {"1fed" "2fed" "3fed"}
18:05:00  0.0090018s
18:05:01 -!- Lorenzo64 has joined.
18:05:29  hm
18:05:43  !blsq {"abc" "def"}{"ghj" "klm"}?*
18:05:43   {"cbajhg" "fedmlk"}
18:05:43  0.011005s
18:05:49 -!- nooodl has quit (Read error: Connection reset by peer).
18:08:44  !blsq {"abc" "def"}mo3.+
18:08:44   {"1cba" "2fed"}
18:08:45  0s
18:12:13  what is the nintendo gallery
18:25:07  https://github.com/FMNSSun/Taworvor <- and the repo is online
18:49:30 -!- MindlessDrone has quit (Quit: MindlessDrone).
19:08:06 -!- MoALTz_ has joined.
19:11:02 -!- MoALTz has quit (Ping timeout: 245 seconds).
19:11:40 -!- MoALTz__ has joined.
19:12:53 -!- oerjan has joined.
19:14:35 -!- MoALTz_ has quit (Ping timeout: 256 seconds).
19:15:58 -!- Lorenzo64 has quit (Ping timeout: 240 seconds).
19:31:32  quintopia: assuming you mean the ELEMENTARY complexity class, my hunch is for something like a real number encoding the diagonalization of all ELEMENTARY algorithms
19:32:10  oerjan: define ELEMENTARY?
19:32:11  hm, or even just the result of them
19:32:26  quintopia: https://en.wikipedia.org/wiki/ELEMENTARY
19:33:09  if you instead mean https://en.wikipedia.org/wiki/Elementary_function, then there are no such numbers; f(x) = a is an elementary function for every number a
19:34:30  oerjan: yeah, i meant the set of numbers given by compositions of computable elementary functions evaluated at 2.
19:34:39  ELEMENTARY looks different
19:34:59  well in that case f(x) = a is still elementary, and computable if a is.
19:35:08  [[SELECT.]] has lots of "it's" where it should have "its"
19:35:18  elliott: then fix it
19:35:23  no
19:36:19  or alternatively, yes, if you pay me $5 for the three minutes of work at $100/hr
19:36:26  I accept bitcoin
19:37:02 -!- yorick has quit (Remote host closed the connection).
19:37:17 -!- conehead has joined.
19:37:32  oerjan: what i am trying to get at is the set of numbers computable by SELECT. so, i guess the problem is that SELECT. can't use constants. i think this concept is captured in the concept of "elementary number"
19:38:14  ah.
19:38:15  I would also throw in fixing the capitalisation of the headers for free.
19:38:19  elliott: its not bothering me enough to do it myself or pay anyone else ;)
19:39:24  hm the root taking looks like the tricky part, how do you bound the complexity of computing those
19:39:37  quintopia: how about for $2.50?
19:39:37  (https://en.wikipedia.org/wiki/Elementary_number)
19:41:41  except, SELECT. cannot take roots can it?
19:41:58  it can't no
19:42:09  i mean, not in general
19:42:14  quintopia: $0.3625, as per US federal minimum wage?
19:42:39  at some point giving me money has to be less fuss than having me monologue-haggle with you
19:42:42  in that case, perhaps it cannot calculate all elementary numbers
19:42:51  elliott: okay, i'll pay that, minus the cost of the time it takes me to send the money, paid to me at the same wage
19:43:01  quintopia: okay. do you have bitcoin?
19:43:13  i have a few
19:43:36  it's currently ~0.00056 BTC
19:44:12  i don't have anywhere to send
19:44:26  I might have that in Doge.
19:45:23  oerjan: so what would be an example of a number it can't compute? perhaps just a random root of a random pentic equation?
19:45:34  elliott: so how much time are you willing to invest failing to negotiate a fee for your services?
19:45:46  int-e: it is its own reward
19:46:55  quintopia: i don't have the necessary expertise to find a more elegant answer than "something something halting problem/diagonalization over the complexity class that can compute all those numbers"
19:47:09  there, edit completed, pending on payment :)
19:47:43  (do I need to edit my user page to disclose a CoI?)
19:48:01  not on esolang hth
19:48:22  we accept all paid edits.  in fact we'd _love_ it if the bancstar people did some.
19:48:36  well, some that improved the article, anyway.
19:49:25 * oerjan is having a hard time imagining a corporation wanting to pay for that.
19:50:05  quintopia: as in, for all i know SELECT. can't compute the roots of x^5 + x + 1 but i cannot prove it.
19:50:27  but there might be someone who can.
19:52:31  hm it's been a while since i checked up on bitcoin
19:52:39  http://stackoverflow.com/questions/900055/is-sql-or-even-tsql-turing-complete ?
19:53:18  looks fairly stable
19:53:20  x^5+x+1 = (x^2+x+1) * (x^3-x^2+1). try again.
19:53:38  int-e: wait what
19:53:56  i thought that was the standard simplest example
19:54:25  of a primitive polynomial of fifth degree
19:54:49  and also something not solvable in radicals
19:54:50  x^5+x^2+1 is irreducible.
19:55:46  or x^5-x+1
19:55:53  @check \x -> x^5 + (x::Int) + 1 == (x^2+x+1) * (x^3-x^2+1)
19:55:55   +++ OK, passed 100 tests.
19:56:00  shocking
19:56:03  ah a minus
19:56:52  (I'm using pari/gp for this btw. it has a neat factor() function that works for single variable polynomials with integer coefficients. (and also over GF(p), but I'm not sure about other finite fields))
19:57:33  i suppose i've just internalized it wrongly as "the simplest example you can think of that isn't obviously reducible, isn't."
19:58:48  if you stare at it long enough, the third root of unity "obviously" satisfies x^5+x+1 = 0.
19:59:26  ?let oneInt = (1 :: Int)
19:59:29   Defined.
19:59:38  [wiki] [[SELECT.]]  http://esolangs.org/w/index.php?diff=40130&oldid=40129 * Ehird * (+339) general cleanup. I was meant to be paid for this edit.
20:00:11  ?let forceInt :: Int -> Int; forceInt = id
20:00:13   Defined.
20:01:14  @type (`asTypeOf` oneInt)
20:01:15  Int -> Int
20:02:17  int-e: don't you mean the third root of -1?
20:02:23 -!- ^v has changed nick to YUPLOL.
20:02:31  quintopia: no.
20:02:32 -!- YUPLOL has changed nick to FERILOVESTHEM.
20:02:35  hmm
20:02:43 -!- FERILOVESTHEM has changed nick to v^.
20:02:44  i guess i didn't stare long enough
20:02:48 -!- v^ has changed nick to ^v.
20:03:09  quintopia: for the third root of unity, x^5 = x^2, so we get x^2+x+1.
20:03:10  if l is the third root of unity, then l^5=l^2 right? oh
20:03:31  the third root of unity which isn't 1, naturally
20:04:05  right.
20:04:31  a primitive third root of unity, really.
20:04:33 -!- boily has joined.
20:04:43  i'm still not seeing why x^2+x=-1 visually
20:04:56  hi boily
20:05:08  do you like unibroue?
20:05:27  quintopia: 1, x and x^2 are in an equilateral triangle around zero, that's pretty visual
20:05:27  quintopia: leave it as x^2+x+1, then it's a nicely symmetric star. (oh it also satisfies x*(x^2+x+1) = x^2+x+1)
20:05:41  oerjan: ah yep that does it
20:06:13  and then, of course, you can look at (x^2+x+1)*(x-1) = x^3-1.
20:06:23 -!- nycs has changed nick to `^_^v.
20:06:24  but that's algebraic
20:06:45  (x*(x^2+x+1) = x^2+x+1 is inbetween: multiplying by x is a rotation)
20:09:05  quintopia: QUINTHELLOPIA! of course!
20:09:21  this place has eau benite.
20:10:05  oh the other kind of "this place"
20:10:06  but i haven't tried it
20:10:14  la terrible is my favorite beer ever
20:10:30  (not knowing the "eau benite" brand of beer didn't help)
20:10:58  unibroue is a bran
20:10:58  d
20:11:05  I never heard of the Eau Bénite.
20:11:05  eau benite is a beer
20:11:35  holy water?! strange name ... though that goes for a lot of beer brands
20:11:49  i'd consider going to quebec just to visit unibroue and try everything
20:12:03  int-e: i thought it was some subtle praise of the channel
20:12:07  you should also try those from RJ, and then all the microbrasseries :D
20:12:52  RJ?
20:12:53  http://www.troududiable.com/spip.php?rubrique5 ← they make my favourites.
20:13:02  http://www.brasseursrj.com/
20:13:55  from RJ, my favourite is the Coup de Grisou.
20:14:05  clever name
20:14:19  rj says the english version of their site is not available
20:14:35  you should email them "i'll translate your website for a big sample box"
20:15:55  heh :P
20:16:23  Help I'm trying to learn Erlang
20:17:08  quintopia: you should come to Montréal during the Mondial de la Bière. it has beers.
20:17:15  Taneb: that's good!
20:17:18  i would think so
20:17:51  boily, I'm feeling a feeling I haven't felt since I first learnt Haskell
20:18:06  boily: any independent coding projects?
20:18:52  ANY VEGETALES IN THE BRAIN?
20:18:53  Taneb: are you titillated? nonplussed? flummoxed? intrigued? chagrined? dazzled? mystified? recumbent?
20:19:25  quintopia: I haven't abandoned yet the yucca project. real life got in the way, but it's still being planned.
20:19:38  "Whoa this is a weird way of doing things but I can sort of see how it works"
20:19:59  boily: is real life out of the way yet?
20:20:14  quite the opposite.
20:22:45  well i ordered the holy water
20:22:53  not as good as terrible, but still delicious
20:26:52  who wants water with holes in it anyway
20:26:59  me
20:27:09  because those holes are filled with delicious CO2
20:27:31 -!- yorick has joined.
20:28:39  those are not holes.  this is a hole http://what-if.xkcd.com/6/
20:29:11  hm. levitating beer.
20:38:03 -!- blsqbot has quit (Ping timeout: 240 seconds).
20:48:59 -!- ^v has quit (Quit: Leaving).
20:49:10 -!- ^v has joined.
20:57:49  duck.
20:57:51 -!- boily has quit (Quit: PROFOUND CHICKEN).
21:05:10 -!- MDude has joined.
21:16:21 -!- Koen_ has quit (Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?").
21:19:36  hmm what happened to the brainfuck survey?
21:19:58  I mean is there any conclusion? Are there any consequences?
21:51:15  [wiki] [[User:Rdebath]]  http://esolangs.org/w/index.php?diff=40131&oldid=40118 * Rdebath * (+17) /* Current languages to go back to. */
22:02:19 -!- MoALTz_ has joined.
22:02:23  [wiki] [[Spacechem Programming Language]] N http://esolangs.org/w/index.php?oldid=40132 * Jfb * (+324) Created Spacechem page
22:04:34 -!- MoALTz__ has quit (Ping timeout: 240 seconds).
22:10:50 -!- AnotherTest has quit (Ping timeout: 240 seconds).
22:15:50 -!- FreeFull has quit (Ping timeout: 240 seconds).
22:24:48  go usa!  we just tracked down and arrested a domestic terror cell of mink liberators!
22:25:37  i for one sleep easier at night knowing that the minkacolypse is not looming just over the horizon
22:25:52  crap, wrong channel, sorry #esoteric
22:27:18 -!- pikhq has quit (Quit: Reconnecting).
22:27:24 -!- pikhq has joined.
22:27:40  Purdy.
22:27:54  argh why does the heat wave keep prolonging with each forecast
22:28:32  oerjan, the heat wave's length doubles every 1.5 days
22:28:40  Moore's law
22:28:44  AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA
22:29:18  now it's up to monday
22:30:03  what constitutes a heat wave in trondheim
22:30:31  I wonder if the Purely Functional Data Structures book is useful for Erlang
22:30:34 -!- Burton has joined.
22:32:48 -!- yorick has quit (Remote host closed the connection).
22:37:16  shachaf: the forecast has all these scary 28 numbers
22:38:23  but it's been up to 31
22:38:35 -!- conehead has quit (Ping timeout: 256 seconds).
22:39:17 -!- oerjan has quit (Quit: Argh my back).
22:43:57 -!- vifino has quit (Quit: Me sais Laptop sleepy.).
23:03:46 -!- FreeFull has joined.
23:04:16 -!- vifino has joined.
23:39:21 -!- Phantom_Hoover has quit (Remote host closed the connection).
23:49:52 -!- ^v has changed nick to ^3.
23:49:58 -!- ^3 has changed nick to ^4.
23:50:04 -!- ^4 has changed nick to ^5.
23:50:08 -!- ^5 has changed nick to ^v.
23:56:34 * vifino slaps ^v 
23:56:55 <^v> vifino, u wana go u little shit
23:57:09 * vifino slaps ^v in da face
23:57:29 * ^v slaps the fuq out of vifino
23:57:31 * ^v misses
23:57:33 <^v> f
23:57:38  Nailed it.
23:58:09 -!- realz has quit (Ping timeout: 252 seconds).
23:58:28 * vifino gives ^v a gummy bear