00:05:53 helloily 00:08:28 oh, CapnClever was running the much shorter DOS version of Prince of Persia this year? that will be interesting 00:08:41 see, this is why I wish they put the console name in the schedule 00:15:07 * haavard leaves for ENVA monday 00:15:11 Please make it not so cold 00:15:24 -!- hppavilion[1] has joined. 00:16:39 wow 00:16:44 I never knew about that skip on level 5 00:16:52 on Price of Persia DOS 00:17:47 link? 00:18:01 vanila: https://www.youtube.com/watch?v=SuJjyN1ukjM&index=58&list=PLz8YL4HVC87VqROwl3mdpVypnv2SXtGm_ 00:18:04 thanks 00:18:09 b_jhellonas. 00:23:09 hehe, as I was watching it, I was wondering why he didn't go up on the right extreme of level 8, then realized, oh right, it's a speedrun, he doesn't need the extra life 00:24:28 it's a pity some pixels are cropped from the screen on the right and on the bottom 00:24:34 I'd like to see all the pixels 00:27:02 I hope he's going to do the skip on level 12 00:29:37 b_jonas, i used to play this game as kid i was realy suprised when i found SNES version has new levels 00:29:53 the SNES version is a lot bigger, yes 00:30:03 I played the DOS version a lot, and still occasionally replay it 00:30:06 I did so a few days ago 00:30:07 um 00:30:08 few years 00:30:10 sorry 00:30:15 it's really great 00:30:35 yep, he does do the skip on level 12 00:31:31 prince of persia 2 is really great as well 00:31:52 the sword fighting is great because you can actually enjoy a fight, it's not like gamse where just run pu and hit hit hit until they die 00:32:09 I didn't play prince of persia much 00:32:14 um 00:32:20 I didn't play prince of persia 2 much 00:34:25 i would recommend it, it's very interesting 00:34:43 i actually want to play them both through now 00:35:38 -!- infinitymaster has quit (Quit: Leaving...). 00:36:41 vanila: go on. I won't play prince 2, but if you want, feel free 00:36:59 why not? 00:37:18 the few times I tried it, I didn't like it much 00:37:25 ah 00:37:28 anwyay i cant play them 00:37:33 why not? 00:37:44 it hurts my hands/arms too much 00:37:56 ouch 00:37:59 ill need a different input device if i want ot play a game 00:38:05 i havent worked out a good solution yet 00:39:03 -!- ais523 has quit (Ping timeout: 260 seconds). 00:41:47 -!- MoALTz has joined. 00:52:19 <\oren\> https://www.youtube.com/watch?v=7CJtphqFSR0 01:01:29 https://www.barrucadu.co.uk/posts/2016-01-09-c-is-not-turing-complete.html 01:02:43 People argue about if C is Turing complete or not 01:03:15 <\oren\> 忘忠性情態憲批承担招拝拡捨授採探接推提揮 01:03:16 <\oren\> 損操敵断暖暮暴朗条枚枝染査株棒検構模権樹 01:03:30 my view: its not TC without IO, with IO acting as a tape you can obviously implement any turing machine [supposing the IO really acts as a tape] 01:04:47 <\oren\> roight, with fseek(SEEK_CUR 01:07:12 Nope. File sizes are limited. 01:07:35 <\oren\> pikhq: what if I fopen the tape drive device? 01:07:51 (*all* file offsets are representable within C itself) 01:08:15 \oren\: Okay, what if I take a FSM and glue it to an infinite tape? :P 01:08:40 Are you allowed to rewind stdin if it is a tape? 01:09:14 ... Also, tape device offsets are *also* limited. 01:09:30 <\oren\> I'm not aware of a limitation syaing anywhere you can fseek to you can be ftold? 01:10:00 * Sgeo_ wonders what living in Tel Aviv is like compared to NYC and Silicon Valley 01:11:21 <\oren\> that is, suppose X is the largest off_t. if you do fseek(SEEK_SET,X); fseek(SEEK_SET,X); then won't you have fsought to a position of 2X, unrepresentable as off_t? 01:11:58 <\oren\> er, forgot to pass in the file to fseek. whatever, you get the idea 01:16:30 <\oren\> `cc int main(){ FILE *f=fopen("/dev/null","r+"); fseek(f,SEEK_CUR,~0); fseek(f,SEEK_CUR,~0); printf("%ld",ftell(f));} 01:16:55 : In function ‘main’: \ :1:13: error: unknown type name ‘FILE’ \ compilation terminated due to -Wfatal-errors. 01:17:15 <\oren\> `cc #include "stdio.h"\n int main(){ FILE *f=fopen("/dev/null","r+"); fseek(f,SEEK_CUR,~0); fseek(f,SEEK_CUR,~0); printf("%ld",ftell(f));} 01:17:23 0 01:18:11 <\oren\> `cc #include "stdio.h"\n int main(){ FILE *f=fopen("/dev/null","r+"); fseek(f,SEEK_CUR,~0>>1); fseek(f,SEEK_CUR,~0>>1); printf("%ld",ftell(f));} 01:18:13 0 01:18:24 <\oren\> `cc #include "stdio.h"\n int main(){ FILE *f=fopen("/dev/null","r+"); fseek(f,SEEK_CUR,(~0)>>1); fseek(f,SEEK_CUR,(~0)>>1); printf("%ld",ftell(f));} 01:18:25 0 01:19:47 <\oren\> `cc #include "stdio.h"\n int main(){ FILE *f=fopen("/dev/null","r+"); fseek(f,SEEK_CUR,1); fseek(f,SEEK_CUR,1); printf("%ld",ftell(f));} 01:19:49 0 01:19:52 <\oren\> oh 01:20:16 <\oren\> apparently on /dev/null your position is locked to zero 01:23:44 <\oren\> the C standard doesn't define any errors for fseek, only for ftell 01:26:44 <\oren\> oh. it can retrun nonzero "of the requst can't be satisfied" 01:27:54 <\oren\> but that still is implementation defined 01:27:59 -!- ais523 has joined. 01:28:38 <\oren\> So I guess the final conclusion is that fseek *can* allow C to be turing complete, but doesn't have to. 01:29:06 yeah 01:33:54 -!- hppavilion[1] has quit (Ping timeout: 272 seconds). 01:53:11 he\\oren\! still fonting? 01:53:53 meanwhile, if y'all guys could answer that thing I made, it'd be nice: https://www.reddit.com/r/SampleSize/comments/4099j8/casual_delicacies_everyone/ 01:56:56 -!- ridemyponey has joined. 02:04:42 \oren\: could you thicken 性 twh 02:05:18 `? twk 02:05:20 `? twh 02:05:20 twk? ¯\(°_o)/¯ 02:05:21 twh would help, but is an hth derivative. hth. twh. hand. 02:05:30 `? hand 02:05:31 A hand in the bush is better than a stoned bird. 02:06:16 `? magic 02:06:17 The magic was in you all along. 02:06:24 `? Magic: the Gathering 02:06:25 Magic: the Gathering? ¯\(°_o)/¯ 02:06:27 `? mtg 02:06:28 mtg? ¯\(°_o)/¯ 02:15:29 tswellott. not all TLAs are in the wisdom hth 02:18:07 -!- Guest26249 has joined. 02:19:11 -!- Guest26249 has quit (Read error: Connection reset by peer). 02:19:43 `culprits wisdom/hand 02:19:47 int-e ais523 oerjan oerjan 02:20:05 HAND in the bush. HTH 02:23:21 You should try to make more comment/complaint of my own custom Magic: the Gathering cards, and also the puzzle 02:23:36 But I'd have to make an account for that. 02:23:54 And I don't like MD5, or even HTTP authentication. 02:26:28 I know, MD5 isn't very good, but this HTTP authentication is better than the other way 02:26:42 What's the other way? Cookies? 02:27:04 I think there are many other ways 02:27:55 Maybe you should make registration and accounts optional. 02:28:36 This account does not require any email or date or birth 02:29:41 However at least now it can also be done by form if you have JavaScripts. 02:30:04 -!- hppavilion[1] has joined. 02:30:54 What do I do with the form? 02:31:52 Write the result to me by the private message, and then I can approve the account. 02:33:33 I'm trying to design a C-level programming language that uses more mathematical programming :) 02:33:42 e.g. functions are curried instead of f(x)ed 02:34:29 hppavilion[1]: OK, how will it compile? 02:34:37 zzo38: Cleverly 02:34:42 OK 02:35:00 zzo38: What do you mean by "How will it compile"? 02:35:07 I do not understand the question 02:35:57 the question does not compile. 02:36:16 I mean do you intend to compile into native codes and if so how the function that return the other function is compile to be optimized? 02:36:52 zzo38: Similarly to Haskell. I do plan to compile. 02:36:57 OK 02:37:08 e.g. recursion is optimized into loops 02:38:09 similarly to haskell, so at least 3 intermediate languages. 02:45:37 -!- ridemyponey has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 02:46:54 oerjan: Yep xD 02:49:02 oerjan: Are there any tutorials on the Interwebz about /designing/ programming languages that you know of? 02:49:19 nope 02:49:34 but only because i'm too lazy to know 02:49:44 or possibly remember 02:50:23 according to /r/mapporn, half of Norwegian population lives in the blue areas: http://i.imgur.com/nZfwf1m.png 02:52:20 well that does seem to include our major cities 02:52:25 -!- ridemyponey has joined. 02:53:46 * oerjan is slightly surprised by the big blob a bit above the middle 02:54:47 that's close to where i'm from, and i didn't think it was that densely populated... 02:56:05 @where oerjan is from 02:56:05 I know nothing about oerjan. 02:56:38 you and me both, buddy 02:56:50 oerjan exists. 02:56:59 `? oerjan 02:57:01 Your famous evil overlord oerjan is a lazy expert in future computation. Also an antediluvian Norwegian who hates Roald Dahl. He can never remember the word "amortized" so he put it here for convenience. His arch-nemesis is Betty Crocker. 02:57:25 `` sed -i 's/famous/& mysterious/' wisdom/oerjan 02:57:29 No output. 02:57:52 If I recall correctly, the latitude where half of Sweden's population is north of it and half south of it is slightly /south/ of Stockholm 02:57:59 which says something about the population skew 02:58:31 what do you have all the rest for then twh 02:58:36 -!- boily has quit (Quit: NUMISMATIC CHICKEN). 02:59:00 shachaf: timber hth 02:59:24 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:59:25 -!- ais523 has quit (Ping timeout: 260 seconds). 02:59:49 lumboerjan 03:00:13 or in norway's case, also rock 03:00:57 Also space research, or at least that's what I associate Kiruna with 03:01:22 they have plenty of space there 03:01:36 oerjan++ 03:01:38 shachaf: Now do you understand this form? 03:01:41 did you know sweden was one of the first countries to approve palestine's status as a state? also.. ingrid bergman.. and her daughter :v and of course drew berrymore. i love sweden. but i don't like oerjan. 03:01:48 `? zzo38mtg.php 03:01:49 http://zzo38computer.org/mtg/cardfile.php 03:02:09 zzo38: I understand the form but I don't want to make an account. 03:02:16 If you made a way to comment without an account, though... 03:02:19 oerjan: that is true 03:02:37 Kiruna municipality is in fact the least population-dense one 03:02:42 You want to post a comment without account? 03:03:15 -!- ChanServ has set channel mode: +o oerjan. 03:04:15 -!- oerjan has set channel mode: +b *!*52716a32@*.com/ip.82.113.106.50. 03:04:15 -!- oerjan has kicked ridemyponey Happy new year, hagb4rd. 03:04:30 hagb4rd? 03:04:37 oh 03:04:46 i was wondering 03:04:58 I can try to think of it but I want to avoid the spam message too much 03:05:16 Are people trying to spam your site? 03:05:22 I don't know. 03:05:25 Or only automated bots that try to spam every site? 03:05:44 You could add a moderation feature whereby comments get submitted to you for approval before they're posted. 03:06:08 No, I mean I do not want to be spam to myself. 03:06:25 Therefore moderation feature even result in they still have to send the message to me at first 03:06:38 -!- oerjan has set channel mode: -o oerjan. 03:06:49 And would still require deleted if the message is wrong, just the same way. 03:06:55 hppavilion[1]: an old troll who keeps returning occasionally 03:07:02 oerjan: Ah 03:07:05 I do not want it to be spam by manually either. But I do want to allow to post even if you use curl instead of use web browser softwaer if you want to, too. 03:09:48 `` egrep 'by \w+ly' quotes 03:09:49 Invent the game called "Sandwich - The Card Game" and "Professional Octopus of the World" (these names are just generated by randomly) \ Taneb's been hit by melancholy. He didn't have any friends, fortunatel.y \ what is nice about a pebble is that you can process it with your brain as a numbe 03:10:08 zzo38: I would play both of those games. 03:10:12 Especially the latter. 03:10:43 hppavilion[1]: in fact half the reason he's permanently banned is that he's consistently tried to sneak back while still banned 03:10:57 oerjan: Of course 03:14:03 zzo38: I like Wall of Learning. 03:14:23 Do you know if there's any official card with a similar effect? 03:15:32 I don't know 03:32:06 OK, you can now post comments anonymously too. See the HTML source of the "Info" page for details. 03:33:48 Oh, but you still need to use HTTP authentication? 03:34:25 Is there a place I can test commenting? 03:34:34 I don't want to mess up the comments page of a real card. 03:34:43 http://zzo38computer.org/mtg/cardfile.php?do=card&id=%2104+Miscellaneous 03:35:14 It just says "Miscellaneous", although that is what I used to test it, and I will delete test comments from there too. 03:35:41 "The text is too short/long; please try again." 03:35:45 What are the length limits? 03:36:44 The limits are 8 to 10000 03:47:20 whats this soing? 03:47:21 whats this song? 03:47:23 doens anyone know it 03:47:33 sonic i guess 03:53:29 I don't know 03:55:09 this has all been sonic 3 music vanila 03:55:15 thanks 03:55:29 shachaf: If you are having a trouble with it then please tell me so 04:19:17 <\oren\> http://www12.statcan.gc.ca/census-recensement/2006/as-sa/97-550/vignettes/img/map-2006-pop-density-canada-sz01-en.gif 04:20:35 <\oren\> as you can see, most canadians would take 2 hours or less to drive to America 04:20:43 -!- vanila has quit (Quit: Leaving). 04:42:48 [wiki] [[Ↄ]] https://esolangs.org/w/index.php?diff=46136&oldid=46135 * Rottytooth * (+349) edited for clarity 04:49:32 -!- benderpc_ has joined. 04:52:32 -!- MDude has changed nick to MDream. 04:54:48 -!- benderpc_ has changed nick to bender. 04:54:57 -!- bender has quit (Changing host). 04:54:57 -!- bender has joined. 05:05:39 -!- mauris_ has joined. 05:06:30 -!- mauris_ has quit (Client Quit). 05:09:25 -!- mauris has quit (Ping timeout: 265 seconds). 05:45:41 See if the card game can be made which resembles a Pokemon battle simulator (not the game of Pokemon card, which is an entirely different game), I have some ideas such as using square cards which can be placed in four possible orientations and opponent will not see what card it is until exposed 05:56:56 I don't know how a Pokémon battle simulator works. 06:31:52 -!- oerjan has quit (Quit: Nite). 06:32:04 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 06:32:25 Neither do I, but I think my brother does 07:21:02 -!- hppavilion[1] has joined. 07:53:07 -!- jaboja has joined. 08:24:59 "All language reduces to a finite string of Hitlers" 08:29:17 -!- tjt263 has joined. 08:29:19 ? 08:30:28 zzo38: SMBC 08:34:44 -!- Sprocklem has quit (Ping timeout: 276 seconds). 08:52:36 -!- rifter has quit (Quit: Leaving). 08:52:53 -!- rifter has joined. 08:53:51 -!- rifter has quit (Client Quit). 08:54:09 -!- rifter has joined. 09:29:13 http://zzo38computer.org/textfile/miscellaneous/magic_card/puzzle.7 Is this correct? 09:31:01 hppavilion[1]: which one? 09:31:48 myname: Not sure. Didn't save the tab xD 09:31:55 Or do you mean which SMBC? 09:32:00 Is there more than one? 09:52:10 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 10:34:10 -!- Trinity has quit (Remote host closed the connection). 10:54:39 -!- Phantom_Hoover has joined. 11:05:41 -!- bender| has joined. 11:07:58 -!- bender has quit (Ping timeout: 250 seconds). 11:07:59 -!- tjt263 has left. 11:35:47 https://arin.ga/YocMZj/raw need some help to understand this 11:36:12 it's from man 2 fcntl 11:36:21 why can i change the O_APPEND flag? 11:36:27 what does that mean? 11:40:40 -!- bender| has quit (Quit: Leaving). 11:40:54 -!- bender| has joined. 12:07:45 Mario Maker shows some sort of preview image of the levels in the level select screen? How is it a blind race then? 12:31:38 -!- jaboja has quit (Ping timeout: 256 seconds). 12:33:11 -!- jaboja has joined. 12:48:14 -!- hppavilion[1] has joined. 12:48:57 izabera: I assume it would mean enabling/disabling the things the O_APPEND flag normally does, i.e. the behavior that, before every write, the write position is set to the end of the file. 12:49:40 oh 12:49:43 i didn't know that 12:50:07 i thought all it did was to seek to the end of file when opening 12:50:32 No, it's on every write. (You can move around and read from other locations if it's also open for reading, though.) 12:50:47 thank you 12:52:50 -!- sebbu has quit (Ping timeout: 272 seconds). 12:52:56 -!- sebbu has joined. 12:55:50 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 12:56:27 note that NFS doesn't fully support the O_APPEND flag: it'll read the size and seek there, but something else could write there at the same time and get overwritten 13:00:02 -!- boily has joined. 13:01:07 (see http://manpages.ubuntu.com/manpages/natty/man1/safecat.1.html for an alternative) 13:02:40 -!- MoALTz_ has joined. 13:06:12 -!- MoALTz has quit (Ping timeout: 256 seconds). 13:06:46 -!- atslash has quit (Quit: This computer has gone to sleep). 13:15:15 -!- Laivos has joined. 13:15:36 thanks :) 13:21:09 may the force be with you 13:23:20 you stay here for a long time, and nobody talk with nobody 13:24:38 Builders of the new world 13:30:38 @metar CYUL 13:30:38 CYUL 101300Z 11007KT 15SM FEW070 BKN110 OVC200 04/01 A2983 RMK AC1AC6CI1 SLP104 13:30:43 no rain yet! 13:30:54 -!- boily has quit (Quit: DESKLAMP CHICKEN). 13:37:27 -!- zgrep has quit (Ping timeout: 260 seconds). 13:38:41 @metar ENZV 13:38:41 ENZV 101320Z 11019KT 9999 -RASN FEW013 BKN090 03/M01 Q0984 TEMPO 4000 -SN BKN014 13:38:47 -!- Laivos has quit (Quit: Laivos). 13:38:53 RASN.. that's a good combo 13:39:46 -!- zgrep has joined. 13:40:28 -!- TieSoul has joined. 13:44:37 I'm watching more of AGDQ now 13:47:14 -!- j-bot has quit (Ping timeout: 255 seconds). 13:47:33 oh great, rain again 13:52:10 -!- bender| has quit (Ping timeout: 260 seconds). 14:00:20 -!- bender| has joined. 14:00:31 @metar lowi 14:00:32 LOWI 101350Z 16004KT 120V190 9999 FEW008 SCT012 05/03 Q1000 NOSIG 14:01:01 kinda boring 14:01:08 `wisdom 14:01:23 . 14:01:23 welcome.eo/Bonvenon al la internacia centro por la desegno kaj ellaso de esoteraj programlingvoj! Por pli da informado, vizitu la Viki-on: http://esolangs.org/wiki/Main_Page. (Por la alia speco de esotero, iru al #esoteric sur irc.dal.net.) 14:10:50 -!- J_Arcane has quit (Ping timeout: 250 seconds). 14:13:26 -!- MoALTz_ has changed nick to MoALTz. 14:19:54 -!- J_Arcane has joined. 14:28:35 -!- jaboja has quit (Ping timeout: 240 seconds). 14:59:18 Sadly, the GTA 3 run is a bit disappointing. Adam_ak's commentary is much better than this one. 14:59:26 Pity. 15:07:40 -!- bender| has quit (Quit: ["This is the national anthem of kicking Satan's ass since 1993" --- Some person on "At DooM's gate, E1M1"]). 15:18:16 -!- jaboja has joined. 15:18:54 -!- J_Arcane has quit (Ping timeout: 265 seconds). 15:38:33 -!- J_Arcane has joined. 15:56:49 [wiki] [[Talk:Brainfuck algorithms]] https://esolangs.org/w/index.php?diff=46137&oldid=46127 * Rdebath * (+601) Nope, don't think so. 16:05:14 -!- Lord_of_Life has quit (Excess Flood). 16:06:06 -!- Lord_of_Life has joined. 16:12:22 -!- mauris has joined. 16:17:47 i'm w/ my dad and his friends 16:17:51 kill me 16:17:57 plz x.x 16:22:50 -!- user has joined. 16:26:00 -!- user has changed nick to lolcat. 16:29:33 No 16:31:03 Yes 16:46:12 yes 16:47:26 WHAT YOU SAY !! 16:54:17 `quote 16:54:22 447) Riots in Glasgow would probably be reported as a sudden drop in crime. 17:10:14 `wisdom 17:10:17 for further details for futher details./See `? for further details for futher details. 17:10:26 `wisdom 17:10:28 california/California is pronounced "Caliphate-ornery-I-A" 17:13:27 -!- ais523 has joined. 17:14:44 At AGDQ, the Kaizo Mario run is awesome 17:14:59 It's a crazy hard game. 17:35:38 [wiki] [[Kai]] M https://esolangs.org/w/index.php?diff=46138&oldid=21090 * LegionMammal978 * (+13) dead link 17:41:00 -!- jaboja has quit (Ping timeout: 265 seconds). 17:52:44 does anybody know of any df like for android? 17:57:17 `delquote 447 17:57:21 *poof* Riots in Glasgow would probably be reported as a sudden drop in crime. 18:05:14 -!- MDream has changed nick to MDude. 18:38:21 -!- atslash has joined. 18:39:58 :t (if x == 0 then x else x) 18:39:59 Expr 18:40:03 err 18:40:11 :t \x -> (if x == 0 then x else x) 18:40:13 (Eq a, Num a) => a -> a 18:40:33 :t (\x -> (if x == 0 then x else x)) (0==) 18:40:34 (Eq a, Eq (a -> Bool), Num a, Num (a -> Bool)) => a -> Bool 18:40:41 :t (\x -> (x==0)) (0==) 18:40:43 No instance for (Eq (a0 -> Bool)) 18:40:43 (maybe you haven't applied enough arguments to a function?) 18:40:43 arising from a use of ‘==’ 18:41:02 :t (\x -> (if x==0 then 1 else 2)) (0==) 18:41:04 Could not deduce (Eq (a0 -> Bool)) arising from a use of ‘==’ 18:41:04 from the context (Num a) 18:41:04 bound by the inferred type of it :: Num a => a at :1:1 18:41:15 :t (\x -> (if x == 0 then x else x)) (0==) 18:41:17 (Eq a, Eq (a -> Bool), Num a, Num (a -> Bool)) => a -> Bool 18:41:21 :t (\x -> (if x == 0 then 1 else 2)) (0==) 18:41:23 Could not deduce (Eq (a0 -> Bool)) arising from a use of ‘==’ 18:41:23 from the context (Num a) 18:41:23 bound by the inferred type of it :: Num a => a at :1:1 18:41:28 ??? 18:41:55 :t (\x -> (if x == 0 then (0==) else (0==))) (0==) 18:41:57 Could not deduce (Eq (a0 -> Bool)) arising from a use of ‘==’ 18:41:57 from the context (Eq a, Num a) 18:41:57 bound by the inferred type of it :: (Eq a, Num a) => a -> Bool 18:42:11 :t (if (0==) == 0 then (0==) else (0==)) 18:42:13 Could not deduce (Num a0) arising from the literal ‘0’ 18:42:13 from the context (Eq a, Num a) 18:42:13 bound by the inferred type of it :: (Eq a, Num a) => a -> Bool 18:43:41 ( :t (\x -> (if x == 0 then x else x)) (0==) 18:43:41 (input):1:8: error: expected: ",", 18:43:41 ":", "=>", "impossible" 18:43:41 :t (\x -> (if x == 0 then x else x)) (0==) 18:43:41 ^ 18:43:43 parse error (possibly incorrect indentation or mismatched brackets) 18:43:49 ( :t (\x => (if x == 0 then x else x)) (0==) 18:43:55 Can't resolve type class Num (Integer -> Bool) 18:44:01 idris is an esoteric language now? 18:44:13 Xe: not /really/ but it appeals to esolangers 18:44:19 it's in the same category as Haskell in that respect 19:09:18 -!- hppavilion[1] has joined. 19:27:35 -!- atslash has quit (Ping timeout: 260 seconds). 19:28:05 -!- atslash has joined. 19:32:20 -!- rifter_ has joined. 19:32:47 -!- rifter_ has quit (Client Quit). 19:33:06 Is there a traditional behavior expected for improperly matched [] in brainfuck? 19:33:23 It is an error. 19:33:26 Ie, if I hit a second [ before a ]. 19:33:34 Should my interpreter check for that? 19:33:42 That is OK; it is nested loop 19:34:55 Hmm. I guess what I'm not clear on is how matching works then. In other words, is it just safe to look for the next ] and ignore anything else we find along the way. 19:35:26 [>+[>+]>+] or something is properly matched 19:36:02 just match the brackets in the only way that makes sense? 19:36:40 if there are more [s than ]s, or vice versa, throw an error. if there is a ] that doesn't correspond to any [, do the same 19:36:49 But if there is a [ without ] afterword, or extra ] then it is error, although as an extension you may use a mismatched ] to begin the initial input of the program, before reading user input. 19:37:22 (Some implementations use ! to begin initial input instead, although neither is standard brainfuck.) 19:39:57 this is what I get for trying to implement a language I don't actually know. 19:41:01 so dumb question time: in [>+[>+]>+],. does the first [ need to match to the first ] or the last one? 19:41:17 The first [ matches the last ] 19:41:22 And the inner [ matches the inner ] 19:42:06 yeah. OK. So I'll need to be cleverer about following loops. That's what I needed. 19:44:41 what 19:44:54 how would anything else make any sense? 19:45:25 if the first [ would match the first ], the inner loop would have to go outside the outer loop and then back in 19:47:10 i am not sure what is more interesting: why you don't know bf or why you implement it if you don't know it 19:53:04 myname: um, it could do gotos anywhere. 19:53:10 -!- TieSoul has quit (Remote host closed the connection). 19:57:35 b_jonas: how does that contradict anything i said? 19:59:54 b_jonas: exactly I expected a more imperative, less intelligent behavior: ie. it would simply scan for the next opposite symbol. 20:00:49 And to answer the question of "why": because I was bored, and it occurred I had some novel features in Heresy that might make it fun to implement. 20:01:11 how about implementing eodermdrome? 20:01:39 BF is superficially similar to a simpler example I was reviewing from a code exercise I'd done. 20:02:27 implementing bf is pretty borong, unless done in any weird or unfit language 20:02:48 Heresy is a slightly weird, possibly unfit language of my own devising, so that was also a motivation really. 20:04:52 -!- boily has joined. 20:06:05 How good do you know rules of Magic: the Gathering do you know how to help me with this? http://zzo38computer.org/textfile/miscellaneous/magic_card/puzzle.7 20:07:07 What exactly happens? (For example, is there ever a card in any graveyard face-down or with no characteristics?) 20:07:24 I think a card can only be in a graveyard face-down during the casting of a spell 20:07:35 and automatically turns face-up and regains its characteristics when the spell finishes casting 20:08:20 (or during activating an ability) 20:08:55 I know that is true in the hand if the card is drawn (rule 401.5), and that seems to be what is important for Anafenza's replacement effect. 20:09:25 Does it reset when it is actually in the graveyard though, and furthermore, is this game position winnable? 20:15:00 So do either of you know how these cards will interact in this game position? 20:23:04 @metar engm 20:23:04 ENGM 101950Z 02007KT 2400 -SN BR SCT011 BKN013 M05/M06 Q0996 TEMPO 1000 SN VV003 20:27:23 @metar CYUL 20:27:24 CYUL 102000Z 06013KT 15SM FEW045 BKN080 BKN120 06/03 A2926 RMK SC1AC5AC1 PRESFR SLP910 20:27:53 it's raining. stop lying, you sleazy airport weather report guy. 20:28:20 * boily is tempted to write a strongly worded letter to Aéroports de Montréal. 20:29:44 My friend is stuck at ENGM because his flight was cancelled. Doesn't look like it's the weather, though 20:35:16 <\oren\> @metar CYYZ 20:35:17 CYYZ 102020Z 29020G28KT 2SM -SN SCT013 OVC025 01/M01 A2915 RMK SN2SF2NS4 PRESRR SLP877 20:38:43 I would like to propose a new, useful operator 20:38:54 >-<, read "Together with" 20:39:02 Or maybe >< 20:39:40 {0, 1, 2, 3, 4, 5, 6, 7} >< {(+), (-), (*), (/)} forms modular arithmetic (specifically, mod 8) 20:40:30 so, it is just (Z_8, +, *)? 20:42:07 You are not really describing what the "Together with" operator is going to do very precisely? 20:42:35 zzo38: I am not. It's a more general operator. 20:43:07 zzo38: It is really just a placeholder for an operator to dynamically create rings/groups/fields/magmas/categories/ordered things/etc 20:44:11 how do you specify anytjing in it? like, what is 1 p 2? 20:44:16 1 + 2 20:44:32 boily: Maybe you should just telephone them to make an inquiry? 20:44:54 how do i know if it is F_8 or F__2 x F_2 x F_2? 20:47:33 myname: That's up to the mathematician using it. 20:47:46 It's a general idea more than a fixedly-defined operator 20:48:06 how is the operator any different than writing the respective tuple? 20:49:11 myname: I don't know, really. It's good for dynamically creating mathematical structures, at least. 20:49:55 how do you "create a structure" without defining how to calculate in it 20:49:59 What weird types of OO could there be? I'm currently catalogueing OO models and have Classes, Prototypes, and Groups (which really encompass rings and algebras and fields and such) 20:50:18 myname: I'm clueless, OK? It was just a fleeting thought that I didn't think much about 21:04:27 -!- vanila has joined. 21:11:03 -!- boily has quit (Read error: Connection reset by peer). 21:11:18 hello 21:11:38 b-jonas, i watched that prince of ppersia run and it was amazing thanks for recommending it! 21:18:29 -!- ais523 has quit (Read error: Connection reset by peer). 21:19:20 -!- ais523 has joined. 21:23:21 -!- boily has joined. 21:24:13 vanila: had you known of that skip on level 5? that was new to me 21:25:48 Perhaps a programming language that is SO (Subject-Oriented) instead of OO (Object-Oriented)? 21:26:31 Oh wait, that's already a thing xD 21:27:02 I didn't know any of it! 21:27:17 except buffering inputs i g uess 21:31:07 that skip is indeed possible by the way, even with my lame skills I could replicate it, although in a much slower way 21:38:32 -!- FreeFull has quit (Ping timeout: 246 seconds). 21:46:39 You have not verified my puzzle (as far as I can tell), although you have answered some questions, the answers which do not however invalidate it. 21:47:20 zzo38: new MTG puzzle? 21:47:33 haavard: Yes. 21:47:45 http://zzo38computer.org/textfile/miscellaneous/magic_card/puzzle.7 21:48:08 (There is also puzzle.6 I don't know if you have seen that one either?) 21:49:17 I haven't gotten around to give any of them serious thought, to be honest 21:49:26 Except the first one, but I'm probably wrong about my answer 21:49:53 What is your answer though? 21:50:47 119 21:51:44 Which cards do you think could be used though? 21:53:05 I think you could just attack with Leviathan and Bloodrush the Pyrewild Shaman for the win 21:55:13 I think I see why that doesn't work now 21:55:37 You need mana to do that! 21:56:16 Yeah, the Leviathan trigger happens before you get the change to bloodrush 21:56:50 That's why I figured my answer was wrong, it was too stupid 21:57:21 Leviathan's only triggered ability applies during your upkeep. 21:57:28 I feel like printing out proxies of the board state and every card in The Dark would help solving this :P 21:57:37 You may mean the cost 21:57:45 Right, I meant the attack cost 21:58:24 And you can't float the mana for bloodrush, because of reasons 21:58:43 (I'd look in the comprehensive rules but it's too late to bother) 21:59:11 not the Leviathan again 21:59:47 Surely it's not as bad as Panglacial Wurm 22:00:52 haavard: I count four cards in The Dark that would give you enough mana to bloodrush (there are also others that can win in other ways such as attacking) 22:02:04 My puzzle.7 does include Panglacial Wurm, but you can notice that none of the other cards in the puzzle say to search your library anyways. 22:02:33 haavard: no, it's not that Leviathan itself is bad, it's just that I remember zzo38's puzzle with a Leviathan, and I suspect this is the same one 22:02:48 It likely is, b_jonas 22:02:55 That is the "first one" that haavard is refering to 22:02:56 zzo38: is the wurm a red herring, then? 22:02:59 (I mean puzzle.1) 22:03:22 yep, puzzle.1 22:03:41 haavard: No, it is a green wurm 22:03:56 zing 22:04:22 which asks to count possible cards from The Dark that let you win the game, which is crazy because I know very little about the early sets. 22:05:06 You can also look at my puzzle.6 and puzzle.7 which are the newest ones 22:05:11 I don't even have any cards from them, since they were printed in such a low number of copies 22:05:59 I don't think The Dark was such a low print run 22:06:08 oh, puzzle.6 is the one with Artificial Evolution and Fork 22:07:05 I counted thirteen cards as the answer to puzzle.1, six of which involve having enough mana to use bloodrush 22:08:24 haavard: I don't know, but I believe I have no cards at all from the early expansions (and also from the early core sets) 22:09:00 I have a book with all of the old cards, and there is also Gatherer and others to find the cards on 22:09:02