00:00:01 <LKoen> not to mention extra pieces for the potential extra maharaja
00:02:16 <LKoen> the other possibility would be to use regular chess pieces, with fèves from the epiphany king's cake for the missing pieces
00:05:10 -!- augur has quit (Quit: Leaving...).
00:06:56 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”).
00:11:01 <int-e> \o/ <-- first slide of the opening ceremony
00:15:52 <oerjan> <hppavilion[1]> Hymn, what are the prime elements <-- the definition of "prime ring" doesn't involve any hth
00:18:23 <oerjan> hppavilion[1]: afaict in a "prime ring" it's the _ideals_ that work as primes, not the elements.
00:18:54 <hppavilion[1]> ...I guess it probably isn't meaningful, now that I think about it
00:19:48 <oerjan> https://en.wikipedia.org/wiki/Prime_element might be more relevant
00:20:45 <oerjan> https://en.wikipedia.org/wiki/Unique_factorization_domain probably
00:21:38 <hppavilion[1]> A <whatever I want to say> is a ring (S, +, ·) where (1) some subset P of S exists where, forall p in P, the only values in the ring satisfying a·b = p are (a = 1, b = p) and (a = p, b = 1) and (2) Using only · and elements in P, it is possible to uniquely specify every element in S up to ordering.
00:22:05 <oerjan> the gaussian integers are listed in the examples
00:24:21 <hppavilion[1]> Oh god, do rings form a group or something meta like that?
00:24:57 <oerjan> well they're a category...
00:25:44 <hppavilion[1]> Are there any things that aren't a category, really?
00:27:06 <hppavilion[1]> oerjan: If there are, they're in the category of non-categories I'm sure
00:27:12 <oerjan> i doubt rings are a group in a useful sense, inverses seem hard. you can trivially get a monoid though: just take the product.
00:28:30 -!- xfix has quit (Ping timeout: 250 seconds).
00:33:09 -!- hppavilion[1] has quit (Ping timeout: 248 seconds).
00:44:22 <oerjan> <Notebook> You lost me. <-- seriously, that "explanation" wouldn't work for anyone who didn't already know the subject.
00:59:00 -!- hppavilion[1] has joined.
01:06:03 -!- kiki` has quit (Quit: Connection closed for inactivity).
01:16:56 <zzo38> It seems that Exim is using "mboxo" format while Heirloom-mailx is using "mboxrd" format. How can I make Exim to also use "mboxrd" format?
01:32:39 <hppavilion[1]> Is there a name for the feature of english dialects where exempli gratia /tɹ/ -> /tʃɹ/?
01:35:30 <zzo38> I have never heard of such a feature
01:50:43 -!- Nithogg has quit (Ping timeout: 260 seconds).
01:53:03 -!- boily has joined.
01:54:03 -!- Nithogg has joined.
01:56:25 <HackEgo> Nithogg: 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 EFnet or DALnet.)
01:58:31 -!- sebbu has quit (Ping timeout: 252 seconds).
01:59:14 <tswett> `learn A monomorphism is just an epimorphism in the opposite category.
01:59:21 <HackEgo> Learned 'monomorphism': A monomorphism is just an epimorphism in the opposite category.
01:59:22 <tswett> `learn An epimorphism is just a monomorphism in the opposite category.
01:59:26 <HackEgo> Learned 'epimorphism': An epimorphism is just a monomorphism in the opposite category.
02:00:05 <boily> I know enough category theory that I know that I know nothing about category theory.
02:16:30 <zgrep> Giant photo of space you can download. http://www.spacetelescope.org/images/heic1502a/
02:22:07 <hppavilion[1]> zgrep: Notice the big dark area. Think there's a black hole there? :D
02:22:33 <hppavilion[1]> There are a lot of blue stars there, so maybe not.
02:26:48 <zgrep> I'm trying to find an app to open the psb image, because I don't have photoshop.
02:27:18 <zgrep> I can't convert it, because I don't have enough space on this laptop to convert it to a different format.
02:36:05 <zgrep> Doesn't open them.
02:40:00 <zgrep> I freed some space by deleting things.
02:40:04 <zgrep> Now I can convert to tif.
02:44:23 <boily> you want to fax the pictures?
02:53:14 -!- oerjan has quit (Quit: ZZZZ).
02:54:45 <tswett> I've been writing up a description of some rules for some formal systems.
02:54:57 <tswett> So far, all of my formal systems kind of suck.
02:55:50 <tswett> The reason for this is that they don't admit any results.
02:56:21 <tswett> They have rules, but so far, all of the rules are impossible to apply, because they have preconditions that can't be satisfied.
03:16:37 <Zarutian> sounds like loan eligabilty ruleset
03:26:07 <int-e> tswett: you can use coinduction to overcome the bootstrap problem (to some extent, tongue in cheek, please don't kill me)
03:49:30 -!- Phantom__Hoover has quit (Read error: Connection reset by peer).
03:57:56 <tswett> There, I've finally created enough rules that it's possible to derive something.
03:58:57 <tswett> You can now prove such amazing and wonderful theorems as this:
04:05:26 <tswett> Here's a more sophisticated thing you can prove.
04:14:54 -!- boily has quit (Quit: VECTOR CHICKEN).
04:18:21 -!- Zarutian has quit (Ping timeout: 246 seconds).
04:20:35 <int-e> tswett: do you have full reflexivity for =?
04:24:43 <Jafet> perhaps that is one of the rules that has “preconditions”
04:44:57 <tswett> int-e: the reflexivity rule says that you can derive "⊢ E = E" for any expression E.
04:46:13 <tswett> Now, I want an associativity rule, of course. I want to say that (h ∘ g) ∘ f = h ∘ (g ∘ f).
04:46:44 <tswett> So here's the question. Should I say that that only works in contexts where f, g, and h actually have the appropriate types?
04:47:14 <tswett> I don't think there's any need for that.
04:47:30 <tswett> I don't think there's any harm in saying that one undefined expression is equal to another... is there?
04:47:50 <tswett> I'll have to find out, I guess.
04:50:58 <Jafet> the standard ML standard doesn't think there's any need for that, either
05:13:02 <tswett> The standard ML standard?
05:13:08 <tswett> Is that the one that defines ML standard ML?
05:15:43 <zzo38> Write a program to convert that picture format into farbfeld format if you know how to do, and we can include in my "Farbfeld Utilities" package.
05:16:46 <zzo38> Even if it is not implemented, you can add the file formats to the list http://zzo38computer.org/fossil/farbfeld.ui/wiki?name=File+formats so that we know what need to be added on
05:20:48 <zzo38> One format that hopefully should be implemented is TIFF/IT format, since few existing programs do as far as I know, so then there will be one.
05:44:29 <hppavilion[1]> If you're in the NSA and are a fan of romantically pairing fictional characters, is one such pairing called a clippership?
06:00:23 <Jafet> tswett: yes, the Definition of Standard ML defines ML standard ML
06:00:37 <Jafet> it's been revised, but not yet revised revised revised revised revised
06:37:33 -!- Sprocklem has quit (Ping timeout: 252 seconds).
06:38:20 -!- hppavilion[0] has joined.
06:41:41 -!- hppavilion[1] has quit (Ping timeout: 248 seconds).
06:54:21 -!- hppavilion[1] has joined.
06:57:12 -!- hppavilion[0] has quit (Ping timeout: 265 seconds).
07:44:17 -!- MoALTz_ has joined.
07:47:17 -!- MoALTz has quit (Ping timeout: 248 seconds).
07:55:15 -!- kiki` has joined.
08:28:41 -!- sebbu has joined.
08:34:18 -!- augur has joined.
08:42:13 -!- hppavilion[1] has quit (Ping timeout: 248 seconds).
09:01:23 <HackEgo> [wiki] [[Special:Log/newusers]] create * Jdevine * New user account
09:04:06 <zzo38> I made this screen capture program http://zzo38computer.org/fossil/farbfeld.ui/raw/ff-xcapture.c?name=0cbd0bf256fea6445b4c2bc744f6035d4e528bd2 Is this the proper way to deal with Colormaps and those stuff in X window?
09:08:06 <zzo38> My program is not as fast as xwd though
09:12:15 -!- xfix has joined.
09:14:06 <zzo38> Maybe XGetPixel makes it slow?
09:15:15 <zzo38> Or maybe not; I have not tested
11:39:42 -!- MoALTz__ has joined.
11:42:29 -!- MoALTz_ has quit (Ping timeout: 248 seconds).
12:18:24 -!- LKoen has joined.
12:24:26 -!- augur has quit (Remote host closed the connection).
12:24:59 -!- augur has joined.
12:29:19 -!- augur has quit (Ping timeout: 258 seconds).
12:53:53 -!- JX7P has joined.
13:10:09 -!- rdococ has quit (Changing host).
13:10:09 -!- rdococ has joined.
13:17:31 -!- LKoen has quit (Remote host closed the connection).
13:18:17 -!- LKoen has joined.
13:25:45 -!- augur has joined.
13:30:28 -!- augur has quit (Ping timeout: 245 seconds).
14:26:32 -!- Phantom_Hoover has joined.
14:41:17 -!- oerjan has joined.
14:48:46 -!- boily has joined.
14:50:57 <int-e> this is disturbing my morning routine :P
14:51:37 <oerjan> int-e: my daily routine assumes xkcd needs to be checked twice hth
14:52:16 <int-e> hmm, wednesday's freefall was good :)
14:52:25 <oerjan> except today my sleeping rhythm was such that i overslept the first, so...
14:52:52 <int-e> yeah but you know that I'll see it on monday
14:53:22 <oerjan> ...you have a routine that involves checking only _some_ of your webcomics, even if they've already updated?
14:53:23 <int-e> (stupid webcomic not letting me bookmark the latest comic... it's really good otherwise)
14:53:55 * int-e is distracted, actually
14:54:27 <int-e> (Playing 33c3-8014-eng-deu-Untrusting_the_CPU_webm-hd.webm)
14:55:17 -!- Lymia has quit (Remote host closed the connection).
14:55:46 <int-e> oerjan: it's funny, but I delay most of my web comic reading on working days until afternoon or evening.
14:55:58 <int-e> though I'm not working today
14:56:07 <int-e> but xkcd I usually check in the morning.
14:56:12 -!- augur has joined.
14:56:26 <oerjan> despite it rarely updating then.
14:57:30 <int-e> I should treat it as a TTS comic.
14:57:34 -!- Lymia has joined.
14:59:08 <oerjan> i suppose my ocpd just works in the opposite direction: i load the last comic, but then obsessively also loads the previous to check i haven't skipped one.
15:00:12 <int-e> Especially for the story oriented comics I really like starting with the latest comic that I've already read.
15:00:43 -!- augur has quit (Ping timeout: 258 seconds).
15:04:13 -!- nycs has joined.
15:08:08 <oerjan> @tell tswett <tswett> I don't think there's any harm in saying that one undefined expression is equal to another... is there? <-- the question is whether you can prove something false about defined stuff by going through undefined intermediates. e.g. if you allow 0/0 = a because the left side is undefined...
15:09:16 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”).
15:11:43 <oerjan> @tell tswett what's more, because your mind is predisposed to ignore options that are not supposed to be used, it's easy to miss cases when convincing yourself your system is consistent in general.
15:15:42 <HackEgo> atrocity//Atrocity is the capital of the Atrocious Empire.
15:15:46 * oerjan is slightly confused by all the people who register on the wiki without making edits, then later turn out not to be spammers.
15:16:32 <oerjan> maybe they're doing it for the skins.
15:19:54 <boily> maybe it's all the people who *could* be writing a BF derivative, but actively aren't.
15:20:53 <int-e> that's a great idea for a New Year's resolution...
15:21:06 <int-e> ...to not make a BF derivative.
15:22:27 <oerjan> except that most new year's resolutions fail, i hear.
15:23:35 <boily> . o O ( how many layers of paint can there be for knocking on wood to remain effective? )
15:23:41 <oerjan> boily: that's unfair, you're privileged with a mapole.
15:24:27 <oerjan> . o o ( is the paint plant-based? )
15:24:34 <int-e> boily: it appears to depend on the thickness of the layers
15:27:18 <int-e> But I guess with layers as thick as mattresses, the effect of knocking will be reduced but not completely vanish at 20 layers, extrapolating from the effect of peas.
15:49:44 <izabera> until you multiply them by the speed of light squared
15:50:12 * boily thwacks izabera. 0.46 FP.
15:54:02 <HackEgo> dc: invalid option -- 'p' \ Usage: dc [OPTION] [file ...] \ -e, --expression=EXPR evaluate expression \ -f, --file=FILE evaluate contents of file \ -h, --help display this help and exit \ -V, --version output version information and exit \ \ Email bug reports to: bug-dc@gnu.org .
15:54:21 <Taneb> `dc -p "[d0!=g]sf[dlr*sr1-lfx]sg1sr10lfxlrp"
15:54:22 <HackEgo> dc: invalid option -- 'p' \ Usage: dc [OPTION] [file ...] \ -e, --expression=EXPR evaluate expression \ -f, --file=FILE evaluate contents of file \ -h, --help display this help and exit \ -V, --version output version information and exit \ \ Email bug reports to: bug-dc@gnu.org .
15:54:25 <Taneb> `dc -e "[d0!=g]sf[dlr*sr1-lfx]sg1sr10lfxlrp"
15:54:26 <HackEgo> dc: dc: '"' (042) unimplemented \ 3628800 \ '"' (042) unimplemented
15:54:35 <Taneb> `dc -e [d0!=g]sf[dlr*sr1-lfx]sg1sr10lfxlrp
15:54:42 <Taneb> I wrote a factorial program!
15:54:51 <Taneb> Also why does my brain want to use the -p flag which does not exist
15:56:07 <oerjan> the good news is it's a pbrain.
15:56:17 <oerjan> the bad news is it's also a bf derivative.
15:56:32 <izabera> oerjan: why is pbrain good news?
15:56:41 <Taneb> izabera, string theory
15:57:06 <oerjan> Taneb: ok, the not quite so bad news.
15:57:07 <izabera> i may be missing something
15:57:45 <oerjan> Taneb may be mispling something.
15:57:51 * boily gives some maple ice cream to izabera
15:58:13 <Taneb> https://en.wikipedia.org/wiki/Brane
16:10:53 <boily> izabera: that thing is dangerous → https://az836796.vo.msecnd.net/media/image/product/fr/medium/0005926302014.jpg
16:25:55 -!- Lord_of_Life has quit (Excess Flood).
16:26:26 -!- Lord_of_Life has joined.
16:26:41 -!- augur has joined.
16:29:47 -!- Zarutian has joined.
16:31:11 -!- augur has quit (Ping timeout: 258 seconds).
16:38:21 * zgrep places a pitcher of milk in-front of izabera
16:43:44 -!- MoALTz__ has changed nick to MoALTz.
17:01:56 -!- Sprocklem has joined.
17:06:03 -!- kiki` has quit (Quit: Connection closed for inactivity).
17:16:07 <HackEgo> hfs//You have discovered an eerie cavern. The air aboe the dark stone floor is alive ith vortices of purple light and dark, boiling clouds. Seemingly bottemless pits mark the surface.
17:16:35 <boily> `slwd hfs//s/aboe/above/
17:16:43 <HackEgo> hfs//You have discovered an eerie cavern. The air above the dark stone floor is alive ith vortices of purple light and dark, boiling clouds. Seemingly bottemless pits mark the surface.
17:16:59 <boily> `slwd hfs//s/\bith/with/
17:17:02 <HackEgo> hfs//You have discovered an eerie cavern. The air above the dark stone floor is alive with vortices of purple light and dark, boiling clouds. Seemingly bottemless pits mark the surface.
17:17:07 <boily> fungot: what's an hfs?
17:17:07 <fungot> boily: can you receive those?
17:17:10 <rdococ> You have discovered a great banana.
17:17:13 <boily> fungot: yes, in bold read.
17:17:13 <fungot> boily: two of a kind of box were you building just the microcode?
17:17:33 <boily> fungot: no, vendors build microcode.
17:17:34 <fungot> boily: elucidation-why is for people with some knowledge of which package depends on these structures and uses their bindings to form its lexical environment.
17:17:55 <zgrep> rdococ: I thought it was merely average.
17:17:58 <boily> rdococ: is it ripe? can you carve a canoe out of it? whence it came from? is the tree great?
17:18:25 <rdococ> Yes to all four questions.
17:20:10 * boily knocks on the banana tree.
17:20:28 <rdococ> The tree asks "Who's there?"
17:21:16 <zgrep> The squirrel replies "Perhaps.".
17:21:30 <oerjan> `slwd hfs//s/bottem/bottom/
17:21:34 <HackEgo> hfs//You have discovered an eerie cavern. The air above the dark stone floor is alive with vortices of purple light and dark, boiling clouds. Seemingly bottomless pits mark the surface.
17:23:13 <HackEgo> You have discovered an eerie cavern. The air above the dark stone floor is alive with vortices of purple light and dark, boiling clouds. Seemingly bottomless pits mark the surface.
17:24:53 -!- Sprocklem has quit (Ping timeout: 260 seconds).
17:27:14 <zgrep> `? `? `? `? `? `? `? `? `? `? `? `? `? `? `? `??????????????????????????????????
17:27:16 <HackEgo> `? `? `? `? `? `? `? `? `? `? `? `? `? `? `??????????????????????????????????? ¯\(°_o)/¯
17:27:58 <rdococ> what about ¯\(°_o)/¯?
17:28:04 <HackEgo> ¯\(°_o)/¯ is a misspelling of ¯\(°_o)/¯
17:28:24 <boily> ha ha! didn't know about that one.
17:28:28 * zgrep . o O ( If ? is wisdow, is ¿ tomfoolery? )
17:28:51 <HackEgo> .lagelli eb dluohs tub ,looc era staC
17:29:32 <HackEgo> C++ is an attempt to improve upon C. The only thing it actually improved was memory management, and it made everything else worse.
17:30:24 -!- oerjan has quit (Quit: Later).
17:30:33 <HackEgo> Your wise @messages-lord fanfic oerjan is a lazy expert in future computation. Also a Glasswegian who dislikes Roald Dahl. He could never remember the word "amortized" so he put it here for convenience; but lately it's the only word he can ever remember. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it.
17:31:37 -!- Taneb has changed nick to nvd.
17:32:15 -!- nvd has changed nick to Taneb.
17:33:42 <HackEgo> I must confess, I know not of what you are speaking.
17:35:58 -!- Lord_of_Life has quit (Excess Flood).
17:38:56 -!- Lord_of_Life has joined.
17:57:08 -!- augur has joined.
17:59:18 <HackEgo> I must confess, I know not of what you are speaking.
17:59:32 <HackEgo> I must confess, I know not of what you are speaking.
18:00:00 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/bin/%3F%3F
18:02:03 -!- augur has quit (Ping timeout: 258 seconds).
18:19:54 -!- Notebook has joined.
18:32:19 * boily got his ass served by a Yeti...
18:33:05 <boily> just lost a game of One Deck Dungeon. I got curbstomped into the floor as thin as a very thin pancake.
18:39:16 -!- Sprocklem has joined.
18:39:31 -!- Sprocklem has quit (Client Quit).
19:17:56 <zzo38> How does that game work?
19:20:55 -!- Lord_of_Life has quit (Excess Flood).
19:23:26 -!- Lord_of_Life has joined.
19:27:46 -!- augur has joined.
19:32:31 -!- augur has quit (Ping timeout: 258 seconds).
19:34:34 -!- copumpkin has quit (Remote host closed the connection).
19:38:34 -!- copumpkin has joined.
19:47:06 -!- sparr has quit (Changing host).
19:47:06 -!- sparr has joined.
20:01:36 -!- izabera has changed nick to tsunderiza.
20:05:17 <zzo38> XGetPixel does not make it slow, it seems.
20:21:28 -!- Notebook has quit (Quit: Connection closed for inactivity).
20:31:57 -!- nycs has quit (Quit: This computer has gone to sleep).
20:38:33 -!- tsunderiza has changed nick to izabera.
21:00:56 -!- augur has joined.
21:03:28 <quintopia> helloily? what is a one deck dungeon?
21:05:18 -!- augur has quit (Ping timeout: 258 seconds).
21:10:42 -!- augur has joined.
21:14:42 <Zarutian> quintopia: a dungeon that has only one sun deck ;-)
21:15:18 <quintopia> oh. well thats still more than the usual zero sun decks.
21:15:37 <alercah> quintopia: one deck dungeon is a roguelike card game
21:43:23 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds).
21:55:49 -!- LKoen has joined.
22:36:26 -!- PinealGlandOptic has joined.
22:47:11 -!- Lord_of_Life has quit (Excess Flood).
22:48:26 -!- Lord_of_Life has joined.
23:08:07 -!- augur has quit (Quit: Leaving...).
23:09:41 -!- Phantom_Hoover has joined.
23:19:39 -!- wob_jonas has joined.
23:21:08 <wob_jonas> I'm reading the rules of the post. It says that since my package is 0.40 m long, I can't post it as a mail domestically, only as a package, but I can post it as a mail abroad. That seems strange at first, until you realize that international mail is so expensive that it costs significantly more than a domestic package, unless it's impossibly ligh
23:32:30 -!- oerjan has joined.
23:33:24 <wob_jonas> At least they do have very specific written rules for everything, if you look enough at their huge mazelike website.
23:45:24 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”).
23:48:43 <FireFly> sounds a lot like our postal service, too
23:48:56 <FireFly> it's also pretty expensive..
23:54:09 <oerjan> <boily> just lost a game of One Deck Dungeon. I got curbstomped into the floor as thin as a very thin pancake. <-- sounds like a crêpy experience.
23:55:04 <oerjan> since when does boily idle