←2014-07-20 2014-07-21 2014-07-22→ ↑2014 ↑all
00:00:56 -!- MoALTz__ has joined.
00:02:20 -!- MoALTz has joined.
00:03:36 -!- MoALTz_ has quit (Ping timeout: 255 seconds).
00:05:03 -!- MoALTz__ has quit (Ping timeout: 240 seconds).
00:23:19 -!- yorick has quit (Remote host closed the connection).
00:27:33 <oerjan> @hoogle (<@>)
00:27:33 <lambdabot> No results found
00:31:05 -!- MoALTz has quit (Ping timeout: 250 seconds).
00:39:45 -!- TodPunk has joined.
00:58:10 -!- boily has quit (Quit: EXEMPLARY CHICKEN).
00:58:13 -!- metasepia has quit (Remote host closed the connection).
01:17:21 -!- Phantom_Hoover has quit (Remote host closed the connection).
01:39:13 -!- not^v has joined.
01:45:31 -!- zzo38 has joined.
01:46:09 -!- not^v has quit (Quit: http://i.imgur.com/Akc6r.gif).
01:52:06 -!- shikhin has joined.
01:52:59 -!- Sorella has quit (Quit: sleep tiem).
01:54:52 -!- shikhout has quit (Ping timeout: 245 seconds).
01:55:42 -!- PupUser44fbce has joined.
01:56:04 -!- PupUser44fbce has left.
01:57:59 <zzo38> I may acquire RF Famicom pretty soon.
02:15:12 -!- oerjan has quit (Quit: Nite).
02:25:51 -!- fowl has joined.
02:34:29 -!- nooodl has quit (Quit: Ik ga weg).
02:57:34 -!- MoALTz has joined.
03:06:47 -!- brrr has quit (Quit: Cya!).
03:09:41 -!- brrr has joined.
03:17:43 -!- edwardk has joined.
03:27:27 -!- shikhin has quit (Ping timeout: 250 seconds).
04:07:37 <Sgeo> !qualiaofpurplelist
04:07:49 <Bike> is that so.
04:21:25 -!- MoALTz_ has joined.
04:24:03 -!- MoALTz has quit (Ping timeout: 240 seconds).
04:33:43 -!- ^v has changed nick to totallynotpingak.
04:33:58 -!- totallynotpingak has changed nick to notv^akaping.
04:39:11 -!- notv^akaping has changed nick to ^v.
05:54:27 <Sgeo> "Metaclasses in Python 1.5 - A.k.a. The Killer Joke"
05:55:21 -!- ^v has changed nick to ^8.
06:05:23 -!- Frooxius has quit (Ping timeout: 264 seconds).
06:23:59 -!- MoALTz_ has quit (Quit: Leaving).
06:24:42 -!- MindlessDrone has joined.
06:41:12 -!- ^8 has quit (Ping timeout: 240 seconds).
06:49:28 -!- ^8 has joined.
07:11:50 <zzo38> Is there a command to make glogbot to send a NS INFO request (and log the results)?
07:27:13 <zzo38> Actually, nevermind it isn't actually important I suppose???
07:34:53 <zzo38> Is there a way to create a public/private key pair such that I will not know the private key until a set amount of time has passed (and nobody knows the key before then)?
07:49:10 -!- AnotherTest has joined.
08:03:08 -!- edwardk has quit (Quit: Computer has gone to sleep.).
08:06:56 <zzo38> Furthermore, is it possible to prove that such thing is the case?
08:07:54 -!- edwardk has joined.
08:17:46 -!- brrr has quit (Quit: Cya!).
08:24:44 -!- Patashu has joined.
08:25:02 -!- Patashu_ has joined.
08:25:02 -!- Patashu has quit (Disconnected by services).
09:01:30 -!- drdanmaku has quit (Quit: Connection closed for inactivity).
09:09:25 -!- mhi^ has joined.
09:14:41 -!- mihow has quit (Read error: Connection reset by peer).
09:31:16 -!- Phantom_Hoover has joined.
09:39:58 * impomatic_ wonders what this means "This channel is on clonebot autokline. You will be banned from freenode automatically if you stay. Please leave the channel right away"
09:41:39 <shachaf> It probably means what it says.
09:43:45 <fizzie> It probably means you'll get candy if you stick with the channel.
09:44:09 <fizzie> They're just trying to keep all the candy to themselves with the scary messages.
09:44:57 <shachaf> fizzie: shh, i'll get less candy this way :'(
09:45:17 <fizzie> Oh, you're one of them.
09:47:20 <b_jonas> candy? where?
09:48:00 <b_jonas> but anyway, sure, freenode does have such trap channels
10:17:41 <impomatic_> I've been in the channel since Saturday and still haven't received candy :-(
10:18:32 <impomatic_> It's #commodore (the channel I intended to join is #c64)
10:21:23 -!- mhi^ has quit (Quit: Lost terminal).
10:27:12 -!- brrr has joined.
10:30:19 <ion> Spambot honeypot channels? A cool idea.
10:31:02 <ion> Let’s all join that channel to advertise the wiki.
10:33:12 <fizzie> I'm not sure the present moment is the best possible time to advertise it.
10:33:50 <fizzie> "#commodore" sounds like a rather uninspired name for a bot C&C channel.
10:33:57 <fizzie> Also vaguely familiar.
10:34:29 -!- edwardk has quit (Quit: Computer has gone to sleep.).
10:43:34 -!- boily has joined.
10:51:01 -!- yorick has joined.
10:56:56 -!- mihow has joined.
11:09:28 -!- boily has quit (Quit: Poulet!).
11:29:26 -!- Vorpal has joined.
11:33:14 -!- brrr has quit (Quit: Cya!).
11:56:24 -!- Patashu_ has quit (Ping timeout: 255 seconds).
11:56:49 -!- Patashu has joined.
12:00:43 -!- Sgeo has quit (Read error: Connection reset by peer).
12:43:48 -!- Patashu has quit (Remote host closed the connection).
12:44:00 -!- Patashu has joined.
12:49:59 -!- Lorenzo64 has joined.
12:59:33 -!- Patashu has quit (Ping timeout: 240 seconds).
13:24:09 -!- oerjan has joined.
13:27:18 -!- AnotherTest has quit (Ping timeout: 250 seconds).
13:28:00 -!- AnotherTest has joined.
14:34:35 <oerjan> > product [1..69] :: Int
14:34:36 <lambdabot> 0
14:35:25 <Bike> deep.
14:39:41 <int-e> > product [1..63] :: Int == 2^63
14:39:42 <lambdabot> <hint>:1:27: Illegal literal in type (use DataKinds to enable): 2
14:39:50 <int-e> > (product [1..63] :: Int) == 2^63
14:39:51 <lambdabot> False
14:40:15 <int-e> oh.
14:40:31 <oerjan> someone on stack overflow was having overflow issues.
14:41:32 <oerjan> int-e: there aren't enough powers of 2 in the factors, i take.
14:42:20 <oerjan> > [product [1..n] | n <- [63::Int ..]]
14:42:21 <lambdabot> [1585267068834414592,-9223372036854775808,-9223372036854775808,0,0,0,0,0,0,0...
14:42:59 <oerjan> > 2^63::Int
14:43:00 <lambdabot> -9223372036854775808
14:43:06 <oerjan> i guess you were close
14:43:12 <int-e> > product [1..63] `mod` 2^(31 + 15 + 7 + 3 + 1)
14:43:14 <lambdabot> 0
14:43:16 <int-e> > product [1..63] `mod` 2^(31 + 15 + 7 + 3 + 2)
14:43:17 <lambdabot> 144115188075855872
14:43:50 <int-e> > (product [1..64] :: Int) == 2^63
14:43:51 <lambdabot> True
14:44:15 <int-e> visualized it wrong. my bad.
14:45:14 <oerjan> well DON'T DO THAT AGAIN
14:45:23 <int-e> I'll try
14:45:51 <oerjan> i guess this is the same for every power of 2
14:47:07 <int-e> yes.
14:50:48 -!- zzo38 has quit (Remote host closed the connection).
14:59:20 -!- edwardk has joined.
15:23:50 -!- shikhin has joined.
15:27:25 -!- Frooxius has joined.
15:29:39 -!- TodPunk has quit (Read error: Connection reset by peer).
15:31:29 -!- TodPunk has joined.
15:43:48 -!- TodPunk has quit (Ping timeout: 250 seconds).
15:48:51 -!- zzo38 has joined.
15:54:27 -!- oerjan has quit (Quit: leaving).
15:55:10 -!- drdanmaku has joined.
15:58:53 -!- zzo38 has quit (Remote host closed the connection).
15:58:54 -!- nooodl has joined.
16:01:59 <ion> Twelve Tones by Vi Hart http://youtu.be/4niz8TfY794
16:12:33 -!- AnotherTest has quit (Ping timeout: 240 seconds).
16:28:16 -!- AnotherTest has joined.
16:39:53 -!- TodPunk has joined.
16:51:11 -!- ^8 has changed nick to ^v.
16:57:04 -!- TodPunk has quit (Read error: Connection timed out).
17:02:53 -!- Bicyclidine has joined.
17:07:43 -!- AnotherTest has quit (Ping timeout: 240 seconds).
17:08:14 -!- TodPunk has joined.
17:10:19 -!- AnotherTest has joined.
17:16:16 <newsham_> why all the stranvisnky hating?
17:18:14 <Bicyclidine> spreading rumors for the sake of publicity is a bit annoying
17:20:13 -!- yorick has quit (Read error: Connection reset by peer).
17:25:39 <Phantom_Hoover> isn't stravinsky dead
17:25:45 <Bicyclidine> very.
17:26:46 <Phantom_Hoover> but who cares if a dead guy spread rumours for the sake of publicity??
17:27:03 <Bicyclidine> me
17:35:05 -!- MoALTz has joined.
17:36:00 <quintopia> on the other hand, stravinsky wrote some awesome tunes and had some great artistic ideas
17:41:57 <ion> newsham: She told/will soon tell you.
17:46:00 <newsham_> ion: my curiosity outlived my attention span
17:46:29 <newsham_> stravinky is prob the greatest composer evar
17:46:54 <newsham_> definitely one of the most imortant and most influential
17:49:56 <ion> newsham: She added contrived Stravinsky hating so her work qualifies as commentary/criticism and thus Stravinsky’s grand-grand-grand-grand-grandchildren can’t sue her for copyright infringement.
17:54:33 -!- AnotherTest has quit (Ping timeout: 240 seconds).
17:55:54 -!- AnotherTest has joined.
17:57:40 <Phantom_Hoover> ion, wtf are you talking about
17:58:12 <ion> <newsham_> why all the stranvisnky hating?
17:58:40 <Phantom_Hoover> and the rest of the context?
17:59:25 <ion> Uh, one line above that message. :-P <ion> Twelve Tones by Vi Hart http://youtu.be/4niz8TfY794
18:07:43 <quintopia> it's a good video. tone rows are neat.
18:15:13 <Phantom_Hoover> grr vi hart
18:16:11 <myname> i like vihart
18:16:23 <myname> however, vihartvihart is strange stuf
18:16:30 <myname> except for the snail videos
18:16:38 <myname> the second one rocks
18:17:15 <myname> http://youtu.be/UkSN-kqAmxw
18:18:05 <quintopia> yeah i don't get the microwave thing at all. i don't watch it
18:20:02 <elliott> Phantom_Hoover: what is even your beef with vi hart again
18:21:55 <Phantom_Hoover> it's... i think her presentation of maths as fun and aesthetic is a bit too shallow?
18:22:27 <Bicyclidine> so the usual
18:22:29 <Phantom_Hoover> one of her worst videos is where she tries to explain troll pi and concludes that it results in an 'infinitely jagged curve'
18:22:44 <Bicyclidine> what's wrong w/that
18:23:18 <Phantom_Hoover> the part where it doesn't?
18:23:41 <Bicyclidine> well i sure don't know
18:24:25 <Phantom_Hoover> it results in a regular ordinary circle
18:24:46 <Phantom_Hoover> the important and interesting part is that just because a series of curves converge to a circle doesn't mean their arc lengths do
18:25:00 <elliott> pop sci isn't completely rigorous and can be nitpicked, news at 11
18:25:10 <Phantom_Hoover> that's not a 'nitpick'
18:25:18 <Phantom_Hoover> it's a complete misunderstanding of the actual idea
18:25:47 <Phantom_Hoover> it's like... if you said that big objects and small objects fall at the same speed because big objects are denser or something?
18:25:58 <Phantom_Hoover> analogies are not my strong suit
18:26:38 <Bicyclidine> "infinitely jagged curve" doesn't sound far off from arc lengths being different
18:28:38 <Phantom_Hoover> well the infinitely jagged answer tells you that at the end you have a curve indistinguishable from a circle, except its arc length is 4
18:28:42 <Phantom_Hoover> (the unit circle obv.)
18:29:08 <Phantom_Hoover> whereas with the arc length one, at the end you have the actual unit circle with arc length 2pi
18:29:11 -!- yorick has joined.
18:29:42 <Phantom_Hoover> you're right though, they're not that far apart, which really makes it worse
18:29:48 <Phantom_Hoover> subtle misconceptions are harder to shake
18:32:01 <Taneb> Yesterday I had a maths panic
18:32:45 <Taneb> Because I forgot a detail about identifying critical points
18:32:58 <Taneb> s/ident/class/
18:33:59 <Phantom_Hoover> i had to use critical points this year and it felt weirdly dirty
18:34:47 <Phantom_Hoover> like i should've been using some brilliant analysis trick rather than filthy school calculus
18:39:18 <Bicyclidine> must be annoying being constrained by elegance concerns *randomly varies a bunch of parameters to see if that works #yolo*
18:41:20 -!- TieSoul has quit (Read error: Connection reset by peer).
18:42:04 -!- TieSoul has joined.
18:47:43 -!- brrr has joined.
18:53:59 <Taneb> But yes, yesterday I panicked because I accidentally convinced myself that the minimum of y = x^4 wasn't a minimum
18:56:48 <Taneb> Which, you understand, is a terrifying thing to do to oneself
18:57:13 <Phantom_Hoover> the horror of the thing
18:57:37 <Taneb> I got better, though
18:57:59 <Phantom_Hoover> what did you think it was
18:59:57 <Taneb> I don't know
19:00:00 <Taneb> I got confused
19:01:35 <Phantom_Hoover> getting confused is the worst
19:03:27 -!- mihow has quit (Ping timeout: 250 seconds).
19:06:37 <Taneb> Essentially, don't trust the second derivative test. Sometimes it is inconclusive.
19:09:26 <Phantom_Hoover> my maths teacher at school actually said that if the second derivative was 0 it was a point of inflection
19:12:43 <b_jonas> ha ha ha
19:28:27 <Bicyclidine> i forget, is that ever false for smooth functions? i guess probably
19:29:12 <Bicyclidine> oh. x⁴. yes, ignore me
19:38:33 -!- nycs has quit (Ping timeout: 240 seconds).
19:41:07 -!- AnotherTest has quit (Ping timeout: 245 seconds).
19:41:15 -!- TieSoul has quit (Ping timeout: 255 seconds).
19:47:01 -!- nycs has joined.
19:51:26 -!- MindlessDrone has quit (Quit: MindlessDrone).
19:52:05 -!- shikhout has joined.
19:53:09 -!- TieSoul has joined.
19:55:01 -!- shikhin has quit (Ping timeout: 250 seconds).
20:00:37 -!- variable has quit (Ping timeout: 256 seconds).
20:14:03 -!- variable has joined.
20:14:35 -!- variable has changed nick to Guest99147.
20:43:43 -!- shikhout has changed nick to shikhin.
20:44:53 -!- mshock has joined.
20:45:57 -!- Patashu has joined.
20:49:13 -!- not^v has joined.
20:49:32 -!- not^v has changed nick to ^4.
21:01:47 -!- Lorenzo64 has quit (Read error: Connection reset by peer).
21:04:59 -!- MDude has joined.
21:17:57 -!- Patashu_ has joined.
21:17:57 -!- Patashu has quit (Disconnected by services).
21:24:13 -!- Patashu_ has quit (Ping timeout: 240 seconds).
21:27:43 -!- mshock has quit (Ping timeout: 240 seconds).
21:45:55 -!- metasepia has joined.
21:46:00 -!- boily has joined.
21:47:11 -!- edwardk has quit (Quit: Computer has gone to sleep.).
21:49:03 -!- nooodl has quit (Ping timeout: 240 seconds).
21:53:30 -!- nooodl has joined.
22:06:56 -!- conehead has quit (Quit: Textual IRC Client: www.textualapp.com).
22:07:52 -!- Burton has quit (Ping timeout: 260 seconds).
22:09:02 -!- SirCmpwn has quit (Remote host closed the connection).
22:10:40 -!- SirCmpwn has joined.
22:20:58 -!- Sgeo has joined.
22:28:23 -!- boily has quit (Quit: INCOMPARABLE CHICKEN).
22:28:26 -!- metasepia has quit (Remote host closed the connection).
22:28:52 -!- FreeFull has quit (Ping timeout: 260 seconds).
22:30:37 -!- FreeFull has joined.
22:33:36 -!- ^4 has quit (Ping timeout: 255 seconds).
22:37:38 -!- oerjan has joined.
22:38:24 <quintopia> boily venit, boily vidit, boily tacet erat
22:40:15 -!- ^4 has joined.
22:40:42 -!- Bicyclidine has quit (Ping timeout: 245 seconds).
22:43:51 -!- Burton has joined.
22:47:03 <oerjan> *tacuit, or maybe *tacebat
22:48:42 * oerjan wonders how quintopia got that since google agrees with the tacuit.
22:49:53 <quintopia> i made it up from hazy memories of high school latin
22:50:00 <oerjan> ok
22:50:31 -!- Sorella has joined.
22:51:30 -!- drdanmaku has quit (Quit: Connection closed for inactivity).
22:52:38 <quintopia> and i was actually looking for something more like silentium erat i think
22:53:24 <quintopia> or maybe tacita est?
22:54:10 <oerjan> tacita seems to apply to the thing not said, not the non-speaker
22:55:15 <quintopia> you're right
22:55:30 <oerjan> i guess "silentium erat" works
22:55:38 <oerjan> "there was silence"
22:55:56 <quintopia> i wanted tacuavit (i can't figure out the compose sequence to put a macron on the a)
22:56:32 <quintopia> ā ah here it is
22:56:39 <quintopia> tacuāvit
22:58:06 <oerjan> can't seem to find that on wiktionary
22:58:19 <quintopia> here you go: http://www.verbix.com/webverbix/go.php?T1=tacuo&Submit=Go&D1=9&H1=109
22:58:58 <oerjan> "The verb you entered does not exist in Verbix verb database. The conjugations may not be accurate."
22:59:43 <oerjan> i also searched for tacuo on wiktionary without finding it
23:01:23 * oerjan looks up tacito too, but it's only listed as a participle
23:01:25 <quintopia> oh well
23:02:03 <oerjan> in case you wanted the frequentative
23:02:40 <quintopia> it's taceo
23:02:59 <quintopia> so tacuit is correct
23:03:16 <quintopia> google just retranslates it incorrectly as "is silent" rather than "was silent"
23:17:18 -!- nooodl_ has joined.
23:17:33 -!- ^4 has quit (Quit: http://i.imgur.com/Akc6r.gif).
23:20:51 -!- nooodl has quit (Ping timeout: 250 seconds).
23:25:18 -!- mshock has joined.
23:30:15 -!- edwardk has joined.
23:34:55 -!- edwardk has quit (Read error: Connection reset by peer).
23:35:14 -!- edwardk has joined.
23:39:33 -!- conehead has joined.
23:39:33 -!- conehead has quit (Changing host).
23:39:33 -!- conehead has joined.
23:52:36 -!- yorick has quit (Remote host closed the connection).
23:55:23 -!- MoALTz_ has joined.
23:58:14 -!- MoALTz has quit (Ping timeout: 250 seconds).
←2014-07-20 2014-07-21 2014-07-22→ ↑2014 ↑all