00:34:30 -!- constant has quit (Ping timeout: 255 seconds). 00:42:16 -!- Guest68772 has quit (Quit: Coyote finally caught me). 00:42:22 -!- glogbot has quit (Remote host closed the connection). 00:42:23 -!- EgoBot has quit (Remote host closed the connection). 00:45:17 -!- variable has joined. 00:45:17 -!- variable has quit (Changing host). 00:45:17 -!- variable has joined. 00:47:05 -!- glogbackup has joined. 00:50:09 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds). 01:28:29 -!- oerjan has quit (Quit: leaving). 02:26:20 -!- not^v has joined. 02:49:15 -!- S1 has joined. 02:50:43 -!- jix has quit (*.net *.split). 02:51:37 What will the Brainfuck survey be used for? 02:51:52 -!- Lorenzo64 has quit (Ping timeout: 255 seconds). 02:53:32 mroman is master of all he surveys. 02:59:34 -!- jix has joined. 03:32:34 I was trying to think a bit more about a programming language meant for writing the effects of cards in Magic: the Gathering, and perhaps also such game as Pokemon card, Yu-gi-oh, The Aberration Hater Card Game, etc 03:33:11 What about Sandwich - The Card Game? 03:33:12 At first I thought something like Lisp, but maybe something resembling Haskell data structures (alrebraic and GADTs) might help a bit. 03:33:54 shachaf: I don't know. Card game such as hearts and Napoleon clearly does not need them 03:34:29 I would especially like to play Professional Octopus of the World. 03:40:14 Don't you want to play the game involving you have to prevent all of the magnets from touching each other? 03:40:27 Do I? 03:40:47 I don't know! 03:54:08 -!- Lorenzo64 has joined. 04:17:32 it sounds like Operation For Many Hands 04:33:48 -!- not^v has quit (Quit: http://i.imgur.com/Akc6r.gif). 05:14:04 -!- Lorenzo64 has quit (Ping timeout: 260 seconds). 05:45:39 -!- copumpkin has quit. 05:46:40 -!- S1 has quit (Quit: ChatZilla 0.9.90.1 [Firefox 31.0/20140715215148]). 05:48:00 -!- copumpkin has joined. 05:49:08 -!- Froox has quit (Quit: *bubbles away*). 05:49:18 -!- Frooxius has joined. 05:54:52 -!- augur has quit (Remote host closed the connection). 05:55:25 -!- augur has joined. 06:09:47 `log Chess 2 06:09:48 ​/hackenv/bin/log: 2: cd: can't cd to /var/irclogs/_esoteric \ grep: ????-??-??.txt: No such file or directory 06:09:54 `greplog chess 2 06:09:55 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: greplog: not found 06:09:59 `ls bin 06:10:00 ​` \ ^.^ \ ̊ \ ? \ ¿ \ @ \ ؟ \ WELCOME \ \ \ 8ball \ 8-ball \ aaaaaaaaa \ addquote \ addwep \ allquotes \ analogy \ anonlog \ as86 \ aseen \ bienvenido \ botsnack \ bseen \ buttsnack \ calc \ CaT \ catcat \ cats \ cc \ cdecl \ c++decl \ chroot \ coins \ CoInS \ complain \ complaints \ danddreclist \ define \ delquote \ delv 06:10:09 * Sgeo facedesks 06:10:30 `run ls bin | grep log 06:10:31 analogy \ anonlog \ etymology \ log \ logurl \ pastalog \ pastelog \ pastelogs \ pastlog \ randomanonlog \ searchlog 06:10:40 `searchlog chess 2 06:10:40 searchlog: error while loading shared libraries: libgmp.so.3: cannot open shared object file: No such file or directory 06:10:49 That's not my fault I think. 06:11:05 `cat bin/searchlog 06:11:05 ​ELF............>.....p5@.....@.......Ðg.........@.8..@.(.%.......@.......@.@.....@.@.....À.......À............................@......@............................................@.......@.....L3.....L3....... ............P3.....P3k.....P3k.....8œ......XW........ ...........€3.....€3k.....€3k.....ð.......ð................ 06:11:19 Uh. Ok. halp. 06:15:39 beep 06:15:46 (it's an ELF binary) 06:15:53 `file bin/searchlog 06:15:54 bin/searchlog: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked (uses shared libs), for GNU/Linux 2.6.18, BuildID[sha1]=0x9c503c564def63c21bb1d9a1222d2f6c4b9afd78, not stripped 06:23:26 Would be great if file could detect what language the binary was written in. e.g. looking for the GHC Haskell runtime 06:23:50 -!- Sprocklem has quit (Remote host closed the connection). 06:26:25 -!- Sprocklem has joined. 06:26:39 For some programming languages I expect such a thing would not work so well though 06:27:34 do ghc programs link libc 06:27:47 zzo38: that reminds me, I was originally searching logs because I was wondering what your opinion of Chess 2 is 06:28:52 Well, it is another chess variant. It is not bad 06:32:13 -!- Sgeo_ has joined. 06:35:30 -!- Sgeo has quit (Ping timeout: 240 seconds). 07:30:25 -!- MoALTz has quit (Quit: Leaving). 08:01:31 -!- mauris has quit (Ping timeout: 240 seconds). 08:16:18 -!- mauris has joined. 08:54:05 -!- AnotherTest has joined. 09:29:10 -!- Patashu has joined. 09:33:13 -!- Patashu_ has joined. 09:33:19 -!- Patashu has quit (Disconnected by services). 09:35:27 -!- MindlessDrone has joined. 10:15:20 -!- FreeFull has quit (Ping timeout: 240 seconds). 10:19:26 -!- FreeFull has joined. 10:19:26 -!- J_Arcane has quit (Quit: (set-jarcane-connect! J_Arcane #f)). 10:36:00 -!- d45611 has joined. 10:36:15 -!- oerjan has joined. 10:36:29 -!- d45611 has left. 10:37:53 now the codu website is up, but glogbot isn't logging... 10:41:44 Sgeo_: HackEgo hasn't had access to the channel logs since the server move 10:41:58 @tell Sgeo_ HackEgo hasn't had access to the channel logs since the server move 10:41:59 Consider it noted. 10:44:30 searchlog hasn't been changed since the repository history was wiped or what they call it 10:49:43 `ls 10:49:44 ​:-( \ 98076 \ a \ app.sh \ bdsmreclist \ bin \ canary \ cat \ complaints \ :-D \ dog \ etc \ factor \ fb \ fb.c \ head \ hello \ hello.c \ ibin \ index.html \ interps \ lib \ moop.txt \ paste \ pref \ prefs \ quines \ quotes \ share \ src \ test \ Test \ Test.hi \ Test.hs \ unpa \ UNPA \ Wierd \ wisdom \ wisdom.pdf 10:49:47 `ls src 10:49:49 brainfuck.fu \ egobot.tar.xz \ emmental.hs \ factor-linux-x86-64-0.95.tar.gz \ fizziecoin.jpg \ fueue.c \ ploki \ ploki-0.6.5.1.tar.bz2 \ ul.emm 10:49:54 `ls share 10:49:55 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:50:25 `8ball 10:50:26 Very doubtful. 10:51:07 `cat Test.hs 10:51:07 import Data.List(inits);main = let p = 1 : zipWith (+) (map (*4) p) (map (sum . zipWith (*) p . reverse) (inits p)) in print $ p !! 1000 10:51:23 `rm Test* test 10:51:24 rm: cannot remove `Test* test': No such file or directory 10:51:31 `` rm Test* test 10:51:33 No output. 10:52:58 do ghc programs link libc <-- they link gmp, which was mentioned in the error 10:53:14 @tell Bike do ghc programs link libc <-- they link gmp, which was mentioned in the error 10:53:14 Consider it noted. 10:54:29 `strings bin/searchlog 10:54:31 ​/lib64/ld-linux-x86-64.so.2 \ l/-"x \ librt.so.1 \ __gmon_start__ \ _Jv_RegisterClasses \ libutil.so.1 \ libdl.so.2 \ libgmp.so.3 \ __gmpz_tdiv_qr \ __gmpz_and \ __gmpz_tdiv_q \ __gmpz_tdiv_r \ __gmpz_fdiv_qr \ __gmpn_gcd_1 \ __gmpz_ior \ __gmpz_mul_2exp \ __gmp_set_memory_functions \ _fini \ __gmpz_sub \ __gmpz_xor \ __gmpz_com \ __gmpz_gcd \ _ 10:55:04 `` strings bin/searchlog | tail 10:55:05 noexec \ TMPDIR \ /tmp \ /var/tmp \ /dev/shm \ HOME \ /etc/mtab \ /ffiXXXXXX \ {ZX! \ {ZX! 10:55:27 `` strings bin/searchlog | paste 10:55:30 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/paste/paste.25326 10:57:54 @tell Bike strings reveals that it is definitely haskell 10:57:55 Consider it noted. 11:07:21 `` strings bin/searchlog | grep zh 11:07:21 stg_delayzh \ stg_mkWeakzh \ stg_mkWeakForeignEnvzh \ stg_makeStableNamezh \ stg_finalizzeWeakzh \ stg_atomicallyzh \ stg_getMaskingStatezh \ stg_maskAsyncExceptionszh \ stg_maskUninterruptiblezh \ stg_catchzh \ stg_catchRetryzh \ stg_catchSTMzh \ stg_checkzh \ stg_decodeDoublezu2Intzh \ stg_decodeFloatzuIntzh \ stg_delayzh \ stg_deRefWeakzh \ stg_ 11:08:26 shachaf: there are more obvious strings in there, like ghc error messages 11:11:05 also, there's a /hackenv/bin/log just before strings about process-1.1.0.0, so something tells me that program was meant to shell out to `log 11:11:34 `cat bin/log 11:11:35 ​#!/bin/sh \ cd /var/irclogs/_esoteric \ if [ "$1" ]; then \ grep -P -i -- "$1" ????-??-??.txt | shuf -n 1 \ else \ file=$(shuf -en 1 ????-??-??.txt) \ echo "$file:$(shuf -n 1 $file)" \ fi 11:12:15 which makes me wonder what was the original point of wrapping it in haskell. if we could only search the logs... 11:12:20 -!- boily has joined. 11:13:07 hoily. i seem to be making a fool of myself on the french wikipedia, despite not knowing enough french to write commit messages in it... 11:14:27 *edit summaries 11:15:02 hellœrjan. how come? what have you done? 11:15:34 https://fr.wikipedia.org/w/index.php?title=Cl%C3%A9ment_Ader&action=history 11:17:31 looking at the difference between start and finish in both the english and french articles, it seems the original error was a stupid month/date swap 11:17:50 ah, the joy of dates... 11:17:59 -!- KingOfKarlsruhe_ has left. 11:18:01 but it took a while to get that sorted out 11:21:17 -!- KingOfKarlsruhe has joined. 11:26:24 Morning! 11:27:15 bon mataneb! 11:42:33 [wiki] [[Lambda]] M http://esolangs.org/w/index.php?diff=40306&oldid=40303 * Oerjan * (+0) newest working capture 11:54:57 [wiki] [[AAAAAAAAAAAAAA!!!!]] http://esolangs.org/w/index.php?diff=40307&oldid=40299 * Oerjan * (-42) NAH. 11:55:46 nah? 11:56:58 i say NAH to that previous edit. 11:57:42 ah, nah. tdh. 11:57:52 yw. 11:57:54 not altogether helpful? 11:58:01 MAYBE 11:58:45 moldy and yellow, but excellent? 11:59:05 `? nah 11:59:05 nah no ambiguity here 11:59:33 shachaf: could you expand PERHAPS? 12:00:36 plausibly entertaining ridicule has a peculiar serenity 12:00:44 this is almost certainly not what oerjan meant 12:04:12 @@ shachaf 12:04:12 shachaf 12:04:47 maybe it is NOW 12:08:50 -!- boily has quit (Quit: MEANINGFUL CHICKEN). 12:20:31 Anyone know where I can get an APL keyboard layout? 12:25:05 will a bananaphone do? 12:25:21 I doubt it 12:31:16 but it's a phone with a peel 12:33:40 True, but even a thousand peels wouldn't help me type weird unicode characters without memorizing a whole bunch of codes 12:47:25 Taneb: Make yourself compose sequences that make sense to you? 12:51:38 Melvar, that's a possibility, hmm 12:53:48 Though composing would be required anyway to produce all the symbols if you used the original keyboard layout. 12:58:24 Apparently a newer keyboard that includes the combinations is https://web.archive.org/web/20120316083521/http://www.users.on.net/~farnik/upload/APL2union.gif 12:58:42 Which you could in theory write a layout file from. 13:02:59 -!- Lorenzo64 has joined. 13:50:59 -!- J_Arcane has joined. 13:58:25 -!- PupUser75bda2Wil has joined. 14:22:02 -!- J_Arcane has quit (Quit: (set-jarcane-connect! J_Arcane #f)). 14:24:57 -!- Patashu_ has quit (Ping timeout: 260 seconds). 14:25:28 -!- PupUser75bda2Wil has left. 14:30:19 -!- J_Arcane has joined. 14:42:48 -!- scorpiona has joined. 14:42:52 -!- scorpiona has left ("Leaving"). 15:07:15 -!- TieSoul has joined. 15:23:38 -!- J_Arcane has quit (Quit: (set-jarcane-connect! J_Arcane #f)). 15:51:26 -!- mihow has joined. 16:07:57 Two people dead, five missing at Chess Olympiad in Norway http://www.theguardian.com/sport/2014/aug/15/deaths-world-chess-olympiad-norway 16:12:42 -!- oerjan has quit (Quit: leaving). 16:23:40 -!- TieSoul has quit (Ping timeout: 255 seconds). 16:41:15 -!- Phantom_Hoover has joined. 16:57:42 -!- ^v has quit (*.net *.split). 17:05:52 -!- ^v has joined. 17:27:07 -!- TieSoul has joined. 17:50:13 didn't hear about the missing people 17:52:56 ah, a whole team going missing, that sounds like fun 17:56:50 -!- Froox has joined. 17:58:21 -!- Frooxius has quit (Read error: Connection reset by peer). 17:58:58 -!- olsner has quit (Ping timeout: 246 seconds). 18:01:14 -!- Froox has changed nick to Frooxius. 18:02:01 My poor, useless eyes! http://hometowns.cyber-net-village.com/Orlando/7302/Rick/sportzone/misc/folders/Jean/ 18:02:06 (Almost certainly deliberate) 18:02:12 -!- olsner has joined. 18:06:37 Sgeo_: where's the animated gif? a page cannot be truly horrible without an animated gif. preferrably as the background image. 18:08:14 also that yellow on pink is astonishingly readable. imagine a green text color instead. 18:17:10 int-e, missing people??? 18:19:17 08:04 < ion> Two people dead, five missing at Chess Olympiad in Norway http://www.theguardian.com/sport/2014/aug/15/deaths-world-chess-olympiad-norway 18:20:14 good god 18:43:17 so, doing an unfounded statistical computation, the life expectance of the players at the Chess Olympiad was 35 years. That doesn't seem too bad. 18:43:24 *expectancy 19:15:24 -!- MoALTz has joined. 19:41:24 -!- mauris has quit (Read error: Connection reset by peer). 19:41:53 -!- mauris has joined. 19:46:59 -!- mauris has quit (Read error: Connection reset by peer). 19:47:25 -!- mauris has joined. 19:47:44 -!- mauris has quit (Read error: Connection reset by peer). 19:48:24 -!- mauris has joined. 19:52:24 -!- yorick has joined. 19:52:30 -!- mauris has quit (Read error: Connection reset by peer). 19:52:55 -!- mauris has joined. 19:54:07 -!- mauris has quit (Read error: Connection reset by peer). 19:54:36 -!- mauris has joined. 20:02:12 -!- not^v has joined. 20:02:26 -!- idris-bot has quit (Quit: Terminated). 20:02:43 -!- idris-bot has joined. 20:07:37 -!- MindlessDrone has quit (Quit: MindlessDrone). 20:14:24 -!- TieSoul has quit (Ping timeout: 255 seconds). 20:24:01 -!- mauris has quit (Read error: Connection reset by peer). 20:24:29 -!- mauris has joined. 20:29:01 -!- mauris has quit (Read error: Connection reset by peer). 20:29:28 -!- mauris has joined. 20:30:32 -!- mauris has quit (Read error: Connection reset by peer). 20:30:58 -!- mauris has joined. 20:33:07 -!- mauris has quit (Read error: Connection reset by peer). 20:33:33 -!- mauris has joined. 20:34:08 -!- MoALTz_ has joined. 20:35:23 -!- MoALTz__ has joined. 20:37:02 -!- MoALTz has quit (Ping timeout: 244 seconds). 20:38:47 -!- MoALTz_ has quit (Ping timeout: 272 seconds). 20:46:33 -!- mauris has quit (Read error: Connection reset by peer). 20:47:01 -!- mauris has joined. 20:54:07 A programming language for complex card games like I have described a bit before, I have some more ideas of it too. Using a kind of algebraic data types like described before, it can become something like "Lisp with types". Although, these types can then be defined as open or closed types; a "additive open" type can add more constructors later on; a "multiplicative open" type can add more fields but can only have exactly one constructor. 20:56:24 There are also then rules, which can manipulate the data, and macros, and "foreign codes", and the compiler can try to figure out which rules are invoked and use that to compile it into a C code or whatever; it can use a intermediate code so that you can compile into C or a MUD variant of C or Ada/CS or Inform or whatever you are using. 20:57:39 There is no lazy evaluation and function types and so on. 20:58:07 -!- FreeFull has quit. 21:04:04 -!- mauris has quit (Read error: Connection reset by peer). 21:04:30 -!- mauris has joined. 21:14:35 -!- vifino has joined. 21:14:36 -!- mauris has quit (Read error: Connection reset by peer). 21:15:02 -!- mauris has joined. 21:19:37 -!- mauris has quit (Read error: Connection reset by peer). 21:20:03 -!- mauris has joined. 21:20:22 -!- mauris has quit (Read error: Connection reset by peer). 21:21:42 -!- elliott has set channel mode: +b *!*mauris@*$##fixyourconnection. 21:53:32 -!- MoALTz__ has quit (Quit: Leaving). 22:00:24 -!- Patashu has joined. 22:08:23 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 22:27:57 -!- Patashu has quit (Ping timeout: 260 seconds). 22:27:59 "mr president, the united kingdom will apply equally to all fishing fleets and not just industrial cooperation: the rapporteur believes that recycling is in conflict with the development of e-commerce." 22:31:54 -!- augur has quit (Quit: Leaving...). 22:32:42 -!- oerjan has joined. 22:39:20 ah, a whole team going missing, that sounds like fun <-- being from africa, the stereotypical assumption would be that they're trying to immigrate. 22:41:33 * oerjan hasn't read about this in the local paper; currently he finds the news depressing enough that he doesn't read any on the web. 22:41:47 well, hardly any. 22:43:08 -!- J_Arcane has joined. 23:12:54 -!- not^v has changed nick to ^4. 23:14:51 -!- vifino has quit (Quit: Me sais Laptop sleepy.). 23:42:02 -!- ^4 has quit (Quit: http://i.imgur.com/Akc6r.gif). 23:43:58 -!- FreeFull has joined. 23:52:32 -!- yorick has quit (Read error: Connection reset by peer).