00:17:38 nooodl: ISO 639-1 00:18:54 maybe they assigned exonyms/endonyms carefully to avoid clashes? 00:20:40 Also, suzzie might be a poor choice of nick for a male. 00:32:55 -!- tertu has joined. 01:06:05 [wiki] [[Boxy]] http://esolangs.org/w/index.php?diff=39326&oldid=39325 * Zerk * (+102) sugared primitives* 01:06:59 `coins 01:07:01 plexcoin mycentinycoin smicoin trifiedcoin bievencoin ciilcoin lazanctioncoin feranoltamcoin pichcoin morshipcoin vitycoin kolmogecoin circacoin alpingcoin onozcoin bitcoin pulcoin digfacoin ettercoin ischcoin 01:07:22 ion: oh i get it now (an hour later) 01:07:46 plexcoin, a cryptocoin for EVE? 01:07:48 -!- tertu has quit (Ping timeout: 245 seconds). 01:11:11 Sgeo: You play eve? 01:11:43 I played a little bit, not much 01:11:44 -!- nooodl has quit (Remote host closed the connection). 01:11:50 I'm occasionally interested in reading about it 01:11:52 What alliance/coalition? 01:11:53 oh 01:11:53 ok 01:11:56 Last time all I did was take pretty pictures 01:12:04 Of the EVE Gate and the violent wormhole 01:12:41 -!- nooodl has joined. 01:13:47 http://i.imgur.com/QnZs290.png hmm doesn't quite show it 01:14:12 http://i.imgur.com/WvcujFs.jpg 01:18:33 Yeah, I've been to the eve gate and lived in a hole for a while 01:19:43 -!- tertu has joined. 01:29:19 -!- oerjan has quit (Quit: leaving). 01:33:15 If I ever manage to stay in it, I'd... well, I would head for TEST if it wasn't dead 01:34:00 I am currently blue with TEST, though I am a little sad about that 01:35:30 blue? 01:35:46 <-- not the most knowledgeable about EVE 01:36:05 Blue = have status wherein we do not shoot each other 01:36:14 In particular, TEST is part of the HERO coalition at the moment 01:36:29 I am a part of SOUND, who is currently supporting HERO's attempt to claim Catch after the russians fucked up 01:36:31 * Sgeo suddenly remembers Ferion 01:37:33 -!- erdic has quit (Max SendQ exceeded). 01:37:59 -!- erdic has joined. 01:38:05 "10^4 players" 01:38:13 But the site says 396000 players 01:38:31 I think some of the recent battles in eve have had over 10^4 players in a single system >_> 01:38:36 -!- erdic has quit (Max SendQ exceeded). 01:38:41 The Ferion forums are down :( 01:39:09 err, nvm, looks like there were only 3k in a single system 01:41:10 Ferion has 'arenas', that is, universes, that eventually get won and closed, with a brand new arena then starting 01:41:26 So, you don't get this lock-in of powerful people who've been there since day 1 01:41:36 Well, I guess I don't know if that's a real EVE issue 01:41:50 Also it's an entirely different genre of game 01:42:53 http://www.ferion.com/portal/screen.php 01:42:59 -!- erdic has joined. 01:43:12 -!- ter2 has joined. 01:43:12 -!- tertu has quit (Disconnected by services). 01:43:19 -!- erdic has quit (Max SendQ exceeded). 01:43:31 Sgeo: In eve, being there earlier does give you some amount of power, but really not that much compared to coordination with other people 01:43:57 Sgeo: The main power source is how many people you can get to 1.) Follow you and 2.) Not fuck up 01:44:20 BRAVE (the most potent alliance from the HERO coalition) is essentially entirely constructed of a legion of newbies 01:44:30 they fail at #2 pretty hard, but there are enough of them to make up for it 01:44:47 You really only need a few people with a lot of SP/ISK to form a backbone around which other players can form 01:47:09 -!- tertu3 has joined. 01:47:59 -!- erdic has joined. 01:51:11 -!- ter2 has quit (Ping timeout: 276 seconds). 01:51:45 -!- erdic has quit (Max SendQ exceeded). 01:52:59 -!- erdic has joined. 01:53:07 -!- tertu has joined. 01:53:42 The game mechanics are biased heavily towards having thousands of minions in rifters 01:55:50 -!- erdic has quit (Max SendQ exceeded). 01:57:27 -!- tertu3 has quit (Ping timeout: 265 seconds). 01:57:59 -!- erdic has joined. 01:58:18 -!- erdic has quit (Max SendQ exceeded). 02:02:48 -!- tertu has quit (Ping timeout: 245 seconds). 02:02:59 -!- erdic has joined. 02:07:15 -!- ^v has quit (Max SendQ exceeded). 02:08:14 -!- ^v has joined. 03:01:21 Eh, my alliance is small, and we get by fine 03:02:08 -!- ^v has quit (Read error: Connection reset by peer). 03:02:36 -!- ^v has joined. 03:05:05 i feel this channel should know that, apparently thanks to the earlier discussion of nucleosynthesis, i had a dream about nazi nuclear reactors 03:19:13 -!- nooodl has quit (Quit: Leaving). 03:22:14 -!- nisstyre has joined. 03:25:05 -!- Sorella has quit (Quit: It is tiem!). 03:48:23 -!- tertu has joined. 04:12:29 -!- tertu has quit (Ping timeout: 240 seconds). 04:31:59 -!- tertu has joined. 05:17:08 [wiki] [[Boxy]] http://esolangs.org/w/index.php?diff=39327&oldid=39326 * Zerk * (+833) Moved integer sign to a key. Which will probably cause problems with 0 at some point *continues perpetually rewriting everything* 05:31:22 -!- xpte has quit (Quit: Connection closed for inactivity). 05:43:59 -!- tertu has quit (Read error: Connection reset by peer). 05:44:19 -!- MoALTz has quit (Quit: bbl). 05:45:08 -!- nisstyre has quit (Quit: WeeChat 0.4.3). 06:05:40 -!- password2 has joined. 06:25:29 [wiki] [[Boxy]] http://esolangs.org/w/index.php?diff=39328&oldid=39327 * Zerk * (+518) Added $$$$… referencing outer levels, /* Standard Library */ and used it to factor out math into a subbox with output re-colored as ints. 06:46:37 -!- Frooxius has joined. 06:50:14 -!- AnotherTest has joined. 06:51:34 -!- ^v has quit (Quit: http://i.imgur.com/DrFFzea.png). 07:16:13 [wiki] [[Brainfuck algorithms]] http://esolangs.org/w/index.php?diff=39329&oldid=39103 * 172.248.146.87 * (+1) /* Print value of cell x as number */ Return SP to it's starting position when finished 07:26:03 -!- Froox has joined. 07:27:54 -!- Frooxius has quit (Ping timeout: 258 seconds). 07:36:48 fungots fall on fungot falls 07:36:49 kmc: lisp could do that too ( insist on precision) but many people still speak of it and make it simpler 07:37:25 fungot: whereof one cannot speak, thereof one must be silent 07:37:25 kmc: maybe the words should be longer and harder? and software should be higher in quality how? 07:39:08 fungot: Stop making sense it's scary. 07:39:08 fizzie: it's reserving 1424 bytes, then i can't 07:40:29 fungot: what is it reserving those bytes for? 07:40:29 olsner: and then you can hit alt-space be one 07:41:15 less sense, but pretty good still... must be something in the data 07:42:03 @tell nooodl You must ask "ISO 639-1:2002, Codes for the representation of names of languages — Part 1: Alpha-2 code" that. 07:42:03 Consider it noted. 07:42:28 Oh, someone already pointed to it. 07:42:43 (I didn't read scrollback, only @masseurs.) 07:47:59 Possibly "Part 4: General principles of coding of the representation of names of languages and related entities, and application guidelines" would contain the reason, but I don't want to pay CHF 138 for it. 07:51:22 hella CHF 07:56:19 kmc: 10^27 CHF? :( 07:58:32 a bit over ten trillion years of current world GDP 08:01:19 -!- MindlessDrone has joined. 08:05:43 -!- MindlessDrone has quit (Ping timeout: 245 seconds). 08:06:05 earth has the highest GDP of any planet in our solar system 08:19:24 -!- MindlessDrone has joined. 08:24:06 kmc: Like they say, "to be born on Earth is like winning the lottery". 08:24:32 Also the longest life expectancy by far, I assume. 08:29:44 -!- Sellyme has quit (Excess Flood). 08:31:23 -!- Sellyme has joined. 08:45:46 -!- Patashu has joined. 09:05:50 -!- Patashu[Zzz] has joined. 09:05:50 -!- Patashu has quit (Disconnected by services). 09:05:50 -!- AndroidKitKat has joined. 09:06:01 Many people here. :D 09:16:49 `relcome AndroidKitKat 09:16:50 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: relcome: not found 09:16:56 B| 09:17:31 !welcome AndroidKitKat 09:17:33 AndroidKitKat: 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.) 09:17:33 kmc: Hi. :D 09:18:12 Who here uses brainfuck? 09:20:17 AndroidKitKat, a lot of us from time to time 09:20:27 Why do you ask? 09:20:44 I need general tips and tricks. 09:20:45 commercial viability of enterprise brainfuck solution? 09:21:15 Huh? 09:21:29 (/joking) 09:21:51 * lifthrasiir really sucks on joking 09:21:57 lifthrasiir, I found it funny 09:22:00 * AndroidKitKat has no sense of humor. :/ 09:22:19 Taneb: thank you very much. :S 09:22:37 AndroidKitKat, if you are storing lots of data, fixing the ends and only the ends to be zero works because then you can use [>] and [<] to navigate 09:23:30 Taneb: I see. 09:23:51 Not sure how good advice that actually 09:23:51 is 09:24:00 It's useful. 09:24:00 I've never written anything particularly big in brainfuck 09:24:22 i've written more brainfuck implementations than brainfuck programs, I think 09:24:28 Yeah, same 09:24:39 I once almost had one in lambda calculus 09:26:06 I had an optimizing Brainfuck implementation for the thesis 09:26:23 Oh, sweet 09:29:45 * AndroidKitKat wrote a brainfuck interpreter in a TI-83+. (Because I was bored as hell... <.<) 09:31:26 Has much research gone into algorithm complexity on the tape memory model? 09:31:50 Wut? 09:32:41 Most of what I've seen seems to be on the random access memory model 09:33:11 Wait, what are we talking about right now? 09:33:30 I am just rambling mostly 09:33:35 .-. 09:44:09 Set-flag-and-conditionally-unset-it is a common brainfuck construction, though I'm not sure that really counts as a tip. 09:44:55 As in, something like >+<[>-<[-]]>[xxx] for "do xxx is current cell was zero". 09:45:02 fizzie: Like, have a certain memory cell to keep track of? 09:47:45 I wrote something useful in brainfuck just the other day, but now I can no longer remember what it was. 09:47:59 ^thanks fungot 09:47:59 Thanks, fungot. Thungot. 09:48:04 Oh right, it was that. 09:48:18 Perhaps calling it "useful" is stretching things. 09:48:23 ^show thanks 09:48:23 >2,[>,]+15[>+6>+7>+3>+2<4-]>-6.>-.-7.+13.-3.+8.>-.>+2.<5[<]>[.>]>3+2.>.<3.<2[<]>[[-<2+>+>]+<-97[-4[-4[-6[-6[-4[>-<[-]]]]]]]>[[>]>2-11.<3[<]<.>3[.>]>3.>5][-]>]<3[[<]>2[.>]>5.>2] 09:48:28 `cat bin/thanks 09:48:28 ​#!/usr/bin/perl \ $_ = (join " ", @ARGV) || `words`; s/^\s+|\s+$//g; print "Thanks, $_. "; if (/[aeiouyAEIOUY]/) { s/^[^aeiouyAEIOUY]*/Th/; } else { s/^./T/; } print "$_."; 09:48:50 The former is an implementation of the latter, done because HackEgo was offline there for a while. 09:49:24 Back. 09:51:05 That +<-97[-4[-4[-6[-6[-4[>-<[-]]]]]]]>[xxx] construct is an example of the kind of flag-based "more complicated if condition than just != 0" construction; it does xxx if the < cell is not one of 97, 101, 105, etc. 09:51:24 (Corresponding to the [^aeiouy], of course.) 09:51:47 Are the numbers just a "macro"? 09:53:01 Yes, -4 is just ----. 09:53:32 Oh, I see. 09:53:47 fungot's interpreter is based on compiling to a bytecode where consecutive +-s and <>s have been merged, and I thought I might as well implement ^show in a bit more compact way. 09:53:47 fizzie: ' whore' is on the emacs wiki. 09:53:48 Do you know an application which does that for you? 09:54:03 and <4 is just <<<< 09:54:06 ^def tmp bf ++++++++++-->>>>><. 09:54:07 Defined. 09:54:08 ^show bf 09:54:10 ^show tmp 09:54:11 +10-2>5<. 09:54:15 Huh. 09:54:21 and 15 means 11111 so +15 means ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++means ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++means ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++means ++++++++++++++++++++++++ 09:54:40 It's supposed to turn that into +8>4. 09:54:44 Or at least I thought it was. 09:54:58 Maybe I didn't implement that, and/or broke it. 09:55:05 ^source 09:55:05 https://github.com/fis/fungot/blob/master/fungot.b98 09:56:03 Huh, seems I just dreamed I did it sanely. 09:56:14 does it strip comments? 09:56:18 Yes. 09:56:44 fizzie: Lol. 09:56:44 As you can clearly see from lines 360-367 or thereabouts, it only considers the repetition of a single instruction. 10:00:00 fizzie: whoa, that's scary 10:00:11 Anyways, somewhat off-topic, but what Lisp flavour should I learn? 10:00:23 that's in befunge! 10:00:34 b_jonas: It doesn't have "fung" in the name by accident. 10:02:01 "fungot - putting the fun back in befunge since 2008" 10:02:01 fizzie: do they block zip, etc too :) 10:02:31 that reminds me to NotJack who wrote a J evaluator irc bot in J 10:02:42 I wonder which of these is crazier 10:02:54 I don't know enough about befunge to decide 10:03:06 I don't have a Befunge interpreter in fungot (yet), to be fair. 10:03:06 fizzie: and adamantix is supposed to catch that willy nilly penguins and seals, i think, due to probable single connection to the server cause nothing happends when i do something like 10:03:28 J doesn't seem to be hard. 10:04:14 Also to belatedly comment on the Lisp flavours, I'm partial to Scheme but that's probably just due to SICP. 10:04:27 fizzie: that would be practical only if you include a good multi-dimensional source code editor with an irc interface so people can edit their source code 10:04:56 So, Scheme it is! 10:05:48 025*".srenileno rof enif tsuj si egnufeB">:#,_@ 10:05:50 AndroidKitKat: head on to http://www.racket-lang.org/ and http://www-sop.inria.fr/indes/fp/Bigloo/ 10:06:16 ) |.'.srenileno rof enif tsuj si egnufeB' 10:06:17 b_jonas: Befunge is just fine for oneliners. 10:06:31 Okay, mybe not quite *that* fine. 10:08:39 is there a magic 8-ball macro? 10:10:01 fizzie: ^ 10:11:17 ^bool 10:11:17 Yes. 10:11:26 (Okay, it's not quite.) 10:12:01 can you implement it in befunge or something? 10:12:16 I have a reference implementation in perlbot macro language 10:12:20 if that helps 10:12:50 (well it's quite simple, it just takes one of the 20 reply strings at random) 10:13:17 That's certainly doable in Befunge; there's the ? instruction that (uniformly) randomly does one of ^ v < >. 10:13:31 It would also be doable as a ^style 8ball via the babble generator. 10:13:53 ah 10:16:12 Though perhaps it'd be kind of pointless, since it's one "shuf -n 1" on HackEgo. 10:16:48 -!- boily has joined. 10:17:04 oh, let's try that 10:18:23 `run <<<"It is certain/It is decidedly so/Without a doubt/Yes definitely/You may rely on it/As I see it, yes/Most likely/Outlook good/Yes/Signs point to yes/Reply hazy try again/Ask again later/Better not tell you now/Cannot predict now/Concantrate and ask again/Don't count on it/My reply is no/My sources say no/Outlook not so good/Very doubtful" tr / \\n > 8ballreplies 10:18:25 No output. 10:18:55 `run shuf -n 8ballreplies 10:18:59 `run shuf -n 1 8ballreplies 10:18:59 Most likely 10:19:25 No output. 10:19:43 `run shuf -n 1 8ballreplies # Are there 20 replies? 10:19:44 It is certain 10:19:51 ` run wc -l 8ballreplies 10:19:52 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: : not found 10:19:56 `run wc -l 8ballreplies 10:19:56 20 8ballreplies 10:20:50 `run ls bin/8* 10:20:50 ls: cannot access bin/8*: No such file or directory 10:21:18 `run echo $'#!/bin/sh\nshuf -n 1 8ballreplies' > bin/8ball 10:21:20 No output. 10:21:30 `8ball Did I create the script correctly? 10:21:31 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /hackenv/bin/8ball: Permission denied \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /hackenv/bin/8ball: cannot execute: Permission denied 10:21:51 `run chmod a+x bin/8ball && cp bin/8{,-}ball 10:21:52 No output. 10:21:57 `8ball Did I create the script correctly now? 10:21:58 Outlook not so good 10:22:10 `8-ball Why, what's the error? 10:22:10 My sources say no 10:22:14 hmm 10:24:07 `run mkdir data; mv 8ballreplies data/; sed -i -e 's|8ballreplies|data/8ballreplies|' bin/8ball # let's keep the /hackenv clean and tidy, everybody 10:24:09 mkdir: cannot create directory `data': File exists 10:24:12 Huh. 10:25:28 `ls -dl data 10:25:28 ls: invalid option -- ' ' \ Try `ls --help' for more information. 10:25:35 `run ls -dl data 10:25:36 drwxr-xr-x 2 5000 5000 4096 Apr 15 10:24 data 10:25:40 Oh, maybe that was some confusing thing it had w.r.t. directories. Anyway, it seems to have worked all right. (Though /hackenv is full of cruft anyhow.) 10:25:57 `8ball this? 10:25:58 Ask again later 10:26:07 `run cp -v bin/8{,-}ball 10:26:08 ​`bin/8ball' -> `bin/8-ball' 10:26:19 `8-ball Is /hackenv full of cruft? 10:26:20 Don't count on it 10:26:27 `ls 10:26:28 98076 \ a \ app.sh \ bdsmreclist \ bin \ canary \ cat \ complaints \ :-D \ data \ dog \ etc \ factor \ fb \ fb.c \ head \ hello \ hello.c \ ibin \ index.html \ interps \ lib \ paste \ pref \ prefs \ quines \ quotes \ share \ src \ test \ Test \ Test.hi \ Test.hs \ UNPA \ Wierd \ wisdom \ wisdom.pdf 10:26:31 `8-ball fungot? 10:26:32 boily: you need to use three .s in a version that uses meroon. oop in lisp is done with lambda? 10:26:32 It is certain 10:27:34 Actually, maybe 'share' would've been the obvious place, WordData is there too. 10:28:34 `run mv data/8ballreplies share/; sed -i -e 's/data/share/' bin/8*ball; rmdir data # going to hit some empty-directory problem again, I'm sure 10:28:35 No output. 10:28:43 We should upload buubot's old fortune files collection to HackEgo and add some command to interface it. I think I have a copy of those files at home. 10:29:44 `run ls share 10:29:44 8ballreplies \ awesome \ cat \ construct_grams.pl \ delvs-master \ esolangs.txt \ esolangs.txt.sorted \ hello \ hello.c \ lua \ maze \ maze.c \ radio.php?out=inline&shuffle=1&limit=1&filter=*MitamineLab* \ units.dat \ WordData 10:30:00 -!- yorick has joined. 10:39:17 -!- password2 has quit (Ping timeout: 240 seconds). 10:53:58 -!- Patashu has joined. 10:54:26 -!- Patashu[Zzz] has quit (Ping timeout: 265 seconds). 10:57:18 -!- shikhin has joined. 11:05:00 -!- oerjan has joined. 11:08:14 -!- boily has quit (Quit: PREDICTIVE CHICKEN). 11:08:30 i didn't predict that. 11:12:45 You're no chicken. 11:13:44 now you are making assumptions. 11:14:08 i suppose that picture from yesterday is evidence. 11:17:13 It could have been a convincing FLESH SUIT. 11:22:25 "During the evaluation, you should not use any buttons of your browser, such as "Back" and "Refresh"." 11:22:29 That's kind of harsh 11:24:00 possibly that only applies to the current tab. 11:25:23 fizzie: like http://www.xkcd.com/629/ ? 11:29:33 fursure 11:36:35 ouch 11:39:09 `cat share/8ballreplies 11:39:10 It is certain \ It is decidedly so \ Without a doubt \ Yes definitely \ You may rely on it \ As I see it, yes \ Most likely \ Outlook good \ Yes \ Signs point to yes \ Reply hazy try again \ Ask again later \ Better not tell you now \ Cannot predict now \ Concantrate and ask again \ Don't count on it \ My reply is no \ My sources say no \ Outlook n 11:39:19 is that Concantrate intentional 11:39:46 `grep 42 share/8ballreplies 11:40:15 no "no output"? 11:40:17 No output. 11:40:20 ah 11:40:53 b_jonas: i'll be correcting that if you don't say it's intentional hth 11:41:33 `` echo 42 >> share/8ballreplies 11:41:34 No output. 11:41:39 oerjan: um... 11:41:51 oerjan: the 8ball mechanicm has a physical d20 in it 11:41:56 it can't handle more than 20 lines 11:42:01 oh. 11:42:06 `wc share/8ballreplies 11:42:07 ​ 21 69 342 share/8ballreplies 11:42:08 b_jonas: i wasn't speaking about the 42. 11:42:16 um 11:42:29 ah, Concantrate? let me check a source 11:43:18 `run sed -i '21,$d' share/8ballreplies #More fun than `revert 11:43:20 No output. 11:44:00 also do you mind if i add periods. 11:44:06 yes, Concantrate is definitely a typo 11:44:15 More fun than a bucket of balls. 11:44:16 I think we sohuld import the whole reply set again from a reliable source then 11:44:30 hm ok 11:44:40 b_jonas: Ah, you must mean the ISO standard of magic 8-ball replies. 11:44:58 fizzie: from the POSIX-2014 utility? 11:45:08 there ISO lways a standard 11:45:23 fizzie: no, I think we follow that spec only if the POSIXLY_CORRECT environment variable is set, otherwise we use the more traditional replies 11:45:35 groan 11:46:13 `run sed -i 's/Concantrate/Concentrate/;s/$/./' share/8ballreplies 11:46:14 No output. 11:46:19 `8ball 11:46:20 You may rely on it. 11:46:33 `run wc -c share/8ballreplies 11:46:33 359 share/8ballreplies 11:46:39 um 11:46:48 `run : "I meant"; wc -l share/8ballreplies 11:46:49 20 share/8ballreplies 11:46:56 Things that are more fun: http://sprunge.us/jEBP 11:47:36 `rub grep -i defi share/8ballr* 11:47:36 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: rub: not found 11:47:40 `run grep -i defi share/8ballr* 11:47:40 Yes definitely. 11:48:07 `url share/8ballreplies 11:48:08 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/share/8ballreplies 11:49:56 argh, hm 11:51:35 * oerjan curses the lack of text mime type 11:51:57 `url bin/8ball 11:51:57 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/bin/8ball 11:52:06 Has there been a text MIME type before? 11:52:39 i don't know. it is possible that IE has decided to be unreasonable about files without a suffix. 11:53:10 The server does say application/binary now, I was just wondering if it was different. 11:53:22 *sigh* 11:53:38 I assume it's set by the hgweb script, though, and nothing I configurarated. 11:53:42 well i'm pretty sure i used to be able to view programs in bin/ 11:53:58 maybe it depends on the filename or some query parameter in the url? 11:54:14 b_jonas: it _used_ to work for those files, then it stopped. 11:54:33 i recall paste/ files breaking 11:54:45 and having to rename them to .txt to see them 11:55:11 `run find -name '.htaccess' 11:55:13 No output. 11:55:30 can we configure the web face from here? 11:55:30 b_jonas: that's _not_ inside /hackenv hth 11:55:46 pity 11:55:55 I can mess with it, however. 11:56:05 fizzie "can". whether Gregor would like it is another matter. 11:56:27 but seeing as he's hardly even around... 11:56:28 Well, he had me re-set it up when I was adding esolangs.org; they're served by the same web server. 11:56:36 oh 11:56:47 well this thing broke long before that. 11:57:16 possibly when HackEgo itself moved, or even before. 11:58:02 It's sent as Content-Type: application/binary combined with Content-Disposition: inline; filename="8ball" which I think is kind of ambiguous. 11:58:29 The "inline" disposition suggests automatic displayifying, but application/binary suggests it's not suitable for eyes. 11:58:35 well, the .htaccess configuration file should be accessible from here so that when we create files we can tell their types to the webserver and stuff 11:58:58 They're not served raw, there's a mercurial repository browser in the way. 11:59:03 A .htaccess file would have no effect. 11:59:29 well IE certainly insists on treating it as needing an application. 11:59:42 some config files for that then 12:02:00 Internet suggests hgweb should use the python mimetypes module and base the choice on extension, but even a .txt file comes out as application/binary. 12:02:31 it was 6 weeks ago that i had to that ridiculous paste renaming 12:02:44 *to do 12:03:01 http://codu.org/projects/hackbot/fshg/index.cgi/log?rev=.txt 12:04:43 which was likely the first time i tried viewing pastes after HackEgo moved. 12:07:24 I guess Gregor moved the repository browser too at that time. 12:09:28 As a workaround, if you don't absolutely need the raw view, quite often dropping "raw-" from the URL -- as in, http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/share/8ballreplies -- might work. 12:09:43 There's a bit of unnecessary fluff, but at least it opens in the window. 12:11:51 yes, although the question is whether to change bin/url to do that. 12:11:57 Apparently there's a config setting of "guessmime". 12:12:34 Seems to have been a security change. 12:12:42 hm 12:12:56 "Before: hgweb made it possible to download file content with a content type detected from the file extension. It would serve .html files as text/html and could thus cause XSS vulnerabilities if the web site had any kind of session authorization and the repository content wasn't fully trusted." 12:13:08 I guess in this case "wasn't fully trusted" sounds like a good description. 12:13:18 `cat bin/url 12:13:18 ​#!/usr/bin/env python \ import sys, urllib \ if len(sys.argv) <= 1: \ print "http://codu.org/projects/hackbot/fshg/" \ else: \ print ("http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/" + \ urllib.quote(sys.argv[1])) 12:14:09 `run cp bin/{,raw-}url; sed -i 's/raw-//' bin/url 12:14:11 No output. 12:14:55 `url bin/url 12:14:56 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/bin/url 12:15:02 `cat bin/pastewisdom 12:15:02 ​#!/bin/sh \ echo http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/wisdom/ 12:15:22 `run find | grep fshg 12:15:24 No output. 12:15:33 wat 12:15:55 Deciding between 'text/plain' and 'application/binary' based on whether the file "looks" binary (the way it does if guessmime is on but mimetypes.guess_type returns None) might presumably have been a reasonably safe thing, too. 12:16:01 oh hm 12:16:06 File names, not content. 12:16:09 `run find | xargs grep fshg 12:16:22 eek 12:16:24 I've done that too. 12:16:41 grep: .: Is a directory \ grep: ./ibin: Is a directory \ grep: ./quines: Is a directory \ grep: ./bin: Is a directory \ ./bin/raw-url: print "http://codu.org/projects/hackbot/fshg/" \ ./bin/raw-url: print ("http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/" + \ ./bin/pastewisdom:echo http://codu.org/projects/hackbot/fshg/index.cgi 12:16:52 Heh, noisy. 12:17:07 `run find -f | wc 12:17:07 find: unknown predicate `-f' \ 0 0 0 12:17:15 "find -type f -print0 | xargs -0 grep whatever" is my typical quick-and-dirty look-inside tool. 12:17:15 hm possibly those were all the files, the rest use bin/url 12:17:17 `run find -type f | wc 12:17:20 ​ 12986 13251 743328 12:17:22 stupid me. 12:17:46 `run du -sh . 12:17:49 524M. 12:18:10 `run du -sh / 12:18:22 fizzie: why not just grep -R ? 12:18:28 or perhaps grep -Rh 12:18:28 du: cannot read directory `/proc/tty/driver': Permission denied \ du: cannot read directory `/proc/1/task/1/fd': Permission denied \ du: cannot read directory `/proc/1/task/1/fdinfo': Permission denied \ du: cannot read directory `/proc/1/task/1/ns': Permission denied \ du: cannot read directory `/proc/1/fd': Permission denied \ du: cannot read dir 12:18:36 right. 12:18:43 `run du -sh / 2>/dev/null 12:18:50 1.6G/ 12:19:08 (I have my own crazy grep tool for some reason, but it's not really better.) 12:19:46 is there a channel for spamming hackego by the way? or should I just do it in private message? 12:19:54 b_jonas: that would mean remembering all the options of grep hth 12:20:14 bin/url, bin/raw-url, bin/pastewisdom, quotes, wisdom/fizzie and a number of paste/paste.* are the entire set of files containing "fshg". 12:20:28 oerjan: since I wrote my grep clone, I remember more than half of the optoins 12:20:30 `? fizzie 12:20:31 fizzie is not fnord with a monad but the king of #esoteric, see http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/src/fizziecoin.jpg 12:20:43 at least for gnu grep 12:20:49 It is a shame that comes out as application/binary. :/ 12:21:06 actually IE showed that picture just fine :P 12:21:17 Oh. Heh. Chrome just saved it. 12:21:29 but of course find | xargs grep can be useful too when you want some more complicated filter on the files 12:21:31 it pays some attention to the file extension, i assume. 12:21:41 -!- nucular has joined. 12:21:41 -!- nucular has quit (Changing host). 12:21:41 -!- nucular has joined. 12:22:38 fizzie: heh, firefox treats it as PDF?! 12:22:57 (but I could Open in Browser As -> Image) 12:23:21 (thanks to the "Open in Browser" addon) 12:23:24 That's the weirdest. 12:23:48 `pastequotes fizzie 12:23:50 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/paste/paste.12979 12:24:51 there's still a raw link in the sidebar, anyhow 12:25:06 fizzie: http://int-e.eu/~bf3/tmp/pdf.png 12:25:31 I have no clue where it got that idea, hmm. 12:25:38 I am puzzled. 12:27:13 Me too. The server does reply with application/binary. And the first couple of bytes look nothing like PDF either. 12:40:32 -!- Sgeo has quit (Read error: Connection reset by peer). 12:56:46 -!- Sorella has joined. 12:59:34 -!- ^v has joined. 13:15:11 -!- ^v has quit (Ping timeout: 252 seconds). 13:19:05 -!- shikhin has quit (Read error: Connection reset by peer). 13:19:57 -!- shikhin has joined. 13:43:18 -!- CapitalSigma has quit (Quit: leaving). 13:58:57 -!- Phantom_Hoover has joined. 14:06:33 -!- Patashu has quit (Ping timeout: 245 seconds). 14:23:27 -!- ggherdov has quit (Remote host closed the connection). 14:40:12 -!- HaliteTablet has joined. 14:44:52 HaliteTablet: aren't you banned? 14:45:27 huh, I guess not. 14:52:14 -!- shikhin has changed nick to Bender|shikhin. 14:54:08 -!- Bender|shikhin has changed nick to shikhin. 14:54:13 -!- ggherdov has joined. 14:58:22 -!- ^v has joined. 15:00:08 HaliteTablet: ...i didn't know you could put fluff in your NickServ metadata. 15:00:16 -!- shikhin has quit (Ping timeout: 252 seconds). 15:02:28 -!- password2 has joined. 15:02:56 [wiki] [[Ignition]] http://esolangs.org/w/index.php?diff=39330&oldid=39208 * Luxen * (+1365) update for new commands 15:04:30 nifty 15:04:33 when did we get that 15:04:57 you mean wiki announcements? 15:05:23 [wiki] [[User:Luxen]] M http://esolangs.org/w/index.php?diff=39331&oldid=39211 * Luxen * (+63) /* finished products */ 15:05:39 or NickServ metadata? 15:05:47 CHOOSE WISELY 15:07:20 -!- oerjan has quit (Quit: YOU WERE TOO LATE; NOW YOU WILL NEVER KNOW EITHER.). 15:18:27 -!- Froox has quit (Quit: *bubbles away*). 15:18:38 -!- Frooxius has joined. 15:29:27 [wiki] [[Aeon]] N http://esolangs.org/w/index.php?oldid=39332 * Cptx032 * (+4959) init 15:31:08 [wiki] [[Language list]] http://esolangs.org/w/index.php?diff=39333&oldid=39322 * Cptx032 * (+11) /* A */ 15:33:35 -!- Frooxius has quit (Ping timeout: 258 seconds). 15:39:48 -!- Frooxius has joined. 15:47:52 -!- jesyspa has joined. 15:54:42 If you meant the wiki announcements, we got them on 2014-04-06. 16:03:35 -!- password2 has quit (Quit: Leaving). 16:05:40 -!- Slereah_ has quit (Ping timeout: 240 seconds). 16:11:01 Any CLISPer around here? 16:13:05 How does symbol to function coercing work? 16:13:41 is that why (funcall 'id 9) == (funcall #'id 9)? 16:18:20 > foldl1 (const) [1..] 16:18:20 When elaborating an application of constructor __infer: 16:18:20 No such variable foldl1 16:18:25 mueval: ExitFailure 1 16:19:04 That's one not lazy version of head . 16:19:39 Evaling a list doesn't imply that the elements are evald, right? 16:20:16 nvm. foldl1 (const) [print "a", print "b"] only prints "a" 16:20:45 > foldl1 (printf "(const %s %s)") ["a","b","c","d"] 16:20:45 When elaborating an application of constructor __infer: 16:20:45 No such variable foldl1 16:20:47 "(const (const (const a b) c) d)" 16:21:25 @run foldl1 (printf "(const %s %s)") $ (:"") <$> ['a'..'z'] 16:21:27 "(const (const (const (const (const (const (const (const (const (const (cons... 16:21:39 @run foldl1 (printf "(const %s %s)") $ (:"") <$> ['a'..'g'] 16:21:41 "(const (const (const (const (const (const a b) c) d) e) f) g)" 16:22:12 mroman: that has nothing to do with evaluation 16:22:21 (print "b") does not print "b" even if you evaluate it 16:22:54 @run [ print x | x <- [0..] ] 16:22:57 [,,,,,,,,, > head . foldl1 (const) $ [[1..], reverse [1..]] 16:23:33 (input):1:23:When elaborating an application of function Control.Category..: 16:23:34 No such variable foldl1 16:23:34 1 16:24:00 ^- according to my definition of eval, the above would run forever if each element where eval'd 16:24:47 Good thing your definition is wrong, then 16:25:08 well... at least we now have established that my definition is indeed wrong :) 16:25:20 I wonder what's in idris's Control.Cat 16:25:42 Probably the same thing, but with actual proofs 16:25:59 So, then... what's the correct terminology? 16:26:02 "execution"? 16:27:03 (obviously it's not trying to reverse an infinite list) 16:27:37 @run foldl1 const [a, b] 16:27:39 Ambiguous occurrence ‘b’ 16:27:39 It could refer to either ‘L.b’, defined at L.hs:155:1 16:27:39 or ‘Debug.SimpleReflect.Vars.b’, 16:27:39 imported from ‘Debug.SimpleReflect’ at L.hs:110:1-26 16:27:39 (and originally defined in ‘simple-reflect-0.3.1:De... 16:27:48 wat 16:27:49 :t b 16:27:51 Ambiguous occurrence ‘b’ 16:27:51 It could refer to either ‘L.b’, 16:27:51 defined at /home/lambda/.lambdabot/State/L.hs:155:1 16:27:54 :t L.b 16:27:55 Num a => a 16:28:03 @run b 16:28:05 Ambiguous occurrence ‘b’ 16:28:05 It could refer to either ‘L.b’, defined at L.hs:155:1 16:28:05 or ‘Debug.SimpleReflect.Vars.b’, 16:28:05 imported from ‘Debug.SimpleReflect’ at L.hs:110:1-26 16:28:05 (and originally defined in ‘simple-reflect-0.3.1:De... 16:28:14 This is ridiculous 16:28:16 @run L.b 16:28:22 mueval-core: Time limit exceeded 16:28:42 @run foldl1 const [x, y] 16:28:44 x 16:30:40 the "actual value" of y is never required 16:33:45 whatev 16:33:47 er 16:49:55 -!- HaliteTablet has quit (Quit: Connection closed for inactivity). 16:57:09 does anyone have an example of the real huge C++ things you get out of Spirit 16:58:25 We get them using xpressive now 17:06:27 -!- MoALTz has joined. 17:07:41 -!- password2 has joined. 17:14:59 -!- scoff has quit (Ping timeout: 250 seconds). 17:16:02 -!- scoff has joined. 17:19:23 -!- sebbu has quit (Quit: reboot). 17:20:02 -!- tromp has quit (Ping timeout: 276 seconds). 17:29:23 -!- MoALTz has quit (Ping timeout: 252 seconds). 17:30:18 -!- MoALTz has joined. 17:30:24 -!- MoALTz_ has joined. 17:30:45 -!- MoALTz_ has quit (Client Quit). 17:33:41 -!- MoALTz_ has joined. 17:36:21 -!- MoALTz has quit (Ping timeout: 252 seconds). 17:51:45 -!- MoALTz_ has quit (Ping timeout: 252 seconds). 17:55:05 -!- MoALTz has joined. 17:56:33 -!- MoALTz has quit (Max SendQ exceeded). 17:58:22 -!- MoALTz has joined. 18:06:03 -!- MindlessDrone has quit (Ping timeout: 265 seconds). 18:12:45 are there any good puzzle games where the primarrry mechanic is manipulating in turns different characters with different abilities in different positions of the same puzzle map? 18:19:53 -!- MindlessDrone has joined. 18:22:44 supermegacomics.com is down?! 18:22:49 how long has this been the case 18:24:08 Puzzle games? Well, there is the time I played a wesnoth campaign by reloading over and over 18:24:23 I guess that wasn't very good 18:27:01 hmm. fish fillets has some asymmetry between the two agents 18:30:59 others suggested thomas was along and lost vikings 18:32:59 whoa, lost vikings 18:33:03 i played that game 18:33:35 that certainly satisfies your thing 18:35:39 wow, I did not realize that "The Cave" was an elaborate Lost Vikings clone *g*. 18:36:25 -!- nooodl has joined. 18:40:34 whoa, whoa, whoa 18:40:37 what's this 18:42:21 it's GR8T! 18:44:20 is there a non-steam non-ouya non-apple-app-store way to get it 18:47:30 which? 18:48:04 I played the Steam version of "The Cave" 18:49:15 would rather avoid Steam if possible 18:50:51 -!- sebbu has joined. 18:50:51 -!- sebbu has quit (Changing host). 18:50:51 -!- sebbu has joined. 18:51:52 -!- sebbu has quit (Read error: Connection reset by peer). 18:52:34 -!- sebbu has joined. 18:52:34 -!- sebbu has quit (Changing host). 18:52:34 -!- sebbu has joined. 18:54:29 -!- nisstyre has joined. 19:02:19 I played Lost Vikings too. 19:02:29 It was very. 19:03:26 I played Lost Vikings Two. 19:03:29 I remember the game ... but not vividly 19:05:49 -!- nortti has changed nick to driyoyleujiy. 19:05:56 -!- driyoyleujiy has changed nick to nortti. 19:10:19 There were arrows, and the guy with a shield. 19:10:24 You could stand on the shield. 19:13:41 Scandinavian Airlines is running an ad campaign in SF in conjunction with the Visit {Sweden, Denmark, Finland} organizations, which caused me to notice that while the logos for the first two are based on their countries' respective flags, the logo for Visit Finland is a collection of misshapen circles http://www.visitfinland.com/ 19:15:35 I think I've seen that logo. It reminds me vaguely of the Aalto vases. 19:15:45 (It's not exactly the same shape.) 19:18:49 "Due to the huge volume of travel marketing and the plethora of potential travel destinations for tourists, the Fi 19:18:52 nnish Tourist Board recognized the need for renewing Finland's destination branding -- the need to stand out. Dis 19:18:55 ruptive strategy and design work resulted in countrybranding based on the key idea that in comparison with most o 19:18:58 ther countries, Finland is something else -- totally individual, unconventional and fresh. It is a welcome altern 19:19:01 ative to places crowded with tourists. Finland's country branding breaks the conventions and clichés of travel ma 19:19:04 rketing, represents the true qualities of Finland in an ironic, yet positive way and communicates the attributes 19:19:07 cool, creative, contrasts and credible." 19:19:10 In case you didn't get that from the misshapen circles. 19:19:13 (Also nice line breaks there.) 19:19:24 (They're my own fault.) 19:19:33 they are nice 19:19:43 Good countrybranding 19:19:44 they're disruptive, unconventional, and fresh 19:19:56 They're certainly dis 19:19:57 ruptive. 19:21:10 Today I am very disappointed, because last summer we rented this silly tiny "smart fortwo" mini-car, and drove it to Hanko and back, and it was a very nice trip; but now when I went back to the rental company, they're apparently entirely phasing that thing out at the end of May. 19:21:37 bummer 19:21:47 I mean, I'm sure they were losing money and people weren't renting those things, but they should still keep them because I would like to rent one about once a year. 19:22:32 you should rent a TRAAAAAIN instead 19:22:40 On the other hand, they've started renting out the Tesla Model S, as the first place in Finland. 19:22:46 shiny 19:22:50 where do you charge it? 19:22:51 (Last I heard, Tesla had sold a total of about twelve of them in Finland.) 19:22:56 Nowhere, I'm sure. 19:23:13 At least nowhere outside the Helsinki region, I think there's a couple of charging stations hereabouts. 19:23:25 Not Tesla-specific, so probably not very fast either. 19:24:37 Okay, there's a few here and there -- http://sahkoinenliikenne.fi/latauspisteet/ -- but it's still not a very dense network. 19:24:41 there was an electric car startup in israel that had removable batteries and stations where you could swap them out for a fresh one 19:24:44 but i think they failed 19:24:59 despite israel seeming like the ideal market for something like that 19:25:13 A total of 45 in the whole of Finland, apparently. 19:26:47 The Model S also costs something like 200€/day to rent, while the smart fortwo was around 30€/day. 19:28:41 s/twelve/thirty/ (!) 19:29:10 https://www.humblebundle.com/ 19:29:14 i feel like i've been set up 19:30:11 I didn't know. 19:38:52 "Finngenerator" "Have a try and find your inner Finn by changing your name. Just type your name here and let the generator tell you what you would be called if you were a Finn." 19:39:07 fizzie: the disruptive unconventional marketing reminds me of this classic: http://adage.com/images/random/0209/pepsi-arnell021109.pdf 19:39:10 I typed my very typical Finnish name in, and got something completely different out. 19:39:34 "THE GENERATOR HAS SPOKEN. FROM NOW ON YOU ARE CALLED: Ohto Viljanen" 19:39:37 -!- MindlessDrone has quit (Quit: MindlessDrone). 19:39:59 That is such a silly decree, ohto. 19:41:05 kmc: Was this automatically generated? 19:41:41 Though it does remind me of a graph I saw that I cannot possibly find again. 19:43:22 http://kritiikkiblogi.files.wordpress.com/2011/10/11_juhani_risku_johtaminen_funktio_kaava_johtaa-edesta-ja-esimerkilla_design-muoto-oppi-johtajuus-arkkitehtuuri-muotoilu-taide_leadership_organization.jpg gets pretty close. 19:43:28 (And is a pretty long link.) 19:44:21 (Apparently Steve Jobs had a remarkably high levels of i and [noise].) 19:44:39 (It's the "leadership equation.") 19:47:56 -!- evalj has joined. 19:55:31 I can't find out how much it costs to rent a TRAAAAAIN -- or even just a single train carriage. (They had a couple of styles of those, but no pricing, just "contact us".) 19:55:56 The university had some sort of a train event, I think. 19:55:57 that usually means "too damn much" 19:55:59 oh, old times. "alt-x quite the game" 19:56:01 They also had a ship event. 19:56:30 "When you want to offer your interest groups an unforgettable journey you can charter a whole train. Choose from dozens of car types to put together a conference train, a train for a festive occasion, an exhibition train or an event train; there is enough room for as many as 1500 persons." 19:56:40 "A private train is also the easiest way to go to a competition, a celebration, a conference or other occasion." 19:56:56 -!- Sellyme has quit (Quit: Oh god my bouncer is down help). 19:57:03 "For further information please use our form or call --" 19:57:16 "You can add special-purpose cars to chartered trains in addition to normal day cars." 19:57:26 They don't say too much about what kind of cars. 19:57:55 I guess probably the same conference/saloon/exhibition ones they offer to stick in a normal, non-private train, too. 19:58:12 "Choose from day cars, sleeping-cars or special-purpose cars for business or pleasure." 19:58:17 That last part sounds a bit sleazy. 19:59:12 sounds like something a few of my friends would enjoy 19:59:20 I'm a bit surprised they don't have a sauna car. 19:59:31 There's a number of saunas on wheels in Finland, I know that much. 20:00:28 I guess you generally park them before using them, though. 20:01:06 boring 20:01:15 http://sauna.saunasessions.ca/category/mobile_saunas 20:01:23 -!- Sellyme has joined. 20:01:41 A sauna moped. 20:03:24 I've seen that Skipoli trailer sauna (the first photo in the list) parked around the university. 20:03:56 [wiki] [[Boxy]] http://esolangs.org/w/index.php?diff=39334&oldid=39328 * Zerk * (+186) /* Sugar */ Formalized ''.'' as just another map. 20:06:46 Also https://dl.dropboxusercontent.com/u/113389132/Misc/20140415-smart.jpg why would you stop renting something this cute? 20:07:09 I should start a web petition, those always have such an impact. 20:11:10 ok, I can confirm that you may download apk files for those games :) 20:11:58 fizzie: did you see http://jalopnik.com/vandals-are-flipping-over-smart-cars-in-san-francisco-1560004013 20:12:09 I saw, and it made me sad. 20:14:01 oh, wait, the humblebundle thing is android-only 20:14:18 shachaf: right 20:14:30 Oh, I didn't even notice that. 20:14:36 so there's no way to get the game for the relevant platforms other than steam 20:14:39 Weren't the previous "mobile" bundles also desktop compatible? 20:14:50 some 20:14:54 and not all of the games 20:16:14 sigh 20:16:17 oh well, already bought it 20:16:26 . o O ( aren't there android simulators ;) ) 20:27:33 -!- Sprocklem has joined. 20:39:35 -!- Bicyclidine has joined. 20:57:59 -!- Patashu has joined. 21:06:49 -!- Patashu[Zzz] has joined. 21:06:49 -!- Patashu has quit (Disconnected by services). 21:10:12 -!- AnotherTest has quit (Ping timeout: 265 seconds). 21:18:24 -!- password2 has quit (Remote host closed the connection). 21:19:20 -!- evalj has quit (Remote host closed the connection). 21:20:50 -!- Sprocklem has quit (Ping timeout: 265 seconds). 21:22:48 -!- Patashu[Zzz] has quit (Ping timeout: 258 seconds). 21:25:25 -!- password2 has joined. 21:28:21 [wiki] [[Boxy]] http://esolangs.org/w/index.php?diff=39335&oldid=39334 * Zerk * (+120) Removed half-baked importing /* Toplevel */ moved signedness handling to an extension. *abuses headers* 21:32:13 -!- password2 has quit (Remote host closed the connection). 21:37:53 -!- oerjan has joined. 21:41:36 -!- password2 has joined. 21:43:27 `coins 21:43:29 morgecoin vitcoin ogdalgafficcoin modescoin falveollbercoin helpcoin hamccoin eoacoin yelcoin piocoin frogcoin lutingbraycoin ilossilandcoin ediumbraidcoin ozpurecoin prolcoin smunivarcoin attrecoin braebirccoin orrelazioncoin 21:44:15 Evaling a list doesn't imply that the elements are evald, right? <-- no, also evaling an IO action like print "b" does not imply that it's actually _executed_. 21:44:34 @tell mroman Evaling a list doesn't imply that the elements are evald, right? <-- no, also evaling an IO action like print "b" does not imply that it's actually _executed_. 21:44:34 Consider it noted. 21:49:51 wat <-- someone presumably @let b = something 21:50:11 and @let doesn't check for name conflicts with other modules. 21:50:23 @let map = 1 21:50:25 Defined. 21:50:32 :t map 21:50:33 Ambiguous occurrence ‘map’ 21:50:33 It could refer to either ‘L.map’, 21:50:33 defined at /home/lambda/.lambdabot/State/L.hs:157:1 21:50:38 @undefine 21:50:38 Undefined. 21:51:11 -!- xpte has joined. 21:51:25 :t b 21:51:26 Expr 21:55:10 ther countries, Finland is something else -- totally individual, unconventional and fresh. It is a welcome altern <-- that's seriously meta-clichéed. 21:55:41 helsinki did not seem un-touristy to me 21:55:47 so much that i wonder if it's ironically meant 21:55:50 what with the pub tram 21:56:01 and the exorbitantly priced restaurants and pubs 21:56:19 kmc: um i am not talking about any resemblance to reality here. 21:56:27 whether true or not. 21:56:28 indeed 21:56:35 -!- nisstyre has quit (Quit: WeeChat 0.4.3). 21:57:18 can you get a design prize by being ironically meta-clichéed, i wonder. 21:57:20 I assume you were just understanding it wrong. 21:57:33 fizzie: who, me? 21:59:06 No, kmc, when they did not see the true qualities. 21:59:14 ah. 22:07:16 -!- Melvar has quit (Ping timeout: 240 seconds). 22:07:17 -!- boily has joined. 22:07:59 -!- Melvar has joined. 22:10:44 Hmm. Given a positive real vector x_i, how do I find a reasonably small r such that all r*x_i are close to integers? 22:11:39 huh 22:11:46 r=0 lolol 22:12:01 if it were just one coordinate i'd use continued fractions. 22:12:03 That's unreasonably small, sorry 22:12:15 (x_i is the estimated speed of the ith CPU, and r*x_i is the (integer) amount of work to schedule to it) 22:13:46 i guess the r*x_i need to fit in some known datatype? 22:13:49 *+s 22:14:06 Jafet: i take it r is real too? 22:14:15 Yes, r is an arbitrary scaling. 22:14:28 (Which, for practical purposes, should be nonzero) 22:14:40 oh. in that case i'd also use continued fractions for _two_ coordinates :P 22:15:06 but i don't know any theory for more than that. 22:17:14 wouldn't a bit of dynamic adjustment be simpler. 22:18:11 estimate how long until a CPU runs out of work, or thereabouts. 22:18:15 This system only has one synchronization primitive, and it is global 22:18:36 s/only has/has only/ 22:19:38 -!- jjestrel has joined. 22:23:53 s/has only/only only has has only way way pon pon pon only has/ 22:24:05 Hmm, this might be equivalent to the shortest-vector-in-lattice problem 22:24:06 -!- jj2baile has joined. 22:25:26 do I blame coppro? 22:25:49 i was wondering about that. 22:26:06 (our newcomers) 22:26:21 !welcome jjestrel jj2baile 22:26:22 jjestrel: jj2baile: 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.) 22:26:34 I'm going to go out on a limb and guess it's only one person based on the prefix 22:26:59 I'm now walking outdoors on top of my limb and it's really painful and awkward. this was a mistake 22:27:12 wat 22:27:45 well, I said I was going to go out on a limb. 22:27:49 is there a fashion of walking that doesn't involve being on top of your limbs 22:27:49 oh limb is not a human organ here 22:28:14 Bicyclidine: let's do the snakey-snake 22:28:34 I'm pretty sure I'm human. 22:28:34 The best form of walking is biking 22:29:14 so which of the two nicks is the bf bot 22:29:19 you know what's a fun thing? reading old science books that assert wrong facts 22:29:41 * boily prods oerjan in the non-human limbs 22:29:42 or current science boks. 22:30:15 ^prefixes 22:30:16 Bot prefixes: fungot ^, HackEgo `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, idris-ircslave ( , jconn ) , blsqbot ! 22:30:20 boily: sorry i'm all out 22:30:40 kmc: it's harder to tell what's wrong with those, though 22:30:45 #test 22:30:53 $test 22:30:55 whereas with this one it's like "maybe muscle works by folding" or "DNA replication is catalyzed by a single enzyme" 22:31:21 coppro: which one of the jjes is a bot? 22:33:12 -!- nucular has quit (Quit: Excess Food). 22:33:34 boily: not telling 22:33:50 elliott: and yes, you blame me 22:34:47 elliott: yes but i don't think "out on a limb" refers to a human limb, in normal circumstances. 22:34:51 Was Bicyclidine something different than Bike? 22:35:09 coppro: meanie. 22:35:19 oerjan: you realise I was making a joke right :P 22:35:36 Bicyclidine is a patented copyrighted trademark hth 22:35:51 elliott: i never! 22:36:34 Bike used to be, back in the 19th century, but has long since expired. 22:37:03 Bicyclidine will never expire. the megacorps will see to that. 22:37:42 argh my throat 22:38:12 see, that's what happens when you mistreat your human organs. 22:38:46 i wasn't mistreating it, it started coughing all by itself 22:39:03 1-(1-bicyclohexyl)piperidine) isn't allowed as an irc name, and also isn't good nomenclature anyway 22:40:09 -!- oerjan has changed nick to a-123. 22:40:24 -!- a-123 has changed nick to oerjan. 22:40:47 apparently you cannot have just numbers. 22:41:37 -!- boily has changed nick to `. 22:42:00 -!- ` has changed nick to boily. 22:42:26 -!- password2 has quit (Ping timeout: 276 seconds). 22:43:20 you also can't start with numbers 22:45:13 probably can't use parens either 22:46:36 old information theory also great "Information is thus conveniently measured in the probability units called bits" 22:53:01 -!- Sgeo has joined. 23:00:10 -!- coppro has changed nick to jjcoppro. 23:07:41 Oh, elliott: I am in fact not jjestrel 23:07:54 I'm surprised 23:07:55 also, !welcome makes me think of "not welcome" ;P 23:08:10 -!- jesyspa has quit (Quit: leaving). 23:08:41 curses! 23:08:41 jj2baile, how's this 23:08:43 `relcome 23:08:43 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: relcome: not found 23:08:48 did 23:08:53 did someone delete relcome 23:09:01 Phantom_Hoover is really not paying attention lately. 23:09:04 elliott deleted them all with extreme prejudice. 23:09:13 elliott 23:09:14 i... 23:09:41 why don't i have popcorn for this. 23:09:47 `WeLcOmE 23:09:48 ​/hackenv/bin/WeLcOmE: 2: /hackenv/bin/WeLcOmE: welcome: not found 23:10:14 Phantom_Hoover: they were annoying and only (over)used to make people feel unwelcome :/ 23:10:21 ehm, so that is still there, but broken because the plain welcome is gone 23:10:55 there should just be one for people who have already demonstrated they're here for the wrong kind of esoterica (in fact I think there already is?) and we can just, you know, say hi to the rest 23:11:34 elliott: well that's what plain `welcome was. 23:12:02 olsner: his deletion may not have been case insensitive. 23:12:05 oerjan: it's the least evil of them, yeah. 23:12:26 rainbows aren't evil! 23:12:57 I mean I won't bother deleting them again if someone really cares enough to readd them... 23:14:17 running the 'wrong esoteric mate' one through rainbow is, i feel, an acceptable compromise 23:14:41 wait what. 23:16:02 :t mapped 23:16:03 (Settable f1, Functor f) => (a -> f1 b) -> f a -> f1 (f b) 23:16:16 mapped is a traversal, right? 23:16:52 no, a setter 23:17:12 Ah 23:17:41 basically a Functor is a setter is a Functor 23:18:41 :t traversed 23:18:42 (Indexable Int p, Traversable f, Applicative f1) => p a (f1 b) -> f a -> f1 (f b) 23:18:55 while a Traversable is a traversal is a Traversable 23:18:58 :t folded 23:19:00 (Contravariant f1, Indexable Int p, Foldable f, Applicative f1) => p a (f1 a) -> f a -> f1 (f a) 23:19:15 and a Foldable is a fold. 23:23:08 woah and then suddenly #esoteric looked like #haskell 23:23:20 I momentarily thought my irssi was just glitching 23:23:22 that happens about half the time 23:23:29 Excellent, I approve. 23:23:40 we also have an idris bot 23:23:59 and a uh, whatever applybot does. some math bullshit. ain't got time for dat 23:24:12 -!- cdchawthorne has joined. 23:24:41 applybot: help 23:24:42 Meta-commands: colour context help info load* restart shutdown* state timeout* undo unicode unload* \ Isabelle commands: apply by declare defer definition done find_theorems fun function lemma oops prefer primrec quickcheck term termination thm try0 typ unfolding using value 23:24:48 Oh that did something. 23:25:15 Ah, so isabelle 23:25:35 Bicyclidine: *+nobody 23:25:49 oerjan: what? 23:26:16 ain't nobody got time for leaving off the nobody 23:26:28 actually i was pro dropping 23:26:32 [i] ain't got time for that 23:26:32 cdchawthorne: okay explain yourselves. 23:26:44 what's pro dropping 23:27:02 elliott: This channel was casually mentioned in our home channel 23:27:06 i guess a few people were curious 23:27:07 pronoun dropping http://en.wikipedia.org/wiki/Pro-drop_language 23:27:44 it's all about the drop 23:27:46 jj2baile: as long as we don't have to ban dbelange again 23:27:54 bitchezzzzz 23:27:55 elliott: Oh god 23:28:02 I should have known as much 23:28:09 hah 23:28:14 Well, feel free to ban dbelange as much as you want :p 23:28:14 who was deblagne again? the puzzle person? 23:28:28 Bicyclidine: no, somebody terrible from coppro's university :p 23:28:35 That's of no concern to me, just don't like ban the subnet or something 23:28:45 can we just ban canada...? 23:28:53 I mean, we wouldn't be missing much, right. 23:28:58 eille! 23:29:02 (that's happened to me before in #physics, I joined, was assumed to be dbelange, and *csclub was banned) 23:29:07 i'm kind of disappointed that the hostname from my school doesn't tell you what computer i'm on 23:29:10 wait a second... 23:29:33 Bicyclidine: è bellissima 23:29:59 -!- Fixie__ has joined. 23:30:13 hm nope, it's all fucked :( 23:30:19 i swear it used to tell you the exact computer i was on 23:30:24 oh "partially pr-drop" 23:30:24 i swear i had dbelange's name stuck in my head a while ago for some reason 23:30:26 what'd he do here 23:30:27 -!- Fixie__ has quit (Client Quit). 23:31:14 I'd `pastelogs but I guess `pastelogs no longer works 23:31:25 why? 23:31:53 `? Phantom_Hoover 23:31:55 Phantom Michael Hoover is a true Scotsman and hatheist. 23:32:49 `run echo >wisdom/phantom_hoover 'Phantom Michael Hoover is a true Scotsman, hatheist, and completely out of the loop.' 23:32:51 No output. 23:32:59 http://www.commitstrip.com/en/2014/04/14/true-story-coders-childhood-noob-professors/ 23:33:13 there must be a malcolm tucker joke in this 23:33:35 you know i think the freenode channel name guidelines are only actually there to sow discord and strife 23:33:44 Phantom_Hoover: Gregor moved HackEgo to a different server from where the logs are. on the plus side the wiki is now also there, so we get the announcements. 23:33:59 ah 23:34:27 Phantom_Hoover: ♪ding♪ you are enlooped! 23:35:08 *+o 23:35:50 enloooped? 23:36:12 Hooover 23:36:28 -!- Phantom_Hoover has changed nick to Phantoom_Hoover. 23:38:06 i should do more far-too-late corrections if this is the usual kind of result 23:48:23 http://www.commitstrip.com/en/2014/02/18/side-project-cycles/ 23:59:02 -!- yorick has quit (Remote host closed the connection).