←2015-07-05 2015-07-06 2015-07-07→ ↑2015 ↑all
00:10:54 -!- h0rsep0wer_3 has joined.
00:12:46 -!- h0rsep0wer has quit (Ping timeout: 264 seconds).
00:23:16 -!- function has changed nick to trout.
00:25:56 -!- quietello has quit (Ping timeout: 256 seconds).
00:26:32 -!- nys has quit (Excess Flood).
00:26:57 -!- nys has joined.
00:29:44 -!- ais523 has quit (Ping timeout: 256 seconds).
00:30:28 -!- HackEgo has quit (Ping timeout: 256 seconds).
00:59:09 -!- h0rsep0wer_3 has quit (Quit: Leaving).
00:59:09 -!- Vent has quit (Read error: Connection reset by peer).
00:59:50 -!- Vent has joined.
01:03:04 -!- Wallacoloo has joined.
01:07:47 -!- Thisbe has joined.
01:09:03 -!- Vent has quit (Ping timeout: 248 seconds).
01:38:19 -!- trout has quit (Ping timeout: 276 seconds).
01:59:59 -!- variable has joined.
02:05:31 -!- nys has quit (Quit: quit).
02:05:53 -!- boily has quit (Quit: QUAKER CHICKEN).
02:06:32 -!- Herbalist has joined.
02:06:52 -!- Herbalist has left.
02:09:28 -!- variable has quit (Ping timeout: 256 seconds).
02:15:15 -!- Thisbe has quit (Quit: Left).
02:30:41 -!- adu has joined.
02:45:13 -!- Phantom__Hoover has quit (Read error: Connection reset by peer).
02:48:54 -!- diplomaticus has quit (Changing host).
02:48:54 -!- diplomaticus has joined.
02:53:46 -!- aretecode has quit (Read error: Connection reset by peer).
02:55:51 -!- bb010g has joined.
02:56:46 -!- aretecode has joined.
03:11:11 -!- diplomaticus has quit (Ping timeout: 248 seconds).
03:30:25 -!- MDude has changed nick to MDream.
03:32:12 -!- GeekDude has joined.
03:59:32 -!- variable has joined.
04:07:08 <oren> If a youtube video glitches up at the right moment you can get it to go "desudesudesudesudesudesu"
04:09:59 -!- adu has quit (Quit: adu).
04:18:51 <oren> I don't know why youtube videos only glitch up when you unpause them after having them paused for a long time
04:19:16 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)).
04:21:59 -!- Wallacoloo has left.
04:22:53 -!- password2_ has joined.
04:24:35 -!- password2_ has changed nick to password4.
04:37:15 <Sgeo_> o.O http://www.makeuseof.com/tag/what-happened-on-512k-day/
04:46:13 <tswett> Slightly interesting randomly generated URL: http://www.rsowmroman.com/balonglang/is-monouttical
04:46:29 <tswett> The neural net decided to stick a nick in there.
04:49:16 <oerjan> balonglang, the monouttical language
04:55:49 -!- variable has changed nick to trout.
04:55:57 <tswett> Huh. I asked the neural net to generate the very most likely thing that "00:00:00: <hackEgo> " could be followed by.
04:56:01 <tswett> Not HackEgo, but hackEgo.
04:56:13 <tswett> The subsequent lines consisted entirely of repetitions of this:
04:56:26 <tswett> 18:48:48: <HackEgo> [wiki] [[Talk:Book]] http://esolangs.org/w/index.php?diff=41408&oldid=41442 * Oerjan * (+1) /* See in the state of the states */
04:57:11 <tswett> So the net apparently knows exactly the most likely time, the most likely page, the most likely oldid, and the most likely editor.
04:58:50 <tswett> This is despite the fact that there is, in fact, no page "Talk:Book".
05:01:05 -!- Wright has joined.
05:01:08 <tswett> I asked it for the most likely stuff following "https://". So apparently this exact string is the very most likely URL:
05:01:21 <tswett> https://www.computer.com/states/2000/10/10/the-computer-state-states-one-state-states-one-states-of-complete-states-complete-computer-the-state-states-computer-the-state-state-states-computer-the-state-states-computer-the-state-states-computer-the-state-state-states-one-states-of the statements
05:04:21 -!- lleu has quit (Ping timeout: 264 seconds).
05:05:11 -!- trout has quit (Ping timeout: 246 seconds).
05:21:40 <shachaf> `wisdom
05:21:54 <shachaf> hmph
05:28:12 -!- password4 has quit (Remote host closed the connection).
05:36:03 <oerjan> tswett: it seems very fond of states
05:36:23 <quintopia> oerjan: anything interesting happened lately
05:36:32 <oerjan> nope hth
05:37:09 <oerjan> not within esolangs, anyway
05:37:39 <quintopia> oh. tdh.
05:37:55 <shachaf> oerjan: how was your 4th of july
05:38:05 <quintopia> "just another day"
05:38:05 <oerjan> unamerican
05:38:28 <pikhq> I'm American and my 4th mostly was watching anime.
05:38:32 <quintopia> does norge have a day for fireworks
05:38:40 <oerjan> yes, new year
05:38:51 <oerjan> in fact it's the only day it's legal without permission
05:38:55 <pikhq> Though I did have barbecue for lunch. Delicious, delicious barbecue.
05:38:57 <quintopia> huh
05:38:58 <shachaf> it's pretty strange that some countries don't have an independence day
05:39:11 <quintopia> time to invent another holiday eh
05:39:11 <shachaf> All the countries that I'm a citizen of do.
05:39:23 <oerjan> although trondheim has forbidden it in the city center
05:39:44 <oerjan> hm the uk presumably doesn't
05:39:44 <pikhq> shachaf: Israel, USA?
05:39:51 <shachaf> And Finland.
05:40:00 <pikhq> Oh. Didn't know you had a third one in there.
05:40:01 <pikhq> Fun.
05:40:25 <quintopia> that is impressive
05:40:31 <fowl> im glad its over
05:40:31 <shachaf> Someone has to drive the bus.
05:40:43 <fowl> fireworks terrified my dogs
05:41:06 <quintopia> mine too
05:41:09 <quintopia> but he's dead
05:41:10 <oerjan> also, the week between christmas and new year is the only time ordinary people can legally buy fireworks.
05:41:12 <quintopia> so it was great
05:41:14 <quintopia> super fun
05:41:15 <fowl> :<
05:41:49 <quintopia> oerjan: we can now legally buy them during the three days before the 4th and during the period you just described.
05:42:03 <oerjan> heh so not that different
05:42:26 <quintopia> we get them twice a year. that's twice as awesome!
05:42:52 <quintopia> (we can buy ground fireworks at any time, this rule is for the mortars and artillery)
05:43:43 <oerjan> norway technically has an independence day but it's not really celebrated much.
05:44:07 <pikhq> In the US, it depends on the state (and possibly also the city).
05:44:11 <oerjan> the national day with all the celebration is the constitution day
05:46:04 <quintopia> are there fireworks?
05:46:07 <shachaf> is your constitution good
05:46:47 <oerjan> shachaf: i assume so? they've cleaned it up lately, added more human rights and stuff, and prepared for the separation of church and state in 2017
05:47:08 <oerjan> and it was rather liberal even back in 1814
05:47:08 <pikhq> There's states that ban all fireworks. There's states that sell fireworks year round.
05:48:23 <pikhq> oerjan: Oh, you're actually getting seperation of church and state? That's fabulous.
05:48:24 <oerjan> also, they added parliamentarism, which we've had since 188something but _entirely_ unmentioned.
05:48:26 <shachaf> Oh, pretty recently.
05:48:54 <pikhq> It's a shame that that's nowhere near as common as it should be.
05:49:06 <pikhq> And even more a shame that there's people who want to end it in the US.
05:49:34 <oerjan> pikhq: more or less. the king somehow managed to insist on keeping his requirement to be christian...
05:49:43 <pikhq> :/
05:49:45 <oerjan> but the church becomes self-governing
05:50:14 <pikhq> Though I'm one of those crazy people who doesn't much care for the idea of "a king". :P
05:50:25 <oerjan> he's a pretty nice guy, all considered
05:50:51 <pikhq> It's the concept I'm opposed to, not necessarily any individual monarch.
05:50:54 <shachaf> The king does have to take an oath before Storting.
05:51:29 * oerjan hasn't actually read the new constitution, mind you. and doesn't remember most of the old.
05:51:40 <shachaf> It looks like the current one Storted in 1991.
05:51:53 <oerjan> current what?
05:52:05 <shachaf> King.
05:52:09 <pikhq> Not as though many Americans have read the Constitution either.
05:52:09 <oerjan> oh right
05:52:52 <shachaf> ok maybe that wasn't swatworthy
05:52:56 <shachaf> you can never tell
05:53:40 <oerjan> the left socialists in norway customarily makes a proposal in each parliament to abolish monarchy. it's almost as quaint a custom as the monarchy itself.
05:54:20 <oerjan> because even the left socialists think the king is a nice guy
05:55:12 <oerjan> wait *socialist lefts
05:55:14 <shachaf> oerjan for king of norway
05:55:23 <pikhq> oerjan: The UK has similarly quaint customs. Though, far more... British about them. :)
05:57:39 <oerjan> <shachaf> ok maybe that wasn't swatworthy <-- it was pretty close hth
05:58:05 <shachaf> "Children have the right to respect for their human dignity. They have the right to be heard in questions that concern them, and due weight shall be attached to their views in accordance with their age and development."
05:58:12 <shachaf> does this extend to asking "why?" over and over?
05:58:17 <oerjan> although the way things are going, they're risking dropping out of parliament in the next election.
05:58:30 <shachaf> how much weight is attached to that
05:58:38 <pikhq> e.g. the monarch isn't *allowed* in the House of Commons...
05:59:02 <oerjan> shachaf: you're assuming they get to actually _ask_ the questions.
05:59:11 <pikhq> Which I find kinda funny.
06:01:11 <shachaf> no one thinks the king of finland is a nice guy
06:01:22 <shachaf> norway is way ahead in that respect
06:01:50 <pikhq> Everyone who knows of him things the Emperor of the United States is a nice guy.
06:01:53 <pikhq> *thinks
06:02:13 <oerjan> they should be up to at least Norton 4 by now
06:02:31 <pikhq> I don't think Norton I had heirs.
06:02:44 <shachaf> what a bold statement
06:02:52 <oerjan> not even siblings?
06:03:04 <shachaf> what does it take to get swatted around here?
06:03:09 <oerjan> napoleon 3 wasn't a descendant of 1 either
06:03:36 <oerjan> shachaf: sorry, i don't get it
06:03:51 <shachaf> heirs/bold -> hairs/bald
06:03:55 <shachaf> it is not very good
06:03:57 <pikhq> Yep, he had no heirs.
06:04:20 <pikhq> Which if we go with standard US inheritance law, would mean that the State of California inherited the throne.
06:04:33 <oerjan> shachaf: your pun had to long edit path length hth
06:04:36 <oerjan> *too
06:04:39 <pikhq> And has, presumably, not seen fit to bestow this upon anyone else.
06:05:14 <pikhq> Long live California I, Emperor of the United States and Protector of Mexico!
06:05:54 <shachaf> "NOW THEREFORE, We Norton I, Deo Gratias, do hereby prohibit the Water Commissioners from signing the Spring Valley Water bill under penalty of decapitation until a sounder system shall have been adopted."
06:06:00 <shachaf> p. harsh
06:06:31 <oerjan> oh one of the things they relatively recently changed in the norwegian constitution was to make the monarchy gender-neutral (with a single generation exception). and at the same time they cut off the heritage line so i think only the current king's descendants count now
06:06:47 <pikhq> Huh.
06:07:00 <oerjan> (although hm, there may not have been any others before, because his father had only sisters)
06:07:13 <oerjan> no wait, _he_ had only sisters
06:07:22 <oerjan> and his father was an only child
06:08:23 <pikhq> Huh, some alledge that Norton I was the son of Napoleon III.
06:08:25 <oerjan> (the single generation exception is because the crown prince has an older sister, and they thought it was a bit late to switch)
06:10:15 <oerjan> i recall the swedes didn't bother making an exception which meant Victoria suddenly became crown princess
06:12:17 * Sgeo_ has been reading Scandinavia and the World lately
06:14:01 * oerjan hasn't
06:17:58 * pikhq finds himself failing at sleep
06:18:30 <pikhq> Thank goodness California is 2 hours behind here.
06:20:29 <shachaf> In California, you get to stay up two hours later in the evening.
06:20:42 <shachaf> And then you get to sleep for two hours longer in the morning before you have to wake up.
06:20:51 <shachaf> That's a total of four hours' advantage.
06:20:56 <pikhq> Hah.
06:25:57 <oerjan> shachaf for treasurer of california
06:31:44 -!- J_A_Work has joined.
06:47:35 * Taneb awakes
07:28:25 -!- mauris has joined.
07:35:28 <Sgeo_> Open-source CPUs? http://opencores.org/
07:46:05 -!- sebbu2 has joined.
07:46:39 -!- sebbu2 has quit (Changing host).
07:46:39 -!- sebbu2 has joined.
07:47:16 -!- sebbu has quit (Ping timeout: 244 seconds).
07:49:45 <mroman_> fnord.
07:52:20 -!- x10A94 has joined.
07:52:26 -!- oerjan has quit (Quit: dronf).
08:20:14 <Jafet> If fungot fnords, does tongue drone?
08:20:14 <fungot> Jafet: or are fnord keyboards like that? to test environment? as well
08:22:28 <mroman_> How many fungots do you need to change a lightbulb.
08:22:28 <fungot> mroman_: riastradh, to a search for felleisen in the searchbox...
08:29:35 -!- Patashu has joined.
09:00:49 <fizzie> You can tell I only removed the nicks from comments of the form "nick: xxx" and not "nick, xxx".
09:04:18 -!- sebbu2 has changed nick to sebbu.
09:07:21 -!- FireFly has quit (Ping timeout: 244 seconds).
09:08:49 <Taneb> This morning I made some progress on my IOCCC entry
09:08:52 <Taneb> It now does something
09:10:01 <mroman_> Is that the obfuscation contest?
09:10:35 <Taneb> Yeah
09:18:53 -!- J_A_Work has quit (Quit: J_A_Work).
09:25:32 <lifthrasiir> Taneb: is it open?
09:25:38 <lifthrasiir> or just a pre-entry?
09:25:45 <Taneb> The latter I am afraid
09:25:55 <Taneb> I had the idea during the last contest but I didn't get the chance to write it
09:26:02 <Taneb> Or at least I didn't write it
09:27:48 <mroman_> char*************
09:27:56 <lifthrasiir> I'm lacking any good idea for IOCCC nowadays
09:28:52 -!- J_A_Work has joined.
09:52:36 <mroman_> I'm lacking any good idea in general nowadays
10:06:22 <fowl> ^
10:09:08 <Taneb> I get distracted really easy and end up with a whole bunch of ideas that I never act on
10:09:33 <Taneb> I often wake up and think I've found a proof to P=NP (it normally turns out to be the proof that NP is in EXPTIME)
10:11:27 <fowl> I have already proven that, im looking for a way to monetize it before i publish it
10:11:56 <Taneb> That NP is in EXPTIME?
10:21:17 -!- boily has joined.
10:29:29 <Taneb> Hey, b_jonas
10:29:33 <Taneb> ...boily
10:29:43 <Taneb> Why doesn't my tab complete treat joins as messages?
10:29:50 <Taneb> Hi, b_jonas as well if you are around
10:30:24 <b_jonas> hi
10:30:51 <Taneb> How are you doing, b_jonas ?
10:34:19 <boily> bon mataneb!
10:34:43 <boily> how are y'all by this fine Monday?
10:35:06 <Taneb> Well, I am working from home today
10:35:22 <Taneb> As my supervisor is at a conference in Milan and I don't have a key to the office
10:35:43 <Taneb> But I am not doing great with this work
10:36:15 <Taneb> There are many things I would rather be doing
10:38:53 -!- FireFly has joined.
10:39:08 <Taneb> I do not have a great work ethic :(
10:41:22 <Taneb> How are you boily
10:43:00 -!- Phantom_Hoover has joined.
10:49:58 <boily> still in my waking up phase. just had a bowl of Corn Flakes.
10:58:02 -!- x10A94 has quit (Read error: Connection reset by peer).
11:21:06 -!- boily has quit (Quit: GROOVY CHICKEN).
11:28:29 -!- Frooxius has quit (Quit: *bubbles away*).
11:35:30 -!- x10A94 has joined.
12:19:37 <mroman_> It's hot.
12:19:42 <mroman_> but not as hot as the last few days.
12:26:07 -!- quietello has joined.
12:37:19 <mroman_> fungot: FNORD!
12:37:20 <fungot> mroman_: hm. it seems both return " 11", myself just persuaded i that me is wrong."
12:41:50 -!- sebbu has quit (Ping timeout: 248 seconds).
12:42:45 -!- SopaXT has joined.
12:42:56 -!- sebbu has joined.
12:43:36 -!- sebbu has quit (Changing host).
12:43:36 -!- sebbu has joined.
12:43:39 <mroman_> fungot: You're a sheep.
12:43:39 <fungot> mroman_: i couldn't defined it except with people to whom it appeals, etc
12:44:53 -!- FreeFull has quit (Quit: BBL).
12:52:07 -!- J_A_Work has quit (Quit: J_A_Work).
13:07:11 -!- MDream has changed nick to MDude.
13:24:10 -!- bb010g has quit.
13:26:13 -!- Patashu has quit (Ping timeout: 265 seconds).
13:30:50 <mroman_> Why does Java have dload, iload and whatnot
13:30:54 <mroman_> and CIL only ldloc?
13:31:00 -!- lleu has joined.
13:31:02 <mroman_> *JVM
13:31:04 -!- lleu has quit (Changing host).
13:31:04 -!- lleu has joined.
13:31:46 <mroman_> aload, fload, dload, iload
13:33:04 -!- bb010g has joined.
13:37:07 -!- GeekDude has joined.
13:41:51 -!- `^_^v has joined.
13:42:03 <Jafet> anord, dnord, inord
13:44:26 <fizzie> fungot: If fnord works on FILE *s, does nord work on file descriptors?
13:44:26 <fungot> fizzie: i'd do the kernel in use... i just want to understand it. it seems like he's saying something like good thing ( tm)
13:45:49 <Jafet> Hopefully your kernel uses protected mode.
13:48:19 <fizzie> For a bot to mess with the kernel it's running under, isn't that a bit like doing brain surgery on your own brain?
13:49:43 <mroman_> which is a good thing
13:49:47 <mroman_> that way you'll know if you mess up
13:49:53 -!- atrapado has joined.
13:50:00 <Jafet> It's more like dating your prison warden.
13:50:35 -!- hkgit03 has joined.
13:56:17 <mroman_> and that's a bad thing?
14:04:28 <coppro> I still can't believe that people speedrun puttputt
14:04:39 <coppro> wc
14:07:24 <mroman_> hm.
14:07:25 <mroman_> what's faster
14:07:47 <mroman_> if(a.foo == CONST && b.foo == CONST) or if(a.foo == CONST && a.foo == b.foo)
14:08:06 <mroman_> or if(a.foo == b.foo && a.foo == CONST)
14:10:40 <tswett> Look at the assembly output and see.
14:12:05 <tswett> If that's too much work, the speed difference is probably negligible and you should just use whichever one is easiest to understand.
14:14:01 <coppro> and the compiler will probably optimize them all to sthe same thing anyway
14:14:25 -!- FreeFull has joined.
14:14:37 <coppro> (note that it also depends on the surrounding code and the processor. For instance, if you've just accessed a.foo and b.foo on a RISC processor, it's probably fastest to compare them directly first
14:14:46 <coppro> since they'll still be in registers
14:17:47 <mroman_> it might also depend on the frequency of a.foo being equal to b.foo without being CONST
14:20:35 <coppro> yep
14:21:48 -!- hkgit03 has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
14:22:11 <fizzie> I concur with the "compiler will do what the compiler wants" point, but if you're curious, here's one example of what might happen: http://sprunge.us/ShXH
14:27:31 <Jafet> If a.foo equals CONST and b.foo equals CONST or if a.foo equals CONST and a.foo equals b.foo or if a.foo equals b.foo and a.foo equals CONST
14:29:05 <b_jonas> fungot :If a.foo equals CONST and b.foo equals CONST or if a.foo equals CONST and a.foo equals b.foo or if a.foo equals b.foo and a.foo equals CONST
14:29:05 <fungot> b_jonas: i get an url to the information that's presumably or easily kept there, go right ahead. i don't
14:29:33 <Jafet> fungot knows that cloud computing is the answer.
14:29:33 <fungot> Jafet: i'm on the other
14:35:22 <fizzie> fungot: What, the other cloud?
14:35:22 <fungot> fizzie: because it sucks. they fixed it :(.
14:35:35 <fizzie> Apparently it was better before being fixed.
14:39:48 <tswett> So all three of them use exactly the same set of instructions, all of which always execute.
14:39:58 <tswett> At least with fizzie's compiler.
14:40:07 <tswett> Assuming fizzie actually used a compiler.
14:40:39 <tswett> Maybe ey just wrote the assembly by hand.
14:41:38 <fizzie> FWIW, 'f' is slightly longer, due to one more immediate than the others.
14:42:51 <tswett> My advice would now be: try each one in your code and see what results in your code running most quickly.
14:44:41 <Jafet> Come now, the proper solution is to try all versions in parallel, interleaving the computations fairly and taking the first one (if any) that halts.
14:52:15 -!- supay has joined.
14:58:07 -!- drdanmaku has joined.
15:10:29 -!- ocharles__ has quit.
15:10:46 -!- ocharles_ has joined.
15:10:49 <mroman_> yeah they all compile to pretty much the same
15:10:55 <mroman_> even though in some version gcc -O3 seems to insert a nop
15:13:57 <mroman_> hm.
15:14:54 <mroman_> http://codepad.org/wJpxcuQa
15:21:47 -!- Wright_ has joined.
15:21:47 -!- Wright has quit (Read error: Connection reset by peer).
15:22:17 <fizzie> You even got the good old %eiz register involved.
15:34:57 <tswett> I love how on Stack Exchange sites, you can go look at the worst questions ever asked.
15:38:14 -!- nys has joined.
15:42:30 -!- SopaXT has quit (Ping timeout: 252 seconds).
15:43:07 <tswett> Here's one: http://math.stackexchange.com/questions/1345624/please-write-down-exact-output-after-the-following-statements-are-proceesed
15:46:38 -!- FreeFull has quit.
15:46:43 <myname> 9,9,12,15?
15:48:29 <Jafet> How about searching for the lowest-rated questions with the highest-rated answers?
16:01:33 <HackEgo> [wiki] [[Malbolge]] M http://esolangs.org/w/index.php?diff=43427&oldid=41853 * Pgimeno * (+1) /* External resources */ Update a link
16:04:04 <HackEgo> [wiki] [[Malbolge]] M http://esolangs.org/w/index.php?diff=43428&oldid=43427 * Pgimeno * (+6) /* External resources */ update another link
16:19:45 -!- idris-bot has joined.
16:20:18 -!- shikhin has joined.
16:22:27 -!- shikhin has quit (Client Quit).
16:25:09 -!- shikhin has joined.
16:37:53 -!- password2 has joined.
16:48:02 -!- zemhill__ has quit (*.net *.split).
16:52:33 -!- zemhill__ has joined.
17:05:33 -!- hppavilion1 has joined.
17:05:37 <hppavilion1> Hello
17:10:56 -!- password2 has quit (Ping timeout: 244 seconds).
17:13:25 * hppavilion1 sighs
17:14:26 -!- mauris_ has joined.
17:16:29 -!- mauris has quit (Ping timeout: 255 seconds).
17:18:07 -!- password2 has joined.
17:18:40 -!- password2 has quit (Max SendQ exceeded).
17:19:27 -!- password2 has joined.
17:19:58 -!- password2 has quit (Max SendQ exceeded).
17:20:34 -!- password2 has joined.
17:24:07 -!- password2 has quit (Read error: Connection reset by peer).
17:32:51 -!- hppavilion1 has quit (Quit: Page closed).
17:48:37 -!- shikhin has quit (Quit: leaving).
17:54:17 -!- aretecode has quit (Ping timeout: 255 seconds).
18:00:23 -!- Wallacoloo has joined.
18:03:25 -!- llue has joined.
18:06:44 -!- lleu has quit (Ping timeout: 264 seconds).
18:08:48 -!- aretecode has joined.
18:26:07 -!- macmkboy3 has joined.
18:27:07 -!- mauris_ has changed nick to mauris.
18:28:16 -!- Thisbe has joined.
18:33:10 -!- mihow has joined.
18:34:50 -!- macmkboy3 has quit (Remote host closed the connection).
18:41:28 -!- Vent has joined.
18:43:49 -!- Thisbe has quit (Ping timeout: 252 seconds).
18:44:34 -!- hppavilion9001 has joined.
18:44:40 -!- llue has quit (Read error: Connection reset by peer).
18:44:44 <hppavilion9001> So who's on?
18:45:03 <MDude> I am here.
18:45:05 -!- llue has joined.
18:45:10 <hppavilion9001> Hi
18:45:11 <Slereah> hppavilion9001 : Yes.
18:45:14 <singingboyo> greetings
18:45:14 <Slereah> He is on first.
18:45:29 <singingboyo> What's on second though?
18:45:36 <Wallacoloo> And where does that put me?
18:45:41 <hppavilion9001> 8th
18:47:06 <hppavilion9001> The 8th section of hell, that is
18:47:13 <hppavilion9001> Or circle
18:47:16 <hppavilion9001> Not sure which
18:48:35 -!- Vent has quit (Ping timeout: 244 seconds).
18:50:37 -!- macmkboy has joined.
18:50:51 -!- macmkboy has quit (Remote host closed the connection).
18:53:28 <mauris> hello
18:53:58 <shachaf> `wisdom ooo
18:55:10 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
18:57:43 <shachaf> :'(
19:15:42 <shachaf> `wisdom
19:15:44 <shachaf> Hmm.
19:15:55 <shachaf> Tab completion indicates that HackEgo is in this channel, but I guess not.
19:19:28 <mauris> huh. Are Monads Just: functor thingies where you can collapse the layers in, say, m (m (m (m a))) -> m a , and do so in whichever order you like
19:19:57 <mauris> i guess that would be a semigroup in the category of endofunctors, not a monoid
19:20:12 <shachaf> You have m^n a -> m a
19:20:15 <shachaf> Where n can be 0
19:20:55 <shachaf> I.e. a -> m a, m a -> m a, m (m a) -> m a, m (m (m a)) -> m a, ...
19:21:12 <shachaf> This is pretty close the the "monads are just free monad monad monad algebras" thing.
19:21:18 <shachaf> (But not exactly the same.)
19:22:15 <mauris> gotcha. do you need to say something extra for the "left/right identity" monad laws to hold?
19:22:43 <mauris> maybe i should write out those laws in terms of join and see what shows up (but iirc they are actually most clearly about "left/right identity" if you look at >=>)
19:26:04 <shachaf> Yes, you need more than the associativity law.
19:26:18 <shachaf> Same as a monoid.
19:28:04 <mauris> i wonder if "semigroups in the category of endofunctors" are any cool!
19:29:05 <shachaf> https://hackage.haskell.org/package/semigroupoids-5.0.0.2/docs/Data-Functor-Bind.html
19:30:13 <shachaf> Anyway, class Monad m where retract :: Free m a -> m a
19:30:26 <shachaf> The laws are that retract is a T-algebra.
19:30:32 <shachaf> Or something along those lines.
19:34:48 <mauris> whoa, the associativity law really does become join (g <$> join (f <$> m)) === join (join (g <$> f <$> m)) if you fiddle with it enough!!
19:34:58 -!- mihow has quit (Ping timeout: 252 seconds).
19:35:20 <zzo38> There is many possible way of a monad defining, such as, the monad laws is: The Kleisli category is
19:37:56 <mauris> shachaf: looks like Map is the only nifty thing listed there that isn't a Monad, and that one isn't a Monad only for a sort of silly reason :(
19:38:02 <mauris> (re: Bind)
19:38:35 <zzo38> Any category with more than one object has at least one more monad than the number of final objects it has.
19:38:44 <mauris> imo zzo38 should write a good ol' monad tutorial
19:47:49 <HackEgo> [wiki] [[Brainfuck]] http://esolangs.org/w/index.php?diff=43429&oldid=42809 * 108.236.129.107 * (-11) Removed example of "b****fuck" being used to censor the name because it doesn't censor the offensive part.
19:48:06 -!- Frooxius has joined.
19:48:09 <nys> haha
19:48:12 <myname> looool
19:49:08 <mauris> b****s are gross though, ew
19:50:25 <fowl> Haha
19:53:17 <int-e> uh, what?
19:53:49 <int-e> somebody has no sense of humor
19:54:19 -!- Wallacoloo has left.
19:54:28 <myname> most people don't
19:58:27 -!- FreeFull has joined.
20:08:30 -!- llue has quit (Quit: That's what she said).
20:08:48 -!- lleu has joined.
20:08:48 -!- lleu has quit (Changing host).
20:08:48 -!- lleu has joined.
20:39:25 -!- mihow has joined.
20:43:48 -!- Phantom_Hoover has joined.
20:43:49 -!- Phantom__Hoover has joined.
20:45:23 -!- Phantom_Hoover has quit (Client Quit).
21:01:18 -!- mauris has quit (Ping timeout: 246 seconds).
21:03:05 -!- Patashu has joined.
21:03:40 -!- izabera has changed nick to eliza.
21:03:56 -!- eliza has changed nick to izabera.
21:10:54 -!- `^_^v has quit (Quit: This computer has gone to sleep).
21:14:53 -!- drdanmaku has quit (Quit: Connection closed for inactivity).
21:26:25 -!- x10A94 has quit (Read error: Connection reset by peer).
21:28:26 -!- Wright_ has quit (Ping timeout: 276 seconds).
21:37:04 -!- boily has joined.
21:42:07 -!- Patashu has quit (Ping timeout: 264 seconds).
21:45:25 <boily> @metar CYUL
21:45:27 <lambdabot> CYUL 062100Z 23006KT 15SM FEW050 28/16 A3003 RMK CU1 CU TR SLP170 DENSITY ALT 1500FT
21:45:30 <boily> @metar ENVA
21:45:31 <lambdabot> ENVA 062120Z 29020KT 8000 RA FEW003 SCT009 BKN014 13/12 Q0999 RMK WIND 670FT 30023KT
21:45:53 <boily> @ask oerjan how's summer so far?
21:45:53 <lambdabot> Consider it noted.
21:47:04 <HackEgo> [wiki] [[Brainfuck]] http://esolangs.org/w/index.php?diff=43430&oldid=43429 * Rdebath * (+11) Undo revision 43429 by [[Special:Contributions/108.236.129.107|108.236.129.107]] ([[User talk:108.236.129.107|talk]]) Someone else didn't get the joke.
21:50:44 <zzo38> @metar CYVR
21:50:44 <lambdabot> CYVR 062100Z 14007KT 100V170 8SM BKN038 OVC220 26/12 A2997 RMK FU5SC1CI2 SLP149 DENSITY ALT 1200FT
21:51:08 -!- nys has quit (Ping timeout: 264 seconds).
21:51:12 <boily> FU? first time I've seen that kind of cloud.
21:51:26 <boily> fungot: is it a FUngout cloud?
21:51:26 <fungot> boily: later tell psy-kosh i understand negative temperatures much better since they forbid users to use it
21:51:46 <boily> ah, it's a negative temperature fungot cloud. mystery cleared.
21:51:47 <fungot> boily: ( use srfi-1)") it will all look like functions but use different philosophies
22:03:00 -!- nys has joined.
22:09:12 <MDude> Looks like functions but uses different pilosophies, huh?
22:11:16 -!- Thisbe has joined.
22:14:44 <boily> `relcome Thisbe
22:15:07 <boily> MDudello. this is fungot we're talking about. he thinks on another completely different level.
22:15:08 <fungot> boily: with the original superman actor? i've heard of them before. but with a lot of countries just keep their mouths shut and stop babbling. which would that be
22:17:13 -!- oerjan has joined.
22:17:42 <oerjan> @messages-
22:17:42 <lambdabot> boily asked 31m 49s ago: how's summer so far?
22:18:12 <oerjan> @tell boily variable, but mostly cold.
22:18:13 <lambdabot> Consider it noted.
22:18:32 <oerjan> today it poured down
22:19:44 <boily> @massages-loud
22:19:45 <lambdabot> oerjan said 1m 31s ago: variable, but mostly cold.
22:20:37 -!- Wright has joined.
22:20:45 <boily> `relcome Wright
22:21:17 <shachaf> this channel is suffering from LackEgo
22:21:42 <Wright> Thanks, but I've been here for a while
22:21:49 <oerjan> @tell fizzie HackEgo is in outer space again
22:21:49 <lambdabot> Consider it noted.
22:22:12 <shachaf> Wright you are.
22:22:26 <oerjan> now you just need a Rong.
22:23:33 <boily> oh. hm.
22:23:57 <boily> fungot: can you be an interim HackEgo?
22:23:57 <fungot> boily: ah! i was going insane trying to use the lisppaste bot, visit http://paste.lisp.org/ new/ scheme
22:35:20 -!- hppavilion9001 has quit (Ping timeout: 246 seconds).
22:38:03 -!- atrapado has quit (Quit: Leaving).
22:40:40 -!- boily has quit (Quit: NITRO CHICKEN).
22:51:45 -!- hppavilion1 has joined.
22:51:48 <hppavilion1> So who's on?
22:52:54 <oerjan> and the award for best channel-killing question goes to...
22:53:09 <oerjan> (half killing, channel was pretty dead already)
22:53:12 <oerjan> *kidding
22:53:19 <oerjan> stupid fingers
22:55:01 <zzo38> "FU" seems to mean smoke; there was smoke here yesterday
22:55:59 -!- hppavilion1 has quit (Ping timeout: 246 seconds).
22:57:07 <singingboyo> zzo38: where are you? The west coast up near Vancouver is a mess of smoke right now, air quality warning is at 8/10
22:57:56 * oerjan is pretty sure that's approximately where zzo38 is
22:58:22 <oerjan> normally, anyway
22:58:32 <singingboyo> oerjan: would make sense, I mostly curious whether it's hit Seattle or anywhere else sort of close
22:59:06 <oerjan> i can report that trondheim, norway is remarkably smoke-free, possibly on account of being thoroughly soaked hth
23:00:34 <singingboyo> @metar KSEA
23:00:35 <lambdabot> KSEA 062253Z VRB04KT 10SM FEW040 BKN250 28/12 A2999 RMK AO2 SLP159 T02830122
23:00:56 <singingboyo> well, no FU clouds, if that's actually smoke
23:01:01 <shachaf> @metar KOAK
23:01:02 <lambdabot> KOAK 062253Z 27015KT 10SM SCT200 22/13 A3005 RMK AO2 SLP174 T02220128
23:01:15 <shachaf> @metar KSJC
23:01:15 <lambdabot> KSJC 062253Z 32016G21KT 10SM FEW100 BKN160 24/13 A3003 RMK AO2 SLP168 T02390133 $
23:01:16 <shachaf> hm
23:05:00 <oerjan> @metar ENVA
23:05:01 <lambdabot> ENVA 062250Z 29021KT 8000 RA FEW009 BKN020 13/12 Q0999 RMK WIND 670FT 30023KT
23:05:39 <oerjan> i think 13/12 means it's pretty humid
23:05:46 <zzo38> I am at Delta, here the smoke is cleared up a bit
23:07:14 <singingboyo> zzo38: ah. Can see the outline of the mountains from Burnaby again, so there's that
23:16:01 -!- diplomaticus has joined.
23:22:27 <oerjan> hm present iwc poll presents a problem
23:22:35 <oerjan> should i answer atlantic or pacific
23:23:21 <oerjan> i have, on two occasions, been at beaches on a pacific coast. but they were long ago and i cannot remember if i swam or not.
23:24:56 <oerjan> (they were both as part of the same trip in 1988)
23:25:42 <oerjan> i do, however, clearly remember the horrible sunburn i got.
23:28:21 * oerjan guesses
23:28:58 <shachaf> Which poll?
23:29:57 <oerjan> on the irregular webcomic frontpage...
23:30:25 <shachaf> Oh, I searched the front page with C-f.
23:30:41 <shachaf> drop-downs are scow
23:32:02 <shachaf> 1988 wasn't that long ago on the scale of the pacific ocean hth
23:33:47 <oerjan> also, i'm wondering if dmm's promise to write an annotation on anything you want if you support him at patreon will ever come back to bite him
23:34:16 <oerjan> ($5 minimum)
23:36:31 <shachaf> How do I tell whether HackEgo's in the channel?
23:36:49 <shachaf> Tab completion tells me that it is but seems unreliable.
23:36:55 <shachaf> /names fills the screen up with spam.
23:37:08 <oerjan> yes, it breaks if HackEgo has made a wiki announcement since you joined
23:37:30 <oerjan> it is not, btw
23:38:10 <oerjan> i guess cycling the channel is also spammy
23:38:24 <shachaf> Oh, that's what happened.
23:38:33 <shachaf> thx tdh iwhand
23:38:51 <oerjan> what did you win
23:40:07 <shachaf> a nice day
23:54:52 -!- Phantom__Hoover has quit (Read error: Connection reset by peer).
←2015-07-05 2015-07-06 2015-07-07→ ↑2015 ↑all