←2014-11-09 2014-11-10 2014-11-11→ ↑2014 ↑all
00:04:44 <oerjan> heh
00:08:02 -!- AndoDaan has left ("bbl").
00:32:58 <zzo38> Someone told me today that a sufficiently precise missile address is possible in 48-bits. Is it correct?
00:33:53 <vanila> ii thkn it depends on the radius of the explosion of the missle
00:36:11 <zzo38> It isn't the intention to actually aim a missile; I only intend to see how it can be used for uniqueness.
00:36:17 <boily> fungot: ii thkn?
00:36:17 <fungot> boily: ' too proud?' the frog said in a thoughtful tone. " hold your tongues!" and fnord tingled his bell.
00:39:57 <FireFly> fungot: tingling fnords?
00:39:58 <fungot> FireFly: i.e. some mischievous creatures are not soldiers." the fnord conspirator stammered, trying her best to climb up one of our books to the glass, and began wandering up and down the room.
00:40:12 <FireFly> the fnord conspiracy.
00:41:27 <oerjan> > 4*pi*(20000/pi)^2 / 2^48
00:41:28 <lambdabot> 1.8093822187881342e-6
00:42:48 <oerjan> zzo38: that's about 1.8 square meters resolution if you divide up earth's surface equally
00:45:10 <boily> FireFly: I wouldn't call it a conspiracy; it's kind of widely known that fungot's raison-d'être is to conquer the world.
00:45:10 <fungot> boily: " fading, with the glass table as before. " things are worse than ever," said i. " my son was in the act of waking, i felt certain that ' love,' and then hurried on, alice started to her feet and sprang across the little brook in her terror,
00:45:34 <FireFly> boily: well, fungot talked about a fnord conspirator
00:45:34 <fungot> FireFly: and he flung his arms passionately round her neck, and hid his face on her shoulder. " what a convenient thing it would be grand!"
00:45:53 <zzo38> oerjan: O, OK, do you think that is good enough?
00:45:54 <boily> FireFly: collaborators.
00:45:59 <FireFly> oh.
00:46:26 <oerjan> zzo38: i expect most icbms to be larger than that.
00:46:50 <zzo38> Like I said it is not used for an actual ICBM.
00:47:17 <oerjan> well, in that case i can hardly know how good is good enough.
00:47:47 <zzo38> I mean if they eventually invented a new UUID version that uses ICBM addresses.
00:49:12 <oerjan> eventually it will be too few see http://xkcd.com/865/
00:49:48 <oerjan> (pretty sure ipv6 is more than 48 bits right?)
00:50:09 <Bike> 128 isn't it
00:50:38 <zzo38> Yes, I do not expect each nanobot to need a UUID all at the same time though?
00:51:37 <oerjan> well i guess we are doomed then.
00:52:19 <zzo38> A UUID is itself 128 bits though, anyways, and some are used for the variant and the version.
00:53:20 <oerjan> beware of the NAT-nobots, though.
00:53:33 <zzo38> Currently I am using version 1 UUIDs, but it might not always do, for example if you don't have and never had a MAC address available.
00:54:30 <oerjan> `` \? cocoonspirator #regarding fungot
00:54:30 <fungot> oerjan: his wife caught the idea, that alice had any idea of doing that. she felt as if she were flying, and alice, were in fnord of the march of mind, kept up what she no doubt intended for a savage growl, though it answers as a puff, it never has effect enough to make one fnord to think of it, she held it up to a glass, the words will all go the right way to begin, you see, it takes all the running you can do anything with, b
00:54:31 <HackEgo> A cocoonspirator is a collaborator wrapped in caterpillar silk
00:55:06 <oerjan> one gets the sense that lewis carroll used a lot of unique words.
00:55:28 <oerjan> and not all of them made up, either
00:56:06 <zzo38> RFC does say the timestamp will eventually run out and have to wrap around. But even then, it could continue until the timestamp is the same as it was at the time MAC addresses were invented; at that point you would have to stop using version 1 UUIDs and will have to make up a new one.
00:58:05 <zzo38> (Actually, it can last later than that; it only has to be according to when the specific MAC address was assigned, rather than when MAC addresses were invented in general. However this is not always known.)
01:07:57 -!- vanila has quit (Quit: Leaving).
01:12:55 -!- AndoDaan has joined.
01:17:19 -!- Phantom_Hoover has quit (Ping timeout: 255 seconds).
01:17:39 -!- scoofy has joined.
01:33:22 -!- Guest20404 has joined.
01:33:24 -!- Guest20404 has left.
01:49:48 -!- shikhin has joined.
01:53:19 -!- shikhout has quit (Ping timeout: 260 seconds).
01:59:38 -!- oerjan has quit (Quit: leaving).
02:02:41 -!- AndoDaan has quit (Ping timeout: 272 seconds).
02:08:25 -!- AndoDaan has joined.
02:15:56 -!- boily has quit (Quit: PHAROAH CHICKEN).
02:18:19 -!- shikhin has quit (Ping timeout: 245 seconds).
02:35:56 -!- centrinia has joined.
03:56:11 -!- nys has quit (Quit: quit).
04:14:05 -!- serika has quit (Ping timeout: 255 seconds).
04:14:29 -!- AndoDaan_ has joined.
04:14:34 -!- AndoDaan has quit (Ping timeout: 245 seconds).
04:15:21 -!- AndoDaan_ has changed nick to AndoDaan.
04:24:49 -!- DTSCode has joined.
04:48:25 -!- dianne has quit (Ping timeout: 250 seconds).
04:50:09 -!- dianne has joined.
04:50:12 -!- dianne has quit (Changing host).
04:50:12 -!- dianne has joined.
04:50:14 -!- centrinia has quit (Ping timeout: 250 seconds).
05:04:08 -!- centrinia has joined.
05:26:00 <zzo38> Even Famicompo has a cover of "Gravity Falls" music.
05:34:05 -!- MDude has changed nick to MDream.
06:11:30 -!- DTSCode has quit (Read error: Connection reset by peer).
06:13:41 -!- MoALTz has joined.
06:26:48 -!- DTSCode has joined.
06:30:04 -!- AndoDaan has quit (Ping timeout: 264 seconds).
06:47:29 <zzo38> How much is a shift-reduce parser improved by if there is a skip action added? (Skip means like a shift, except that nothing is pushed to the stack; it still selects another state to parse the next token with, but doesn't affect the stack, therefore such the next state will become forgotten later on.)
06:49:34 -!- AndoDaan has joined.
06:57:57 <int-e> that's a tail call optimization, isn't it?
06:58:39 <zzo38> It is a bit like a tail call optimization, I suppose, although you may be able to use it in other cases too.
07:00:01 <zzo38> They might reduce the number of productions you need too, in a few cases
07:00:23 <Sgeo> What is Famicompo?
07:00:28 * Sgeo listens to gravity falls cover
07:00:55 <Sgeo> NSF competition apparently?
07:01:03 <zzo38> Sgeo: Yes.
07:01:26 <zzo38> I have *all* of them on my computer.
07:04:15 -!- AndoDaan has quit (Ping timeout: 244 seconds).
07:05:12 -!- AndoDaan has joined.
07:28:25 -!- Patashu has joined.
09:09:39 -!- hjulle has joined.
09:21:36 -!- AndoDaan has quit (Ping timeout: 272 seconds).
09:37:08 -!- MoALTz_ has joined.
09:39:58 -!- MoALTz has quit (Ping timeout: 255 seconds).
09:41:45 -!- Sprocklem has quit (Ping timeout: 265 seconds).
09:52:04 -!- centrinia has changed nick to sho_jitou.
09:52:13 -!- sho_jitou has changed nick to centrinia.
09:57:08 <Lymia> I wonder how hard it'd be to make a polyglot of Malborge and some other language
09:57:12 <Lymia> (That is not Whitespace)
09:58:32 <b_jonas> it's still spelt with an L!
09:58:54 <fizzie> Yeah, don't make oerjan mad. You won't like that.
10:03:43 <Lymia> Marbolge?
10:03:44 <Lymia> Got it.
10:05:30 <fizzie> I wouldn't tempt fate like that, but of course it's up to you.
10:06:00 <fizzie> As for the polyglot, if not Whitespace, then Lenguage.
10:18:03 -!- AndoDaan has joined.
10:19:19 <Jafet> Maluis borges
10:21:03 -!- drdanmaku has quit (Quit: Connection closed for inactivity).
10:25:52 -!- centrinia has quit (Ping timeout: 264 seconds).
10:51:02 <mroman> still no new whatif
10:53:00 <mroman> fungot: good morning
10:53:00 <fungot> mroman: aye louder screamed that ladye fair, wi' a silken string, whilk i sent to them again to say " how d'ye do?"
10:53:00 <b_jonas> it's always late
10:53:21 <mroman> Is this pirate?
10:53:23 <mroman> ^style
10:53:24 <fungot> Available: agora alice* c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube
10:53:29 <mroman> damn
10:53:42 <mroman> New Game: Guessing fungots currently selected style.
10:53:42 <fungot> mroman: " i have heard of you, you wicked wicked boy!" said her husband. " we're not fnord!" he exclaimed, holding up his hand impressively. and now, who am i?'
10:56:37 <Lymia> ^style
10:56:37 <fungot> Not found.
10:56:41 <Lymia> ^style youtube
10:56:41 <fungot> Selected style: youtube (Some YouTube comments)
10:56:53 -!- FreeFull has quit.
10:56:58 <Lymia> fungot, hello
10:56:59 <fungot> Lymia: omg i diedddd doesnt suck like hitman did the pilot died shoving the power to climb. the pilots, no, oh no
10:58:20 <mroman> fizzie: could you add ^randomstyle ;)?
10:59:20 <Lymia> Changed in version 2.6: The return value is in the range [-2**31, 2**31-1] regardless of platform. In older versions the value is signed on some platforms and unsigned on others.
10:59:20 <Lymia> Changed in version 3.0: The return value is unsigned and in the range [0, 2**32-1] regardless of platform.
10:59:23 <Lymia> Python...
11:05:52 <fizzie> fungot: What about the pilots?!
11:05:52 <fungot> fizzie: oh no oh no, oh no, what
11:06:04 <fizzie> fungot: Come on, bot, don't leave us hanging.
11:06:04 <fungot> fizzie: i learned that the tape or is that someone ' dies of cancer' is it
11:06:11 <fizzie> A tragedy.
11:13:08 <b_jonas> what music are you listening to, fungot?
11:13:08 <fungot> b_jonas: omg this is the black guy supposed to do a flyby and crashed into a corner big time, this is a problem with the hillary impersonator
11:13:31 <b_jonas> a black guy is impersonating hillary?
11:20:25 <fizzie> The main problem with Hillary impersonators are their poor aviation skills.
11:20:28 -!- boily has joined.
11:22:15 <fizzie> "Access to this document is outside your subscription" nooooooo
11:43:35 <fizzie> Have to be grateful to authors for preprints, I guess.
11:48:13 <shachaf> what if an author postpones preprints
12:06:03 -!- Patashu has quit (Ping timeout: 240 seconds).
12:10:09 <fizzie> Some sort of a reality collapse, presumably.
12:15:54 <boily> reality is way to brittle in these here parts. there should be an open source reality effort or something.
12:16:00 <boily> s/to\b/too/
12:21:18 -!- boily has quit (Quit: EXONERATED CHICKEN).
12:25:53 -!- CADD has quit (Quit: leaving).
12:52:50 -!- Phantom_Hoover has joined.
13:25:43 <HackEgo> [wiki] [[Dimensions]] http://esolangs.org/w/index.php?diff=40822&oldid=40818 * TomPN * (+132) /* Motion */
13:26:53 <HackEgo> [wiki] [[Dimensions]] http://esolangs.org/w/index.php?diff=40823&oldid=40822 * TomPN * (+102) /* Velocity */
13:27:21 <HackEgo> [wiki] [[Dimensions]] http://esolangs.org/w/index.php?diff=40824&oldid=40823 * TomPN * (-18) /* If the cell has a value */
13:27:41 <HackEgo> [wiki] [[Dimensions]] http://esolangs.org/w/index.php?diff=40825&oldid=40824 * TomPN * (-12) /* If the cell has a velocity */
13:29:29 <HackEgo> [wiki] [[User talk:TomPN]] http://esolangs.org/w/index.php?diff=40826&oldid=40744 * TomPN * (+88)
13:30:07 <HackEgo> [wiki] [[Musical notes]] http://esolangs.org/w/index.php?diff=40827&oldid=40813 * TomPN * (+64)
13:30:20 <HackEgo> [wiki] [[Musical notes]] http://esolangs.org/w/index.php?diff=40828&oldid=40827 * TomPN * (+4)
13:31:19 <HackEgo> [wiki] [[User talk:TomPN]] http://esolangs.org/w/index.php?diff=40829&oldid=40826 * TomPN * (+123)
13:32:16 <HackEgo> [wiki] [[Dimensions]] http://esolangs.org/w/index.php?diff=40830&oldid=40825 * TomPN * (+0) /* Moving the pointer */
13:38:52 <HackEgo> [wiki] [[Dimensions]] http://esolangs.org/w/index.php?diff=40831&oldid=40830 * TomPN * (+159) /* Example programs */
13:39:08 <HackEgo> [wiki] [[Dimensions]] http://esolangs.org/w/index.php?diff=40832&oldid=40831 * TomPN * (+1) /* Hello World! */
13:50:15 <J_Arcane> IT is infuriatingly difficult to Google anything relating to BASIC.
13:53:12 <Taneb> Apparently there's a Forth seminar happening tomorrow
13:54:31 <J_Arcane> Lisp in QBASIC: https://www.ma.utexas.edu/users/dmenezes/lisp.html
14:15:16 <int-e> @tell oerjan Very nice substrings code, the closest I had was based on iterate(zipWith(:)x.drop 1)(repeat[]) (which then became t=[]:t;z?(_:y)=z y++z?z y;_?y=y; ... zipWith(:)x?t ...). I have to remember that scanr f x.map g=scanr(f.g)x.
14:15:16 <lambdabot> Consider it noted.
14:17:17 -!- impomatic_ has left.
14:18:29 <J_Arcane> Since being introduced more clearly to how easy it actually is to implement new language modules in Racket, I have this deranged idea to do a GW/QBASIC inspired Lisp variant.
14:18:29 <mroman> J_Arcane: Because of all the VisualBasic noobs?
14:20:29 <J_Arcane> mroman: I had it in mind originally as a sort of sequel to VIOLET, and even though of just doing an enhanced VIOLET that turned it into a proper Lisp. But I also kinda just want to essentially write a Lisp with QB inspired keywords, like if some dude circa 198x had been tasked with making a Lisp that would be friendly to MS Basic students.
14:25:09 -!- oerjan has joined.
14:29:13 <J_Arcane> Interesting thing I learned: Apparently FreeBASIC supports tail recursion optimizations.
14:39:46 -!- Frooxius has quit (Quit: *bubbles away*).
14:39:59 <J_Arcane> wot. FreeBASIC has *macros*.
14:42:53 <oerjan> @messages-
14:42:53 <lambdabot> int-e said 27m 36s ago: Very nice substrings code, the closest I had was based on iterate(zipWith(:)x.drop 1)(repeat[]) (which then became t=[]:t;z?(_:y)=z y++z?z y;_?y=y; ... zipWith(:)x?t ...). I have to remember that scanr f x.map g=scanr(f.g)x.
14:44:58 <mroman> !blsq {"abc" "def"}{<-}m[
14:44:59 <blsqbot> {"cba" "fed"}
14:45:01 <mroman> !blsq {"abc" "def"}{<-}\m
14:45:01 <blsqbot> "cbafed"
14:45:08 <mroman> !blsq {"abc" "def"}{<-}ms
14:45:08 <blsqbot> "cbafed"
14:45:47 <oerjan> <mroman> still no new whatif <-- i distinctly recall a "there won't be any this week note", last week
14:46:03 <oerjan> *" note
14:46:58 <mroman> !blsq {0 0 1}im
14:46:58 <blsqbot> 1
14:52:19 -!- serika has joined.
14:58:03 <oerjan> damn neighbor dog is at it again, it had been silent for so long i thought they'd actually managed to find a solution to its yipping
14:59:16 <mroman> I guess you need to buy a silencer.
15:01:15 <oerjan> ...glad i looked up the meaning of that before responding
15:05:38 <serika> http://www.ultimatebarkcontrol.com/dog-silencer.htm This looks pretty legit
15:05:42 * oerjan wonders why henkma's solution needs that ++" "
15:05:53 <serika> Oh my god. "UltimateBarkControl"
15:06:03 <Taneb> Hmm
15:06:12 <oerjan> serika: i don't think that's what mroman was referring to.
15:06:29 <Taneb> If I have createFoo :: Bar Foo, and destroyFoo :: Foo -> Bar (), and using a Foo after it's been destroyed is an error...
15:06:35 <Taneb> Is there a nicer way to do that in Haskell?
15:06:44 <elliott> `relcome serika
15:06:45 <HackEgo> serika: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
15:06:49 <elliott> oh. you were already welcomed. right.
15:07:00 <serika> oerjan: But shooting dogs ;-;
15:07:19 <serika> elliott: I recall so
15:07:41 <oerjan> serika: i greatly suspect that's illegal in norway.
15:07:45 <elliott> well, hi anyway!
15:08:08 <oerjan> but then, i greatly suspect my neighbors are already trying out things that are illegal in norway, in desperation.
15:08:41 -!- `^_^v has joined.
15:09:59 <oerjan> > reads "" :: [(Integer,String)]
15:10:01 <lambdabot> []
15:10:08 <oerjan> > reads " " :: [(Integer,String)]
15:10:09 <lambdabot> []
15:10:16 <oerjan> > reads "1" :: [(Integer,String)]
15:10:18 <lambdabot> [(1,"")]
15:10:23 <oerjan> > reads "1 " :: [(Integer,String)]
15:10:24 <lambdabot> [(1," ")]
15:10:59 <Melvar> @type reads
15:11:00 <lambdabot> Read a => ReadS a
15:11:01 <oerjan> oh hm of course
15:11:22 <oerjan> the " " allows him to detect if he's taken too much
15:11:25 <Melvar> @src ReadS
15:11:25 <lambdabot> Source not found. Take a stress pill and think things over.
15:11:47 <oerjan> it's String -> [(a, String)]
15:12:42 <Melvar> Sticking that giant type annotation on looks uncomfortable … idris has spoiled me.
15:12:43 <oerjan> i had similar ideas to henkma's solution, but never thought of using reads
15:13:10 <oerjan> Melvar: it would default to () rather than Integer otherwise
15:14:21 <Melvar> oerjan: I mean if I had such a function in Idris I’d write “reads {a=Integer} ""” etc.
15:16:05 <oerjan> OKAY
15:16:46 <Melvar> I.e. I could get away without writing the parts of the result type that it knows anyway.
15:16:51 <oerjan> it seems my guess about int-e's solution was entirely wrong, he actually found exactly the same prime checking code as i
15:17:04 <oerjan> Melvar: right
15:18:14 -!- shikhin has joined.
15:23:20 <oerjan> oh henkma is making use of NonDecreasingIndentation
15:23:54 -!- drdanmaku has joined.
15:24:16 <oerjan> and thus managing not to waste space even though e nests dos
15:26:43 <oerjan> int-e: interesting, henkma's solutions _cannot_ be one-lined :P
15:27:05 <oerjan> without wasting space for a }
15:52:30 -!- vanila has joined.
15:56:49 -!- shikhin has quit (Disconnected by services).
15:57:56 -!- serika has quit (Quit: Ik ga weg).
16:05:26 <HackEgo> [wiki] [[Dimensions]] M http://esolangs.org/w/index.php?diff=40833&oldid=40832 * BCompton * (+0) Explainations -> explanations, ouput -> output
16:46:34 <HackEgo> [wiki] [[TinyBF]] N http://esolangs.org/w/index.php?oldid=40834 * Bataais * (+1491) Created page with "'''tinyBF''' is a [[brainfuck]] equivalent with only 4 characters. It's a variant of [[RISBF]] and was created by Michael Gianfreda, Nov. 6, 2014. tinyBF programs are smaller..."
16:47:03 <HackEgo> [wiki] [[TinyBF]] http://esolangs.org/w/index.php?diff=40835&oldid=40834 * Bataais * (+1)
16:49:30 <HackEgo> [wiki] [[TinyBF]] http://esolangs.org/w/index.php?diff=40836&oldid=40835 * Bataais * (+4)
16:52:23 <HackEgo> [wiki] [[Language list]] http://esolangs.org/w/index.php?diff=40837&oldid=40809 * Bataais * (+13)
16:53:16 -!- hjulle has quit (Ping timeout: 244 seconds).
16:54:12 <HackEgo> [wiki] [[RISBF]] http://esolangs.org/w/index.php?diff=40838&oldid=37842 * Bataais * (+31)
16:57:37 -!- oerjan has quit (Quit: leaving).
16:59:52 <HackEgo> [wiki] [[User:Bataais]] N http://esolangs.org/w/index.php?oldid=40839 * Bataais * (+44) Created page with "Identical to Michael Gianfreda, Switzerland."
17:01:35 <HackEgo> [wiki] [[User:Bataais]] http://esolangs.org/w/index.php?diff=40840&oldid=40839 * Bataais * (-13)
17:01:50 <HackEgo> [wiki] [[User:Bataais]] http://esolangs.org/w/index.php?diff=40841&oldid=40840 * Bataais * (+6)
17:23:09 -!- FreeFull has joined.
17:36:23 -!- MoALTz__ has joined.
17:39:59 -!- MoALTz_ has quit (Ping timeout: 272 seconds).
17:40:30 -!- Vorpal has quit (Ping timeout: 244 seconds).
17:45:57 -!- hjulle has joined.
17:57:06 -!- quintopia has joined.
17:58:57 -!- impomatic_ has quit (Ping timeout: 255 seconds).
18:03:32 -!- AndoDaan_ has joined.
18:04:55 -!- AndoDaan has quit (Ping timeout: 265 seconds).
18:07:03 -!- MDream has changed nick to MDude.
18:17:14 <int-e> @tell oerjan the nonincreasing indentation trick from henkma's solution is so awful I almost want to poke out my eyes to unsee it. :-P
18:17:14 <lambdabot> Consider it noted.
18:18:21 <int-e> @tell oerjan Oh the fact that I could've gotten to 123 using that trick doesn't help.
18:18:22 <lambdabot> Consider it noted.
18:23:21 <HackEgo> [wiki] [[SELECT.]] http://esolangs.org/w/index.php?diff=40842&oldid=40805 * Por gammer * (-133) /* Commands */
18:33:34 -!- Vorpal has joined.
18:56:32 -!- shikhin has joined.
19:03:52 <HackEgo> [wiki] [[Brainfuck]] M http://esolangs.org/w/index.php?diff=40843&oldid=40817 * Bataais * (+86)
19:07:40 <HackEgo> [wiki] [[User talk:Bataais]] N http://esolangs.org/w/index.php?oldid=40844 * Bataais * (+84) Created page with "Here you can talk about my [[brainfuck]] minimizations [[tinyBF]], [[RISBF]] and me."
19:08:16 <HackEgo> [wiki] [[User talk:Bataais]] http://esolangs.org/w/index.php?diff=40845&oldid=40844 * Bataais * (+23)
19:08:43 <HackEgo> [wiki] [[User talk:Bataais]] http://esolangs.org/w/index.php?diff=40846&oldid=40845 * Bataais * (-1)
19:14:57 <HackEgo> [wiki] [[3switchBF]] http://esolangs.org/w/index.php?diff=40847&oldid=36939 * Bataais * (+6)
19:15:39 <HackEgo> [wiki] [[User talk:Bataais]] http://esolangs.org/w/index.php?diff=40848&oldid=40846 * Bataais * (+22)
20:01:36 <quintopia> ooooh, a page to talk about Bataais
20:01:47 <quintopia> what shoudl we ask a random person from the internet?
20:02:06 <fizzie> fungot: Opine.
20:02:06 <fungot> fizzie: ah, so i'm guessing it takes a wee while for the airshow. flown by remote control test toy ever. i'll give it to new developers. duke's not done yet.
20:02:46 <quintopia> oh okay
20:04:54 <quintopia> how about "what do you think is the most interesting thing about you
20:04:55 <quintopia> "
20:05:12 -!- Patashu has joined.
20:05:56 <quintopia> wb patashu
20:07:25 <fizzie> @wn animadvert
20:07:27 <lambdabot> *** "animadvert" wn "WordNet (r) 3.0 (2006)"
20:07:27 <lambdabot> animadvert
20:07:27 <lambdabot> v 1: express one's opinion openly and without fear or
20:07:27 <lambdabot> hesitation; "John spoke up at the meeting" [syn: {opine},
20:07:27 <lambdabot> {speak up}, {speak out}, {animadvert}, {sound off}]
20:07:29 <lambdabot> 2: express blame or censure or make a harshly critical remark
20:07:34 <fizzie> (New one for me.)
20:08:05 <elliott> that's a word?
20:08:07 <quintopia> @wn averr
20:08:08 <lambdabot> No match for "averr".
20:08:10 <quintopia> @wn aver
20:08:11 <lambdabot> *** "aver" wn "WordNet (r) 3.0 (2006)"
20:08:11 <lambdabot> aver
20:08:11 <lambdabot> v 1: report or maintain; "He alleged that he was the victim of a
20:08:11 <lambdabot> crime"; "He said it was too late to intervene in the war";
20:08:11 <lambdabot> "The registrar says that I owe the school money" [syn:
20:08:13 <lambdabot> [4 @more lines]
20:08:56 <fizzie> Well, it is the WordNet.
20:17:59 -!- tswett has joined.
20:18:19 <tswett> Define a "concrete statement" as a mathematical statement in which all quantifiers range over the integers.
20:18:28 <tswett> I'm not really going anywhere here. I just felt like stating that definition.
20:25:19 -!- Patashu has quit (Ping timeout: 244 seconds).
20:28:58 -!- shikhout has joined.
20:32:20 -!- shikhin has quit (Ping timeout: 265 seconds).
20:37:52 <b_jonas> right... if I declare a variable const, I shouldn't be surprised the compiler won't allow me to assign to it.
20:41:15 <Taneb> :)
20:43:57 <b_jonas> ok, now why does this crash my program? did I give the array size wrong?
20:44:20 <fizzie> You looked at it wrong.
20:45:14 <b_jonas> wait, it's the other array
20:46:33 <b_jonas> ah right
20:47:07 <b_jonas> I gave the wrong stride
20:52:37 <shachaf> `olist (967)
20:52:38 <HackEgo> olist (967): shachaf oerjan Sgeo FireFly boily nortti
20:59:29 <FireFly> ^style
20:59:29 <fungot> Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube*
20:59:52 <int-e> fungot: comment?
20:59:52 <fungot> int-e: or another one: ht tp jeanclaudeboetsch. free. fr/ change. it's interesting but this song
21:01:24 <olsner> fungot: what's wrong?
21:01:24 <fungot> olsner: lol this is a copycat that should have given the content. it was at an airshow, it's your right a underwater mission that looks amazing :0 special forces, no way similar to xmen's wolverine that cpt price has made famous
21:04:51 -!- centrinia has joined.
21:04:53 <fizzie> ^style fisher
21:04:54 <fungot> Selected style: fisher (Fisher corpus of transcribed telephone conversations)
21:05:08 <fizzie> Come to think of it, I haven't added to the list in a long time. I think there were some ideas, too.
21:05:16 <fizzie> fungot: CAN YOU HEAR ME?
21:05:16 <fungot> fizzie: ( ( know laughter)) affirmative action i usually think of mn what about like the o. j. is a very
21:05:28 <fizzie> Is very.
21:05:54 -!- Bicyclidine has joined.
21:13:21 <FireFly> fungot: don't hang up on me
21:13:21 <fungot> FireFly: yeah sigh yeah noise)) those movies turn me off to i'm not into the bloody gory
21:13:46 <FireFly> fungot: I don't enjoy gore too much either
21:13:47 <fungot> FireFly: right we still understand it so the trick is getting a little loose right now laughter
21:15:16 <int-e> cruel
21:16:46 -!- centrinia has quit (Ping timeout: 244 seconds).
21:26:24 -!- Bicyclid1ne has joined.
21:26:50 -!- Bicyclidine has quit (Quit: Reconnecting).
21:30:20 -!- AnotherTest has joined.
21:36:00 -!- nycs has joined.
21:37:39 -!- `^_^v has quit (Ping timeout: 244 seconds).
21:52:57 -!- AndoDaan_ has left ("Something's Burning").
22:04:06 -!- nyuszika7h has quit (Read error: Connection reset by peer).
22:05:59 -!- Bicyclid1ne has quit (Ping timeout: 272 seconds).
22:06:13 -!- nyuszika7h has joined.
22:12:59 -!- nyuszika7h has quit (Ping timeout: 256 seconds).
22:13:28 -!- nyuszika7h_ has joined.
22:21:44 -!- nys has joined.
22:25:58 <zzo38> I think that, if you are using SQLite as a database format in a program, then you can also use SQLite as the extension language; it already knows about the database, so you don't have to add a whole bunch of stuff for the new extension language to interact with the database and so on.
22:26:06 <zzo38> What do you think of it?
22:27:53 <zzo38> It is probably a simple way to do it; anyways SQLite already supports extension loading too.
22:32:55 -!- AnotherTest has quit (Ping timeout: 245 seconds).
22:38:39 -!- MoALTz_ has joined.
22:40:16 <olsner> I guess it's fine if you want to write application extensions in sql
22:40:26 -!- oerjan has joined.
22:41:13 <oerjan> @messages-
22:41:13 <lambdabot> int-e said 4h 23m 58s ago: the nonincreasing indentation trick from henkma's solution is so awful I almost want to poke out my eyes to unsee it. :-P
22:41:13 <lambdabot> int-e said 4h 22m 51s ago: Oh the fact that I could've gotten to 123 using that trick doesn't help.
22:41:15 -!- MoALTz__ has quit (Ping timeout: 245 seconds).
22:41:41 <zzo38> Yes, and if the extension is not written in SQL but is actually written in C, then you can still use it by writing a wrapper in SQL in a simple way: SELECT LOAD_EXTENSION('abcdefg'); if the extension is compiled as abcdefg.dll or abcdefg.so
22:42:59 <oerjan> int-e: did you know that your comment that you'd wished !! took Integer arguments sent me on a wild goose chase (which i told elliott about) because i assumed wrongly from that that your prime testing code was _worse_ than the obvious way that could have been used, which would have implied your string construction was _better_ than mine
22:43:35 <olsner> I did vaguely consider building an OS/kernel based on sqlite at some point though, using an in-memory database for all kernel data
22:43:42 <int-e> oerjan: No I didn't know that.
22:44:06 <oerjan> figures.
22:44:30 <olsner> presumably with some basic C/asm functions exposed to SQL to make it actually do something
22:44:50 <int-e> oerjan: the reason that it would've helped me is that show=<<[<something that produces a string>|...] is quite a bit longer than [<something that produces a char>|...]
22:45:02 <elliott> olsner: cute
22:45:31 <oerjan> aha
22:45:36 <zzo38> olsner: That is an interesting kind of idea, although SQLite already requires an operating system in order to work (unless you can rewrite the operating-specific functions not to require it, fo course)
22:45:40 <int-e> oerjan: I wanted to use "010"!!mod(product[2..n-2])(0^n+n)
22:46:22 <oerjan> yes, that's what i assumed
22:46:57 <olsner> I think sqlite can be ported to something quite bare-bones, iirc most of the porting interface is file system-related (and you don't need that for an in-memory database)
22:46:59 <int-e> oerjan: otoh the statistics made me believe that you used few library functions for substring generations, when actually you used one more than I'd ever tried at once.
22:47:15 <oerjan> heh
22:47:33 <olsner> but naturally this idea is not really thought through and there should be many reasons it can't work
22:48:03 <oerjan> int-e: i see why i didn't see how that would improve things, because in my version changing to producing Char just meant changing a >>= to a slightly differently positioned map, so no improvement
22:48:04 <zzo38> olsner: Yes, some of the operating-system-specific functions are still needed for a database; but, maybe a really simple operating system can be made that is just enough to work it.
22:48:23 <int-e> oerjan: yeah
22:48:39 <oerjan> i had some versions that did that
22:49:25 <int-e> oerjan: I learned how different that could be from the second version here: http://sprunge.us/UPZS
22:50:33 <int-e> wait, no, from the third. the second one is the one that would've profited from henkma's indentation trick
22:50:38 -!- boily has joined.
22:58:08 <oerjan> int-e: i see you also went through the [2..n-2] route :P
22:58:54 <oerjan> i did that before i realized 4 was an exception, and didn't bother to change it back
22:59:09 <oerjan> well no real reason to change it back, anyway
23:01:37 <int-e> oh poor lambdabot...
23:01:47 -!- lambdabot has quit (Remote host closed the connection).
23:01:52 -!- MoALTz_ has quit (Ping timeout: 244 seconds).
23:01:52 <oerjan> what happened
23:03:00 <int-e> # cat /etc/issue
23:03:00 <int-e> Debian GNU/Linux jessie/sid \n \l
23:03:19 <int-e> OS update somehow ended up with /dev/pts not being mounted ...
23:04:51 <int-e> So I had to reboot. That worked fine though, fortunately.
23:05:29 <oerjan> @messages?
23:05:41 <oerjan> oh wait it's not back yet
23:05:46 <int-e> Should be fine, this time, too.
23:05:53 <int-e> (@messages, that is)
23:06:25 <oerjan> have you made it save periodically now
23:06:42 -!- lambdabot has joined.
23:06:50 <oerjan> @messages?
23:06:51 <int-e> no. still a todo. but I know how to do it on demand.
23:06:54 <lambdabot> Sorry, no messages today.
23:07:30 -!- nycs has quit (Quit: This computer has gone to sleep).
23:09:06 <int-e> oerjan: I left the [2..n-2] because it's faster than [1..n-1], at least theoretically ;)
23:10:12 <oerjan> yeah
23:15:40 <boily> @massages?
23:15:40 <lambdabot> Sorry, no messages today.
23:16:49 -!- vanila has quit (Quit: Leaving).
23:26:32 <oerjan> now for a golf test i don't expect to work
23:26:49 <oerjan> but it would be hilarious if it did
23:27:00 -!- DTSCode has quit (Read error: Connection reset by peer).
23:27:22 <oerjan> alas
23:27:55 -!- DTSCode has joined.
23:27:58 -!- DTSCode has quit (Remote host closed the connection).
23:27:59 <oerjan> hm that was closer than i expected
23:28:19 -!- DTSCode has joined.
23:28:40 <oerjan> hm _very_ close in fact. maybe i should try again.
23:28:47 <int-e> time?
23:29:03 <oerjan> yep
23:29:18 <oerjan> darn
23:29:24 <oerjan> what _is_ the timeout, anyway?
23:29:44 <int-e> 1 second per testcase?
23:29:50 <oerjan> oh just 1
23:30:05 <oerjan> i thought i'd seen a case that had > 3 s
23:30:05 <int-e> note: I don't know.
23:30:16 <oerjan> i mean, a golf solution
23:30:20 <int-e> (and there are some languages that get more time)
23:30:23 <oerjan> oh
23:30:56 <int-e> one entry from the start page: "allow more time for R (you have 2 sec for 3 test cases problems, 2.5 secs for 2 test cases, and 4 secs for 1 test case) since its invocation seems to take more than one second."
23:31:16 <Sgeo> rusti lives!
23:33:26 <oerjan> hm good to know. i had been assuming the 10 s from the general testing page
23:34:04 <oerjan> hm this means timeout will be even more of a problem than i feared for the golf problem i'm trying to design.
23:34:31 <oerjan> and i was considering scaling it _up_ to make it harder to compress the output.
23:34:52 <oerjan> anyway, this wasn't that. i shall have to submit the slightly longer version, then.
23:36:54 <oerjan> still beats importing Data.List, anyhow.
23:37:07 <int-e> ah so my secret 136 characters solution isn't too bad :)
23:37:14 <oerjan> darn
23:37:41 <oerjan> well my solution _was_ 3 chars shorter with timeout :P
23:37:54 <oerjan> (can you guess what the change was)
23:37:55 <int-e> same here, I think.
23:38:25 <oerjan> hm so you are saying this should be 4 chars shorter, hm
23:38:25 <int-e> yes, s/'9'//
23:38:33 <oerjan> precisely
23:39:10 <int-e> I'll wait for henkma's 120 character solution.
23:39:11 <int-e> :P
23:39:24 <oerjan> it only timed out on the third test case :(
23:39:33 <oerjan> which means at least i got timings for the others
23:46:49 -!- hjulle has quit (Ping timeout: 244 seconds).
23:48:23 <int-e> wow it's actually compiling with -O ...
23:48:31 <int-e> > fromEnum (maxBound :: Char)
23:48:32 <lambdabot> 1114111
23:50:59 <int-e> and yes, as far as I can see, "import Data.List" is not worthwhile, but "import List" would be short enough.
23:51:22 <oerjan> indeed
23:52:35 <int-e> whatever. I submitted.
23:53:39 <oerjan> pretty similar stats
23:54:05 <int-e> yeah
23:55:47 <int-e> oh I'm also playing with Euclidean norm, but 122 characters is still worse than henkma's solution.
23:56:08 <int-e> it would be so *nice* if printf".5g" did the right thing.
23:56:21 <oerjan> you'd think
23:56:53 <oerjan> maybe he's found some obscure printing function in a GHC.* module somewhere :P
23:57:06 -!- where has joined.
23:57:15 <where> WHERE IS PHILOSOPHY SCRIPT?!@
23:57:20 <oerjan> `relcome where
23:57:20 <where> I NEED IT
23:57:21 <HackEgo> where: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
23:57:28 <oerjan> what
23:57:36 <where> http://esolangs.org/wiki/Philosophy_Script
23:57:54 <where> SEND ME YOUR APOSTLES
23:58:06 <where> relcome very much
23:58:29 <int-e> oerjan: right, there are 27 libraries installed (24 not hidden), there most be something in there!!!1
23:58:30 <boily> whello.
23:58:52 <where> celllo
23:59:23 <int-e> fungot: I think we found your soulmate
23:59:24 <fungot> int-e: oh laughter oh my god because i mean that's
←2014-11-09 2014-11-10 2014-11-11→ ↑2014 ↑all