00:02:58 <oerjan> there's a new irritating near-ultrasound in my room and it disappears when i turn off the laptop :(
00:03:54 <itidus20> so its not your laptop but your laptop makes it happen?
00:04:31 <oerjan> 's difficult to pinpoint the sound
00:06:45 <itidus20> 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 <Jafet> Fry some stereocilia
00:07:10 -!- imsaguy has changed nick to copumpkin.
00:07:33 <itidus20> and the microphone needs a way to be tracked within space
00:07:54 <itidus20> so that you can sweep the microphone around the room and create a map of the noise levels
00:09:50 <oerjan> perhaps the sound has always been there, and i just now noticed it...
00:09:56 <itidus20> files the issue as resolved on redmine
00:10:38 <oerjan> er perhaps it's resonating with something in the room of the new housemate
00:10:49 <itidus20> oerjan: hmmmmm i will say this much
00:11:12 <itidus20> my mum's radio... occasionally it has some specific interference
00:11:47 <itidus20> sounds almost like a decreasing frequency like pee-eooooOOOOOOOOOWWWW
00:12:08 <itidus20> my onomatopoeia probably doesn't help
00:13:17 <oerjan> this sound resembles slightly the sound of glasses vibrating while they touch, but much weaker (and i checked the kitchen)
00:14:01 <itidus20> anyway.. it seems that the revealed facts are 1) that it correlates with the on-ness of your laptop
00:14:16 <oerjan> and the strength changes greatly when i turn my head
00:14:45 <itidus20> but its not actually from your laptop right?
00:14:55 <itidus20> like if you took your laptop outside it would go away
00:14:55 <oerjan> i cannot tell for sure
00:15:32 <oerjan> it _does_ seem strongest next to the fan, although the usual fan sound overwhelms it
00:16:22 <itidus20> if you want to eavesdrop on walls, what i saw on tv is that the best solution is a thin paper cup
00:19:01 <itidus20> your theory about housemate's room sounds the best
00:20:05 <oerjan> except it doesn't actually get stronger toward that wall
00:21:48 <itidus20> i think you should try standing on different sides of doors, with the laptop in different locations
00:21:54 <oerjan> i lifted it and now it's started that clicking it sometimes does again
00:22:18 <itidus20> it's almost like a game of clue/cluedo
00:28:29 <Sgeo> What's the difference between Clue and Cluedo
00:28:37 <Sgeo> Also, people here know about Magic the Gathering being TC?
00:28:55 <Jafet> zzo does, but I don't.
00:29:08 <pikhq> Sgeo: I mentioned it earlier today.
00:29:26 <pikhq> Sgeo: Clue is the US name for Cluedo, IIRC.
00:33:54 <itidus20> i don't percieve cluedo as entertaining
00:37:24 <itidus20> 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 <pikhq> You must hate chess.
00:38:14 <Sgeo> I assume itidus20 wouldn't like BFJoust
00:38:24 <Sgeo> (Although I wouldn't call that "finding an efficient algorithm"
00:40:42 <itidus20> 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 <itidus20> i think growing up i always expected games to have more to them
00:46:41 <itidus20> considering how big a part they are of international culture and all
00:48:20 <itidus20> the universe itself dissapointed me in regards to games
00:48:41 <itidus20> i guess similarly to the way that in the end matter turned out to be just atoms
00:49:02 <itidus20> or maybe particles is the word
00:50:44 <itidus20> memories and emotions turned out to be neurons
00:51:15 <itidus20> everything in this way is dull and dissapointing
00:51:38 <pikhq> Whaddya mean, disappointing?
00:51:53 <pikhq> Would you prefer a universe run by Ancient Greek physics?
00:58:08 <tswett> Perhaps a universe that doesn't actually behave in any way.
01:04:46 <itidus20> the ramblings of a depressed anxiouser
01:05:03 <itidus20> i was getting off topic though
01:05:07 * oerjan wonders if itidus20 would like nomic
01:05:13 <itidus20> the point is games do behave in a specific way
01:05:57 <itidus20> oerjan: the secret is that nothing needs to change except my point of view
01:06:07 <oerjan> it's very much not about finding an efficient algorithm :)
01:06:31 <oerjan> unless you happen to find a scam that requires one, of course
01:07:28 <itidus20> i don't think i hate chess itself, but more struggle with multiplayer games
01:07:34 <oerjan> <itidus20> 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:58 <Sgeo> itidus20, try Game of Life. It's a 0 player game!
01:08:00 <oerjan> or something unbelievably irritating happens that destroys my patience to keep the change
01:08:27 <oerjan> it's very nice the first minutes, however.
01:08:33 <itidus20> i am unable to detach from real life while playing multiplayer games
01:09:00 <oerjan> presumably i'm doing it wrong somehow.
01:09:51 <itidus20> however there is something written somewhere about some important person who would lose his temper if he lost at chess
01:09:57 <oerjan> 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 <itidus20> so my issue isn't even with the games, but with the socializing
01:10:26 <oerjan> and so become even more about perfecting your algorithm
01:11:14 <itidus20> 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 <oerjan> itidus20: i also have trouble with multiplayer games where i need to out-think other people to have any chance of winning
01:12:08 <itidus20> my brother has been trying to help me with this
01:12:30 <itidus20> when we played some game he was like "if you don't defeat me i will kick your ass"
01:12:31 <oerjan> 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 <itidus20> so he has matured a lot since we were kids
01:14:13 <itidus20> he used to use the "if i hit reset i didnt lose" approach :D
01:15:44 * oerjan learns about ]p in vim
01:15:49 <itidus20> oerjan: uh.. i think in general i need to learn to be competitive
01:16:19 <oerjan> something tells me i've made haskell editing more painful without it...
01:16:27 <itidus20> naturally one can't enjoy a game if one is not competitive...
01:16:38 <itidus20> maybe that is why i described them as dissapointing
01:16:55 <oerjan> oh. i have sort of a moral disgust against being competitive.
01:17:35 <oerjan> by playing reasonably well and having luck, i guess.
01:17:49 <oerjan> not that i play much these days.
01:18:21 <itidus20> yeah, i guess being competitive over a game of chance is silly
01:19:10 <oerjan> or by being so much smarter i don't _have_ to try that hard, occasionally.
01:19:20 <Sgeo> And itidus20 have you ever played Backgammon?
01:19:27 <Sgeo> It's a combination skill and luck game
01:19:32 <oerjan> Sgeo: ]p is like p, but adjusts indentation
01:19:34 <Sgeo> Not sure if that's the sort of game you'd like
01:19:37 <Sgeo> What does p do?
01:19:59 <itidus20> Sgeo: i have revised my views... it seems that i am not dissapointed with the universe...
01:21:05 * oerjan crawls back under rock
01:21:06 <itidus20> 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 <Sgeo> o.O wait how did I just change itidus20's mind?
01:21:28 <Sgeo> I wasn't trying to, or anything
01:21:33 <Sgeo> Or disagreeing with anything
01:22:03 <itidus20> also.. i think i get impatient with losing
01:22:59 <itidus20> on a single player game that is
01:23:06 <itidus20> im not sure how i feel about losing in multiplayer
01:25:19 <itidus20> 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 <Sgeo> 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 <Sgeo> 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 <itidus20> 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 <itidus20> i always wonder just what the hell i said
01:35:19 <shachaf> kmc: Turns out screen doesn't support non-BMP characters.
01:36:47 <itidus20> i tried watching a peta page showing workers kicking live chickens but it wasn't enough to stop me
01:37:03 <oerjan> they have kfc in australia?
01:37:26 <itidus20> yes.. we have pizza hut, kfc, subway, mcdonalds, burgerking (as hungry jacks)
01:38:05 <Phantom_Hoover> <itidus20> 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 <Phantom_Hoover> how can someone be so self-aware of all their problems and yet be totally unable to act upon them
01:38:55 <Phantom_Hoover> "maybe i could stick at something and see if something interesting comes out of it"
01:42:09 -!- Jafet has joined.
02:03:57 <kmc> 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 <meredithMM> hey check out the newest mega uploaad style site at http://orfeas.civil.auth.gr/
02:35:34 -!- meredithMM has left.
02:38:22 <Jafet> So it'll also be closed by a court?
02:40:24 <oerjan> nah it's in greece they cannot afford courts any more
02:41:51 <pikhq> It'll be closed by a tribunal of mules.
02:54:11 <kmc> wait i should not have clicked that link
02:54:14 <kmc> am i hacked now
02:55:43 <itidus20> it all happened so fast i didnt even stop to look at which chatter posted it
02:55:51 <itidus20> but i didnt click on it cos i was afk
02:56:31 -!- DHeadshot has quit (Ping timeout: 246 seconds).
02:59:48 <kmc> hacked by greek
03:00:32 <kmc> it sounds like an official govt domain
03:00:40 <kmc> 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 <itidus20> kmc: its possible that its legitimate right?
03:06:13 <kmc> oh yeah it might be govt run honeypot site
03:06:44 <kmc> MEGA WAREZ UPLOAD SITE @ https://copyright.cybercrime.fbi.gov
03:08:32 <itidus20> the ip of meredithMM is in greece at least
03:09:17 <oerjan> kmc: is it really an upload site?
03:09:47 <kmc> i didn't look very long
03:14:02 <itidus20> the fact that it was advertised by a bot doesn't necessarily mean it's bad
03:14:19 <itidus20> but it does kind of imply something or other
03:17:07 <itidus20> 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 <itidus20> .... i mean.. i gotta stop posting
03:23:45 <Lumpio-> That site doesn't look like "mega uploaad" at all.
03:41:47 <Sgeo> Suddenly it occurs to me that our senior project idea may be bad
03:46:38 -!- kmc_ has joined.
03:47:06 -!- kmc has quit (Quit: leaving).
03:48:36 -!- kmc_ has quit (Client Quit).
03:49:38 -!- kmc has joined.
03:51:20 <Sgeo> kmc did you get my msg?
03:54:06 -!- MoALTz has joined.
04:16:00 -!- impomatic has left.
04:24:37 <Sgeo> Under what circumstances will email things such as gmail file away fake From headers as spam?
04:24:47 <Sgeo> Because I just sent a fake From, and it wasn't filed as spam
04:25:23 <shachaf> @ask Sgeo did you get my msg?
04:25:45 <Sgeo> shachaf, I can only assume that there was no such message
04:25:45 <lambdabot> Sgeo: You have 1 new message. '/msg lambdabot @messages' to read it.
04:27:06 <lambdabot> shachaf asked 1m 43s ago: did you get my msg?
04:27:30 <lambdabot> No quotes match. You speak an infinite deal of nothing
04:33:07 <Jafet> Automatic mailers use fake From headers
04:33:16 <Jafet> ...well, that happens to include automatic spam mailers
04:38:05 <lambdabot> No quotes match. Wrong! You cheating scum!
04:38:08 <lambdabot> No quotes match. It can only be attributed to human error.
04:38:13 <lambdabot> No quotes match. My mind is going. I can feel it.
04:38:58 <lambdabot> Jafet says: In soviet russia, State safely executes you
04:39:15 <lambdabot> oerjan says: i only do impractical things
04:39:29 <lambdabot> shachaf says: Haskell's type system is the perfect mix of useless and stupid.
04:40:03 <HackEgo> 9) <Madelon> Lil`Cube: you had cavity searches? <Lil`Cube> not yet <Lil`Cube> trying to thou, just so I can check it off on my list of things to expirence
04:40:37 <HackEgo> 588) <ais523> if all my Facebook friends were to visit a page, it wouldn't make any difference at all
04:40:38 <lambdabot> 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 <HackEgo> 693) <oerjan> well, i have to assume if i'm going to make any asses
04:40:44 <HackEgo> 516) <monqy> 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 <HackEgo> 200) <elliott> oerjan: What, can girls aim their penises better?
04:40:48 <HackEgo> bin \ canary \ foo \ karma \ lib \ paste \ quotes \ share \ wisdom \ zalgo.hs
04:41:30 <itidus20> 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:17 <HackEgo> 435) <itidus20> to assume that someone can be described by a rule without exception... is to assume they are omnipotent <oklopol> for instance stones are omnipotent, as they don't do anything, without exception \ 457) <itidus20> monqy: last night in my dreams I saw a false photo album of my childhood... looking ghostly \ 458) <monqy> itidus20: i saw a dancing cgi skeleton named malaria. i danced and played with him.
04:47:02 <lambdabot> No quotes for this person. You speak an infinite deal of nothing
05:02:12 <kmc> No results found for "get high and watch bill nye".
05:02:14 <kmc> how can this be?!?
05:02:30 <shachaf> "I don't know anything about science!" Bill denied.
05:03:23 <itidus21> i probably used the wrong thing
05:03:28 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.22233
05:04:15 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.18732
05:07:13 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: esolang: not found
05:08:47 -!- Jafet has quit (Ping timeout: 245 seconds).
05:09:30 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: zalgo.hs: not found
05:11:53 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: wiki: not found
05:12:20 <HackEgo> ? \ @ \ 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:58 <HackEgo> 2012-09-12.txt:05:02:12: <kmc> No results found for "get high and watch bill nye".
05:13:01 <HackEgo> translatefromto \ translateto \ units \ url \ welcome \ wl \ word \ words \ wtf \ ＷＥＬＣＯＭＥ
05:13:26 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.29921
05:13:59 <HackEgo> ＷＥＬＣＯＭＥ ＴＯ ＴＨＥ ＩＮＴＥＲＮＡＴＩＯＮＡＬ ＨＵＢ ＦＯＲ ＥＳＯＴＥＲＩＣ ＰＲＯＧＲＡＭＭＩＮＧ ＬＡＮＧＵＡＧＥ ＤＥＳＩＧＮ ＡＮＤ ＤＥＰＬＯＹＭＥＮＴ！ ＦＯＲ ＭＯＲＥ ＩＮＦＯＲＭＡＴＩＯＮ， ＣＨＥＣＫ ＯＵＴ ＯＵＲ ＷＩＫＩ： ＨＴＴＰ：／／ＥＳＯＬＡＮＧＳ．ＯＲＧ／ＷＩＫ
05:14:28 <HackEgo> 7) <oerjan> what, you mean that wasn't your real name? <Warrigal> Gosh, I guess it is. I never realized that. \ 18) <fungot> 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) <oerjan> In an alternate universe, ehird has taste \ 22) IN AN ALTERNATE UNIVERSE: <oerjan> In an alternate
05:14:34 <HackEgo> 575) <shachaf> elliott: GHC bug? Come on, it's the parentheses. <shachaf> The more parentheses you add, the closer it is to LISP, and therefore the more dynamically-typed. \ 618) <shachaf> Real Tar is GNU tar. <shachaf> You just ignore whichever features don't make you feel superior enough. \ 652) <shachaf> VMS Mosaic? <shachaf> I hope that's not Mosaic ported to VMS. <shachaf> Hmm. It's Mosaic ported to VMS.
05:17:03 <HackEgo> 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 <Sgeo> I officially fucking hate Pusher
05:28:10 <itidus21> 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 <itidus21> 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 <Sgeo_> Yes, and it doesn't work in the Android browser unless Flash is installed.
05:30:36 <itidus21> i am not sure that i want to know the answer to the question i just asked
05:31:01 <oerjan> it's a very hostile question
05:31:45 -!- Sgeo has quit (Ping timeout: 276 seconds).
05:34:19 <itidus21> " 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:38:09 <itidus21> i am not sure that i want to know the answer to the question i just asked..
05:38:37 <Sgeo_> I think a hosted API is one where you send messages to a server somewhere and it responds
05:38:57 <itidus21> yeah.. sort of like an alternative name for web services eh
05:39:00 <Sgeo_> Rather than accessing it by using a library on the computer you're using the API on
05:39:12 <Sgeo_> But I'm not pissed at the hosted nature.
05:39:34 <Sgeo_> I'm pissed at the client-side Javascript library being poorly thought out.
05:39:48 <Sgeo_> In a way that actually has a real impact on users.
05:40:05 <Sgeo_> Pusher says they'll take care of all the compatibility stuff, but they lie
05:55:59 <itidus21> @sgeo http://geektyrant.com/storage/2011-post-images/pusher-remake-trailer.jpg?__SQUARESPACE_CACHEVERSION=1329273428443
05:58:09 <itidus21> http://ricecooker.kerbau.com/wp-content/uploads/2011/06/2010_03_pusher_cd-570x570-300x300.png
05:59:14 <itidus21> shachaf: i think its only a matter of time now for gif to become flash
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 <ntshan> is Scala considered esoteric?
08:11:09 <shachaf> Do you consider it esoteric?
08:11:36 <shachaf> You, ntshan, have the power.
08:11:42 <shachaf> Let's keep lining things up.
08:12:07 <lambdabot> *** "esoteric" wn "WordNet (r) 3.0 (2006)"
08:12:07 <lambdabot> adj 1: confined to and understandable by only an enlightened
08:12:07 <lambdabot> inner circle; "a compilation of esoteric philosophical
08:12:33 <Jafet> So brainfuck hackers are enlightened?
08:13:50 <ntshan> heh well...adoption is increasing (scala)
08:17:36 <Sgeo_> 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 <ntshan> disagree...a fair amount of my dev experience is not reinventing the wheel
08:34:07 -!- Arc_Koen has joined.
08:52:37 <Arc_Koen> 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 <Arc_Koen> it's a three-player variant on a cylindric board, using dice
08:55:15 <Arc_Koen> 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 <Sgeo_> How is ais523's turing machine controversial?
10:56:42 -!- spirity has changed nick to kallisti.
11:02:13 <Slereah> Because it needs another machine to prep it I think?
11:04:12 -!- Jafet has joined.
11:30:33 -!- impomatic has joined.
11:38:23 -!- Phantom_Hoover has joined.
11:42:48 <itidus21> i find the idea of finite things even more bizzare than infinite things
11:43:37 <Arc_Koen> I'm sitting on a finite chair and it serves its purpose just fine
11:45:01 <itidus21> but it is constituted of a potentially infinite number of parts
11:45:29 <itidus21> each seemingly either bigger or smaller
11:46:44 <Arc_Koen> 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:34 <lambdabot> <no location info>: 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:33 <Arc_Koen> I'm trying to make a truth-machine in Another Pi Language
15:02:10 <Arc_Koen> the program is 32-bit long and I found the first 17 bits in the decimals of pi
15:02:19 <Arc_Koen> I mean in the binary digits of pi
15:05:17 <Arc_Koen> 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 <Arc_Koen> 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 <FreeFull> Weird, properDivs x = nub $ init $ map (foldr (*) 1) $ subsequences $ primeFactors x doesn't work once you get rid of the x
16:51:42 <FreeFull> Arc_Koen: over 10**13 digits of pi have been calculated
16:51:48 <FreeFull> So you hvae plenty to look through
16:52:16 <Arc_Koen> well I need to find a web page with enough binary digits
16:53:24 <Arc_Koen> 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 <Arc_Koen> 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 <FreeFull> "The search string "0123456789" was not found in the first 2,000,000,000 decimal digits of Pi."
16:58:02 <Arc_Koen> yeah and 10^10 and 2^32 are about the same
16:58:13 <fizzie> Just ask Google. "0123456789 occurs at 6214876462", from MathWorld.
16:59:11 <fizzie> Oh, that's not the number you care about.
17:00:59 <fizzie> http://wiki.answers.com/Q/Where_are_the_digits_0123456789_in_pi "Best answer" "There are no 0s in pi" riiight.
17:01:15 <Arc_Koen> so I guess I need the first 40 000 000 000 binary digits
17:02:33 <Arc_Koen> the sequence I'm searching for is 0110 0001 1100 1110 1111 1101 1100 1110
17:02:47 -!- jiella has joined.
17:04:54 <Arc_Koen> http://pi.nersc.gov/cgi-bin/pi.cgi?word=61CEFDCE&format=hex *waiting*
17:05:07 <Arc_Koen> string does not occur in first 4 billion binary digits of pi
17:05:23 <Arc_Koen> yeah well I said I needed the first 40 billions!
17:06:21 <Arc_Koen> ohhhh great it found the first 28 bits
17:06:28 <Arc_Koen> http://pi.nersc.gov/cgi-bin/pi.cgi?word=61CEFDC&format=hex
17:06:29 <olsner> the first (decimal) zero is surprisingly far into pi, position 32 or whatever it is
17:06:54 <Arc_Koen> well 32 when you have 1/10 doesn't see so far does it?
17:07:18 <Arc_Koen> hmm unfortunately my program doesn't work without the last 4 bits
17:07:32 <jiella> so I've been wondering... what's with the limes on the wiki?
17:10:11 <oklopol> 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 <Arc_Koen> search string (61CEFDC) found at binary index = 2869529096
17:10:48 <Arc_Koen> I wanted to use that argument to "prove" a joke language Turing-complete
17:11:23 <oklopol> the problem is anything fits on a wiki page :(
17:11:59 <Arc_Koen> 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 <oerjan> ...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 <oerjan> for the _first_ time since he moved in.
17:40:16 <oerjan> i think the universe wants me to miss next week's appointment.
17:40:52 <oklopol> are you participating in the beer drinking and friending it up
17:41:25 <oklopol> 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 <oerjan> there are two housemates, i think their names are jürgen (he's german) and sondre.
17:43:28 <oerjan> i have them because my landlady wants money.
17:44:05 -!- sirdancealot7 has joined.
17:44:26 <oklopol> 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 <oerjan> that should go down well.
17:56:32 <oerjan> <FreeFull> Weird, properDivs x = nub $ init $ map (foldr (*) 1) $ subsequences $ primeFactors x doesn't work once you get rid of the x
17:56:55 <oerjan> you need to replace the $'s by .'s as well, if that's your problem
18:02:09 <oerjan> > map product . mapM (scanl (*) 1) . group . sort $ [2,2,3,5,5]
18:02:11 <lambdabot> [1,5,25,3,15,75,2,10,50,6,30,150,4,20,100,12,60,300]
18:09:06 -!- MoALTz_ has joined.
18:10:16 <oerjan> <jiella> 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 <olsner> it's to prevent the wiki from getting scurvy
18:11:45 <olsner> since it doesn't eat any cabbage
18:12:23 <oerjan> you seem to be right, absolutely no cabbage on the wiki
18:12:35 -!- MoALTz has quit (Ping timeout: 272 seconds).
18:21:00 -!- epicmonkey has joined.
18:21:36 <oerjan> shachaf: how did you do that.
18:22:31 <shachaf> oerjan: Would you believe it's luck?
18:22:55 <shachaf> I once convinced someone in #haskell that lambdabot's @slap had a special-case that would always refuse to @slap me.
18:23:51 <olsner> I think @yarr doesn't have a lot of possibilities, so it's not *that* unlikely that pure luck gives something relevant
18:24:01 <lambdabot> lexical error in string/character literal at chara...
18:24:07 <lambdabot> May the clap make ye incapable of Cracking Jenny's Tea Cup.
18:24:07 <lambdabot> Well me 'earties, let's see what crawled out of the bung hole...
18:24:15 <lambdabot> What be a priate's favourite cheese?
18:24:31 <oerjan> shachaf: ok the only way i could think of that you might have cheated wasn't right :P
18:25:50 <oerjan> well i cannot prove you didn't use that method.
18:26:43 <lambdabot> I think so, Brain, but pants with horizontal stripes make me look chubby.
18:27:05 <olsner> why did PEZ become ESME?
18:46:17 <Sgeo__> I think Pusher was written in ESME
18:46:24 <Sgeo__> </insulting-pusher-excessively>
18:46:36 -!- AnotherTest has quit (Quit: Leaving.).
18:46:40 <olsner> oh, ESME is a language?
18:48:18 <Sgeo__> No. It's a "language".
18:48:25 <jiella> oerjan: a pun fail there too, hmm? I've already made some embarrisingly bad puns out of the lime thingy
18:48:47 <Sgeo__> Don't dignify it by putting it in the same category as PHP and COBOL.
18:49:06 <olsner> I can't think of any puns related to limes, how do you do it?
18:49:06 <Sgeo__> It's not the PHP of Esolangs, that's an insult to PHP.
18:49:28 <Sgeo__> http://esolangs.org/wiki/Esme
18:49:32 <olsner> insults to PHP are generally considered a good thing though
18:49:44 <jiella> 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 <oerjan> olsner: you just need to do some sublime thinking
18:50:57 <oerjan> (that was the pun that went horribly wrong btw)
18:51:09 <olsner> jiella: if you ask nicely, can probably get elliott to make the wiki play lime in the coconut in the background
18:51:44 <Sgeo__> If an esolang is like the speech of a vapid person, Esme makes Snooki's talking sound like a PhD thesis.
18:52:07 <Sgeo__> Ok, so maybe I shouldn't insult people in my attempt to make fun of Esme.
18:52:36 <oerjan> that's just what esme does to you.
18:53:13 <jiella> oerjan: aww, yours was about sublime too :(
18:53:20 <jiella> I feel so unoriginal now
18:53:39 <Sgeo__> olsner, read of Esme and weep
18:54:06 <jiella> olsner: noooo, I think I'll manage
18:54:19 <olsner> I like the perl example though, it has an inkling of something very horrible
18:57:44 -!- david_werecat has quit (Ping timeout: 268 seconds).
18:57:44 <Phantom_Hoover> 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 <oklopol> was the pun that if all the content in the wiki is under a lime then it's a sublime wiki
19:09:20 -!- david_werecat has joined.
19:10:11 -!- ogrom has joined.
19:14:24 <olsner> oh, that was indeed a bad pun
19:17:02 <jiella> bad puns are the best though
19:20:53 -!- KingOfKarlsruhe has joined.
19:34:11 -!- ais523 has joined.
19:39:13 <ais523> from the department of suspiciously specific spam: a spambot was advertising a way to smoke that !doesn't contain 4000 chemicals"
19:40:34 -!- atriq has joined.
19:52:27 <Sgeo__> ais523, hi. What's the controversy surrounding your UTM>
19:56:50 <lambdabot> hagb4rd said 12s ago: not to be sad
19:56:57 <FreeFull> oerjan: primeFactors is part of Data.Numbers.Primes
20:01:11 <hagb4rd> hey oerjan. have you done some more mario programming at last?
20:01:34 <hagb4rd> any results you can share?
20:01:59 <oerjan> not since this morning no. it doesn't interest me _that_ much. i'm currently looking at jolverine.
20:07:05 <oerjan> no i "fixed" the truth machine for MarioLANG
20:14:50 -!- ogrom has quit (Quit: Left).
20:26:38 <atriq> Yeah, a lot of my truth-machines should be taken with a grain of salt
20:32:57 <atriq> I wrote them while over-excited and probably bored and tired
20:33:06 <Phantom_Hoover> atriq, oerjan, any idea what the game referenced in Darths & Droids 775 is?
20:33:46 <atriq> The forum doesn't have a clue either
20:34:10 <atriq> Possibly Star Trek?
20:35:56 <kmc> pilots are usually named "Pilot"
20:36:00 * kmc deliberately misinterprets
20:36:56 <Phantom_Hoover> Also 'shellshocked pilot' makes it sound more like a fighter pilot.
20:37:30 -!- MoALTz_ has quit (Quit: Leaving).
20:38:30 <olsner> oh, and I this shuttle set is built out of a repurposed ferengi shuttle set
20:38:44 <kmc> _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 <olsner> or repainted more than repurposed, perhaps
20:39:06 <kmc> _Seinfeld_ had an episode called "The Pilot" in season 4
20:39:09 <kmc> it's, like, meta, man
20:39:29 <olsner> oh, it refers to that pilot?
20:39:55 <Phantom_Hoover> atriq, (the named pilot I was talking about was the guy who Ezri investigates the death of in a DS9 episode.)
20:40:09 <atriq> I'm not a huge star trek fan, I'm afraid
20:40:19 <atriq> As in, I've watched the newest movie and maybe two episodes?
20:40:29 <olsner> don't be afraid, star trek is nice
20:40:46 <kmc> star trek, isn't that for nerds or something
20:42:04 <atriq> Reluctant doctor = Simon Tam, pilot = Wash, shellshocked pilot = River Tam, nurse = oh dear I don't know
20:42:45 <atriq> But not many miracles
20:43:01 <olsner> but the comic was about a game? not a sci fi series?
20:43:10 <Phantom_Hoover> but i was under the impression that river tam mostly just kicked people and ticked boxes on whedon's list of fetishes
20:43:32 <atriq> She became the pilot at the end of the movie after spoilers happened
20:43:32 <kmc> i wonder how many seasons firefly could have run before becoming shitty
20:44:03 <kmc> i think the film basically demonstrates the hypothetical viability of a second season
20:44:09 <kmc> beyond that, idk
20:45:12 <Phantom_Hoover> olsner, D&D has this running joke where the characters reference other roleplaying games they've played.
20:45:34 <Phantom_Hoover> And they're all real-world films or TV shows or whatever.
20:45:47 <Phantom_Hoover> The first one was Princess Bride and I think they just rolled with it.
20:46:05 <atriq> Then it was a mash of Twilight and Van Helsing
20:46:43 <hagb4rd> twilight? wasn't that ages after your last d&d game?
20:47:03 * hagb4rd only knows that twilight movies
20:47:12 <atriq> We're talking about the webcomic Darths and Droids
20:58:38 <atriq> You know what would be cool?
20:58:52 <atriq> A program that translated Turing machines into turing-complete languages
20:58:57 <atriq> 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 <Sgeo__> Is there any way a scammer could get a .gov address?
21:12:31 -!- kinoSi has joined.
21:12:53 <atriq> I'd guess probably
21:13:07 -!- atriq has quit (Quit: Leaving).
21:13:22 <kmc> the US government is the largest employer in the USA
21:13:53 <Sgeo__> We got mail claiming to be a survey from the Dept. of Education
21:13:58 <Sgeo__> My dad says it sounds fishy
21:14:12 <Sgeo__> It mentions a .gov address, and said address does in fact mention a survey
21:14:47 <olsner> judging by what we've heard about your school, there is obviously no dept. of education where you are
21:14:52 <kmc> do they want any confidential info
21:16:26 <Sgeo__> First name, age, gender, schooling of 5 youngest children under 20
21:18:05 -!- epicmonkey has quit (Ping timeout: 240 seconds).
21:20:30 <Sgeo__> There was also a $5 bill enclosed
21:20:48 <kmc> that sounds fishy
21:20:55 <kmc> was it a crisp $5 bill or like
21:20:59 <kmc> a ratty one with drugs stains
21:21:30 <kmc> i wonder if gravatar has code to avoid generating swastikas
21:21:34 <kmc> they sometimes get pretty close anyway
21:23:53 <Sgeo__> A counterfeit-detection pen costs ~ $4.29
21:24:04 <Sgeo__> But my dad wants one now that he know it exists
21:24:17 <kmc> nobody is going to counterfit fives anyway
21:24:19 <kmc> but that's funny
21:24:52 <kmc> 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 <kmc> so it has the real paper
21:25:10 <kmc> you can't do this with Euro notes because the more valuable ones are bigger
21:31:52 <kmc> that's less than €2 though
21:32:10 <olsner> but it'll buy you about 5 beers
21:33:24 <Sgeo__> I'm looking at the rules for use of US currency imagery
21:33:34 <Sgeo__> Close programs to prevent information loss
21:33:35 <Sgeo__> Your computer is low on memory. Save your files and close these programs:
21:33:38 <Sgeo__> [Close program] [Cancel]
21:33:52 <Sgeo__> "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 <Sgeo__> Weird that I was literally able to copy/paste a dialog box
21:34:56 <olsner> that's always been supported, it's a neat feature
21:37:44 <Sgeo__> Anyways... the destruction of magnetic media
21:38:18 <kmc> makes sense
21:38:22 <Sgeo__> Hmm, just the files, or the entire drive?
21:38:24 <kmc> hard drives are cheap compared to the risk
21:38:28 <kmc> probably the whole drive
21:38:59 <kmc> hard to physically destroy files with confidence otherwise
21:39:38 -!- copumpkin has quit (Quit: Computer has gone to sleep.).
21:39:41 <Sgeo__> So physical destruction isn't required, apparently
21:39:59 <olsner> "any other thing" ... sounds like you have to destroy/delete/erase the internet if you download the imagery
21:42:03 <olsner> or at least the parts of the internet that came in contact with some part of the illustration
21:49:19 <olsner> 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 <fizzie> olsner: If gravity was "used" in the making (for example, to keep people on the floor), you have to destroy it.
23:05:47 <fizzie> Oh, "that contain an image or any part". Aw.
23:06:17 <fizzie> 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]).