00:02:37 `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 join: file 2 is not in sorted order \ join: file 1 is not in sorted order \ ~ 00:02:46 dammit 00:02:57 `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 join: file 2 is not in sorted order \ attoasm \ bub \ epoaq \ rube \ ~ 00:04:09 oerjan: um what are you doing. 00:04:18 `run sort -f share/esolangs.txt >ess 00:04:22 No output. 00:04:27 `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 attoasm \ bub \ cupid \ epoaq \ object \ rube \ th \ twimp \ ~ 00:04:50 kallisti: making a command to tell which are actual esolangs :P 00:05:10 use perl. problem solved. 00:05:35 i'm not sure how to do it in perl. 00:05:55 at least not simpler than this 00:06:12 ok there 00:06:21 's something wrong because ook isn't listed 00:06:25 hm 00:06:43 `run perl -n -e 'print 'Yep! it's an esolang!" if $ARGV[0] eq $_;'" share/esolangs.txt 00:06:44 `run grep -i ook share/esolangs.txt 00:06:46 bash: -c: line 0: unexpected EOF while looking for matching `"' \ bash: -c: line 1: syntax error: unexpected end of file 00:06:53 oh hmmm 00:07:05 -n kind of eats my command line args. 00:07:40 Brook \ Ook! 00:07:40 hm, does this mean your generator produced ook _even though it wasn't there_? :P 00:07:48 oh it was just slow 00:07:58 `run perl -n -e 'print 'Yep! it's an esolang!" if $ARGV[0] eq $_;'" share/esolangs.txt ook 00:08:01 bash: -c: line 0: unexpected EOF while looking for matching `"' \ bash: -c: line 1: syntax error: unexpected end of file 00:08:12 `run perl -n -e 'print 'Yep! it's an esolang!" if $ARGV[0] eq $_;' share/esolangs.txt ook 00:08:15 syntax error at -e line 1, at EOF \ Execution of -e aborted due to compilation errors. 00:08:19 oh and it wasn't an exact match, it probably actually combines ook! with brook 00:08:31 Sgeo, that seems weird to me, but i don't really have the context 00:08:35 you could also ask #haskell 00:08:36 for more opinions 00:08:46 `run perl -n -e 'print "Yep! it's an esolang!" if $ARGV[0] eq $_;' share/esolangs.txt ook 00:08:49 bash: -c: line 0: unexpected EOF while looking for matching `"' \ bash: -c: line 1: syntax error: unexpected end of file 00:08:52 llekkweroijweoitjwoiejr 00:08:53 kallisti: also i was trying to feed in a whole line of generated esolangs, duh 00:13:16 `run perl -n -e 'print "Yep! its an esolang!" if $ARGV[1] eq $_;' share/esolangs.txt ook 00:13:19 Can't open ook: No such file or directory at -e line 1, <> line 695. 00:13:23 yeah 00:13:23 `run mv ess share/esolangs.txt.sorted 00:13:25 can't work like that. 00:13:26 No output. 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 i have been afk. i like the generated names :P 01:32:53 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 kallisti, you saw update? 02:30:13 heres a more extensive language list: http://pastebin.com/Kc6N7KnZ 02:30:58 Sgeo: not yet. 02:31:17 itidus21: challenge: add it yourself 02:31:22 oro 02:31:49 `run source/construct_grams.pl --hepl 02:31:53 `run source/construct_grams.pl --help 02:31:53 bash: source/construct_grams.pl: No such file or directory 02:31:57 bash: source/construct_grams.pl: No such file or directory 02:31:59 oh 02:32:05 `run share/construct_grams.pl --help 02:32:08 Unknown option: help 02:32:14 okay so there isn't actually any help... 02:33:12 construct_grams.pl -m OutputFileName -e OptionalEncoding -f OptionalFilterRegex Inputfile1 Inputfile2 ... 02:33:34 for the -f option I recommend using '.' which will match any line. 02:33:48 i think you vastly overestimate my knowledge 02:33:54 you can probably leave -e out because it defaults to utf-8 02:34:13 the only slightly difficult part is actually converting the spaces to non-breaking spaces. 02:34:24 itidus21: it's never too late to learn! :> 02:34:45 do you see how I'm transforming what is actually my laziness into A POSITIVE MOTIVATIONAL CHALLENGE. 02:35:12 it is indeed my responsibility since it was my idea 02:35:59 i think my first act will be to combine both files on my pc 02:36:58 itidus21: do you have linux? 02:37:03 lol. no 02:37:04 this will make things approx. 1000000000000000000 times easier 02:37:17 combining the two files in Linux is 02:37:25 cat file1 file2 > file3 02:37:32 well i just GUI'd it 02:37:53 it will not be very easy to convert the spaces to non-breaking spaces. 02:38:10 itidus21: hm maybe better to keep them separate, `words allows combining two languages 02:38:21 ive got 3 02:38:31 a, b, and a + b 02:39:08 oerjan: well the result of the combined dataset will be different from combining it beforehand 02:39:11 unless you use -N 02:39:18 hm 02:39:20 oh and this link is curious! http://people.ku.edu/~nkinners/LangList/Extras/langlist.htm 02:39:27 oerjan: because of normalization 02:39:31 the esolang list will become more important 02:39:37 than it would 02:39:40 if you just cat'd them together. 02:39:40 ok 02:39:57 the source of the second list (but i had to do a bit of editing) 02:40:01 and I'm not too satisfied with the --esolang output 02:40:04 because the dataset is so small 02:40:22 thats why i came up with a dataset of 2785 lines :P 02:41:38 i felt so insignifigant as i scrolled through the list removing identical duplicates 02:41:45 so many languages 02:42:44 you should really 02:42:45 reall 02:42:46 y 02:42:47 really 02:42:52 learn how to use sh 02:43:10 you will be able to do these kinds of data processing things so much faster. 02:43:16 steve ballmer didn't include sh with win xp ;_; 02:45:45 its probably not the best time.. ill be busy eventually here 02:46:35 what about a hex editor though? :D 02:53:44 just download vim *cackles evilly* 02:54:45 (it almost certainly _would_ be easy in vim, if you already knew it) 02:55:36 getting the file in the right format would just be the start of my troubles 03:00:41 ?????????????????????????/ 03:00:44 text file? 03:00:46 that's not hard to accomplish 03:01:04 you would have to try really hard to get it in the wrong format. 03:01:14 unless you mean encoding. 03:01:26 even then most things use UTF-8 03:07:37 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 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 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 ais.... is not here 07:29:17 :/ 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 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:06:52 :P 09:07:26 anybody got an idea how i might discern some combination / cycle of multiplying 7-2 that will align closely? 09:08:01 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 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 just rambling about math stuff 09:08:53 :P 09:09:00 you typed that impossibly fast 09:09:09 imagine for a moment that 7! came out to 4096 or something 09:09:11 that would be ideal 09:09:14 but instead it comes out to 5040 09:09:28 which is only about $calc4096/5040) 09:09:33 which is only about 0.812698 <- 09:09:39 enter != shift 09:10:01 i'm clearly missing the context for what you're trying to do 09:10:31 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 maybe that helps describe it 09:11:28 if n is an integer, 5040^n an integer, and therefore equal to its floor 09:11:42 scuse me, i meant 09:11:48 log(5040^n)/log(2) 09:11:54 - floor of same 09:12:00 i.e. is extremely close to an integer 09:12:06 ah 09:12:25 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 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 log(5040^n) = n*log(5040). 09:13:12 times something else for change of base 09:13:17 there's something useful that i forgot about :) 09:14:03 Well, log_any(5040^n)/log_any(2) = log_2(5040^n) = n*log_2(5040). 09:15:36 60 log (5040) is 511.5 09:15:41 there is no log but the natural log, and e is its base 09:16:00 i'm not sure if i'm doing this right now lol 09:16:24 yeah i guess so 09:16:29 738 bits 09:16:30 haha 09:17:19 (5040^10)/(2^123) 09:17:19 .99452544209083507734 09:17:24 That's relatively speaking reasonably close. 09:18:18 ya, i was just eyeballing the graph 09:18:22 i think i found 10 earlier, lemme see 09:19:26 .03% miss chance not terrible 09:19:50 no closer than 60 either 09:20:21 (5040^60)/(2^738) 09:20:21 .96759894621787824480 09:20:38 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:20:57 yeap 09:21:08 2^128 is the closest byte border 09:21:24 so (5040^10)/(2^128) comes pretty close 09:24:04 > [ (n,y) | n <- [0..], let y = logBase 2 (5040^n); z = 100 * (y - fromIntegral (floor y)), z >= 95 ] 09:24:08 mueval-core: Time limit exceeded 09:24:11 Bah. 09:24:18 > take 5 [ (n,y) | n <- [0..], let y = logBase 2 (5040^n); z = 100 * (y - fromIntegral (floor y)), z >= 95 ] 09:24:19 [(10,122.9920801838728),(20,245.9841603677456),(30,368.9762405516184),(40,4... 09:24:33 > take 5 [ (n,round y) | n <- [0..], let y = logBase 2 (5040^n); z = 100 * (y - fromIntegral (floor y)), z >= 95 ] 09:24:34 [(10,123),(20,246),(30,369),(40,492),(50,615)] 09:25:14 oh wait, of course; i don't need byte borders 09:25:23 i can mask off a couple bits without affecting random probabilities 09:25:36 > 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 [(0,0),(10,123),(20,246),(30,369),(40,492)] 09:25:48 > 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 [(10,123),(20,246),(30,369),(40,492),(50,615)] 09:25:51 and 2^123 is > 5040^10 09:25:57 are you designing a hash table or such-type contraption? 09:26:06 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 and the chance of a miss only needs one byte to be rerolled really 09:26:35 > 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 [(10,123),(20,246),(30,369),(40,492),(50,615),(60,738),(67,824),(77,947)] 09:26:42 meaning that it has to fall under some set number of values 09:26:45 that's pretty good 09:26:52 also, i'm just doing retarded math things 09:27:05 i was seeing if there was a quick way to generate 7-bags of tetris pieces 09:27:15 rather than shuffling lists in place 09:27:28 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 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 where i can carry the necessary math over to the next digit only when i need to 09:28:13 sort of a prolonged long division 09:31:14 (2^123-5040^10)/2^123 = 0.5475% 09:31:26 .5% miss chance = one reroll out of 200 rolls 09:31:32 10 bags a roll = one reroll in 2000 bags 09:31:34 pretty good! 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. 11:58:51 hi 12:02:22 hi 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:07:40 Hello! 16:07:52 Oh no, it's Ngevd! 16:07:58 Quick, hide the orgies! 16:09:11 plural? 16:09:13 why not just merge them 16:09:16 * kallisti immediately stops gesticulating wildly. 16:11:16 kmc, because it'd be harder to hide. 16:13:25 mon god b 16:17:41 -!- ais523 has joined. 16:18:57 Prior to PietBot, my largest Piet program is my IWC forums profile picture 16:19:25 http://irregularwebcomic.net/draakslair/images/avatars/5162745984c0a0f091ab68.gif 16:32:08 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 16:33:29 does it do anything useful? 16:33:36 Not really 16:33:38 it doesn't seem to have a whole bunch of constants in 16:33:54 I think it prints "TANEBS_PROFILE_PIC" or something 16:35:54 $ ./npiet 5162745984c0a0f091ab68.gif ; echo 16:35:54 TANEB'S_PIET_PIC 16:36:12 missing a newline? 16:36:29 "Missing" is arguable, but it does not have one. 16:38:32 uhm, Hong Kong here. it is quite irritating that the AP here blocks https entirely. 16:39:03 i have heard of sslstrip, but i haven't heard of no https at all.. :S 16:41:31 lifthrasiir: assume that it's spying on you 16:41:58 ais523: so i'm using TorButton for now 16:42:02 TorBrowser* 16:42:13 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:15 at least https works... 16:42:55 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 > let derivs f = takeWhile (/=0) . map val . iterate df . f . dVar in derivs exp (var "x") 16:44:55 [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 > let derivs f = takeWhile (/=0) . map val . iterate df . f . dVar in derivs (cos.sin) (var "x") 16:45:34 [cos (sin x),cos x*(-sin (sin x)),(-sin x)*(-sin (sin x))+cos x*cos x*(-cos... 17:10:54 @src sequence 17:10:54 sequence [] = return [] 17:10:54 sequence (x:xs) = do v <- x; vs <- sequence xs; return (v:vs) 17:10:54 -- OR: sequence = foldr (liftM2 (:)) (return []) 17:13:26 No one wants to hear about my pathetic life right 17:15:21 -!- Phantom_Hoover has joined. 17:15:56 Sgeo: is it okay if I'm ambivalent? 17:19:28 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 17:29:19 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 and Microsoft have asked for judgement, as a matter of law, that no reasonable jury would find for Novell 17:29:45 err, Novell vs. Microsoft, not the other way round 17:29:58 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 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 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:39:05 :) 17:40:14 Tomorrow I will have gone a month without using the tongue-face smiley. 17:40:16 I'll get a pin. 17:40:23 It'll be shaped like this: :| 17:40:36 +_+ use this instead 17:40:37 much better 17:40:38 or 17:40:38 :> 17:40:50 `? CakeProphet 17:41:01 ​:> 17:41:02 I'm trying to get off the drug, not switch to a new one! 17:41:06 `? Ngevd 17:41:09 ​>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:20 17:41:41 `words --esolangs 25 17:41:45 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:03 suble-2d? 17:42:07 Hmm 17:42:13 the first part is subleq of some kind 17:42:31 unfortunately because this dataset contains actual spaces 17:42:35 subtle-2d, where it's hard to realize that the language behaves 2 dimensionally 17:42:37 I have no way to differentiate spaces from non-spaces 17:42:48 er 17:42:51 spaces from word breaks 17:42:52 rather 17:43:18 "gibberwang" 17:43:23 `words -d --esolangs 25 17:43:27 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:53 `words -ddup --esolangs 25 17:43:55 oopse 17:43:56 dup 17:43:56 Unknown option: u \ Unknown option: p 17:44:00 is dupdog 17:44:24 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:18:30 Hello! 18:18:37 welcome back 18:22:55 -!- Phantom_Hoover has joined. 18:37:19 Goodbye! 18:37:21 -!- Ngevd has quit (Quit: Goodbye). 18:53:30 -!- atrapado has joined. 18:54:20 -!- atrapado has left. 19:01:24 * Phantom_Hoover wonders where elliott's off to. 19:04:40 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 !perl use POSIX; $t=time; print "$t ", mktime(localtime($t)) 19:08:40 1326740919 1326740919 19:09:31 oh I meant tm 19:09:33 not time_t 19:09:38 -!- indeks has joined. 19:09:49 -!- indeks has left. 19:14:12 -!- Mathnerd314 has joined. 19:21:53 kallisti: mktime(), if your struct tm is in local time. 19:22:27 Oh, I see you located it. 19:23:56 A GNU extension adds timelocal() equal to mktime(), and timegm() equal to inverse-of-gmtime(). 19:26:46 -!- Ngevd has joined. 19:26:48 Hello! 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 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 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 Someone made the esolang wiki article for Pure BF. Their type is ((Tape, World) -> (Tape, World) 19:51:51 But the type (Sum Integer -> Word8) can be used as monad and comonad, as a infinite tape of octets. 19:52:40 So that can be used as the type to represent the (Tape) 19:54:11 zzo38: what are the comonad operations on that? 19:54:22 it doesn't seem to take a type argument… 19:56:49 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 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 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 ais523: See? It is a comonad operations on that. 19:58:57 wow, Wikipedia vote on whether to do a blackout in protest at SOPA: currently 718 for 100 against 19:59:07 OK quick, institute the Mathnerd314 protocol. 19:59:10 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:01:28 52 20:02:25 <3 20:02:46 hmm... this is harder than expected 20:02:54 8<3 20:03:30 excuse me for a moment 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 ais523, I think Reddit linked to it 20:07:20 wouldn't surprise me 20:07:51 I have a Wikipedia account! I can vote! 20:08:03 Strictly speaking I have two, but that second one is permabanned 20:08:26 o.O 20:09:00 I was seeing how quick the Wiki admins are. 20:09:03 17 minutes. 20:09:20 ais523: Could you read my reply to your question to me? Or did split damage it? 20:09:36 zzo38: I think it was lost in the netsplit 20:09:45 I didn't see an answer 20:09:51 The comonad operations are next cell and previous cell 20:09:55 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 Now can you understand it? 20:11:18 zzo38: I'm not sure that types correctly 20:11:29 -!- sebbu has quit (Ping timeout: 240 seconds). 20:11:53 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 ais523: Did you try? 20:16:47 no 20:17:01 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 and the operations you described don't have those types 20:17:53 The type (Sum Integer -> Word8) is the type (T x) here and yes it does have Kleisli and coKleisli morphisms operations 20:18:37 err, so what's x? 20:19:11 Word8 20:19:33 ah, OK 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:30 a heart of gold --> <3 20:30:50 Looks like a block of green 20:31:44 you have to look closely to see it 20:33:58 "1,41<3"? 20:34:12 1,41<3 20:35:09 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 20:45:17 Our locale-specific decimal separator is ',', so that makes sense. 20:45:23 > 1.41 < 3 20:45:24 True 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 I have a book titled "Pope-Pourri" 20:59:30 -!- Phantom_Hoover has joined. 20:59:38 Someone was made saint because she hung her clothes on sunbeams 21:04:50 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 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 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:41 Well, goodnight 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 fizzie: can you make me an op of #esoteric? 21:33:50 -!- tricstmr has changed nick to Mathnerd314. 21:33:57 "me" being Mathnerd314 21:35:06 -!- Mathnerd314 has changed nick to Mathnerd3141. 21:38:29 weird request 21:38:53 how so? 21:40:08 I just want to prove that I'm awesome :-/ 21:41:53 Does the run rotate? 21:42:18 Mathnerd3141: I would not think you need that to prove it 21:43:12 -!- oerjan has joined. 21:43:59 oerjan, kick mathnerd plx 21:44:23 a heart of gold --> <3 21:44:36 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 Mathnerd3141: looks rather green from here 21:46:06 you have to look closely 21:47:09 green? copper acetate? 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 Madoka-Kaname, please go back to the annoying pills rather than the crazy pills. 21:48:10 Erm. 21:48:17 *Mathnerd3141 21:48:18 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 Madoka-Kaname could do with a shot of crazy pills, frankly. 21:48:52 Phantom_Hoover: you're right, I lied, it's only a heart of silver 21:49:18 And then binary star systems might confuse it even more 21:49:33 -!- Mathnerd3141 has changed nick to Mathnerd314. 21:49:48 zzo38 the sun is rotating around the blackhole too.. so you need another to add another dimension: time 21:50:26 aw you already had this 21:50:56 On my computer, <3 is blue like all message after : in IRC 21:51:11 hagb4rd: O, I didn't know that. Thanks for telling me 21:51:12 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 oerjan: O, yes... but are there any standard definitions for their surfaces? 21:52:03 and might perhaps not even be stable at a given altitude, i don't know 21:52:24 zzo38: i don't know, for the sun there's the photosphere 21:52:40 which is however rather deep by earth standards 21:53:00 Equatorial coordinates and houses do not depend on altitudes, so just use the stable one 21:57:25 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 myndzi: look at the continued fraction of log (7!)/log (2) 21:57:49 Ecliptic coordinates do not depend on altitudes either 21:59:11 it tells you which rationals p/q are closest, then set x = q 21:59:42 hm 22:00:00 @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:00:00 Consider it noted. 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 see the Zwang inherent in the System 22:37:07 and might perhaps not even be stable at a given altitude, i don't know 22:37:18 The banding is caused by differences in rotation speed in the top clouds. 22:38:09 figures. 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 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:50:36 The gall of it! 22:51:15 -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 It is, instead, the ratio of width and height in the input. 22:51:34 Which, in anamorphic video != aspect ratio. 22:53:51 pikhq_ 22:53:53 Breathe. 22:54:20 I'm merely slightly upset at particularly stupid design. 22:57:25 Make more quiz file for Internet Quiz Engine 22:57:38 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:00 * Phantom_Hoover -> OH GOD I HAVEN'T SET COMPOSE YET 22:58:24 -!- Sgeo has joined. 22:59:27 Read instructions, and then please tell me, can you understand it? 23:03:17 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 Well, rather, they do, but it's only in sid. 23:05:18 (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 why is object-oriented programming so obnoxious 23:23:05 perl OO is even more obnoxious. 23:23:07 than regular OO 23:24:03 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:12 seriously 23:24:30 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 Write some quiz file for Internet Quiz Engine! So far is only 2 files and they aren't very good 23:59:38 You need sprunge to send a quiz file, though.