00:02:58 there's a new irritating near-ultrasound in my room and it disappears when i turn off the laptop :( 00:03:54 so its not your laptop but your laptop makes it happen? 00:04:21 it 00:04:31 's difficult to pinpoint the sound 00:04:35 hmm 00:05:23 use your tricorder 00:05:31 wat :P 00:06:45 hmm ok ok .. maybe what you need is a microphone which can detect this noise 00:07:06 -!- copumpkin has changed nick to imsaguy. 00:07:07 Fry some stereocilia 00:07:10 -!- imsaguy has changed nick to copumpkin. 00:07:33 and the microphone needs a way to be tracked within space 00:07:54 so that you can sweep the microphone around the room and create a map of the noise levels 00:09:50 perhaps the sound has always been there, and i just now noticed it... 00:09:56 files the issue as resolved on redmine 00:10:29 oerjan: highly unlikely 00:10:38 er perhaps it's resonating with something in the room of the new housemate 00:10:44 *or 00:10:49 oerjan: hmmmmm i will say this much 00:11:12 my mum's radio... occasionally it has some specific interference 00:11:47 sounds almost like a decreasing frequency like pee-eooooOOOOOOOOOWWWW 00:12:08 my onomatopoeia probably doesn't help 00:13:17 this sound resembles slightly the sound of glasses vibrating while they touch, but much weaker (and i checked the kitchen) 00:13:33 im so bad at conversation 00:14:01 anyway.. it seems that the revealed facts are 1) that it correlates with the on-ness of your laptop 00:14:16 and the strength changes greatly when i turn my head 00:14:45 but its not actually from your laptop right? 00:14:55 like if you took your laptop outside it would go away 00:14:55 i cannot tell for sure 00:15:04 etc 00:15:24 hmm 00:15:32 it _does_ seem strongest next to the fan, although the usual fan sound overwhelms it 00:16:22 if you want to eavesdrop on walls, what i saw on tv is that the best solution is a thin paper cup 00:16:32 heh 00:16:34 or something of that sort 00:19:01 your theory about housemate's room sounds the best 00:20:05 except it doesn't actually get stronger toward that wall 00:21:48 i think you should try standing on different sides of doors, with the laptop in different locations 00:21:54 i lifted it and now it's started that clicking it sometimes does again 00:22:02 heh 00:22:18 it's almost like a game of clue/cluedo 00:28:29 What's the difference between Clue and Cluedo 00:28:37 Also, people here know about Magic the Gathering being TC? 00:28:55 zzo does, but I don't. 00:29:08 Sgeo: I mentioned it earlier today. 00:29:26 Sgeo: Clue is the US name for Cluedo, IIRC. 00:33:54 i don't percieve cluedo as entertaining 00:37:24 basically any game which ends up being about finding the most efficient algorithm, i find that whole view of gameplay very lifeless 00:38:06 You must hate chess. 00:38:14 I assume itidus20 wouldn't like BFJoust 00:38:24 (Although I wouldn't call that "finding an efficient algorithm" 00:40:42 so when a baseball player hits a homerun, i do like the fact that they run around the bases even though the other team can't do anything to them 00:42:50 -!- Jafet has quit (Quit: Leaving.). 00:44:13 -!- Nisstyre has joined. 00:46:19 i think growing up i always expected games to have more to them 00:46:41 considering how big a part they are of international culture and all 00:48:20 the universe itself dissapointed me in regards to games 00:48:41 i guess similarly to the way that in the end matter turned out to be just atoms 00:49:02 or maybe particles is the word 00:50:44 memories and emotions turned out to be neurons 00:51:15 everything in this way is dull and dissapointing 00:51:38 Whaddya mean, disappointing? 00:51:53 Would you prefer a universe run by Ancient Greek physics? 00:56:33 humm.. brb making coffee 00:58:08 Perhaps a universe that doesn't actually behave in any way. 01:04:46 the ramblings of a depressed anxiouser 01:05:03 i was getting off topic though 01:05:07 * oerjan wonders if itidus20 would like nomic 01:05:13 the point is games do behave in a specific way 01:05:27 and humm 01:05:42 hummm 01:05:57 oerjan: the secret is that nothing needs to change except my point of view 01:06:07 it's very much not about finding an efficient algorithm :) 01:06:31 unless you happen to find a scam that requires one, of course 01:07:28 i don't think i hate chess itself, but more struggle with multiplayer games 01:07:34 oerjan: the secret is that nothing needs to change except my point of view <-- ah i've tried that. and then my body starts protesting. 01:07:45 lol 01:07:58 itidus20, try Game of Life. It's a 0 player game! 01:08:00 or something unbelievably irritating happens that destroys my patience to keep the change 01:08:27 it's very nice the first minutes, however. 01:08:33 i am unable to detach from real life while playing multiplayer games 01:09:00 presumably i'm doing it wrong somehow. 01:09:51 however there is something written somewhere about some important person who would lose his temper if he lost at chess 01:09:57 itidus20: ah there's a paradox then - single-player games have even more fixed rules (unless you're just making things up) 01:10:25 so my issue isn't even with the games, but with the socializing 01:10:26 and so become even more about perfecting your algorithm 01:11:14 its kinda like... if i would step out of your way on a street.. then i don't want to defeat you in a game 01:11:25 -!- copumpkin has quit (Ping timeout: 260 seconds). 01:11:26 itidus20: i also have trouble with multiplayer games where i need to out-think other people to have any chance of winning 01:11:37 something screwy like that 01:12:08 my brother has been trying to help me with this 01:12:30 when we played some game he was like "if you don't defeat me i will kick your ass" 01:12:31 i was going to respond something but got a pain in my heart, so i guess intuition doesn't want me to 01:13:28 -!- copumpkin has joined. 01:13:31 so he has matured a lot since we were kids 01:14:13 he used to use the "if i hit reset i didnt lose" approach :D 01:14:16 on people 01:15:44 * oerjan learns about ]p in vim 01:15:49 oerjan: uh.. i think in general i need to learn to be competitive 01:16:19 something tells me i've made haskell editing more painful without it... 01:16:27 naturally one can't enjoy a game if one is not competitive... 01:16:38 maybe that is why i described them as dissapointing 01:16:55 oh. i have sort of a moral disgust against being competitive. 01:17:10 so why do you win? 01:17:35 by playing reasonably well and having luck, i guess. 01:17:49 not that i play much these days. 01:17:52 humm 01:18:21 yeah, i guess being competitive over a game of chance is silly 01:19:06 :-j 01:19:08 What's ]? 01:19:10 or by being so much smarter i don't _have_ to try that hard, occasionally. 01:19:20 And itidus20 have you ever played Backgammon? 01:19:27 It's a combination skill and luck game 01:19:32 Sgeo: ]p is like p, but adjusts indentation 01:19:34 Not sure if that's the sort of game you'd like 01:19:37 What does p do? 01:19:43 pastes 01:19:59 Sgeo: i have revised my views... it seems that i am not dissapointed with the universe... 01:20:57 i am! 01:21:05 * oerjan crawls back under rock 01:21:06 but i don't get the maximum enjoyment from games because of reasons like not wanting to anger my opponent or not playing with a sense of competitiveness 01:21:07 o.O wait how did I just change itidus20's mind? 01:21:28 I wasn't trying to, or anything 01:21:33 Or disagreeing with anything 01:22:03 also.. i think i get impatient with losing 01:22:59 on a single player game that is 01:23:06 im not sure how i feel about losing in multiplayer 01:25:19 Sgeo: i love to consider things like games being constituted of a combinatin of skill and luck... but i get worn out before i can analyze such ideas in full 01:27:13 Well, in Backgammon, each player rolls dice, which determines what moves they can make. Sometimes the dice might be unhelpful. However, there are usually choices. 01:27:51 Thus, in an individual game, luck might play a large role, but in theory, it should even out, resulting in the more skilled player winning more often on average. 01:27:57 there is this document which was on a 486 machine i once spewed so much writing into... no idea what i wrote... and i lost it 01:28:04 i always wonder just what the hell i said 01:35:19 kmc: Turns out screen doesn't support non-BMP characters. 01:36:17 ok i must kfc 01:36:47 i tried watching a peta page showing workers kicking live chickens but it wasn't enough to stop me 01:37:03 they have kfc in australia? 01:37:26 yes.. we have pizza hut, kfc, subway, mcdonalds, burgerking (as hungry jacks) 01:38:05 Sgeo: i love to consider things like games being constituted of a combinatin of skill and luck... but i get worn out before i can analyze such ideas in full 01:38:23 how can someone be so self-aware of all their problems and yet be totally unable to act upon them 01:38:26 i mean seriously 01:38:31 have you not thought 01:38:55 "maybe i could stick at something and see if something interesting comes out of it" 01:39:03 ill reply within a few hours 01:39:07 "it can't be much worse than what i do now" 01:39:09 kfc calls 01:42:09 -!- Jafet has joined. 02:03:57 shachaf: sucks :/ 02:20:18 -!- DHeadshot has quit (Read error: Connection reset by peer). 02:20:42 -!- DHeadshot has joined. 02:24:02 -!- Nisstyre has quit (Quit: Leaving). 02:24:55 -!- Nisstyre has joined. 02:35:04 -!- meredithMM has joined. 02:35:34 hey check out the newest mega uploaad style site at http://orfeas.civil.auth.gr/ 02:35:34 -!- meredithMM has left. 02:36:06 O KAY 02:38:22 So it'll also be closed by a court? 02:40:24 nah it's in greece they cannot afford courts any more 02:41:51 It'll be closed by a tribunal of mules. 02:42:05 sounds kick-ass 02:54:11 wait i should not have clicked that link 02:54:14 am i hacked now 02:55:43 it all happened so fast i didnt even stop to look at which chatter posted it 02:55:51 but i didnt click on it cos i was afk 02:56:31 -!- DHeadshot has quit (Ping timeout: 246 seconds). 02:58:14 kmc: U R HAX0R Y3S 02:59:48 hacked by greek 03:00:32 it sounds like an official govt domain 03:00:40 did they get hacked or did they just leave some internal app open due to stupid 03:01:06 -!- DHeadshot has joined. 03:04:22 kmc: its possible that its legitimate right? 03:05:50 lol 03:06:13 oh yeah it might be govt run honeypot site 03:06:44 MEGA WAREZ UPLOAD SITE @ https://copyright.cybercrime.fbi.gov 03:08:32 the ip of meredithMM is in greece at least 03:09:17 kmc: is it really an upload site? 03:09:27 or looking like one 03:09:44 kinda 03:09:47 i didn't look very long 03:13:50 hmm 03:14:02 the fact that it was advertised by a bot doesn't necessarily mean it's bad 03:14:19 but it does kind of imply something or other 03:17:03 but theres this 03:17:07 http://4chandata.org/g/Hey--g--just-wrote-this-file-sharing-app-lets-you-transfer-files-behind-firewallrouters-etc-and-trying-to-crash-test-it-http--orfe-a2063 03:18:32 -!- Phantom_Hoover has quit (Remote host closed the connection). 03:19:48 .... i mean.. i gotta stop posting 03:23:45 That site doesn't look like "mega uploaad" at all. 03:41:47 Suddenly it occurs to me that our senior project idea may be bad 03:46:37 which is? 03:46:38 -!- kmc_ has joined. 03:46:59 hi kmc 03:47:01 hi kmc_ 03:47:06 -!- kmc has quit (Quit: leaving). 03:48:36 -!- kmc_ has quit (Client Quit). 03:48:58 hm 03:49:38 -!- kmc has joined. 03:51:20 kmc did you get my msg? 03:51:47 yeah 03:54:06 -!- MoALTz has joined. 04:16:00 -!- impomatic has left. 04:24:37 Under what circumstances will email things such as gmail file away fake From headers as spam? 04:24:47 Because I just sent a fake From, and it wasn't filed as spam 04:25:23 @ask Sgeo did you get my msg? 04:25:23 Consider it noted. 04:25:45 shachaf, I can only assume that there was no such message 04:25:45 Sgeo: You have 1 new message. '/msg lambdabot @messages' to read it. 04:27:06 @messages 04:27:06 shachaf asked 1m 43s ago: did you get my msg? 04:27:30 @quote Sgeo 04:27:30 No quotes match. You speak an infinite deal of nothing 04:33:07 Automatic mailers use fake From headers 04:33:16 ...well, that happens to include automatic spam mailers 04:38:05 @quote itidus 04:38:05 No quotes match. Wrong! You cheating scum! 04:38:08 @quote itidus21 04:38:08 No quotes match. It can only be attributed to human error. 04:38:13 @quote itidus20 04:38:13 No quotes match. My mind is going. I can feel it. 04:38:58 @quote Jafet 04:38:58 Jafet says: In soviet russia, State safely executes you 04:39:15 @quote oerjan 04:39:15 oerjan says: i only do impractical things 04:39:19 What a quote! 04:39:29 @quote shachaf 04:39:29 shachaf says: Haskell's type system is the perfect mix of useless and stupid. 04:39:34 :-( 04:39:36 `quote 04:39:36 `quote 04:39:36 `quote 04:39:37 `quote 04:39:40 `quote 04:39:56 `echo hi 04:39:59 `run ls 04:40:03 9) Lil`Cube: you had cavity searches? not yet trying to thou, just so I can check it off on my list of things to expirence 04:40:14 hi 04:40:30 What! 04:40:37 588) if all my Facebook friends were to visit a page, it wouldn't make any difference at all 04:40:38 @quote dons 04:40:38 dons says: that's 3 things i've never seen in the one sentence before: my assembler .. a bunch of type classes .. a natural syntax 04:40:42 693) well, i have to assume if i'm going to make any asses 04:40:44 516) this reminds me of a time where this guy made up a pretend language that was in his fantasy world and then roleplayed as someone from his fantasy world who used the language and then tried to talk to me about the language 04:40:46 200) oerjan: What, can girls aim their penises better? 04:40:48 bin \ canary \ foo \ karma \ lib \ paste \ quotes \ share \ wisdom \ zalgo.hs 04:41:30 the quotes must have been cleaned up 04:42:25 -!- itidus20 has changed nick to itidus21. 04:43:46 -!- MoALTz has quit (Ping timeout: 246 seconds). 04:46:12 `quote tidus 04:46:17 435) to assume that someone can be described by a rule without exception... is to assume they are omnipotent for instance stones are omnipotent, as they don't do anything, without exception \ 457) monqy: last night in my dreams I saw a false photo album of my childhood... looking ghostly \ 458) itidus20: i saw a dancing cgi skeleton named malaria. i danced and played with him. 04:46:45 weird 04:46:56 ohh i see 04:47:02 @quote vs `quote 04:47:02 No quotes for this person. You speak an infinite deal of nothing 05:02:12 No results found for "get high and watch bill nye". 05:02:14 how can this be?!? 05:02:30 "I don't know anything about science!" Bill denied. 05:02:57 `pastelog bill nye 05:03:23 i probably used the wrong thing 05:03:28 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.22233 05:04:09 `pastelog hackego 05:04:15 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.18732 05:07:10 `esolang brainfuck 05:07:13 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: esolang: not found 05:07:22 deprecated! 05:08:47 -!- Jafet has quit (Ping timeout: 245 seconds). 05:09:27 `zalgo.hs 05:09:30 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: zalgo.hs: not found 05:11:50 `wiki brainfuck 05:11:53 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: wiki: not found 05:12:01 ^show 05:12:09 no fungot :( 05:12:16 `ls bin 05:12:20 ​? \ @ \ 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 05:12:37 aha 05:12:42 `log bill nye 05:12:43 `run ls bin | tail 05:12:58 2012-09-12.txt:05:02:12: No results found for "get high and watch bill nye". 05:13:01 translatefromto \ translateto \ units \ url \ welcome \ wl \ word \ words \ wtf \ WELCOME 05:13:22 `run ls bin | paste 05:13:26 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.29921 05:13:54 `WELCOME 05:13:59 ​WELCOME TO THE INTERNATIONAL HUB FOR ESOTERIC PROGRAMMING LANGUAGE DESIGN AND DEPLOYMENT! FOR MORE INFORMATION, CHECK OUT OUR WIKI: HTTP://ESOLANGS.ORG/WIK 05:14:25 `quoerjan 05:14:28 7) what, you mean that wasn't your real name? Gosh, I guess it is. I never realized that. \ 18) oerjan: are you a man, if there weren't evil in this kingdom to you! you shall find bekkler! executing program. please let me go... put me out! he's really a tricycle! pass him! \ 21) In an alternate universe, ehird has taste \ 22) IN AN ALTERNATE UNIVERSE: In an alternate 05:14:30 `quachaf 05:14:34 575) elliott: GHC bug? Come on, it's the parentheses. The more parentheses you add, the closer it is to LISP, and therefore the more dynamically-typed. \ 618) Real Tar is GNU tar. You just ignore whichever features don't make you feel superior enough. \ 652) VMS Mosaic? I hope that's not Mosaic ported to VMS. Hmm. It's Mosaic ported to VMS. 05:17:00 `quoerjandom 05:17:03 842) < oerjan> Gregor: hey no fair doing ungoogleable citations 05:19:12 -!- Eladith has quit (Quit: leaving). 05:20:53 -!- Jafet has joined. 05:26:47 I officially fucking hate Pusher 05:28:10 Pusher is a hosted API for quickly, easily and securely adding scalable realtime functionality to web and mobile apps. 05:28:11 -!- Sgeo_ has joined. 05:28:29 Pusher is a hosted API for quickly, easily and securely adding scalable realtime functionality to web and mobile apps. 05:28:33 -!- Jafet has quit (Quit: Leaving.). 05:28:56 Yes, and it doesn't work in the Android browser unless Flash is installed. 05:29:44 what is a hosted API? 05:30:36 i am not sure that i want to know the answer to the question i just asked 05:31:01 it's a very hostile question 05:31:45 -!- Sgeo has quit (Ping timeout: 276 seconds). 05:32:07 it sounds highly dubious 05:34:19 " Note that the standard actually discourages developers from using Application Extension Blocks, and instead recommends that they embed the GIF format in their own file formats" 05:34:30 so why have them at all? 05:38:09 i am not sure that i want to know the answer to the question i just asked.. 05:38:37 I think a hosted API is one where you send messages to a server somewhere and it responds 05:38:57 yeah.. sort of like an alternative name for web services eh 05:39:00 Rather than accessing it by using a library on the computer you're using the API on 05:39:02 I may be wrong 05:39:12 But I'm not pissed at the hosted nature. 05:39:34 I'm pissed at the client-side Javascript library being poorly thought out. 05:39:48 In a way that actually has a real impact on users. 05:40:05 Pusher says they'll take care of all the compatibility stuff, but they lie 05:55:59 @sgeo http://geektyrant.com/storage/2011-post-images/pusher-remake-trailer.jpg?__SQUARESPACE_CACHEVERSION=1329273428443 05:55:59 Unknown command, try @list 05:58:09 http://ricecooker.kerbau.com/wp-content/uploads/2011/06/2010_03_pusher_cd-570x570-300x300.png 05:59:14 shachaf: i think its only a matter of time now for gif to become flash 06:06:59 i don't really think that 06:17:58 -!- Jafet has joined. 06:20:34 -!- DHeadshot has quit (Ping timeout: 246 seconds). 06:25:29 -!- nooga has joined. 06:30:09 -!- nooga has quit (Ping timeout: 260 seconds). 06:30:29 -!- nooga has joined. 06:37:50 -!- nooga_ has joined. 06:40:59 -!- nooga has quit (Ping timeout: 260 seconds). 06:42:51 -!- nooga has joined. 06:44:31 -!- nooga_ has quit (Ping timeout: 268 seconds). 06:47:50 -!- oerjan has quit (Quit: leaving). 06:51:19 -!- Nisstyre-laptop has quit (Ping timeout: 252 seconds). 06:56:10 -!- Nisstyre-laptop has joined. 06:58:05 -!- Slereah has joined. 06:58:47 -!- Slereah_ has quit (Read error: Connection reset by peer). 06:59:37 -!- Lumpio_ has joined. 06:59:38 -!- Lumpio- has quit (Remote host closed the connection). 07:02:26 -!- nooga_ has joined. 07:06:04 -!- nooga has quit (Ping timeout: 260 seconds). 07:18:11 -!- epicmonkey has joined. 07:29:12 -!- nooga_ has quit (Ping timeout: 252 seconds). 07:31:09 -!- nooga has joined. 08:02:04 -!- epicmonkey has quit (Ping timeout: 246 seconds). 08:08:16 -!- ntshan has joined. 08:10:48 is Scala considered esoteric? 08:11:09 Do you consider it esoteric? 08:11:36 You, ntshan, have the power. 08:11:42 Let's keep lining things up. 08:12:06 @wn esoteric 08:12:07 *** "esoteric" wn "WordNet (r) 3.0 (2006)" 08:12:07 esoteric 08:12:07 adj 1: confined to and understandable by only an enlightened 08:12:07 inner circle; "a compilation of esoteric philosophical 08:12:07 theories" [ant: {exoteric}] 08:12:33 So brainfuck hackers are enlightened? 08:13:50 heh well...adoption is increasing (scala) 08:17:36 The biggest lie in computing is the idea that there exists any library anywhere that is not an utter piece of garbage. 08:20:52 disagree...a fair amount of my dev experience is not reinventing the wheel 08:34:07 -!- Arc_Koen has joined. 08:34:46 hello 08:39:04 hi 08:52:37 Sgeo_: so following your last night discussion about backgammon, I think you might like Orwell Chess: http://www.chessvariants.org/large.dir/contest84/orwellchess.html 08:52:57 it's a three-player variant on a cylindric board, using dice 08:55:15 I came across it a couple years ago but never had an opportunity to play 09:06:37 -!- epicmonkey has joined. 09:07:06 -!- ntshan has left ("Leaving"). 09:11:58 -!- Jafet has quit (Quit: Leaving.). 09:36:49 -!- nooga has quit (Ping timeout: 260 seconds). 09:38:34 -!- nooga has joined. 10:20:28 How is ais523's turing machine controversial? 10:56:42 -!- spirity has changed nick to kallisti. 11:02:13 Because it needs another machine to prep it I think? 11:02:20 From what I remember 11:02:25 But a non-TC one 11:04:12 -!- Jafet has joined. 11:30:33 -!- impomatic has joined. 11:38:23 -!- Phantom_Hoover has joined. 11:42:48 i find the idea of finite things even more bizzare than infinite things 11:43:37 I'm sitting on a finite chair and it serves its purpose just fine 11:45:01 but it is constituted of a potentially infinite number of parts 11:45:29 each seemingly either bigger or smaller 11:46:44 I prefer to think of it as "just a chair" 12:00:47 -!- MoALTz has joined. 12:30:01 -!- KingOfKarlsruhe has joined. 12:41:08 -!- AnotherTest has joined. 12:44:44 -!- Sgeo__ has joined. 12:47:26 -!- AnotherTest has quit (Ping timeout: 240 seconds). 12:47:46 -!- Sgeo_ has quit (Ping timeout: 240 seconds). 12:47:47 -!- ion has quit (Ping timeout: 240 seconds). 12:47:47 -!- ineiros has quit (Ping timeout: 240 seconds). 12:48:07 -!- quintopia has quit (Ping timeout: 240 seconds). 12:48:50 -!- AnotherTest has joined. 12:49:08 -!- ineiros has joined. 12:49:59 -!- quintopia has joined. 12:52:21 -!- sirdancealot has quit (Ping timeout: 260 seconds). 12:56:14 -!- ion has joined. 13:11:17 -!- jix has quit (Ping timeout: 245 seconds). 13:11:38 -!- kinoSi has quit (Read error: Connection reset by peer). 13:11:55 -!- jix has joined. 13:12:07 -!- kinoSi has joined. 13:20:28 -!- impomatic has quit (Ping timeout: 252 seconds). 13:29:52 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 13:46:28 -!- FreeFull has joined. 13:51:04 -!- copumpkin has joined. 13:59:47 -!- david_werecat has joined. 14:04:05 -!- Jafet has quit (Quit: Leaving.). 14:26:33 > range &>:.:_@ 14:26:34 : parse error on input `@' 14:33:42 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.88.2 [Firefox 15.0.1/20120905151427]). 14:56:49 -!- Canaimero-f8c has joined. 14:57:12 -!- Canaimero-f8c has left. 15:01:21 erk, so close 15:01:33 I'm trying to make a truth-machine in Another Pi Language 15:02:10 the program is 32-bit long and I found the first 17 bits in the decimals of pi 15:02:19 I mean in the binary digits of pi 15:02:39 at position 30800ish 15:05:17 ok I found the first 22 bits on a webpage that had more digits (though did not number them so I have no idea of the position) 15:05:40 10 more bits and that would be the first Another Pi Language program!! 15:10:20 -!- KingOfKarlsruhe has joined. 15:17:07 -!- heroux has quit (Ping timeout: 240 seconds). 15:19:14 -!- heroux has joined. 16:45:30 -!- oklopol has joined. 16:48:18 Weird, properDivs x = nub $ init $ map (foldr (*) 1) $ subsequences $ primeFactors x doesn't work once you get rid of the x 16:51:42 Arc_Koen: over 10**13 digits of pi have been calculated 16:51:48 So you hvae plenty to look through 16:51:52 have* 16:52:16 well I need to find a web page with enough binary digits 16:53:24 the first page I looked into had only 32000ish and I found a 17bit sequence in it; the second had way more digits and I found a 22bits sequence in it, but I don't know how many digits there were exactly 16:54:19 assuming the binary digits really are random, I should probably calculate an how many digits I need to find my 32bit sequence with reasonable probabilities. 16:55:33 "The search string "0123456789" was not found in the first 2,000,000,000 decimal digits of Pi." 16:58:02 yeah and 10^10 and 2^32 are about the same 16:58:13 Just ask Google. "0123456789 occurs at 6214876462", from MathWorld. 16:59:11 Oh, that's not the number you care about. 17:00:59 http://wiki.answers.com/Q/Where_are_the_digits_0123456789_in_pi "Best answer" "There are no 0s in pi" riiight. 17:01:15 so I guess I need the first 40 000 000 000 binary digits 17:02:33 the sequence I'm searching for is 0110 0001 1100 1110 1111 1101 1100 1110 17:02:46 (or 61CEFDCE in hexadecimal) 17:02:47 -!- jiella has joined. 17:04:54 http://pi.nersc.gov/cgi-bin/pi.cgi?word=61CEFDCE&format=hex *waiting* 17:05:07 string does not occur in first 4 billion binary digits of pi 17:05:23 yeah well I said I needed the first 40 billions! 17:06:21 ohhhh great it found the first 28 bits 17:06:28 http://pi.nersc.gov/cgi-bin/pi.cgi?word=61CEFDC&format=hex 17:06:29 the first (decimal) zero is surprisingly far into pi, position 32 or whatever it is 17:06:54 well 32 when you have 1/10 doesn't see so far does it? 17:07:18 hmm unfortunately my program doesn't work without the last 4 bits 17:07:32 so I've been wondering... what's with the limes on the wiki? 17:10:11 olsner: it's not at all surprising, 0's occur in pi at rate 1/32. the proof doesn't fit in this irc message but i'm sure you can work it out. 17:10:11 search string (61CEFDC) found at binary index = 2869529096 17:10:32 haha oklopol 17:10:48 I wanted to use that argument to "prove" a joke language Turing-complete 17:11:23 the problem is anything fits on a wiki page :( 17:11:59 yup that's why it's still not proven TC :( 17:17:32 -!- epicmonkey has quit (Ping timeout: 246 seconds). 17:20:52 -!- olsner has quit (Ping timeout: 248 seconds). 17:28:50 -!- mtve has quit (Ping timeout: 244 seconds). 17:33:32 -!- olsner has joined. 17:37:08 -!- oerjan has joined. 17:38:59 -!- quintopia has quit (Ping timeout: 260 seconds). 17:39:19 ...at the precise moment i was planning to go early to bed in order to aim for a normal sleeping cycle next week, a housemate enters the house with a half dozen friends. 17:39:52 for the _first_ time since he moved in. 17:40:16 i think the universe wants me to miss next week's appointment. 17:40:36 so about this appointment 17:40:39 what appointment 17:40:41 hello oerjan 17:40:52 are you participating in the beer drinking and friending it up 17:41:25 and why do you have a housemate and how many housemates do you have and what's their name and what are all these questions 17:43:00 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.88.2 [Firefox 15.0.1/20120905151427]). 17:43:13 there are two housemates, i think their names are jürgen (he's german) and sondre. 17:43:28 i have them because my landlady wants money. 17:43:37 greedy bitch 17:44:05 -!- sirdancealot7 has joined. 17:44:26 i would just stop paying out of spite. you should pay how much you *want* to pay, not how much *the man* tells you to pay. 17:49:25 -!- quintopia has joined. 17:49:41 that should go down well. 17:56:32 Weird, properDivs x = nub $ init $ map (foldr (*) 1) $ subsequences $ primeFactors x doesn't work once you get rid of the x 17:56:55 you need to replace the $'s by .'s as well, if that's your problem 17:59:57 :t primeFactors 17:59:57 Not in scope: `primeFactors' 18:02:09 > map product . mapM (scanl (*) 1) . group . sort $ [2,2,3,5,5] 18:02:11 [1,5,25,3,15,75,2,10,50,6,30,150,4,20,100,12,60,300] 18:03:02 avoids the duplicates 18:09:06 -!- MoALTz_ has joined. 18:10:16 so I've been wondering... what's with the limes on the wiki? <-- the former wiki admin wanted a pretty picture, and found one on the internet (formerly on wikimedia iirc). nothing more to it. (i tried to make a pun out of it and it went horribly wrong.) 18:11:32 it's to prevent the wiki from getting scurvy 18:11:44 OKAY 18:11:45 since it doesn't eat any cabbage 18:12:23 you seem to be right, absolutely no cabbage on the wiki 18:12:35 -!- MoALTz has quit (Ping timeout: 272 seconds). 18:20:33 @yarr 18:20:33 Yeh scurvy dog... 18:21:00 -!- epicmonkey has joined. 18:21:31 O_o 18:21:36 shachaf: how did you do that. 18:21:50 @yarr 18:21:50 Aye Aye Cap'n 18:22:31 oerjan: Would you believe it's luck? 18:22:42 _possibly_. 18:22:55 I once convinced someone in #haskell that lambdabot's @slap had a special-case that would always refuse to @slap me. 18:23:11 > "> @" 18:23:12 "> @" 18:23:22 > ord <$> "> @" 18:23:23 [62,32,64] 18:23:26 hm... 18:23:34 !echo (test) 18:23:36 ​(test) 18:23:51 I think @yarr doesn't have a lot of possibilities, so it's not *that* unlikely that pure luck gives something relevant 18:24:00 > ord <$> "> ​(" 18:24:01 : 18:24:01 lexical error in string/character literal at chara... 18:24:05 @yarr 18:24:05 I want me grog! 18:24:06 @yarr 18:24:06 I'll keel haul ya fer that! 18:24:07 @yarr 18:24:07 May the clap make ye incapable of Cracking Jenny's Tea Cup. 18:24:07 @yarr 18:24:07 Well me 'earties, let's see what crawled out of the bung hole... 18:24:08 @yarr 18:24:08 Yeh scurvy dog... 18:24:10 @yarr 18:24:10 Smartly me lass 18:24:13 @yarr 18:24:13 Shiver me timbers! 18:24:15 @yarr 18:24:15 What be a priate's favourite cheese? 18:24:15 Yarrlsburg! 18:24:31 shachaf: ok the only way i could think of that you might have cheated wasn't right :P 18:24:50 Yarrlsburg :D 18:24:55 @ignore + oerjan 18:25:26 > 2+2 18:25:36 ok then 18:25:50 well i cannot prove you didn't use that method. 18:26:02 @ignore - oerjan 18:26:08 > 2+2 18:26:09 4 18:26:29 @v 18:26:29 "\"#$%&'()*+,\"" 18:26:43 @brain 18:26:43 I think so, Brain, but pants with horizontal stripes make me look chubby. 18:27:05 why did PEZ become ESME? 18:27:29 olsner: mutation. 18:28:08 ESME well be assumed. 18:46:17 I think Pusher was written in ESME 18:46:24 18:46:36 -!- AnotherTest has quit (Quit: Leaving.). 18:46:40 oh, ESME is a language? 18:48:18 No. It's a "language". 18:48:25 oerjan: a pun fail there too, hmm? I've already made some embarrisingly bad puns out of the lime thingy 18:48:47 Don't dignify it by putting it in the same category as PHP and COBOL. 18:49:06 I can't think of any puns related to limes, how do you do it? 18:49:06 It's not the PHP of Esolangs, that's an insult to PHP. 18:49:28 http://esolangs.org/wiki/Esme 18:49:32 insults to PHP are generally considered a good thing though 18:49:44 oerjan: the thing is though that every time I read something on the wiki, I get the stupid lime & coconut song stuck in my head 18:50:46 olsner: you just need to do some sublime thinking 18:50:57 (that was the pun that went horribly wrong btw) 18:51:09 jiella: if you ask nicely, can probably get elliott to make the wiki play lime in the coconut in the background 18:51:44 If an esolang is like the speech of a vapid person, Esme makes Snooki's talking sound like a PhD thesis. 18:52:07 Ok, so maybe I shouldn't insult people in my attempt to make fun of Esme. 18:52:36 that's just what esme does to you. 18:53:13 oerjan: aww, yours was about sublime too :( 18:53:20 I feel so unoriginal now 18:53:39 olsner, read of Esme and weep 18:54:06 olsner: noooo, I think I'll manage 18:54:19 I like the perl example though, it has an inkling of something very horrible 18:56:55 jiella: blimey! 18:57:29 Sgeo__, what if snooki reads this 18:57:44 -!- david_werecat has quit (Ping timeout: 268 seconds). 18:57:44 she would... probably be happy that she's still relevant to some people 18:59:10 -!- Nisstyre-laptop has quit (Quit: Leaving). 19:08:28 was the pun that if all the content in the wiki is under a lime then it's a sublime wiki 19:08:45 yes. 19:09:20 -!- david_werecat has joined. 19:10:11 -!- ogrom has joined. 19:14:24 oh, that was indeed a bad pun 19:17:02 bad puns are the best though 19:17:21 errr, sort of 19:19:13 or maybe it's just me 19:20:53 -!- KingOfKarlsruhe has joined. 19:27:52 IT'S NOT JUST YOU 19:30:03 yay 19:34:11 -!- ais523 has joined. 19:39:13 from the department of suspiciously specific spam: a spambot was advertising a way to smoke that !doesn't contain 4000 chemicals" 19:39:16 s/!/"/ 19:40:34 -!- atriq has joined. 19:52:27 ais523, hi. What's the controversy surrounding your UTM> 19:52:28 ? 19:56:11 @messages? 19:56:11 Sorry, no messages today. 19:56:38 @tell atriq not to be sad 19:56:38 Consider it noted. 19:56:50 @messages 19:56:50 hagb4rd said 12s ago: not to be sad 19:56:56 Oh no! 19:56:57 oerjan: primeFactors is part of Data.Numbers.Primes 20:00:45 ok 20:01:11 hey oerjan. have you done some more mario programming at last? 20:01:34 any results you can share? 20:01:59 not since this morning no. it doesn't interest me _that_ much. i'm currently looking at jolverine. 20:02:12 k 20:06:37 is oerjan writing his own mario game 20:07:05 no i "fixed" the truth machine for MarioLANG 20:14:50 -!- ogrom has quit (Quit: Left). 20:26:38 Yeah, a lot of my truth-machines should be taken with a grain of salt 20:32:39 Grrr. 20:32:57 I wrote them while over-excited and probably bored and tired 20:33:06 atriq, oerjan, any idea what the game referenced in Darths & Droids 775 is? 20:33:38 Nah 20:33:46 The forum doesn't have a clue either 20:34:10 Possibly Star Trek? 20:34:37 I can think of exactly one named pilot in Star Trek. 20:34:43 And I can't remember what his name actually was. 20:35:24 Checkov, Sulu... 20:35:56 pilots are usually named "Pilot" 20:36:00 * kmc deliberately misinterprets 20:36:37 atriq, wait I thought only one of them was a pilot. 20:36:44 I don't know! 20:36:46 Aaaah! 20:36:56 Also 'shellshocked pilot' makes it sound more like a fighter pilot. 20:37:00 Which is what I was talking about. 20:37:13 Aaah 20:37:30 -!- MoALTz_ has quit (Quit: Leaving). 20:38:30 oh, and I this shuttle set is built out of a repurposed ferengi shuttle set 20:38:44 _Lost_ is the only show I know of where the pilot is titled "Pilot" but this also works as a normal episode title 20:38:49 or repainted more than repurposed, perhaps 20:39:06 _Seinfeld_ had an episode called "The Pilot" in season 4 20:39:09 it's, like, meta, man 20:39:29 oh, it refers to that pilot? 20:39:55 atriq, (the named pilot I was talking about was the guy who Ezri investigates the death of in a DS9 episode.) 20:40:09 I'm not a huge star trek fan, I'm afraid 20:40:19 As in, I've watched the newest movie and maybe two episodes? 20:40:29 don't be afraid, star trek is nice 20:40:29 watch ds9! ds9 is good 20:40:32 just ask olsner 20:40:46 star trek, isn't that for nerds or something 20:41:07 Hmm 20:41:09 Firefly? 20:41:29 kmc: yes! 20:42:04 Reluctant doctor = Simon Tam, pilot = Wash, shellshocked pilot = River Tam, nurse = oh dear I don't know 20:42:18 uhhh 20:42:24 i know very little of firefly 20:42:30 It has fencing 20:42:31 Fighting 20:42:33 Revenge 20:42:36 Escapes 20:42:39 True love 20:42:45 But not many miracles 20:43:01 but the comic was about a game? not a sci fi series? 20:43:10 but i was under the impression that river tam mostly just kicked people and ticked boxes on whedon's list of fetishes 20:43:19 :D 20:43:32 She became the pilot at the end of the movie after spoilers happened 20:43:32 i wonder how many seasons firefly could have run before becoming shitty 20:44:03 i think the film basically demonstrates the hypothetical viability of a second season 20:44:09 beyond that, idk 20:45:12 olsner, D&D has this running joke where the characters reference other roleplaying games they've played. 20:45:34 And they're all real-world films or TV shows or whatever. 20:45:42 ok 20:45:47 The first one was Princess Bride and I think they just rolled with it. 20:46:05 Then it was a mash of Twilight and Van Helsing 20:46:18 Probably 20:46:43 twilight? wasn't that ages after your last d&d game? 20:47:03 * hagb4rd only knows that twilight movies 20:47:03 What? 20:47:12 We're talking about the webcomic Darths and Droids 20:47:25 aw 20:58:38 You know what would be cool? 20:58:52 A program that translated Turing machines into turing-complete languages 20:58:57 And possibly vice versa 21:05:38 -!- oerjan has quit (Quit: Good night). 21:12:04 -!- kinoSi has quit (Read error: Connection reset by peer). 21:12:18 Is there any way a scammer could get a .gov address? 21:12:31 -!- kinoSi has joined. 21:12:53 I'd guess probably 21:13:04 I'd also guess 21:13:06 goodnight 21:13:07 -!- atriq has quit (Quit: Leaving). 21:13:22 the US government is the largest employer in the USA 21:13:53 We got mail claiming to be a survey from the Dept. of Education 21:13:58 My dad says it sounds fishy 21:14:12 It mentions a .gov address, and said address does in fact mention a survey 21:14:47 judging by what we've heard about your school, there is obviously no dept. of education where you are 21:14:52 do they want any confidential info 21:15:01 obvious scam 21:16:26 First name, age, gender, schooling of 5 youngest children under 20 21:18:05 -!- epicmonkey has quit (Ping timeout: 240 seconds). 21:20:30 There was also a $5 bill enclosed 21:20:44 hahaha 21:20:48 that sounds fishy 21:20:55 was it a crisp $5 bill or like 21:20:59 a ratty one with drugs stains 21:21:00 Crisp 21:21:30 i wonder if gravatar has code to avoid generating swastikas 21:21:34 they sometimes get pretty close anyway 21:23:53 A counterfeit-detection pen costs ~ $4.29 21:24:04 But my dad wants one now that he know it exists 21:24:10 haha 21:24:17 nobody is going to counterfit fives anyway 21:24:19 but that's funny 21:24:52 i liked the thing i saw on CSI (which probably happens irl) where you bleach a real $5 and then print a counterfeit $20 on it 21:25:02 so it has the real paper 21:25:10 you can't do this with Euro notes because the more valuable ones are bigger 21:25:32 In Poland, 5zł is a coin 21:31:22 yep 21:31:52 that's less than €2 though 21:32:10 but it'll buy you about 5 beers 21:32:15 or more 21:33:24 I'm looking at the rules for use of US currency imagery 21:33:34 "[Window Title] 21:33:34 Microsoft Windows 21:33:34 [Main Instruction] 21:33:34 Close programs to prevent information loss 21:33:34 [Content] 21:33:35 Your computer is low on memory. Save your files and close these programs: 21:33:36 Google Chrome 21:33:38 [Close program] [Cancel] 21:33:40 [Footer] 21:33:44 oops 21:33:52 "all negatives, plates, positives, digitized storage medium, graphic files, magnetic medium, optical storage devices and any other thing used in the making of the illustration that contain an image of the illustration or any part thereof are destroyed and/or deleted or erased after their final use." 21:34:32 Weird that I was literally able to copy/paste a dialog box 21:34:56 that's always been supported, it's a neat feature 21:37:44 Anyways... the destruction of magnetic media 21:37:46 o.O 21:38:18 makes sense 21:38:22 Hmm, just the files, or the entire drive? 21:38:24 hard drives are cheap compared to the risk 21:38:28 probably the whole drive 21:38:59 hard to physically destroy files with confidence otherwise 21:39:26 It says "erased" too 21:39:38 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 21:39:41 So physical destruction isn't required, apparently 21:39:50 oh 21:39:51 lame 21:39:59 "any other thing" ... sounds like you have to destroy/delete/erase the internet if you download the imagery 21:42:03 or at least the parts of the internet that came in contact with some part of the illustration 21:42:48 MUAHAHA 21:49:19 bad things happen if you take things too literally 21:55:00 -!- nooga has quit (Ping timeout: 248 seconds). 22:01:32 -!- copumpkin has joined. 22:09:36 -!- jiella has quit (Quit: Leaving.). 22:12:06 -!- FreeFull has quit (Quit: Zzzzzzzzzzzzzzzzzzzz.). 22:12:29 -!- Nisstyre-laptop has joined. 23:05:06 olsner: If gravity was "used" in the making (for example, to keep people on the floor), you have to destroy it. 23:05:47 Oh, "that contain an image or any part". Aw. 23:06:17 Well, presumably they destroyed all computers and such that had the image in RAM. 23:33:15 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.88.2 [Firefox 15.0.1/20120905151427]). 23:33:17 olsner: lime puns are lame