00:02:41 FreeFull, what Jafet said, it's uncomputable in general 00:02:43 GAP and Pari/GP can work with finite structures 00:02:58 I don't think they accept group presentations as input though 00:03:35 i'm sure it's well-behaved on some sufficiently small subset that includes the quaternions, though 00:06:34 -!- NATT_SiM has joined. 00:07:06 Phantom_Hoover: Makes sense 00:07:56 I'm not looking for anything that's more powerful than a human 00:08:56 There are also equational logics that can probably decide equivalence between two given quaternions 00:14:35 gets popcorn 00:17:35 divide by zero 00:17:48 i dare you. 00:17:50 > 0/0 00:17:51 NaN 00:18:06 hth 00:18:24 the concept of zero 00:18:37 Jafet, i mean it's not like working out a canonical form for a given quaternion is in any way hard 00:19:04 -!- NATT_SiM has quit (Remote host closed the connection). 00:19:09 @metar ENVA 00:19:09 ENVA 182350Z 09005KT 050V110 CAVOK M02/M03 Q1028 RMK WIND 670FT 11007KT 00:19:17 If you know they're quaternions, sure 00:19:17 WINTER'S A-COMING 00:19:24 Minter 00:19:26 (see also http://en.wikipedia.org/wiki/Word_problem_for_groups#Examples) 00:19:47 If all you have is some smtlib code that happens to implement quaternions 00:19:54 But you don't know that yet 00:20:25 quaternions have the property that the additive basis is a multiplicative subgroup 00:20:37 oerjan: minter cuz its cold and wtf is a wint, minter sounds better 00:20:41 or well 00:20:51 generates one. that is finite. 00:21:16 pesky -1. 00:21:25 well i mean we're implicitly talking about the unit quaternion group here 00:21:42 how much can lambdabot compute/solve btw lets say in the e+ range 00:21:52 what' the e+ range 00:22:00 e+1 00:22:05 > exp 1 + 1 00:22:07 3.718281828459045 00:22:13 > exp 1 + 1 :: CReal 00:22:14 3.7182818284590452353602874713526624977572 00:22:32 1e+398 00:22:33 :t exp 00:22:34 Floating a => a -> a 00:22:55 Dulnes, depends on which numeric type you use 00:23:02 > exp 1000000 :: CReal 00:23:06 mueval-core: Time limit exceeded 00:23:14 > exp 1000 :: CReal 00:23:15 1970071114017046993888879352243323125316937985323845789952802991385063850782... 00:24:06 uh well 1 e = how many zeros come after the last digit i have. eg; 254e+9 00:24:21 4000000000 00:24:24 > 10 * (exp 1 + 1) :: CReal 00:24:26 37.1828182845904523536028747135266249775725 00:24:51 Indeed 00:24:52 huh CReal show only limits digits after the decimal point 00:24:54 > 1 :: Double 00:24:55 1.0 00:25:16 (there's a function to adjust that, though) 00:25:19 show doesn't use scientific notation 00:25:34 > 1e100 :: Double 00:25:35 1.0e100 00:25:48 i meant will the bot shorten it to e 00:25:49 > read "1e100" :: CReal 00:25:51 1000000000000000000000000000000000000000000000000000000000000000000000000000... 00:26:08 i guess soo 00:26:10 Dulnes: not with any of the standard types, no. (or CReal for that matter). 00:26:19 I see 00:26:25 nvm then 00:26:42 it's not a computer algebra system, it's a haskell interpreter 00:26:57 you could write a CAS in haskell, presumably 00:27:04 meh its fine 00:27:18 Hmm, mathematica over irc 00:28:02 btw 00:28:05 Mathematica's text I/O is crap though 00:28:11 -0 00:28:14 lol 00:28:27 -!- b_jonas has quit (Ping timeout: 258 seconds). 00:28:48 Jafet, it is? 00:29:13 Well, compared to the notebook interface 00:31:27 > read "3e20" :: CReal 00:31:29 300000000000000000000.0 00:31:38 ok i see now 00:32:42 Also is this the original lambdabot?, ive come across alot of copies on my irc adventure 00:34:50 As far as I know, yes 00:34:55 -!- b_jonas has joined. 00:35:04 Otherwise it wouldn't be named 'lambdabot' (on Freenode) 00:35:19 What identifies a bot? 00:35:51 Has lambdabot stopped being the original lambdabot when Cale (I think) took over from dons? 00:37:11 not really 00:37:44 Unless Cale changed lambdabot's code then no 00:38:07 @version 00:38:07 lambdabot 5.0-int-e 00:38:07 git clone git://github.com/int-e/lambdabot.git 00:38:32 Also this one seems more Helpful/responsive than others 00:39:53 :000 This is amazing 00:39:56 Registered : Aug 31 10:04:41 2005 (9 years, 11 weeks, 4 days, 14:34:36 ago) 00:40:17 that's the freenode account it's using 00:40:23 which is older than mine 00:40:52 Anyway, I would agree that it's fair to call this one the original. There's a straight line from the original lambdabot on #haskell to this one. 00:41:46 @metar LOWI 00:41:46 LOWI 190020Z AUTO 00000KT 9999 FEW005 SCT010 BKN080 04/04 Q1011 00:42:03 @metar ESSA 00:42:03 ESSA 190020Z 06008KT CAVOK 04/03 Q1029 R01L/19//95 R01R/19//95 R08/19//95 NOSIG 00:42:07 There's the one unofficial command. 00:42:25 (Meaning the hackage version of lambdabot doesn't know it.) 00:42:33 shocking 00:42:40 9 yrs 00:42:52 lambdabot is... undermaintained (is that a word? let's pretend it is.) 00:42:57 that means its original 00:43:04 And it's used in approximately one channel (the command, that is) 00:43:17 right. 00:43:42 i could never haskell like this 00:44:03 hey int-e is even older. and here i keep thinking of you as nearly a newbie, which you are on #esoteric i guess. 00:44:24 how old? 00:44:28 oerjan: I took a leave of absence from #esoteric 00:44:36 Registered : Apr 24 14:51:11 2004 (10 years, 30 weeks, 0 days, 09:51:43 ago) 00:44:40 oh 00:45:00 D: much irc 00:45:02 -!- Phantom_Hoover has quit (Remote host closed the connection). 00:45:31 -!- Koen__ has quit (Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?"). 00:46:02 what is that quit msg 00:46:07 int-e: if it were german or norwegian, asking whether the equivalent of "undermaintained" is a word would be nonsense, no? :P 00:46:31 2004-04-24-raw.txt:< 1082848258 ? :int-e!~noone@td9091b33.adsl.terralink.de JOIN #esoteric 00:46:51 :0 00:47:11 under²hållen 00:47:38 Im amazed at how long you've stayed on irc int-e 00:47:43 Dulnes: it's a horrible pun in the shape of romantic math hth 00:47:50 Dulnes: screen is amazing 00:47:56 i see 00:48:30 ...2004 was ten years ago 00:48:33 That's weird 00:48:58 I've been on IRC for ten years, then, but not on Freenode (was it even Freenode back then?) 00:48:59 It's just simple arithmetic. 00:49:43 Im only 27 and havent used irc in this entire time 00:50:13 int-e: you never know with date and time. 00:50:31 suddenly they skip a couple weeks for silly reasons 00:51:01 But! Easter celebration is a serious matter. 00:51:18 Æ 00:51:22 That reminds me of the Swedish calendar, which I learned about the other day 00:51:38 30th of february, eh? 00:51:55 Apparently we had the silliest idea for transitioning to the Gregorian calendar of all countries 00:52:04 talk about backpedalling 00:53:49 i was 17 when int-e started irc 00:54:27 How old are you? >_> 00:54:48 Presently 22 00:55:28 -!- b_jonas has quit (Ping timeout: 264 seconds). 00:55:42 oerjan: Ok, so basically I was on #esoteric for some time in 2005 and 2006, then disappeared for almost 7 years. 00:56:25 HackEgo doesn't have access to logs anymore, does it? 00:56:37 Though those probably didn't go that far back anyway 00:57:55 send me a.link to the logs 00:57:59 i thought HackEgo had downloaded some older ones from tunes or the like 00:58:07 Dulnes: it's in the topic 00:58:09 `ls 00:58:10 ​:-( \ 113500 \ a.out \ bdsmreclist \ bin \ canary \ cat \ complaints \ :-D \ dc \ dir \ dog \ etc \ factor \ faith \ head \ hej \ hello \ hello.c \ ibin \ index.html?dl=1812 \ interps \ lib \ paste \ pref \ prefs \ py.py \ quines \ quotes \ script.py \ share \ src \ test.c \ Wierd \ wisdom \ wisdom.pdf \ you 00:58:17 `cat hej 00:58:18 No output. 00:58:28 FireFly: i think the logs show up better on google now than they used to, though. 00:58:55 `` ls -la complaints 00:58:55 lrwxrwxrwx 1 5000 0 9 Sep 12 13:29 complaints -> /dev/null 00:59:08 `` cat bin/complain 00:59:09 print_args_or_input "$@" >> complaints; echo Complaint filed. Thank you. 00:59:47 I love this one. It must've been inspired by the BOFH. 01:00:01 `cat you 01:00:02 print("TEST\n")\n 01:00:04 they go to 2003 01:00:06 btw 01:00:12 `rm hej you 01:00:13 rm: cannot remove `hej you': No such file or directory 01:00:18 `` rm hej you 01:00:20 No output. 01:00:49 `cat :-( 01:00:51 ​☹ 01:00:57 useful. 01:01:07 `cat Wierd 01:01:07 ​ \ \ \ Wierd - Esolang \ \ \ \ `` \! bf << No output. 01:04:00 hm i guess maybe it doesn't do anything 01:04:09 hhhhh 2003 01:04:09 `` \! bf << No output. 01:04:13 well there's a , and no . in what's showing 01:04:20 the file is called.. somtehing weird 01:04:22 something* 01:04:24 it takes input 01:04:51 `` grep -o \\\. index.html* 01:04:51 ​. \ . \ . 01:04:57 Well it has some dots 01:05:42 `` echo abcde | ./interps/egobf/src/egobfi8 index.html* 01:05:42 184 01:05:46 im looking through these logs 01:05:55 `` echo abcdf | ./interps/egobf/src/egobfi8 index.html* 01:05:55 229 01:06:07 you guys had alot of fun 01:06:35 `? alot 01:06:36 alot? ¯\(°​_o)/¯ 01:06:56 oerjan: it does something :) 01:07:00 mmm more like fizzie 01:07:51 -!- adu has joined. 01:08:41 "alot" indicates too small an allottment of space 01:10:24 s/ott/ot/ Spelling is hard. 01:12:09 -!- NATT_SiM has joined. 01:13:20 -!- NATT_SiM has quit (Remote host closed the connection). 01:14:21 `` echo a | ./interps/egobf/src/egobfi8 index.html* 01:14:21 97 01:14:25 `` echo aa | ./interps/egobf/src/egobfi8 index.html* 01:14:26 115 01:15:22 Looks like the char-code plus the index of the character? 01:15:56 `` echo aaa | ./interps/egobf/src/egobfi8 index.html* 01:15:57 187 01:16:03 `` echo aaaa | ./interps/egobf/src/egobfi8 index.html* 01:16:03 or not 01:16:04 224 01:16:42 > 224 - 97*4 01:16:44 -164 01:16:56 Oh, right 01:17:34 `` echo -e '\0\0' | ./interps/egobf/src/egobfi8 index.html* 01:17:34 161 01:18:28 `` echo 1 | ./interps/egobf/src/egobfi8 index.html* 01:18:29 1 01:18:32 `` echo 01 | ./interps/egobf/src/egobfi8 index.html* 01:18:33 1 01:18:36 `` echo 2 | ./interps/egobf/src/egobfi8 index.html* 01:18:36 2 01:18:39 `` echo 3 | ./interps/egobf/src/egobfi8 index.html* 01:18:39 3 01:18:42 `` echo 4 | ./interps/egobf/src/egobfi8 index.html* 01:18:42 5 01:18:46 `` echo 5 | ./interps/egobf/src/egobfi8 index.html* 01:18:46 8 01:18:51 I see a pattern there. 01:19:13 `` echo -e '20' | ./interps/egobf/src/egobfi8 index.html* 01:19:14 194 01:19:51 > let f = 0 : scanl (+) 1 f in f!!20 `mod` 256 01:19:53 109 01:20:22 > let f = 0 : scanl (+) 1 f in f!!5 `mod` 256 01:20:23 5 01:20:27 > let f = 0 : scanl (+) 1 f in f!!21 `mod` 256 01:20:28 194 01:20:36 `` for i in $(seq 15); do ./interps/egobf/src/egobfi8 index.html* <<<$i; done 01:20:36 12358132134558914423312198219 01:20:39 er 01:20:53 `` for i in $(seq 15); do ./interps/egobf/src/egobfi8 index.html* <<<$i; echo; done 01:20:53 1 \ 2 \ 3 \ 5 \ 8 \ 13 \ 21 \ 34 \ 55 \ 89 \ 144 \ 233 \ 121 \ 98 \ 219 01:21:21 `` wc -c index.html* 01:21:22 455 index.html?dl=1812 01:21:36 `` echo 257 | ./interps/egobf/src/egobfi8 index.html* 01:21:36 1 01:22:00 `ls 01:22:01 ​:-( \ 113500 \ a.out \ bdsmreclist \ bin \ canary \ cat \ complaints \ :-D \ dc \ dir \ dog \ etc \ factor \ faith \ head \ hello \ hello.c \ ibin \ index.html?dl=1812 \ interps \ lib \ paste \ pref \ prefs \ py.py \ quines \ quotes \ script.py \ share \ src \ test.c \ Wierd \ wisdom \ wisdom.pdf 01:22:09 > 144 + 233 :: Word8 01:22:11 121 01:22:33 `cat 113500 01:22:34 ​--[------->++<]>-.[->+++<]>.+++++.-----------.+++++++++.+++++++++.+[->+++<]>++.+.--[--->+<]>-.--[->++<]>.--[->++<]>-.+.++[->+++<]>++.+++++.++++++.[->+++++<]>+++.+[--->+<]>+++.++[->+++<]>.>++++++++++.-[->++++<]>-.[->+++<]>.+++++.-----------.+++++++++.+++++++++.+[->+++<]>++.+.--[--->+<]>-.--[->++<]>.--[->++<]>-.+.++[->+++<]>++.+++++.+++++.++++++.[ 01:22:38 Oh, great 01:22:47 `ls -la 113500 01:22:48 ls: invalid option -- ' ' \ Try `ls --help' for more information. 01:22:50 `` ls -la 113500 01:22:51 ​-rw-r--r-- 1 5000 0 2316 Oct 31 00:50 113500 01:23:18 `` grep -r '[+-><.]{10}' . 01:23:44 int-e: that was an lpaste i fetched 2 weeks ago 01:23:47 Hm, should've used --only-filename 01:23:57 No output. 01:25:18 `` grep -EHo -r '[-+><.]{10}' . 01:25:38 and i also fetched the index.html* thing 4 weeks ago 01:25:49 ​./prefs:++++++++++ \ ./prefs:>+++++>++> \ ./prefs:++++++++>+ \ ./prefs:+++++++<<< \ ./prefs:>----.>>>- \ ./prefs:.<++++.<++ \ ./prefs:++.>>+.++. \ ./prefs:<<<+++++++ \ ./prefs:++++++++++ \ ./prefs:++++++++++ \ ./prefs:++++++++.+ \ ./prefs:.>>>------ \ ./prefs:---.<++++. \ ./prefs:>----.<--- \ ./prefs:--.<++++++ \ ./prefs:++++++++++ \ ./prefs:+++ 01:26:12 `` grep -EHo -r '[-+><.]{10}' . | cut -d: -f1 | uniq 01:26:35 basically the weird filenames is because they're generated from urls. 01:26:43 No output. 01:26:57 >.< what now 01:28:29 -!- vanila has quit (Quit: Leaving). 01:28:49 `` grep -EHo -r '[-+><.]{10}' . | cut -d: -f1 01:29:06 what now indeed 01:29:14 `echo hi 01:29:14 hi 01:29:20 ​./prefs \ ./prefs \ ./prefs \ ./prefs \ ./prefs \ ./prefs \ ./prefs \ ./prefs \ ./prefs \ ./prefs \ ./prefs \ ./prefs \ ./prefs \ ./prefs \ ./prefs \ ./prefs \ ./prefs \ ./prefs \ ./prefs \ ./prefs \ ./prefs \ ./prefs \ ./prefs \ ./prefs \ ./prefs \ ./prefs \ ./prefs \ ./prefs \ ./prefs \ ./prefs \ ./prefs \ ./prefs \ ./prefs \ ./prefs \ ./prefs 01:29:45 `` grep -EHo -r '[-+><.]{10}' . | cut -d: -f1 | uniq 01:29:54 oh come on, use grep -l 01:30:17 No output. 01:30:20 Oh, *that* is what it's called 01:30:31 is it just timing out? 01:30:34 I searched the manpages but couldn't find it 01:30:41 manpage* even 01:31:02 FireFly: searching for -l works just fine ;-) 01:31:25 Right, but searching for "only" (as in --only-matching") doesn't 01:31:35 I expected --only-filename or some such 01:32:00 ``grep -Elr '[-+><.]{10}' . | uniq 01:32:01 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: `grep: not found 01:32:05 `` grep -Elr '[-+><.]{10}' . | uniq 01:32:14 hmm, it's --files-with-matches ... I don't think I'll try and remember that. 01:32:15 ​./prefs \ ./bin/emmental \ ./bin/macro \ ./bin/searchlog \ ./share/lua/5.2/luarocks/fs/lua.lua \ ./pref \ ./index.html?dl=1812 \ ./src/ploki/try/poly.poly \ ./src/emmental.hs \ ./113500 \ ./paste/paste.10124 \ ./paste/paste.31138 \ ./paste/paste.27038 \ ./paste/paste.30032 \ ./paste/paste.29969 \ ./paste/paste.24049 \ ./paste/paste.30902 \ ./pas 01:32:34 but you don't need the -uniq either 01:32:44 oh, right 01:32:49 err |uniq 01:32:55 -!- NATT_SiM has joined. 01:33:03 That makes sense, I didn't think that through 01:33:14 er 01:33:39 oh, right, some of those are probably --------- comments 01:39:22 -!- copumpkin has joined. 01:41:22 * int-e found the answer to http://int-e.eu/~bf3/tmp/test.html ; it was rendered correctly. (I've added a link to the CSS specification there.) 01:45:57 [wiki] [[Talk:Malbolge]] M http://esolangs.org/w/index.php?diff=41030&oldid=41020 * Oerjan * (+46) It doesn't count as signed without timestamp hth 01:46:14 -!- NATT_SiM has quit (Remote host closed the connection). 01:51:34 -!- NATT_SiM has joined. 01:52:46 [wiki] [[Talk:My Unreliable Past]] M http://esolangs.org/w/index.php?diff=41031&oldid=41028 * Oerjan * (+145) ...or a nick. Or either. Or both. 01:56:14 [wiki] [[User talk:Oerjan]] http://esolangs.org/w/index.php?diff=41032&oldid=39074 * 213.162.68.152 * (+87) What about signatures without comments, I wonder? 01:56:45 (scnr) 01:57:00 -!- NATT_SiM has quit (Ping timeout: 258 seconds). 02:00:22 [wiki] [[User talk:Oerjan]] http://esolangs.org/w/index.php?diff=41033&oldid=41032 * Oerjan * (+107) AAAAAAAAAAAAAA!!!! 02:01:06 [wiki] [[AAAAAAAAAAAAAA!!!!]] M http://esolangs.org/w/index.php?diff=41034&oldid=40307 * Oerjan * (+6) AAAAAAAAAAAAAA!!!! 02:02:32 -!- NATT_SiM has joined. 02:09:16 hmph haskell.org is giving me a cloudflare error page 02:11:32 hmm. "You can follow the progress on #haskell-infrastructure on Freenode" 02:11:48 found a reddit post 02:19:32 -!- NATT_SiM has quit (Remote host closed the connection). 02:20:11 -!- adu has quit (Quit: adu). 02:27:40 -!- adu has joined. 02:27:41 -!- adu has quit (Client Quit). 02:28:06 hmm whats wrong with haskell.org 02:28:18 Dulnes: maintenance apparently 02:28:25 -!- adu has joined. 02:28:29 Damn 02:30:46 unscheduled RAID disk failure 02:31:12 eek 02:34:29 http://www.mail-archive.com/haskell@haskell.org/msg25054.html 02:34:49 (of course the mailman archive is down, too...) 02:35:04 the disk failed 02:35:09 ?why 02:35:09 Maybe you meant: wn what thx ghc 02:35:17 stfu 02:35:20 anyways 02:35:40 why did it fail >_> 02:36:20 how the fuck did it lose its raid disk 02:36:21 because of tuesday 02:37:14 ok, that was weak, let me check with BOfH 02:38:13 "MAGNETS! Wrap your disks up in a pillow case with lots of magnets - Solar Flares hate that." 02:38:18 That would explain it. 02:39:56 there was a solar flare? 02:40:31 http://bofh.ntk.net/BOFH/0000/bastard06.php 02:49:54 doesnt answer that question 02:56:26 oh perhaps you wanted http://www.tesis.lebedev.ru/en/sun_flares.html?m=11&d=17&y=2014 03:53:42 -!- adu has quit (Quit: adu). 04:03:59 * Dulnes stabs chat to see if it died 04:04:33 -!- variable has quit (Remote host closed the connection). 04:11:56 -!- digitalcold has quit (Ping timeout: 272 seconds). 04:12:41 -!- digitalcold has joined. 04:15:15 le chat, c'est mort 04:19:18 -!- NATT_SiM has joined. 04:20:25 I should work on making things, but what? 04:23:59 cake 04:24:08 cake.js++ 04:27:25 [wiki] [[Karma]] http://esolangs.org/w/index.php?diff=41035&oldid=38299 * 128.62.56.69 * (+5) /* Examples */ 04:46:47 -!- variable has joined. 04:56:54 -!- shikhin has joined. 05:00:17 -!- shikhout has quit (Ping timeout: 255 seconds). 05:19:16 -!- aloril has quit (Quit: Leaving). 05:24:26 -!- oerjan has quit (Quit: Nite). 05:24:28 -!- MDream has joined. 05:27:51 -!- MDude has quit (Ping timeout: 250 seconds). 05:33:17 -!- MDream has changed nick to MDude. 05:37:51 haskell.org/ghc/ is working but still slow as shit 05:38:10 also wiki is "working" barely 06:21:01 -!- Igrab has joined. 06:21:14 `slist 06:21:14 slist: Taneb atriq Ngevd Fiora Sgeo ThatOtherPerson alot 06:21:39 not as good as olist :'( 06:22:25 Dulnes: did you ever get that sleep you wanted? 06:23:10 yeh 06:27:08 -!- aloril has joined. 06:32:47 -!- Igrab has left. 06:34:56 -!- NATT_SiM has quit (Remote host closed the connection). 06:53:19 https://system76.com/laptops/gazelle i must buy this 06:53:24 also bye /-/ 07:29:11 Hey Google? This is not English, believe it or not: https://twitter.com/mothy_akuno 07:32:19 -!- Patashu has joined. 07:36:21 -!- Patashu has quit (Remote host closed the connection). 07:36:32 -!- Patashu has joined. 07:43:31 Maybe there shouls be an Evillious List 07:43:36 Or I should get an RSS reader 07:46:04 -!- MDude has changed nick to MDream. 07:49:11 OOh Factor 0.97 is out 07:50:47 Factor can talk to Python now 08:34:47 !blsq ,#Q2 SH ~- ",#Q" \/ .+ sh 08:34:47 | ,#Q2 SH ~- ",#Q" \/ .+ sh 08:34:53 yay this still works. 08:35:19 (a *real* quine in Burlesque) 08:46:08 !blsq ,@'98000.+QJ 08:46:08 | 9999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999 08:46:27 wtf is this 08:47:15 !blsq @'9 08:47:15 | Ain't nobody got time fo' dat! 08:47:19 oh 08:47:20 right 08:48:22 I just rediscovered @ can do that 08:48:38 !blsq .5 08:48:38 | ERROR: Unknown command: (.5)! 08:48:43 !blsq 1.5 08:48:43 | 1.5 08:48:51 !blsq "a1.5"ps 08:48:51 | {a1 .5} 08:49:26 !blsq "a1.5":>< 08:49:26 | "15" 08:49:32 !blsq "a1.5":> | 15 08:49:43 !blsq ""ra 08:49:43 | ERROR: (line 1, column 1): 08:49:43 | unexpected end of input 08:49:43 | expecting "\"", "-", digit, "'" or "[" 08:51:33 `? mroman 08:51:34 mroman is a leading artist in password security (SFW). He also likes black madness. He can design password hashes that are worse than the identity function. 08:52:09 `learn_append mroman He invented the identity function. 08:52:11 Learned 'mroman': mroman is a leading artist in password security (SFW). He also likes black madness. He can design password hashes that are worse than the identity function. He invented the identity function. 08:54:02 `? identity function 08:54:03 identity function? ¯\(°​_o)/¯ 08:54:34 shachaf: Perhaps you meant indentity function 08:58:16 damnit 08:58:24 `ls wisdom just screwed up my terminal 08:58:31 with some formating codes and what not 09:01:30 `? indentity function 09:01:31 indentity function is the function that measures how indented source code is. 09:02:07 That's not the thing HackEgo says you invented, though. 09:05:33 I didn't invent the indentity function 09:34:57 -!- Phantom_Hoover has joined. 09:41:36 -!- MoALTz has joined. 10:11:58 `? identity function 10:11:59 The identity function is a mockingbird. 10:12:03 There. 10:12:10 shachaf: ^- 10:13:05 @tell oerjan learn should probably warn if you are about to overwrite an existing entry. 10:13:05 Consider it noted. 10:15:17 `? mockingbird 10:15:18 mockingbird? ¯\(°​_o)/¯ 10:20:55 oerjan: Would you be happier if slashlearn was //-separated? 10:32:18 `` sed -i -e '3a [ -e wisdom/"$topic" ] && op='\''Overwrote'\'' || op='\''Wrote'\''' -e 's/Learned/$op/' bin/slashlearn 10:32:19 No output. 10:34:32 `slashlearn identity function/The identity function is an identity bird. 10:34:34 Overwrote «identity function» 10:34:40 `rm wisdom/identity\ function 10:34:41 rm: cannot remove `wisdom/identity\\ function': No such file or directory 10:34:48 `rm wisdom/identity function 10:34:49 No output. 10:35:03 `slashlearn identity function/The identity function is a mockingbird. 10:35:05 Overwrote «identity function» 10:35:16 "oops" 10:37:30 What's going on there? 10:37:34 `cat bin/slashlearn 10:37:34 ​#!/bin/bash \ topic=$(echo "$1" | lowercase | cut -d / -f 1) \ [ -z "$topic" ] && exit 1 \ [ -e wisdom/"$topic" ] && op='Overwrote' || op='Wrote' \ value=$(echo "$1" | cut -d / -f 2-) \ echo "$value" > wisdom/"$topic" && echo "$op «$topic»" 10:39:02 `rm wisdom/identity function 10:39:03 No output. 10:39:14 `` [ -e wisdom/'identity function' ] && echo a || echo b 10:39:14 b 10:39:30 `slashlearn identity function/The identity function is a mockingbird. 10:39:31 Overwrote «identity function» 10:39:38 I must be missing something obvious. 10:40:36 `rm wisdom/identity function 10:40:39 No output. 10:41:43 `` topic=$(echo "identity function/The identity function is a mockingbird." | lowercase | cut -d / -f 1); echo "$topic"; [ -e wisdom/"$topic" ] && echo a || echo b 10:41:44 identity function \ b 10:44:11 I couldn't think of anything else than «op='Overwrote'» being a non-success, but that should not (and does not seem to) be the case. 10:44:43 I was thinking maybe $topic is somehow an empty string there and it's checking the existence of wisdom/ 10:44:50 But it looks like that's not it? 10:45:24 It's not an empty string when echoed at the end. I don't know. 10:46:11 `` (cat bin/slashlearn | head -n-1; echo 'echo $op') > /tmp/foo; chmod +x /tmp/foo; /tmp/foo 'identity function/blah' 10:46:12 Wrote 10:46:41 `` slashlearn 'identity function/blah' 10:46:43 Overwrote «identity function» 10:46:57 `rm wisdom/identity function 10:46:59 No output. 10:47:05 I should do it in one go so it doesn't change hg history. 10:48:05 `` (cat bin/slashlearn | head -n-1; echo 'echo $op') > /tmp/foo; chmod +x /tmp/foo; /tmp/foo 'identity function/blah'; rm /wisdom/'identity function'; slashlearn 'identity function/blah'; rm /wisdom/'identity function' 10:48:07 Overwrote \ rm: cannot remove `/wisdom/identity function': No such file or directory \ Overwrote «identity function» \ rm: cannot remove `/wisdom/identity function': No such file or directory 10:48:32 `` (cat bin/slashlearn | head -n-1; echo 'echo $op'; tail -n1 bin/slashlearn) > /tmp/foo; chmod +x /tmp/foo; /tmp/foo 'identity function/blah'; rm -f wisdom/'identity function' 10:48:32 Wrote \ Wrote «identity function» 10:48:50 Er, wait, I think I interfered with your thing. 10:49:35 Oh, I kept writing /wisdom. 10:50:14 `` rm -f wisdom/'identity function'; (cat bin/slashlearn | head -n-1; echo 'echo $op'; tail -n1 bin/slashlearn) > /tmp/foo; chmod +x /tmp/foo; /tmp/foo 'identity function/blah'; rm -f wisdom/'identity function' 10:50:15 Wrote \ Wrote «identity function» 10:50:32 `` rm -f wisdom/'identity function'; slashlearn 'identity function/blah'; rm -f wisdom/'identity function' 10:50:33 Wrote «identity function» 10:50:52 `` slashlearn 'identity function/blah'; rm -f wisdom/'identity function' 10:50:53 Wrote «identity function» 10:50:58 ? 10:51:00 Well, that's all quite correct. 10:51:20 What was going on before? 10:51:26 Oh! 10:51:44 `slashlearn identity function/just verifying 10:51:45 Overwrote «identity function» 10:51:54 Yeah, you hit a snag that's very cleverly hidden. 10:52:14 Or at least I believe it's that. 10:52:32 Oh, it's nondeterministic. 10:52:37 It's not quite that. 10:52:43 Er, wait, no it's not. 10:52:45 You just wrote that file. 10:52:55 It's executed twice, is the thing. 10:53:09 When the script makes modifications to the repository, it involves rerunning the command. 10:53:42 What? Why? 10:54:17 I wrote a concise explanation about this (and a convoluted example), but I've partially forgotten the details. 10:54:27 I'll see if I can find it and/or remind myself. 10:56:36 -!- shikhout has joined. 10:56:43 Right. So it runs things in general with no locking, but when it detects a modification, it obtains an exclusive lock, and reruns the command. 10:56:56 I see. 10:57:04 Not on a pristine repository? 10:57:17 No. It updates the checked-out copy, but doesn't "reset" it. 10:57:25 Arguably, it perhaps should do that. 10:57:37 Not a difficult argument to make. 10:57:59 I guess one thing to do would be to write a status file the first time the command runs and then delete it the second time. 10:58:16 Or, well, to be more exact, it cleans up the repository part. 10:58:19 Of course you could run into locking issues that way. 10:58:27 Right, but it should start fresh. 10:59:11 It does a hg status -umad and tries to remove all those files. 10:59:15 Then a hg up. 10:59:49 In fact, I'm not sure why that's not sufficient to make slashlearn work, since it should report the new "wisdom/identity function" as modified, and remove that. 10:59:49 -!- shikhin has quit (Ping timeout: 265 seconds). 10:59:51 yep, definitely mad 11:00:05 At any rate, I would hesitate a guess that it's related to this double-execution somehow. 11:00:43 Sounds reasonable. 11:00:45 Oh. 11:00:47 what is all this 11:01:03 If I read that right, it will have problems with file names with spaces in them when cleaning up. 11:01:17 sigh 11:01:25 f = sline.split(" ")[1] where sline is the hg status output. 11:01:57 fizzie: I think that is maybe my code :/ 11:02:00 do you have a link 11:02:07 hopefully gregor actually rewrote it so it's not my fault 11:02:42 I do remember writing hg status -umad. 11:02:49 it was too perfect that those were exactly the options I needed. 11:03:11 elliott: I can't ever remember the URL for the web-browsable repository for the bot sources itself, so I was just reading it directly. 11:03:14 It's somewhere, though. 11:03:34 sprunge the file? :p 11:04:22 http://codu.org/projects/hackbot/hg/index.cgi/file/tip/multibot_cmds/PRIVMSG/tr_60.cmd 11:04:40 Wait, that's different. 11:05:42 Must be an old version. 11:06:22 http://sprunge.us/UjDb?py is anyway the current code. 11:07:00 okay this looks like maybe gregor rewrote it based on what I wrote 11:07:07 I'm thinking a least-amount-of-changes fix would be s/sline.split(" ")/sline.split(" ", 1)/ 11:07:09 so I'm not to blame 11:09:32 `revert 5151 11:09:33 Done. 11:09:53 `` cat bin/slashlearn 11:09:54 ​#!/bin/bash \ topic=$(echo "$1" | lowercase | cut -d / -f 1) \ [ -z "$topic" ] && exit 1 \ value=$(echo "$1" | cut -d / -f 2-) \ echo "$value" > wisdom/"$topic" && echo "Learned «$topic»" 11:11:18 -!- drdanmaku has quit (Quit: Connection closed for inactivity). 11:11:19 Bah, cut with a multi-character delimiter doesn't work. 11:11:33 shachaf: Aw, you missed a great chance to work around the issue by having the first iteration communicate with the second one via /tmp (also not cleaned). 11:12:02 fizzie: Yes, I suggested that earlier. 11:12:12 But you run into locking issues that way. 11:12:13 [wiki] [[Dimensions]] http://esolangs.org/w/index.php?diff=41036&oldid=41017 * TomPN * (-58) 11:12:24 (I assume.) 11:12:32 [wiki] [[Talk:Dimensions]] http://esolangs.org/w/index.php?diff=41037&oldid=41018 * TomPN * (-398) 11:13:43 [wiki] [[Dimensions]] http://esolangs.org/w/index.php?diff=41038&oldid=41036 * TomPN * (+142) /* Example programs */ 11:15:28 Scratch that, /tmp is in fact cleared, I was just reading it wrong. The only way you can pass information from the first run to the second is via /hackenv/. Though you could still write a status file with a space in the file name. 11:15:38 On the other hand, I could just go ahead and fix that part. 11:15:59 fizzie: y'know, the hg repo for hackego is on bitbucket 11:16:01 iirc 11:16:20 Oh, you are right. 11:16:26 And it was in fact my browser history. 11:17:01 https://bitbucket.org/GregorR/hackbot/src/tip/multibot_cmds/PRIVMSG/tr_60.cmd?at=default seems current. 11:17:26 I could make a bull request or suggest a patch or whatever one does on bitbucket. 11:17:44 make a bull request to the stock market 11:18:13 is Lymia really still on HackEgo's ignore list -_- 11:18:32 anyway, this actually is based on my horrible code, woo 11:19:52 I'm pretty sure I had a bitbucket account, but I don't know what it is. 11:21:30 -!- boily has joined. 11:22:08 Oh, "fizzie". How inventive. 11:25:34 [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41039&oldid=41008 * TomPN * (+777) /* Syntax */ 11:27:58 [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41040&oldid=41039 * TomPN * (+54) 11:28:22 `` touch $'hmm\n? hello' 11:28:25 No output. 11:29:19 [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41041&oldid=41040 * TomPN * (+0) /* 1 qubit transformations */ 11:29:19 That's nasty. 11:29:31 And 'hg status' will indeed output it verbatim with no escaping. 11:29:34 [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41042&oldid=41041 * TomPN * (+0) /* 2 qubit transformations */ 11:29:43 `` hg status -umad 11:29:45 [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41043&oldid=41042 * TomPN * (+0) /* 3 qubit transformations */ 11:29:46 ​? hmm \ ? hello 11:30:01 -0 --print0 end filenames with NUL, for use with xargs 11:30:20 `run hg status -umad0 11:30:23 ​? hmm \ ? hello. 11:31:57 Yes. 11:32:02 If you're fixing it you might as well do that. 11:32:07 [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41044&oldid=41043 * TomPN * (+262) /* Output */ 11:32:21 [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41045&oldid=41044 * TomPN * (+1) /* Loops */ 11:32:41 `` rm $'hmm\n? hello' 11:32:41 No output. 11:32:59 `` touch hmm; touch $'hmm\n? hello' 11:33:00 No output. 11:33:03 I added a comment about it at https://bitbucket.org/GregorR/hackbot/pull-request/3/fix-repository-cleanup-wrt-spaces-in-paths/diff -- that's as far as I'll go for the moment. 11:33:17 `revert 11:33:18 Done. 11:34:29 There's also -n --no-status hide status prefix which might simplify things. 11:34:51 `` hg status -umadn0 11:34:54 hmm \ ? hello. 11:34:58 `` hg status -un0mad 11:35:01 hmm \ ? hello. 11:35:19 I'm not sure which one is better, "U no mad" or "U mad now?" 11:35:27 Something can be worked out. -b isn't an option to hg status, anyway. 11:35:33 I was thinking of "nomad". 11:36:41 -n0umad is the most obnoxious one. 11:37:18 I think the correct solution is to run it in an entirely clean environment. 11:38:41 -am0und 11:38:45 Oh well. 11:39:07 [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41046&oldid=41045 * TomPN * (+295) /* Syntax */ 11:49:38 I think the reason it doesn't do that is due to EgoBot architecture -- multibot_cmds/PRIVMSG/tr_60.cmd (the handler for `) isn't supposed to be so tightly coupled to the repository checkout/removal process, which happens in some place I can't even locate. (Granted, the whole hg status + cleanup + up dance inside is already there, so.) 11:54:00 In fact, as far as I can tell, there's actually just the one shared checked-out copy, and not separate ones like I assumed. 12:00:18 `? identity function 12:00:20 The identity function is a mockingbird. 12:00:27 Ah. Slashlearn. 12:00:31 Didn't know that 12:04:43 fizzie: yes, checkout would probably add a lot of overhead 12:06:19 mroman: slash? 12:06:53 What is the simplest way to make slashlearn split on // rather than on /? 12:10:03 awk comes to mind, though I don't remember if it has a nice shorthand for cut "2-" equivalent. 12:11:42 Seems not to be the case. 12:14:32 -!- Patashu has quit (Ping timeout: 255 seconds). 12:15:13 `run echo 'foo bar//baz quux//zuul' | perl -naF"'//'" -e 'print join("//", @F[1..$#F]);' # and there's this but I hesitate to call it simple, let alone "simplest" 12:15:15 baz quux//zuul 12:18:12 Probably simplest to give up on bash and just use some other language. 12:18:32 Oh, you could also use bash itself for the splitting. 12:19:23 ${foo%%//*} and ${foo#*//}. 12:19:56 -!- heroux has quit (Ping timeout: 255 seconds). 12:20:11 `run topic="foo bar//baz quux//zuul"; echo "[${topic%%//*}] [${topic#*//}]" # that's quite simple 12:20:13 ​[foo bar] [baz quux//zuul] 12:20:25 yep 12:20:40 fizzie++ 12:20:45 -!- heroux has joined. 12:20:52 maybe one day i'll know all these bash things 12:20:55 or at least know that they exist 12:23:17 Hey, remember a few months/years back someone was gonna write an article on esolangs for Washington Post or something? 12:23:23 I can only remember that they exist, but never (a) which one of #/% removes a prefix/suffix and (b) which one of #/## (resp. %/%%) is the shortest-matching/longest-matching. Though I guess for (b) a reasonable mnemonic would be that ## is longer than #. 12:23:35 I think it was some other newspaper. 12:23:39 wsj 12:23:42 Right. 12:23:49 Did anything ever come of that? 12:23:52 the dude basically said he couldn't make a good article out of it :p 12:24:03 Ahahahaha, makes sense 12:24:12 which is understandable since cpressey was pretty close to trolling him the entire time and the rest of us are boring weirdos 12:24:52 Hehe :) 12:25:10 I can agree with that 12:25:43 The other day I spent a lecture writing a factorial function in GHC's type system. 12:25:44 -!- boily has quit (Quit: UNCOMMON CHICKEN). 12:25:55 And then when I got home I vastly improved it 12:26:13 I trust you were not the lecturer? 12:26:27 Or should I say, hope... 12:27:25 No, I was not 12:27:37 Still got a few years yet at least before that could be the case 12:27:58 As in, I'm a lowly undergrad right now 12:30:20 oh just over 3 hours until I find out how the Python people saved that one last character... 12:30:38 one last character? 12:30:40 (I have a 68 character version of "Wow" on anagol) 12:30:48 ah 12:31:03 (not submitted) 12:33:53 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds). 12:40:58 -!- shikhout has changed nick to shikhin. 12:48:52 I wondered about that, too. Didn't have any intermediate 68B stage, personally. Have you compared symbol/alnum statistics? 12:52:25 wp disappoints me 12:52:35 no List of Pink Floyd Songs by release date 12:53:00 Just sort https://en.wikipedia.org/wiki/List_of_songs_recorded_by_Pink_Floyd by year. 12:57:52 oh 12:57:53 neat 12:59:31 hm 12:59:37 maybe it wasn't pink floyd 13:00:25 but rather Pink 13:08:04 that's, uh... a difficult mixup to make 13:09:42 mroman, was it the one that goes na na na na na naaaa na nana na na na na? 13:16:11 #5, #4, and #2 here are quite programming relevant. http://www.cracked.com/blog/5-trivial-things-with-armies-crazy-advocates/ 13:22:21 -!- ais523_ has joined. 13:24:57 Taneb: no 13:25:01 That would be easy to find 13:25:17 it either ends in batman or "hey hey goodbye" 13:26:16 mroman, I was going for So What, by Pink 13:26:22 no 13:26:26 it's are we all we are 13:32:28 -!- MoALTz has quit (Quit: Leaving). 13:35:00 https://github.com/rails/rails/issues/17671 13:35:14 -!- nortti has changed nick to lawspeaker. 13:36:45 -!- lawspeaker has changed nick to nortti. 13:43:27 @messages? 13:43:27 Sorry, no messages today. 13:44:15 @messages 13:44:15 You don't have any messages 13:54:29 J_Arcane: fantastic 13:54:45 does that mean if you have a Human model rails will automatically map it to a table called humen 13:55:54 elliott: NetHack's pluralizer has a special case for that 14:17:31 -!- S1 has joined. 14:18:13 nice, almost half of the debian technical committee have resigned in less than two weeks... 14:18:25 ouch 14:18:39 how does that split between the people who supported systemd, and the people who opposed it 14:19:20 I think 1 anti-systemd (the latest, ian jackson, who raised the GR) and the other 2 nominally pro (but maybe one or both were neutral to some extent? I forget) 14:19:30 (incidentally, my current opinion on systemd is "it's actually a sensible and reasonable idea, but given its provenance, I don't trust it to be remotely bug-free, and it'd be nice if it were more loosely coupled to the rest of userland" 14:19:36 there's also been one or two more non-committee devs resigning in that timespan 14:19:54 the TC was only 7 or 8 devs? 14:20:18 8 14:20:30 -!- S1 has quit (Client Quit). 14:20:34 they're meant to be a last resort, AIUI 14:40:21 -!- oerjan has joined. 14:41:28 @messages- 14:41:28 mroman said 4h 28m 22s ago: learn should probably warn if you are about to overwrite an existing entry. 14:41:44 MAYBE. 14:44:01 The dog again? 14:45:45 um no, actually 14:45:55 hasn't been barking for over a week 14:50:51 TIL: 1 = 2. 14:51:29 (Source: apartment description, "-- the one bedroom apartment comprises of Two double bedrooms, --") 14:53:31 was that fungot babble? 14:53:37 where's fungot? 14:54:10 No, it was an email from an accommodation provider company. 14:54:41 -!- fungot has joined. 14:54:58 fungot: don't run away like that :( 14:54:58 oerjan: i just tried to get in the helpdesk.... anyone have that available? i'll take that as no 14:55:11 I don't know where fungot was, it hadn't "read failed"ed, but it was just stuck. 14:55:12 fizzie: will need to have a little more facile with scheme, though. but i just found the fnord, the fnord brewing. :) archive.org is sometimes a very lonely place...... 14:55:54 fungot: i don't think looking for fnords in archive.org is a healthy thing to do. 14:55:54 oerjan: i'll keep that in mind. :d): http://koti.mbnet.fi/ yiap/ fnord/ fnord 14:56:30 good, good 14:59:14 fizzie: is fungot going to develop a british accent? 14:59:15 elliott: this is java 1.4, who knows. monads and stuff, instead of the force i-have) 14:59:22 oh no, worse, ported to java 14:59:39 with monads. 15:00:02 we all know that won't actually help. 15:00:57 Currently it has a force, I see. 15:01:18 fungot: are you a jedi 15:01:18 oerjan: am i now? :d did i leave? except to wish me good night, sarahbot. foxfire would have been 15:01:30 "Renteln and Dundes (2005) give the following (bad) mathematical jokes about poles: -- Q: Why did the mathematician name his dog "Cauchy?" A: Because he left a residue at every pole. --" thank you, MathWorld, for reproducing these bad jokes about poles. 15:02:19 (Renteln, P. and Dundes, A. "Foolproof: A Sampling of Mathematical Folk Humor." Notices Amer. Math. Soc. 52, 24-34, 2005 seems to be worth a closer look, though.) 15:02:34 just keep the poles out of planes 15:02:39 or you know what happens 15:03:14 -!- Phantom_Hoover has joined. 15:07:47 someone is golfing in CLC-INTERCAL 15:08:30 it's probably a better golf language than C-INTERCAL 15:08:34 not 100% sure though 15:09:14 is %20 a regular competitor, or what you get if you don't fill in the name field 15:09:38 %20 is a whitespace programmer 15:09:42 ah 15:10:11 -!- Lorenzo64 has joined. 15:11:03 Wow expires in under an hour 15:20:40 -!- adu has joined. 15:56:09 it's over 15:56:18 -!- adu has quit (Quit: adu). 15:59:59 oh, nasty; if you bother with ffi you can just use ffi for output as well (Python) 16:01:24 int-e: I had a hypothesis that that might've been the difference, but couldn't construct a 68B solution with native output, thanks to the print statement newline/whitespace adding. 16:02:05 int-e: What was yours like, if you don't mind sharing it? 16:03:35 from ctypes import*;print"%c"*765%eval("CDLL('').rand()%95+32,"*765) 16:07:58 I see. 16:08:00 tails' and my dc solutions are actually quite different... tails has a ring buffer and exploits that to terminate the initialisation vector without any conditional, but pays for it by a couple of O% operations. 16:08:12 -!- NATT_SiM has joined. 16:08:16 I have a linear buffer for the hole sequence 16:08:31 but cannot inline the printing, as far as I can see. 16:09:15 -!- vanila has joined. 16:09:31 So 16:09:39 windows 7 Genius 16:10:08 -!- Lorenzo64 has quit (Quit: Leaving). 16:10:35 oerjan: I hope you can derive some pleasure from the alternative Haskell solution. :) 16:12:40 So imagine windows 7 set up.like windows XP with a vista theme 16:13:00 `factor 16807 16:13:02 16807: 7 7 7 7 7 16:13:07 but like filled to the brim with virus's and malware 16:13:20 Dulnes: sounds ... normal? 16:13:52 I'm imagining 16:14:46 It auto installs malware when ever you go into the browser its probably the most attrocious thing ive ever seen 16:15:50 well, do the right thing, throw it into the closest blast furnace 16:15:54 is this what you have installed on your computer with one broken core 16:18:02 It auto installs malware when ever you go into the browser its probably the most attrocious thing ive ever seen <- I'm not quite sure you understand how malware works 16:18:02 no 16:18:34 Virus* 16:18:50 Its the morning im tired 16:18:50 that's even /more/ unlikely 16:20:01 whatever ill just fall back asleep to tired 16:27:17 -!- NATT_SiM has quit (Remote host closed the connection). 16:30:58 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds). 16:35:19 "-- in the interest of fairness and to ensure the best service for all guests limits the data download to a maximum limit of 1GB (1024MB) per day -- Broadband charges including data download exceeding 1GB (1024MB) per day - £250 per week or part of week --" wow, that's a lotta money for bytes. 16:35:44 this is the AWS pricing model, I think 16:35:58 offer a free service with low caps, and hope that people go over so that you can charge them a huge amount in overage fees 16:36:08 -!- `^_^v has joined. 16:36:37 one of my top priority when looking for a VPS provider was to find one that wouldn't charge for overage (but rather, would just put physical caps on the use) 16:40:13 -!- MDream has changed nick to MDude. 16:40:43 -!- drdanmaku has joined. 16:42:34 -!- NATT_SiM has joined. 16:46:34 what, you can do foreign imports without a pragma in haskell? 16:46:47 -!- NATT_SiM has quit (Ping timeout: 255 seconds). 16:50:24 oerjan: part of Haskell 2010 16:50:29 I was surprised, too. 16:51:58 there, improved the dc solution a bit more. it's now producing trailing whitespace... 16:52:43 which was the real trick for inlining the printing in tails' code. 16:52:45 ah 16:53:05 sadly the cute B0A is gone. 16:54:36 anyway, I guess somebody wrote that stupid test of glibc's random number generator and felt amazed when they spotted the "Wow" substring fairly early on. 16:56:22 now I have an idea for an anagolf problem 16:56:31 compression challenge, where the output is a long hex string 16:56:35 -!- shikhout has joined. 16:56:44 oh my ... http://golf.shinh.org/reveal.rb?Wow/PatchiKnowsWhatsUp_1415208522&py even includes a space between print and ". 16:56:49 that's obtained by hashing some relatively short terms (but long enough to bruteforce) 16:57:16 err, long enough that you can't bruteforce 16:57:22 then I'd win that challenge by knowing what they are 16:57:49 yeah, no fun in that 16:58:13 Wow was barely ok because there really isn't much you can do inside 45 characters of C code. 16:58:35 glibc's RNG uses an algorithm known to be easy to reverse-engineer 16:59:04 the GolfScript solution actually just implements the algo in question 16:59:09 especially after guessing main(){for(;;){putchar(...%95+32);}} 16:59:26 -!- shikhin has quit (Ping timeout: 245 seconds). 16:59:38 ais523_: I'd suppose that tails followed the same approach as I did: write the C solution, then look at glibc's source code. 17:00:07 I actually have glibc's algo memorized apart from the constants 17:00:28 new seed = old seed * something + something, output value = seed >> something 17:00:44 it's pretty simple as algos go 17:01:29 -!- ais523 has joined. 17:01:57 good morning 17:02:02 let r = zipWith (+) (0:0:0:r) $ [16807^i `mod` (2^31 - 1) | i<-[0..30]] ++ r in map (\n -> n `mod` 2^32 `div` 2) r 17:02:06 > let r = zipWith (+) (0:0:0:r) $ [16807^i `mod` (2^31 - 1) | i<-[0..30]] ++ r in map (\n -> n `mod` 2^32 `div` 2) r 17:02:07 [0,8403,141237624,811325037,492480232,713292089,1046430673,542994004,1442217... 17:02:26 err. 17:02:31 > let r = zipWith (+) (0:0:0:r) $ [16807^i `mod` (2^31 - 1) | i<-[0..30]] ++ r in map (\n -> n `mod` 2^32 `div` 2) (drop 313 r) 17:02:33 [1804289383,846930886,1681692777,1714636915,1957747793,424238335,719885386,1... 17:03:11 `c main(){for(;;)printf("%d,",rand());} 17:03:12 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: c: not found 17:03:44 `ibin/c main(){for(;;)printf("%d,",rand());} 17:03:50 1804289383,846930886,1681692777,1714636915,1957747793,424238335,719885386,1649760492,596516649,1189641421,1025202362,1350490027,783368690,1102520059,2044897763,1967513926,1365180540,1540383426,304089172,1303455736,35005211,521595368,294702567,1726956429,336465782,861021530,278722862,233665123,2145174067,468703135,1101513929,1801979802,1315634022,63 17:04:44 `ibin/haskell main = let r = zipWith (+) (0:0:0:r) $ [16807^i `mod` (2^31 - 1) | i<-[0..30]] ++ r in print $ map (\n -> n `mod` 2^32 `div` 2) r 17:04:45 ​./interps/ghc/runghc: line 5: /opt/ghc/bin/runhaskell: No such file or directory 17:05:00 tsk. 17:05:02 `which ghc 17:05:04 No output. 17:05:09 `` which ghc 17:05:10 No output. 17:05:12 okay 17:05:34 16807 is easy to remember because it's 7^5 17:06:08 > let r = zipWith (+) (0:0:0:r) $ [16807^i `mod` (2^31 - 1) | i<-[0..30]] ++ r in map (\n -> n `mod` 2^32 `div` 2) r 17:06:09 [0,8403,141237624,811325037,492480232,713292089,1046430673,542994004,1442217... 17:10:37 the first 313 values are dropped. (in the C code it's 310, but it turned out to be convenient to shift the sequence a bit) 17:10:44 [wiki] [[DNA-Sharp]] http://esolangs.org/w/index.php?diff=41047&oldid=40137 * 149.69.108.53 * (-80) I unfortunately don't know where the interpreter is, but it's not at the listed link... 17:11:01 oh 17:11:22 FireFly: I had already run them in lambdabot, but I see I had also copied the wrong command in the HackEgo attempt. 17:15:13 -!- oerjan has quit (Quit: leaving). 17:15:16 Oh 17:15:43 -!- NATT_SiM has joined. 17:15:45 -!- NATT_SiM has quit (Remote host closed the connection). 17:16:07 -!- NATT_SiM has joined. 17:16:40 -!- NATT_SiM has quit (Remote host closed the connection). 17:17:06 -!- NATT_SiM has joined. 17:20:11 -!- NATT_SiM has quit (Read error: Connection reset by peer). 17:20:18 -!- tlewkow has joined. 17:22:27 -!- tlewkow_ has joined. 17:23:36 -!- augur has quit (Remote host closed the connection). 17:25:27 -!- tlewkow has quit (Ping timeout: 258 seconds). 17:26:15 -!- shikhout has changed nick to shikhin. 17:27:24 -!- tlewkow_ has quit (Remote host closed the connection). 17:36:47 -!- tlewkow has joined. 17:39:34 wow, I could block like 90% of my spam by simply dropping any message that doesn't have my address in the To: line 17:40:57 not counting mailing lists, is it possible for someone who isn't a spambot to send email with an incorrect To: address even by accident 17:40:59 ? 17:41:26 If someone Bcc's you, perhaps. 17:42:16 fizzie: oh right, obviously 17:42:22 forgot about that 17:42:28 Oh sweet heavenly angels I finally have bourbon. 17:42:47 I don't recall what the copy you get looks in that case. 17:43:01 it doesn't have your name anywhere in To: or Cc: 17:43:08 -!- Koen__ has joined. 17:43:38 I get something like 90% of the spam my zem.fi addresses get filtered by a simple dnsbl blacklist (Spamhaus' zen and SpamCop) check. 17:44:19 most of these spambots are pretty transparent 17:44:33 some even send the entire list of emails they're spamming in the To: line 17:46:29 Sometimes the To: address is f in the same domain, which makes me think it's the first address in a batch of messages or something. 18:05:54 I reduced my spam intake by very nearly 100% by using e4ward.com and deleting email addresses that get spam :3 18:10:30 I've got a friend who uses a different email for each service 18:12:03 (He has one for every valid uuid or something) 18:12:29 fizzie: Patch merged. 18:12:48 Taneb: That's what I do w/ e4ward. 18:12:51 Gregor: Did you notice the comment about newlines? 18:13:14 Yes, but I think your patch should do fine. I'm not sure how much I care about newlines in filenames X-D 18:13:18 I'm too lazy and sometimes like to look at spam and laugh at it 18:13:34 I've used suffixes (user+servicename@) for some places, and a spamtrap hotmail address for random websites that I wouldn't really want make an account for but who insist. 18:13:34 fizzie: I know it's still wrong... lemme put it this way: If you want to fix it, I'll happily merge another patch. Otherwise, meh. 18:13:46 Gregor: "I'll think about it." 18:24:01 -!- shikhin has quit (Ping timeout: 240 seconds). 18:27:23 fizzie: I've had things strip off the +foo, I think. 18:28:05 -!- shikhin has joined. 18:42:28 -!- tlewkow has quit (Remote host closed the connection). 18:47:29 -!- ais523 has quit. 18:47:41 -!- tlewkow_ has joined. 18:47:49 -!- ais523 has joined. 18:57:21 [wiki] [[My Unreliable Past]] http://esolangs.org/w/index.php?diff=41048&oldid=41029 * BCompton * (+2278) 19:03:51 [wiki] [[Talk:My Unreliable Past]] http://esolangs.org/w/index.php?diff=41049&oldid=41031 * Ais523 * (+396) /* IO */ any nondeterministic method's OK 19:05:40 > 0/0 19:05:42 NaN 19:05:53 >_> 19:06:13 “>_>” what? 19:06:19 Some one made a bootleg version of windows 2003 for the nintendo 19:06:58 Oh, I thought it was in response to the NaN. Should’ve looked at the timestamps first. 19:06:58 > _> 19:06:59 :1:3: 19:06:59 parse error (possibly incorrect indentation or mismatched brackets) 19:07:20 > 0 `div` 0 19:07:21 *Exception: divide by zero 19:07:37 lol 19:08:05 ^prefixes 19:08:05 Bot prefixes: fungot ^, HackEgo `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, idris-bot ( , jconn ) , blsqbot ! 19:08:09 ( 0/0 19:08:09 NaN : Float 19:08:13 ( div 0 0 19:08:13 -!- idris-bot has quit (Quit: Terminated). 19:08:19 Melvar: sorry about your bot 19:08:23 I didn't expect that to happen 19:08:37 -!- idris-bot has joined. 19:09:22 Nobody does, but idris happens to crash when asked that. The best thing I can really do is teach my bot to start a new idris when this happens. 19:10:11 Idris crashed when he divided by zero 19:10:14 Makes sence 19:10:26 sense* 19:11:54 Specifically, if you do it in the repl, some top-level handler catches it and goes back to the prompt, but when idris runs in ideslave mode, that handler isn’t present. I’m not sure where to look for the problem or how to fix it. 19:12:55 just review every part of your code 19:13:28 ALL OF IT 19:14:44 How many lines is Idris? 19:15:32 -!- S1 has joined. 19:17:04 How should I count them? 19:19:53 There should be an end variable depending on what you use? that tells you how many lines are in it 19:20:08 idk what you use so its differdent for me 19:20:55 Dulnes: a large project like Idris is spread across a ton of different files, many of which are in different languages, some of which are build system or the like, some of which are documentation 19:21:14 Oh my 19:21:18 -!- MDude has quit (Read error: Connection reset by peer). 19:21:33 Well idk then 19:21:47 if theres an error its going to be hell finding it 19:22:08 I meant whether to include empty lines, comment lines, doc lines, etc. and if there’s a convenient utility implementing your choice. 19:22:25 well, a crash upon dividing by zero is unlikely to be in the documentation… 19:22:51 wc on src/ reports 38515 lines total. 19:23:35 huh, that's smaller than I was expecting 19:24:29 yeah the way ais523 worded it i thought it would be larger 19:24:31 NetHack 4 is 167762 by the same counting method 19:25:21 Melvar it would be best to find whats causing that thats a very simple crash bug 19:26:14 Cant you just black list the area that trys to divide by zero? 19:26:15 Dulnes: not really; in this case, we told it to divide by zero and it divided by zero 19:26:40 So it doesnt divide by zero but anything else 19:26:47 so the problem's to find the situation in which it should actively not do what it's told 19:26:52 and substitute an appropriate outcome 19:26:57 ( 9/9 19:26:57 1.0 : Float 19:27:01 So what, the repl has a signal handler? 19:27:09 if you defined, say, 0 `div` 0 as 0, then that would avoid the crash, but it would be wrong 19:27:31 and `div` is probably a compiler primitie 19:27:34 *primitive 19:27:36 ( div 19:27:36 Can't resolve type class Integral a 19:27:45 ( div 4 19:27:45 \{meth1} => prim__sdivBigInt 4 meth : Integer -> Integer 19:27:51 yep, it's a primitive 19:28:05 meth 19:28:06 so it's being compile down to other languages' divisions 19:28:31 yeah 19:28:45 ( div 5 19:28:46 \{meth1} => prim__sdivBigInt 5 meth : Integer -> Integer 19:29:05 so if its not by zero it can do it 19:29:13 You could try to install your own signal handler 19:29:31 ( div 0 19:29:31 \{meth1} => prim__sdivBigInt 0 meth : Integer -> Integer 19:29:53 Did it handle? 19:30:16 it didn't run, I only gave it one argument 19:30:30 so I asked it for the concept of dividing 0 by something 19:30:36 ( (flip div) 0 19:30:37 flip (\{meth0} => \{meth1} => prim__sdivBigInt meth meth) 0 : Integer -> Integer 19:30:45 whereas that's the concept of dividing something by zero 19:30:53 The thing is, idris is written in Haskell. The repl uses a haskell implementation, which for that primitive throws an exception. The repl runs under an appropriate catch, ideslave does not. The question is how and where to insert the catch into ideslave and produce a proper response in the protocol. 19:31:17 -!- tlewkow_ has quit (Remote host closed the connection). 19:31:38 > 1920%1152 19:31:40 5 % 3 19:31:58 > 2560%1536 19:31:59 5 % 3 19:32:21 > 1280%800 19:32:23 8 % 5 19:32:49 > 67899*87555 19:32:50 5944896945 19:32:58 thank 19:36:12 so when the math/compilation section/file made 19:36:27 ... https://github.com/naetech/nightrain 19:37:31 i already know of this 19:37:35 it has bugs 19:40:28 > 551672727178263718277272/8766 19:40:30 6.2933233764346765e19 19:40:38 oh my 19:40:41 > 1600%768 19:40:42 25 % 12 19:40:43 such smart 19:41:54 -!- adu has joined. 19:51:18 -!- drdanmaku has quit (Quit: Connection closed for inactivity). 19:54:00 ( (flip div) 65 19:54:00 flip (\{meth0} => \{meth1} => prim__sdivBigInt meth meth) 65 : Integer -> Integer 19:56:18 -!- adu has quit (Quit: adu). 20:01:21 -!- Patashu has joined. 20:01:43 [wiki] [[Rasen]] http://esolangs.org/w/index.php?diff=41050&oldid=40985 * 192.52.109.131 * (-10) /* Cat Program */ 20:01:51 -!- ais523 has quit (Ping timeout: 258 seconds). 20:01:56 Unicomp wants $68 to ship one of their Keyboards to Finland ... 20:06:13 why? 20:06:19 -!- ais523 has joined. 20:07:31 what the 20:07:41 so this is why my laptop is running out of power while suspended 20:07:42 Dulnes: PRobably because they only ship internationall through FedEx (which is grossly overpriced) and because the keyboard weighs 5.5 lbs... 20:07:48 something's making it spontaneously turn itself on 20:07:58 just this time, it was close enough to a wi-fi access point that I caught it on IRC 20:09:41 what was it 20:11:57 hmm, now I'm wondering why no pingout 20:12:17 -!- ais523 has quit (Ping timeout: 265 seconds). 20:12:22 there we go 20:13:42 -!- kcm1700_ has joined. 20:15:58 -!- kcm1700 has quit (Ping timeout: 255 seconds). 20:18:13 -!- kcm1700_ has quit (Ping timeout: 255 seconds). 20:18:42 -!- kcm1700 has joined. 20:22:16 -!- tlewkow_ has joined. 20:22:19 [wiki] [[Talk:My Unreliable Past]] http://esolangs.org/w/index.php?diff=41051&oldid=41049 * BCompton * (+209) /* IO */ 20:26:24 -!- Patashu has quit (Ping timeout: 255 seconds). 20:31:15 -!- adu has joined. 20:33:11 [wiki] [[Talk:My Unreliable Past]] http://esolangs.org/w/index.php?diff=41052&oldid=41051 * Ais523 * (+517) /* IO */ fail chance of Hello World 20:34:41 -!- heroux has quit (Ping timeout: 240 seconds). 20:35:20 -!- augur has joined. 20:36:31 -!- heroux has joined. 20:46:30 is it just me, or is the proportion of the wiki made of bad BF derivatives going down? 20:46:36 or did someone just rig up Special:Random to disfavour them? 20:47:58 [wiki] [[Talk:My Unreliable Past]] http://esolangs.org/w/index.php?diff=41053&oldid=41052 * BCompton * (+139) /* IO */ 20:48:21 [wiki] [[My Unreliable Past]] M http://esolangs.org/w/index.php?diff=41054&oldid=41048 * BCompton * (-11) /* Hello, world! */ 20:48:49 [wiki] [[Talk:My Unreliable Past]] M http://esolangs.org/w/index.php?diff=41055&oldid=41053 * BCompton * (+86) /* IO */ Forgot my sig 20:51:36 [wiki] [[Talk:My Unreliable Past]] http://esolangs.org/w/index.php?diff=41056&oldid=41055 * BCompton * (+4) /* IO */ 20:52:00 [wiki] [[My Unreliable Past]] http://esolangs.org/w/index.php?diff=41057&oldid=41054 * BCompton * (+7) /* Hello, world! */ 20:53:43 bleh, 11, if I count C-INTERCAL as a language I created 20:53:58 which I guess I do because I put in so many of the features that make it different from other impls 21:16:57 -!- AnotherTest has joined. 21:22:53 -!- augur has quit (Remote host closed the connection). 21:33:06 -!- Phantom_Hoover has joined. 21:39:57 -!- hjulle has joined. 21:43:04 -!- adu has quit (Quit: adu). 21:45:54 http://studio.code.org/s/frozen/stage/1/puzzle/1 21:48:36 http://studio.code.org/assets/spinner-big-c3078e9dccaffcd3763893a183dde788.gif 21:49:03 Why does nothing ever work without Javascript anymore. Oh well I guess that saves me a ton of time. 21:49:22 int-e: I was looking at some web pages in w3m earlier 21:49:46 and complaining "why does this page need frames" and "why does that page need the ability to show the 'title' of an element" 21:52:01 its good that this uses javascript 21:52:11 something like this would normally be using flash 22:00:13 How Logo. 22:02:00 [wiki] [[Talk:My Unreliable Past]] http://esolangs.org/w/index.php?diff=41058&oldid=41056 * Ais523 * (+322) /* IO */ that looks about right 22:02:32 YouTube? seriously? 22:03:25 -!- tlewkow_ has quit (Remote host closed the connection). 22:04:59 -!- tlewkow has joined. 22:06:19 wow, has TDWTF screwed up their website 22:06:32 ??? 22:06:34 it has horizontally scrolling portions that you can't actually scroll because they're covered by transparent clickable areas 22:09:03 How oddly appropriate 22:20:45 -!- tlewkow has quit (Remote host closed the connection). 22:23:34 -!- L8D has joined. 22:23:48 what's that one esoteric LC with just s, k and ` ? 22:24:19 L8D: are you thinking of Unlambda? 22:24:25 that's a Turing-complete subset of Unlambda 22:24:28 although it has other commands 22:24:29 Lazy K? 22:24:35 you might also be thinking of Lazy K 22:24:46 someone from this channel authored it 22:24:50 or "SK combinator calculus" which is the mathematical name for that subset 22:24:55 probably Lazy K, then 22:25:16 yes I'm familiar with sk combinator calculus 22:25:30 someone figured out a way to denote precedence using only a single character 22:25:40 that's copied from Unlambda 22:25:43 -!- tlewkow_ has joined. 22:25:50 UNDERLOAD 22:25:57 wait no 22:26:04 that was the other language they mentioned 22:26:04 there's that bird one slereah did 22:26:09 you can compile SK into Underload 22:26:15 it sounds like unlambda to me though 22:26:24 except unlambda has extra stuff 22:26:26 they had some sort of name for it though 22:26:26 (that's how Underload was originally proved TC) 22:26:31 but it has a bunch of extra stuff 22:26:36 @google esolang lazy k 22:26:37 http://esolangs.org/wiki/Lazy_K 22:26:37 Title: Lazy K - Esolang 22:26:37 @google esolang unlambda 22:26:39 http://esolangs.org/wiki/unlambda 22:26:39 Title: Unlambda - Esolang 22:26:40 L8D: perhaps you're thinking of Iota? only that has just the one combinator 22:27:27 the name has something to do with binary or byte 22:28:18 -!- augur has joined. 22:28:21 why do you need to denote precedence with s&k ? 22:28:44 because: s (k s) 22:28:55 is different than: s k s 22:29:10 but these esolangs use prefix apply, where it's not an issue 22:29:19 those examples are `s`ks and ``sks in Unlambda syntax 22:29:20 either `s`ks or ``sks 22:29:33 tromp_: well, you can think of prefix apply as being a precedence marker 22:29:41 just like $ exists mostly for precedence in Haskell 22:30:27 so L8D, how does what you have in mind differ from Lazy K? 22:30:48 using a binary notation? 22:31:01 because the interpreter was an entry to some competition on obfuscated C 22:31:08 and it didn't have i 22:31:17 my precursor to BLC was a binary combinatory logic 22:31:22 L8D: if you want binary notation, Jot? 22:31:28 BLC 22:31:33 I remember jot being mentioned 22:32:04 http://esolangs.org/wiki/Binary_lambda_calculus 22:32:09 ^ it was an interpreter for that 22:32:30 http://www.ioccc.org/2012/tromp/hint.html 22:32:42 http://www.ioccc.org/2012/tromp/tromp.c 22:33:04 yeah that 22:33:13 so that's not s and k :) 22:33:22 oh 22:35:38 I wish I had an awesome last name like "tromp" 22:35:49 just a regular Dutch name 22:36:36 I wish I had an awesome Dutch name 22:36:44 wait... 22:36:51 tromp_: is 'biel' a ditch last name? 22:36:57 I thought it was french 22:36:57 http://homepages.cwi.nl/~tromp/ 22:37:00 dutch* 22:37:14 your sokoban link is deda http://www.gamegate.com/othergames.jsp?NAVID=1&GAMEID=12 22:37:47 i don't know any Dutch called biel 22:38:32 why are there so many programmers in the netherlands? 22:38:51 what was it a link to 22:38:54 I've met like 50 22:40:56 I inherited an awesome dutch surname 22:41:01 http://www.gamegate.com/games.jsp was still working on jun 28 2014; maybe they'll come back 22:41:34 tromp_: now I'm trying to remember exactly what it is 22:41:59 ais523_ what what is? 22:42:07 Taneb's awesome surname 22:43:17 ais523_, do you want me to tell you? 22:43:22 (it's pretty easy to find) 22:43:25 google Taneb and you'll see :) 22:43:43 from his github 22:43:48 it's been mentioned on here before, you may as well mention it again 22:43:56 van Doorn 22:43:59 right 22:44:04 I thought it might be that, but I wasn't sure 22:44:15 hmm, that name arguably becomes even more awesome if overkerned 22:44:25 ais523_, see my article on the wiki 22:44:34 In a graphical browser 22:45:18 is that /intentionally/ overkerned? 22:45:24 or is the font just broken? 22:45:29 * ais523_ looks at source 22:45:50 haha, I didn't even know it was possible to put styling in DISPLAYTITLE 22:46:00 -!- oerjan has joined. 22:46:04 hi oerjan 22:46:11 it is very slightly too wide to work correctly on this browser, though 22:46:23 It looks overoverkerned to me 22:46:26 Hi 22:46:30 hi Dulnes 22:46:31 -!- AnotherTest has quit (Ping timeout: 245 seconds). 22:47:54 hi vanila 22:48:06 it's underoverkerned if you want it to actually look exactly like an 'm' 22:48:10 i want to work on an esolang thing, any ideas 22:48:46 So windows 9 cant be a thing because of the legacy source 22:49:32 Also someone jailbroke and bootlegged a windows 2003 server onto The NES 22:49:34 this is an odd place to complain about windows 22:49:58 windows 2003 on NES 22:49:58 i know just wondering why ita terrible 22:50:03 what the heck 22:50:09 the NES has a 6502 CPU 22:50:14 how do you run windows 2003 on that 22:50:23 yeah my friends me a.link 22:50:30 i just wanna see if its true 22:50:31 vanila: Dulnes apparently runs IRC bots on Windows 95, that connect via the web interface 22:50:39 ? 22:50:43 Dulnes lies a lot 22:50:43 I use internet explorer on Windows 95 22:50:43 no i dont 22:50:58 I dont have a bot ;-; 22:51:02 I like the aesthetic 22:51:19 I used windows 95 in a VM as my main OS for a short while 22:51:23 the aesthetic is definitely good 22:51:27 the usability less so 22:51:37 I just need a hard drive and thn I can use windows 95 for real 22:51:49 elliott: I used Windows 95 back when it was the world's most widely used consumer OS 22:51:58 it was a step forwards from many things 22:51:58 I have a Windows 98 computer somewhere 22:52:00 but pretty crashy 22:52:06 It hasn't been turned on in a while but it still probably works 22:52:10 I don't know how to get a cheap hard drive 22:52:11 any ideas? 22:52:20 Amazon? 22:52:26 ^ 22:54:00 I saw lots of posts recommending Newegg on Slashdot, but I'm suspicious because they have the same owner 22:54:13 thanks 22:54:15 so 22:54:17 and Slashdot's owners have infinite mod points 22:54:23 what is the cutting edge in esolang research? 22:54:33 I posted My Unreliable Past recently 22:54:51 wha's that? 22:55:49 http://esolangs.org/wiki/My_Unreliable_Past 22:56:02 Esolang URLs are predictable enough that you can just type them, rather than using Google 22:56:08 @google my unreliable past 22:56:09 http://productforums.google.com/d/msg/youtube/ZIP2LmHL1Ro/_8uLjgZEJYoJ 22:56:14 hmm 22:56:19 I don't know if I want to follow that link 22:56:37 -!- hjulle has quit (Ping timeout: 255 seconds). 22:57:21 -!- shikhout has joined. 22:57:30 amazing ais523_ 22:58:18 ais523_, some I wouldn't want to type 22:58:25 ^wiki My Unreliable Past 22:58:25 http://esolangs.org/wiki/My Unreliable Past 22:58:28 Like Real Fast Nora's Hair Salon 3: Shear Disaster Download 22:58:35 ^^wiki needs to URL escape 22:58:39 wha 22:58:43 fungot: you need better escaping hth 22:58:43 oerjan: once you know how hard it would be great if we actually had a thought lately. i feel fnord 22:58:45 or at least s/ /_/ 22:58:46 Or Eodermdrome (because I can never remember how to spell it) 22:58:58 Taneb: you spelt it correctly 22:59:09 :) 22:59:14 but even if you can't remember, just keep moving the letters around until they don't form a planar graph 22:59:57 Oh, heh, I didn't realise it was a non-planar graph 23:00:28 Taneb: eodermdrome is a word constructed to be the shortest possible representation of a complete graph of 5 letters 23:00:29 -!- shikhin has quit (Ping timeout: 258 seconds). 23:00:38 Ooooooh 23:00:43 and it's older than the language 23:00:59 Much like Real Fast Nora's Hair Salon 3: Shear Disaster Download 23:01:35 Which is also designed to be a complete graph, or something 23:01:56 the word inspired the language 23:02:10 ^show wiki 23:02:10 +15[>+4>+7>+7>+8<4-]>3-.>-4..<2+7.<-2.-11..>2-3.<+3.>2-5.-3.<-4.>+2.<+6.<.<-.>3+.+3.<.<2+.>+4.>+2.+2.-2.<2.,[.,] 23:02:28 I think with Real Fast Nora's Hair Salon 3: Shear Disaster Download, the language was created to fill the name 23:02:31 that looks suspiciously bf_txtgenned 23:02:40 -!- augur has quit (Remote host closed the connection). 23:02:43 But I kind of wanted to make a language like that already 23:02:46 ais523_: it's basically just printing http://esolangs.org/wiki/ and then an ordinary cat 23:02:54 Taneb: was that a spambot name? or did you just want something that looked like a spambot name 23:02:55 oerjan: yes 23:03:02 and the constant string is bf_txtgenned 23:03:05 ais523_, it was a spambot name 23:03:14 I believe elliott suggested it should be made a language 23:03:17 so making it escape will take some major expansion 23:03:23 you can tell because it uses two working cells of size 7*15 23:03:45 I guess it should be possible to find the IRC logs of when that happened 23:04:04 (Set A to 100 with high probability... around 1/589 chance of failure) 23:04:05 lol 23:04:20 giggling 23:04:26 hm i recall there was this spam page name everyone agreed needed to be made a language but no one has iirc 23:04:41 where 23:04:43 21st march 2012 23:05:07 codu.org doesn't seeeeeem to be loading 23:05:08 vanila: on the wiki. i don't remember the name, also the page may have been deleted (it was spam, after all) 23:05:15 Taneb: i noticed, switched to tunes 23:05:43 i thought my connection was flaky again, but downforeveryoneorjustme agreed 23:05:50 Awww, I have to download a .zip of pre-2013 logs 23:06:11 Gregor: codu.org seems to be down hth 23:06:38 fhdsiofhiasdopfhsdio 23:06:39 this is very interesting ais523_ 23:07:04 I try to make my languages interesting 23:07:07 -!- augur has joined. 23:07:14 the life of creating 100 awful BF derivatives is not for me 23:07:18 Gregor: google doesn't know that acronym tdnh 23:07:20 i wouldnt' want to program in it though 23:07:46 since when was "people want to program in it" a requirement for an esolang? :-) 23:07:53 although apparently at least one person does want to prorgam in it 23:07:54 The nameserver is down >_O 23:08:15 I try to have an idea then make a language out of it 23:08:34 Like, Fueue was mostly "Underload with a queue instead of two stacks" 23:08:46 Yeah, codu isn't down, its nameservers are down and everybody's abandoned it because of that. 23:08:57 maybe i coul contribute to esolangs some way other than inventing one 23:09:02 any suggestions for that? 23:09:09 oerjan: It seemed unlikely that codu was down since I'm connected thru it :3 23:09:11 Implementations? 23:09:20 vanila, try implementing Eodermdrome! 23:09:33 vanila: writing interpreters; computational class analyses; writing programs; cross-implementation (i.e. implementing one esolang in another) 23:10:02 Gregor: well i meant the web page, naturally 23:10:15 `echo other things not included 23:10:16 other things not included 23:10:26 are there any markers on the wiki for things that need done? 23:10:45 Not really... :( 23:10:51 vanila: Category:Stubs is the closest thing 23:10:52 reading about Eodermdrome 23:10:53 oerjan: The web page is up... by some definition ;) 23:11:11 Category:Unimplemented exists, too, but it's not quite that. 23:12:18 Eodermdrome is NP-hard to implement efficiently, isn't it? 23:12:40 something graph isomorphism something? 23:12:40 ais523_: well except for the bounded number of letters 23:12:52 oerjan: right 23:12:52 which means it's _technically_ in P, i think. 23:13:16 although probably with quite a high exponent 23:14:10 also some people have suggested the spec does not exclude unicode letters (which won't change it from P since unicode is also finite, but may make it easier to program) 23:15:00 Found the logs about how Real Fast Nora's Hair Salon 3: Shear Disaster Download gained its name 23:15:34 I thought of anew keyboard layout but i made a mistake 23:15:40 And huh, I made the language before the name? 23:16:26 oerjan: it was meant to, but I sort-of believe that esolangs can outgrow their authors 23:16:31 vanila: make it one that doesn't leave out alot of spaces after as hth 23:16:36 unless the spec is obviously nonsensical or self-contradictory 23:17:07 http://i.imgur.com/NoylOuA.png 23:17:54 vanila: it's jumps not jumped, otherwise you miss s 23:18:05 ok but 23:18:17 I need a list of all valid sentences which use every letter once 23:18:25 then I can choose the best keybaord layout from it 23:18:38 vanila: there are a lot of such sentences 23:18:39 idea: the keys chance every time you press one in some permutation 23:18:44 infinitely many, most likely 23:18:55 there is less than 26! 23:18:55 you probably want to drop the duplicate letters 23:19:09 when I said once I meant not more than once and not less 23:19:13 vanila: um there are probably no valid sentences that do that 23:19:18 please 23:20:02 for one thing, vowels are too much rarer than consonants 23:20:10 oerjan: there are some very contrived sentences 23:20:22 ais523_: oh? 23:20:27 or, well, the one that was the solution to the Enigma metapuzzle at Agora is two sentences 23:20:33 "Zing! Vext cwm fly jabs Kurd qoph" 23:20:43 lol 23:21:14 I think I've seen the "Mr. Jock, TV quiz PhD, bags few lynx" one (one of the first google-hits) somewhere. 23:21:25 http://www.fun-with-words.com/pang_example.html lists six examples. 23:21:31 i suppose welsh helps with the vowels :P 23:21:47 -!- Phantom_Hoover has quit (Remote host closed the connection). 23:22:01 Waltz, nymph, for quick jigs vex bud. 23:22:01 Was at JSSummit today 23:22:01 or acronyms 23:22:03 Hahahah 23:22:14 vanila: i spot two i's 23:22:18 One of the presenters apparently didn't try out their examples and didn't understand people's confusion 23:22:46 and two u's 23:22:59 and assuming all letters are there, that's all 23:23:19 > sort "Waltz, nymph, for quick jigs vex bud" 23:23:20 " ,,Wabcdefghiijklmnopqrstuuvxyz" 23:23:38 oerjan: it has all letters 23:23:41 -!- `^_^v has quit (Ping timeout: 240 seconds). 23:23:41 I just checked manually 23:25:20 howdo i find all graph based esolangs? 23:25:58 not sure we have a category for that 23:26:02 you can search for "graph" if not 23:26:13 TURKEY BOMB, the first known programming-language-cum-drinking-game, evolved independently on four seperate continents and was widely used as an implementation base for computer operating systems for several centuries. 23:26:14 Category:Non-textual is not large. 23:26:17 what the HELL 23:26:17 lol 23:26:24 Assuming all of them have been correctly categorized. 23:26:34 fizzie: um eodermdrome isn't non-textual, but still graph-based 23:26:39 I guess. 23:27:19 Well, Eodermdrome's not in any useful category, so clearly there are none. 23:27:37 http://www.rinkworks.com/words/pangrams.shtml "Glum Schwartzkopf vex'd by NJ IQ." 23:27:55 there might not be that many. i recall kolmogorov machine and andrei machine, or something. 23:28:24 hm Graph mentions Cvlemar 23:29:07 On the Rinkworks page, the 29-letter "Sphinx of black quartz, judge my vow" is very non-contrived. 23:29:18 so I like the idea of graph based languages 23:29:25 -!- tlewkow_ has quit (Remote host closed the connection). 23:29:28 but it should be efficient to implement 23:29:44 anyway, searching for "graph" throws up several relevant pages. 23:29:50 There's Grasp, but it's sadly incomplete. 23:29:59 * Sgeo decides to repeat himself here 23:30:02 oerjan, link? 23:30:06 FnOnce occurs in nature, outside of Rust: Languages like Python that support generators can use an easy syntax for some monads. Which monads? Exactly those monads whose >>= takes an FnOnce as a continuation. Option, but not List 23:30:12 or are you using google? 23:30:13 http://esolangs.org/w/index.php?search=graph&title=Special%3ASearch&fulltext=1 23:30:21 ooh 23:30:31 when I used search ti took me straight to graph page, i gues theres another search box 23:30:47 we have seriously differing definitions of the word "nature" 23:31:01 -!- augur has quit (Remote host closed the connection). 23:31:12 vanila: no, but you need to use the "containing" option in the menu if there is a page by the same name 23:31:13 http://esolangs.org/wiki/Wire-crossing_problem 23:31:19 I should make a language based on planar graphs 23:31:24 -!- tlewkow has joined. 23:35:32 Sgeo: i think that may be the same monads as https://hackage.haskell.org/package/STMonadTrans works for 23:36:10 Ooh so Rust is more type safe than Haskell? 23:36:11 >.> 23:36:25 in that case, presumably 23:36:42 haskell lacks those pesky uniqueness types 23:37:14 If I see a mistake in a Stackoverflow answer, should I just fix it? 23:37:22 It's a trivial mistake but a compilation error nontheless 23:38:05 Sgeo: no. make a comment instead. i've been burned on that myself. 23:38:20 "Edits must be at least 6 characters; is there something else to improve in this post?" 23:38:26 But... it's a 5 character mistake. 23:38:51 unless you've got enough rep _not_ to need it confirmed by random strangers who may not even know the language you're fixing, don't even try 23:39:42 i got so annoyed at SO's policy on code edits that i pledged not to do them again. 23:39:42 Ah 23:39:59 (even though i now _do_ have enough rep) 23:41:22 http://stackoverflow.com/questions/27022848/how-to-mutate-struct-field-in-method#comment42580981_27023282 23:43:20 i think that went well 23:44:04 The original author can make smaller edits apparently 23:44:17 I couldn't figure out how to use ST with ListT 23:44:21 without the problem 23:44:34 someone said it could be done with MonadPrompt but it is hard 23:44:42 -!- L8D has left. 23:45:00 Sgeo: yes 23:45:06 http://esolangs.org/wiki/Esoteric_Awards 23:45:33 Am I expected to upvote that reply? 23:45:43 Sgeo: i don't think so 23:46:43 upvotes are for useful information, afaict 23:47:00 *afaiac 23:47:07 stupid muscle memory 23:47:16 http://www.vb-helper.com/FourColorMap1Solved.gif 23:47:21 look at this picture 23:47:23 I thought of this 23:47:29 it's a program 23:47:36 i dont know what the language is yet though 23:48:01 colors _and_ graphs? 23:48:21 you would draw the graph and color it in i guess 23:48:35 with 4 cours other wise the program is invalid 23:48:52 vanila: have you seen piet? that's not graph-based though, only color 23:49:00 yeah 23:49:39 i like this idea 23:49:40 "Hmmm... I think it would classify as days+1 days" 23:49:53 I wonder how to make ti into something programmable 23:49:55 http://esolangs.org/wiki/Kolmogorov_machine 23:50:21 tromp_: was mentioned, also in the search link 23:50:46 sorry i missed that 23:50:52 something like game of life is turing complete 23:50:57 so it should be easy to make this turing complete 23:51:02 but it willb e hard to make it human programmable 23:51:35 so is game of life :P 23:53:09 actually 23:53:16 if you input a picture for your pogram its not turing complete 23:53:22 at least not just by recoloring the graph 23:53:29 yu'd need a way to store unbounded amounts of data 23:53:35 i dont know how that is possible 23:58:29 http://esolangs.org/wiki/%E2%84%92