00:00 (quit) Kaylin: Quit: Leaving. 00:02 (quit) sethalves: Read error: Connection reset by peer 00:02 (join) sethalves 00:07 (part) dyoo 00:08 (quit) rudybot_: Remote host closed the connection 00:08 offby1: asumu: it worked! 00:08 (quit) rudybot: Remote host closed the connection 00:09 (join) rudybot 00:09 offby1: rudybot: (banner) 00:09 rudybot: offby1: your sandbox is ready 00:09 rudybot: offby1: ; Value: "Welcome to Racket v5.3.2.\n" 00:09 offby1: huh, whaddaya know 00:09 Nisstyre-laptop: rudybot: (display (banner)) 00:09 rudybot: Nisstyre-laptop: your sandbox is ready 00:09 rudybot: Nisstyre-laptop: ; stdout: "Welcome to Racket v5.3.2.\n" 00:22 (quit) Nisstyre-laptop: Ping timeout: 240 seconds 00:24 (join) Nisstyre-laptop 00:40 (quit) rmathews: Ping timeout: 252 seconds 00:41 (join) rmathews 00:42 asumu: rudybot: eval (require math) (binomial 10 2) 00:42 rudybot: asumu: your sandbox is ready 00:43 rudybot: asumu: ; Value: 45 00:43 asumu: offby1: wooo! 01:02 dented42: I'm porting an old piece of PLT Scheme that I didn't write to Racket, should the any contract in general be replaced with any/c ? 01:02 (quit) eikonos: Quit: Leaving. 01:03 dented42: I know that provide/contract should in general be replaced by (provide (contract-out …)) 01:07 (join) cdidd 01:09 (join) eikonos 01:09 (quit) eikonos: Changing host 01:09 (join) eikonos 01:55 (join) mithos28 01:55 (part) rplaca 02:14 (quit) mithos28: Quit: mithos28 02:15 (join) mithos28 02:18 (quit) Nisstyre-laptop: Read error: Connection reset by peer 02:19 (join) Nisstyre-laptop 02:21 (quit) gridaphobe: Remote host closed the connection 02:21 (join) gridaphobe 02:23 (quit) eikonos: Quit: Leaving. 02:25 (quit) jonrafkind: Ping timeout: 256 seconds 02:26 (quit) gridaphobe: Ping timeout: 252 seconds 02:28 (join) eikonos 02:28 (quit) eikonos: Changing host 02:28 (join) eikonos 02:30 (quit) mithos28: Quit: mithos28 02:43 (quit) eikonos: Quit: Leaving. 02:52 (join) gridaphobe 03:00 (join) lewis1711 03:00 (quit) gridaphobe: Ping timeout: 252 seconds 03:00 lewis1711: why are racket structs so different to srfi-9? srfi9 allows you make really short "getter" procedures. 03:06 (join) eikonos 03:06 (quit) eikonos: Changing host 03:06 (join) eikonos 03:11 (quit) sirdancealot7: Ping timeout: 244 seconds 03:17 (join) yours_truly 03:33 (join) mye 03:34 (join) rbarraud__ 03:47 (quit) dnolen: Remote host closed the connection 04:01 (quit) yours_truly: Quit: Leaving 04:04 (join) bitonic 04:06 (quit) rmathews: Ping timeout: 276 seconds 04:20 (quit) bjz: Ping timeout: 246 seconds 04:20 (join) bjz 04:33 (quit) mye: Quit: mye 04:34 (quit) rbarraud__: Ping timeout: 252 seconds 04:55 lewis1711: http://lambda-the-ultimate.org/node/4685 05:02 (join) mye 05:14 (quit) bitonic: Ping timeout: 252 seconds 05:17 (join) ijp 05:24 (join) sirdancealot7 05:26 (join) mye_ 05:28 (quit) mye: Ping timeout: 252 seconds 05:28 (nick) mye_ -> mye 05:43 (join) bitonic 05:45 (quit) sirdancealot7: Read error: Connection reset by peer 05:57 (join) soegaard 06:03 (quit) eikonos: Ping timeout: 252 seconds 06:38 (quit) tcsc: Quit: computer sleeping 06:40 (join) tcsc 06:42 (quit) lewis1711: Quit: Leaving 07:03 (quit) tcsc: Quit: computer sleeping 07:13 (part) acarrico 07:24 (join) vkz 07:28 (join) tcsc 07:58 (join) RacketCommitBot 07:58 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/d4x1Xw 07:58 RacketCommitBot: racket/master f1e7051 Danny Yoo: Override readline's getc function to use Racket's read-byte.... 07:58 RacketCommitBot: racket/master 2fc7cad Matthew Flatt: racket/enter: fix for `enter!' related to submodules... 07:58 (part) RacketCommitBot 08:05 soegaard: Any good videos of the DrRacket REPL I can link to here: http://www.reddit.com/r/programming/comments/188lkz/goodnight_parrot_vm/ 08:05 soegaard: ? 08:10 (join) mizu_no_oto 08:14 (quit) mizu_no_oto: Ping timeout: 248 seconds 08:42 (join) samth_ 08:50 (join) molbdnilo 08:51 (quit) rins: Ping timeout: 246 seconds 08:53 (quit) tcsc: Quit: computer sleeping 08:55 (join) rins 09:04 (join) jeapostrophe 09:04 (quit) jeapostrophe: Changing host 09:04 (join) jeapostrophe 09:04 (join) anRch 09:12 (quit) molbdnilo: Quit: molbdnilo 09:21 (quit) rins: Ping timeout: 256 seconds 09:22 (join) rins 09:23 (quit) anRch: Read error: Connection reset by peer 09:23 (join) anRch 09:28 (join) anonymou1 09:29 (join) francisl 09:30 (quit) samth_: Ping timeout: 248 seconds 09:42 (quit) anonymou1: Read error: Operation timed out 09:58 (quit) anRch: Read error: Connection reset by peer 09:59 (join) anRch 10:00 (join) anonymou1 10:01 (quit) sethalves: Quit: ERC Version 5.3 (IRC client for Emacs) 10:04 (join) sethalves 10:24 (quit) francisl: Quit: francisl 10:24 (quit) merijn: Ping timeout: 260 seconds 10:36 (quit) anRch: Quit: anRch 10:36 (quit) Nisstyre-laptop: Read error: Connection reset by peer 10:40 (join) Nisstyre-laptop 10:41 (join) merijn 10:41 (join) mithos28 10:58 (join) rmathews 11:01 (join) didi` 11:01 (join) francisl 11:30 (join) RacketCommitBot 11:30 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/K-qZCg 11:30 RacketCommitBot: racket/master 1420ce4 Robby Findler: clarify colorer docs... 11:30 (part) RacketCommitBot 11:34 (quit) bitonic: Ping timeout: 240 seconds 11:38 (quit) francisl: Quit: francisl 11:40 asumu: soegaard: I haven't looked at all of them, but maybe http://www.cdf.toronto.edu/~heap/racket_lectures.html ? 11:41 asumu: John Clements has some videos too http://www.youtube.com/playlist?list=PLD0EB7BC8D7CF739A 11:47 asumu: dented42: `any` is still a contract you can use, but only in the range of function contracts. 11:47 asumu: `any/c` should work though, in any case. 11:49 asumu: dented42: also `provide/contract` isn't *that* old, so it's up to you whether you want to change those. 11:49 asumu: (IIRC it was around 5.2 or something when it was introduced?) 11:50 (quit) jao: Ping timeout: 248 seconds 11:53 anonymou1: I'd like to read instructions on topic "How to become a hacker" and "How I became one, my mistakes etc."(in the slang meaning, not the correct one). 11:54 (join) bitonic 11:55 didi`: anonymou1: ? 11:55 anonymou1: have became* 11:55 anonymou1: didi`: correct meaning of hacker is a person who uses computers to gain unauthorized access to data. 11:55 bremner: correct according to whom? 11:55 didi`: anonymou1: That's not the correct meaning. 11:55 anonymou1: sorry. Not a long time agoi thought this is the only official 11:56 anonymou1: informal an enthusiastic and skilful computer programmer or user. 11:56 anonymou1: didi`: this is! 11:56 anonymou1: wait a minute 11:56 didi`: anonymou1: I don't think so. 11:56 anonymou1: http://oxforddictionaries.com/definition/english/hacker?q=hacker 11:56 didi`: anonymou1: That is still incorrect, I'm afraid. 11:57 anonymou1: Oxford is the topmost authority AFAIK. This is standard and they decide what is correct and what is not. 11:57 didi`: OK. 11:57 anonymou1: didi`: I'd love to know if I am wrong, please! 11:57 didi`: (still incorrect, though) 11:57 (quit) ijp: Ping timeout: 246 seconds 11:58 bremner: that web site looks like nonsense to me. 11:58 anonymou1: didi`: AFAIK, even if they say that the word "cat" means a computer, then the word "cat" means a computer 11:58 bremner: a real authoritative english dictionary would give information on the origin and early usage of the word 11:58 anonymou1: didi`: why do you think I am wrong? 11:58 anonymou1: bremner: OED does. 11:58 anonymou1: but this is free one 11:58 anonymou1: the* 11:58 didi`: anonymou1: Because that is not the correct definition of "hacker". That's all. 11:59 bremner: anonymou1: it seems to be not very good, the free one. 11:59 anonymou1: didi`: who defines English words? 11:59 asumu: http://www.catb.org/jargon/html/H/hacker.html 11:59 didi`: anonymou1: I don't know. 11:59 didi`: People? 11:59 anonymou1: didi`: AFAIK, Oxford 11:59 soegaard: asumu: thanks 11:59 anonymou1: asumu: this is _slang_ 12:00 anonymou1: and has just the same authority as me, AFAIK 12:00 anonymou1: if I say that the word "cat" means a computer, it will be slang. 12:00 anonymou1: Oxford English Dictionary, AFAIK, defines 12:01 Cryovat: No matter how hard we try, we'll never win the word "hacker" back from Hollywood 12:01 didi`: Cryovat: But we can still have internal consistency. 12:01 Cryovat: That's true 12:02 bremner: Cryovat: we don't have to endorse it as "correct", though. We could call it the "Hollywood definition" 12:02 Cryovat: Hehe, yeah 12:02 Cryovat: Although, I kind of wish I lived the life of Hollywood hackers ;) 12:02 Cryovat: Seen Swordfish? :D 12:04 bremner: anonymou1: it's pretty far offtopic, but in general, English is not nearly as prescriptive as other languages that I know (e.g. French and German); it is more of a concensus language. 12:04 anonymou1: Does anyone know who defines? 12:04 (join) mizu_no_oto 12:05 bremner: the (real) OED is consider authoritative in Britain, I suppose; in the US, people defer more to websters. In both cases, neither is very authoritative for "current" vocabulary. 12:06 bremner: Some people think the Chicago manual of style is the final answer, others think it has a lot of foolish things in it. 12:08 (quit) mizu_no_oto: Read error: Connection reset by peer 12:12 (join) tcsc 12:13 anonymou1: ...I thought OED is the topmost authority... Ok. Thank you. I am very sad. But if anyone can still say me(not in this channel, but maybe in private, how can I know what does the word hacker _really_ means, and why OED is incorrect, and improve my sceptic skills, I would be extremely grateful. English is not my native, and I thought that perfect way to study is to study by OED, because OED just can not make the mistakes. 12:13 anonymou1: So, a skeptic should go to OED. 12:14 bremner: anonymou1: many technical fields have jargon, which is used in a different or more precise sense than will be found in a general purpose dictionary. 12:16 anonymou1: I'd like to read instructions on topic "How to become a hacker"(in whole and the Racket one) and "How I became one", "Mistakes that are possible when you are going to become one", etc. If you have something to recommend, please... 12:16 (join) gridaphobe 12:17 anonymou1: bremner: I thought only great instututes like ISO and similar authorities can define the official technical jargon... 12:18 anonymou1: So, this is the way a perfect skeptic behaves, I expected... 12:19 (quit) bitonic: Remote host closed the connection 12:19 (join) bitonic 12:23 bremner: well, maybe ##english would be a more helpful channel for this topic. 12:24 didi`: anonymou1: Well, you might want to take a look at , but that's totally off-topic. 12:25 didi`: anonymou1: Answering your question, Eric Raymond has a famous essay that you probably have already found: 12:29 (join) mizu_no_oto 12:31 (quit) jeapostrophe: Ping timeout: 246 seconds 12:33 (join) ijp 12:45 (quit) rins: Ping timeout: 276 seconds 12:50 (join) rins 12:53 (quit) Shviller: Ping timeout: 248 seconds 12:54 (join) Shviller 13:01 (quit) anonymou1: Ping timeout: 244 seconds 13:04 (join) sirdancealot 13:06 (join) Kaylin 13:07 (join) anonymou1 13:07 (join) dnolen 13:08 anonymou1: thank you very much! 13:09 (quit) mizu_no_oto: Read error: Connection reset by peer 13:10 (quit) didi`: Ping timeout: 260 seconds 13:14 (quit) tcsc: Quit: computer sleeping 13:16 (join) mizu_no_oto 13:16 anonymou1: I was AFK and had some technical problems. If someone has sent me a private message, I'd be grateful if you to sent it to me again 13:17 (join) tcsc 13:18 offby1 sends anonymou1 an invitation to buy cut-rate pharmaceuticals 13:19 ijp sends anonymou1 a recipe for a chicken-omelette, and a call to take part in the great anti-vim jihad 13:27 (join) jeapostrophe 13:28 offby1: your call to jihad is misdirected. 13:28 Cryovat: You really don't want to use that word on IRC 13:28 Cryovat: Next thing you know, there's a black van parked across the street :P 13:29 offby1: With Herc and Carver in eat, fighting over the french fries 13:29 ijp: it's already there; they brought brownies, and came in to watch the rugby 13:29 offby1: s/eat/it/ 13:29 Cryovat: Haha 13:29 ijp: you people are far too untrusting...wait, where'd my hard drive go 13:30 offby1: http://www.youtube.com/results?search_query=herc+and+carver for the unilluminated 13:35 (join) sysopfb 13:37 (quit) mizu_no_oto: Read error: Connection reset by peer 13:38 (quit) sysop_fb: Ping timeout: 245 seconds 13:39 (join) anttih 13:41 (join) trep 13:43 (join) mizu_no_oto 13:44 (quit) sysopfb: Ping timeout: 276 seconds 13:46 (nick) trep -> sysop_fb 13:46 (join) jonrafkind 13:48 (quit) rins: Ping timeout: 244 seconds 13:51 (join) rins 13:54 (quit) mizu_no_oto: Ping timeout: 252 seconds 14:04 (join) mizu_no_oto 14:04 (join) francisl 14:08 (quit) mizu_no_oto: Ping timeout: 240 seconds 14:12 (join) mizu_no_oto 14:14 (quit) francisl: Quit: francisl 14:27 (quit) bitonic: Ping timeout: 240 seconds 14:30 (quit) mizu_no_oto: Ping timeout: 252 seconds 14:33 (join) mizu_no_oto 14:40 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 14:43 (quit) gridaphobe: Remote host closed the connection 14:44 (join) gridaphobe 14:44 (quit) jonrafkind: Ping timeout: 276 seconds 14:44 (join) francisl 14:46 (join) mizu_no_oto 14:46 (quit) Kaylin: Read error: Connection reset by peer 14:48 (quit) gridaphobe: Ping timeout: 256 seconds 14:54 (quit) francisl: Quit: francisl 15:02 (quit) jeapostrophe: Ping timeout: 255 seconds 15:07 (quit) mizu_no_oto: Read error: Connection reset by peer 15:12 (join) bitonic 15:17 (join) ijp` 15:19 (quit) ijp: Ping timeout: 246 seconds 15:22 (join) gridaphobe 15:26 (nick) ijp` -> ijp 15:41 (join) Guest80781 15:45 (join) mizu_no_oto 15:48 (join) Kaylin 15:48 (quit) Guest80781: Quit: Guest80781 15:52 (join) ijp` 15:53 (quit) cdidd: Remote host closed the connection 15:54 (quit) mizu_no_oto: Ping timeout: 252 seconds 15:56 (join) mizu_no_oto 15:59 (nick) ijp` -> ijp 16:03 (quit) Kaylin: Quit: Leaving. 16:03 (quit) bitonic: Remote host closed the connection 16:12 Nisstyre-laptop: Okay, I just started using Typed Racket. Why can't it infer the type of "(define (foo a b) (+ b a))" ? 16:12 (quit) rins: Ping timeout: 255 seconds 16:13 Nisstyre-laptop: It's apparently assuming that the type is any...but should the type of + not be unifiable with that? 16:14 (quit) mizu_no_oto: Read error: Connection reset by peer 16:17 (join) rins 16:19 (join) mizu_no_oto 16:21 (join) bitonic 16:24 asumu: Nisstyre-laptop: TR's inference is only local, so you generally need to annotate top-level definitions like that. 16:26 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 16:26 Nisstyre-laptop: asumu: okay 16:27 Nisstyre-laptop: asumu: how can I (:print-type) local definitions? 16:33 Nisstyre-laptop: asumu: is it just me or is the type checker really slow as well? 16:34 (join) jonrafkind 16:37 (join) samth_ 16:43 (join) mizu_no_oto 16:43 (join) didi` 16:44 (quit) Nisstyre-laptop: Read error: Connection reset by peer 16:45 (join) Nisstyre-laptop 16:48 (quit) Demosthenex: Ping timeout: 264 seconds 16:49 (join) bitonic` 16:50 (join) Demosthenex 16:51 (quit) bitonic: Ping timeout: 252 seconds 16:53 (join) eikonos 16:53 (quit) eikonos: Changing host 16:53 (join) eikonos 16:56 (quit) bitonic`: Ping timeout: 245 seconds 17:04 (join) bitonic` 17:05 (join) rbarraud__ 17:19 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 17:26 (quit) eikonos: Quit: Leaving. 17:35 (join) jao 17:35 (quit) jao: Changing host 17:35 (join) jao 17:38 (join) eikonos 17:38 (quit) eikonos: Changing host 17:38 (join) eikonos 17:50 (join) mizu_no_oto 17:53 (join) bitonic`` 17:55 (quit) bitonic`: Ping timeout: 246 seconds 17:57 (quit) mizu_no_oto: Read error: Connection reset by peer 18:02 (join) mizu_no_oto 18:03 (quit) mizu_no_oto: Read error: Connection reset by peer 18:09 (join) mizu_no_oto 18:09 (quit) soegaard: Quit: soegaard 18:13 (quit) vkz: Quit: vkz 18:13 (quit) bitonic``: Ping timeout: 244 seconds 18:25 (quit) mizu_no_oto: Ping timeout: 255 seconds 18:30 (join) mizu_no_oto 18:34 (join) Kaylin 18:35 (quit) fasta: Remote host closed the connection 18:35 (join) fasta 18:36 (quit) rbarraud__: Ping timeout: 255 seconds 18:38 (quit) didi`: Ping timeout: 264 seconds 18:40 (join) didi` 18:42 (nick) didi` -> didi 18:45 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 18:51 (quit) bjz: Ping timeout: 248 seconds 18:52 (quit) rins: Ping timeout: 245 seconds 18:56 (join) bjz 18:58 (join) rins 19:18 (join) Kaylin1 19:19 (join) bitonic 19:20 (quit) Kaylin: Ping timeout: 244 seconds 19:34 (join) Kaylin 19:37 (quit) Kaylin1: Ping timeout: 276 seconds 19:52 (join) mizu_no_oto 19:53 (quit) bitonic: Read error: Operation timed out 19:55 (join) kvda 20:01 (join) Kaylin1 20:03 (quit) Kaylin: Ping timeout: 245 seconds 20:35 (join) Kaylin 20:36 (quit) Kaylin1: Ping timeout: 245 seconds 20:42 (quit) bjz: Ping timeout: 256 seconds 20:42 (join) bjz 20:49 (join) Drvibe 21:03 (join) dauterive 21:10 (quit) kvda: Quit: z____z 21:20 (join) kvda 21:23 (quit) gridaphobe: Remote host closed the connection 21:24 (join) gridaphobe 21:26 (join) rbarraud__ 21:28 (quit) gridaphobe: Ping timeout: 255 seconds 21:30 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 21:37 (join) mizu_no_oto 21:37 (quit) mizu_no_oto: Client Quit 21:48 (join) bjz_ 21:48 (quit) bjz: Read error: Connection reset by peer 21:52 (join) mizu_no_oto 21:52 (join) francisl 22:07 (quit) francisl: Quit: francisl 22:08 (quit) samth_: Ping timeout: 256 seconds 22:09 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 22:29 (join) mizu_no_oto 22:30 (quit) eikonos: Quit: Leaving. 22:30 (quit) mizu_no_oto: Client Quit 22:32 (join) mizu_no_oto 22:33 (quit) Kaylin: Quit: Leaving. 22:33 (quit) mizu_no_oto: Client Quit 22:36 (quit) kvda: Quit: z____z 23:04 (join) kvda 23:04 (quit) kvda: Excess Flood 23:04 (join) kvda 23:04 (quit) kvda: Excess Flood 23:05 (join) kvda 23:05 (quit) kvda: Excess Flood 23:10 (join) eikonos 23:10 (quit) eikonos: Changing host 23:10 (join) eikonos 23:33 anonymou1: "Since a Racket list is a linked list, the two core operations on a non-empty list are" 23:34 anonymou1: the term "linked list" is new here. 23:34 anonymou1: It can be selected to show 23:41 (join) mizu_no_oto 23:45 (quit) Drvibe: Ping timeout: 246 seconds 23:45 (quit) mizu_no_oto: Client Quit 23:45 (quit) rmathews: Quit: ... 23:45 (join) Drvibe 23:46 (quit) dauterive: Ping timeout: 255 seconds 23:47 (join) dauterive 23:48 (quit) anonymou1: Quit: leaving 23:48 (join) anonymou1 23:51 (quit) Drvibe: