00:00:43 All of it. 00:01:15 Oh. 00:20:01 -!- Jafet has quit (Quit: Leaving.). 00:25:53 * oerjan suddenly has the realization that in the first olympic games, getting an olympic record did not require breaking a previous one 00:29:21 oerjan: *may* not have 00:29:31 the record may have been broken in a later run of the same even 00:29:33 *event 00:29:47 oerjan: moreover, the same is true of any other Games where a sport is added (and that sport has records) 00:32:34 yes. it's just that in norwegian, we borrow the word "rekord" to mean solely the kind of record which you usually get by beating a previous one, so i hadn't really thought that even this had exceptions. 00:33:01 oerjan: so wait, "rekord" doesn't apply to the first setting of the record? 00:33:06 that seems... weird 00:33:18 yes it does. it's just that this is a very small fraction... 00:33:51 ah ok 00:33:54 yeah, it's the same in English 00:34:11 in english the word has other uses, though 00:34:27 true 00:34:33 but in that sense, it means one thing 00:53:12 -!- derdon has quit (Remote host closed the connection). 01:43:36 kmc: http://www.haskell.org/haskellwiki/HaskellImplementorsWorkshop/2012/Schilling 01:45:22 schilling effects 01:47:23 * oerjan realizes ghc is like the borg 01:59:37 So I am finally doing some networking software 01:59:52 Going to write an IRC client :D 02:00:40 Already have it connecting to a host at a port and printing out everything 02:14:06 in what language? 02:14:11 S-Lang 02:14:43 Prototyping in s-lang and might port to C later 02:30:42 -!- david_werecat has quit (Ping timeout: 264 seconds). 02:35:11 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:35:20 hmm, Jafet apparently has the second-longest game on NetHack public servers 02:35:26 Jafet is also apparently not in this channel any more 02:35:47 COINCIDENCE? 02:35:50 DUN DUN DUN 02:36:03 -!- pikhq has joined. 02:38:52 -!- pikhq_ has quit (Ping timeout: 246 seconds). 02:49:45 Just because a language only became decent to program in recently doesn't mean it's inherently a bad language as it is, does it? 02:52:16 -!- zzo38 has joined. 03:14:07 17:20 -!- Jafet [~Jafet@unaffiliated/jafet] has quit [Quit: Leaving.] 03:14:19 For time zone clarification, 20:14 17:20 -!- Jafet [~Jafet@unaffiliated/jafet] has quit [Quit: Leaving.] 03:17:37 Wow, this channel is full of logreaders. 03:26:16 -!- Phantom_Hoover has joined. 03:27:37 * Sgeo is somewhat confused as to how a Smalltalk... thingy has a git repo 03:28:20 shachaf: most of us know how to use ctcp time 03:28:33 Sgeo: ... what 03:28:44 coppro: Yes, but that's a hassle. 03:28:45 https://github.com/jvuletich/Cuis 03:29:28 git-clone should be called git-get 03:30:13 shachaf: Why do you think it is a hassle? 03:32:29 zzo38: Because you have to make the request. 03:37:27 Less than two hours till Curiosity landing 03:42:03 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 03:46:37 elliott: #haskell: Worst channel or worstest channel? 03:46:50 worcester channel 03:47:25 sorry, *worcestershire 03:48:26 Worcester is an actual place too. 03:48:32 It's a city in Worcestershire. 03:48:40 sauce? 04:12:41 -!- oerjan has quit (Quit: leaving). 04:13:15 -!- augur has joined. 04:14:12 `quote oklopol.*indentation 04:14:15 No output. 04:14:17 `quote oklopol.*indent 04:14:21 No output. 04:14:22 wtf 04:14:26 `quote oklopol.*dynamic 04:14:31 No output. 04:14:35 `quoklopol dynamic 04:14:35 what did you assholes do 04:14:38 â€‹/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: quoklopol: not found 04:14:38 `pastequotes oklopol 04:14:42 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.23745 04:15:06 `pastlog oklopol.*dynam.*indent 04:15:30 http://mars.jpl.nasa.gov/msl/multimedia/nasatv/ 04:15:40 No output. 04:15:49 what the fuck 04:15:55 `pastlog oklopol.*indent.*if they 04:16:12 Content-Type: text/plain; charset="ascii" 04:16:16 shachaf@carbon:~$ HEAD http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.23745 04:16:24 289) ais523: quick, say something funny something funny hagrea:D can'tÃƒÂ¤ sopt laughitn 04:16:27 No output. 04:16:29 LIAR 04:23:33 -!- david_werecat has joined. 04:30:50 someone removed the O(n) indentation thing? 04:31:32 that's just wrong 04:31:42 no 04:31:44 it's just oklofok 04:31:45 not oklopol 04:31:48 `quote oklofok.*indent 04:31:52 alrighto 04:31:52 69) i use dynamic indentation, i indent lines k times, if they are used O(n^k) times during a run of the program 04:32:08 that's a pretty crappy indentation scheme though :D 04:33:08 (also should be Theta not O) 04:33:18 (that silly oklofok) 04:33:47 oklopol: too late, I already quoted you 04:38:16 -!- Jafet has joined. 04:39:16 o noooooo 04:40:51 elliott: Did you know Data.Text was internally nothing like Data.ByteString? 04:43:28 -!- pikhq has quit (Ping timeout: 246 seconds). 04:43:35 -!- pikhq has joined. 04:45:41 Yes. 04:45:58 elliott: Did you know they abandoned UTF-8 Text? :-( 04:46:04 A free world needs no leaders. 04:46:10 Yes. 04:46:21 shachaf: What UTF-8 Text is this? 04:46:41 jaspervdj's, I think. 04:47:02 elliott: Also, someone should implement the "3 codepoints per 64 bits" Unicode encoding. 04:47:40 shachaf: I think it would be simple enough. Now it is invented but you should give it a name, such as UTF-64. 04:47:53 shachaf: What encoding is that? 04:47:54 UTF-63 04:48:03 elliott: A codepoint is 21 bits. 21 * 3 = 63 04:48:12 O, it is UTF-63. Yes that is better. 04:48:16 That seems inefficient. 04:48:21 To process, I mena. 04:48:22 *mean. 04:48:38 Does it? 04:49:54 Yes. 04:50:01 Use the "Linux Zeux encoding" (which is for Linux, not Unicode). 04:50:41 elliott: Why? 04:51:29 Because sub-byte-thingy-thing. 04:52:35 Is that really significant? 04:52:41 I think so. 04:52:52 Compared to branches for UTF-8/16? 04:53:04 Or ~3 times the memory use for UTF-32? 04:55:48 -!- itidus21 has joined. 04:56:24 idk 04:56:28 why don't you try it 04:56:45 shachaf: UTF-8 has the colossal advantage that U+0 maps to an ASCII NUL, so Cstring woo! 04:57:07 also in fact 7-bit ASCII is all untouched 04:57:15 That is not a "colossal advantage", since 0 is a valid codepoint. 04:57:23 C strings mangle without exceptions. 04:57:28 *exception 04:57:32 elliott: ... for encoding ASCII NUL 04:57:55 You can encode U+0 non-canonically as 11000000 10000000. 04:58:12 shachaf: That's specified invalid IIRC. 04:58:12 that is what codepoint 0 represents. Just like every codepoint under 128 represents its corresponding ASCII character. 04:58:13 soundnfury: What? 04:58:20 I know what the codepoint U+0000 represents. 04:58:27 It does not necessarily terminate a Unicode string. 04:58:31 elliott: WELL, MAYBE YOU'RE JUST EDUCATED STUPID IIRC!! 04:58:47 elliott: right, but it is sane for it to terminate a Unicode Cstring 04:58:53 since NUL terminates a normal Cstring 04:59:02 Not really, in that that mangles perfectly valid Unicode data. 04:59:13 no it doesn't 04:59:16 Yes, it does. 04:59:18 elliott's point is that C strings = bad. 04:59:24 It has no representation for the Unicode string {U+0000 U+0001}. 04:59:29 hey 04:59:33 is this an argument happening? 04:59:35 hey monqy 04:59:37 can i laugh 04:59:37 That's a perfectly valid sequence of Unicode codepoints. 04:59:39 should i laugh 04:59:41 monqy: laugh 04:59:42 do it 04:59:44 monqy: people being wrong about unicode as always!! 04:59:51 if you're handling data that may contain NULs, whether they're encoded as ASCII or UTF-8 or Shift-JIS for that matter, you don't use plain Cstrings 04:59:56 OR you escape the NULs 05:00:18 elliott: sure it is. It's a Unicode string. But it's not a Unicode Cstring that's the POINT 05:00:20 heh heh heh heh heh heh heh heh heh heh heh heh heh heh heh heh heh heh hehh ehheh ehheh heh 05:00:21 OK, so since Unicode strings can contain the codepoint U+0000, you don't use Cstrings for representing Unicode; I agree. 05:00:23 was that good enough 05:00:27 soundnfury: That's why elliott is saying it's not a colossal advantage. 05:00:27 monqy: no 05:00:37 The colossal cave advantage. 05:00:45 gah! 05:00:59 -!- lifthrasiir has quit (Ping timeout: 252 seconds). 05:01:09 You use Cstrings with UTF-8 for representing Unicode Cstrings 05:01:21 that is, Unicode strings that are guaranteed not to have embedded NULs 05:01:22 Unicode CString 05:01:25 UCS 05:01:30 CoÃ¯ncidence?! 05:01:32 ahahaha 05:01:42 ooh, nice diaresis 05:02:54 elliott: What's a good way to do integer division rounding up? 05:03:44 soundnfury: I don't believe such a Unicode Cstring has any kind of relevant status, beyond it being an implementation effect of a bunch of programs due to their handling UTF-8 data in C badly. 05:04:14 I mean, it doesn't really seem like much of a colossal advantage if all you can do with it is process things that aren't actually the Unicode strings that you're meant to be handling as a Unicode-capable(TM) program. 05:04:33 (Especially since C strings are more painful to use than something that tracks length anyway.) 05:04:40 Oh, (x-1)`div`y+1 05:05:12 elliott: I think zoundsnflurry meant things like UTF-8 for path names in UNIX. 05:05:51 shachaf: That's a bit of an implementation detail, really, caused by mashing a binary-C-string-thingy-path-name system with the desire to support Unicode. 05:05:57 (It's also gross.) 05:06:03 But OK, it's useful if you're the Linux kernel. 05:06:04 elliott: I agree. 05:06:12 I usually try not to be the Linux kernel. 05:06:39 I would /love/ to be the Linux kernel 05:06:42 elliott: UTF-8 is a nice encoding for a lot of reasons, though, and several of them have to do with working nicely with software that assumes Unicode doesn't exist. 05:06:45 because there'd be so many copies of me 05:06:55 I'd be parallelly indestructible 05:07:10 shachaf: UTF-8 is okay. For in-memory representation I tend to prefer UTF-32. 05:07:27 elliott: But just think about UTF-63! 05:09:38 -!- lifthrasiir has joined. 05:53:21 I've implemented a ternary /WE memory cell, but it's huge and ugly 05:53:37 http://esolangs.org/wiki/User:Soundandfury/Ternary_ECL#.2FWE_Memory_Cell 05:53:48 can anyone find a way to improve it? 06:11:47 -!- asiekierka has joined. 06:22:35 Sometimes they do use overlong encoding for U+0000 though, since it might be meaningful. 06:27:37 Why do people call it U+0000 and not U+0000000? 06:27:41 Or U+0? 06:28:25 Overlong encoding. 06:42:36 Hey, Jafet! 06:42:47 Did you know you have the second-longest game of NetHack on NAO? 06:53:20 You mean someone has wasted more time than I have? 06:53:53 Apparently. 06:53:57 (This is in turns, I think.) 06:58:21 http://alt.org/nethack/userdata/jafet/dumplog/1286454056.nh343.txt 07:00:30 That looks boring. 07:00:55 It was 07:00:59 I probably won't do it again 07:02:06 -!- nooga has joined. 07:04:43 You and the woodchuck and the woodchuck and the woodchuck and the woodchuck and the woodchuck 07:04:43 went to your reward with 712336180 points, 07:04:43 good 07:05:09 Me and the blessed rustproof +12 Excalibur 07:05:19 and the woodchuck and the woodchuck and the woodchuck and the woodchuck 07:21:39 -!- zzo38 has quit (Remote host closed the connection). 07:37:40 Jafet: how on earth did you get it up to +12? 07:37:50 without it exploding? 07:41:04 "Vanquished creatures... 255 black puddings". I suspect you killed many more than that ;) 07:41:27 Hint: obtain a +12 arrow 07:41:56 * itidus21 suddenly remembers theres some story about a magic pudding 07:42:50 "The Magic Pudding: Being The Adventures of Bunyip Bluegum and his friends Bill Barnacle and Sam Sawnoff is an Australian children's book written and [...]" 07:43:16 Jafet: wait... you polyed the arrow into a longsword then dipped? No, that wouldn't work, you're not Lawful 07:43:41 I might have been 07:43:55 you... used a HoOA to dip? 07:44:15 Well done 07:44:51 very good 07:45:11 so did you get bored at +12 or is that as far as you can get? 07:45:25 I think I accidentally the last pudding 07:45:29 So that was that 07:45:35 what's the theoretical max 07:45:36 +255? 07:46:00 +127, I think. 07:46:05 At least those things are so often signed. 07:46:15 Could be +(2^31-1) too. 07:46:30 But I vaguely recall something about a byte. 07:47:26 I think you're right, +127 08:15:24 -!- epicmonkey has joined. 08:23:53 -!- KingOfKarlsruhe has joined. 08:35:49 -!- epicmonkey has quit (Ping timeout: 272 seconds). 08:36:11 -!- azaq23 has joined. 08:36:23 -!- azaq23 has quit (Max SendQ exceeded). 08:37:21 -!- azaq23 has joined. 08:44:10 -!- zzo38 has joined. 08:51:10 -!- mig22 has joined. 09:07:48 -!- mig22 has quit (Quit: mig22). 09:09:54 -!- Taneb has joined. 09:18:43 Hello 09:19:29 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.88.2 [Firefox 14.0.1/20120713134347]). 09:20:58 spoiler alert 09:21:07 "The original poster stated that they had just “accidentally 93MB of .rar files” and wanted to know what they should do and if it was dangerous" 09:21:55 "that reminds me of the time i accidently 26KB of pictures, good times" 09:23:57 i want to use that in real life 09:31:58 -!- epicmonkey has joined. 09:52:42 -!- Jafet has quit (Quit: Leaving.). 10:12:05 -!- elliott has quit (Ping timeout: 272 seconds). 10:18:25 -!- Taneb has quit (Ping timeout: 246 seconds). 10:31:22 -!- derdon has joined. 10:38:03 -!- FreeFull has quit (Ping timeout: 272 seconds). 10:38:17 -!- FreeFull has joined. 10:47:30 -!- aloril has quit (Read error: Operation timed out). 10:49:02 -!- ais523 has quit. 10:49:24 Do you have computer program to convert a file to gate ROM if you specify which parts of the file are unimportant? 10:55:18 No. 11:03:07 -!- aloril has joined. 11:09:15 -!- pikhq has quit (Ping timeout: 246 seconds). 11:09:16 -!- pikhq_ has joined. 11:16:33 Do you have any ideas of how to implement such thing? 11:22:56 -!- Taneb has joined. 11:27:01 -!- david_werecat has quit (Ping timeout: 246 seconds). 11:31:35 Hello 11:34:50 'ellow 11:35:33 -!- monqy has quit (Quit: hello). 11:46:47 -!- Phantom_Hoover has joined. 11:52:21 -!- zzo38 has quit (Remote host closed the connection). 11:55:22 -!- Taneb has quit (Ping timeout: 246 seconds). 11:59:34 -!- pikhq_ has quit (Ping timeout: 246 seconds). 12:06:28 -!- boily has joined. 12:20:37 -!- MoALTz has joined. 12:25:26 -!- MoALTz has quit (Client Quit). 12:25:44 -!- MoALTz has joined. 12:27:13 -!- Jafet has joined. 12:27:30 hi 12:28:50 hi. 12:31:39 -!- Taneb has joined. 12:36:56 -!- pikhq has joined. 13:10:35 What was with that notice? 13:16:53 Gregor: because umlbox doesn't allow networking, it's not possible to run the IRC bot within the UML sandbox instead of using the IRC bot to run the sandbox on each command invocation, right? 13:18:10 Phantom_Hoover: freenode staff entered soapbox mode, it would seem. 13:18:18 kallisti: You hardly need networking to run an IRC bot. 13:19:00 sure. but I'm not sure how I would set that up with my perl bot, which I'm pretty sure needs things that resemble network devices. 13:19:32 umlbox has restrictive and partially broken networking support, anyway. 13:22:26 I wonder if I could use unix sockets for this. 13:22:39 Unix sockets don't survive umlbox. 13:23:28 well the umlbox would be running indefinitely in this case. 13:23:36 but I doubt host-to-guest and vice versa would work. 13:24:29 Yeah, that's what's broken. 13:24:35 UML's hostfs doesn't support them. 13:25:07 But like I said, in spite of what you've heard, it DOES have networking support, it's just a bit imperfect because I haven't found the right UML device to represent this stuff yet (I'm using ttys) 13:26:01 Frankly tho, it seems a bit pointless to put a whole IRC bot in umlbox. Why don't you trust ANY component of the bot? That won't help to isolate commands run within the bot from each other anyway. 13:36:35 Gregor, are Sine and here running different instances of the bot? 13:38:11 Well, yes, in that they're different connections, but they share the filesystem. 13:38:20 Oh 13:38:27 `ls bin 13:38:38 â€‹? \ @ \ No \ WELCOME \ WeLcOmE \ addquote \ allquotes \ anonlog \ calc \ define \ delquote \ etymology \ forget \ fortune \ frink \ google \ hatesgeo \ joustreport \ jousturl \ json \ k \ karma \ karma+ \ karma- \ learn \ log \ logurl \ macro \ maketext \ marco \ paste \ pastefortunes \ pastekarma \ pastelog \ pastelogs \ pastenquotes \ pastequotes \ pastewisdom \ pastlog \ ping \ prefixes \ qc \ quachaf \ quoerjan 13:38:51 I don't see it 13:38:57 Different home folders? 13:38:59 `run pwd 13:39:02 â€‹/hackenv 13:39:09 `ls / 13:39:12 bin \ dev \ etc \ hackenv \ home \ lib \ lib64 \ opt \ proc \ sbin \ sys \ tmp \ usr \ var 13:39:22 I'll take that as a no 13:40:19 Hmm, maybe just cut off from being too long 13:40:33 `run echo "puts {hello #esoteric}" | tclkitsh 13:40:36 bash: tclkitsh: command not found 13:43:12 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.5942 13:43:22 `run echo "puts {hello #esoteric}" | tclkit 13:43:25 hello #esoteric 13:44:15 `run echo "puts [info tclversion]" | tclkit 13:44:18 8.5 13:44:26 `run echo "puts [info patchlevel]" | tclkit 13:44:29 8.5.1 13:46:18 I don't know enough shell scripting to not encounter quoting hell while playing with tclkit like this 13:47:56 `tclkit puts "Hello" 13:47:59 couldn't read file "puts "Hello"": no such file or directory. 13:48:04 :( 13:57:07 -!- Taneb has quit (Ping timeout: 240 seconds). 14:05:04 Obviously .7z 14:05:10 Oops, scrolled up 14:05:34 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 14:14:54 -!- mig22 has joined. 14:16:06 Sgeo: Maybe they're in different chroots 14:16:41 `ls /home/ 14:16:43 hackbot 14:16:44 Well, I fetched and tested tclkit first on the other bot, so no. 14:17:44 `run mkdir pie 14:17:47 No output. 14:18:10 `run echo "Pie pie pie!" > pie/pie 14:18:14 bash: pie/pie: No such file or directory 14:19:01 -!- pikhq has quit (Ping timeout: 246 seconds). 14:19:19 -!- pikhq has joined. 14:20:44 -!- MoALTz has quit (Quit: brb). 14:20:45 -!- mig22 has quit (Read error: Connection reset by peer). 14:21:04 -!- mig22 has joined. 14:25:15 -!- mig22 has quit (Client Quit). 14:27:08 -!- MoALTz has joined. 14:31:50 -!- aloril has quit (Ping timeout: 250 seconds). 14:33:19 -!- copumpkin has joined. 14:33:55 -!- Taneb has joined. 14:34:14 Hello 14:44:27 there seems to be a rule that all metro stations in budapest have 4 guys standing around watching the ticket validation machines 14:44:29 they must have a good union 14:44:40 -!- aloril has joined. 14:44:57 hi Taneb 14:53:08 -!- copumpkin has quit (*.net *.split). 14:53:08 -!- Jafet has quit (*.net *.split). 14:53:08 -!- epicmonkey has quit (*.net *.split). 14:53:09 -!- atehwa has quit (*.net *.split). 14:53:09 -!- HackEgo has quit (*.net *.split). 14:53:09 -!- EgoBot has quit (*.net *.split). 14:53:09 -!- SimonRC has quit (*.net *.split). 14:53:09 -!- ssue has quit (*.net *.split). 14:53:10 -!- shachaf has quit (*.net *.split). 14:53:10 -!- comex has quit (*.net *.split). 14:53:47 -!- copumpkin has joined. 14:54:42 :) 14:54:55 splittastic :) 14:55:31 EgoBot, come back! 14:55:33 freenode (Irc Hum Mal Cha), 225613 points, killed by a netsplit 14:55:35 All you other guys, too 14:55:46 -!- Jafet has joined. 14:55:46 -!- epicmonkey has joined. 14:55:46 -!- atehwa has joined. 14:55:46 -!- HackEgo has joined. 14:55:46 -!- EgoBot has joined. 14:55:46 -!- SimonRC has joined. 14:55:46 -!- ssue has joined. 14:55:46 -!- shachaf has joined. 14:55:46 -!- comex has joined. 14:56:05 A roguelike where IRC server was a playable race... 14:56:32 It'd be programmed in IRP, of course 14:56:55 Or, slightly more seriously, the mIRC macro language 14:57:35 Yegods mIRC 14:57:38 DO NOT WANT 14:58:05 * soundnfury hates Khaled Mardem-Bey with a passion 15:06:34 I keep reading Mars as Mad 15:07:01 As in "Mad Science Laboratory Curiosity has landed safely" 15:10:09 -!- aloril has quit (Ping timeout: 244 seconds). 15:15:40 I want a language with the functionalness and type safety of Haskell, the flexibility and run-time environment of Common Lisp, and the large ecosystem of Perl 15:16:28 And I want some chocolate 15:16:34 And the weather to hold of tomorrow 15:16:37 -!- azaq23 has quit (Ping timeout: 246 seconds). 15:17:03 -!- TodPunk has joined. 15:18:54 -!- azaq23 has joined. 15:19:01 -!- azaq23 has quit (Max SendQ exceeded). 15:19:46 -!- azaq23 has joined. 15:27:12 -!- aloril has joined. 15:28:24 Sgeo: The third will be the hardest to find 15:34:33 -!- copumpkin has changed nick to MagicalDwolla. 15:34:55 -!- MagicalDwolla has changed nick to copumpkin. 15:40:32 Is Strongtalk still dead? 15:40:33 :( 15:41:42 I don't think I'll ever quite get over the lack of multiple-dispatch 15:57:00 -!- Taneb has quit (Quit: Leaving). 16:17:57 -!- zzo38 has joined. 16:18:02 hi 16:23:37 -!- epicmonkey has quit (Ping timeout: 240 seconds). 16:25:49 -!- oonbotti has joined. 16:29:02 -!- Vorpal has joined. 16:55:06 -!- monqy has joined. 16:57:35 -!- oonbotti has quit (Ping timeout: 246 seconds). 17:04:25 Do you like this? He's Jim, Dad.-McCoy introduces Kirk to his family. 17:09:46 Solid base, delivery needs some work. 17:10:03 Introduce the context first, so the punchline is more prominent. 17:10:37 I didn't write it. It is is part of a word guessing game in X-BIT. 17:11:50 But, OK, if you want to move it around, try like this: McCoy introduces Kirk to his family: "He's Jim, Dad." 17:16:28 -!- david_werecat has joined. 17:21:28 hi david_werecat 17:21:47 -!- oonbotti has joined. 17:31:15 -!- epicmonkey has joined. 17:35:42 -!- Taneb has joined. 17:35:44 Hello! 17:35:58 <[]{}\|-_`^> hi 17:36:09 I've just given blood for the first time 17:36:10 :) 17:36:35 <[]{}\|-_`^> http://motherboard.vice.com/2012/8/6/nasa-s-mars-rover-crashed-into-a-dmca-takedown 17:36:47 Why do new electronics still offer WEP? 17:52:17 What? DMCA takecount? How is it related to that? 17:58:18 Sgeo, legacy reasons? 17:59:11 -!- Eladith has joined. 17:59:19 -!- pikhq_ has joined. 17:59:24 -!- pikhq has quit (Ping timeout: 246 seconds). 18:03:13 It seems almost too easy to fake Clojure-style multimethods in Tcl 18:03:43 -!- aloril has quit (Ping timeout: 250 seconds). 18:04:21 Full predicate dispatch is probably better, but I don't even know what that looks like 18:10:41 -!- augur has quit (Remote host closed the connection). 18:17:11 -!- aloril has joined. 18:18:21 * Sgeo wonders if anyone uses Prolog for general programming 18:19:00 <[]{}\|-_`^> I once tried 18:19:19 <[]{}\|-_`^> I think I still have some programs in my old backups 18:19:50 people use datalog for production knowledge systems 18:20:20 The number of conventional programming languages I've attempted to use seriously is... 18:20:27 7 18:20:44 <[]{}\|-_`^> which ones? 18:21:30 In chronological order? 18:21:53 -!- ogrom has joined. 18:22:02 Visual Basic 2005, C++, Python 3, JavaScript, PHP, Haskell, C 18:22:37 Pre-ANSI C 18:22:51 <[]{}\|-_`^> pre-ANSI? 18:22:53 <[]{}\|-_`^> when? 18:23:07 The textbook was published 1978, I think 18:23:27 <[]{}\|-_`^> oh. so K&R? 18:23:40 I think so 18:24:26 <[]{}\|-_`^> K&R C is still pretty nice 18:29:26 -!- elliott has joined. 18:29:42 It didn't tell me I needed to to use printf 18:30:01 that's not valid syntax 18:30:09 ps if it didn't, then whatever tutorial you are reading is incredibly bad 18:30:13 <[]{}\|-_`^> lets see. I have attempted to use 5 (C90, QuickBasic 4.5, Python 2, Scheme, K&R C) 18:30:15 stop reading it or you'll fill yourself with misconceptions 18:30:34 <[]{}\|-_`^> Taneb: it is #include 18:30:48 Okay, that was the fault of my memory 18:30:56 -!- FreeFull_ has joined. 18:31:09 WHY am I looking at Prolog as a general programming language right now? 18:32:14 elliott, but it's the textbook of my ancestors! 18:32:24 Taneb: it's also shit 18:32:28 and probably incredibly outdated 18:32:31 <[]{}\|-_`^> Sgeo: well it is interesting programming language 18:36:05 elliott, but the fourth edition of it is recommended by the website that is recommended by the nice people in ##c! 18:37:21 k i can now consistently go over the first hill, but i have no idea how to tackle the seconed one 18:37:22 second 18:37:29 (clop) 18:37:40 Taneb: then get the fourth edition 18:37:45 Taneb, and which edition do you have? 18:37:47 p.s. "nice people" in ##c? 18:37:48 ahahahahahahahaha 18:37:52 Taneb: K&R C is dramatically different from ISO C. 18:37:52 Vorpal, I think it's the first 18:37:54 ##c is one of the most toxic channels on the planet 18:37:58 Taneb, which book is it? 18:37:59 elliott, that involves spending money 18:38:01 but yeah i suspect Taneb's book is for K&R C 18:38:05 Vorpal, A Book on C 18:38:09 in which case don't read it it will not work, you will melt your mind, 18:38:16 Taneb, that is the title? 18:38:18 Yes 18:38:22 but I distinctly recall already trying to convince Taneb it would be a horrible idea to read this book and he ignored me 18:38:26 Taneb, never heard of it 18:38:27 Yeah 18:38:27 oklopol: impressive. i can only get halfway up the steps. 18:38:29 so maybe I will just not bother 18:38:38 and not answer his questions when he inevitably asks them because it's a bad or outdated book 18:38:39 I dunno, I haven't read it in a while 18:38:43 Taneb: This is a bit like reading a book on the immediate *ancestor* to Haskell to learn Haskell. 18:38:51 s/the/an/ 18:38:56 elliott, he could read it once he already know modern C well, to find out the history of C 18:38:57 pikhq_, hmm 18:39:01 but yeah don't start with it 18:39:07 GET ME A BOOK ON THAT LANGUAGE THAT BEGINS WITH M 18:39:13 -!- FreeFull has quit (Remote host closed the connection). 18:39:18 MARADONNA OR WHATEVER 18:39:21 Like, I don't think it is possible to write valid C99 that's also K&R C. 18:39:25 Taneb, I can only think of ML 18:39:41 Miranda! 18:39:44 quintopia: the first steps? 18:39:44 Oh, wait, it's possible, except it is necessarily trivial. 18:39:53 int main(){return 0;} 18:40:01 pikhq_, no printf? 18:40:06 or anything 18:40:06 i can run pretty neatly so i get rather fast to the second hill 18:40:07 usually 18:40:14 <[]{}\|-_`^> pikhq_: main() {} 18:40:21 []{}\|-_`^: Not valid C99. 18:40:25 []{}\|-_`^, not valid K&R? 18:40:26 pikhq_, sure it is 18:40:32 oklopol: i'm fun with running, but the running doesnt work on the hill 18:40:32 pikhq_, for mainI() 18:40:35 main* 18:40:42 well you need int 18:40:46 the first one? 18:40:51 but you can skip the return from main in C99 18:40:51 i can get up the first little slope and then i fall over backwards 18:40:53 <[]{}\|-_`^> Vorpal: it is int by default 18:40:58 []{}\|-_`^, not in C99 iirc 18:41:18 Vorpal: No, calling a variadic function without importing stdio.h in C99 is UB, and I don't *think* they had stdio.h in early K&R. 18:41:23 you can run up the first one, but often i have to use the hkhkhkhkhk cheat, just don't lame the horse or i hear the second hill can't be done. 18:41:29 pikhq_, hm okay 18:41:29 i assume you have to run up it 18:41:31 <[]{}\|-_`^> Vorpal: well in K&R it is 18:41:39 (due to essentially everything in it not needing a declaration for K&R C) 18:41:42 []{}\|-_`^, the thing was it needed to be both valid C99 and K&R 18:41:44 i have gotten pretty far up 18:41:52 []{}\|-_`^, otherwise it is of no interest to the conversation 18:42:06 what does "lame the horse" mean? 18:42:32 quintopia, cruelty to animals? 18:42:38 pikhq_: What about puts? 18:42:43 quintopia, or there is a horse called "Lame" 18:42:46