00:00:43 so there might well be more operators than those in the examples. otherwise the claim that strings make When TC seems unreasonable. 00:04:04 -!- epicmonkey has quit (Ping timeout: 264 seconds). 00:04:52 yeah, but the When specifications states that the operators should be fairly straightforward for anyone who's programmed in C-like languages 00:05:06 and it also says that the only types are integers, strings, and null 00:05:11 so no characters 00:05:12 -!- Sgeo has joined. 00:05:44 i wonder if there are any timezones in UTC+13 00:05:44 the only thing I could imagine would be a [] operator that would return a 1-char long string 00:07:12 http://en.wikipedia.org/wiki/UTC%2B13:00 00:07:57 goes to 14, too 00:08:11 Bombay time was UTC+04:51 00:08:47 i heard a rumor once of a "Riyadh Mean Solar Time" which was adjusted every day so that the sun was absolutely overhead at noon 00:09:04 I think it's one of the few timezones that the Olson timezone database doesn't support :D 00:09:26 what would riyadh need that for 00:09:31 beats me 00:10:02 Phantom_Hoover: did you know that random little bits of America opt out of daylight savings time 00:10:06 isn't federalism great 00:10:11 http://lists.globus.org/pipermail/gt-dev/2006-October/000844.html is the only thing google finds 00:10:23 heh 00:10:37 indiana. 00:11:34 yeah Indiana alone has 11 tz database entries 00:11:35 http://en.wikipedia.org/wiki/UTC%E2%88%9200:25#Dublin_Mean_Time 00:11:52 DMT 00:12:08 i know a programmer who lives in indiana and works with time sometimes. i've considered mailing him some of my antiepressants 00:12:16 used in Lireland Standard Dates 00:12:16 :D 00:12:59 The most extensive study of time zone history in Indiana has been published in The American Atlas (1978) by Thomas G. Shanks, where the author identifies 345 areas in the state with a different time zone history for each. 00:13:19 it must be cool to be definitively the world expert at that 00:13:57 and Arizona also ignores DST, except for some but not all of the Native American territories which are kind-of-part-of the state 00:14:03 that's the book that tzdata is based on or something, I think 00:14:11 gosh, googling "history of time in saudi arabia" comes up with "history of the jews in saudi arabia". who cares about that 00:14:22 "they all lived together happily ever after the end" 00:14:22 history of time 00:14:30 http://naggum.no/lugm-time.html 00:14:34 "The Long, Painful History of Time" 00:14:56 Koen_: well in C char is an integer type, maybe When works like that too. 00:15:04 oh 00:15:06 nice 00:15:29 you could do 'a' * 'b' in Rust until a few weeks ago 00:15:30 okay I'll add a [ ] operator then 00:16:39 what would riyadh need that for <-- the islamic calendar is afaiu based on direct astronomical observation rather than math, and the saudis are pretty big on islam. 00:17:22 yes well the jewish calendar is lunar and i've never heard of jerusalem switching to lunar months 00:18:43 oerjan: hmm but in C, str[k] is a variable (an lvalue? am I using this term correctly?), it can be assigned 00:19:22 it's an lvalue yeah 00:19:26 that gives it a different feel from the rest of When, in my opinion 00:19:53 I mean, it obviously has no rules attached as do other variables 00:20:49 "Saudi Arabia uses the sighting method to determine the beginning of each month of the Hijri calendar. Since AH 1419 (1998/99) several official hilal sighting committees have been set up by the government to determine the first visual sighting of the lunar crescent at the beginning of each lunar month." 00:20:53 so that would either mean that the assignment operator doesn't trigger any rules when assigning to str[k], or that it triggers str's rules, even though it's not directly str which is assigned 00:21:07 it's amazing how incredibly boring theology is most of the time 00:22:46 they could get creative and come up with a Praying@Home distributed theology 00:23:32 islam has a long history of arguing over whether different kinds of theological arguments are worthwhile 00:23:57 metametaphysics 00:26:14 that's called 'pataphysics 00:26:42 i build a 'patatree in minecraft once 00:26:48 as a successor to the earlier metatree 00:28:38 hey any idea what "right-to-left" associativity means for UNARY operators? 00:29:04 or left-to-right for that matter - I just don't see what sense to make out of unary associativity 00:29:59 obviously !!x can only be interpreted as !(!x), right? 00:30:51 associativity is a property of binary operators. 00:31:28 unless you've got some unary operator that can be indifferently postfix and infix, so !x! can be either of (!x)! and !(x!); but C precedence tables already list "postfix ++" and "infix ++" as two different operators with different priorities anyway 00:32:14 Bike, well, n-ary where n > 1 00:32:22 your mother 00:32:48 i contend that it is your mother 00:32:56 what the heck is associativity for a 3-ary function 00:33:11 I think they talk about "pseudo-associativity rule" for heaps, or something 00:33:33 http://en.wikipedia.org/wiki/Heap_%28mathematics%29 00:33:39 para-associative law 00:33:59 Bike, cf. http://i.imgur.com/1zgFd.jpg 00:34:01 foo(foo(a,b,c),d,e) = foo(a,foo(b,c,d),e)? 00:34:12 something like that 00:34:25 php doesn't exist, sorry 00:35:15 well the point here is that it uses the wrong associativity for ternary if 00:37:03 isn't it just that it parses a?b:c?d:e as ?:(?:(a,b,c),d,e) 00:37:47 who parses it like that 00:37:47 that's associativity, though 00:37:49 instead of ?:(a,b,?:(c,d,e)). 00:37:54 is it? i don't know that's why i'm asking 00:37:57 a + b + c being +(a,+(b,c)) or +(+(a,b),c) 00:38:13 nah that's math-associativity 00:38:15 "how you put the parens in to combinations of operators" 00:39:13 my definition for an operator to be math-associative is "you don't need a computer-associativity rule about it" 00:39:20 so, if ?: was associative, ?:(?:(a,b,c),d,e) = ?:(a,?:(b,c,d),e) = ?:(a,b,?:(c,d,e)). 00:39:23 that would be weird. 00:40:51 (i'm wondering about math associativity because i don't care about parsing) 00:41:31 oh. 00:41:37 but Koen_ was talking about "right-to-left" associativity. 00:41:46 so the topic changed completely somewhere here 00:42:05 well I was reading wikipedia's C operators precedence table 00:42:17 and one of the boxes happens to have only unary operators 00:42:37 and they are specified to be right-to-left associative 00:42:45 (i'm wondering about math associativity because i don't care about parsing) 00:42:52 Hello 00:43:10 it's maths, you can't unambiguously generalise 00:43:33 then why did you say "n-ary where n > 1" 00:43:41 because i was talking about parsing 00:43:45 oh. 00:43:50 boringgggg 00:44:34 Bike: apparently e = a < d ? a++ : a = d is parsed differently in C and C++ 00:47:45 Koen_: floating point + isn't math-associative 00:47:56 oh 00:48:01 that's fun 00:48:56 is there any language where + isn't commutative because you can add anything with anything but the return type depends of the order of the arguments? 00:49:09 somebody else today was confused and annoyed by generating the sequence "1.2, 1.4, 1.6000001, 1.800001" or something. it gets so old 00:49:18 Koen_: any language where + works on strings 00:49:37 well, no, that's just noncommutativity, not what you said. sorry 00:50:21 > [1.2, 1.4 :: Float ..] 00:50:22 [1.2,1.4,1.5999999,1.7999998,1.9999998,2.1999998,2.3999999,2.6,2.8,3.0,3.2,... 00:51:44 lambdabot: nice recovery there 00:52:22 > drop 7 [1.2, 1.4 :: Float ..] 00:52:23 [2.6,2.8,3.0,3.2,3.4,3.6000001,3.8000002,4.0,4.2,4.3999996,4.5999994,4.7999... 00:52:45 > drop 17 [1.2, 1.4 :: Float ..] 00:52:46 [4.5999994,4.799999,4.999999,5.199999,5.3999987,5.5999985,5.7999983,5.99999... 00:53:24 > drop 24 [1.2, 1.4 :: Float ..] 00:53:24 [5.999998,6.199998,6.3999977,6.5999975,6.7999973,6.999997,7.199997,7.399996... 00:53:25 > drop 2439 [1.2, 1.4 :: Float ..] 00:53:26 [488.97592,489.1759,489.3759,489.57587,489.77585,489.97583,490.1758,490.375... 00:53:46 suh weet 00:54:00 > drop 50000 [0, 0.001 :: Float ..] 00:54:01 [49.974503,49.975502,49.9765,49.9775,49.9785,49.9795,49.9805,49.9815,49.982... 00:54:09 > drop 50000000 [0, 0.001 :: Float ..] 00:54:13 [16384.0,16384.0,16384.0,16384.0,16384.0,16384.0,16384.0,16384.0,16384.0,16... 00:54:23 "well, that's a good place to stop" 00:54:28 xD 00:54:30 16384 certainly is a number. 00:54:35 > drop 50000000 [0, 0.001 :: Double ..] 00:54:38 [49999.99988652039,50000.000886520385,50000.00188652038,50000.00288652038,5... 00:55:17 > filter (\x -> 2 >= length (break (=='.') (show x)) ) [1.2, 1.4 :: Float ..] 00:55:18 Couldn't match expected type `[a0]' 00:55:18 with actual type `([GHC.Ty... 00:55:21 oops 00:55:27 i was about to ask how to do that. 00:55:31 thank god for nerds 00:55:51 > filter (\x -> 2 >= length (dropWhile (/='.') (show x)) ) [1.2, 1.4 :: Float ..] 00:55:52 [1.2,1.4,2.6,2.8,3.0,3.2,3.4,4.0,4.2,18.8,19.0,19.2,74.8,75.0,75.2,940.6,94... 00:55:57 :t zipWith 00:55:57 (a -> b -> c) -> [a] -> [b] -> [c] 00:56:11 night 00:56:12 yeah, whatever, don't remember enough stdlib 00:56:13 -!- Koen_ has quit (Quit: Koen_). 00:56:30 > drop 10 $ filter (\x -> 2 >= length (dropWhile (/='.') (show x)) ) [1.2, 1.4 :: Float ..] 00:56:31 [19.0,19.2,74.8,75.0,75.2,940.6,940.8,941.0,941.2,941.4,1283.1,1283.3,1556.... 00:56:52 > drop 20 $ filter (\x -> 2 >= length (dropWhile (/='.') (show x)) ) [1.2, 1.4 :: Float ..] 00:56:53 [1283.1,1283.3,1556.2,1556.4,1829.5,2068.4,2068.6,2170.9,2171.1,2273.4,2273... 00:57:05 looks like it keeps happening 00:57:27 I warned you about floating point, oerjan. 00:57:36 hi shut up elliott 00:57:45 he warned you bro. 00:57:55 :t (!!) 00:57:56 [a] -> Int -> a 00:58:03 -!- ChanServ has set channel mode: +v elliott. 00:58:04 @hoogle a -> [a] -> Int 00:58:04 Data.List elemIndex :: Eq a => a -> [a] -> Maybe Int 00:58:04 Data.List elemIndices :: Eq a => a -> [a] -> [Int] 00:58:04 Network.BufferType buf_concat :: BufferOp a -> [a] -> a 00:58:10 why thank you, oerjan. I'm glad you appreciate my jokes so much. 00:58:15 way to do the exact opposite of shutting up! 00:58:15 I think "it keeps happening" is an appropriate response to the one where it keeps giving the same number xD 00:58:32 > 2^14 00:58:33 16384 00:58:38 elliot: is that a sweet bro and hella jeff reference? 00:58:38 > 4 == 4 00:58:39 True 00:59:56 > True == True 00:59:57 True 01:00:07 now elliott is impersonating me with his op powers? outrageous! 01:00:58 > let list = [0, 0.001 :: Double..] in elemIndex True (zipWith (==) list ((\(a:b) -> b) list)) -- i'm the haskellest 01:00:59 :1:25: parse error on input `Double..' 01:01:07 > let list = [0, 0.001 :: Double ..] in elemIndex True (zipWith (==) list ((\(a:b) -> b) list)) 01:01:15 mueval-core: Time limit exceeded 01:01:33 > let list = [0, 0.001 :: Float ..] in elemIndex True (zipWith (==) list ((\(a:b) -> b) list)) 01:01:36 Just 16764252 01:02:10 > drop 1676250 [0, 0.001 :: Float ..] 01:02:11 [1649.6229,1649.6239,1649.6249,1649.6259,1649.6268,1649.6278,1649.6288,1649... 01:02:28 > drop 16764250 [0, 0.001 :: Float ..] 01:02:30 [16383.998,16383.999,16384.0,16384.0,16384.0,16384.0,16384.0,16384.0,16384.... 01:02:38 i'm the best programmer; you're welcome. 01:03:50 > 2^14 -- i reiterate 01:03:51 16384 01:04:56 why 14 01:05:10 floats have what, five bit exponent? i can't remember this stuff 01:05:23 it's the mantissa that matters, i think 01:05:51 > logBase 2 0.001 01:05:52 -9.965784284662087 01:06:02 so where'd fourteen come from! 01:06:20 or did you just remember that 16384 is a power of two 01:06:24 yes. 01:06:29 wow nerd 01:06:58 although i could have guessed it too. 01:07:29 > 16384 + 2^^(-10) :: Float 01:07:29 16384.0 01:07:34 > 16384 + 2^^(-9) :: Float 01:07:35 16384.002 01:08:24 14+10 = 24 which is presumably around how many bits of mantissa there is. 01:08:32 +- 1 01:09:15 so once it reaches 2^14, the 0.001 doesn't contain any bits large enough to affect the other number when added to it. 01:09:29 -!- mnoqy has quit (Quit: hello). 01:10:11 @src RealFloat 01:10:12 Source not found. Are you on drugs? 01:10:19 @src RealFrac 01:10:19 class (Real a, Fractional a) => RealFrac a where 01:10:19 properFraction :: (Integral b) => a -> (b,a) 01:10:19 truncate, round, ceiling, floor :: (Integral b) => a -> b 01:10:39 hm what is that class again 01:10:58 :t isIEEE 01:10:58 RealFloat a => a -> Bool 01:11:07 nice. 01:11:13 oh it is RealFloat, @src just doesn't have it :( 01:12:25 > floatDigits (undefined :: Float) 01:12:26 24 01:12:32 there you go. 01:14:01 :i RealFloat 01:14:23 http://lambda.haskell.org/platform/doc/current/ghc-doc/libraries/haskell2010-1.1.1.0/Prelude.html#g:7 and scroll down a bit. 01:15:24 > floatRange (undefined :: Float) 01:15:25 (-125,128) 01:15:47 eight. well i guess that makes sense. 01:16:02 http://lambda.haskell.org/platform/doc/current/ghc-doc/libraries/haskell2010-1.1.1.0/Prelude.html#t:RealFloat found the right anchor 01:19:36 atan2 somehow feels a little out of place in that class :P 01:21:06 huh, does the default implementation use decode or something 01:22:57 hm it actually uses isNegativeZero. 01:23:04 lol. 01:23:38 to select the proper branch 01:24:14 if it didn't bother with that, Floating and Ord would be sufficient. 01:24:17 i think. 01:25:25 which means it would probably end up in RealFloat anyway, as the largest class subclassing both. 01:29:57 I need to resume watching The IT Crowd 01:41:05 last episode's tomorrow night 01:41:09 -!- Phantom_Hoover has quit (Remote host closed the connection). 02:06:50 Code that I have written has run on ... maybe millions of computers 02:07:19 Hmm, maybe not as many 02:07:24 More than thousands I think, at least 02:07:51 http://petewarden.com/2013/09/27/why-openheatmap-is-banned-from-github/ eesh. 02:54:45 Somehow I don't think this is valid HTML anymore http://info.cern.ch/hypertext/WWW/TheProject.html 02:56:31 http://www.the-pope.com/nextid.html 02:56:46 "At present, it is likely that NEXTID will be dropped from the HTML specification, since it is not terribly useful. You are therefore advised against wasting your time reading the rest of this page!" "Last Update: 5 January 1998 03:02:46 Sgeo the web historian 03:08:19 which code sgo 03:08:21 re millions 03:09:21 Any Javascript code that I've written on the job.. 03:09:48 The ISP I work for is quite popular 03:10:10 ah 03:23:43 -!- oerjan has quit (Quit: leaving). 04:11:50 -!- copumpkin has joined. 04:41:33 -!- asie_ has joined. 04:46:18 -!- asie_ has quit (Ping timeout: 264 seconds). 05:01:27 -!- audioPhil_ has joined. 05:03:23 -!- audioPhil has quit (Ping timeout: 248 seconds). 06:17:27 -!- doesthiswork has quit (Quit: Leaving.). 06:29:50 -!- FreeFull has quit (Quit: Gotta go). 06:41:32 Hmp. Python argparse -- with a single positional argument with nargs='+' and optional arguments a, b and c -- can extract ['foo', 'bar', 'baz'] out of "-a x -b y -c z foo bar baz" or "foo bar baz -a x -b y -c z" just fine, but can't seem to cope with "-a x foo -b y bar -c z baz". As in, all positional arguments must be in a single group. 07:01:37 -!- mnoqy has joined. 07:52:18 -!- ais523 has joined. 08:29:37 -!- epicmonkey has joined. 08:54:01 -!- carado has joined. 08:59:58 -!- ais523 has quit. 09:08:02 -!- john_metcalf has quit (Ping timeout: 264 seconds). 09:15:47 -!- mnoqy has quit (Quit: hello). 09:17:14 -!- Taneb has joined. 09:17:40 In 24 hours I will be in a flat in York 09:25:50 Is it almost like New York except old? 09:26:18 Yeah 09:26:47 You can even by shirts that say... 09:26:49 I♥ 09:26:50 Y 09:29:59 So, I'm rather nervous 09:31:00 Just imagine the flat has no clothes on, I hear that helps. 09:31:49 I am not sure if I can picture a flat /with/ clothes on 09:44:00 Why is elliott voiced 09:44:08 Why not Gregor or Roujo 10:04:42 -!- atriq has joined. 10:04:55 -!- Taneb has quit (Disconnected by services). 10:05:01 -!- atriq has changed nick to Taneb. 10:06:51 I'm working on Rummy mixed with Breakout 10:06:53 -!- asie has joined. 10:12:25 -!- carado has quit (Ping timeout: 246 seconds). 10:21:35 -!- carado has joined. 10:26:47 -!- MindlessDrone has joined. 10:27:45 -!- carado has quit (Remote host closed the connection). 10:28:11 -!- carado has joined. 10:30:58 -!- carado has quit (Client Quit). 10:31:09 -!- carado has joined. 10:34:07 I've been spontaneously screaming "No!" more often than usual recently 10:48:30 -!- mnoqy has joined. 11:05:41 -!- rodgort has quit (Ping timeout: 248 seconds). 11:08:04 -!- rodgort has joined. 11:14:00 -!- KingOfKarlsruhe has joined. 11:20:40 Is there a term for something like a queuestack but the two ends are accessible in completely different ways and it is tricky to get something from one end to the other? 11:21:25 what's this 11:29:51 Sounds queuerious 11:45:13 -!- shikhin has joined. 11:46:51 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 11:50:52 -!- carado has quit (Remote host closed the connection). 11:51:48 -!- carado has joined. 11:52:07 -!- carado has quit (Remote host closed the connection). 11:52:27 -!- carado has joined. 11:55:31 -!- Sgeo has quit (Read error: Connection reset by peer). 11:58:55 -!- carado has quit (Ping timeout: 260 seconds). 12:04:56 -!- asie has joined. 12:24:55 -!- Koen_ has joined. 12:25:38 -!- yorick has joined. 12:25:56 -!- Koen_ has quit (Read error: Connection reset by peer). 12:26:05 -!- Koen_ has joined. 12:32:08 -!- Phantom_Hoover has joined. 12:44:08 -!- mnoqy has quit (Quit: hello). 12:47:00 -!- boily has joined. 12:51:25 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 12:52:19 -!- metasepia has joined. 13:09:32 -!- Koen_ has quit (Quit: Koen_). 13:28:15 -!- Taneb has quit (Quit: Leaving). 13:58:31 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 14:01:31 -!- Frooxius has quit (Ping timeout: 248 seconds). 14:15:13 -!- Frooxius has joined. 14:20:31 -!- conehead has joined. 14:29:23 -!- Taneb has joined. 15:13:00 -!- copumpkin has joined. 15:17:15 -!- copumpkin has quit (Ping timeout: 248 seconds). 15:17:42 -!- AnotherTest has joined. 15:45:58 -!- Taneb has quit (Read error: Connection reset by peer). 15:51:29 -!- Taneb has joined. 16:04:23 -!- reynir has joined. 16:05:56 Hello! 16:11:07 Hi! 16:11:13 `welcome reynir 16:11:16 reynir: 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.) 16:11:38 wow, what a welcome :) 16:11:42 :) 16:11:48 Wait till you see... 16:11:51 `relcome reynir 16:11:54 reynir: 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.) 16:11:59 lol 16:12:22 I have been working on a compiler targeting brainfuck 16:12:57 What does it compile? 16:13:30 Right now only simple arithmetic expressions with addition, subtraction and multiplication 16:13:36 But there's a twist 16:13:47 It's written in Coq, so it's a certified compiler 16:14:01 Ooh, fancy 16:14:20 Here's the project https://github.com/reynir/Brainfuck 16:14:45 I feel like I know your nick from somewhere... 16:15:19 Could be from 0x10c. I recognize a few names from there 16:15:41 Yeah, I'm there 16:16:16 I was wondering if you have any tips for structuring programs / compiling to BF 16:17:10 Not me personally 16:17:25 And I'm gonna have to go now, got to pack my computer 16:17:41 Alright 16:17:50 Bye! 16:17:53 -!- Taneb has quit (Quit: Leaving). 16:23:41 -!- copumpkin has joined. 16:28:58 -!- copumpkin has quit (Ping timeout: 256 seconds). 16:30:48 reynir, i want to make fun of you for liking 0x10c but my heart's not in it right now 16:40:13 Ok. 16:42:50 -!- shikhin_ has joined. 16:43:47 reynir, OK now I'm lightly intoxicated, and you were a fool to believe notch would ever manage to stick it through with another game 16:44:07 that was quick, 12 minutes 16:44:43 -!- shikhin has quit (Ping timeout: 248 seconds). 16:44:54 What can I say, my spite recharges quickly. 16:45:31 No, I mean you're quick to get intoxicated 16:45:40 -!- shikhin_ has changed nick to shikhin. 16:45:57 If I'm honest that was just an excuse. 16:46:08 Ok. 16:47:07 ALSO: your implicit suffering makes me happy 16:47:24 "[...] (in Hindi): "Don't pretend you are studying farsi/looks like farsi to me"" 16:51:12 I just found this http://esolangs.org/wiki/brainfuck_algorithms 16:51:21 reynir, BTW how does your BF compiler work? 16:51:29 i.e. what's the source and the target? 16:52:57 Source is arithmetic expressions with plus, minus, and multiplication. The target is brainfuck. 16:53:19 So the source language is very simple and not very interesting 16:53:21 Oh, interesting. Clicky? 16:53:36 Huh? 16:53:47 Can I get some sort of a URL, project website, repo, anythign? :P 16:53:51 *anything 16:54:10 oh, sure. https://github.com/reynir/Brainfuck 16:54:32 so wait, this thing has a right-infinite tape? 16:54:44 Yea, both directions are infinite 16:55:23 It's easier when you don't have to deal with special cases all the time (i.e. going beyond the tape) 16:56:24 I can imagine. 16:57:25 It could be awesome to compile a turing complete language eventually 16:58:00 what about a brainfuck to brainfuck compiler 16:58:05 brainfuck is TC 16:58:22 he's not compiling from brainfuck 16:58:40 oh, right. I see it now 16:59:13 Yea, I was considering doing optimizations and prove their correctness 16:59:34 imho do eodermdrome next 16:59:35 Is the idea to have a relatively low-level language, that is which uses a tape rather than variables? 17:00:03 or do you want do something more similar to "C subset to brainfuck" 17:01:37 Hm, not sure. Right now I have proven some stack primitives (push, add, dup, ...) and just compile the expressions down to those 17:02:21 So I guess the answer is the first and maybe the second. So, develop a theory for a simple stack machine and compile down to that 17:03:31 @tell oerjan Well, it seems logical to call those cosets obtained by right multiplication the right cosets. These are usually called left cosets though. 17:03:31 Consider it noted. 17:04:13 reynir: Yes, the stack based language could be used as an intermediate language I guess. 17:07:31 -!- Bike has quit (Ping timeout: 245 seconds). 17:07:56 reynir, have you looked at underload 17:08:09 No 17:08:20 -!- Bike has joined. 17:08:39 it's a very small stack-based esolang 17:08:52 underload to bf, has that been done yet? 17:10:47 dunno 17:11:56 looks interesting 17:20:04 -!- FreeFull has joined. 17:30:09 back from lunch, and I see someone else `relcommed in my absence. 17:33:53 -!- conehead has quit (Quit: Computer has gone to sleep.). 17:40:39 -!- asie has joined. 17:42:23 ~metar CYUL 17:42:24 CYUL 271700Z VRB03KT 15SM FEW030 BKN042 18/10 A3029 RMK SC1SC4 SLP257 17:43:37 -!- Koen_ has joined. 17:44:25 -!- Koen_ has quit (Read error: Connection reset by peer). 17:45:07 -!- Koen_ has joined. 17:46:39 boily, can you not just look out of your window to see the weather 17:47:02 Phantom_Hoover: too much light outside. 17:49:15 does codu discards logs when they're too old? 17:49:22 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 17:49:31 http://codu.org/logs/log/_esoteric/2012-11-12 doesn't show here :( 17:52:02 boily, well then stick your arm out 17:52:08 Koen_, no, everything is just broken 17:52:27 good, I feel much better 17:53:27 Phantom_Hoover: good idea. 17:56:19 -!- copumpkin has joined. 18:01:09 -!- Bike has quit (Ping timeout: 248 seconds). 18:04:53 ~metar EFHK 18:04:53 EFHK 271750Z 36006KT 9999 FEW040 05/04 Q1008 NOSIG 18:04:58 (It's dark out there.) 18:07:36 -!- Bike has joined. 18:09:00 Today I drove a silly little car around. 18:09:35 Were there thirty clowns in it? 18:10:20 No, arguably just one. 18:11:05 http://en.wikipedia.org/wiki/Smart_Fortwo <- that thing. (A rental.) 18:11:52 Was it yellow? http://en.wikipedia.org/wiki/File:2008_Smart_ForTwo_Passion_convertible_--_04-22-2011_2.jpg | http://pbfcomics.com/258/ 18:13:19 No, it was branded with the rental company (Sixt) logo; it's their cheapest thing. 18:14:27 isn't that just a normal smartcar 18:14:45 Is the name a Douglas Adams reference? 18:14:57 Phantom_Hoover: Sure. Does that somehow make "silly little" not applicable? 18:14:57 no, it's a contraction of 'for two' 18:15:34 fizzie, yes 18:15:54 Well, we're just going to have to agree to disagree. 18:16:16 that was an MIB3 reference. 18:16:25 They don't sell the electric version in Finland, which is a shame. (Not that I'm in the market for a car, though.) 18:16:31 I disagree. 18:24:52 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 18:25:39 apparently WebKit doesn't do kerning / ligatures unless you put "text-rendering: optimizeLegibility;" in the CSS 18:25:46 lol 18:25:51 "text-rendering: not-shitty;" 18:27:13 gcc -Olegibility 18:27:29 tries to make the machine code as close to english text as possible 18:27:33 some day, we'll observe a merge between LaTeX and HTML. 18:27:48 making machine code alphanumeric is neat. 18:28:53 yep 18:28:58 there should be a mapping from hexadecimal to carefully chosen consonnants and vowels, like how 0 becomes “o”, and so on. 18:29:13 http://www.phrack.org/issues.html?issue=57&id=15 "Writing ia32 alphanumeric shellcodes" 18:29:16 of course, 9 should be “b”, so that a NOP slide on x86 becomes “bobobobobobo” :D 18:29:21 haha 18:29:54 plus there was that one paper about making programs that look enough like english text to fool most programs. 18:29:57 with words and stuff. 18:30:37 Bike: oooh, that sounds really cool 18:30:45 that's like shell code except crazier 18:31:27 wow 18:31:29 link? 18:31:46 www.cs.jhu.edu/~sam/ccs243-mason.pdf maybe this 18:34:37 awesome 18:34:39 so awesome 18:34:42 thanks Bike 18:36:30 also cool, JHU 18:36:42 that's me, your source for random papers on random subjects 18:37:02 -!- MindlessDrone has quit (Quit: MindlessDrone). 18:37:18 my friend was a physics grad student there until he "temporarily" moved in with his girlfriend in San Francisco "for the summer" and then got a job and called them to say he's never coming back 18:37:40 shrewd 18:39:39 Why does an "avconv"-generated MP3 sound glitchy and print things like "[mp3float @ 0x7f3cb0606400]big_values too big" when seeking with mplayer? 18:39:39 yes 18:39:46 i love that error message 18:39:48 big values too big 18:40:10 in fact when I first saw it I sent it to this channel 18:41:38 -!- augur has quit (Remote host closed the connection). 18:41:40 might be a bug in the sideband demultiplexer 18:41:57 `pastelog big_values 18:42:04 -!- augur has joined. 18:42:05 Plays fine with vlc, FWIW. 18:42:42 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.20705 18:42:45 (Background information: I doubt the car plays FLACs. Though who knows.) 18:45:04 does it play Ogg Vorbis? 18:45:08 surprisingly many things do 18:45:26 after all it has free implementations and no patent encumberance, so it's easy to add :) 18:45:43 It might, but it sounds like too much effort to make an extra round-trip to verify that. 18:45:49 I've used Vorbis for many years as my standard format for encoding stuff to play on various devices 18:46:00 because it's smaller than MP3 and encoders are easy to get 18:46:23 -!- augur has quit (Ping timeout: 245 seconds). 18:46:43 We won't have time to listen to a stickful of MP3s on this trip anyway, so I'll go with what's known to work this time. 18:47:15 how long is a stickful? 18:47:29 (Having said that, it'll probably turn out it barfs on a variable-bitrate MP3.) 18:47:40 It's a two-gig stick. 18:55:00 -!- Bike has quit (Ping timeout: 252 seconds). 18:55:11 does frink support mp3/km? 18:55:57 Warning: undefined symbol "mp3". 19:24:28 -!- AnotherTest has quit (Ping timeout: 240 seconds). 19:25:21 -!- augur has joined. 19:30:26 -!- copumpkin has joined. 19:31:38 -!- Bike has joined. 19:59:21