00:06:46 <elliott> https://skillsmatter.com/custom/images/tempbannerhaskell-exchange-670x180px.gif what a good picture
00:07:20 <Fiora> that banner looks like an anime convention ad O_O
00:08:21 <Bike> elliott, Fiora: http://joshreads.tumblr.com/post/58349908871/
00:08:50 <elliott> haskell is the most anime of programming languages
00:12:28 <Bike> http://www.theawl.com/2013/08/i-may-not-harm-jeff-bezos in related news.
00:14:28 <mnoqy> It's Okay To Feel Bad / Jeff Bezos' Robot Butler Tells All / Dale Cooper: Barthes, Bodies, Porn / Will Be Humiliated For Attention / Stoya: Sex, Porn, Feminism, Kitties / Get It Now: The Awl's Weekend Companion
00:14:52 <mnoqy> Patricia Lockwood, "Rape Joke".. what the heck sort of news site is this
00:15:06 <Bike> what kind of person reads news sites nowadays
00:15:12 <Bike> i just get everything """"aggregated"""
00:18:09 <Fiora> Bike: http://xxx.lanl.gov/pdf/astro-ph/0302075.pdf ignoring the total rest of this paper, for some reason the title makes me giggle
00:18:55 <Bike> los alamos government porn distributor
00:19:05 -!- Sgeo has joined.
00:19:07 <Bike> oh, arxiv. how unfun
00:19:19 <Bike> that's a very... straightforward title.
00:19:32 <Bike> "more mind-numblingly large celestial objects made of irregular materials, i guess"
00:20:40 -!- mnoqy has quit (Quit: hello).
00:22:29 <Fiora> wow, the acronyms "third dredge-up (3DUP)"
00:23:30 <Bike> i've been reading psychology. you have no idea how sick i am of initialisms
00:23:43 <Bike> we're talking "potential task (PT)" here
00:24:17 <Bike> they're almost as bad as the military
00:31:04 <Bike> "partial mixing of protons (PMP)"
00:31:25 -!- augur has quit (Remote host closed the connection).
00:47:42 -!- Lymia has quit (Read error: Connection reset by peer).
00:57:11 -!- ^v has quit (Quit: Leaving).
00:57:58 <kmc> "that banner looks like an anime convention ad" wow... yes it does
01:01:07 -!- ^v has joined.
01:06:57 <Bike> http://www.washingtonpost.com/world/national-security/nsa-broke-privacy-rules-thousands-of-times-per-year-audit-finds/2013/08/15/3310e554-05ca-11e3-a07f-49ddc7417125_print.html "One in 10 incidents is attributed to a typographical error in which an analyst enters an incorrect query and retrieves data about U.S phone calls or e-mails."
01:14:21 -!- Nisstyre has joined.
01:16:47 -!- augur has joined.
01:21:45 <Phantom_Hoover> i like how this is a webpage designed with the intention of getting you to buy a plane
01:22:16 <kmc> "Generous in size, extravagant in spaciousness"
01:23:10 <kmc> "When science becomes art, anything is possible"
01:23:29 <Phantom_Hoover> "fuck, i can't think of another way of wording 'it's really big', better reach for the thesaurus"
01:23:56 -!- carado__ has joined.
01:24:58 -!- carado has quit (Ping timeout: 246 seconds).
01:27:39 <kmc> "Piloting the Longitude has been simplified to the level of smartphone or ATM operation"
01:27:53 <kmc> that is terrifying
01:27:56 <kmc> that they would even write that
01:28:16 -!- carado__ has quit (Client Quit).
01:28:34 <Phantom_Hoover> http://www.cessna.com/~/media/Images/Aircraft/citation/longitude/infographics/img-citat-specs-infograp-long.ashx
01:29:08 <kmc> 7 friends unless you are friends with the pilot
01:29:14 <kmc> why is their example airport Sheffield?
01:29:17 <shachaf> who wouldn't be friends with a pilot
01:29:37 <Phantom_Hoover> there's also http://www.cessna.com/single-engine/skyhawk
01:29:59 <Phantom_Hoover> which i wasn't going to link but then i realised that the section titled "THE GATEKEEPER OF AVIATION EXCELLENCE" was actually referring to the doors
01:32:58 <ion> Range: 4000 nanometers?
01:33:42 <ion> Max crusing speed: 490 kilotonneattoseconds?
01:35:45 -!- carado has joined.
01:35:52 <oerjan> kmc: i have this vague memory of seeing a comment that this haskell banner was part of some larger conference or something which chose anime style that year
01:36:09 <Fiora> Bike: http://en.wikipedia.org/wiki/Cessna_172#Operational_history okay, this is amazing and insane
01:36:53 <Bike> i feel like there's an easier way to refuel in the air
01:37:14 <Fiora> but doesn't everyone refuel by hovering next to a car?
01:37:48 -!- Nisstyre has quit (Quit: Leaving).
01:39:12 <kmc> that is the best
01:39:28 <kmc> not just fuel but also food and water
01:39:37 <kmc> and engine oil
01:40:14 <Phantom_Hoover> " Early in the flight, the engine-driven electric generator failed. A Champion wind-driven generator (turned by a small propeller) was hoisted aboard, taped to the wing support strut, and plugged into the cigarette lighter socket; it served as the aircraft's source of electricity for the rest of the flight. "
01:41:46 <kmc> it's a little weird that the "Operational history" section is entirely about that one flight
01:41:56 <kmc> since this is the article about the most produced aircraft in history
01:42:03 <kmc> over 43,000
01:42:21 <Phantom_Hoover> maybe it's to deflect your attention from the fact that it's a completely inadequate operational history
01:50:23 -!- doesthiswork has joined.
01:52:24 <^v> what operational history
01:52:33 <^v> i dont see anything that is operational
01:53:52 <kmc> what about denotational history
02:09:49 -!- Phantom_Hoover has quit (Remote host closed the connection).
02:14:19 -!- carado has quit (Ping timeout: 246 seconds).
02:17:18 -!- carado has joined.
02:19:18 -!- conehead has quit (Quit: Computer has gone to sleep.).
02:25:29 -!- mnoqy has joined.
02:29:03 -!- itsy has quit (Read error: Connection reset by peer).
02:29:07 -!- impomatic has quit (Remote host closed the connection).
03:02:16 -!- ^v has quit (Quit: Leaving).
03:14:47 -!- augur has changed nick to 45PABFR8T.
03:14:56 -!- 45PABFR8T has changed nick to augur.
03:16:25 <shachaf> ion: Yay, I unlocked the Zoltan Cruiser.
03:19:50 -!- Bike has quit (Ping timeout: 256 seconds).
03:20:05 -!- Bike has joined.
03:27:21 -!- Bike has quit (Ping timeout: 268 seconds).
03:28:30 -!- Bike has joined.
03:33:37 <shachaf> ion: Hmm, it doesn't seem so great.
03:33:54 <shachaf> That's what I get for the whole peace thing, I suppose.
03:37:53 <ion> One of the Zoltan cruisers is rather nice IIRC
03:38:08 -!- noooodl has joined.
03:38:44 -!- noooodl has quit (Remote host closed the connection).
03:39:34 -!- noooodl has joined.
03:42:09 -!- nooodl has quit (Ping timeout: 264 seconds).
03:47:21 -!- CADD has joined.
03:54:10 -!- noooodl has quit (Quit: noooodl).
03:59:53 <Gracenotes> the best part of non-English-subtitled English language musical comedy is the explanation of puns in parentheses.
04:00:20 <Gracenotes> which, for romance languages, are somewhat intelligible for exclusive anglophones.
04:05:55 <Bike> i don't get why you'd explain puns in translation notes. nobody's going to laugh.
04:06:14 <kmc> puns aren't for laughing they're for groaning
04:06:51 <CADD> im sure at least one person has laughed thanks to the translation
04:07:03 <kmc> shachaf: yeah like that
04:07:41 <Gracenotes> they used to be a very high form of humor, a show of intelligence.
04:07:42 <ion> imo, fun puns do not exist.
04:08:08 <CADD> i thought wit was higher?
04:08:18 <Gracenotes> they were used in many contexts, not just jokes: speeches, legal proceedings, etc.
04:08:35 <shachaf> imo, wbuna xvivavrzv do not exist
04:08:46 -!- carado has quit (Ping timeout: 246 seconds).
04:08:50 <Gracenotes> wit is to do with the source of your humor, assuming it's good.
04:09:08 <tswett> Imo, nontrivial zeros of the Riemann zeta function that do not lie on the critical line don't exist. Ymmv.
04:10:08 <tswett> Jub gur urpx vf Wbuna Xvivavrzv?
04:10:08 <oerjan> admittedly it might simply be because the command is wrong
04:10:45 <oerjan> `run echo wbuna xvivavrzv | r13
04:11:37 <ion> rot13ing this is nagvpyvznpgvp
04:12:30 <oerjan> `rot13 Jub gur urpx vf Wbuna Xvivavrzv?
04:12:31 <HackEgo> Who the heck is Johan Kiviniemi?
04:14:31 <tswett> Xraagb wnyr̀e lbeh cnqre.
04:14:53 <oerjan> `rot13 Xraagb wnyr̀e lbeh cnqre.
04:14:58 <Gracenotes> anyway, you may be interested to know that the groan is a recent phenomenon (last century or so)
04:15:33 <tswett> It looks like some type of language. Reminds me of... Irish, maybe? Though only vaguely.
04:15:59 <tswett> "Yoru pader" sounds kind of like English. Or maybe "pader" is from Latin.
04:16:12 <Gracenotes> also, interesting. http://en.wikipedia.org/wiki/Groans_of_the_Britons
04:16:39 <Gracenotes> the british isles have a quite interesting history in roman times.
04:16:41 <tswett> And "kennto"... doesn't that have sort of a... I'm not sure what, exactly. A Celtic feel or something? Or British, or what.
04:16:49 <tswett> "Jalèr" looks like French, though.
04:16:51 <Bike> nobody likes ancient british history :(
04:16:53 <Gracenotes> then there were kings and stuff... boring, you know...
04:17:26 <oerjan> tswett: are you trying to analyze what _you_ wrote?
04:17:36 <tswett> oerjan: yeah! What language is this?
04:18:07 <tswett> It looks like it's probably a European language, doesn't it? Like, I definitely don't think I'd say it looks like any particular non-European language.
04:18:36 <tswett> I mean, it doesn't look entirely unlike Vietnamese, from the very very little I know of Vietnamese.
04:18:41 <oerjan> it's like, you don't know what you yourself wrote, like?
04:18:53 <tswett> I know exactly what it means; I'm just pretending I don't.
04:19:33 <tswett> "Yoru pader" just really sounds a lot like "your father". Maybe it's some weird variant of English or something. Like English turned into... something else.
04:20:50 <tswett> Google Translate says that "kennto" looks like Finnish and "jalèr" looks like Spanish.
04:21:38 <tswett> The sentence *kind* of looks like it could be Finnish. Like, it doesn't use any letters not used in Finnish, apart from è, does it? But it doesn't actually look like Finnish at all.
04:21:51 <Gracenotes> it's pretty impressive that `rot13 is i18n, actually.
04:22:32 <tswett> Gracenotes: that it successfully converted r̀ to è? I'm not that impressed; that's just an ASCII English letter followed by a combining diacritic.
04:24:11 <Gracenotes> oh, it's not its own unicode character
04:24:39 <Gracenotes> :/ hm, my irssi doesn't like your characters
04:25:29 <Bike> "The similarities between man and computer cannot be ignored, computers are essentially biological systems with a transistor." why do i do this to myself, help
04:26:12 -!- sub_space has joined.
04:26:32 <Bike> the land of the dead
04:27:08 <elliott> ion: do you know this person? giving that this isn't the first time
04:27:18 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.29853
04:27:48 <sub_space> elliott: we are friends from the n(th) dimension.
04:28:17 <Bike> sub_space: hey why is 0x00.me an uncredited comic in shitty jpg form.
04:29:20 <elliott> ok well I'm literally sick of you already.
04:29:22 <Bike> it's pretty rude to use someone's art without crediting them.
04:30:00 <oerjan> ion: i am pretty sure elliott will ban sub_space if you don't confirm you know him - nah it won't help anyway.
04:30:17 <elliott> plz cease with the unsolicited physical contact
04:30:29 <mnoqy> `relcome sub_space
04:30:31 <HackEgo> sub_space: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
04:31:04 <kmc> i like the comic tho
04:31:12 <elliott> actually if ion said he knows you and doesn't mind you joining just to lick you twice then I would be ok but everything you have said since has progressively decreased my confidence in you
04:31:34 <elliott> lambdabot is right here...
04:31:43 <Bike> kmc: yeah, it's from a webcomic called subnormality.
04:32:00 <mnoqy> it seems a bit what's the word
04:32:05 <kmc> subnormality is cool
04:32:06 <mnoqy> i;ll leave it at that
04:33:11 <CADD> > putStrLn "I'm here"
04:37:09 <elliott> sub_space: what are your intentions as to your presence in this channel
04:38:20 <mnoqy> remember when i was new and the first thing i got asked is what my business here was? how times have changed
04:38:32 <elliott> actually it simplifies down to "do you intend to do anything but join and lick ion and then be alternately vague or creepy in response to any questions"
04:38:41 <CADD> i got the same question too.. ;)
04:38:43 <elliott> which is pretty shallow, as questions go
04:39:02 <oerjan> mnoqy: what _is_ your business here, anyway
04:39:17 <mnoqy> i think i dodged the question back then too
04:39:27 <mnoqy> said something like my business is usually idling
04:39:28 <CADD> i think everyone does..
04:39:45 <sub_space> elliott: yes, but time will tell. i do not intent to intentionally create any friction between users.
04:42:17 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…).
04:44:17 <sub_space> elliott: why do you use anything but'
04:46:34 <oerjan> sub_space: how many fingers am i holding up?
04:49:16 -!- copumpkin has joined.
04:50:19 <CADD> in universe hand
04:50:27 <oerjan> i see you are covering all bases
04:51:30 <oerjan> fungot: do you have any comment on the issue?
04:51:30 <fungot> oerjan: is something wrong? want me to leave? i don't wanna hear it! c'mon, let's go and see the headlines in the middle of nowhere?
04:51:45 <fungot> oerjan: but, i'm expecting a good long look at the two levers up and the planet... i don't know what time it wasn't that difficult.
04:53:04 <sub_space> love me. love me. just say that you love me.
04:56:19 <oerjan> fungot: you do the loving bit, you're better at it than me.
04:56:20 <fungot> oerjan: there he is literally miles away from the mako reactor countinues to suck up all the townspeople? no way we could see each other?
04:56:55 <oerjan> fungot: well i cannot see him either.
04:56:56 <fungot> oerjan: well, have special powers to their fullest... there goes the pillar, right? i hope he doesn't get hurt.
04:59:05 <fungot> sub_space: hey? aren't i the same ' ol me. my feelings.
04:59:28 <sub_space> fungot: speak | earn your treats. (*)
04:59:28 <fungot> sub_space: dyne didn't care who anyone was...... we will, and put him to say this to you?
05:00:43 <sub_space> i suppose. if it's absolutely necessary and can not be avoided by assuming an inverse relationship
05:01:00 <fungot> sub_space: where did i make a drink just as long as we did it! i'm comin' with me!
05:01:50 -!- doesthiswork has quit (Quit: Leaving.).
05:03:26 <fungot> sub_space: remember, the huge materia. this part is broken....
05:03:29 -!- ^v has joined.
05:04:25 <shachaf> is this channel under attack
05:04:34 <mnoqy> hey shachaf did you see the thing
05:04:39 * ^v sould have joined erlier
05:04:50 <mnoqy> it's good i recommend seeing it
05:05:05 <HackEgo> ais523 atriq Bike boily cuttlefish elliott fgrep Fiora fungot HackEgo metasepia mnoqy monqy Ngevd nortti oklopol Phantom_Hoover pikhq quintopia Sgeo SgeoBot SUPREME_BUTT_SUI Taneb
05:05:29 <HackEgo> smlist: shachaf monqy elliott mnoqy
05:05:44 <shachaf> for """"extra credit' you can give a number
05:06:44 <shachaf> it's like a sequel of the last one
05:06:59 <shachaf> thanks for the recommnoqydation
05:14:02 -!- Bike_ has joined.
05:14:18 -!- Bike has quit (Read error: Connection reset by peer).
05:17:39 -!- Frooxius has quit (Read error: Connection reset by peer).
05:17:55 -!- sacje has quit (Ping timeout: 245 seconds).
05:18:02 -!- Frooxius has joined.
05:18:40 -!- sacje has joined.
05:24:05 <shachaf> kmc: I'm annoyed by the #haskell sentiment that if something is hard to do in Haskell then it isn't worth doing.
05:24:16 <shachaf> (Hard in Haskell and easy in another language.)
05:25:43 <CADD> shachaf: what? no mutable variables? how will i ever be able to do anything?!
05:26:02 <CADD> shachaf: funny that in most cases the haskell code is shorter and easier to read.. :)
05:26:12 <sub_space> elliott: i will give you .. things
05:26:26 <CADD> sub_space: thats very vague...
05:27:17 -!- oerjan has quit (Quit: Nit).
05:27:23 <CADD> sub_space: teach... what?
05:29:23 -!- Bike_ has changed nick to Bike.
05:29:27 <CADD> sub_space: that was a sentence fragment.. please speak in proper sentences..
05:31:13 <sub_space> CADD: please explain to elliott that I would like to present an opportunity to exchange 'things' for lessons in appreciation.
05:31:43 <CADD> sub_space: you can do it yourself. elaborate on "things"//
05:33:33 <sub_space> CADD: i can but i would like to share because it makes me feel alive. things - flowpaths from which one may benefit
05:35:00 <CADD> hehe things://idkwhatimdoing.blogspot.com
05:35:17 <CADD> new ip protocol. i call dibs
05:35:37 <sub_space> http://www.youtube.com/watch?v=g_uFIb3pXqg
05:36:14 <sub_space> has anyone figured out how to shake hands with the sun?
05:36:27 <sub_space> (speaking of protocols and all that shit)
05:50:12 <^v> it requires a SHA65536 implementation
05:51:03 -!- augur has quit (Remote host closed the connection).
05:53:06 <CADD> ^v: and LOLCODE instead of javascript
05:54:03 <kmc> is that like 4096-bit XAES
05:56:24 <kmc> it's useful to have hash functions with big outputs (e.g. for RSASSA-PSS signatures) but usually one concatenates SHA(0 || message), SHA(1 || message), SHA(2 || message), etc. until one has enough bits
05:57:13 <sub_space> what is the width of enough_bits ?
05:57:52 <shachaf> kmc: Is that what one actually does? I've never heard of it.
05:57:58 <kmc> sub_space: you need a value the same size as the RSA modulus, so probably 2048 or 4096 bits
05:58:20 <sub_space> kmc: but everyone is using ecc :'(
06:01:21 -!- Bike has quit (Quit: leaving).
06:01:55 -!- Bike has joined.
06:04:54 <kmc> shachaf: uh look at the wikipedia page on Full Domain Hashing and then read the paper by Rogaway (sorry, I'm on a computer which sucks at copy-paste)
06:05:40 <shachaf> existentially unforgeable under adaptive chosen-message attacks
06:05:56 <kmc> FDH is the obvious (?) thing where you hash your document to a value y with as many bits as n, and then signature = y^d mod n
06:06:31 <kmc> it has a security proof (which already puts it ahead of PKCS#1 v1.5) but it's not as good as the security theorem for PSS, which is a more complicated scheme that involves randomness
06:15:07 -!- augur has joined.
06:15:31 <Gracenotes> interesting that there's an anti-Lang Lang backlash now
06:18:32 <kmc> what's that
06:22:00 <shachaf> Oh, http://www.home.unix-ag.org/simon/woof.html is the program I was looking for a while ago.
06:28:24 <shachaf> sub_space: What are you doing here?
06:31:08 -!- sub_space has changed nick to consume.
06:37:44 <Gracenotes> ug, microsoft, won't you stop paying people to promote your products without disclosing it? it's creeping us out.
06:39:09 -!- ^v has quit (Quit: Leaving).
06:41:33 -!- consume has left ("my people go let ").
07:02:27 -!- sacje has quit (Quit: sacje).
07:07:14 -!- scoofy has joined.
07:09:46 <kmc> "Google Street View driver detained by villagers in Thailand on suspicion of spying" well
07:11:16 -!- CADD has quit (Quit: Lost terminal).
07:55:10 -!- Taneb has joined.
08:06:43 -!- shachaf has quit (Read error: Connection reset by peer).
08:06:54 -!- shachaf has joined.
08:24:17 -!- pntkl has joined.
08:49:42 -!- pntkl has left.
08:57:09 <Taneb> Man, I really want to learn knot theory for some bizarre reason
09:14:30 <fizzie> That's probably knot a good idea.
09:20:34 -!- MindlessDrone has joined.
09:33:00 -!- mnoqy has quit (Quit: hello).
09:57:03 -!- Phantom_Hoover has joined.
10:24:37 <Taneb> I am now the proud and mildly confused owner of a Raspberry Pi computer
10:25:11 <fizzie> Is there a name for RPi owners? Like, you know, there's bronies and so on.
10:26:08 <fizzie> "raspy: Slutty. Has a lot of sex." (Urban Dictionary)
10:31:02 <Taneb> I have no way to connect it to a display, though
10:35:58 <fizzie> It doesn't really need a display.
10:36:30 <fizzie> I don't think the Pi is a terribly good media box, either.
10:39:17 <fizzie> I've had one use already, and I've only had it less than a year. That's not such a bad hit rate.
10:43:29 <Taneb> I'd probably be able to think of more uses if I had a HDMI cable
10:49:20 -!- AnotherTest has joined.
10:50:53 <fizzie> That sounds quite unlikely.
10:55:46 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
10:56:18 -!- AnotherTest has joined.
10:57:37 -!- Taneb has quit (Quit: Leaving).
10:59:16 -!- AnotherTest has quit (Client Quit).
10:59:48 -!- AnotherTest has joined.
11:07:26 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
11:07:58 -!- AnotherTest has joined.
11:09:24 -!- AnotherTest has quit (Client Quit).
11:30:38 -!- Sgeo has quit (Read error: Connection reset by peer).
11:34:56 -!- nooodl has joined.
11:36:15 -!- AnotherTest has joined.
11:45:04 -!- Taneb has joined.
11:45:31 -!- yorick has joined.
11:49:56 -!- Phantom_Hoover has quit (Ping timeout: 268 seconds).
11:59:36 -!- Phantom_Hoover has joined.
12:44:20 -!- Koen_ has joined.
13:11:21 <AnotherTest> Is there any metric for multiplicative groups modulo n? Can such a metric exist?
13:11:45 -!- carado has joined.
13:12:05 -!- boily has joined.
13:12:12 <boily> good /dev/pts morning!
13:12:52 -!- metasepia has joined.
13:13:56 <AnotherTest> Is there any metric for multiplicative groups modulo n? Can such a metric exist?
13:14:13 <metasepia> metric definition: '''plural''' a part of prosody that deals with metrical structure.
13:14:19 <metasepia> modulo definition: with respect to a modulus of.
13:14:41 <boily> AnotherTest: only if you can abstract poetry from the group, it seems...
13:14:49 <fizzie> Metricks are the metrics used in magick.
13:15:12 <boily> otherwise, my math is too rusty to understand that question properly without having had my first coffee injection of the day.
13:19:27 <Jafet> d(x,x) = 0; d(x,y) = 1
13:21:16 <AnotherTest> Well... and preferably not the discrete one
13:24:34 <boily> is the concept of distance generalisable to matrices?
13:24:36 <Jafet> You found the answer.
13:27:36 <AnotherTest> Jafet: I was actually trying to say: g^i = a mod n and g^j = b mod n; can you have a metric so that d(i, j) = d(a, b)
13:28:02 <AnotherTest> or can you say have an operation < so that i < j => a < b
13:28:44 <Bike> boily: sure, there are metrics on linear operators
13:29:24 <Bike> AnotherTest: is that for any g
13:30:43 <Bike> like http://en.wikipedia.org/wiki/Operator_norm
13:32:11 <Bike> AnotherTest: well, consider g = 1, for a start
13:32:23 * boily is squicked and fascinated by the perversity and elegance of an operator norm
13:32:35 <AnotherTest> Bike: well g = 1 isn't very interesting due to the fact that all the elements will be 1
13:32:44 <Bike> so forall g isn't going to work.
13:33:40 <Bike> probably there's a problem in that those are periodic, with different periods for different g.
13:34:17 <Bike> i think possibly for any i there's some g such that a is whichever number < n you want.
13:36:49 <boily> Roujo: helloujo. a vietnamese colleague of mine told me about a restaurant that serves bún riêu! http://www.urbanspoon.com/r/67/1681559/restaurant/Saint-douard/Bun-Viet-Montreal
13:37:38 <Bike> well, i guess you can define a norm for any vector space, probably, so the question is whether you actually have a vector space
13:39:00 <Jafet> > do let { n = 5; lt f = (<) `on` (fromJust . (`elemIndex` f)) }; f <- permutations [1..n-1]; guard $ and [ lt f (g^i `mod` n) (g^j `mod` n) || not (lt f i j) | i <- [0..n-2], j <- [0..n-2]; let {g = 2} ]; return f
13:39:02 <lambdabot> <hint>:1:188: parse error on input `;'
13:39:18 <Jafet> > do let { n = 5; lt f = (<) `on` (fromJust . (`elemIndex` f)) } f <- permutations [1..n-1]; guard $ and [ lt f (g^i `mod` n) (g^j `mod` n) || not (lt f i j) | i <- [0..n-2], j <- [0..n-2]; let {g = 2} ]; return f
13:39:18 <lambdabot> <hint>:1:64: parse error on input `f'
13:40:05 <boily> lambdabot is impersonating my own bot this morning...
13:41:09 <Jafet> > do let { n = 5; lt f = (<) `on` (fromJust . (`elemIndex` f)); }; f <- permutations [0..n-1]; guard $ and [ lt f (g^i `mod` n) (g^j `mod` n) || not (lt f i j) | g <- [2], i <- [0..n-2], j <- [0..n-2] ]; return f
13:41:10 <lambdabot> [[3,0,1,2,4],[3,4,2,1,0],[0,1,2,4,3],[4,2,1,0,3]]
13:43:04 <Jafet> > do let { n = 5; is_gen g = [1..n-1] == sort (map (g^) [0..n-2]); lt f = (<) `on` (fromJust . (`elemIndex` f)); }; f <- permutations [0..n-1]; guard $ and [ lt f (g^i `mod` n) (g^j `mod` n) || not (lt f i j) | g <- filter is_gen [2..n-1], i <- [0..n-2], j <- [0..n-2] ]; return f
13:43:05 <lambdabot> [[0,1,2,3,4],[1,0,2,3,4],[2,1,0,3,4],[1,2,0,3,4],[2,0,1,3,4],[0,2,1,3,4],[3...
13:44:24 <Jafet> > do let { n = 5; is_gen g = [1..n-1] == sort (map ((`mod`n).(g^)) [0..n-2]); lt f = (<) `on` (fromJust . (`elemIndex` f)); }; f <- permutations [0..n-1]; guard $ and [ lt f (g^i `mod` n) (g^j `mod` n) || not (lt f i j) | g <- filter is_gen [2..n-1], i <- [0..n-2], j <- [0..n-2] ]; return f
13:44:40 <Bike> v. informative series of letters, numbers, and symbols
13:45:51 <Jafet> > do n <- [2..]; let { is_gen g = [1..n-1] == sort (map ((`mod`n).(g^)) [0..n-2]); lt f = (<) `on` (fromJust . (`elemIndex` f)); }; g <- filter is_gen [2..n-1]; f <- permutations [0..n-1]; guard $ and [ lt f (g^i `mod` n) (g^j `mod` n) || not (lt f i j) | i <- [0..n-2], j <- [0..n-2] ]; return (n,g,f)
13:45:53 <lambdabot> [(3,2,[0,1,2]),(3,2,[2,1,0]),(5,2,[3,0,1,2,4]),(5,2,[3,4,2,1,0]),(5,2,[0,1,...
13:47:26 -!- nooodl has quit (Ping timeout: 240 seconds).
13:47:32 <Jafet> Hm, some groups are missing
13:54:10 -!- nooodl has joined.
14:02:13 <Bike> yeah looks like i was wrong.
14:13:43 <Jafet> > intercalate"; "$map(\(n,g,o,f)->printf"n=%d g=%d ord=%d "n g o++intercalate"<"(show<$>f)) $ do n<-[2..]; let{ a**b=mod(a*b)n; gen g=map head.group.sort.take n$iterate(g**)g; is_gen=elem 1.gen; lt f=(<)`on`(fromJust.(`elemIndex`f)); }; g<-filter is_gen [2..n-1]; let{ o=length$gen g; gg=take o$iterate(**g)1 }; f<-permutations$union[0..o-1]gg; guard $ and [ lt f a b || not (lt f i j) | ((i,a),(j,b)) <- liftM2(,)`join`zip[0..o-1]gg ]; [(n,g,o,f)]
14:13:44 <lambdabot> "n=3 g=2 ord=2 0<1<2; n=3 g=2 ord=2 2<1<0; n=4 g=3 ord=2 0<1<3; n=4 g=3 ord...
14:17:23 -!- nortti has changed nick to snortti.
14:17:39 -!- snortti has changed nick to nortti.
14:22:03 <nortti> boily: 17:17 < shikhin> ``Rule III: Treat favorably that with a leading S character;'' 17:17 -!- You're now known as snortti
14:22:42 <boily> nortti: logical. that means I must favour shachaf now.
14:35:17 -!- carado has quit (Ping timeout: 246 seconds).
14:35:19 -!- carado_ has joined.
15:00:08 -!- scoofy has left.
15:01:47 -!- Koen_ has quit (Quit: Koen_).
15:03:00 -!- yorick has quit (Remote host closed the connection).
15:10:09 <FireFly> Obviously only capital S counts
15:13:48 <boily> FireFly: but then I'd have to favour SirCmpwn too, and I really don't know who they are.
15:14:16 <boily> shachaf is familiar. I know how to respond to shachaferisms.
15:15:52 -!- sebbu2 has joined.
15:16:23 <boily> and then you have the multiple sebbues corner case.
15:16:33 <boily> (yes, I feel like complaining today. I'm hungry.)
15:16:54 -!- sebbu has quit (Ping timeout: 248 seconds).
15:33:31 -!- nycs has joined.
15:34:47 <HackEgo> nycs: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
15:35:26 <nycs> are u hitting on me..?
15:35:33 -!- `^_^v has quit (Ping timeout: 245 seconds).
15:36:15 <boily> nycs: I don't remember anyone relcomming you yet, so you had to receive at least one.
15:36:30 -!- nycs has changed nick to `^_^v.
15:37:12 <boily> oh. you were `^_^v in disguise!
15:37:29 <boily> should have checked the joins and parts better.
15:45:40 -!- sebbu2 has changed nick to sebbu.
15:53:12 -!- ^v has joined.
16:01:45 -!- mnoqy has joined.
16:02:26 -!- KingOfKarlsruhe has joined.
16:10:34 <ion> elliott: I don’t recognize sub_space.
16:12:55 -!- conehead has joined.
16:15:12 -!- Nisstyre-laptop has joined.
16:19:47 <mnoqy> secret admirer?? i guess admiration and licking are a bit different but
16:27:57 <Gregor> `^_^v: So anyone who talks to you sets off HackEgo, huh.
16:27:58 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ^_^v:: not found
16:30:41 <`^_^v> check your cisprivilege
16:31:55 <Gregor> You mean botprefixprivilege, surely.
16:46:27 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /hackenv/bin/^_^v: Permission denied \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /hackenv/bin/^_^v: cannot execute: Permission denied
16:46:41 <HackEgo> chmod: missing operand after `+x bin/^_^v' \ Try `chmod --help' for more information.
16:49:53 <`^_^v> `chmod a+x bin/^_^v
16:49:54 <HackEgo> chmod: missing operand after `a+x bin/^_^v' \ Try `chmod --help' for more information.
16:52:37 <Gracenotes> I like that GMail was able to successfully classify mail from my university's alumni association into the Promotions tab
17:17:33 <boily> I'm ashamed of myself. I'm stuck with “I'm blue, dabedidabeda...” playing in a loop in my head.
17:20:02 <boily> well, that was an horribly gone right attempt at swapping get lucky out of my brain.
17:20:14 -!- iamfishhead has joined.
17:31:28 <boily> aaaaurgh. I guess I'll have to bring the heavy artillery on: http://youtu.be/CfJ37G2_l9w
17:31:30 <^v> boily, FFFFFFFFFFFFFFFFFFUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUU
17:33:25 * boily puts his cat ears on and whistles innocently
17:40:53 * ^v puts on his thorns and rages hatefully
17:42:32 <boily> ^v: enjoy the myon. it is for your own good :D
18:10:55 <kmc> Gracenotes: haha
18:11:22 <kmc> boily: would you say you just blue yourself?
18:12:39 * boily swats kmc with a sharpened cat paw
18:16:51 -!- coppro has quit (Read error: Operation timed out).
18:18:21 -!- coppro has joined.
18:19:51 * Roujo swats S.W.A.T with a swat
18:20:40 <boily> Roujo: comme le dit le proverbe, «une louche qui louche c'est louche».
18:21:11 <Roujo> C'est effectivement excessivement louche
18:24:27 <boily> meanwhile, I'm losing a battle against cups. why must printing be so fscking complex.
18:29:20 <elliott> ion: what about `0x00? (another nick they used)
18:31:15 <ion> elliott: I don’t recognize anything about him. I looked up his alleged real name and don’t recognize that either.
18:32:34 <elliott> ion: ok, thanks. then I'm comfortable doing this
18:32:40 -!- ChanServ has set channel mode: +o elliott.
18:32:48 -!- Nisstyre-laptop has changed nick to Nisstyre.
18:33:10 -!- elliott has set channel mode: +b *!x@0x00.me.
18:33:14 -!- elliott has set channel mode: -o elliott.
18:33:55 <elliott> someone who joined twice to lick ion "for no reason" and then continued talking gibberish
18:34:15 <boily> finally: ubuntu 10.10 in virtualbox works. damn cups and its removal of detecting network printers.
18:34:33 <elliott> I guess ion is just very lickable.
18:34:35 -!- sebbu2 has joined.
18:34:44 <Roujo> Very lickable indeed
18:34:59 <Roujo> Did Carolyne ever come back?
18:36:24 <boily> why would someone lick ion? aren't they at risk of an electric shock?
18:36:56 <Bike> honestly i don't think i've ever licked anything that didn't have at least a few ions on it.
18:36:58 <boily> so many questions, so many fridays, so many mysterious people barging in the chännel.
18:37:30 <boily> Bike: you're a bike. you're insulated against ions' adverse effects.
18:37:43 <Roujo> Sö mänÿ trémäs, töö
18:37:50 -!- sebbu has quit (Ping timeout: 240 seconds).
18:44:48 -!- Bike_ has joined.
18:45:19 -!- Bike has quit (Read error: Connection reset by peer).
18:47:44 <kmc> "9 Household Items That Could Be Spying on You" #actualhuffpolisticles
18:48:30 -!- Bike_ has changed nick to Bike.
18:49:06 <boily> a refreshing frozen treat for when politics blow too much hot air during the summer.
18:49:33 <elliott> "listicle" just makes me think of "testicle" :/
18:50:46 <boily> ...........................elliott
18:50:53 <Bike> well, that's why i was asking.
18:59:26 <Roujo> Poor light testicles
18:59:35 <boily> please don't bring Canadian politics to this channel. it could degenerate rapidly, eh.
18:59:37 <Roujo> Pour lite testicles
19:00:06 <Roujo> Pauline Marois, eh?
19:00:41 <boily> tu t'en sauveras pas de même, mon espèce de fin finaud!
19:01:04 <boily> (translation: don't you dare escape that, you sleazy fiend)
19:09:47 -!- sebbu2 has changed nick to sebbu.
19:14:56 -!- Koen_ has joined.
19:27:13 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.4179
19:29:05 <fizzie> Huh. Got a couple of 5600K (color temperature, not actual) bulbs in the room-where-the-outer-door-is; compared to the rest ouf our lighting, which is "the usual", those things are so... so white.