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 <S1> What will the Brainfuck survey be used for?
02:51:52 -!- Lorenzo64 has quit (Ping timeout: 255 seconds).
02:53:32 <shachaf> mroman is master of all he surveys.
02:59:34 -!- jix has joined.
03:32:34 <zzo38> 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 <shachaf> What about Sandwich - The Card Game?
03:33:12 <zzo38> At first I thought something like Lisp, but maybe something resembling Haskell data structures (alrebraic and GADTs) might help a bit.
03:33:54 <zzo38> shachaf: I don't know. Card game such as hearts and Napoleon clearly does not need them
03:34:29 <shachaf> I would especially like to play Professional Octopus of the World.
03:40:14 <zzo38> Don't you want to play the game involving you have to prevent all of the magnets from touching each other?
03:54:08 -!- Lorenzo64 has joined.
04:17:32 <quintopia> 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:48 <HackEgo> /hackenv/bin/log: 2: cd: can't cd to /var/irclogs/_esoteric \ grep: ????-??-??.txt: No such file or directory
06:09:54 <Sgeo> `greplog chess 2
06:09:55 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: greplog: not found
06:10:00 <HackEgo> ` \ ^.^ \ ̊ \ ? \ ¿ \ @ \ ؟ \ ＷＥＬＣＯＭＥ \ \ \ 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:30 <Sgeo> `run ls bin | grep log
06:10:31 <HackEgo> analogy \ anonlog \ etymology \ log \ logurl \ pastalog \ pastelog \ pastelogs \ pastlog \ randomanonlog \ searchlog
06:10:40 <Sgeo> `searchlog chess 2
06:10:40 <HackEgo> searchlog: error while loading shared libraries: libgmp.so.3: cannot open shared object file: No such file or directory
06:10:49 <Sgeo> That's not my fault I think.
06:11:05 <Sgeo> `cat bin/searchlog
06:11:05 <HackEgo> âELF............>.....p5@.....@.......Ðg.........@.8..@.(.%.......@.......@.@.....@.@.....À.......À............................@......@............................................@.......@.....L3.....L3....... ............P3.....P3k.....P3k.....8......XW........ ...........3.....3k.....3k.....ð.......ð................
06:15:46 <Bike> (it's an ELF binary)
06:15:53 <Bike> `file bin/searchlog
06:15:54 <HackEgo> 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 <Sgeo> 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 <zzo38> For some programming languages I expect such a thing would not work so well though
06:27:34 <Bike> do ghc programs link libc
06:27:47 <Sgeo> zzo38: that reminds me, I was originally searching logs because I was wondering what your opinion of Chess 2 is
06:28:52 <zzo38> 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 <oerjan> now the codu website is up, but glogbot isn't logging...
10:41:44 <oerjan> Sgeo_: HackEgo hasn't had access to the channel logs since the server move
10:41:58 <oerjan> @tell Sgeo_ HackEgo hasn't had access to the channel logs since the server move
10:44:30 <oerjan> searchlog hasn't been changed since the repository history was wiped or what they call it
10:49:44 <HackEgo> :-( \ 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:49 <HackEgo> 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:55 <HackEgo> 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:51:07 <HackEgo> 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:24 <HackEgo> rm: cannot remove `Test* test': No such file or directory
10:52:58 <oerjan> <Bike> do ghc programs link libc <-- they link gmp, which was mentioned in the error
10:53:14 <oerjan> @tell Bike <Bike> do ghc programs link libc <-- they link gmp, which was mentioned in the error
10:54:29 <oerjan> `strings bin/searchlog
10:54:31 <HackEgo> /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 <oerjan> `` strings bin/searchlog | tail
10:55:05 <HackEgo> noexec \ TMPDIR \ /tmp \ /var/tmp \ /dev/shm \ HOME \ /etc/mtab \ /ffiXXXXXX \ {ZX! \ {ZX!
10:55:27 <oerjan> `` strings bin/searchlog | paste
10:55:30 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/paste/paste.25326
10:57:54 <oerjan> @tell Bike strings reveals that it is definitely haskell
11:07:21 <shachaf> `` strings bin/searchlog | grep zh
11:07:21 <HackEgo> 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 <oerjan> shachaf: there are more obvious strings in there, like ghc error messages
11:11:05 <oerjan> 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:35 <HackEgo> #!/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 <oerjan> 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 <oerjan> 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:15:02 <boily> hellœrjan. how come? what have you done?
11:15:34 <oerjan> https://fr.wikipedia.org/w/index.php?title=Cl%C3%A9ment_Ader&action=history
11:17:31 <oerjan> 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 <boily> ah, the joy of dates...
11:17:59 -!- KingOfKarlsruhe_ has left.
11:18:01 <oerjan> but it took a while to get that sorted out
11:21:17 -!- KingOfKarlsruhe has joined.
11:42:33 <HackEgo> [wiki] [[Lambda]] M http://esolangs.org/w/index.php?diff=40306&oldid=40303 * Oerjan * (+0) newest working capture
11:54:57 <HackEgo> [wiki] [[AAAAAAAAAAAAAA!!!!]] http://esolangs.org/w/index.php?diff=40307&oldid=40299 * Oerjan * (-42) NAH.
11:56:58 <oerjan> i say NAH to that previous edit.
11:58:45 <shachaf> moldy and yellow, but excellent?
11:59:33 <boily> shachaf: could you expand PERHAPS?
12:00:36 <shachaf> plausibly entertaining ridicule has a peculiar serenity
12:00:44 <shachaf> this is almost certainly not what oerjan meant
12:08:50 -!- boily has quit (Quit: MEANINGFUL CHICKEN).
12:20:31 <Taneb> Anyone know where I can get an APL keyboard layout?
12:25:05 <oerjan> will a bananaphone do?
12:31:16 <oerjan> but it's a phone with a peel
12:33:40 <Taneb> True, but even a thousand peels wouldn't help me type weird unicode characters without memorizing a whole bunch of codes
12:47:25 <Melvar> Taneb: Make yourself compose sequences that make sense to you?
12:51:38 <Taneb> Melvar, that's a possibility, hmm
12:53:48 <Melvar> Though composing would be required anyway to produce all the symbols if you used the original keyboard layout.
12:58:24 <Melvar> 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 <Melvar> 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 <ion> 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 <int-e> didn't hear about the missing people
17:52:56 <int-e> 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 <Sgeo_> My poor, useless eyes! http://hometowns.cyber-net-village.com/Orlando/7302/Rick/sportzone/misc/folders/Jean/
18:02:06 <Sgeo_> (Almost certainly deliberate)
18:02:12 -!- olsner has joined.
18:06:37 <int-e> Sgeo_: where's the animated gif? a page cannot be truly horrible without an animated gif. preferrably as the background image.
18:08:14 <int-e> also that yellow on pink is astonishingly readable. imagine a green text color instead.
18:19:17 <Bike> 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:43:17 <int-e> 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.
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 <zzo38> 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 <zzo38> 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 <zzo38> 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 <fizzie> "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 <oerjan> <int-e> 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: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).