00:02:20 <FireFly> <vanila> I need a list of all valid sentences which use every letter once ← Wikipedia used to have a list of pangrams, but apparently it was deleted a while ago: http://en.wikipedia.org/wiki/List_of_pangrams
00:02:34 <FireFly> It included a bunch of perfect pangrams in english, though
00:04:10 <ais523_> "What service does it provide our readers to show them a pangram in Cherokee, or Malay, or for the love of God, Klingon or in country codes?"
00:04:21 <ais523_> I can see why this was inappropriate for Wikipedia, but I hope it got archived somewhere
00:04:40 -!- S1 has quit (Quit: S1).
00:06:10 <FireFly> Luckily archive.org has it covered: http://web.archive.org/web/20141012231620/http://en.wikipedia.org/wiki/List_of_pangrams
00:06:34 <FireFly> The perfect pangrams in English all look very forced
00:06:49 <HackEgo> [wiki] [[Linguistic Calculus]] http://esolangs.org/w/index.php?diff=41059&oldid=36506 * BCompton * (+0) /* Syntax */ Fixed spelling
00:07:15 <FireFly> By which I mean, those words look more welsh than english
00:08:38 <ais523_> you normally need to use Welsh loanwords to English to get the really short pangrams
00:08:42 <FireFly> "Yxskaftbud, ge vår WC-zonmö IQ-hjälp."
00:08:46 <ais523_> Arabic, too, because it's the easiest way to get Q without U
00:13:17 <ais523_> the phonetic pangrams are fun
00:13:22 <ais523_> there are perfect ones for some accents
00:13:59 <oerjan> <ais523_> it's underoverkerned if you want it to actually look exactly like an 'm' <-- i made that, it won't work perfectly in all browsers regardless so we converged on a compromise that doesn't look too bad in the ones we tested
00:14:49 <olsner> hm, "WC-zonmö" is quite forced
00:16:18 -!- Bicyclidine has joined.
00:16:51 <oerjan> that's the maid that takes care of your toilet zone, i take. and she isn't too bright.
00:17:31 <olsner> the axe handle courier is sorting it out though
00:19:07 <oerjan> norwegian wikipedia's pangram article has only the english quick brown fox example
00:19:52 <olsner> Vår sære Zulu fra badeøya spilte jo whist og quickstep i min taxi?
00:20:12 <olsner> IQ-løs WC-boms uten hørsel skjærer god pizza på xylofon.
00:20:23 <olsner> (the archived wikipedia page had a few)
00:20:37 <oerjan> not 29-letter ones, though :(
00:21:45 <oerjan> or well, not the ones you listed... checking
00:23:41 <Taneb> lipogramming is fun in my opinion, I am happy with it, not as much with pangramming
00:23:48 <oerjan> swedish is probably easier since it actually uses x and i think c natively
00:24:00 <oerjan> (not sure about the c)
00:26:27 <ais523_> I'm reading http://www.leesallows.com/files/In%20Quest%20of%20a%20Pangram1.pdf
00:27:13 <olsner> kk in swedish is always ck except when it's ch
00:27:14 <oerjan> Taneb: nah, pangrams are always better, that's clear.
00:27:50 <oerjan> olsner: right, i wasn't misremembering then
00:33:45 -!- ais523_ has quit (Quit: Page closed).
00:34:36 -!- adu has joined.
00:39:33 <fizzie> While not very dictionary-compatible, the "Dwarf mobs quiz lynx.jpg, kvetch!" listed on that Wikipedia page is impressively reasonable.
01:00:23 -!- Bicyclidine has quit (Ping timeout: 264 seconds).
01:05:37 <HackEgo> [wiki] [[Portal 2]] http://esolangs.org/w/index.php?diff=41060&oldid=40880 * 152.26.69.32 * (+0) /* Instructions */ fixed a word that didn't make any sense.
01:06:24 <Sgeo> It was clearly deliberate that 0 portals can only be moved to the left
01:06:39 <Dulnes> much coincidence i was just watching a portal speed run
01:07:23 <Sgeo> Probably also the { doesn't make sense with 'last'
01:07:59 <Sgeo> Implementation says different
01:12:09 <idris-bot> flip (\{meth0} => \{meth1} => prim__sdivBigInt meth meth) 754 : Integer -> Integer
01:12:28 <idris-bot> \{meth1} => prim__sdivBigInt 754 meth : Integer -> Integer
01:12:48 <HackEgo> [wiki] [[Talk:My Unreliable Past]] M http://esolangs.org/w/index.php?diff=41061&oldid=41058 * BCompton * (+251) /* IO */
01:13:05 <Sgeo> Idris can show functions?
01:13:21 <Sgeo> Also that is a lot of meth. So much meth in Idris and Picolisp
01:14:53 -!- adu has quit (Quit: adu).
01:18:00 -!- adu has joined.
01:21:08 -!- idris-bot has quit (Ping timeout: 244 seconds).
01:22:30 -!- Melvar has quit (Ping timeout: 264 seconds).
01:26:25 <vanila> http://en.wikipedia.org/wiki/User:CarnivorousBunny
01:27:56 <vanila> Amazingly few discotheques provide jukeboxes
01:31:39 <vanila> I checked out gopher a bit but it sucks
01:31:49 <vanila> i dont find any good gopher sites
01:32:02 <vanila> except zzo38computer and wikipedia converted to gopher
01:34:06 <Sgeo> Here's an interesting thought: In Rust, if I have a &mut T, and a function to give me a new T (say, a modified copy of the old one), I can mutate in such a way that whatever gave me the &mut T can actually see the mutation, even though it's more of a replacement... unlike other imperative languages where I can't fully replace as a mutation
01:34:33 <Sgeo> I guess this doesn't work for all T though, hmm
01:36:10 <vanila> why is the no formal model of rust type system :/
01:36:30 <vanila> are we supposed to just believe in its soundness
01:36:38 <Sgeo> I think someone made one, or at least a formal model of something, in order to work out how to bring about dynamically sized types
01:36:44 <Bike> faith is a virtue
01:37:02 <vanila> i want to like rust but it's so frustrating
01:37:14 <Sgeo> http://smallcultfollowing.com/babysteps/blog/2014/01/05/dst-take-5/
01:37:35 <Sgeo> https://github.com/nikomatsakis/rust-redex
01:37:48 <Bike> i want to like superfluid helium, but the i'm too big on laminar flow
01:38:12 <vanila> rust-redex is clearly nonsense
01:38:20 <vanila> I get this shown to me whenever I mention this
01:38:46 <Sgeo> I don't actually know anything about either redexes or formal models
01:39:42 <Bike> is this like prenex
01:40:07 <Sgeo> I tried to google prenex and google autocompleted prenex normal form
01:40:16 <Bike> well that's what i meant
01:40:26 <Bike> so... guess that worked out
01:56:23 -!- adu has quit (Quit: adu).
01:57:11 <Taneb> Help I have a very small computer thingy and I do not quite know what to do with it
01:57:51 <Bike> program it to get onto irc and troll elliott
01:58:36 -!- Melvar has joined.
01:59:39 <Taneb> It... that would be impressive
02:00:06 <Taneb> I've managed to make it toggle an LED when you press a button
02:00:28 <Bike> fpga? microcontroller? motorized pants?
02:00:58 <Taneb> An STM32 Discovery, whatever one of them is
02:01:16 <Bike> seems to be a microcontroller.
02:01:38 <shachaf> Bike: any more linear in your algebra yet?
02:01:57 <Bike> 128 KB flash, 8 KB ram. bet it only takes that much memory to troll elliott. think creatively.
02:02:26 <Bike> shachaf: nnnnnope
02:02:33 <shachaf> i got a good Cale lecture about it and all sorts of things make more sense now
02:02:44 <Bike> i'm not a big fan of kale
02:02:48 <Bike> just don't like the taste tbh
02:03:09 <oerjan> it's not even SPELT the same
02:03:17 <Bike> you're not even spelt the same
02:03:27 <shachaf> oerjan: you appear to have a v. high standard for your puns
02:03:31 <Bike> hang on. is spelt a word?
02:03:35 <Taneb> Bike, I've got a fancier model I think it has 512kb flash and 80kb ram
02:03:50 <shachaf> Bike: yes, it's a kind of wheat
02:04:03 <shachaf> Bike: you missed an opportunity
02:04:13 <Bike> Taneb: wow way to wuss out
02:04:26 <Taneb> It's not strictly speaking mine
02:04:29 <shachaf> oerjan: such as being spelt the same, or being funny
02:04:48 <Taneb> Just I'm in a position where if I break it I have to tell me to pay me for it
02:05:25 <oerjan> Bike: sure. three words, even.
02:05:33 -!- adu has joined.
02:06:28 <Bike> anyway i guess you should be careful if you haven't done this sort of thing before
02:06:30 <Taneb> But no-one told me that the rest of the English-speaking world doesn't use it
02:06:38 <Bike> i literally melted part of my microcontroller a few days ago
02:06:43 <Bike> that's the srot of thing you can do
02:06:58 <shachaf> Bike: wait so you know about tensors and things, right?
02:07:05 <lambdabot> "literally literally literally literally literally literally literally liter...
02:08:03 <oerjan> tensor and things and quarks and springs
02:08:37 <Bike> fun fact (0 = 1) tensors are called that because they were developed to describe physical tension.
02:08:42 <Bike> cauchy sucks at names i guess!
02:08:43 <oerjan> i hear tensors can be stressful
02:10:23 -!- MDude has joined.
02:10:43 <shachaf> Bike: i spent a bit of time trying to figure out what (0=1)-tensors were
02:11:08 <shachaf> anyway so what are tensors
02:11:11 <Bike> you mean 0,1 tensors?
02:11:17 <Bike> they're multilinear operators.
02:11:50 <Bike> wow, if you type "multilinear operator" into wikipedia it just straight up redirects you to tensor.
02:12:38 <shachaf> Cale was telling me about what a scam the `h̀essian matrix́´ was
02:13:02 <Bike> writing them out is definitely bullshit
02:13:08 <Bike> they're probably differentials or wahtever
02:13:36 <shachaf> well, they're representing a thing as a matrix just because it happens to -- well, like, whatever, man
02:14:06 <Bike> yeah it's the same with tensors
02:14:33 <Bike> it's like, 2-tensors and matrices are SORTA not the same, but everyone writes 2-tensors as matrices, which now means a syntax thing instead of the other thing
02:14:53 <shachaf> i started h8in' on matrices a bit less
02:15:40 <Bike> it's like i ranted before, matrices are cool, multiplying them by hand and all the other garbage you do in a linalg class suck
02:16:11 <shachaf> what, why would you ever multiply them by hand
02:16:27 <Bike> because you hate children.
02:16:42 <Bike> had to do it in high school. have to do it in college. fuuuuuck iiiiit
02:17:29 <Taneb> This reminds me, I need to learn whatever the hell my vision and graphics module is on about
02:17:56 <Bike> Vision? Like sweaty things looking at things? Rhodopsins?
02:28:30 <oerjan> my problem with wikipedia's Esoteric programming language article: people adding self-created junk languages to it and i cannot delete it because some of the _good_ example languages are just as badly cited.
02:28:43 <shachaf> Bike: so the hessian thing is e.g. f : R⊗R -o R, or : R -o (R -o R)
02:28:58 <Bike> sorry shachaf i don't speak jive
02:29:11 <vanila> does anyone here speak jive?
02:29:17 <shachaf> help which thing is jive here
02:29:47 <Bike> this channel is tragically unhip i'm afraid
02:30:17 <shachaf> Bike: by V -o W i just mean a linear map from V to W
02:30:55 <Bike> is that supposed to be R tensor product R
02:31:16 <Bike> ok so i don't know what that means.
02:31:30 <shachaf> well it's just the second derivative of a function
02:31:56 <shachaf> but it's represented as a matrix because R -o R ~~ R
02:33:46 <shachaf> wait i'm saying nonsense again
02:39:24 <shachaf> ok, so if f : R^n -> R, then Df : R^n -> (R^n -o R), and DDf : R^n -> (R^n -o (R^n -o R)), so DDf(x) is represented as (R^n -o R^n) or a square matrix
02:39:32 <shachaf> i don't know why i'm even talking about this
02:56:36 <shachaf> Bike: also the definition of the tensor product as left adjoint to -o is kind of odd
03:02:20 -!- tlewkow has quit (Remote host closed the connection).
03:14:27 -!- digitalcold has quit (Ping timeout: 245 seconds).
03:15:18 -!- digitalcold has joined.
03:25:23 -!- augur has joined.
03:46:08 <Sgeo> I wonder if there's an IO-like monad for Haskell that corrals mutability into a Rust-like system where one component can't actually observe another component mutate
03:53:51 <vanila> Sgeo, isn't that what ST does?
03:55:18 <Sgeo> I don't know what it means to store an STRef well enough to say
03:55:54 <Sgeo> I guess that makes sense though
03:55:56 <vanila> well i just mean ST lets you do mutation
04:56:22 -!- augur_ has joined.
04:57:06 -!- shikhin has joined.
04:59:41 -!- augur has quit (Ping timeout: 258 seconds).
05:00:18 -!- shikhout has quit (Ping timeout: 264 seconds).
05:00:37 <vanila> http://homepages.cwi.nl/~tromp/pearls.html
05:00:42 <vanila> p(c){putchar( c);}f(x,y,m){
05:00:42 <vanila> (y=m- abs(m -y))- m&&m-
05:00:42 <vanila> x?f(x <m?y:x&m,x<m? x:y,m
05:00:42 <vanila> 1&&y?32:64);} main(z){for(z
05:00:45 <vanila> (z%N?32:10))f (z%N,z/N,N);}
05:03:22 <lifthrasiir> vanila: shorten your program enough, eliminate long identifiers if possible, adjust long identifiers or numbers or string literals so that it can be broken up or at least be relocated, shape and adapt your code.
05:04:43 <lifthrasiir> maybe the most part is the very first step, what you think "enough" might not be enough.
05:07:34 <vanila> icannot understand the code
05:08:54 <lifthrasiir> sure, it makes use of C's quirky precedence rules and recursive functions.
05:11:52 <lifthrasiir> vanila: you also may want to look at the theoretical side, http://en.wikipedia.org/wiki/Hilbert_curve
05:14:30 -!- MDude has changed nick to MDream.
05:43:33 -!- DTSCode has joined.
05:47:05 -!- shikhin has quit (Remote host closed the connection).
05:48:28 -!- oerjan has quit (Quit: Nite).
06:13:30 -!- FireFly has quit (Excess Flood).
06:13:34 -!- shachaf has quit (Ping timeout: 244 seconds).
06:13:42 -!- shachaf has joined.
06:14:35 -!- FireFly has joined.
06:39:25 -!- drdanmaku has joined.
06:44:45 -!- vanila has quit (Quit: Leaving).
07:26:19 -!- Patashu has joined.
07:42:57 <Sgeo> So, at these tech conferences, like JSSummit, if someone has broken examples and doesn't understand people's confusion and corrections, is everyone still expected to claim that it was a good presentation?
07:45:11 <DTSCode> is it teaching theories and just implementing them in js?
07:46:25 <DTSCode> btw, facebook made an implementation of js with static typing
07:51:57 -!- Froox has joined.
07:53:52 <Sgeo> I'm going to go correct the person on Twitter
07:54:33 <DTSCode> i love a good twitter debate
07:54:41 -!- olsner has quit (Ping timeout: 240 seconds).
07:55:02 -!- Frooxius has quit (Ping timeout: 240 seconds).
07:55:04 <DTSCode> and by good twitter debate i mean stupid pointless twitter argument
07:56:02 -!- yiyus has quit (Ping timeout: 240 seconds).
07:56:13 <Sgeo> https://twitter.com/ricardoaandres/status/535187248787259393 slide 51
07:57:23 -!- olsner has joined.
07:57:53 -!- DTSCode has changed nick to dts_Zzzz.
07:59:15 -!- Phantom_Hoover has joined.
07:59:42 -!- FreeFull has quit (Ping timeout: 240 seconds).
08:00:37 <Sgeo> He got the argument-based version right
08:00:41 <Sgeo> Around slide 34
08:01:41 -!- olsner has quit (Ping timeout: 240 seconds).
08:01:50 -!- FreeFull has joined.
08:01:56 -!- olsner has joined.
08:03:01 <fizzie> That looks more reasonable. 51 is rather clearly wrong, given that 'demethodize' doesn't even return a function.
08:04:50 <Sgeo> That was the first thing I noticed, and I commented on it during the presentation. Failed to notice that undefined at the time until I tried it in Firefox
08:05:04 -!- yiyus has joined.
08:12:08 <Sgeo> Yeah I hope I don't get into trouble for correcting someone publically at an expensive conference
08:30:44 -!- MDUd has joined.
08:34:53 -!- MDream has quit (Ping timeout: 255 seconds).
08:40:40 <mroman> Prelude Test.QuickCheck> let prop_Foo xs = xs == reverse xs
08:40:40 <mroman> Prelude Test.QuickCheck> quickCheckWith stdArgs { maxSuccess = 5000 } prop_Foo
08:40:43 <mroman> +++ OK, passed 5000 tests.
08:40:45 <mroman> this doesn't look right.
08:42:57 <mroman> without a specified type
08:43:21 <mroman> [(),()] == reverse [(),()]
08:45:42 -!- adu has quit (Quit: adu).
08:46:00 <int-e> another victory for ghci's extended defaulting rules
08:46:41 <int-e> @check \xs -> reverse xs == xs
08:55:10 <mroman> It's somewhat confusing, yes.
09:25:44 -!- Patashu has quit (Ping timeout: 255 seconds).
09:49:59 <fizzie> this message rustic dictator
09:50:28 <fizzie> (Testing out a dictation thing.)
09:57:42 -!- Patashu has joined.
10:06:50 <fizzie> Poor dc, gets completely left out of half the challenges, thanks to having only ? for input.
10:08:35 <int-e> yeah, not for different letter parity though
10:08:57 <int-e> because as I just realized there is ONLY ONE TEST CASE.
10:09:13 <int-e> stupid, stupid, stupid.
10:12:15 <HackEgo> [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41062&oldid=41046 * TomPN * (+83) /* Quantum entanglement */
10:13:41 <HackEgo> [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41063&oldid=41062 * TomPN * (-76) /* Input and output */
10:17:59 <HackEgo> [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41064&oldid=41063 * TomPN * (+179)
10:19:29 <HackEgo> [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41065&oldid=41064 * TomPN * (+197) /* Teleportation */
10:26:47 <shachaf> int-e: So it's just a "print this output" exercise?
10:27:06 <int-e> I'm afraid so, for most programming languages
10:27:29 <int-e> golfscript/burlesque are likely to be honest there.
10:28:17 <int-e> (my 57 character Haskell solution is honest)
10:29:13 -!- Patashu has quit (Remote host closed the connection).
10:29:23 -!- Patashu has joined.
10:29:31 <shachaf> I don't like this pid business.
10:30:16 <shachaf> I can save a character with that trick but I don't want to use it if no one else is.
10:31:09 <int-e> You'll not be the only one
10:32:22 <int-e> yes. it's a natural idea.
10:32:24 <shachaf> I'd rather it just insisted on determinism by running a few times.
10:32:33 <int-e> anagol should've used the setpid to start everybody from the same fixed PID.
10:34:11 <int-e> but in this problem, I expect the perl solutions to encode about 15 bits of information in the PID, and that's just stupid.
10:35:44 <shachaf> I have a 32-character Ruby solution and I can save one character using the pid trick. Is that what leonid is doing?
10:36:03 -!- Phantom_Hoover has quit (Ping timeout: 244 seconds).
10:36:29 <int-e> shachaf: a previous leonid submission: http://golf.shinh.org/reveal.rb?Wow/leonid_1415748522&rb
10:39:21 <shachaf> So I guess they're just doing the obvious thing.
10:41:39 <int-e> I also have a completely honest 32 characters perl solution. So the 30 characters one is actually still plausible.
10:41:50 <fizzie> My Burlesque is at least honest, but that's really the easier thing to do in that case.
10:43:09 <int-e> I suppose burlesque has a really short way of doing (`mod`2).length.nub (or (`mod`2).length.group.sort)
10:43:47 <int-e> The need for import Data.List is killing that approach in Haskell
10:48:41 <shachaf> Oh, I just got it to 31 without using a pid.
10:49:32 <shachaf> Do you know what the range of allowed pids is?
10:49:43 <shachaf> I don't know how this tool works.
10:53:21 -!- Phantom_Hoover has joined.
10:55:13 <shachaf> If I "use form" will it insert a newline after my code?
10:56:29 <fizzie> Not unless you type in one.
10:57:32 <int-e> experimentally 302 works, everything below that I tried failed, and it goes up to 32767.
10:59:00 <fizzie> And I don't know about really short, but the (`mod`2).length.nub is NBL[2.% (and now I spoiled my solution, but maybe it's trivial enough), and (`mod`2).length.group.sort is <>gl2.% (there's a "gl" shortcut for length.group) which is the same length.
10:59:24 <shachaf> If you submit more than once does it only take the smallest solution?
10:59:33 <shachaf> Is that why people have (alt) etc.?
10:59:34 <mroman> > length . group . sort $ "abcabbc"
10:59:47 <mroman> gl is length . group hth
11:00:34 <blsqbot> | {"a" "a" "b" "bb" "c" "c"}
11:00:50 <blsqbot> | ERROR: Unknown command: (g[)!
11:00:52 <blsqbot> | {"a" "b" "c" "a" "bb" "c"}
11:03:24 <mroman> int-e: you could brute force a random seed in blsq
11:04:06 <mroman> but that's already 13B
11:04:09 <int-e> mroman: good luck doing that for 28 bits
11:04:44 <fizzie> The obvious dishonest Burlesque would probably be something like ,162450548b2XX)sh^p and that's already quite a bit longer. I don't know if there are good ways to compact big numbers in Burlesque -- "3m738"84B! is already longer. (Though I kind of like the idea of using bases > 36 and relying on the fact that the number doesn't happen to have any offending digits.)
11:05:22 <shachaf> Clearly the system should let you initialize /dev/random with anything you want.
11:09:37 <fizzie> http://sprunge.us/SXNa <- "illegal" bases that happen to work for that number.
11:13:33 <mroman> toBase bs n = map (\c -> (['0'..'9'] ++ ['a'..'z']) !! (fromIntegral c)) $ digits bs n
11:14:15 <mroman> I guess I could extend that to upper case letters as well
11:15:42 <mroman> gives you 10 more characters :)
11:16:17 <int-e> > (length "$$*5668",length "162450548")
11:16:46 <int-e> > 162450548`divMod`5668
11:17:56 <shachaf> Hmm, I used 324901096 to save some characters.
11:18:11 <shachaf> But maybe that wasn't worth it...
11:18:14 -!- boily has joined.
11:18:38 <int-e> then using $$ that way is still good for one character, potentially
11:19:04 <int-e> (28661 is prime so there's no nicer split)
11:19:53 <shachaf> That's what I did, 11336*28661
11:25:25 <mroman> fizzie: XX)sh^p isn't optimal though
11:25:48 <mroman> that is, if anagol ignores trailing newline
11:26:27 <blsqbot> | ERROR: Burlesque: (<-) Invalid arguments!
11:26:27 <blsqbot> | ERROR: Burlesque: (m[) Invalid arguments!
11:26:39 <mroman> !blsq 162450548b2)';<-Q
11:26:39 <blsqbot> | 0;0;1;0;1;1;1;0;0;0;1;1;0;0;1;1;0;1;1;1;0;1;0;1;1;0;0;1;
11:27:05 <mroman> )';<-Q is 1B shorter than XX)sh^p
11:27:16 <mroman> (you need to replace ; with a newline, of course)
11:27:27 <mroman> but I can't send blsqbot newlines
11:29:00 <shachaf> Wait, you can choose not to print the final newline?
11:29:18 <fizzie> shachaf: You can also print 42 extra final newlines.
11:29:53 <fizzie> And in general any extra whitespace at the end.
11:30:34 <fizzie> It slightly compensates the fact that the testcases are always entirely random about whether they have final newlines or not.
11:31:33 <mroman> (that it ignores trailing whitespaces)
11:31:40 <fizzie> mroman: I didn't even know Q existed.
11:32:01 <fizzie> (It is documented, sure.)
11:32:03 <mroman> you might as well do )Q instead of )sh
11:32:32 <mroman> It's documented and there is even a notice about it :)
11:32:49 <mroman> "Notes for Burlesque 1.7.x -> 1.7.3: Please check out the new Specials and Modifiers (scroll down) and also to some new syntax extensions. I.e. instead of {5} you can now writ q5! Please check out the new commands. .- has received additional functionality. Also Swap, Dup and Pretty now have single-character Commands (j, J and Q (in that order)). "
11:33:05 <mroman> that has some typos in it :D
11:33:18 <mroman> I kinda wanted to reorganize the documentation and rebuild it
11:33:24 <mroman> but it'd be sooo muuuch effort
11:33:26 <fizzie> I don't think I have any "sh"s in any final versions that I've submitted.
11:33:57 <fizzie> There are so many other shortcuts that incorporate something pretty in them.
11:35:59 <mroman> Thanks to the biggest flaw when using burlesque to golf
11:43:42 <mroman> in case you don't know sH either
11:44:39 -!- Phantom_Hoover has quit (Ping timeout: 265 seconds).
11:47:07 <mroman> useful back in the days when sp,SP,bs and BS didn't exist
11:47:11 <mroman> now probably rarely useful
11:48:33 <mroman> I get the feeling I grew up with Burlesque
11:49:48 -!- Patashu has quit (Ping timeout: 255 seconds).
11:49:49 <fizzie> I knew about sH, but I don't remember the different formats, and haven't really used them.
11:51:19 <shachaf> Wait, does whitespace not count for the length of a program, too?
11:51:29 <shachaf> That would be too easy to abuse.
11:51:51 <fizzie> It doesn't have a column in the statistics, but it does count for the actual length number.
11:52:25 <fizzie> (So you can get the amount of whitespace by subtracting the sum of statistics from size.)
11:53:11 <shachaf> I meant whitespace at the end of the program.
11:53:13 -!- Phantom_Hoover has joined.
12:02:37 <Taneb> What effect does having x permission but not r have? (in Unix)
12:16:29 -!- Phantom_Hoover has quit (Ping timeout: 250 seconds).
12:20:10 -!- boily has quit (Quit: REPULSIVE CHICKEN).
12:20:53 <fizzie> On a file, http://sprunge.us/UAbF -- but it needs to be a real executable, not a #! script, because otherwise the interpreter would just fail to read it: http://sprunge.us/AOjH
12:22:10 <fizzie> (On a directory, it's just "can access the directory, but not read the list of contents".)
12:47:53 -!- S1 has joined.
12:51:19 -!- drdanmaku has quit (Quit: Connection closed for inactivity).
13:03:50 <mroman> can you stream lazily input from a socket to a function working on strings?
13:04:30 <mroman> unlines . map (reverse) lines
13:05:50 <mroman> I could actually feed the input linewise to the function though
13:11:43 -!- hjulle has joined.
13:12:28 <mroman> but linewise oughta work for IRC
13:18:57 -!- drdanmaku has joined.
13:34:40 <HackEgo> [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41066&oldid=41065 * TomPN * (+319) /* Example programs */
13:35:08 <HackEgo> [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41067&oldid=41066 * TomPN * (+50) /* True random number generator */
13:36:53 <mroman> !blsq 12rom{mo12.+m{3' lp}}sp
13:36:53 <blsqbot> | 1 2 3 4 5 6 7 8 9 10 11 12
13:36:53 <blsqbot> | 2 4 6 8 10 12 14 16 18 20 22 24
13:36:53 <blsqbot> | 3 6 9 12 15 18 21 24 27 30 33 36
13:37:08 <HackEgo> [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41068&oldid=41067 * TomPN * (+48) /* 1 qubit transformations */
13:37:45 <HackEgo> [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41069&oldid=41068 * TomPN * (+48) /* 2 qubit transformations */
13:38:00 <HackEgo> [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41070&oldid=41069 * TomPN * (-1) /* 2 qubit transformations */
13:38:26 <HackEgo> [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41071&oldid=41070 * TomPN * (+48) /* 3 qubit transformations */
13:39:59 <HackEgo> [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41072&oldid=41071 * TomPN * (+71) /* def function */
13:40:34 <HackEgo> [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41073&oldid=41072 * TomPN * (+29) /* def function */
13:45:58 <elliott> Under a new five-year strategic partnership announced today, Yahoo Search will become the default search experience for Firefox in the U.S.
13:46:23 <HackEgo> [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41074&oldid=41073 * TomPN * (+50) /* Hadamard */
13:47:04 <HackEgo> [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41075&oldid=41074 * TomPN * (+4) /* Hadamard */
13:47:13 <elliott> https://blog.mozilla.org/wp-content/uploads/2014/11/Virgin-flight-27.jpg https://blog.mozilla.org/wp-content/uploads/2014/11/Suppenkuche-restaurant.jpg oh wow, they're trying to make it look pixel-for-pixel like google
13:47:41 <HackEgo> [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41076&oldid=41075 * TomPN * (+21) /* Hadamard */
13:48:31 <S1> Suppenkuche :3
13:48:33 <HackEgo> [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41077&oldid=41076 * TomPN * (+3) /* Hadamard */
13:49:52 <mroman> fizzie: isn't there nublength?
13:50:17 <mroman> it was on a todo list at some point
13:50:21 <HackEgo> [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41078&oldid=41077 * TomPN * (+45) /* Pauli X */
13:50:27 <mroman> but it doesn't look like it made it into 1.7.3
13:51:34 <HackEgo> [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41079&oldid=41078 * TomPN * (+46) /* Pauli Y */
13:52:21 <HackEgo> [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41080&oldid=41079 * TomPN * (+46) /* Pauli Z */
13:52:22 <mroman> !blsq {1 2 3 4 5}{2 3 4}ss
13:52:34 <mroman> !blsq {1 0 2 3 4 5}{2 3 4}ss
13:52:37 <mroman> !blsq {1 0 2 3 4 5}{0 2 3 4}ss
13:52:58 <blsqbot> | ERROR: Burlesque: (fi) Invalid arguments!
13:52:58 <blsqbot> | ERROR: Burlesque: (co) Invalid arguments!
13:53:15 <HackEgo> [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41081&oldid=41080 * TomPN * (+48) /* Phase shift */
13:54:31 <HackEgo> [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41082&oldid=41081 * TomPN * (+109) /* CNOT */
13:55:39 <HackEgo> [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41083&oldid=41082 * TomPN * (+106) /* SWAP */
13:56:19 <HackEgo> [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41084&oldid=41083 * TomPN * (+3) /* SWAP */
13:59:03 <HackEgo> [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41085&oldid=41084 * TomPN * (+357) /* Fredkin */
14:00:40 <HackEgo> [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41086&oldid=41085 * TomPN * (+357) /* Toffoli */
14:03:25 <HackEgo> [wiki] [[Musical notes]] http://esolangs.org/w/index.php?diff=41087&oldid=40924 * TomPN * (-2) /* See also */
14:03:58 <HackEgo> [wiki] [[Musical notes]] http://esolangs.org/w/index.php?diff=41088&oldid=41087 * TomPN * (-83) /* Example program */
14:04:09 <HackEgo> [wiki] [[Musical notes]] http://esolangs.org/w/index.php?diff=41089&oldid=41088 * TomPN * (+1) /* See also */
14:05:31 <HackEgo> [wiki] [[Dimensions]] http://esolangs.org/w/index.php?diff=41090&oldid=41038 * TomPN * (+25)
14:06:05 <HackEgo> [wiki] [[Dimensions]] http://esolangs.org/w/index.php?diff=41091&oldid=41090 * TomPN * (-2)
14:06:51 <HackEgo> [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41092&oldid=41086 * TomPN * (+23) /* See also */
14:07:18 <HackEgo> [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41093&oldid=41092 * TomPN * (+17) /* See also */
14:07:50 <HackEgo> [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41094&oldid=41093 * TomPN * (+26) /* See also */
14:08:21 <HackEgo> [wiki] [[Dimensions]] http://esolangs.org/w/index.php?diff=41095&oldid=41091 * TomPN * (+43) /* See also */
14:09:22 <HackEgo> [wiki] [[Dimensions]] http://esolangs.org/w/index.php?diff=41096&oldid=41095 * TomPN * (+40) /* See also */
14:09:48 <HackEgo> [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41097&oldid=41094 * TomPN * (+40) /* See also */
14:11:03 <HackEgo> [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41098&oldid=41097 * TomPN * (+30) /* See also */
14:11:24 <HackEgo> [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41099&oldid=41098 * TomPN * (-30) /* See also */
14:12:05 <HackEgo> [wiki] [[Talk:Quantum Dimensions]] N http://esolangs.org/w/index.php?oldid=41100 * TomPN * (+95) Created page with "== Quantum languages category == can somebody create a quantum languages category please? TomPN"
14:12:23 -!- hjulle has quit (Ping timeout: 255 seconds).
14:12:34 -!- Koen__ has quit (Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?").
14:26:23 <mroman> not sure if this is short enough for anything
14:27:17 -!- idris-bot has joined.
14:28:34 -!- diginet has quit (Ping timeout: 265 seconds).
14:30:58 <mroman> fizzie: length for ints is btw. ln
14:31:50 -!- diginet has joined.
14:31:50 <fizzie> I know, I saw that in someone's solution.
14:33:02 <fizzie> `run echo '1123Zp' | dc
14:37:35 <mroman> It's lines for strings
14:58:43 -!- Phantom_Hoover has joined.
15:02:41 -!- hjulle has joined.
15:07:00 <blsqbot> | ERROR: Burlesque: (\[) Invalid arguments!
15:07:00 <blsqbot> | ERROR: Burlesque: ([[) Invalid arguments!
15:07:00 <blsqbot> | ERROR: Burlesque: (m[) Invalid arguments!
15:26:59 <blsqbot> | ERROR: Burlesque: (m[) Invalid arguments!
15:27:00 <elliott> maybe it should work on integers too!
15:27:12 <mroman> m[ can't map over integers
15:27:19 <mroman> [[ doesn't work then either
15:28:29 -!- hjulle has quit (Ping timeout: 244 seconds).
15:29:01 -!- tlewkow_ has joined.
15:41:46 -!- MDUd has changed nick to MDude.
15:47:51 <elliott> mroman: I'm sure you could figure out some meaning for them
15:47:55 <quintopia> i am fairly certain that, as a programming language and not something like a human with an advanced frontal lobe, it has no concept of good or evil
15:48:05 <elliott> mroman: maybe map it over every digit and then concatenate the result as an integer
15:49:08 <elliott> so mapping (- 1) on 1234 would give you 123, and on 101 it'd give you (0 * 10^2) + ((-1) * 10^1) + (0 * 10^0) = -10
15:50:23 <elliott> perhaps map (\x -> x*10 + x) 123 -> (11 * 10^2) + (22 * 10^1) + (33 * 10^0) = 1100 + 220 + 33 = 1353
15:51:04 -!- ais523 has joined.
15:53:23 -!- S1 has quit (Quit: S1).
16:01:14 -!- tlewkow_ has quit (Remote host closed the connection).
16:16:22 <Taneb> TONIGHT I WILL BAKE A CAKE MAYBE
16:16:53 -!- Dulnes has quit (Quit: Updating details, brb).
16:18:03 -!- Dulnes has joined.
16:19:37 -!- ais523 has quit (Ping timeout: 264 seconds).
16:21:24 -!- vanila has joined.
16:23:46 <idris-bot> flip (\{meth0} => \{meth1} => prim__sdivBigInt meth meth) 67 : Integer -> Integer
16:24:12 <Dulnes> is this why its colourful
16:24:14 -!- caps has joined.
16:24:38 -!- caps has left.
16:32:43 -!- ais523 has joined.
16:37:01 <J_Arcane> Hah! https://github.com/microcai/llvm-qbasic
16:38:35 <vanila> if he wants c call why not emit C
16:38:59 <vanila> http://microcai.org/2013/03/08/killubuntu.html lol
16:39:30 <vanila> "For every bug found in the softwre, there is a ugly man behind. For too many days!" - microcai
16:40:11 <elliott> does llvm-qbasic support the important drawing and PC speaker commands
16:45:38 <vanila> lead, load, goad, gold
17:18:44 <ais523> actually, this is the first thing that annoyed me about Windows
17:18:56 <ais523> and made me wonder if there were better options
17:19:02 <ais523> Windows 1 has an API for manipulating the PC speaker
17:19:10 <ais523> by Windows 3.1, it was deprecated but still worked
17:19:25 <ais523> it was removed some time between Windows 98 and Windows XP
17:19:39 <ais523> so I grudgingly had to check what they replaced it with, and the new replacement API didn't work
17:19:55 <ais523> you were meant to throw MIDI through the speakers, but the process would freeze for like 30 seconds when you loaded a MIDI file
17:20:07 <ais523> it worked after that, but that's an unacceptably long freeze
17:20:34 <ais523> (Windows Media Player was also affected by the freeze, but it happened when a file looped back to the start, rather than at the start of playback, for some reason)
17:20:37 -!- AnotherTest has joined.
17:29:31 -!- dts_Zzzz has changed nick to DTSCode.
17:46:15 <idris-bot> (NS (UN "+") ["Classes", "Prelude"])
17:46:15 <idris-bot> (Pi (TType (UVar -1)) (TType (UVar -1)))
17:46:52 <Melvar> (The type annotation is part of the quoting syntax.)
17:49:32 -!- AnotherTest has quit (Ping timeout: 244 seconds).
18:18:48 -!- `^_^v has joined.
19:03:44 -!- bitemyapp has quit (Quit: leaving).
19:26:01 -!- ais523 has quit (Read error: Connection reset by peer).
19:26:10 -!- ais523 has joined.
19:26:39 -!- Froox has changed nick to Frooxius.
19:34:29 -!- ais523 has quit.
20:01:13 -!- Phantom_Hoover has quit (Ping timeout: 255 seconds).
20:04:04 -!- Patashu has joined.
20:23:15 -!- tlewkow_ has joined.
20:26:52 -!- Patashu has quit (Ping timeout: 255 seconds).
20:41:26 -!- DTSCode has changed nick to rabbitbiscuit.
20:41:59 -!- rabbitbiscuit has changed nick to DTSCode.
20:52:48 -!- tlewkow_ has quit (Remote host closed the connection).
21:00:19 -!- tlewkow has joined.
21:01:23 -!- tlewkow has quit (Remote host closed the connection).
21:23:25 -!- kcm1700 has quit (Remote host closed the connection).
21:23:36 -!- kcm1700 has joined.
21:54:58 -!- tlewkow_ has joined.
22:01:11 -!- scoofy has joined.
22:02:22 -!- supay has joined.
22:06:16 -!- DTSCode has changed nick to dts.
22:08:32 -!- dts has quit (Quit: Leaving).
22:08:51 -!- dts has joined.
22:09:40 -!- dts has quit (Changing host).
22:09:40 -!- dts has joined.
22:11:23 -!- hjulle has joined.
22:14:34 -!- dts has quit (Quit: Leaving).
22:15:16 -!- DTSCode has joined.
22:20:16 -!- DTSCode has quit (Quit: Leaving).
22:20:34 -!- dts has joined.
22:32:52 -!- oerjan has joined.
22:45:25 <oerjan> <mroman> it uses [()] <-- would you know, i answered precisely that as a stackoverflow question a while ago.
22:45:52 <HackEgo> dontaskdonttelllist: quintopia coppro myname mroman(use query)
22:47:13 <oerjan> i think my problem with using query is that it's only _partly_ a personal message, i want to say it in the channel as _well_.
22:50:15 <shachaf> link to the logs in /query
22:50:32 <Bike> maybe you need to chill
22:50:48 <oerjan> i guess that's better than repeating an entire monologue
22:50:57 <oerjan> Bike: no need to chill around here
22:51:03 <lambdabot> ENVA 202220Z 09003KT 9999 SCT029 M00/M01 Q1032 RMK WIND 670FT 14003KT
22:51:54 <oerjan> hm did that command get removed
22:52:00 <lambdabot> Local time for oerjan is Thu Nov 20 23:51:31 2014
22:52:06 <vanila> The only good gopher website I found is zzo38computer
22:52:15 <oerjan> nah your client just doesn't respond
22:52:18 <vanila> gopher seems very much abandoned
22:52:28 <vanila> I disabled CTCP after some trolls tried to get info on me
22:52:48 <oerjan> vanila: i think zzo38 knows of some other sites? don't know if they're good though.
22:53:13 <oerjan> hm do we have another brit
22:53:57 <oerjan> _are_ there more british or finnish in the channel, i think that came up the other day. also will fizzie be recounted when he moves
22:54:19 <nortti> oh, where is he moving to?
22:55:02 <oerjan> and somehow, i seem to remain the only norwegian.
22:57:04 <fizzie> Am I going to have to change my nick to "ukzzie"?
22:57:34 <vanila> yesterday I thought about an esolang but I couldn't make it turing complete
22:57:45 <oerjan> they don't _have_ to be turing complete
22:57:56 <vanila> http://paulino.cee.illinois.edu/Images/education/graph/graph_intro.png
22:58:14 <vanila> i like the idea of inputting a drawing like this and computation being something like a CA or similar on it...
22:58:18 <fizzie> Actually, I got slightly worried about the zem.fi domain, because you can't get a .fi domain if you don't live in Finland (even if you're a citizen) -- but if I read the law correctly, you can *keep* a legally obtained .fi domain indefinitely even if you move out.
22:58:19 <vanila> but there's no way to get infinite memory
22:58:30 <vanila> yeah it doesnt ahve to be but i think this one should be
22:58:40 <vanila> or shoudl i say, when I realized it wasnt that made it seem worse
22:58:47 <oerjan> vanila: i think you need infinite setup, _or_ a rule to grow new cells.
22:59:01 <vanila> both are kind of impossible
22:59:17 <vanila> so this idea fell flat
22:59:49 <oerjan> i see how growing new rules is tricky with that kind of layout, but infinite setup shouldn't be...
23:00:01 <vanila> you could have a infinite image!
23:00:14 <oerjan> although you could let new cells grow out of vertices
23:01:16 <oerjan> might make it hard to get them where you want, though.
23:01:31 <oerjan> vanila: well not as a png, sure
23:01:44 <vanila> I think thisis why there are so few graph language
23:02:08 <oerjan> well graphs are tricky to draw with nice layout
23:02:12 -!- Frooxius has quit (Read error: Connection reset by peer).
23:02:30 -!- Frooxius has joined.
23:03:55 -!- `^_^v has quit (Ping timeout: 264 seconds).
23:04:14 -!- blsqbot has quit (Ping timeout: 250 seconds).
23:05:55 <oerjan> also, http://www.chiark.greenend.org.uk/~sgtatham/puzzles/js/map.html
23:07:00 <oerjan> (you can also download the puzzle collection)
23:15:49 <vanila> it could be a challenge to write solvers for these puzzles
23:16:10 <shachaf> anagol does care about whitespace at the ends of lines, right?
23:18:39 <oerjan> <fizzie> And in general any extra whitespace at the end. <-- wait, not just newlines? this changes EVERYTHING.
23:19:30 <shachaf> unwords is a very long word.
23:22:15 <oerjan> although if what fizzie says is true, it doesn't if there is ONLY ONE LINE
23:22:43 <shachaf> if there's no line terminator at the end, is it truly a line?
23:22:55 <oerjan> as far as anagol is concerned.
23:25:30 <oerjan> unfortunately mapM + ++" " is even longer :(
23:25:45 <oerjan> so maybe it doesn't change that much.
23:28:33 <fizzie> oerjan: I'm pretty sure it's true. I think I've used . in Befunge-98 successfully for one-number-as-answer kind of thing, while it doesn't work for multi-line answers. (It adds a trailing space, like the Forth .)
23:29:17 -!- Phantom_Hoover has joined.
23:31:51 <oerjan> bah i cannot see how to use it for improving my A057755 solution, anyhow
23:32:00 <oerjan> (i have an ugly unwords in that)
23:33:32 <oerjan> bah henkma managed to tie int-e on it
23:33:41 <oerjan> (not surprising, but still...)
23:35:21 <shachaf> another long word is fromIntegral
23:37:59 <oerjan> not golf, that's for sure
23:38:59 <oerjan> fromInteger is 1 char shorter, i notice, in a pinch
23:39:18 -!- S1 has joined.
23:42:20 <Sgeo> Whee https://twitter.com/HeadDZombie/status/535513753178353664
23:42:32 <Sgeo> Wish I used the #jssummit hashtag though, no one's going to see that
23:45:28 <int-e> oerjan: yeah, henkma found the slow solution :)
23:45:53 <int-e> (I like the fact that the statistics come out the same)
23:46:49 <int-e> oerjan: read.show is even shorter
23:46:59 -!- mihow has quit (Read error: Connection reset by peer).
23:47:26 -!- mihow has joined.
23:48:09 <int-e> (ok, it will typically break even with toInteger, and possibly use, but I have not needed that particular conversion so far)
23:48:15 -!- mihow has quit (Read error: Connection reset by peer).
23:48:47 <oerjan> well it was shachaf who thought he needed it
23:48:53 -!- mihow has joined.
23:52:34 <oerjan> int-e: is your 51 solution on the parity one still non-cheating? i'm wondering if there's any point in trying not to cheat.
23:53:01 <oerjan> (well as in, actually reading the input)
23:53:07 <shachaf> I thought int-e said the 51 solution was cheating and the 57 solution wasn't.
23:53:39 <oerjan> yukko: lots of them are
23:53:51 <yukko> I did one at 35 points but it got a bit tedious
23:54:13 <int-e> and I expect henkma's 49 character one to be cheating as well, but who knows.
23:54:18 <shachaf> Is there a way to withdraw my solution?
23:54:28 <oerjan> yeah i think untangle gets quickly tedious because there isn't any _real_ difficulty in it
23:54:44 <oerjan> shachaf: i don't think so.
23:54:58 <oerjan> shachaf: make a better one >:)
23:55:04 <shachaf> oerjan: I want to be out of the system.
23:55:55 <oerjan> shachaf: you should have thought about that before hth
23:55:56 <int-e> If I had realized that there was only one (short) test case I wouldn't have submitted anything at all.
23:56:37 <int-e> But I only figured that out when conja beat me with 52 to 57 characters.
23:57:34 <int-e> (it's a pity too; I like that 57 characters code)
23:57:54 <oerjan> my first attempt was 59
23:58:12 <oerjan> well only attempt so far
23:58:21 <int-e> my first version was 62 because I wanted to use Data.List.
23:58:36 <int-e> as usual, it's not worth it.