00:00:34 -!- Phantom_Hoover has joined. 00:07:54 -!- atrapado has quit (Quit: quitan). 00:10:45 -!- ^v has joined. 00:11:12 -!- arjanb has quit (Quit: zzz). 00:12:43 -!- Tritonio has quit (Ping timeout: 255 seconds). 00:13:17 -!- mihow has quit (Quit: mihow). 00:24:53 -!- GeoDude has changed nick to GeekDude. 00:33:41 -!- adu has quit (Quit: adu). 00:46:46 -!- kcm1700 has quit (Read error: Connection reset by peer). 00:46:56 -!- kcm1700 has joined. 00:47:33 -!- oerjan has quit (Quit: leaving). 00:51:23 -!- kcm1700 has quit (Ping timeout: 240 seconds). 00:51:58 -!- kcm1700 has joined. 01:01:59 -!- drdanmaku has quit (Quit: Connection closed for inactivity). 01:06:45 [wiki] [[Talk:Folders]] http://esolangs.org/w/index.php?diff=41600&oldid=41590 * Rottytooth * (+470) /* Clarifications? */ response to Keymaker 01:21:46 -!- adu has joined. 01:45:31 -!- rottytooth has joined. 02:08:12 -!- Sprocklem has joined. 02:31:57 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds). 02:46:46 -!- skj3gg has joined. 03:28:32 -!- Tritonio has joined. 03:29:11 -!- Tritonio has quit (Remote host closed the connection). 03:29:56 -!- Tritonio has joined. 03:49:58 What happens if somehow an aura loses its Enchant ability? What happens if something that isn't an aura (such as an Equipment) gains enchant ability? 03:50:38 -!- adu has quit (Quit: adu). 03:51:37 zzo38: Perhaps you can ask in #mtgrules on EFNet. 03:54:50 I wrote this code two days ago. I do not remember why I have two arguments with confusingly similar names. 03:54:56 OK I will try 03:55:15 What is the host name and port number for EFNet? 03:55:28 -!- FreeFull has quit (Ping timeout: 255 seconds). 03:55:51 I think irc.efnet.org:6667 should work. 03:55:53 -!- Pnight has joined. 03:57:23 -!- FreeFull has joined. 03:58:41 hello everybody! 03:58:47 hi 03:58:52 OK it looks like working. 03:58:57 -!- Pnight has changed nick to Eiel. 03:59:18 yes, my first time !!! 03:59:27 looks to me like it's still an enchantment that is now allowed to enchant any object or player. 03:59:42 `relcome Eiel 03:59:43 ​Eiel: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) 04:00:14 zzo38: but can you actually make that happen? 04:00:14 thank you elliott! greetings! 04:01:36 int-e: I thought it might be but an unsure, and it doesn't answer the second question. I do not know if anything can actually make that happen. 04:03:30 -!- skj3gg has quit (Quit: ZZZzzz…). 04:04:06 -!- Eiel has quit (Quit: Luego regreso). 04:04:41 zzo38: "The enchant ability restricts what an Aura spell can target and what an Aura can enchant. " <-- if it isn't an aura that doesn't seem to do anything. 04:05:39 but I agree that it's not perfectly clear. 04:06:45 I think if an aura lost "Enchant" it would make sense for it to be able to be able to enchant anything, because "Enchant X. Enchant Y." means it can only attach something which is both an X and a Y. 04:07:03 So for instance it would be able to enchant permanents, players, cards in graveyards, etc. 04:08:37 -!- skj3gg has joined. 04:11:50 * int-e boggles at the thought of enchanting an ability on the stack... 04:14:03 Yes, if it can enchant anything then clearly it could do that; I knew that part already. 04:14:33 Woohoo, only one small mistake in major code change, other than that, worked on first try! 04:15:33 whoa, want to play prismata? 04:16:02 If you enchanted something on the stack, I would believe that as soon as it resolves or is countered, the enchantment is removed as a state based action, isn't it? 04:16:26 That's what I'd expect. 04:16:38 But you could make e.g. counterspells be enchantments with that mechanism. 04:17:24 shachaf: right now, want to refactor a bit to get rid of the poorly named "place", which is easily confused with "dest" 04:17:58 Or maybe some other shuffling around, putting the warning+copyright below the important stuff or something 04:21:11 [wiki] [[Special:Log/newusers]] create * Scoppini * New user account 04:25:25 -!- Tritonio has quit (Remote host closed the connection). 04:25:43 -!- Tritonio has joined. 04:26:01 -!- Tritonio has quit (Remote host closed the connection). 04:26:28 -!- Tritonio has joined. 04:32:09 shachaf: ok, I'll play 04:32:44 After you're done with Master Bot 04:34:10 whoa, does it let you see my game? 04:35:20 yes 04:36:48 -!- skj3gg has quit (Quit: ZZZzzz…). 04:42:47 -!- nys has quit (Quit: sleep). 04:48:23 Sgeo: What are all those engineers for? 04:48:37 Why block 4 with Wall+Steelsplitter instead of 2 engineers+Wall? 04:50:51 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 04:52:50 -!- MoALTz_ has joined. 04:54:37 -!- rottytooth has quit (Ping timeout: 246 seconds). 04:55:16 gg 04:55:48 The engineers were for a vague hope that maybe I could burst build drones, so that your deadeyes can't take out all of them in a single turn, so I could get more ossifieds 04:56:01 -!- MoALTz has quit (Ping timeout: 264 seconds). 04:56:14 Why did you build two walls after I built a steelsplitter? 04:56:32 That seems way overdefensive. A wall just by itself can absorb 2 damage. 04:56:48 I may have thought it made sense to prepare defensively. Probably not. 04:57:06 Please do not assume that I am good at Prismata 04:58:02 zzo38: Oh, they don't deal in theoretical questions, apparently. 04:59:52 If there are unspecified situations that can occur, does that mean that Magic is allowed to eat your laundry? 05:00:01 -!- skj3gg has joined. 05:03:11 -!- adu has joined. 05:05:35 -!- oren has joined. 05:10:25 But I am interested even in theoretical questions. 05:16:09 so you can enchant a creature's tap ability, without enchanting the creature? 05:17:49 most of this stuff doesn't fit with the way I played Magic in grade 7 05:21:17 see we used a physical STACK of cards 05:22:04 -!- skj3gg has quit (Quit: ZZZzzz…). 05:31:22 No I think you would enchant it when activated, the enchantment goes away when it resolves 05:41:13 -!- Sprocklem has quit (Ping timeout: 255 seconds). 05:45:04 Since they don't want theoretical questions I may ask some more on here: What happens if an aura has living weapon ability? 05:46:21 I think the answer to many of your questions is that it never happens, so the rules don't specify the behavior. 05:46:43 In this case, though: 702.91a. Living weapon is a triggered ability. "Living weapon" means "When this Equipment enters the battlefield, put a 0/0 black Germ creature token onto the battlefield, then attach this Equipment to it." 05:47:22 I read that already. 05:47:49 I guess "this Equipment" is meaningless, actually. Or means the same as "this permanent". 05:48:26 I would think the latter, but it still leaves a few things unclear to me. 05:48:54 It's the latter, I think that's specified somewhere. 05:50:05 I think so too, but it still doesn't fully answer my question. 05:50:29 Yes. I don't have an answer to your question. 05:51:02 Other than that the rules make it reasonably clear that they don't intend to print it on non-Equipment cards. And I don't know of a way you could get it onto cards otherwise. 06:10:13 -!- adu has quit (Quit: adu). 06:28:18 I looked at the rules; it looks like to me that it first is attached to whatever it targeted, and then it tries to become attached to the Germ token if possible. Is that correct? 06:29:19 zzo38: Maybe #mtg on EFNet would be more accepting of theoretical questions. 06:29:21 I don't know. 06:31:51 -!- MoALTz__ has joined. 06:34:29 -!- MoALTz_ has quit (Read error: Connection reset by peer). 06:34:31 i was looking through the list of banned cards, and "Falling Star" seems out of place. 06:40:17 -!- adu has joined. 06:43:48 "< int-e> looks to me like it's still an enchantment that is now allowed to enchant any object or player." - I thought it was like that since Time Spiral, when they added an aura that enchants a card in the gy. 06:44:36 zzo38: "What happens if something that isn't an aura (such as an Equipment) gains enchant ability?" - hmm, there was some way to get an aura equipment in some recent set I think 06:46:40 zzo38: but as for an Aura losing its "enchant" ability, I suspect that's actually impossible in vanilla M:tG, it's only possible in your variant where creature auras don't get removed, but I could be wrong 06:47:00 could you animate and then humiliate an aura without getting state-based actions resolve in between? 06:48:08 hmm, actually, you'd need to animate it, humiliate it, then unanimate it, which is probably impossible 06:54:03 Are there any Magic: the Gathering puzzles involving games of more than two players? If so, are there any that require conceding in order to solve the puzzle? 06:55:02 zzo38: I don't know 06:55:33 it's not hard to set up a situation where conceding will make your team win, but I don't know if there's a good puzzle made from this 06:55:58 I actually have a few ideas relating to such things. 06:58:03 "What happens if an aura has living weapon ability?" -- dunno, but check the set faq and rulings and stuff for the sets in the Theros block, iirc think that was the block where it was first possible to get equipment auras 06:59:03 all I remember is that it could somehow happen to get aura equipment and that they're attached to only one object that both equipment-related and aura-related abilities refer to 06:59:47 I don't quite remember how it could happen though 07:04:51 hmm, can't find that reference to aura equipment 07:12:52 hmm damn 07:13:14 zzo38: that situation I described with conceding in multiplayer to have your team win the game might not work: 07:13:24 "810.8b If a player concedes, his or her team leaves the game immediately. That team loses the game." 07:17:28 however, you could still try to concede to influence which of your opponents win 07:19:20 but that's trivial and doesn't need any rules shenenigans 07:21:17 I was thinking a game following rule 808, not 810. 07:21:57 Therefore, that rule won't apply. 07:37:07 Is 810 the most common team game? Well, I prefer 808. 07:48:19 zzo38: hmm, now I'm no longer sure getting a non-creature aura without enchant is impossible in vanilla 07:48:33 I'll have to investigate whether it's possible 07:49:34 also, as for rules questions, I'd recommend against efnet #mtgrules for these kinds of crazy theoretical rules questions. they're a fine channel for ordinary rules questions, about situations that can reasonably come up in games, but not really for these kinds of esoteric rules situations. 07:53:44 Is it possible to set up a combo with Time Machine that lets you win all future games with the same opponent unless he pulls off a turn zero win? 07:57:52 Hmm no, it isn't. The opponent could concede very early next game to break the loop. 08:06:20 -!- shikhin has joined. 08:07:21 -!- adu has quit (Quit: adu). 08:07:44 -!- Tritonio has quit (Ping timeout: 245 seconds). 08:11:43 -!- Frooxius has quit (Quit: *bubbles away*). 08:53:12 -!- shikhin_ has joined. 08:56:04 -!- shikhin has quit (Ping timeout: 245 seconds). 08:59:39 STM. Totally a stimulant drink drunk by neurons. http://lawcomic.net/guide/?p=3105 09:08:21 -!- shikhin_ has quit (Ping timeout: 244 seconds). 09:20:43 -!- shikhin has joined. 09:22:31 my short term memory is literally a stimulant drink, especially at exam time 09:33:56 @tell Vorpal http://www.rutschle.net/tech/sslh.shtml 09:33:56 Consider it noted. 09:35:36 -!- oerjan has joined. 09:48:44 In windows 7, if I am moving a windows by dragging its title bar, and a new window is mapped to the desktop, that sometimes aborts the window move, but not always. What decides whether it aborts that? 09:48:51 . 09:49:16 Grabbing focus, perhaps 09:49:26 -!- SopaXorzTaker has joined. 09:49:28 -!- SopaXorzTaker has quit (Changing host). 09:49:28 -!- SopaXorzTaker has joined. 09:49:59 Jafet: ah yes, that's possible 09:59:17 -!- King2218 has joined. 09:59:25 -!- King2218 has left. 10:12:40 girl genius, WHY AREN'T YOU UPDATING 10:33:20 oerjan: they're out of ideas for paper dolls? 10:34:17 fiendish 10:34:40 that seems unlikely since these dolls are based on an already existing side story 10:35:30 Yes, I did take that into account. I was trying to come up with a worst case scenario. 10:37:00 they still need to get through gil, tarvek and possibly the jägers 10:37:40 ...no, _certainly_ the jägers. 10:37:49 maybe they needed to remind their kids of who their parents are 10:38:04 ah yes. i remember that. 10:38:08 (there was this "who are you people" gag a while back..) 10:38:39 i know. 10:39:05 'course you do. you tend to remember most of GG better than I :P 10:39:11 heh 10:40:28 I kind of want to do a Girl Genius cosplay 10:40:35 The issue is, how to make it recognizable? 10:40:43 i just reread most of the cinderella story, although that was because it was accidentally linked from an old forum comment in the yafgc forum (it turned out the story had a shoutout to them) that got bumped up. 10:40:57 [wiki] [[Special:Log/newusers]] create * Gamemanj * New user account 10:41:02 I don't really have the figure to cosplay Agatha. The only thing I can think of is Gil in his Schmott Guy hat 10:41:39 Taneb: i recall seeing some cosplay of maxim on their blog (also that via an ancient link) 10:41:48 or wait 10:41:55 it was the cosplayer's blog, i think 10:42:47 also the cosplayer was a girl 10:43:11 maxim _is_ canonically a bishounen jäger 10:43:15 -!- MoALTz__ has changed nick to MoALTz. 10:44:14 * oerjan tries to remember what Taneb looks like again 10:45:05 -!- zzo38 has quit (Ping timeout: 256 seconds). 10:45:16 apparently there's a guy called Raif Taneb 10:45:21 oerjan, I am just under six foot, skinny, brown hair, not short but by no means long, very noticeable eyebrows 10:45:49 Taneb: i don't really have the ability to connect looks and written desciptions 10:47:20 _something_ tells me this guy isn't you https://www.youtube.com/user/nathanvdoorn :P 10:47:49 (trying to find your esoprogramming video, your name/nick doesn't seem like the best search word) 10:49:10 why does "esolang" give all these russian hits 10:49:11 https://www.youtube.com/watch?v=4bekftEG3j4 10:49:30 Heh, I forgot about that 10:49:37 ah there 10:50:40 [wiki] [[Talk:BytePusher]] http://esolangs.org/w/index.php?diff=41601&oldid=40700 * Gamemanj * (+251) /* Announcements */ 10:51:43 hm i found that too but with a different id 10:52:35 oerjan, yeah, it was uploaded twice 10:52:55 First to the person who filmed it's account, then copied to HackSoc's 10:55:40 oerjan: Zeetha, too... 10:56:56 int-e: hm she wasn't in the part of the story i read 10:57:25 oh wait she was the godmother wasn't she 10:57:45 yes. 10:58:14 though maybe they'll skip her; she had only that one outfit, I'm afraid 10:58:15 i started at the point where the yafgc shoutout was, which was after that 10:59:57 Taneb: i was thinking about moloch von zinzer but then you need more beard 11:00:05 oerjan, I can do more beard 11:10:13 oerjan: interesting, I had missed the fact that the science fair was another concentration of shoutouts. (I was aware of the one when Agatha enters Mechanicsburg) 11:11:12 don't worry, i probably miss most shoutouts in general :P 11:12:09 occasionally i notice some, or notice something which just has to be a shoutout but i don't know to what 11:12:23 sure. it just means that I didn't read the texts carefully that time (it was just a side story after all...) 11:13:36 did you know (of course not) that when i first saw the 3 jägers, i thought they were shoutouts to elfquest characters? 11:14:47 oerjan: did you find http://tvtropes.org/pmwiki/pmwiki.php/ShoutOut/GirlGenius ? 11:14:50 i thought maxim looked vaguely like rayek, ognian vaguely like cutter and dimo vaguely like a troll 11:14:59 no 11:21:55 -!- Lymia has quit (Ping timeout: 256 seconds). 11:24:24 -!- Frooxius has joined. 11:25:35 oh wow, the companion cube is hard to recognize... 11:26:03 ( http://www.girlgeniusonline.com/comic.php?date=20141024 ) 11:26:03 (input):1:5: error: expected: "!!", 11:26:04 "$", "$>", "&&", "&&&", "*", 11:26:04 "***", "+", "++", "+++", "-", 11:26:04 "->", ".", "/", "/=", ":+", 11:26:04 ":-", "::", ":::", ":=", "<",↵… 11:26:21 idris-bot: I forgive you 11:28:05 sometimes i regret suggesting the ( prefix 11:28:29 but bots _shouldn't_ give multiline responses to unknown commands, anyway. 11:28:51 > let f x = x x in x x x x x 11:28:52 Couldn't match expected type ‘Debug.SimpleReflect.Expr.Expr 11:28:52 -> Debug.SimpleReflect.Expr.Expr 11:28:52 -> Debug.SimpleReflect.Expr.Expr 11:28:54 it should be ) 11:29:02 that's not an unknown command 11:29:04 > (\u -> u u) 11:29:05 Occurs check: cannot construct the infinite type: t1 ~ t1 -> t 11:29:05 Relevant bindings include u :: t1 -> t (bound at :1:3) 11:29:24 vanila: there's already a ) 11:29:27 ) 11:29:30 (idris-bot doesn't trigger so easily) 11:29:32 ) as 11:29:58 (but I tend to put spaces around URLs to help copy&pasting.) 11:30:06 vanila: well the bot isn't actually _here_ any more. 11:30:11 OK! 11:30:25 % help 11:30:27 vanila: the _reason_ i suggested ( was to balance out that ) in fungot's prefix list 11:30:27 oerjan: this is just what makes sense 11:30:33 -!- Frooxius has quit (Quit: *bubbles away*). 11:30:37 lol 11:30:38 oerjan: I think it's fine. 11:30:51 > fnord 11:30:53 Not in scope: ‘fnord’ 11:31:00 > fob wfø wohiqw 11:31:01 Not in scope: ‘fob’ 11:31:01 Perhaps you meant ‘T.for’ (imported from Data.Traversable)Not in scope: ‘wfø... 11:31:03 -!- Frooxius has joined. 11:31:04 * int-e swats oerjan. 11:31:17 ok i guess lambdabot isn't entirely innocent. 11:31:31 -!- Jafet has left. 11:31:35 > ''ø 11:31:35 -!- Jafet has joined. 11:31:36 Syntax error on ''ø 11:31:36 Perhaps you intended to use TemplateHaskell 11:32:36 > text $ replicate 10 '\n' 11:32:37 Terminated 11:33:15 > text $ concat $ replicate 10 "Terminated\n" 11:33:16 Terminated 11:33:16 Terminated 11:33:16 Terminated 11:33:31 > text $ replicate 10 '\n' 11:33:32 Terminated 11:33:39 > text "\n" 11:33:40 Terminated 11:33:44 aha 11:34:15 it strips final newlines, and only then decides whether there's no output 11:34:30 > text "\n " 11:34:35 smart! ;-) 11:34:45 now what. 11:34:58 > text $ replicate 1024 '\n' ++ "a" 11:34:59 Terminated 11:35:04 > text $ replicate 1023 '\n' ++ "a" 11:35:06 a 11:35:17 > text " " 11:35:30 int-e: i sense a bug 11:36:03 no 11:36:12 -!- zzo38 has joined. 11:36:15 I think I need to learn more Haskell. 11:36:19 well, not the 1024 thing anyway. 11:36:22 > text " " 11:36:23  11:36:39 so, step 1: strip newlines 2: decide whether it's empty so print Terminated. 3: strip whitespace 4: decide whether it's empty so print nothing 11:36:43 `unidecode   11:36:43 ​[U+00A0 NO-BREAK SPACE] 11:36:52 VERY LOGICAL 11:36:56 `unidecode  11:36:56 ​[U+00C2 LATIN CAPITAL LETTER A WITH CIRCUMFLEX] 11:36:59 fucking unicode 11:37:06 > tect " \n" 11:37:07 Not in scope: ‘tect’ 11:37:07 Perhaps you meant ‘text’ (imported from Text.PrettyPrint.HughesPJ) 11:37:11 > text " \n" 11:37:24 > text " \n \n " 11:37:51 > text " \n a \n " 11:37:52 a 11:37:52 11:37:56 I bet it's a feature ;-) 11:38:00 OKAY 11:38:11 funny though 11:47:11 -!- ais523 has joined. 12:14:39 according to my analysis, the best type of pokemon is fairy/steel 12:14:51 klefki, mega mawile 12:14:55 the worst is ice/rock 12:14:59 both of which are in fact widly used in various metagame 12:15:01 *metagames 12:15:11 and yes, ice/rock is absolutely terrible except as a glass cannon setup 12:15:18 it's not too bad wrt coverage, but it's somewhat redundant 12:15:33 rock bottom 12:15:45 * J_Arcane battles an existential crisis 12:15:54 J_Arcane: you exist 12:15:56 did that help? 12:15:58 I think I saw somewhere what is the worst single type in Pokemon Red they calculated by computer, the result is rocks. 12:16:14 basically i wrote a program to evaluate the type combos according to how many types are good against them 12:16:15 ais523: yes, but what purpose in existing if you fail to provide function? 12:16:20 if that didn't help we'll just have to kill you instea 12:16:23 *+d 12:16:44 J_Arcane: well if you don't know what your purpose is, you can make it your purpose to find out 12:17:18 oren: it strikes me as odd that someone would a) be the type of person to do that, and yet b) include fairy (even dark and steel are a bit weird) 12:17:49 ???? 12:18:10 I use ghost type in pokemon emerand 12:18:11 well everyone knows in the old games only psychic and dragon were worth fielding 12:18:19 I love ghosts. 12:18:23 vanila: your ???? is lacking context, it would describe pretty much everything that happens in this channel 12:18:27 HAHaha 12:18:33 I tried to beat platinum with an all ghost team. 12:18:35 oren: not true 12:18:42 the perfect team for Pokémon Red/Blue was solved quite a while ago 12:18:46 platinum was wicked fucking hard. 12:18:52 unfortunately I can't remember all of it offhand 12:19:08 Tauros, Chansey, Exeggcutor, um… 12:19:18 either Rhydon or Golem, they're so close it makes no real difference 12:19:30 (because you absolutely have to have a zapdos counter or you just lose) 12:19:36 everyone i knew had 3 Alakazam, Mewtwo, Dragonite, Articuno 12:19:44 or womething like that 12:19:54 oh, this is normally assuming that mewtwo is banned and you can't use duplicates 12:20:06 otherwise, the best team is probably either 6 mewtwo or 6 tauros, they're cloes 12:20:46 why not duplicates? 12:21:00 duplicates of non-legendray are easy toget 12:21:04 it's just a commonly enforced rule, partly because so many people assume it's a rule 12:21:12 and even 1 tauros is pretty hard to get, really, in RB 12:22:20 so the assumption is "if you can get anything you want…" 12:22:21 -!- ais523 has quit. 12:22:26 -!- callforjudgement has joined. 12:23:12 -!- callforjudgement has changed nick to ais523. 12:23:47 When dark came, Alakazam was no longer a evil killing machine, i was sad... 12:24:09 I think Alakazam might also be on the perfect team 12:24:28 apparently, mostly as the Pokémon that the opponent puts to sleep 12:24:37 (another commonly enforced rule is that you can't put more than one opposing Pokémon to sleep) 12:26:09 but Alakazam has plenty of counters even in RB 12:26:21 e.g. it can't do anything to Chansey, who will paralyse it 12:26:27 and then it'll die to everything 12:26:33 Hmm... that is pretty far from the way i played it in primary school... Alakazam was countered by Dargonite usually 12:27:01 well we've had well over 10 years to solve the game 12:28:11 that's true. the days of mewtwo -> dragonite -> articuno -> charizard are over 12:28:21 articuno is actually pretty bad 12:28:29 but kills dragonite 12:28:43 or, hmm, no, it's not that bad 12:28:46 misread the guide I'm using 12:29:01 and there aren't that many ice pokemon in RBY anyway 12:29:32 did you see AGDQ? 12:29:39 the reprogrammed pokemon 12:29:47 vanila: did you see the credits for that run? 12:30:04 im not sure, i was talking about the one yesterday 12:30:08 so am I 12:30:13 I guess i missed it 12:30:17 I'm partly responsible for it, is the point I was getting at 12:30:21 oh! 12:30:24 well done :D 12:30:28 that was really stunning 12:30:31 so while everyone else was really happy watching it 12:30:41 I was really nervous, hoping everything would work 12:30:54 not everything did work, but enough did that we were able to pull off something spectacular anyway 12:31:19 ais523: is this the tasbot? 12:31:21 yeah i can imagine! 12:31:28 that would be very nerve-wracking 12:31:45 -!- ais523 has quit. 12:31:52 [wiki] [[Musical notes]] http://esolangs.org/w/index.php?diff=41602&oldid=41447 * TomPN * (-98) /* Syntax */ 12:31:56 -!- ais523 has joined. 12:31:57 oren: so looking this up, articuno loses to starmie, which is the most common reason it isn't used much 12:32:08 I should redo my program to take into acount typical stats of a type combo 12:32:48 ais523, how do you get involved in something like that? 12:33:03 articuno also loses to Mewtwo though... some people used lapras instead 12:33:39 vanila: well dwangoAC organizes the TAS representation at AGDQ, and I've been working with him on another project for over a year now 12:34:10 ais523: on a different note, after what zzo38 said, I'm now wondering about something in M:tG: 12:34:51 Namely whether it's possible to get a situation where you have a non-creature aura without an "enchant" ability in play at a point when the game tries to determine what it can be legally enchanted to. 12:35:31 The rules don't seem quite clear what would happen if that occurred, but I don't know if it's possible in first place. 12:35:35 [wiki] [[Dimensions]] http://esolangs.org/w/index.php?diff=41603&oldid=41448 * TomPN * (-98) /* Loops */ 12:36:56 I think all the existing "lose all abilities" effects only apply to creatures, but you might be able to find one with an until-end-of-turn duration 12:36:58 oh right, Turn 12:37:11 so I think it's doable 12:38:29 [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41604&oldid=41449 * TomPN * (-1) /* Quantum entanglement */ 12:38:51 Wow. FPComplete is actually really cool. 12:41:05 ais523: oh, Turn! nice, I didn't think of that 12:41:36 [wiki] [[RingCode]] http://esolangs.org/w/index.php?diff=41605&oldid=41428 * TomPN * (-56) 12:43:34 b_jonas: oh "copy enchantment" is an interesting card, it's an enchantment without target (but a triggered ability.) In fact that card tickles the rules about targets in interesting ways - see the first ruling at http://gatherer.wizards.com/Pages/Card/Details.aspx?multiverseid=83807 12:43:37 ok, so how does that work? I animate the aura, cast Turn at it, then unanimate it, and its abilities remain lost until end of turn. 12:43:40 that works 12:44:40 and that strange state lasts long enough that I can even cast spells or try to reattach it with Simic Guildmage's ability 12:46:49 b_jonas: Uhm, "An Aura that's also a creature can't enchant anything. If this occurs somehow, the Aura becomes unattached, then is put into its owner's graveyard." (as a state-based effect) 12:47:22 int-e: sure, but the question is what objects an aura without "enchant" can legally enchant, 12:47:37 -!- Phantom_Hoover has joined. 12:48:10 int-e: the rules basically say that the "enchant" ability determines what an aura can legally attach to, with the exception that if the aura is a creature it can't be attached to anything, and that an aura can never be attached to itself legally 12:48:11 The rules say that enchantments work on objects and players. 12:48:23 and Enchant restricts that set. 12:48:24 yes, object and player sorry 12:48:26 you'd have to make it into a nonenchantment creature first 12:48:28 then Turn it 12:48:32 then undo the type changing 12:48:39 err, nonaura creature 12:48:42 being an enchantment would be fine 12:48:53 so maybe it isn't possible 12:49:24 ais523: hmm... you have to make it non-aura temporarily? that might be easiest by rewriting it with a copy 12:49:33 ais523: hmm actually 12:49:39 there might be an easier way: 12:49:55 we don't have a "target permanent becomes a copy of another target permanent until end of combat", though (or some duration that's shorter than a turn) 12:50:02 or "enchanted permanent is a copy of target permanent" 12:50:05 just manifest an aura, then Turn it, then use the special action from manifest to turn it up so it becomes an auura 12:50:21 b_jonas: doesn't work, manifest special action only works on creatures 12:50:26 hmm... 12:50:31 cards that are creatures on the front, that is 12:50:39 I think, at least 12:50:45 oh, don't use the special ability 12:50:48 use Break Open 12:51:03 that works on everything that's a creature on the back (i.e. everything), and not an instant or sorcery on the front 12:51:08 can you overwrite a non-creature artifact enchantment with a copy somehow? 12:51:26 break open, good idea 12:51:50 well, I hope it's a special action like morph's 12:51:50 holy crap, mewtwo still has monstrous stats 12:51:56 we won't know for sure until the setfaq comes out 12:52:19 oh, that reminds me 12:52:45 it is a special action, it says so in the mechanics preview article 12:52:51 oren: have you seen mewtwoite x / mewtwoite y? 12:53:32 -!- vanila has quit (Remote host closed the connection). 12:53:54 not only does the new mtg homepage no longer has an obvious link to a list of all set faqs; but also even though the pages of earlier sets link to their set FAQs, http://magic.wizards.com/en/game-info/products/card-set-archive/khans-of-tarkir doesn't link to a set faq. 12:54:15 where's the Khans of Tarkir set FAQ, I hope they haven't discontinued set FAQs 12:54:17 ? 12:54:30 oh, it does link to the faq, just on a differnet place 12:54:31 whew 12:55:11 I'll have to download that 12:55:29 (doesn't load, damn it) 12:58:26 Also, why the hell isn't there a game in Orange Islands? 13:00:21 ais523: there's another way, without face down permanents. animate a Mizzium Transreqliquat, activate its ability to copy an artifact aura, and as a reaction, cast Turn to the Transreliquat. 13:00:59 but manifest, Turn, Break open is easier 13:01:04 zzo38: did you get this? 13:01:06 oh, the copy effect causes it to stop being a creature 13:01:27 ais523: nah, you can just make it no longer be a creature at instant speed 13:01:35 by destroying Animate Artifact 13:01:46 you can animate and unanimate artifacts any time you like 13:01:54 ah right 13:02:00 ok, not quite, but any time you can cast spells 13:02:33 I can't load the Khans of Tarkir set faq 13:02:47 guess I'll have to try again in the evening, the wizards website sucks 13:04:38 sorry if I interrupted the pokemon conversation 13:04:50 nah this is more interesting 13:05:17 how dare you interrupt their off-topic conversation with another one 13:05:48 oerjan: actually the mtg one is somewhat on-topic because it's about obfu-uses of M:tG, not normal uses 13:05:54 ew can have multiple conversations at once 13:05:57 OKAY 13:06:06 I don't know if it counts as more on-topic than the pokemon one though 13:06:06 oerjan: I'd claim http://esolangs.org/wiki/StackFlow is ontopic 13:06:22 even though writing that page required me to know about various obscure M:tG cards 13:07:41 someone should invent a tabletop game so complex it is possible to make the referees have to solve the halting problem 13:07:57 oren: M:tG is already like that 13:08:05 oren: because of its rules about infinite loops 13:08:14 those rules, sadly, are also underspecified 13:08:40 oh shit i forgot about those... so they have to know whther the loop is infinite or not 13:08:46 but you can imagine specifying them completely in an ideal world, but they still have to require to solve the halting problem 13:09:09 oren: yes, and as the rest of M:tG is turing complete, those rules make the judges require to solve the halting problem in theory 13:09:32 in practice, you might not be able to set up an interesting enoguh situation without running out of time or some other implementation limit first 13:09:46 -!- callforjudgement has joined. 13:09:54 b_jonas: StackFlow /literally/ solves the halting problem 13:09:56 in any case you may need a co-operating opponent 13:10:03 -!- ais523 has quit (Disconnected by services). 13:10:05 -!- callforjudgement has changed nick to ais523. 13:10:11 the only remaining thing to do is to somehow set it up in a tournament 13:10:38 and then grin and say "Problem, ref?" 13:10:42 ais523: if you try that, they _might_ penalize you with an unsportsmanlike conduct or something 13:10:46 you might be able to do it in Vintage; Slaver Control is a real deck there, and one of its win conditions involves taking control of all your opponent's turns 13:10:54 s/with/for/ 13:11:13 ais523: it's easier to get a match with a co-operating opponent 13:11:16 so all you'd need to do in your own deck is one copy of Research//Development, plus a sideboard containing cards necessary to set the combo up 13:11:20 b_jonas: not under sanctioned conditions 13:11:27 why not? 13:11:32 an alternative would be to set it up on Magic Online, get both players to pass the turn 13:11:36 and see what happens 13:11:55 b_jonas: because there's a rule against allowing anything other than normal Magic play to determine the winner of a game 13:11:59 ais523: um, I think Magic Online has different rules for infinite loops 13:12:18 yes, it forces you to play all the turns out manually, and uses chess clocks to penalise you if you take too long 13:12:27 however, there's a "skip responses until end of turn" button 13:12:36 and the StackFlow construction is a chain of triggered abilities that trigger each other 13:12:41 with no player interaction involved, no choices either 13:12:41 sure 13:13:01 I even made sure to require that if two abilities triggered simultaneously, it was from different players 13:13:34 ais523: can it be set up with only two players? 13:13:46 yes 13:13:49 also made sure of that 13:14:35 unfortunately it requires setting up a few hundred creature and enchantment tokens and using various cards to rewrite their rules texts 13:18:34 what's the time limit for an entire mtgo game? 13:18:36 which might be hard to do within the mtgo time limit, even though the cards are probably not too hard to get hold of 13:18:39 like 50 minutes per player 13:18:40 is it about a week? or much less? 13:18:48 -!- oerjan has quit (Quit: leaving). 13:19:13 50 minutes per player? hmm 13:19:35 is there a way to get more time than that somehow? 13:19:42 I don't know, I don't play mtgo 13:21:25 mtgo v10 13:21:26 mtgox 13:28:36 "magic the gathering online exchange" 13:29:24 apparently it was never actually used for mtg, though 13:34:44 [wiki] [[User talk:Crewjony]] http://esolangs.org/w/index.php?diff=41606&oldid=41597 * Crewjony * (+36) 13:36:41 http://esolangs.org/wiki/StackFlow#Syntax - special keywords followed by a colon, and then entry lines starting with an asterisk? that's not markdown, that's emacs-info based. 13:38:09 well, not quite, because the emacs-info format also needs an asterisk heading for the special keyword commands. 13:38:15 -!- oren has quit (Ping timeout: 244 seconds). 14:00:39 -!- Solace has joined. 14:01:19 -!- Solace has changed nick to Solace|skool. 14:09:26 -!- Tritonio has joined. 14:09:32 https://www.destroyallsoftware.com/talks/wat 14:14:55 classic. 14:17:44 just that URL is mindblowing 14:17:47 I haven't dared to actually click it 14:22:47 -!- Phantom_Hoover has quit (Ping timeout: 250 seconds). 14:22:47 -!- reynir has quit (Ping timeout: 245 seconds). 14:26:15 I enjoyed https://www.destroyallsoftware.com/talks/the-birth-and-death-of-javascript more 14:28:55 ^botlist 14:30:00 ^prefixes 14:30:01 Bot prefixes: fungot ^, HackEgo `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, idris-bot ( , jconn ) , blsqbot ! 14:30:05 is that what you were looking for? 14:30:33 ais523, I was looking for the list that fungot ignores (is there such a list?) 14:30:34 Taneb: at installs it automagically on any box. so far i've not found that with the usual colors. 14:30:58 Taneb: you'd have to ask fizzie about that 14:35:26 are there huffman-based compressed formats where the bits that you have to be conditional on for decoding because they determine the lengths are in separate streams from the bits that you don't have to be conditional on? 14:36:44 I wonder if perhaps such a format could be faster to decode than a traditional huffman-based format like deflate/zip/png or jpeg 14:37:46 well 14:37:52 pt sucks for font sizes 14:37:53 that's for sure 14:39:13 something like this might already exist of course 14:47:32 -!- Tritonio has quit (Remote host closed the connection). 14:48:05 -!- Tritonio has joined. 14:50:21 -!- reynir has joined. 14:50:24 -!- reynir has changed nick to Guest74803. 14:53:33 -!- shikhin_ has joined. 14:56:34 -!- shikhin has quit (Ping timeout: 250 seconds). 15:01:52 -!- adu has joined. 15:07:53 -!- SopaXorzTaker has quit (Quit: Leaving). 15:10:49 -!- drdanmaku has joined. 15:11:21 -!- perrier has quit (Remote host closed the connection). 15:11:58 -!- Lymia has joined. 15:21:08 although vh sucks for huge monitors 15:21:09 somehow. 15:21:11 but oh well. 15:21:46 -!- Tritonio has quit (Read error: Connection reset by peer). 15:22:17 -!- Tritonio has joined. 15:27:58 fucking css 15:28:09 is there no relative to 1% of the viewport IN CENTIMETERS 15:28:12 not fucking pixels 15:28:44 mroman: does calc() do what you want? 15:28:58 I was considering writing a generator to work out the perfect series of nested divs to do that sort of calculation 15:29:05 then the browser manufacturers added it to CSS isntead 15:29:07 *instead 15:32:00 ais523: I'm trying to figure out a way to calculate the font-size I need to make it readable on small screens (smartphones) as well as screens such as 24" TFTs 15:32:15 oh, ugh 15:32:20 I'm not sure there's an easy way to do that 15:32:22 The problem is 15:32:27 you can do stuff like 2vw 15:32:32 which is 2% of the viewport width 15:32:41 which is still too small on smartphones 15:32:53 but a little bit too big for 24" TFTs with HD resolution 15:33:05 mroman: just set it to the default font size? 15:33:18 hm 15:33:38 or a multiply of that 15:34:10 the default font-size on android is apparentely ridiciously small 15:34:10 oh! they added "rem", font size of the root element 15:34:12 convenient 15:34:26 I wnated that, but all css used to have was the font size of the parent element 15:34:50 great 15:34:51 hm 15:34:54 there's 15:34:57 apparentely 15:35:01 let me try that one 15:35:26 note that most weird-screen-sized browsers are good at zooming 15:35:33 \o/ 15:35:33 | 15:35:33 /| 15:35:37 yep 15:35:48 works like a charm. 15:35:55 awesome 15:37:16 they have a calc(...) value which lets you put an expression using add, subtract, multiply, division, but no min or max operators? that's crazy 15:37:42 and sad. 15:39:00 there's separate min-width and max-width properties I think 15:40:13 FireFly: sure, but calc is for more complicated expressions 15:40:17 what's this? 15:40:22 Solace|skool: CSS 15:40:29 http://www.w3.org/TR/css3-values/#calc-notation 15:40:32 I guessed 15:40:37 http://mroman.ch/new/page.html 15:40:55 now it looks decent in my 24" TFT and on my smartphone 15:41:41 and yes, I'm a fan of simple designs with not too much stuff around 15:42:27 this is some code really long weird line 15:42:51 Is it supposed to have a green shading behind it 15:43:10 yes 15:44:12 How'd you Do that 15:47:23 -!- ais523 has quit (Read error: Connection reset by peer). 15:47:46 -!- callforjudgement has joined. 15:47:46 -!- callforjudgement has quit (Changing host). 15:47:46 -!- callforjudgement has joined. 15:48:28 Solace|skool: with background-color? 15:48:56 yes 15:49:10 all I can do is colour text 15:51:52 int-e: what was that spit screen thing again 15:53:59 Alright. I'm quite happy with that now. 15:54:09 Now I have the design. Now I need some ideas for content. 15:54:33 (It may be supposed to replace http://mroman.ch/) 15:56:50 I've got my own homepage at it even says "Hi". 15:56:54 damn 15:57:01 I've got my own homepage and it even says "Hi". 16:00:32 [wiki] [[Special:Log/newusers]] create * Tadeboro * New user account 16:00:59 hm 16:01:36 yay new person 16:01:48 also you are all pink 16:01:59 So? 16:02:13 this is very bright I must edit the colours 16:02:59 I see. 16:14:50 -!- Sprocklem has joined. 16:15:25 -!- mihow has joined. 16:15:35 -!- MoALTz has quit (Quit: Leaving). 16:19:26 `unidecode ▯ 16:19:27 ​[U+25AF WHITE VERTICAL RECTANGLE] 16:20:46 somehow I think that didn't work as intended 16:21:22 [wiki] [[Eodermdrome]] http://esolangs.org/w/index.php?diff=41607&oldid=35375 * Tadeboro * (+79) Change implementation section: add first implementation. 16:21:28 why? 16:22:03 :O 16:22:39 U+25AF TOWER OF IMPERIALISM 16:24:27 someone impled eodermdrome? 16:24:52 "capable of executing a couple of commands per second" 16:24:56 sounds pretty eodermdrome to me 16:26:28 [wiki] [[Eodermdrome]] M http://esolangs.org/w/index.php?diff=41608&oldid=41607 * Ais523 * (+6) fix cats; copyedit 16:27:53 I'm done with that language 16:28:16 because it is now implemented? 16:32:46 -!- hjulle has joined. 16:36:15 -!- callforjudgement has changed nick to ais523. 16:40:36 That guy must have a really slow computer, as my brute force interpreter does hundreds of substitutions per second 16:43:25 ye 16:44:15 byr 16:44:19 bye* 16:49:14 -!- Phantom_Hoover has joined. 16:49:28 -!- Phantom_Hoover has quit (Changing host). 16:49:28 -!- Phantom_Hoover has joined. 16:51:25 ais523: also, 2 out of 2 extant interpreters don't implement the punctuated-whitespace syntax hth 16:51:48 oh no, is the language going to get Underloaded again? 16:53:11 What is Underloading 16:55:34 where a language has some minor syntactical restriction that interpreter after interpreter forgets to implement 16:55:46 until eventually it gets removed from the definition of the language due to weight of interpreter opinion 16:57:26 I'm pretty sure that's older than underload 16:58:38 probably 16:58:43 underload may be the most prominent case though? 17:00:31 C++ template export...... 17:02:32 -!- Sprocklem has quit (Ping timeout: 265 seconds). 17:04:18 C++ isn't an esolang :-( 17:04:25 what 17:04:31 also, C++ has so many relevant features that saying "C++ed" would be ambiguous 17:04:43 design by committee? 17:04:56 That's true; most esolangs aren't 17:05:01 Perhaps they should be 17:05:29 well The Project That Shall Not Be Abbreviated As ABCDEF was a miserable failure 17:06:38 do F# repls exist? 17:06:51 ais523, I much prefer ABCDEF... G 17:07:07 -!- Sprocklem has joined. 17:12:35 where a language has some minor syntactical restriction that interpreter after interpreter forgets to implement 17:12:37 what was this 17:12:59 most recently, any-punctuation-cancels-whitespace in Eodermdrome 17:13:04 previously, " in Underload 17:14:33 ais523, also [] in Underload? 17:14:54 why did underload even reserve []<> 17:15:17 to get to the other side? no wait. for future use? 17:15:23 originally, for Overload compatibility, then I realised reserved characters would make writing interps in underpowered languages easier 17:15:23 42? 17:17:50 -!- shikhin_ has changed nick to self. 17:19:41 -!- self has changed nick to shikhin. 17:24:07 -!- shikhin has changed nick to sighin. 17:25:50 -!- sighin has changed nick to Their. 17:27:33 -!- S1 has joined. 17:27:47 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds). 17:28:43 is 42 like a really really old version of 2014? 17:29:55 -!- Their has changed nick to shikhin. 17:30:25 -!- shikhin has changed nick to Guest94935. 17:30:33 -!- Guest94935 has changed nick to shikhout. 17:30:51 -!- shikhout has changed nick to shikhin. 17:34:04 Welcome to Try F#! Your system does not support the execution of F# code in the browser. 17:34:11 I tried Firefox and Chromium 17:34:42 let me try with user agent set to IE11 17:34:46 You need the Silverlight plugin. 17:34:55 ah right 17:34:56 IT doesn't tell you this, for some reason. 17:35:12 that could be very awkward, seeing as silverlight's been discontinued 17:35:13 I had a problem in Chrome and Opera both just loading the bar and then nothing happening. 17:35:31 all I want to do is typecheck one term 17:35:43 (a term that has previously been mentioned in #esoteric) 17:35:46 ideone has F# 17:36:57 -!- ais523 has quit. 17:37:01 -!- callforjudgement has joined. 17:37:06 https://ideone.com/a2jtJ6 17:37:25 oh, thanks 17:37:35 I was busy using a search engine to determine the appropriate TLD 17:37:46 No REPL or fancy Intellisense completion, but it does in a pinch. 17:38:37 right 17:38:44 let's hope it prints the type of a term if I just enter it directly 17:39:27 "standard output is empty" 17:39:30 not really very useful 17:39:39 The sure way to get its type is to make a typo 17:39:53 oh ofc 17:39:57 and get it from the error message 17:39:58 actually, better 17:40:03 I'll try to add an int to it 17:40:53 weird, I'm still getting "success" 17:41:42 "error FS0002: This function takes too many arguments, or is used in a context where a function is not expected" 17:41:47 oh come on 17:41:55 are Microsoft's error messages really that bad? 17:42:29 -!- Tritonio has quit (Remote host closed the connection). 17:43:13 -!- Tritonio has joined. 17:43:44 They aren't the best, no. 17:44:04 What's frustrating me mroe is that MS apparently doesn't believe that F# should be used to actually write an application. 17:44:25 -!- callforjudgement has quit (Read error: Connection reset by peer). 17:44:35 -!- callforjudgement has joined. 17:45:29 ^source 17:45:29 https://github.com/fis/fungot/blob/master/fungot.b98 17:46:22 I can get it to show types sometimes 17:46:23 but only simple ones 17:46:52 -!- callforjudgement has changed nick to ais523. 17:47:45 got it 17:47:59 the trick was to add an int that was specifically typecast to int to the function 17:49:50 It's unfortunate, and hopefully something that the open source team can start expanding on. As an MS project, F# is basically expected to be a library language for writing algorithms. Their answer to the state problem is 'fuck it, write that part in C#' mostly. 17:50:27 Which is a bummer, and also useless, because the whole reason I wanted to learn F# was to be able to make Windows apps in a functional language. 17:54:14 ugh, adding newlines to this actually changes the meaning of the code 17:54:31 Yes. 17:54:46 is there a "continue onto next line" operator? 17:55:00 * ais523 tries backslash-newline 17:55:03 nope 17:55:08 let in particular is whitespace sensitive: let = on single line is an assignment, let = followed by newline and indent is a function. 17:55:19 aha 17:55:22 except it isn't that 17:55:23 What are you trying to do? 17:56:00 here's my code: 17:56:08 (fun m -> fun n -> (fun f -> f(m)(f(n)(fun z -> z)))(fun x -> (fun y -> y))) + (4:int) 17:56:38 this is intended for my PhD thesis as an illustration that most practical type algorithms don't do rank-2 type inference 17:57:01 whoa, is your PhD thesis about rank-2 type inference? 17:57:01 and so I want to try it on a range of practical type inference algorithms to demonstrate that they give it the "wrong" type 17:57:08 shachaf: indirectly 17:57:17 it's about contraction 17:57:19 -!- GeekDude has joined. 17:57:27 i.e. "the act of using the same lambda binding more than once" 17:57:28 People say that rank-2 types are inferrable but I'm not really sure what they mean. 17:58:13 they mean that an algorithm exists which, given a program, will work out whether it is possible to place rank-2 type annotations at appropriate points in the program so that that program types correctly 17:58:23 (and also tell you where to put them) 17:58:33 (and what they are) 17:58:34 There's no "most general type", though, right? 17:58:49 It's the same issue as inferring existentials, I guess (or a very similar one). 17:58:57 inferring existentials also comes up :-) 17:59:02 You can give (\x -> x x) a rank-2 type but I don't know that you want to. 17:59:19 ais523: http://pastebin.com/X21YdG0q 17:59:22 but yes, there isn't a requirement for the type inference algo to be compositional 17:59:41 J_Arcane: that's exactly what I get from ideone 17:59:45 my current issue is more mundane 17:59:58 the function, as written, is sufficiently long that at the font size I'm forced to use 18:00:01 it doesn't fit on the page 18:00:12 "you can make it type-check with *some* type" doesn't seem all that useful. 18:00:14 Ahh. Hmm. 18:00:39 Maybe I'll read your thesis when it comes out. 18:00:56 shachaf: it's useful in that you can just write your whole program 18:01:04 and the types will sort themselves out for you 18:01:15 actually I'm not sure if rank-2 inference is actually enough in this case, it's an open problem 18:01:55 rank-2 inference is sufficient to make the premises of my existing proof that something is badly broken not hold 18:02:06 mostly I've been getting around the problem with intersection typing though 18:02:31 It seems that for the types to sort themselves out for you, you need to infer the right rank-2 types. But maybe I'm not thinking that through. 18:02:46 shachaf: that only happens if you run inference on a bit of the program at the time 18:02:56 as in, it infers the right type for your program, but it needs information on what the program is to do that 18:03:16 (this is the general definition of a non-compositional algorithm, incidentally) 18:03:22 at least, I think it's non-compositional 18:03:30 Fair enough. 18:03:39 It seems to me that the whole point of types is to be compositional. 18:03:55 well, the way I think about it, is there's two layers 18:03:57 But maybe they have other points too. 18:04:01 ais523: It seems you can safely newline after the -> if you follow that with a tab (4 spaces). 18:04:13 At least it doesn't complain in VS2013. 18:04:28 your actual syntax is compositional, the process of working out what to put in the syntax doesn't have to be 18:05:27 error FS0030: Value restriction. The value 'it' has been inferred to have generic type 18:05:29 val it : (int -> '_a -> '_a) 18:05:30 Either make the arguments to 'it' explicit or, if you do not intend for it to be generic, add a type annotation. 18:05:43 ais523: Are existentials also inferrable in the same context? 18:05:50 -!- Lorenzo64 has joined. 18:06:07 I vaguely remember talking with dolio or someone about this but I don't remember the details of the conversation. 18:06:18 shachaf: in my special context, yes, but it's a very unusual situation 18:06:46 actually what I did was to put enough restrictions on the language that existentials and universals were equivalent, in the one special case where I needed existentials 18:06:54 which clearly doesn't work in general 18:09:18 Is there anything that does whole-program inference? 18:11:03 it seems like a reasonable thing to do when compositional inference doesn't work 18:11:12 my research compiler does whole-program inference of SCC 18:11:27 I don't know of a compositional algo for that, there might be one though 18:11:32 Right, but is there anything you know that does it? 18:11:34 SCC? 18:12:26 Strongly connected components? 18:16:14 syntactic control of concurrency 18:16:31 hmm, trying to get clojure to give me a useful type error is harder, so far I haven't figured out whether it's statically or dynamically typed 18:17:19 -!- mihow has quit (Quit: mihow). 18:18:37 OK, dynamically typed 18:18:40 so it doesn't even do type inference 18:18:45 next! 18:20:12 Statically typed Lisp would be an anomaly. 18:20:24 -!- S1 has quit (Quit: S1). 18:20:31 Gregor: well I tried to work out statically typed Underload once 18:20:43 I think it needs at least rank 2 types to work, though, probably more 18:20:47 I said an anomaly, not an impossibility. 18:21:17 Also, all languages are statically typed if you define "type" to be a sufficiently-useless concept :) 18:21:51 There is one type. That type is called 'thing'. All values are of type 'thing'. This is statically guaranteed. 18:22:29 Gregor: I actually define untyped lambda calculus like that in my thesis (only I called the type 'func') 18:22:49 Delightful! 18:23:30 oh, and apparently Scala doesn't do type inference 18:23:42 if you want a function, you have to write the types on manually 18:24:31 hmm, based on my research so far, it seems like Haskell and OCaml really are the only really viable languages for highly functional programming atm 18:24:54 Idris :P 18:25:09 ais523: That's pretty standard, isn't it? 18:25:09 Scala is considered viable by many 18:25:12 coppro: I actually have a requirement that the language isn't dependently-typed 18:25:23 depends what you mean by "highly functional" though 18:25:29 coppro: not doing type inference at all is something of a dealbreaker for me 18:25:31 The whole T ~ T -> T CCC thing 18:25:44 What was that joke CS journal? It had SHA jokes in it among other more interesting things 18:26:24 ais523: and you're requiring statically typed as well? 18:26:39 here. have a term I have actualy used for a serious purpose: λ q.(λ g.g(λ x.g(qx)))(λ b.(λ k.((k(λ u.u))(λ l.((kb)(λ m.(l(m( skip ))))))))(λ v.λ w.wv)) 18:26:40 -!- atehwa has quit (Ping timeout: 255 seconds). 18:26:40 because I don't agree that you can't do "highly functional" code in a dynamically-typed language 18:27:18 coppro: well the very general field of my research is "get a compiler's to catch «error» at compiletime" 18:27:27 dynamically-typed languages are very bad at that 18:27:31 *get a compiler 18:27:41 heh, fair 18:28:25 the error in question for my thesis is "write a program that potentially requires infinite amounts of memory to execute" 18:28:26 Who picked \lvert and \rvert as macro names in tech 18:28:32 writing absolute values is tedious 18:28:55 i.e. I'm trying to statically enforce that programs use only finite amounts of memory 18:29:17 (which in turn means that they can be statically compared, for reasons #esoteric should be well aware of) 18:29:31 interesting 18:30:07 it feels like it's related in some way to corecursion. is it? or am I just imagining things? 18:30:08 and the motivating reason for /that/ is so that they can be compiled to hardware in a way that uses static memory allocation 18:30:17 bringing the memory to the program, rather than the other way round 18:30:22 I'm not sure what corecursion is 18:30:47 -!- AndoDaan has joined. 18:31:35 J_Arcane: oh, I should probably cite you for help with the syntax 18:31:44 do you have a name you can be cited under? 18:31:52 Heh. :D Sure. I'm John Berry. 18:33:15 ais523: recursion works by breaking down to base cases, corecursion works by building up from them 18:33:23 -!- atehwa has joined. 18:33:36 coppro: ah right, sort-of like forward chaining in Prolog 18:35:21 #esoteric now has two citations in my thesis :-) 18:36:15 hah 18:36:54 http://atreus.technomancy.us/firmware 18:37:55 -!- Sprocklem has quit (Ping timeout: 244 seconds). 18:43:47 -!- MoALTz has joined. 18:45:29 nice 18:58:02 -!- mihow has joined. 19:01:41 [wiki] [[Iexp]] N http://esolangs.org/w/index.php?oldid=41609 * GermanyBoy * (+4519) Created page with "{{infobox proglang |name=Iexp |paradigms=[[:Category:Declarative paradigm|declarative]] |author=[[User:GermanyBoy]] |year=[[:Category:2015|2015]] |dimensions=one-dimensional |..." 19:02:50 [wiki] [[User:GermanyBoy]] http://esolangs.org/w/index.php?diff=41610&oldid=40362 * GermanyBoy * (+68) iexp 19:02:55 wait, it's fine to cite irc channes? 19:03:23 [wiki] [[Iexp]] M http://esolangs.org/w/index.php?diff=41611&oldid=41609 * GermanyBoy * (+24) output only 19:03:43 This IRC is logged, so it should help. 19:05:17 i have to do that, to! 19:06:23 myname: was citing individual people within it 19:10:11 -!- Solace|skool has quit (Quit: Connection closed for inactivity). 19:14:18 -!- mihow has quit (Quit: mihow). 19:18:04 ais523: J_Arcane has mentioned ideone, but http://rextester.com/runcode also has F#. rextester generally seems to have a better interface, but here you might care more about what compiler or libraries it uses to compile rather than its web interface. 19:18:17 I just used the first one that worked 19:19:03 "are Microsoft's error messages really that bad?" -- yes, they are terrible, at least in their C++ compiler 19:22:17 b_jonas: I got so quickly used to F# errors being unintelligible that on one account while writing resume.fsx I actually completely missed a missing function argument because I was so used to that error being wrong that the idea it was actually telling me the problem never occured to me. 19:24:17 zzo38: hi 19:26:30 Hello 19:26:58 -!- mihow has joined. 19:28:24 -!- Gregor`` has joined. 19:28:28 -!- Gregor has quit (Ping timeout: 250 seconds). 19:28:31 zzo38: I ais523 about M:tG and he figured quickly that even in vanilla you can get a state where there's a non-creature aura without an "enchant" ability 19:28:31 (for long enough to matter) 19:29:37 the easiest way is to manifest an aura, then cast Turn on it, then cast Break Open on it. 19:29:50 there's also a way to do it with older sets only, but it's more complicated. 19:30:05 -!- Gregor`` has changed nick to Gregor. 19:31:26 -hmm. Pondering slumming it in some Javascript for a bit, and it strikes me there's an interesting philosophical dilemma in targeting JS for a port of my resume generator. 19:32:42 J_Arcane: what? 19:33:13 MY 'resume' is a simple script that generates itself from some text data files. 19:33:48 The current versions so far do so by outputting to Markdown, but that seems like a needless intermediary step with .js. 19:44:15 -!- callforjudgement has joined. 19:44:16 -!- ais523 has quit. 19:44:30 -!- callforjudgement has quit (Changing host). 19:44:30 -!- callforjudgement has joined. 20:01:30 -!- mitchs has joined. 20:07:57 -!- arjanb has joined. 20:14:46 -!- Lorenzo64 has quit (Quit: Leaving). 20:23:10 Wheee. http://rextester.com/CLX22519 20:26:27 -!- callforjudgement has quit (Read error: Connection reset by peer). 20:26:32 -!- scarf has joined. 20:27:12 -!- scarf has changed nick to ais523. 20:30:29 b_jonas: What is the way with older cards? 20:33:11 -!- Guest74803 has changed nick to reynir. 20:33:40 -!- reynir has quit (Quit: WeeChat 1.0.1). 20:34:05 -!- reynir has joined. 20:34:34 -!- reynir has changed nick to Guest80782. 20:37:44 -!- Guest80782 has quit (Client Quit). 20:37:59 -!- ais523 has quit (Remote host closed the connection). 20:38:01 -!- callforjudgement has joined. 20:38:10 -!- reynir1 has joined. 20:39:51 -!- reynir1 has quit (Changing host). 20:39:51 -!- reynir1 has joined. 20:43:05 -!- reynir1 has changed nick to reynir. 20:43:32 -!- Sprocklem has joined. 20:43:47 -!- scarf has joined. 20:44:09 -!- reynir has quit (Quit: WeeChat 1.0.1). 20:44:50 -!- reynir has joined. 20:44:58 zzo38: we found only a very complicated way, there's probably a simpler one. let me check the backscroll. 20:44:59 -!- reynir has changed nick to Guest2221. 20:45:24 -!- Guest2221 has quit (Changing host). 20:45:24 -!- Guest2221 has joined. 20:45:36 Animate a Mizzium Transreqliquat, activate its ability to copy an artifact aura, and as a reaction, cast Turn to the Transreliquat. 20:46:10 That's really inefficient, it needs like ten different cards to pull it off. 20:46:22 -!- Guest2221 has changed nick to reynir. 20:47:04 -!- callforjudgement has quit (Ping timeout: 255 seconds). 20:48:14 You need a card to make an artifact aura, such as Mycosynth Lattice or Liquimetal Coating 20:48:44 hmm, that's not _that_ bad, only like five cards besides basic lands 20:48:47 I thought it was worse 20:49:33 b_jonas: that still uses Turn, which is quite recent (it went out last rotation) 20:50:22 no, six cards 20:50:37 you have to Shatter the Animate Artifact before the Transreliquat's ability resolves 20:50:57 scarf: oh... yeah, that makes sense, it's a fuse card 20:51:05 is there a way to do it without Turn? 20:51:20 I think there is 20:51:30 dunno 20:52:09 you could use a Humble with Teferi, Mage of Z 20:52:13 instead of Turn 20:52:27 um 20:52:32 no, just Humble 20:52:34 it's an instant 20:52:55 ok, so Turn doesn't even really help 20:54:01 -!- shikhin_ has joined. 20:55:14 -!- augur_ has quit (Quit: Leaving...). 20:57:14 -!- shikhin has quit (Ping timeout: 264 seconds). 21:03:23 that means the newest card in this is Mizzium Transreliquat, from Guildpact 21:06:50 -!- scarf has quit (Read error: Connection reset by peer). 21:07:01 -!- scarf has joined. 21:10:53 -!- Sprocklem has quit (Ping timeout: 240 seconds). 21:14:52 -!- shikhin_ has changed nick to shikhin. 21:23:41 I asked in other IRC and got conflicting answers about what exactly is "the point the creature is declared as an attacker"; declaring an attacker doesn't seem to be a single point though. 21:23:50 For example: If I have Blood Pet, War Tax, Sightless Brawler, and Guardians of Akrasa, and then I activate War Tax, declare an attack with Blood Pet and Sightless Brawler, and pay for the cost imposed by War Tax by sacrificing Blood Pet, what happens? 21:24:49 Do *you* know??? Is this a mistake made by whoever wrote the rules? 21:25:42 zzo38: uh, I'm not up for that now, sorry. scarf? 21:25:50 -!- scarf has changed nick to ais523. 21:25:56 zzo38: it's the start of the declare attackers phase 21:27:24 Ah, OK, so as soon as 508 begins. 21:27:35 How do you learn these things? 21:28:07 zzo38: ais reads way more rules and judge material than I'd ever done 21:28:32 -!- ais523 has quit (Read error: Connection reset by peer). 21:28:46 -!- ais523 has joined. 21:32:16 zzo38: It seems to me from the rules that you declare attackers in 508.1a, and then check all the conditions at once in 508.1c. 21:33:13 So you've declared two creatures as attacking, and then sacrificed one to pay a cost. 21:34:35 But 508.1c is for restrictions, not triggers. There are then requirements at 508.1d, and costs at 508.1g. It looks to me like you are in the process of declaring. 21:35:03 -!- augur has joined. 21:36:04 Oh, 508.1g isn't part of 508.1c. 22:05:22 -!- ais523 has quit. 22:05:35 -!- ais523 has joined. 22:05:50 -!- not^v has joined. 22:10:25 Whether or not it is doesn't seem relevant to answer my question. 22:12:57 -!- Tritonio has quit (Remote host closed the connection). 22:13:32 -!- Tritonio has joined. 22:20:19 -!- Tritonio has quit (Remote host closed the connection). 22:20:44 -!- Tritonio has joined. 22:24:32 -!- nys has joined. 22:40:44 -!- Phantom_Hoover has joined. 22:48:09 From my variant planeswalkers rules it suggest to me a new kind of keyword ability called "planestrample", which actually can sometimes be used even if there are no planeswalker cards. 22:56:34 -!- not^v has quit (Ping timeout: 244 seconds). 22:56:58 -!- skj3gg has joined. 23:03:06 -!- the_astrologer has joined. 23:04:25 `relcome the_astrologer 23:04:26 ​the_astrologer: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) 23:05:30 zzo38: what would that ability do? trample extra combat damage over a planeswalker to its controller player? 23:06:40 thanks elliott, HackEgo 23:07:58 -!- Solace|skool has joined. 23:10:01 -!- the_astrologer has left ("Leaving"). 23:10:57 fungot, what is the most boring number? 23:10:57 AndoDaan: why a waste? 23:11:38 AndoDaan: isn't being the most boring number kinda interesting? 23:12:14 heh. I think that's the proof that no number can be boring. Read somewhere. 23:12:26 b_jonas: Kind of 23:12:53 7 23:13:04 -!- Solace|skool has changed nick to Solace. 23:14:03 -!- oerjan has joined. 23:14:19 Although if a "planeswalkers are players" variant then it means: If this would deal damage (even if it isn't combat damage) to a player that would exceed his life total, the remaining damage is redirected to that player's controller. (Usually a player controls himself, so there is no effect.) 23:17:35 (The variant planeswalkers rule does what you said with combat damage, but also works if a player is being controlled due to Mindslaver or whatever.) 23:20:56 -!- Deewiant has quit (*.net *.split). 23:20:56 -!- nortti has quit (*.net *.split). 23:20:56 -!- ski has quit (*.net *.split). 23:20:57 -!- Gracenotes has quit (*.net *.split). 23:20:57 -!- lifthrasiir has quit (*.net *.split). 23:20:58 -!- AndoDaan has quit (*.net *.split). 23:20:58 -!- zzo38 has quit (*.net *.split). 23:20:58 -!- SirCmpwn has quit (*.net *.split). 23:20:58 -!- dianne has quit (*.net *.split). 23:20:59 -!- weissschloss has quit (*.net *.split). 23:20:59 -!- HackEgo has quit (*.net *.split). 23:20:59 -!- b_jonas has quit (*.net *.split). 23:20:59 -!- tromp has quit (*.net *.split). 23:21:08 -!- Gracenotes has joined. 23:21:13 -!- ski has joined. 23:21:30 -!- lifthrasiir has joined. 23:22:12 -!- Deewiant has joined. 23:22:30 -!- dianne has joined. 23:22:58 -!- AndoDaan has joined. 23:22:58 -!- zzo38 has joined. 23:22:58 -!- SirCmpwn has joined. 23:22:58 -!- weissschloss has joined. 23:22:58 -!- HackEgo has joined. 23:22:58 -!- b_jonas has joined. 23:22:58 -!- tromp has joined. 23:23:21 stupid slow netjoins 23:24:28 -!- weissschloss has quit (Excess Flood). 23:24:31 And you're all back. That was exciting. 23:24:47 i think one is missing? 23:25:20 How can you possibly tell? 23:25:30 -!- incomprehensibly has quit (Ping timeout: 268 seconds). 23:25:58 nortti hasn't rejoined 23:26:01 -!- drdanmaku has quit (Ping timeout: 244 seconds). 23:26:28 -!- relrod_ has joined. 23:26:32 AndoDaan: irssi tells me how many left (although it left out 3 names) and how many rejoined 23:26:37 oerjan, maybe nortii quit just after the netsplit 23:26:47 Ah. 23:26:53 (although the latter got split up over 6 lines) 23:27:05 -!- nortti has joined. 23:27:12 Hurrah! 23:27:17 -!- incomprehensibly has joined. 23:27:44 -!- weissschloss has joined. 23:28:01 -!- drdanmaku has joined. 23:28:15 -!- relrod has quit (Ping timeout: 250 seconds). 23:29:59 -!- relrod_ has changed nick to relrod. 23:30:25 -!- skj3gg has quit (Quit: ZZZzzz…). 23:33:54 ais523, I was looking for the list that fungot ignores (is there such a list?) <-- iirc the command is ^ignore but it only responds to fizzie, even when just querying the list 23:33:54 ^ignore 23:33:54 he did consider allowing the latter but that would obviously require rewriting fungot code... 23:33:54 oerjan: then d has matured since i last used arj. with lynx that is: 23:33:54 oerjan: so the hash function can, for instance, when the whim ( anger?) explodes, that has the confirmed rules of competition... 23:33:56 hm fizzie's server isn't responding to /whois 23:34:28 oh there, someone is lagged 23:34:36 @ping 23:34:36 pong 23:35:05 probably fizzie and fungot then 23:35:05 oerjan: are you respecting the ctl-v ctl-x ctl-c tradition? this is the 23:35:09 oh or no one 23:35:38 Heheh 23:35:40 fungot: i use ctrl-c and ctrl-v, but rarely ctrl-x 23:35:40 oerjan: non-recursive let has always seemed a little fnord up, ashanks!! 23:36:08 fungot, how will my exam tomorrow go? 23:36:08 Taneb: http://tools.ietf.org/ rfc/ fnord and the heap is about to use scanf in c++ code, not the cd :p. 23:37:05 fungot: iirc Taneb is studying math so that seems somewhat irrelevant 23:37:05 oerjan: a b c 23:37:15 oerjan, I'm doing maths and computer science 23:37:19 ah 23:37:23 Tomorrow's exam is for vision and graphics, though 23:38:37 good luck then 23:39:05 Heh, someone caused a botloop in another channel by having a webpage whose title made one bot evaluate a brainfuck program which printed the url of page, which another bot 23:39:09 printed the title of 23:40:04 http://runciman.hacksoc.org/~lordaro/bf.html 23:40:14 He spent all day working on it 23:41:36 hm didn't there use to be a url title bot here 23:41:51 I don't think so? 23:42:11 or maybe it was in #haskell way back when i was there 23:42:33 I think there is one in #haskell 23:42:40 lambdabot used to do it 23:42:43 oh 23:44:05 I think tomorrow's exam is an exercise in making sure you actually go to the goddamn lectures in future 23:45:04 ouch 23:46:18 note that most weird-screen-sized browsers are good at zooming <-- i have seen blogs which manage to make the width of the main text area _smaller_ when i zoom :( 23:47:00 (on my laptop with IE) 23:47:26 i wonder why the fuck some mobile sites actually forbid me to zoom 23:49:10 Oooh, space carving looks interesting 23:49:38 seam carving*? (or something unrelated?) 23:49:41 You know, if I could have been bothered with this module, I'd have really enjoyed it 23:49:58 FireFly, it's a way to construct a 3D model from some images 23:50:05 Oh, something unrelated then 23:50:12 That sounds interesting 23:50:14 -!- augur has quit (Ping timeout: 245 seconds). 23:50:32 Yeah, I'm really annoyed at myself for not going to these lectures :( 23:51:07 -!- augur has joined. 23:51:31 do any browsers have some concept of "this site is broken; allow me to overrule specific broken features of it?" 23:52:01 iirc Opera did? It's been a while since I've used it, though 23:52:44 hm 23:56:47 (I remember for a time a few years ago- when I still used Windows- I decided that of course the best thing to do was to have ALL THE BROWSERS installed) 23:56:55 (I think I had Netscape on there) 23:57:09 -!- adu has quit (Quit: adu).