00:15:31 -!- tusho has quit. 00:43:00 -!- olsner has quit ("Leaving"). 01:09:23 -!- sebbu has quit ("@+"). 03:48:15 -!- optbot has set topic: the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | you could make a one-instruction instruction set that was turing complete, but you couldn't make a real computer to use it, so who cares). 04:18:27 -!- Corun has quit (Connection timed out). 04:19:27 -!- metazilla has joined. 04:33:25 -!- moozilla has quit (Read error: 110 (Connection timed out)). 06:45:13 -!- moozilla has joined. 06:45:18 -!- moozilla has quit (Remote closed the connection). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 09:47:11 -!- oerjan has joined. 09:52:03 -!- Slereah has quit (calvino.freenode.net irc.freenode.net). 09:52:05 -!- bsmntbombdood has quit (calvino.freenode.net irc.freenode.net). 09:52:05 -!- cmeme has quit (calvino.freenode.net irc.freenode.net). 09:52:05 -!- GregorR has quit (calvino.freenode.net irc.freenode.net). 09:52:11 -!- metazilla has quit (calvino.freenode.net irc.freenode.net). 09:52:11 -!- oklocop has quit (calvino.freenode.net irc.freenode.net). 09:52:14 -!- lifthrasiir has quit (calvino.freenode.net irc.freenode.net). 09:52:14 -!- dbc has quit (calvino.freenode.net irc.freenode.net). 09:52:18 -!- rodgort has quit (calvino.freenode.net irc.freenode.net). 10:03:09 -!- optbot has quit (calvino.freenode.net irc.freenode.net). 10:03:10 -!- mtve has quit (calvino.freenode.net irc.freenode.net). 10:03:11 -!- pikhq has quit (calvino.freenode.net irc.freenode.net). 10:03:11 -!- SimonRC has quit (calvino.freenode.net irc.freenode.net). 10:05:28 -!- oc2k1 has quit ("using sirc version 2.211+KSIRC/1.3.12"). 10:17:02 -!- GregorR has joined. 10:17:02 -!- cmeme has joined. 10:17:02 -!- bsmntbombdood has joined. 10:17:02 -!- Slereah has joined. 10:17:02 -!- rodgort has joined. 10:17:02 -!- lifthrasiir has joined. 10:17:02 -!- dbc has joined. 10:17:02 -!- oklocop has joined. 10:17:02 -!- metazilla has joined. 10:17:02 -!- mtve has joined. 10:17:02 -!- pikhq has joined. 10:17:02 -!- optbot has joined. 10:17:02 -!- SimonRC has joined. 10:17:02 -!- irc.freenode.net has set topic: the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | (my dad can't hear that high a tone i think :P but neighbour might've woken up). 10:17:29 -!- Slereah has quit (calvino.freenode.net irc.freenode.net). 10:17:29 -!- cmeme has quit (calvino.freenode.net irc.freenode.net). 10:17:31 -!- bsmntbombdood has quit (calvino.freenode.net irc.freenode.net). 10:17:31 -!- GregorR has quit (calvino.freenode.net irc.freenode.net). 10:22:06 -!- metazilla has quit (calvino.freenode.net irc.freenode.net). 10:22:07 -!- oklocop has quit (calvino.freenode.net irc.freenode.net). 10:23:21 -!- metazilla has joined. 10:23:21 -!- oklocop has joined. 10:27:42 -!- Slereah has joined. 10:31:04 -!- oerjan has quit ("leaving"). 10:33:18 -!- bsmntbombdood has joined. 10:33:18 -!- cmeme has joined. 10:33:18 -!- GregorR has joined. 10:39:04 -!- ais523 has joined. 10:39:39 -!- GregorR has quit (calvino.freenode.net irc.freenode.net). 10:39:39 -!- cmeme has quit (calvino.freenode.net irc.freenode.net). 10:39:39 -!- bsmntbombdood has quit (calvino.freenode.net irc.freenode.net). 10:45:56 -!- SimonRC has quit (Remote closed the connection). 10:46:07 -!- SimonRC has joined. 10:47:42 -!- bsmntbombdood has joined. 10:47:42 -!- cmeme has joined. 10:47:42 -!- GregorR has joined. 10:53:18 -!- SimonRC has quit (Remote closed the connection). 10:53:31 -!- SimonRC has joined. 11:03:54 -!- Slereah has quit (Read error: 104 (Connection reset by peer)). 11:09:19 -!- GregorR has quit (calvino.freenode.net irc.freenode.net). 11:09:19 -!- cmeme has quit (calvino.freenode.net irc.freenode.net). 11:09:19 -!- bsmntbombdood has quit (calvino.freenode.net irc.freenode.net). 11:15:09 -!- bsmntbombdood has joined. 11:15:09 -!- cmeme has joined. 11:15:09 -!- GregorR has joined. 11:19:18 -!- GregorR has quit (calvino.freenode.net irc.freenode.net). 11:19:18 -!- cmeme has quit (calvino.freenode.net irc.freenode.net). 11:19:19 -!- bsmntbombdood has quit (calvino.freenode.net irc.freenode.net). 11:20:39 -!- bsmntbombdood has joined. 11:20:39 -!- cmeme has joined. 11:20:39 -!- GregorR has joined. 11:37:39 -!- Slereah has joined. 11:37:41 http://store.xkcd.com/ 11:37:47 Maybe I should get the Linux shirt :o 11:37:50 hi Slereah 11:37:59 Hi. 11:38:12 I wonder if it would be considered cheating in programming exams 11:38:20 to do what? 11:38:58 A bunch of useful stuff on the penguin, apparently 11:40:11 it's not clear enough to see what data's there 11:40:19 but my guess is it's mostly POSIX shell commands 11:41:05 Yeah. 11:41:13 Which would be nice. I really suck at it. 11:43:27 Man. I really hate the online stuff that won't send you your password 11:43:33 It's always about generating a new one. 11:43:41 Slereah: it doesn't know your password 11:43:41 Fuck it, I'll just write it down. 11:43:43 for security reasons 11:43:52 that's why it generates a new one 11:44:00 Yeah, but putting it on a post-it might also be bad security. 11:44:17 the database will only store a hash of the password 11:44:23 so the password can be checked, but not retrieved 11:44:25 But damn, that's what I'm gonna do 11:44:45 I'm tired of generating new passwords for the shit I almost never use 11:44:51 Like paypal or Steam 11:48:02 What I do love, though, is the current euro-dollar exchange rate :D 11:50:04 I feel richer than a lion if that lion was rich 11:54:08 -!- jix has joined. 12:56:26 -!- Slereah has quit (Read error: 104 (Connection reset by peer)). 12:56:47 -!- Slereah has joined. 13:02:49 -!- Slereah has quit (Read error: 104 (Connection reset by peer)). 13:02:56 -!- Slereah has joined. 13:24:32 -!- sebbu has joined. 13:28:49 -!- ais523 has quit ("(1)DOCOMEFROM".2~.2"~#1WHILE:1<-"'?.1$.2'~'"':1/.1$.2'~#0"$#65535'"$"'"'&.1$.2'~'#0$#65535'"$#0'~#32767$#1""). 13:39:47 -!- tusho has joined. 13:45:11 -!- Slereah has quit (Read error: 104 (Connection reset by peer)). 13:45:21 -!- Slereah has joined. 13:49:20 -!- ais523 has joined. 13:49:20 hi ais523 13:50:02 hi tusho 13:50:14 :) 13:50:25 I have to go in an hour or so, btw 13:50:28 but I'll be back later 13:56:23 -!- ais523_ has joined. 13:56:23 hi ais523_ 13:56:25 -!- ais523 has quit (Nick collision from services.). 13:56:45 -!- ais523_ has changed nick to ais523. 13:57:35 -!- ais523 has quit (Remote closed the connection). 13:58:12 -!- ais523 has joined. 13:58:12 hi ais523 14:01:25 -!- ais523 has quit (Remote closed the connection). 14:02:18 -!- ais523 has joined. 14:02:18 hi ais523 14:07:33 -!- Slereah has quit (Read error: 113 (No route to host)). 14:07:43 -!- Slereah has joined. 14:09:20 -!- ais523 has quit (Remote closed the connection). 14:09:38 -!- ais523 has joined. 14:09:38 hi ais523 14:10:29 -!- ais523 has quit (Read error: 104 (Connection reset by peer)). 14:10:40 -!- ais523 has joined. 14:10:40 hi ais523 14:13:54 -!- ais523 has quit (Read error: 104 (Connection reset by peer)). 14:14:08 -!- ais523 has joined. 14:14:08 hi ais523 14:14:41 http://www.brooklynpaper.com/stories/31/35/31_35_mm_bjs_reaction.html 14:15:00 * ais523 apologises for all the quit/join spam 14:15:12 tusho: what's that? 14:15:12 also I sent a ping to myself about 20 seconds ago and it hasn't returned yet, no idea if any of you can see this then 14:15:12 -!- ais523 has quit (Remote closed the connection). 14:16:24 -!- ais523 has joined. 14:16:24 hi ais523 14:16:30 ais523: a news article with an unfortunate/possibly-intentional headline 14:18:15 -!- ais523 has quit (Remote closed the connection). 14:19:08 -!- ais523 has joined. 14:19:08 hi ais523 14:19:50 tusho: you know how traceroute works? 14:19:54 my connection problems remind me of that but with the IRC connect sequence 14:19:56 or possibly the way they sequence DNA 14:20:00 heh 14:20:00 stopping at a random point and seeing what the value is at that point 14:20:12 also, half the time I manage to stay online long enough to see your paste 14:20:28 the other half I lose my connection during the connect sequence 14:22:54 -!- ais523_ has joined. 14:22:54 hi ais523_ 14:23:13 -!- ais523 has quit (Success). 14:23:34 ais523 left the chat room. (Success). 14:23:36 that's probably a record for bad connection quality for me 14:23:38 although I've done pretty badly in the past 14:23:43 ais523_: what do you want the version string to be 14:23:44 ais523: I like your quit message 14:23:46 -!- ais523_ has changed nick to ais523. 14:23:50 nobody's going to see this line anyway, probably, so I may as well write whatever I like 14:23:54 no 14:23:55 i see it 14:24:02 yay 14:24:08 now pick a VERSION reply 14:24:09 tusho: what is the version string in this context? 14:24:14 CTCP VERSION reply 14:24:14 oh 14:24:20 make it a short esoprogram 14:24:25 haha 14:24:29 ,[[-].,] or something like that 14:24:32 alright 14:24:36 no wait 14:24:39 how about 'netcat' 14:24:46 people will think you're the fastest typer ever 14:24:46 no, I don't like lying about that 14:24:51 okay 14:24:55 ,[[-].,] it is 14:25:08 when people CTCP version me and get "netcat" 30 seconds later, it's because I replied with "netcat"! 14:25:26 olol, it listens on 31337 by default 14:25:32 heh 14:25:37 you can tell this program was written by 31337 irc users in 1999 14:25:40 I wonder how many other programs use that particular port? 14:25:46 and loads. 14:26:12 unfortunately port 523's a bit too low to be usable 14:26:19 and 415523 is too high 14:26:34 ais523: bouncer name? 14:26:40 how about 14:26:51 happy fluffy puppy irc bouncer 14:26:57 I like that idea 14:27:02 but put flourescent in there somewhere 14:27:14 happy fluffy flourescent puppy irc bouncer 14:28:11 -!- ais523 has quit (Read error: 54 (Connection reset by peer)). 14:28:19 -!- ais523 has joined. 14:28:19 hi ais523 14:29:09 my pings aren't returning again... 14:31:35 i see that 14:34:44 -!- Slereah has quit (Read error: 113 (No route to host)). 14:34:57 -!- ais523 has quit (Read error: 104 (Connection reset by peer)). 14:34:57 -!- Slereah has joined. 14:35:04 -!- ais523_ has joined. 14:35:04 hi ais523_ 14:35:46 hmm... fifth attempt lucky 14:35:48 ais523_: 14:35:52 /msg me a bouncer pass 14:35:59 it won't be tmp, but it won't help people impersonate you 14:37:22 -!- ais523 has joined. 14:37:22 hi ais523 14:38:08 actually, I'm giving up for a couple of hours or so, it isn't worth trying to stay connected under these conditions 14:38:13 hopefully I'll be back later, and I'll use an entirely different connection then 14:38:19 ais523_: tch 14:38:20 also, self-ping time was 38 seconds just then 14:38:24 i'll leave your password as puppy then, 14:38:34 well, say it in the channel, will yo? 14:38:37 you'll have to change it now 14:38:43 doesn't help people actually impersonate 14:38:46 it doesn't nickserv 14:38:47 well yes 14:38:49 that's to get connected at all 14:38:49 how long it will last remains to be seen 14:38:49 -!- ais523_ has quit (Success). 14:38:55 also I don't know where to put the password 14:38:57 so not that useful 14:42:16 -!- ais523 has quit (Remote closed the connection). 14:45:32 -!- ais523 has joined. 14:45:33 hi ais523 14:45:37 hi 14:45:40 i am testing the bouncer 14:45:46 hooray. 14:46:08 ais523: you are now disconnected 14:47:05 -!- ais523 has quit (Remote closed the connection). 14:47:16 -!- ais523 has joined. 14:47:16 hi ais523 14:47:39 heh 14:51:27 -!- tusho has quit (Remote closed the connection). 14:51:47 -!- tusho has joined. 14:51:59 -!- ais523 has quit (Remote closed the connection). 15:04:57 ¡¡¡¡¡¡¡¡¡¡¡¡ 15:05:06 `````````` 15:05:15 ̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀à̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀̀a 15:17:13 -!- Slereah has quit (Read error: 104 (Connection reset by peer)). 15:17:20 -!- Slereah has joined. 15:22:42 -!- Slereah has quit (Read error: 113 (No route to host)). 15:22:53 -!- Slereah has joined. 15:25:54 -!- Slereah has quit (Read error: 104 (Connection reset by peer)). 15:26:08 -!- Slereah has joined. 15:27:25 -!- Corun has joined. 15:33:10 -!- ais523 has joined. 15:33:11 hi ais523 15:33:52 tusho: I'm on a different connection this time 15:33:56 hope for the best... 15:34:00 ais523: i set up the bouncer 15:34:08 might be worth using for futureproofing? 15:34:14 maybe 15:34:24 might just be better never to go into the Library again if I want a reliable connection 15:34:36 -!- _ais523 has joined. 15:36:59 -!- ais523 has quit (Client Quit). 15:37:02 -!- _ais523 has changed nick to ais523. 15:37:06 hi ais523 15:37:10 (that was manual) 15:37:27 ais523: ya read me? 15:37:39 yep 15:37:43 just identifying 15:37:45 hooray 15:37:53 it's not set up properly yet 15:37:55 ais523: create an artificial network drop to test that? 15:38:00 let me finish setting it up 15:38:00 say "going now" before you do 15:38:02 ok 15:38:04 and ok, dropping the network now 15:38:04 i'll test pinging you after that 15:38:12 hi ais523 15:38:13 hi ais523 2 15:38:14 hi ais523 3 15:38:15 hi ais523 4 15:38:17 hi ais523 5 15:38:21 hi ais523 6 15:38:22 hi ais523 7 15:38:23 hi ais523 8 15:38:25 hi ais523 9 15:38:25 and 15:38:26 hi ais523 10 15:38:28 end. 15:38:29 yay, it reconnected 15:38:36 ais523: did it tell you about my pings? 15:38:36 I saw 8 9 and 10 in realtime 15:38:43 the others came in a batch 15:38:47 * tusho nods 15:38:48 presumably being replayed 15:38:49 hooray 15:39:07 also, you have an @eso-std.org hostname now 15:39:08 obviously 15:39:16 even better 15:39:19 hmm 15:39:25 * tusho considers settin' up sum of dat bouncer for himself 15:39:45 think i'd need to recompile 15:39:47 meh, i'll do it later 15:39:48 -!- tusho has left (?). 15:39:52 -!- tusho has joined. 15:39:53 Whoops. 15:40:06 Hm.. I wonder how it'd handle like 5000 messages overnight? 15:40:13 ... Probably just lag my irc client for a few seconds sending them all 15:40:31 tusho: I want to test something 15:40:33 bbiab 15:40:48 foo 15:40:48 bar 15:40:50 baz 15:40:54 monkey tone 15:40:59 yeah... lots of monkeys 15:41:07 lots of monkeys 15:41:08 lots of monkeys 15:41:09 lots of monkeys 15:41:15 . 15:41:28 ok, it remembers my identifiedness between connects 15:41:30 no reason not to reidentify though just in case 15:41:32 and hi tusho 15:41:42 ais523: yeah, it doesn't disconnect from the server 15:41:43 also, this way I always win at the hi tusho game 15:41:46 i never saw you leave 15:41:48 and yes, you do 15:41:48 because you have no way to know whether I'm online 15:41:53 well 15:41:53 yes i do 15:41:59 how? 15:42:01 it doesn't respond to ctcps when you're offline 15:42:03 that's a feature apparently 15:42:06 although i have no idea why... 15:42:09 ah, ok 15:42:22 presumably so you don't ping people and think they're online 15:42:45 * tusho nods 15:42:53 hmm 15:43:01 ais523: disconnect for a minute will you? Wanna test if it sets away. 15:44:17 ais523: seems not 15:44:38 could you get it to hide my IP on disconnect easily? 15:44:52 ais523: hmm... i think so 15:44:53 why? 15:45:02 that way it would be an anonymising bouncer, as well as a connection-sustaining bouncer 15:45:09 and if it's easy to anonymise you may as well 15:45:12 (if it isn't I don't mind) 15:45:16 ais523: yes, it is, a sec 15:45:39 ais523: gonna disconnect the bouncer to add me as an admin so I can set that, you'll have an outage of a few minutes, OK? 15:45:43 ok 15:45:48 -!- ais523 has quit (Remote closed the connection). 15:47:13 -!- tusho has quit. 15:48:15 -!- optbot has set topic: the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | help ps kill i eof flush show ls. 15:48:31 -!- ais523 has joined. 15:50:45 -!- ais523 has quit (Remote closed the connection). 15:51:00 -!- ais523 has joined. 15:51:07 -!- ais523 has quit (Remote closed the connection). 16:02:18 -!- ais523 has joined. 16:02:33 -!- tusho has joined. 16:03:07 hi ais523 16:08:06 hmm... does anyone here know OCaml? 16:08:23 -!- metazilla has quit (Read error: 60 (Operation timed out)). 16:08:27 no 16:08:28 but i know people who know it 16:08:30 i think 16:08:37 veeery little 16:08:38 well, I'll just have to learn it this afternoon, then 16:09:36 ouch 16:09:42 -!- moozilla has joined. 16:09:45 ais523: here's a general overview from what i know 16:10:25 it's like Haskell, except it's strict, there aren't any typeclass thingies (floating point is +. instead of + - ugly things like that, because of it), it has OOP-style classes, and various other differences. 16:10:27 also, it's fast. 16:10:28 really fast. 16:10:37 fast enough for system tools, i don't think an os would be much of a stretch 16:11:10 that's pretty similar information to what I know about it 16:11:31 ais523: http://www.ocaml-tutorial.org/? 16:11:34 "like Haskell except it's strict" :-P 16:11:39 it's not pure 16:11:48 which means, to me, that it's very unlike Haskell. 16:11:49 the guy who wrote that is a crazy ocaml programmer guy 16:11:50 so. 16:11:53 Deewiant: whatever 16:12:09 tusho: and the same to you. 16:13:56 tusho: on my OS, the programming tutorials are stored in the repos 16:13:59 so I don't even need to use the Web 16:14:07 ais523: ocaml-tutorial isn't an official one 16:14:13 i tried the official one once, it kind of sucked 16:14:39 -!- Corun_ has joined. 16:16:09 heh, w3m even works with the mouse 16:16:24 Shocking. 16:16:28 oh 16:16:30 i thought you said without 16:16:30 XD 16:16:39 I'm used to using it without 16:16:46 way better than most graphical browsers at keyboard use 16:20:28 Meanwhile, pigs are now officially referred to as 'pre-bacon'. 16:20:54 heh 16:21:04 hmm... OCaml claim to have half the performance of C 16:21:10 which is pretty impressive for a functional language 16:21:23 I can believe it too, it's effectively decompiling the programs into the imperative equivalent wherever that makes sense 16:21:25 yes 16:21:41 http://shootout.alioth.debian.org/u32/benchmark.php?test=all&lang=all 16:21:46 What beats OCaml: 16:21:53 Haskell 16:21:55 ;-) 16:21:57 gcc, ats, g++, java, lisaac, ghc, fortran, lisp 16:22:00 Deewiant: uh, no 16:22:01 that is not haskell 16:22:06 that is !GHC# 16:22:08 !unsafeGHC# 16:22:32 the situation in that regard is better on the 4-core side 16:22:41 tusho: but, have you looked at ATS? it's much worse 16:22:46 yes 16:22:49 ATS appeared out of nowhere 16:22:50 and made me lol 16:22:54 it's full of C 16:23:02 PHP's last on that list? 16:23:08 maybe we should enter some esolangs 16:23:12 it's full of crap 16:23:13 and challenge the bottom of the scale 16:23:13 that's what 16:23:17 he doesn't take them 16:23:24 ais523: ruby isn't even _on_ that list 16:23:25 :-( 16:23:26 ruby's not on the list, probably because it was too slow ;-P 16:23:36 probably for the best 16:23:36 ruby will be on the list eventually 16:23:37 :P 16:23:42 just the programs haven't finished running yet 16:23:44 but you can still look at the old one which had a lot more langs 16:23:45 http://shootout.alioth.debian.org/gp4/benchmark.php?test=all&lang=all 16:23:48 ais523: oooh bur 16:23:49 n 16:23:53 and ruby is at the bottom of /that/ list. 16:23:58 yeah, well 16:23:59 ruby 2.0 16:23:59 yarv 16:24:00 yo 16:24:01 ;o 16:24:02 a bit over twice as slow ar php. 16:24:05 s/ar/as/. 16:24:07 actually, they said they aren't putting langs there with more than a couple of timeouts 16:24:08 so, uh, in 2054... 16:24:09 -!- Slereah has quit (Read error: 54 (Connection reset by peer)). 16:24:11 -!- Slereah has joined. 16:24:13 -!- Corun has quit (Connection timed out). 16:24:13 :-P 16:24:16 maybe Ruby was timing out on a couple of the projects 16:25:05 also, I reckon I could get way below either of the C implementations there using gcc-bf, once it's finished 16:25:28 hmm... #esoteric is one of those places where doing badly at benchmarks is a sport 16:25:51 maybe one of these days we'll get a hello world which takes over 24 hours to run 16:26:19 the quad-core benchmarks, with all the unsafeGHC# entries set to a weight of 0: http://shootout.alioth.debian.org/u32q/benchmark.php?test=all&lang=all&xfullcpu=1&xmem=0&xloc=0&binarytrees=1&chameneosredux=1&fannkuch=0&fasta=1&knucleotide=0&mandelbrot=1&meteor=1&nbody=0&pidigits=1®exdna=1&revcomp=0&spectralnorm=0&threadring=1&calc=calculate 16:26:25 ais523: been done 16:26:26 wow, that's some url 16:26:33 by a person on everything2.com 16:26:35 basically 16:26:40 it had an md5 of the string hello world 16:26:43 and it randomly generates strings 16:26:45 and prints it out if it matches 16:26:50 oh, that's cheating 16:26:50 why md5 16:26:53 I meant a genuine version 16:26:56 Deewiant: cuz it was in 2000 or something 16:27:04 maybe by chaining together esocompilers 16:27:05 tusho: the md5 is still pointless 16:27:12 just plain randomizing would be just as slow :-P 16:27:18 also, is hugeurl.com down? 16:27:24 I hope so 16:27:29 pity 16:27:37 http://hugeurl.wiggy.net/ exists 16:27:39 although I can agree with Deewiant to some extent 16:29:45 Google confirms that hugeurl.com used to exist 16:29:52 nowadays it's a 403 though 16:31:49 hmm 16:33:54 yep, SKI doesn't work in OCaml, it must have decent typing 16:35:00 oh sure, hindley-milner 16:35:44 * ais523 is always annoyed that combinators don't type properly 16:36:00 well, not those ones, anyway 16:36:25 although hmm, do you mean specifically Ix -> x, Kxy -> x, Sxyz -> xz(yz)? 16:36:29 yes, those ones 16:36:36 they type 16:36:37 but sii doesn't 16:36:53 as it requires the infinite type 'a -> 'a -> 'a -> ... 16:37:10 yep 16:37:18 btw the Haskell and OCaml interps I have give pretty different error messages for that situation, but both are useful 16:38:53 I'm sure the fix-point combinator can be defined in ocaml somehow, though, so that's not such a big loss ;-) 16:39:56 hmm... OCaml doesn't allow things to be defined in terms of themself, at least not variables 16:40:05 let a = [1] @ a;; is an error 16:40:07 you need 'let rec' 16:40:09 IIRC 16:40:14 ah, ofc 16:40:23 well no, not 'ofc' :-P 16:40:32 I think such is somewhat annoying 16:40:33 as it doesn't work 16:40:38 This kind of expression is not allowed as right-hand side of `let rec' 16:40:58 shrug 16:41:27 maybe it recognizes that that would loop infinitely? 16:43:00 -!- Corun_ has quit (Read error: 110 (Connection timed out)). 16:43:07 -!- CO2Games has joined. 16:48:20 -!- Slereah has quit (Read error: 104 (Connection reset by peer)). 16:48:33 -!- Slereah has joined. 16:49:22 ais523: why are you learning it? 16:49:42 -!- Mony has joined. 16:50:05 plop :) 16:50:11 also 16:50:14 hi Mony 16:50:25 tusho: my project for this year will probably be written in OCaml 16:50:31 or at least interface with OCaml code a lot 16:50:32 ais523: ah, OK 16:50:33 also 16:50:36 ephemist or ephemerist? 16:50:40 which is correct 16:50:48 I've never heard the first word 16:50:58 but the second would presumably mean "someone who specialises in ephemera" 16:51:05 which is a pretty strange meaning to be saying in the first place 16:51:18 -!- CO2Games has left (?). 16:51:21 ephemerists are those who like ephemera and often like to preserve it 16:51:22 your project? 16:51:38 -!- Slereah has quit (Read error: 104 (Connection reset by peer)). 16:51:43 -!- Slereah has joined. 16:51:47 i'm an ephemerist in that i absolutely hate things expiring so i try and preserve info as much as possible... 16:51:56 but i think perhaps ephemist is more correct 16:51:58 not sure 16:52:22 oklocop: it's to do with hardware synthesis 16:52:59 ephemist gets basically no results 16:53:02 ephemerist gets a ton 16:53:03 [google] 17:02:15 -!- oklopol has joined. 17:02:17 -!- oklocop has quit (Read error: 54 (Connection reset by peer)). 17:03:11 ais523: university stuff? 17:03:16 yes 17:09:18 -!- Corun has joined. 17:10:48 hmm 17:10:53 I wonder how much lag eso-std.org gives u 17:10:54 s 17:11:02 0 seconds worth 17:11:06 which isn't really that accurate 17:11:09 heh 17:11:33 ais523: i mean 17:11:35 the difference between 17:11:36 you -> server 17:11:39 -!- Slereah has quit (Read error: 110 (Connection timed out)). 17:11:39 and you -> bouncer -> server 17:11:50 it depends on how approximately en route the bouncer is 17:11:54 * tusho nods 17:12:00 ais523: of course, our pings will always be immediate 17:12:03 if someone's been filling the Internet with duff routing information again, it may even be quicker 17:12:07 since psyBNC will respond to them directly 17:12:10 as we're on the same server 17:12:15 ah, of course 17:12:28 so no freenode involved there 17:12:37 a 17:12:43 s/.*// 17:13:27 ais523: silly wabbit, why not d$? 17:13:47 tusho: Perl 17:14:00 ais523: there has to be a sed->perl compiler using perl regexps 17:14:06 there is s2p 17:14:10 I've never looked at its source though 17:14:16 there's a2p too 17:14:18 right, then say your corrections are in s2p 17:25:18 In a stunning break from tradition, this project is going well. 17:26:03 -!- ais523 has left (?). 17:26:10 D: 17:26:13 -!- oklopol has quit (Read error: 113 (No route to host)). 17:26:21 -!- ais523 has joined. 17:26:22 hi ais523 17:26:35 hmm... 17:26:38 the * glob ignores .files 17:27:01 so "rm -rf ~/my-aretea/*" will work fine 17:27:10 since all the important stuff is in a dot-directory 17:27:16 even so, i'm uneasy actually doing that... 17:27:37 you could use a [] glob to whitelist various first characters 17:27:41 as in [a-zA-Z0-9] 17:27:46 true 17:27:52 ~/my-aretea/[a-zA-Z0-9]* 17:27:59 most likely i'll just let the user easily use it to clear the cache 17:28:11 instead of manually doing it 17:29:05 -!- Slereah has joined. 17:30:19 Guys 17:30:29 guiz 17:30:30 hi Slereah 17:30:35 What was that website, with the programming language in plain english? 17:30:41 The terrible one 17:30:46 lemme find it 17:30:54 http://www.osmosian.com/ 17:31:06 THE GUI WHORE 17:31:17 :D 17:32:17 "What if I'm not happy? 17:32:20 Try chocolate cake." 17:32:25 How about a nice big cup of YOUR LANGUAGE SUCKS ASS 17:32:47 hmm 17:32:52 I like how the purchasing stuff can't even work 17:33:00 card number + expiry + name + email 17:33:04 you need to know the card type and such... 17:33:30 oh well 17:33:31 as they say 17:33:31 var calfilelocation="cal-3037.zip"; 17:33:31 var samplefilelocation="sample.zip"; 17:42:40 -!- kar8nga has joined. 17:43:32 farewell ais523 17:57:36 -!- kar8nga has left (?). 17:59:33 [[I see the case of something that you CANNOT do but are privileged to 17:59:33 do as something like if the government granted you a license to 17:59:33 operate a faster-than-light vehicle powered by a perpetual motion 17:59:34 machine on public roads.]] 18:10:00 tusho : You could try it for all cards: 18:11:03 I love the "What language is it written in? Plain English". 18:11:17 Yeah, and not in Assembly. 18:11:27 since all processors are in Plain English. 18:11:58 He conjured a Plain English compiler from space and wrote Plain English in it. 18:13:31 https://www.osmosian.com/page04.png 18:13:40 What our customers could be saying, if held at gunpoint. 18:19:01 "It should be noted that all this functionality is embodied in a single, stand-alone, native-code executable less than one megabyte in size." 18:19:11 Feh! I could create ten languages in less space than that! 18:20:46 I love how they think Noam Chomsky would somehow benefit from a programming language with keywords from English 18:22:08 Maybe he meant Nim Chimpski 18:22:11 http://en.wikipedia.org/wiki/Nim_Chimpsky 18:24:31 Heh 18:37:00 This language is the Hitler of programming language D: 18:37:58 -!- oklocop has joined. 18:38:38 ^oko 18:38:38 okokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokoko ... 18:38:56 ^oko 18:38:56 okokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokoko ... 18:38:59 :D 18:39:00 Slereah: just mentally replace 'kludge' and 'whore' with 'system' 18:39:01 ^okoko 18:39:34 ^o 18:39:36 ^ 18:39:45 Can't send spaces :( 18:40:28 I wonder if they did anything since the last time I visited 18:44:30 -!- Corun has quit (Read error: 104 (Connection reset by peer)). 18:47:36 hi ais523 18:47:48 -psyBNC: Tue Sep 30 17:47:30 :connect from sm01-fap04.bham.ac.uk 18:47:49 -psyBNC: Tue Sep 30 17:47:30 :User ais523 logged in. 18:47:59 Lies. 18:48:06 He's been here forever 18:48:21 Slereah: no 18:48:24 he's on a bouncer 18:48:26 on eso-std.org 18:48:29 that i am also on 18:52:28 -!- oerjan has joined. 18:59:10 -!- Corun has joined. 18:59:11 -!- Slereah has quit (Read error: 113 (No route to host)). 19:09:16 -!- Corun has quit ("Leaving"). 19:11:34 ^echo optbot 19:11:34 optbot optbot 19:11:35 tusho: What you're saying is roughly equivalent to "I student." 19:11:35 fungot: http://en.wikipedia.org/wiki/Tarball#Tarbombs 19:11:36 optbot: yes there is, foof? it strikes me as something that works for a certain amount of experience in building software. 19:11:37 fungot: there are two things it's good at 19:11:37 optbot: not at all 19:11:38 fungot: you can change it 19:11:38 optbot: i was being sarcastic 19:11:39 fungot: possibly 19:11:39 optbot: yeah, that in perl multi dimensional arrays are flattened because it suited the author best at the moment 19:11:40 fungot: GOOD - www. redirects to www.www 19:11:47 optbot: fungot: You guys have the best conversations 19:11:48 tusho: ok that's insane 19:11:48 tusho: testing it, that is 19:11:55 optbot: Heh! 19:11:55 tusho: i'm sure there's foo-in-jvm for some useful values of foo 19:11:58 ouch 19:12:01 optbot: JVM for OS! 19:12:01 tusho: anyway 19:12:06 optbot: anyway. fungot your opinions? 19:12:06 tusho: and flip the accept/reject states 19:12:06 tusho: keymaker probably wanted a c version faster than list? because smalltalk has it? 19:12:13 fungot: that makes no sense 19:12:13 tusho: " calculus". 19:12:18 "CALCULUS" 19:12:20 actually I rather like the idea of a JVM OS 19:12:25 ais523: been done 19:12:35 http://www.jnode.org/ 19:12:41 except it should have a #esoteric twist 19:12:52 such as be portable to a huge number of different windowing systems, despite being an OS 19:12:59 hah 19:13:00 as a sort of abstraction inversion 19:13:14 it should try to model all sorts of low-level stuff but access it through high level Java stuff 19:13:20 jnode is disturbingly useful looking: 19:13:21 http://www.jnode.org/screenshots/jnode-0.2.7/5.png 19:13:24 it runs swing and everything 19:13:36 (the classic example is implementing threading constructs in ADA) 19:13:38 an inside-out software hierarchy! 19:14:02 heh, on jnode presumably Swing and AWT would be the same 19:14:11 because Swing /is/ the native windowing system... 19:14:21 -!- oc2k1 has joined. 19:14:33 AWT is probably unimplemented 19:14:36 or if not, mapped to swing 19:14:43 mapped to Swing would be my guess 19:14:55 whoops, someone new has joined the channel, and we're discussing Java 19:14:57 this will never do! 19:15:15 is not _that_ new 19:15:21 oc2k1 is not new 19:15:26 few days 19:15:28 Your comment is subject to review, and will normally be included below: the review is simply to exclude unacceptable language (such as Java). 19:15:32 ah, I hadn't noriced 19:15:37 ais523: where's that from? :-) 19:15:39 also, I probably got that nick wrong 19:15:46 it's Claudio Calvelli's IRC nick I think 19:15:50 but I probably typoed it as it looks wrong 19:16:19 and more specifically it's from the CLC-INTERCAL guestbook 19:17:45 what's the preferred GUI toolkit for INTERCAL? 19:18:09 at a guess, GTK, or possibly Win32 API, as it interfaces most easily with C 19:18:13 well, and Befunge 19:18:23 but that doesn't have GUI toolkit bindings really 19:18:43 oh so INTERCAL has a good C interface? 19:18:46 but AFAIK there are no real INTERCAL GUI programs 19:18:54 -!- sebbu2 has joined. 19:18:59 oerjan: C-INTERCAL allows linking of INTERCAL programs with C programs 19:19:08 i C 19:19:12 it's all very simple, you write COME FROMs and other INTERCAL-like flow commands in the C program 19:19:20 and it Just Works 19:19:30 well, if you follow the instructions, anyway 19:19:36 which tell you not to do a huge list of things that could break it 19:19:43 mostly because C doesn't really like cross-function gotos 19:20:01 heh 19:20:15 -!- Corun_ has joined. 19:20:21 that would smash the stack.... 19:20:35 nope 19:20:40 if you're interested, http://code.eso-std.org/c-intercal/src/ick_ec.h is the source 19:20:43 and it doesn't smash the stack 19:20:57 -!- Corun_ has changed nick to Corun. 19:20:59 -!- olsner has joined. 19:21:03 it longjmps out of as many functions as it can safely jump out of without losing data, then calls the function you're jumping into and gotos the relevant line 19:21:24 all nice and transparent to the user, except it makes something of a hash out of all the variables on the stack 19:22:02 http://code.eso-std.org/c-intercal/src/ick_ec.h is the kind of code I wish I could write so I could write all day 19:22:13 it took ages 19:22:22 that's one of the only pieces of code I think I ever pseudocoded beforehand 19:22:25 to make sure it was right 19:22:57 luckily it works great in a debugger so long as you set suffficiently many breakpoints and don't try to single-step past any of the longjmps 19:23:14 basically when you encounter a longjmp, you hit c and hope you remembered to set a breakpoint on the other side 19:23:31 the longjmps are in the associated .c file, though, not the .h 19:23:45 the .c file handles the INTERCAL end of things, the .h handles the C end of things 19:23:59 * ais523 considers renaming ick_ec.h to ick_ec.i just to get the symmetry perfect 19:30:36 -!- sebbu has quit (No route to host). 19:30:36 -!- sebbu2 has changed nick to sebbu. 19:51:23 in another unexpected turn, the project is still going well, and i managed to tweak a bit of it without the whole thing falling down just now 19:51:37 i wonder when my brain was replaced... 19:52:03 tusho: no, it's just that the laws of physics were repealed last week 19:52:08 ah 19:52:10 a scam, i suppose? 19:52:11 some sort of scam involving a Fountain... 19:52:17 not repealed, amended 19:52:19 i never liked fountains anyway 19:52:29 except for the strong force 19:52:40 oerjan: they were fully repealed, but people conform to them anyway mostly due to custom 19:52:48 oh 19:53:08 hm, that's not actually a change. we always did that. 19:53:24 going against them gets you some funny looks and a 3-in-20 chance of being hunted down by a pack of vigilante ninjas 19:54:01 the ninjas are not a problem, unless they disobey the laws too, which would be hypocritical. 19:54:29 oerjan: they're ninjas, there's no way to tell if they disobey the laws or not 19:55:15 well even better, that means they'll be occupied hunting down each other 19:56:05 that's why there's only a 3-in-20 chance 19:56:11 ah 19:57:20 -!- Slereah has joined. 19:57:32 anyway another trick is to only break the laws in such a way that it looks like they haven't been broken. 19:57:45 very useful 19:58:12 given that this is the laws of physics we're talking about, couldn't you break the laws in such a way that they actually hadn't been broken? 19:59:00 changing the past is highly dangerous, as you should well know 19:59:38 ais523, hi 19:59:44 hi AnMaster 20:00:34 hemskt mycket hej 20:01:04 sorry... 20:01:12 my mac's fan went on full blas, it does that sometimes 20:01:16 only stops when i restart 20:01:18 a bit weird 20:01:22 probably should get it checked out 20:01:25 but yeah, didn't want it to catch fire 20:01:42 tusho: you will be surprised to know we didn't notice 20:01:49 i know you didn't 20:01:53 because of the bouncer 20:01:53 I did 20:01:58 ais523 did 20:02:01 because -psyBNC told him. 20:02:05 since he's on the same bouncer 20:02:20 psychic powers now... let me call those ninjas 20:02:20 tusho's motivation for configuring a system which makes us both appear to be always online, except to each other, is clearly to confuse #esoteric 20:02:46 its easy to figure out if we're online 20:02:47 ping them 20:03:16 also 20:03:22 i saw everything that happened when i was gone 20:03:22 oh, and happy Australian Mailman Reminders Day, everyone! 20:03:26 since my bouncer told me about it 20:03:29 hah, you're only doing it to ESCAPE MY MIGHTY FLYSWATTER 20:03:37 ais523: ha, last time i said that AnMaster yelled at me because i just made it up 20:03:48 and i told him that it was simple, i linked him to mailman reminder day definitions 20:03:49 it's become something of a tradition, though, I think 20:03:55 tusho: can i be on your bouncer too 20:03:56 and then said it was the ones from australia 20:04:03 oklocop: sure. 20:04:09 i'm not sure i want to, but i want to know whether i have the opportunity! 20:04:15 http://www.google.co.uk/search?q=Happy+Mailman+Reminders+Day&ie=utf-8&oe=utf-8&aq=t&rls=com.ubuntu:en-US:unofficial&client=firefox-a 20:04:21 -!- oklocop has changed nick to oklopod. 20:04:22 oklocop: it makes you connected forever 20:04:26 even if your internet connection goes down 20:04:27 also 20:04:29 when you reconnect 20:04:33 it spews to you all the lines that you missed 20:04:34 yes i've licked bouncers before 20:04:35 while you were gone 20:04:35 first hit: http://mail.python.org/pipermail/mailman-developers/2004-April/016708.html 20:04:42 oklopod: yes but most don't do the latter 20:04:47 indeed they don't 20:04:49 ais523: yes, but AnMaster took issue with the 'australian' modifier 20:04:52 but they all should 20:04:53 :-P 20:04:55 see, the Python mailing lists had us beaten by years 20:05:04 tusho: well it happens 12 hours earlier in Australia 20:05:07 oklopod: unfortunately since it just slams it back at you, they all are from the same timestamp 20:05:09 and a day before for us here in the UK 20:05:10 but who cares about timestamps 20:05:26 tusho: get it to send you the messages retroactively? 20:05:38 ais523: ha 20:05:44 best would be to have it a specific protocol 20:05:46 instead of just an irc server 20:05:51 so that it can send the right time 20:06:17 http://quotes.burntelectrons.org/search?query=tag%3Amailman 20:06:21 also 20:06:22 http://quotes.burntelectrons.org/search?query=tag%3Amailman 20:06:23 ha 20:06:23 snap 20:06:26 is where i discovered it 20:06:33 and now i consider it my duty to spread it everywhere 20:06:35 oh _those_ reminders. i get a couple from Agora 20:06:51 http://chris-lamb.co.uk/2008/02/01/happy-mailman-day-sun/ 20:06:53 oerjan: BRINGS YOU BACK 20:06:53 i thought this was about physical mailman :D 20:06:54 WAY BACK 20:06:58 mailmen 20:07:24 the plural of the program mailman is mailmans 20:07:28 -!- Slereah has quit (Read error: 113 (No route to host)). 20:07:31 as the plural of computer mouses is mouses. 20:07:43 -!- Slereah has joined. 20:08:21 no way 20:08:26 (on the latter) 20:08:37 yes 20:08:40 oerjan: tusho's just trying to teach AnMaster bad English, I reckon 20:08:41 way 20:08:53 ah 20:09:06 no 20:09:07 its just how i use it 20:09:10 :P 20:09:11 there once were three mice who lived in three hice 20:09:14 m4wrap(`this is how to do a quit message')there's something hidden at the start of this line that none of you can see 20:09:16 or something 20:09:20 but when I quit you'll be able to see it 20:09:22 ais523: i can see it! 20:09:25 ais523: m4wrap(`this is how to do a quit message')there's something hidden at the start of this line that none of you can see 20:09:27 no you can't 20:09:29 wait until I exit 20:09:32 k 20:09:34 then the m4wrap will triggerr 20:09:41 until then you have no way of knowing its there 20:09:41 * tusho exits ais523 20:09:52 (N.B. if this fails please set your IRC client to parse m4) 20:11:46 Meanwhile, ais523 is still crazy. 20:12:14 why not? 20:12:15 also, Generalissimo Francisco Franco is still dead. 20:13:26 -!- Judofyr has joined. 20:14:55 http://www.urbandictionary.com/define.php?term=mailman+day 20:15:09 yes 20:17:31 who would do something as crazy as setting their IRC client to parse m4? 20:18:20 olsner: the answer should be obvious 20:18:20 olsner: wrong channel 20:18:36 You can also opt to set your brain to parse m4. 20:18:49 fizzie: that isn't physically possible, have you /seen/ m4? 20:19:09 Only the little bit I've run across in autoconfy things. 20:19:10 fizzie: hmm, that'd explain alot of the behaviour of people in this channel 20:19:31 And thus, olsner was enlightened. 20:19:32 oklo-something has probably done that 20:19:58 actually, I imagine that oklopod could quite possibly mentally calculate m4 20:20:17 after all, oklopod is programming-the-noun 20:20:18 * oerjan suddenly has an idea for an #esoteric slogan 20:20:24 oerjan: go on 20:20:25 olsner: sez the thue-in-mod_rewrite 20:20:29 "Bringing madness to a planet near you" 20:20:40 oerjan: I like that, actually 20:20:40 ais523: he'd recite an m4 implementation in BF, more likely 20:20:41 bye 20:20:42 which planet? 20:20:45 bye Mony 20:20:47 also, oklopod could trivially do it, probably 20:20:47 ;) 20:20:51 -!- Mony has quit ("Ne regrettons pas le passé, ne nous préoccupons pas de l'avenir : le sage vit dans le présent."). 20:20:59 * ais523 concludes that Mony must be some form of modern art 20:21:12 tusho: bah, that was trivial once I got my compiler done 20:21:14 we have not quite decided that yet 20:22:21 curiously though, sed turned out to be the language of choice for writing the compiler 20:22:48 oh no, oklopod has become one of the pod people 20:23:18 ais523: it's a cross between Monet and money 20:24:09 olsner: I have a Thue-without-certain-punctuation-marks-to-sed compiler written in sed somewhere 20:25:17 i don't wanna dissappoint you, but i don't know what m4 is. 20:25:30 unless it's like an airplane or something. 20:25:46 oklopod: it's a programming language which would be an esolang if less widespread 20:25:54 oh 20:25:54 ais523: let's just say it's probably a planet _very_ near you 20:25:59 then i think i've heard about i 20:26:00 t 20:26:21 i'll look 20:26:22 later 20:26:23 today 20:26:24 oklopod: try running the m4 command on your computer 20:26:30 he uses windows 20:26:45 :)))) 20:27:09 oh in that case m4 is the name of a motorway 20:27:17 who me some m4 plx 20:27:30 also, a gun 20:27:36 oklopod: who you? 20:27:56 show you, maybe? 20:28:02 I'm not very good at m4 20:28:05 but try this: 20:28:20 m4wrap(world! 20:28:25 )Hello, dnl 20:28:28 oklopod: it's the language you write configure.ac and sendmail.conf files in 20:28:42 sendmail.conf is written in m4? 20:28:45 that explains a lot 20:28:58 well, no, one common package for *generating* sendmail configuration files is written in m4 20:29:07 that also explains a lot 20:29:09 -!- Slereah has quit (Read error: 104 (Connection reset by peer)). 20:29:10 the sendmail config format is worse... *much* worse 20:29:29 -!- Slereah has joined. 20:30:05 yay, i have plugins working 20:30:11 to think about m4, think of the C preprocessor 20:30:13 except recursive 20:30:23 so that after something was expanded, it checks for macros again 20:30:32 then think about a crazy quoting scheme 20:30:38 and commands which do illogical things 20:30:40 and you get m4 20:31:17 Idea: Modified brainfuck: [] is only a if construction and the code tape is an endless loop. Maybe it is also possible to remove the recursion of [] so only a single if(0)goto next if instructions remains... 20:31:18 btw, m4 has built-in commands to change its own syntax, which people normally end up using 20:31:38 oc2k1: I think that one's been had before 20:32:02 oc2k1: Hm. 20:32:03 but if you like, take a look at http://code.eso-std.org/c-intercal/pit/sort.i 20:32:03 Is that TC? 20:32:09 If you cycle the code. 20:32:14 that's INTERCAL not Brainfuck 20:32:15 cycling = 20:32:16 but it's the same idea 20:32:26 ,],[. 20:32:29 would be an echo program 20:32:30 nothing but nested computed ABSTAINs and a loop enclosing the program 20:32:32 in a cyclic brainfuck 20:32:49 ,. would be an echo program 20:32:54 oc2k1: yeah 20:32:55 but 20:32:56 if you have 20:32:58 ah 20:32:58 right 20:32:59 right 20:33:03 oc2k1: you need nested loops 20:33:04 in BF 20:33:06 for tcness 20:33:12 tusho: how nested? 20:33:16 I'm actually wondering 20:33:18 ais523: not sure 20:33:21 [[....]] 20:33:25 ais523: i think dbfi has 4 nested loops 20:33:25 is 2 enough, for instance? 20:33:30 oc2k1: what 20:33:32 no i mean like 20:33:33 well, it must be at most 4 then 20:33:35 [foo[bar]baz] 20:33:41 also 20:33:44 ,. doesn't terminate on EOF 20:33:57 -!- Slereah has quit (Read error: 104 (Connection reset by peer)). 20:34:00 -!- Slereah has joined. 20:34:13 ,[. 20:34:14 would work 20:34:19 ,[.,[.,[.,(etc) 20:34:27 tusho: you created an infinitely nested set of loops there! 20:34:35 ais523: you bet 20:34:47 an infinite cyclic brainfuck with []=if echo program is ,[. 20:36:26 define(`divert', `ifelse(`$#', `0', ``$0'', `builtin(`$0', $@)')') 20:36:31 that's from the GNU m4 manual 20:36:40 it should be possible to write a BF interpreter with a single loop and if constructions. In that case the nested loops won't be nessesary for turing completenes 20:36:48 explaining how to define the divert command not to trigger on random occurences of the word divert inside the text you're operating on 20:37:11 oc2k1: no 20:37:13 it shouldn't 20:37:32 a single, program-wide loop + ifs = not turing complete as far as I know 20:37:38 even with things like infinite nested ifs like ,[., 20:37:39 err 20:37:40 ,[. 20:37:46 tusho: http://code.eso-std.org/c-intercal/pit/sort.i 20:37:54 a single, program-wide loop + ifs 20:37:56 just as you wanted 20:38:02 ais523: yes, and? 20:38:11 can sort.i perform any computation a turing machine can do with unlimited memory? 20:38:22 I believe Joris was working on a compiler to compile arbitrary INTERCAL programs into that form 20:38:49 ais523: so you think that cyclic brainfuck where [] = if and no infinite [] stacks is TC? 20:38:52 I know because e sent me a feature request asking me to fix the way ABSTAIN interacted with array dimensioning 20:38:52 i really, really doubt it 20:38:58 tusho: so do I 20:39:13 hmm... maybe not 20:39:20 the INTERCAL version corresponds to nested [] 20:39:26 exactly 20:39:31 but there must be some limit to the nesting 20:39:35 and all of them are ifs 20:39:36 -!- kar8nga has joined. 20:39:36 not whiles 20:39:39 with a loop surrounding 20:39:40 read it 20:39:48 you'll get some idea of how it works 20:39:57 ais523: I don't know INTERCAL. 20:40:03 tusho: it's rather trivial to rewrite a finite state machine as a single loop + ifs. this gives you the core of a turing machine. 20:40:12 oerjan: of course 20:40:18 but it's the non-core bit thats hard... 20:40:31 huh? 20:40:38 tusho: I think you can do it using variables to hold the location in the program 20:40:41 oerjan's right 20:40:42 no it is not the rest is just the infinite tape 20:40:48 Hm. 20:41:01 say you have a BF tape with every other cell empty 20:41:10 Well, it's easy to simulate this language with regular BF... 20:41:14 you can use the distance from the pointer to the "empty" cell set to 1 20:41:21 to record where in the program you are 20:41:23 from there, it's easy 20:41:24 ah, wait no 20:41:27 you'd need to copy 20:41:28 whatever 20:41:45 if anyone can write a bf interp where [] is forbidden, {} is if, and the program is cyclic...be my guest 20:41:47 I would love to see it 20:41:54 i mean 20:41:56 i bf interp 20:41:59 in the modified language 20:42:00 bf to that language compiler? 20:42:11 or just compile across a BF interp in BF 20:42:18 hmm.. dbfi is BF in BF, is it? 20:42:19 -!- Slereah has quit (Read error: 104 (Connection reset by peer)). 20:42:30 -!- Slereah has joined. 20:42:33 yes 20:42:39 and 20:42:40 either 20:42:44 bf -> language compiler 20:42:47 or a program written in that language 20:42:49 that interprets bf 20:42:55 ala dbfi 20:43:21 ah, ofc it's trivial 20:43:29 the case statement structure I'm inventing for gccbf never loops 20:43:33 just uses [] as ifs 20:43:36 heh 20:43:45 so you just do the program as a case statement in a loop 20:43:56 or nested case statements if you have more than 256 commands 20:44:24 the only disadvantage is that looping have to be emulated by running the full program n times 20:45:56 oc2k1: not really, my case statement is quite optimised 20:46:07 -!- Corun has quit (Connection timed out). 20:47:30 but coding could be very hard, because each recursive if state ment hast to be emulated by non recursive ones 20:47:43 we're allowing any number of nested ifs 20:47:50 just not whiles apart from around the whole program 20:48:46 that requires a stack counter ... waste of hard/software 20:49:14 uh 20:49:16 whoop de doo? 20:49:18 no it doesn't 20:49:21 just a program counter 20:49:23 hardly a waste at all 20:49:26 also, ais523 is right 20:49:30 it's basically the switch in a loop paradigm 20:49:48 which can be used in any language, more or less, to convert the program into ifs surrounded by a loop 20:49:53 even brainfuck 20:49:59 probably not Malbolge, though 20:50:51 PLEASE DO .6<-"&!8$.5'"~'#0$#65535' DO .8<-"?!8$.5'"~'#0$#65535' DO .5<-!6$#0'~"#32767$#1" DO .7<-'V.7$".6~#32768"'~"#0$#65535" 20:50:56 I ended up writing that 16 times 20:51:01 an unrolled loop to do addition 20:51:17 because it was easier and faster than figuring out how to localise the addition loop amongst the rest of the program... 20:51:30 ofc (1)DOCOMEFROM".2~.2"~#1WHILE:1<-"'?.1$.2'~'"':1/.1$.2'~#0"$#65535'"$"'"'&.1$.2'~'#0$#65535'"$#0'~#32767$#1" is shorter 20:51:43 but that has a loop in so isn't allowed in the TRY AGAIN paradigm 20:51:56 http://img157.imageshack.us/img157/1600/2h6yet5bk6.jpg 20:52:06 tusho: what's that? 20:52:21 ais523: amusing. 20:52:31 incidentally, the above is actually a golfed version to get it into the Slashdot sig limits 20:52:32 if i explained it to you i'd have to transcript the whole image 20:52:42 although I just noticed its possible to save one character 20:52:44 and then it wouldn't be as funny :-P 20:52:51 ofc (1)DOCOMEFROM!2~.2'~#1WHILE:1<-"'?.1$.2'~'"':1/.1$.2'~#0"$#65535'"$"'"'&.1$.2'~'#0$#65535'"$#0'~#32767$#1" is shorter 20:53:33 * ais523 is annoyed that tusho doesn't know how to read INTERCAL 20:53:44 INTERCAL is one of the easier esolangs to read someone else's program in... 20:53:59 ha, yea right 20:54:05 no, honestly 20:54:07 oerjan: agreed? 20:54:53 someone should add INTERCAL to anagolf 20:55:17 golf is dead, long die golf 20:55:28 no it isn't 20:55:32 anagolf is still going 20:55:40 and codegolf even added a new problem a few months ago 20:55:42 but slowly 20:55:49 which given the speed codegolf goes at is lightning-fast 20:56:43 the codegolf stuff is just too difficult 20:56:52 no it isn't, really 20:56:55 just harder than anagold 20:56:57 *anagolf 20:57:03 none of the individual programs are hard to right 20:57:08 *write 20:57:11 just hard to write golfily 20:57:27 I’m going to make the bold promise that we’ll have a new challenge next Friday, but I’ve said that before so we’ll see if it actually happens! 20:57:27 [next post] 20:57:27 Wow, it only seems like 236 yesterdays ago when we added the Tower of Hanoi challenge! 20:57:33 ^ codegolf.com in a nutshell 20:58:49 -!- Slereah has quit (Read error: 104 (Connection reset by peer)). 20:59:07 -!- Slereah has joined. 20:59:30 http://www.blue.sky.or.jp/grass/ 20:59:38 (has english docs scroll down) 21:00:03 2006-2007... how did we not find out about this?! 21:00:46 we did 21:00:51 I remember it from somewhere 21:01:06 almost certainly there 21:01:14 ah: http://esolangs.org/wiki/Grass 21:01:17 well 21:01:23 it looks interesting 21:02:31 -!- Slereah_ has joined. 21:03:15 -!- Slereah has quit (Read error: 104 (Connection reset by peer)). 21:04:00 beh... Perl needs zip as an operator 21:04:55 easy: 21:05:10 hmm 21:05:13 ok, not as easy as i was thinking 21:05:15 because perl sucks 21:05:17 :-D 21:05:58 that sierpinsky carpet anagolf challenge is the first time I've seen an anagolf challenge and thought "hmm, that would be easy in Matlab" 21:06:09 hhahaha 21:11:33 -!- Slereah_ has quit (Read error: 104 (Connection reset by peer)). 21:11:44 -!- Slereah_ has joined. 21:12:18 That machine would have a problem: I't impossible to init the memory, but if the memory is et to valid values it may work 21:16:04 -!- slereah has joined. 21:16:16 hmm 21:16:23 what would you guys call a name vs human readable name 21:16:25 that is 21:16:34 name='FooBarBAZINATOR!', ???='foobarbazinator' 21:16:43 name='Oh Em Gee', ???='oh_em_gee' 21:16:50 -!- Slereah_ has quit (Read error: 113 (No route to host)). 21:17:28 i was thinking 'id' 21:17:43 vs. superego 21:17:50 har har 21:19:21 identifier 21:19:55 -!- slereah has quit (Read error: 104 (Connection reset by peer)). 21:20:01 -!- Slereah_ has joined. 21:20:11 oerjan: aka...id 21:20:52 tusho: also known as ... identifier 21:21:09 :| 21:21:34 are you taking things seriously again? 21:24:27 :D 21:25:19 -!- ais523_ has joined. 21:25:19 hi ais523_ 21:25:41 my Internet connection is malfunctioning badly... 21:25:45 can anyone see this? 21:26:03 CAN YOU HEAR ME????? 21:26:08 tusho: did you get my email? I sent you one to see if my email was working 21:26:13 hi oerjan 21:26:15 hi ais523_ 21:26:21 why no bouncer?! 21:26:28 obviously this connection works 21:26:30 just very slowly 21:26:34 ah 21:26:40 time dilation is a bitch 21:26:43 tusho: my laptop's connecting to the router fine 21:26:49 but the router itself seems to have dropped off the internet 21:26:51 ais523_: no email from you 21:26:58 it can't even ping Google 21:27:00 and oh dear 21:27:02 anyway, are you on a different computer then? 21:27:46 yes 21:27:48 this is a Windows computer 21:27:50 and I'm on Mibbit 21:27:51 on IE 21:28:07 it wouldn't even work on "FrontMotion Firefox", whatever that is 21:28:15 although Help|About says it's Mozilla Firefox 21:28:42 http://www.frontmotion.com/Firefox/fmfirefox.htm 21:28:46 seems to be for mass deployment 21:29:51 tusho: I sent you another email, or tried ti 21:29:53 *to 21:29:57 did you get either? 21:30:04 I shall check. 21:30:21 ais523_: No. 21:30:40 grr 21:30:44 "let's go pen" -- you 21:30:45 well, obviously this works 21:30:45 wut 21:30:51 tusho: reference to the Fight Arena 21:30:56 that was before my connection went mad 21:33:39 this is bad 21:33:43 also, I can't leave this room 21:33:49 at least, not if I want to be able to get back in again 21:33:56 they announced that they fixed the door 21:34:03 and of course at that moment it stopped working altogether 21:34:09 luckily there were some people in the room at the time 21:34:15 and it opens from the inside 21:34:18 but I'm the last one left 21:34:28 so once I leave the room there'll be nobody here, and no way to get back in 21:35:35 also, obviously there can't be such a thing as a Web-based ssh client 21:36:38 * oerjan recalls nvg had one at one point 21:36:50 wouldn't be very secure... 21:36:52 only for connecting to nvg though 21:38:11 -!- Judofyr_ has joined. 21:38:11 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)). 21:38:11 you can only connect to http ports? 21:38:17 not sure 21:38:25 my main laptop connects to the router but not beyond that 21:38:36 at least, it can't do DNS queries 21:38:45 and even if I enter IPs the data seems to go to /dev/null 21:39:11 this computer can connect to the Web, but not to the UNIX system I sometimes use here 21:39:11 they taught us what /dev/null is today at the university. 21:39:21 and it has no useful programs on for Internet stuff other than ping 21:39:26 also I can't install software on it 21:40:10 hmm... this thing has telnet on 21:40:15 although not ssh 21:41:02 -!- Corun has joined. 21:41:03 tusho: could you set up telnet on eso-std.org, or is that too insecure, do you think? 21:41:12 way too insecure 21:41:16 yes 21:41:17 you'd be sending your pwd in the plain... 21:41:18 I suppose so 21:41:20 * oerjan recalls nvg disabled telnet years ago 21:41:40 -!- Corun has quit (Client Quit). 21:41:43 Telnet became obsolete in 1995. :-P 21:41:57 well, so did Windows then 21:42:17 -!- Corun has joined. 21:42:17 Windows was obsolete before it came out. 21:42:24 hmm... I think I will risk leaving this room 21:42:33 I know, I'll go to a completely separate lab that's open until midnight 21:42:34 see you in a while 21:42:35 -!- ais523_ has quit ("http://www.mibbit.com ajax IRC Client"). 21:42:50 famous last words 21:43:06 Windows was obsolete before it came out: Apple Lisa (then Macintosh) 21:43:09 Other unices too 21:43:13 but I doubt they'd be too nice as a desktop OS 21:43:19 x11 is painful enough today... 21:43:34 er, by other unices i mean non-linux ones 21:43:37 due to the lack of linux then 21:43:53 also.. 21:43:53 amiga 21:47:23 -!- slereah has joined. 21:48:11 -!- Slereah_ has quit (Read error: 113 (No route to host)). 21:48:15 -!- optbot has set topic: the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | (9:09:13 PM) zmnszctzs: i dont think it runs out of possibilities it has a mapping to train maybe you see the fragments will need to perfect that is the sentence. 21:51:53 zmnszctzs, that was one helluva nick 21:51:53 -!- sebbu2 has joined. 21:52:02 its a bot 21:52:06 err wait 21:52:07 its oklopod's bot 21:52:08 isnt it 21:52:23 yes 21:52:33 quite. 21:52:55 i'm gonna fuck off now, if you know what i mean (you don't, btw.) -> 21:53:15 bye 21:54:38 fungot: Still alive? 21:54:38 fizzie: the whole point of the at command: telling the parser where the pointer ends up 21:54:47 fungot: Right, right, just checking. 21:54:47 fizzie: interface and behavior, that is 21:57:03 -!- kar8nga has left (?). 22:07:44 -!- sebbu has quit (Connection timed out). 22:21:26 -!- oerjan has quit ("leaving"). 22:33:33 -!- jix has quit (Read error: 110 (Connection timed out)). 22:33:51 ais523 is taking his time 22:39:48 -!- Corun_ has joined. 22:48:37 -!- Corun has quit (Connection timed out). 22:59:02 -!- Corun has joined. 23:00:38 -!- Corun_ has quit (Connection timed out). 23:16:40 -!- Judofyr_ has quit. 23:20:59 -!- Corun has quit (Connection timed out). 23:28:11 -!- Corun has joined. 23:35:36 -!- CO2Games has joined. 23:57:42 -!- kwertii has joined. 23:57:47 -!- Corun has quit (Connection timed out).