00:02:37 <oerjan> `run echo 'braint epoaq smurin parnand twimp 1cnisc skul wikicyclic infche uncomb ook object barint th rube vela cupid chanique bub unis ~ unreall befal attoasm devil' | xargs -n1 echo | join -i - share/esolangs.txt
00:02:42 <HackEgo> join: file 2 is not in sorted order \ join: file 1 is not in sorted order \ ~
00:02:57 <oerjan> `run echo 'braint epoaq smurin parnand twimp 1cnisc skul wikicyclic infche uncomb ook object barint th rube vela cupid chanique bub unis ~ unreall befal attoasm devil' | xargs -n1 echo | sort | join -i - ess
00:03:02 <HackEgo> join: file 2 is not in sorted order \ attoasm \ bub \ epoaq \ rube \ ~
00:04:09 <kallisti> oerjan: um what are you doing.
00:04:18 <oerjan> `run sort -f share/esolangs.txt >ess
00:04:27 <oerjan> `run echo 'braint epoaq smurin parnand twimp 1cnisc skul wikicyclic infche uncomb ook object barint th rube vela cupid chanique bub unis ~ unreall befal attoasm devil' | xargs -n1 echo | sort -f | join -i - ess
00:04:31 <HackEgo> attoasm \ bub \ cupid \ epoaq \ object \ rube \ th \ twimp \ ~
00:04:50 <oerjan> kallisti: making a command to tell which are actual esolangs :P
00:05:35 <oerjan> i'm not sure how to do it in perl.
00:05:55 <oerjan> at least not simpler than this
00:06:21 <oerjan> 's something wrong because ook isn't listed
00:06:43 <kallisti> `run perl -n -e 'print 'Yep! it's an esolang!" if $ARGV[0] eq $_;'" share/esolangs.txt
00:06:44 <oerjan> `run grep -i ook share/esolangs.txt
00:06:46 <HackEgo> bash: -c: line 0: unexpected EOF while looking for matching `"' \ bash: -c: line 1: syntax error: unexpected end of file
00:07:05 <kallisti> -n kind of eats my command line args.
00:07:40 <oerjan> hm, does this mean your generator produced ook _even though it wasn't there_? :P
00:07:58 <kallisti> `run perl -n -e 'print 'Yep! it's an esolang!" if $ARGV[0] eq $_;'" share/esolangs.txt ook
00:08:01 <HackEgo> bash: -c: line 0: unexpected EOF while looking for matching `"' \ bash: -c: line 1: syntax error: unexpected end of file
00:08:12 <kallisti> `run perl -n -e 'print 'Yep! it's an esolang!" if $ARGV[0] eq $_;' share/esolangs.txt ook
00:08:15 <HackEgo> syntax error at -e line 1, at EOF \ Execution of -e aborted due to compilation errors.
00:08:19 <oerjan> oh and it wasn't an exact match, it probably actually combines ook! with brook
00:08:31 <kmc> Sgeo, that seems weird to me, but i don't really have the context
00:08:35 <kmc> you could also ask #haskell
00:08:36 <kmc> for more opinions
00:08:46 <kallisti> `run perl -n -e 'print "Yep! it's an esolang!" if $ARGV[0] eq $_;' share/esolangs.txt ook
00:08:49 <HackEgo> bash: -c: line 0: unexpected EOF while looking for matching `"' \ bash: -c: line 1: syntax error: unexpected end of file
00:08:53 <oerjan> kallisti: also i was trying to feed in a whole line of generated esolangs, duh
00:13:16 <kallisti> `run perl -n -e 'print "Yep! its an esolang!" if $ARGV[1] eq $_;' share/esolangs.txt ook
00:13:19 <HackEgo> Can't open ook: No such file or directory at -e line 1, <> line 695.
00:13:23 <oerjan> `run mv ess share/esolangs.txt.sorted
00:14:32 -!- Patashu has joined.
00:17:38 -!- Nisstyre has quit (Quit: Leaving).
00:38:52 -!- itidus21 has quit (Ping timeout: 244 seconds).
01:24:11 -!- itidus21 has joined.
01:32:01 <itidus21> i have been afk. i like the generated names :P
01:32:53 <itidus21> but yeah might be better if i hunt down a more elaborate prog language list i guess
01:46:41 -!- Nisstyre has joined.
01:59:02 -!- pikhq_ has joined.
01:59:08 -!- pikhq has quit (Ping timeout: 252 seconds).
02:04:23 -!- pikhq_ has quit (Ping timeout: 245 seconds).
02:04:25 -!- pikhq has joined.
02:06:35 -!- DCliche has joined.
02:09:53 -!- Klisz has quit (Ping timeout: 276 seconds).
02:27:21 <Sgeo> kallisti, you saw update?
02:30:13 <itidus21> heres a more extensive language list: http://pastebin.com/Kc6N7KnZ
02:31:17 <kallisti> itidus21: challenge: add it yourself
02:31:49 <kallisti> `run source/construct_grams.pl --hepl
02:31:53 <kallisti> `run source/construct_grams.pl --help
02:31:53 <HackEgo> bash: source/construct_grams.pl: No such file or directory
02:31:57 <HackEgo> bash: source/construct_grams.pl: No such file or directory
02:32:05 <kallisti> `run share/construct_grams.pl --help
02:32:14 <kallisti> okay so there isn't actually any help...
02:33:12 <kallisti> construct_grams.pl -m OutputFileName -e OptionalEncoding -f OptionalFilterRegex Inputfile1 Inputfile2 ...
02:33:34 <kallisti> for the -f option I recommend using '.' which will match any line.
02:33:48 <itidus21> i think you vastly overestimate my knowledge
02:33:54 <kallisti> you can probably leave -e out because it defaults to utf-8
02:34:13 <kallisti> the only slightly difficult part is actually converting the spaces to non-breaking spaces.
02:34:24 <kallisti> itidus21: it's never too late to learn! :>
02:34:45 <kallisti> do you see how I'm transforming what is actually my laziness into A POSITIVE MOTIVATIONAL CHALLENGE.
02:35:12 <itidus21> it is indeed my responsibility since it was my idea
02:35:59 <itidus21> i think my first act will be to combine both files on my pc
02:37:04 <kallisti> this will make things approx. 1000000000000000000 times easier
02:37:17 <kallisti> combining the two files in Linux is
02:37:53 <kallisti> it will not be very easy to convert the spaces to non-breaking spaces.
02:38:10 <oerjan> itidus21: hm maybe better to keep them separate, `words allows combining two languages
02:39:08 <kallisti> oerjan: well the result of the combined dataset will be different from combining it beforehand
02:39:20 <itidus21> oh and this link is curious! http://people.ku.edu/~nkinners/LangList/Extras/langlist.htm
02:39:27 <kallisti> oerjan: because of normalization
02:39:31 <kallisti> the esolang list will become more important
02:39:40 <kallisti> if you just cat'd them together.
02:39:57 <itidus21> the source of the second list (but i had to do a bit of editing)
02:40:01 <kallisti> and I'm not too satisfied with the --esolang output
02:40:04 <kallisti> because the dataset is so small
02:40:22 <itidus21> thats why i came up with a dataset of 2785 lines :P
02:41:38 <itidus21> i felt so insignifigant as i scrolled through the list removing identical duplicates
02:43:10 <kallisti> you will be able to do these kinds of data processing things so much faster.
02:43:16 <itidus21> steve ballmer didn't include sh with win xp ;_;
02:45:45 <itidus21> its probably not the best time.. ill be busy eventually here
02:46:35 <itidus21> what about a hex editor though? :D
02:53:44 <oerjan> just download vim *cackles evilly*
02:54:45 <oerjan> (it almost certainly _would_ be easy in vim, if you already knew it)
02:55:36 <itidus21> getting the file in the right format would just be the start of my troubles
03:01:04 <kallisti> you would have to try really hard to get it in the wrong format.
03:01:26 <kallisti> even then most things use UTF-8
03:07:37 <itidus21> uploading it to the right place and setting up your bot would be not so easy
03:19:54 -!- pikhq has quit (Ping timeout: 252 seconds).
03:19:56 -!- pikhq_ has joined.
04:00:31 -!- zzo38 has joined.
04:25:18 -!- Jafet has joined.
04:35:57 -!- azaq23 has quit (Quit: Leaving.).
05:07:20 -!- zzo38 has set topic: No topic Tuesday! | Wait, it's not Friday?? Damn it! | So, what is blegnian motion, anyway? | http://codu.org/logs/_esoteric/.
05:24:17 -!- pikhq has joined.
05:24:23 -!- pikhq_ has quit (Ping timeout: 245 seconds).
06:01:02 -!- Lymee has joined.
06:02:07 -!- Lymee has changed nick to Lymia.
06:04:42 -!- Madoka-Kaname has quit (Ping timeout: 240 seconds).
06:06:56 -!- Lymee has joined.
06:07:00 -!- Lymee has changed nick to Madoka-Kaname.
06:10:13 -!- Lymia has quit (Ping timeout: 245 seconds).
06:43:08 -!- Klisz has joined.
06:45:13 -!- DCliche has quit (Ping timeout: 245 seconds).
06:46:20 <Sgeo> kallisti, did you see the Strider update?
07:00:13 -!- pikhq_ has joined.
07:00:36 -!- pikhq has quit (Ping timeout: 252 seconds).
07:04:55 <zzo38> At FreeGeek they have Ubuntu, why doesn't it work to double-click the control menu of a window?
07:04:56 -!- Klisz has quit (Quit: SLEEP, GLORIOUS SLEEP).
07:08:27 -!- zzo38 has quit (Remote host closed the connection).
07:09:39 -!- pikhq has joined.
07:09:57 -!- pikhq_ has quit (Ping timeout: 252 seconds).
07:29:17 <Sgeo> ais.... is not here
08:04:17 -!- oerjan has quit (Quit: Good night).
08:36:48 -!- monqy has quit (Quit: hello).
08:37:20 -!- Jafet1 has joined.
08:38:33 -!- Jafet has quit (Ping timeout: 252 seconds).
08:41:52 -!- CHeReP has quit (Quit: This computer has gone to sleep).
08:58:17 * Sgeo wonders what elliott thinks about Pipes other than the licensing issue
09:06:51 <myndzi> so like, i got all excited yesterday because i found that 7!*13 was real close to a binary border, but it turns out i should have been using ^ not *
09:07:26 <myndzi> anybody got an idea how i might discern some combination / cycle of multiplying 7-2 that will align closely?
09:08:01 <myndzi> i guess if i want to encompass them it doesn't matter what order i go in, i just want log(7!^x)/log(2) is close to an integer, hmm
09:08:22 <myndzi> need to stick some modulo in there to try and find out how far out it might go
09:08:46 * kmc wonders what the hell myndzi is talking about
09:08:47 * myndzi wonders what the hell kmc is talking about
09:08:53 <myndzi> just rambling about math stuff
09:09:00 <kmc> you typed that impossibly fast
09:09:09 <myndzi> imagine for a moment that 7! came out to 4096 or something
09:09:14 <myndzi> but instead it comes out to 5040
09:09:28 <myndzi> which is only about $calc4096/5040)
09:09:33 <myndzi> which is only about 0.812698 <-
09:10:01 <kmc> i'm clearly missing the context for what you're trying to do
09:10:31 <myndzi> i'm trying to see if there is some N for 5040^n where 5040^n-floor(5040^n) is extremely low
09:10:33 <myndzi> maybe that helps describe it
09:11:28 <kmc> if n is an integer, 5040^n an integer, and therefore equal to its floor
09:12:00 <myndzi> i.e. is extremely close to an integer
09:12:25 <myndzi> obviously 5040^n gets large quickly, i'm not sure how i might work modulo in there in a mathematically sound way :P
09:12:51 <myndzi> though if i was it seems like i should be able to find the value of n that comes closest even if i don't know what 5040^n is, which is fine
09:13:04 <fizzie> log(5040^n) = n*log(5040).
09:13:12 <kmc> times something else for change of base
09:13:17 <myndzi> there's something useful that i forgot about :)
09:14:03 <fizzie> Well, log_any(5040^n)/log_any(2) = log_2(5040^n) = n*log_2(5040).
09:15:36 <myndzi> 60 log (5040) is 511.5
09:15:41 <kmc> there is no log but the natural log, and e is its base
09:16:00 <myndzi> i'm not sure if i'm doing this right now lol
09:17:24 <fizzie> That's relatively speaking reasonably close.
09:18:18 <myndzi> ya, i was just eyeballing the graph
09:18:22 <myndzi> i think i found 10 earlier, lemme see
09:19:26 <myndzi> .03% miss chance not terrible
09:19:50 <myndzi> no closer than 60 either
09:20:38 <fizzie> log_2(5040) = 12.299208..., so it's reasonably easy to see that *10 that is close to 123, and that you will probably need to go rather large multiplies to be closer than that.
09:21:08 <myndzi> 2^128 is the closest byte border
09:21:24 <myndzi> so (5040^10)/(2^128) comes pretty close
09:24:04 <Deewiant> > [ (n,y) | n <- [0..], let y = logBase 2 (5040^n); z = 100 * (y - fromIntegral (floor y)), z >= 95 ]
09:24:18 <Deewiant> > take 5 [ (n,y) | n <- [0..], let y = logBase 2 (5040^n); z = 100 * (y - fromIntegral (floor y)), z >= 95 ]
09:24:19 <lambdabot> [(10,122.9920801838728),(20,245.9841603677456),(30,368.9762405516184),(40,4...
09:24:33 <Deewiant> > take 5 [ (n,round y) | n <- [0..], let y = logBase 2 (5040^n); z = 100 * (y - fromIntegral (floor y)), z >= 95 ]
09:24:34 <lambdabot> [(10,123),(20,246),(30,369),(40,492),(50,615)]
09:25:14 <myndzi> oh wait, of course; i don't need byte borders
09:25:23 <myndzi> i can mask off a couple bits without affecting random probabilities
09:25:36 <Deewiant> > take 5 [ (n,round y) | n <- [0..], let y = logBase 2 (5040^n); z = 100 * (y - fromIntegral (floor y)), z >= 95 || z <= 5 ]
09:25:37 <lambdabot> [(0,0),(10,123),(20,246),(30,369),(40,492)]
09:25:48 <Deewiant> > take 5 [ (n,round y) | n <- [1..], let y = logBase 2 (5040^n); z = 100 * (y - fromIntegral (floor y)), z >= 95 || z <= 5 ]
09:25:49 <lambdabot> [(10,123),(20,246),(30,369),(40,492),(50,615)]
09:25:51 <myndzi> and 2^123 is > 5040^10
09:25:57 <kmc> are you designing a hash table or such-type contraption?
09:26:06 <myndzi> so if i generate 123 random bits, i should be able to divide by 7, 6, 5, 4, 3, and 2 10 times
09:26:19 <myndzi> and the chance of a miss only needs one byte to be rerolled really
09:26:35 <Deewiant> > take 8 [ (n,round y) | n <- [1..], let y = logBase 2 (5040^n); z = 100 * (y - fromIntegral (floor y)), z >= 95 || z <= 5 ]
09:26:36 <lambdabot> [(10,123),(20,246),(30,369),(40,492),(50,615),(60,738),(67,824),(77,947)]
09:26:42 <myndzi> meaning that it has to fall under some set number of values
09:26:52 <myndzi> also, i'm just doing retarded math things
09:27:05 <myndzi> i was seeing if there was a quick way to generate 7-bags of tetris pieces
09:27:15 <myndzi> rather than shuffling lists in place
09:27:28 <myndzi> i realized that if the numbers were right, i could just pick a single random number and "shave off" values as i go
09:27:41 <myndzi> the only thing is it'd be a really long division, but iirc there may be a way to take care of that too
09:27:59 <myndzi> where i can carry the necessary math over to the next digit only when i need to
09:28:13 <myndzi> sort of a prolonged long division
09:31:14 <myndzi> (2^123-5040^10)/2^123 = 0.5475%
09:31:26 <myndzi> .5% miss chance = one reroll out of 200 rolls
09:31:32 <myndzi> 10 bags a roll = one reroll in 2000 bags
09:33:58 -!- sebbu2 has joined.
09:33:58 -!- sebbu2 has quit (Changing host).
09:33:58 -!- sebbu2 has joined.
09:35:08 -!- sebbu has quit (Ping timeout: 240 seconds).
09:54:06 -!- ais523 has joined.
09:55:39 -!- GreaseMonkey has quit (Quit: The Other Game).
10:06:55 -!- comex` has joined.
10:07:02 -!- shachaf_ has joined.
10:07:08 -!- jix_ has joined.
10:07:46 -!- jix has quit (*.net *.split).
10:07:46 -!- FireFly has quit (*.net *.split).
10:07:47 -!- shachaf has quit (*.net *.split).
10:07:48 -!- const has quit (*.net *.split).
10:07:48 -!- comex has quit (*.net *.split).
10:11:46 -!- variable has joined.
10:13:06 -!- Vorpal has joined.
10:14:10 -!- shachaf_ has changed nick to shachaf.
10:35:48 -!- Jafet1 has changed nick to Jafet.
11:58:47 -!- CHeReP has joined.
12:11:59 -!- hagb4rd has joined.
12:23:56 -!- ais523_ has joined.
12:24:26 -!- ais523 has quit (Ping timeout: 248 seconds).
12:25:05 -!- ais523_ has changed nick to ais523.
12:25:16 -!- CHeReP has quit (Quit: This computer has gone to sleep).
12:45:46 -!- Patashu has quit (Quit: MSN: Patashu@hotmail.com , Gmail: Patashu0@gmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 .).
12:49:33 -!- Systemzwang has quit (Ping timeout: 255 seconds).
12:54:44 -!- pikhq_ has joined.
12:54:52 -!- pikhq has quit (Ping timeout: 252 seconds).
13:10:17 -!- pikhq has joined.
13:10:18 -!- pikhq_ has quit (Ping timeout: 248 seconds).
14:09:33 -!- pikhq_ has joined.
14:09:39 -!- pikhq has quit (Ping timeout: 255 seconds).
14:12:53 -!- augur has quit (Read error: Connection reset by peer).
14:13:15 -!- augur has joined.
14:14:48 -!- hagb4rd has quit (Ping timeout: 240 seconds).
14:40:01 -!- ais523 has quit (Ping timeout: 260 seconds).
16:01:03 -!- Phantom_Hoover has joined.
16:07:37 -!- Ngevd has joined.
16:09:13 <kmc> why not just merge them
16:09:16 * kallisti immediately stops gesticulating wildly.
16:17:41 -!- ais523 has joined.
16:18:57 <Ngevd> Prior to PietBot, my largest Piet program is my IWC forums profile picture
16:19:25 <Ngevd> http://irregularwebcomic.net/draakslair/images/avatars/5162745984c0a0f091ab68.gif
16:32:08 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds).
16:33:29 <ais523> does it do anything useful?
16:33:38 <ais523> it doesn't seem to have a whole bunch of constants in
16:33:54 <Ngevd> I think it prints "TANEBS_PROFILE_PIC" or something
16:35:54 <fizzie> $ ./npiet 5162745984c0a0f091ab68.gif ; echo
16:36:29 <fizzie> "Missing" is arguable, but it does not have one.
16:38:32 <lifthrasiir> uhm, Hong Kong here. it is quite irritating that the AP here blocks https entirely.
16:39:03 <lifthrasiir> i have heard of sslstrip, but i haven't heard of no https at all.. :S
16:41:31 <ais523> lifthrasiir: assume that it's spying on you
16:42:13 <ais523> just like I know that my wired work connection, when inside the firewall, MitMs SSL (it needs a specific nonstandard root certificate to be able to do https connections)
16:42:55 <lifthrasiir> i'd like to use ssh tunneling if possible (ssh still works) but for now i don't have any ssh-enabled personal server
16:44:54 <kallisti> > let derivs f = takeWhile (/=0) . map val . iterate df . f . dVar in derivs exp (var "x")
16:44:55 <lambdabot> [exp x,exp x,exp x,exp x,exp x,exp x,exp x,exp x,exp x,exp x,exp x,exp x,ex...
16:45:32 <kallisti> > let derivs f = takeWhile (/=0) . map val . iterate df . f . dVar in derivs (cos.sin) (var "x")
16:45:34 <lambdabot> [cos (sin x),cos x*(-sin (sin x)),(-sin x)*(-sin (sin x))+cos x*cos x*(-cos...
17:10:54 <lambdabot> sequence (x:xs) = do v <- x; vs <- sequence xs; return (v:vs)
17:10:54 <lambdabot> -- OR: sequence = foldr (liftM2 (:)) (return [])
17:13:26 <Sgeo> No one wants to hear about my pathetic life right
17:15:21 -!- Phantom_Hoover has joined.
17:15:56 <kallisti> Sgeo: is it okay if I'm ambivalent?
17:19:28 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds).
17:29:19 <ais523> hmm, in Microsoft vs. Novell, they're doing a retrial because the jury couldn't agree unanimously; it was 11-1 in Novell's favour
17:29:35 <ais523> and Microsoft have asked for judgement, as a matter of law, that no reasonable jury would find for Novell
17:29:45 <ais523> err, Novell vs. Microsoft, not the other way round
17:29:58 <Ngevd> Silly Bill Gates getting on Juries
17:30:39 -!- kallisti has quit (Quit: Changing server).
17:31:12 -!- kallisti has joined.
17:31:13 -!- kallisti has quit (Changing host).
17:31:13 -!- kallisti has joined.
17:32:09 <ais523> Ngevd: well, even the holdout juror thought that Microsoft had done what was alleged, just wasn't certain it had harmed Novell
17:32:21 <ais523> and Microsoft are claiming that no reasonable jury could find that they'd done it
17:37:29 -!- ais523 has quit (Ping timeout: 240 seconds).
17:40:14 <Gregor> Tomorrow I will have gone a month without using the tongue-face smiley.
17:40:23 <Gregor> It'll be shaped like this: :|
17:41:02 <Gregor> I'm trying to get off the drug, not switch to a new one!
17:41:09 <HackEgo> >aX37ʧ1".F`{rMDe$$į`.A3jS.0+60zBNp.P n~j..Z/FɃ \ `..WsCRe.5.. \ .Ŕi(.5...Ҍ-.x...1azj勵..?Gs=C..,AnCi]'5iY!(.D4.sʲ/.N{WcEe/".V..aAΑ.n1}ȸ.q.wnN..ApBT.a9̀=..L_xHr<.~^in.g$OgS..ˈ..K,Qh.WÚsc..˫.h[. ڙ.,KfV.O^L+x.
17:41:45 <HackEgo> finius suble-2d trude gibberwang ortuna gecho and pointer bitz inter mallmachip topline negapos snusp cutlass bitchip verseme work .box super commentrov reversig mine 3d skul
17:42:13 <kallisti> the first part is subleq of some kind
17:42:31 <kallisti> unfortunately because this dataset contains actual spaces
17:42:35 <Sgeo> subtle-2d, where it's hard to realize that the language behaves 2 dimensionally
17:42:37 <kallisti> I have no way to differentiate spaces from non-spaces
17:43:27 <HackEgo> ook! (L-T: 1) bf-sc (L-T: 4) con (L-T: 2) zt (L-T: -4) lazy (L-T: 1) alpl (L-T: 4) interb (L-T: 5) bloop (L-T: 3) wiki (L-T: 2) ork (L-T: 1) sqrt (L-T: 1) timefuck (L-T: 4) gritespaca (L-T: 4) rube (L-T: 5) polynome (L-T: 3) dup (L-T: 4) malbox (L-T: 2) lola (L-T: -1) aubert (L-T: 2) chinter (L-T: 1) entropy (L-T: 2) anypl (L-T: 3) jug (L-T: -10) nhohnhehr (L-T: -4) grain (L-T: 5)
17:43:56 <HackEgo> Unknown option: u \ Unknown option: p
17:44:24 <kallisti> anypl is probably a program that randomly downloads a .pl file from CPAN and executes it.
18:00:45 -!- Phantom_Hoover has joined.
18:05:48 -!- Klisz has joined.
18:06:08 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds).
18:06:51 -!- Ngevd has quit (Ping timeout: 247 seconds).
18:18:25 -!- Ngevd has joined.
18:22:55 -!- Phantom_Hoover has joined.
18:37:21 -!- Ngevd has quit (Quit: Goodbye).
18:53:30 -!- atrapado has joined.
18:54:20 -!- atrapado has left.
19:04:40 <kallisti> uh is there a libc function that turns a time_t back into an epoch time?
19:08:33 -!- sebbu2 has changed nick to sebbu.
19:08:37 <kallisti> !perl use POSIX; $t=time; print "$t ", mktime(localtime($t))
19:09:38 -!- indeks has joined.
19:09:49 -!- indeks has left.
19:14:12 -!- Mathnerd314 has joined.
19:21:53 <fizzie> kallisti: mktime(), if your struct tm is in local time.
19:22:27 <fizzie> Oh, I see you located it.
19:23:56 <fizzie> A GNU extension adds timelocal() equal to mktime(), and timegm() equal to inverse-of-gmtime().
19:26:46 -!- Ngevd has joined.
19:38:51 -!- zzo38 has joined.
19:39:25 -!- Patashu has joined.
19:40:47 -!- augur has quit (Read error: Connection reset by peer).
19:41:00 -!- augur has joined.
19:42:32 -!- DCliche has joined.
19:44:42 -!- Klisz has quit (Ping timeout: 252 seconds).
19:49:45 -!- ais523 has joined.
19:50:04 <ais523> <DanielT> The basic scheme is an indent of 4 spaces, with tabs replacing 8 spaces in many places. I set my editor to that in order to be able to read the existing code and now my new files have the same quirk :-(
19:50:27 <ais523> elliott, for when you come back and logread, I am going to keep bashing these examples over your head forever, there's no escaping it
19:50:59 <zzo38> Someone made the esolang wiki article for Pure BF. Their type is ((Tape, World) -> (Tape, World)
19:51:51 <zzo38> But the type (Sum Integer -> Word8) can be used as monad and comonad, as a infinite tape of octets.
19:52:40 <zzo38> So that can be used as the type to represent the (Tape)
19:54:11 <ais523> zzo38: what are the comonad operations on that?
19:54:22 <ais523> it doesn't seem to take a type argument…
19:56:49 <zzo38> The comonad operations are next cell and previous cell
19:57:07 -!- Mathnerd314 has quit (*.net *.split).
19:57:07 -!- variable has quit (*.net *.split).
19:57:07 -!- FireFly has quit (*.net *.split).
19:57:08 -!- coppro has quit (*.net *.split).
19:57:08 -!- Deewiant has quit (*.net *.split).
19:57:08 -!- TeruFSX has quit (*.net *.split).
19:57:09 -!- olsner has quit (*.net *.split).
19:57:09 -!- yorick has quit (*.net *.split).
19:57:11 <zzo38> The monad operations are increment value of current cell and decrement value of current cell
19:57:12 -!- Deewiant has joined.
19:57:13 -!- coppro has joined.
19:57:23 -!- yorick has joined.
19:57:31 -!- olsner has joined.
19:57:36 -!- Mathnerd314 has joined.
19:58:18 <Mathnerd314> where is oerjan? he's supposed to be here, so I can show him the heart of gold I found
19:58:19 -!- TeruFSX has joined.
19:58:47 -!- variable has joined.
19:58:48 <zzo38> ais523: See? It is a comonad operations on that.
19:58:57 <ais523> wow, Wikipedia vote on whether to do a blackout in protest at SOPA: currently 718 for 100 against
19:59:10 <ais523> 718? seriously? that is one big set of people voting
20:00:11 -!- Vorpal has quit (Ping timeout: 260 seconds).
20:01:22 -!- comex` has changed nick to comex.
20:03:47 -!- Mathnerd314 has quit (Quit: ChatZilla 0.9.88 [Firefox 12.0a1/20120115031052]).
20:06:29 -!- ais523 has quit (Ping timeout: 240 seconds).
20:06:59 -!- ais523 has joined.
20:07:11 <Sgeo> ais523, I think Reddit linked to it
20:07:51 <Ngevd> I have a Wikipedia account! I can vote!
20:08:03 <Ngevd> Strictly speaking I have two, but that second one is permabanned
20:09:00 <Ngevd> I was seeing how quick the Wiki admins are.
20:09:20 <zzo38> ais523: Could you read my reply to your question to me? Or did split damage it?
20:09:36 <ais523> zzo38: I think it was lost in the netsplit
20:09:45 <ais523> I didn't see an answer
20:09:51 <zzo38> The comonad operations are next cell and previous cell
20:09:55 <zzo38> The monad operations are increment value of current cell and decrement value of current cell
20:10:53 -!- sebbu2 has joined.
20:10:53 -!- sebbu2 has quit (Changing host).
20:10:53 -!- sebbu2 has joined.
20:11:04 <zzo38> Now can you understand it?
20:11:18 <ais523> zzo38: I'm not sure that types correctly
20:11:29 -!- sebbu has quit (Ping timeout: 240 seconds).
20:11:53 <zzo38> ais523: It does; I try it and it work (Sum Integer -> Word8)
20:12:09 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds).
20:16:27 -!- Phantom_Hoover has joined.
20:16:29 <zzo38> ais523: Did you try?
20:17:01 <ais523> but I'm pretty sure that comonads have one operation of type T x -> x, and one of type T x -> T T x
20:17:05 <ais523> and the operations you described don't have those types
20:17:53 <zzo38> The type (Sum Integer -> Word8) is the type (T x) here and yes it does have Kleisli and coKleisli morphisms operations
20:21:09 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds).
20:21:43 -!- sebbu3 has joined.
20:23:16 -!- sebbu3 has changed nick to sebbu.
20:23:36 -!- Phantom_Hoover has joined.
20:24:24 -!- sebbu2 has quit (Ping timeout: 245 seconds).
20:27:00 -!- Mathnerd314 has joined.
20:28:09 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds).
20:29:26 -!- Phantom_Hoover has joined.
20:30:50 <Ngevd> Looks like a block of green
20:35:09 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds).
20:45:17 <fizzie> Our locale-specific decimal separator is ',', so that makes sense.
20:52:39 -!- Phantom_Hoover has quit (Changing host).
20:52:39 -!- Phantom_Hoover has joined.
20:57:29 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds).
20:59:29 <zzo38> I have a book titled "Pope-Pourri"
20:59:30 -!- Phantom_Hoover has joined.
20:59:38 <zzo38> Someone was made saint because she hung her clothes on sunbeams
21:04:50 <zzo38> But that was a long time ago, and people were more superstitious they would have believed it without checking more carefully as much as people can do so today
21:05:09 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds).
21:05:12 -!- GreaseMonkey has joined.
21:05:34 <Ngevd> Now I'm just imagining some mediaeval peasants on IRC saying "pix plz"
21:07:49 -!- Mathnerd314 has quit (Ping timeout: 240 seconds).
21:11:11 <zzo38> This book even includes Latin words for new things, such as photocopy, pinball, television, and so on.
21:16:14 -!- monqy has joined.
21:17:18 -!- Phantom_Hoover has joined.
21:22:09 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds).
21:22:24 -!- Phantom_Hoover has joined.
21:22:48 -!- Ngevd has quit (Quit: Goodbye).
21:24:08 -!- hagb4rd has joined.
21:30:01 -!- Mathnerd314 has joined.
21:30:14 -!- Mathnerd314 has changed nick to tricstmr.
21:33:25 <tricstmr> fizzie: can you make me an op of #esoteric?
21:33:50 -!- tricstmr has changed nick to Mathnerd314.
21:35:06 -!- Mathnerd314 has changed nick to Mathnerd3141.
21:41:53 <zzo38> Does the run rotate?
21:42:18 <zzo38> Mathnerd3141: I would not think you need that to prove it
21:43:12 -!- oerjan has joined.
21:44:36 <zzo38> It should be possible to compute houses for any solar system object that rotates (Astrolog only computes houses for the Earth, however). Of course you also need to decide where 0 longitude is on a planet, in order to know what position you want
21:45:55 <oerjan> Mathnerd3141: looks rather green from here
21:47:28 -!- oerjan has set topic: No topic Wednesday! | Wait, it's not Friday?? Damn it! | So, what is blegnian motion, anyway? | http://codu.org/logs/_esoteric/.
21:48:08 <Phantom_Hoover> Madoka-Kaname, please go back to the annoying pills rather than the crazy pills.
21:48:18 <zzo38> When computing coordinates relative to a sun/moon/planet, when you specify coordinates, whether ecliptic or equatorial, you also need to specify if the coordinates are geocentric or local coordinates. (The sun would have no local ecliptic coordinates because it is a star. But any rotating object should have local equatorial coordinates)
21:48:26 <Phantom_Hoover> Madoka-Kaname could do with a shot of crazy pills, frankly.
21:48:52 <Mathnerd3141> Phantom_Hoover: you're right, I lied, it's only a heart of silver
21:49:18 <zzo38> And then binary star systems might confuse it even more
21:49:33 -!- Mathnerd3141 has changed nick to Mathnerd314.
21:49:48 <hagb4rd> zzo38 the sun is rotating around the blackhole too.. so you need another to add another dimension: time
21:50:56 <zzo38> On my computer, <3 is blue like all message after : in IRC
21:51:11 <zzo38> hagb4rd: O, I didn't know that. Thanks for telling me
21:51:12 <oerjan> zzo38: for gas objects the rotation depends on where you define the surface to be...
21:51:32 * hagb4rd is now known as captain obvious
21:51:55 <zzo38> oerjan: O, yes... but are there any standard definitions for their surfaces?
21:52:03 <oerjan> and might perhaps not even be stable at a given altitude, i don't know
21:52:24 <oerjan> zzo38: i don't know, for the sun there's the photosphere
21:52:40 <oerjan> which is however rather deep by earth standards
21:53:00 <zzo38> Equatorial coordinates and houses do not depend on altitudes, so just use the stable one
21:57:25 <oerjan> <myndzi> i guess if i want to encompass them it doesn't matter what order i go in, i just want log(7!^x)/log(2) is close to an integer, hmm
21:57:41 <oerjan> myndzi: look at the continued fraction of log (7!)/log (2)
21:57:49 <zzo38> Ecliptic coordinates do not depend on altitudes either
21:59:11 <oerjan> it tells you which rationals p/q are closest, then set x = q
22:00:00 <oerjan> @tell myndzi look at the continued fraction of log (7!)/log (2); it tells you which rationals p/q are closest, then set x = q
22:03:45 -!- DCliche has changed nick to Klisz.
22:14:20 -!- Systemzwang has joined.
22:19:09 -!- cheater has quit (Ping timeout: 240 seconds).
22:30:34 <oerjan> see the Zwang inherent in the System
22:37:07 <Phantom_Hoover> <oerjan> and might perhaps not even be stable at a given altitude, i don't know
22:37:18 <Phantom_Hoover> The banding is caused by differences in rotation speed in the top clouds.
22:44:04 -!- oerjan has quit (Quit: leaving).
22:44:39 -!- centrinia has joined.
22:45:39 -!- Mathnerd314 has quit (Ping timeout: 245 seconds).
22:47:48 -!- oerjan has joined.
22:48:47 * pikhq_ would like to beat ffmpeg a bit
22:50:20 <pikhq_> Do you have any idea how utterly infeasible it is to make it take potentially anamorphic video, and scale it down to fit a 400x320 screen, without including black bars (and thus 400x320 is the *max* size it can scale to), and output non-anamorphic video?
22:51:15 <pikhq_> -vf scale='min(400\,400*a):min(320\,ow/a)' *almost* works. Except that the variable "a" there, which is defined to be the aspect ratio, is not actually the aspect ratio.
22:51:24 <pikhq_> It is, instead, the ratio of width and height in the input.
22:51:34 <pikhq_> Which, in anamorphic video != aspect ratio.
22:54:20 <pikhq_> I'm merely slightly upset at particularly stupid design.
22:57:25 <zzo38> Make more quiz file for Internet Quiz Engine
22:57:38 <zzo38> So far it only has two files, one of which is not very good because it is only example file
22:57:49 -!- Sgeo has quit (Ping timeout: 240 seconds).
22:58:24 -!- Sgeo has joined.
22:59:27 <zzo38> Read instructions, and then please tell me, can you understand it?
23:03:17 <pikhq_> Also, before you ask, I'm using ffmpeg because Debian doesn't package libav's command line tools yet.
23:03:26 -!- Phantom_Hoover has quit (Quit: Leaving).
23:04:31 <pikhq_> Well, rather, they do, but it's only in sid.
23:05:18 <pikhq_> (they're in the middle of a complete switch, it seems)
23:07:13 -!- centrinia has quit (Quit: centrinia).
23:13:28 -!- ais523 has quit (Remote host closed the connection).
23:14:49 -!- itidus20 has joined.
23:17:09 -!- itidus21 has quit (Ping timeout: 240 seconds).
23:21:42 <kallisti> why is object-oriented programming so obnoxious
23:23:05 <kallisti> perl OO is even more obnoxious.
23:24:03 <pikhq_> Because org.sun.java.lawl.what.do.you.mean.names.should.be.short.standard.input_and_output.output.print.string("Hello, world!\n")
23:24:30 <kallisti> DateTime::Format::Human::Duration is not easy to type.
23:34:18 -!- itidus20 has quit (Read error: Connection timed out).
23:48:36 -!- Mathnerd314 has joined.
23:49:06 -!- Frooxius has quit (Quit: ChatZilla 0.9.88-rdmsoft [XULRunner 1.9.0.17/2009122204]).
23:50:53 -!- cheater has joined.
23:54:51 -!- Frooxius has joined.
23:58:59 <zzo38> Write some quiz file for Internet Quiz Engine! So far is only 2 files and they aren't very good
23:59:38 <zzo38> You need sprunge to send a quiz file, though.