00:12:37 -!- tromp has quit (Remote host closed the connection).
00:13:15 -!- tromp has joined.
00:16:00 -!- FreeFull has quit (Remote host closed the connection).
00:35:10 <zzo38> I have started with the new subscription schema in netsubsc; so far there is a SUBSCRIBERS table and a SUBSCRIBE_USERS table. Later probably should be added BATCH and NOTIFIED tables. What are you thinking of this?
00:36:27 <zzo38> I have made a tag !mtgidea@zzo38computer.org for ideas of new Magic: the Gathering cards and variants; once subscriptions are implemented then I might post messages using that. If you are interested, you can subscribe too
00:43:57 -!- newbie has joined.
00:45:43 -!- newbie19 has joined.
00:45:45 -!- newbie19 has quit (Client Quit).
00:46:53 -!- Essadon has quit (Ping timeout: 268 seconds).
00:48:33 -!- newbie has quit (Ping timeout: 246 seconds).
00:50:32 -!- FreeFull has joined.
01:15:35 <esowiki> [[Talk:???]] https://esolangs.org/w/index.php?diff=58739&oldid=43890 * Only Onion * (+368)
01:31:39 -!- 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.”).
02:32:05 -!- nchambers has quit (Ping timeout: 244 seconds).
02:48:48 -!- nchambers has joined.
03:20:12 -!- b_jonas has quit (Quit: leaving).
03:26:14 -!- Lord_of_Life has quit (Ping timeout: 250 seconds).
03:28:42 -!- Lord_of_Life has joined.
03:54:48 -!- nchambers has quit (Quit: WeeChat 2.2).
04:01:24 -!- shachaf has joined.
04:15:26 <zzo38> Do you like my specification of "xpMC" chunk of PNG files? http://zzo38computer.org/textfile/miscellaneous/xpMC That gives you the ability of XPM palettes in PNG files too.
04:34:42 -!- nchambers has joined.
04:44:32 -!- doesthiswork has joined.
05:13:09 <esowiki> [[High Rise]] https://esolangs.org/w/index.php?diff=58740&oldid=58722 * Ais523 * (+371) /* High Rise languages */ current line of thought: we may be able to avoid interleaving in counter machine implementations when using a geometric sequence + a constant offset
05:25:12 -!- doesthiswork1 has joined.
05:25:13 -!- doesthiswork has quit (Read error: Connection reset by peer).
05:30:29 -!- doesthiswork has joined.
05:30:29 -!- doesthiswork1 has quit (Read error: Connection reset by peer).
05:33:09 -!- doesthiswork1 has joined.
05:33:09 -!- doesthiswork has quit (Read error: Connection reset by peer).
06:01:52 -!- FreeFull has quit.
08:00:02 -!- tromp has quit (Remote host closed the connection).
08:00:14 -!- tromp has joined.
08:05:27 -!- imode has quit (Ping timeout: 240 seconds).
08:10:35 -!- ATMunn has quit (Quit: lol rip).
08:10:45 -!- ATMunn has joined.
08:19:04 -!- nfd9001 has joined.
08:21:32 -!- nfd has joined.
08:23:54 -!- nfd9001 has quit (Ping timeout: 246 seconds).
08:32:22 -!- \x01VERSION\x01 has changed nick to grumble.
09:13:41 <Taneb> This textbook has an exercise that is essentially "Prove Fractran turing complete"
09:15:16 -!- AnotherTest has joined.
09:21:36 <Taneb> (the textbook is Quantum Computation and Quantum Information by Nielsen and Chuang, and it mentions Fractran by name)
10:26:43 -!- arseniiv has joined.
11:48:51 -!- Essadon has joined.
11:49:09 -!- Essadon has quit (Max SendQ exceeded).
11:49:34 -!- Essadon has joined.
11:53:21 -!- S_Gautam has joined.
12:11:03 -!- LKoen has joined.
14:05:08 -!- FreeFull has joined.
14:27:51 -!- b_jonas has joined.
15:25:09 -!- Lord_of_Life_ has joined.
15:28:13 -!- Lord_of_Life has quit (Ping timeout: 250 seconds).
15:28:14 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
16:29:26 -!- oerjan has joined.
16:38:40 <oerjan> my honourable friend fungot, are you a lawyer or a member of the privy council?
16:38:40 <fungot> oerjan: the hon. and learned friend the member for new forest east, gedling, and of many others, to be a shortfall of the ad-hoc way
16:43:37 <b_jonas> wow, a giant eyeball. http://bobadventures.comicgenesis.com/
16:43:45 <b_jonas> `bobadventureslist http://bobadventures.comicgenesis.com/
16:43:46 <HackEso> bobadventureslist http://bobadventures.comicgenesis.com/: b_jonas
16:43:59 <b_jonas> `bobadventureslist http://bobadventures.comicgenesis.com/d/20181215.html
16:44:00 <HackEso> bobadventureslist http://bobadventures.comicgenesis.com/d/20181215.html: b_jonas
16:44:11 <b_jonas> oerjan: it's "my hon. and learned friend"
16:44:31 <b_jonas> ah yes, my hon. and learned friend fungot has just showed you that
16:44:31 <fungot> b_jonas: hon. and hon. and right hon. friends the member for birmingham, yardley, i do, i have a very high number, albeit the most support. labour wishes these opportunities, the countries that we have been to the house of the many hon. government and the board, that the deadline, that only in the la fnord, which commemorates the contribution to the debate,
16:44:44 <oerjan> my right honourable, gallant, learned and reverent friend fungot, what is your correct addressing style?
16:44:44 <fungot> oerjan: our other priority homeless the local services that we have as a member of the eu,
16:50:58 <oerjan> b_jonas: it's a bit more complicated http://news.bbc.co.uk/2/hi/uk_news/politics/82149.stm
17:01:00 <b_jonas> oerjan: http://www.irregularwebcomic.net/1330.html
17:07:19 <oerjan> windows wants a reboot for the third time this month...
17:08:10 <b_jonas> oerjan: hmm, that is informative. but how do you address the whole chamber, such as at the start of a speech?
17:09:11 <oerjan> b_jonas: i dunno, ask fizzie to include some lord speeches hth
17:09:26 <b_jonas> The addressing are simpler in Hungary because the aristocratic titles are generally no longer used
17:09:33 <oerjan> to avoid being caught out by this, i carefully set my "activity period" to cover all the hours i'm awake, which is somewhat awkward with an unstable sleeping rhythm.
17:12:10 <oerjan> in norway, aristocracy was abolished back in the 19th century
17:12:30 <b_jonas> Also since 1989, people usually no longer call each other their comrades or their tovariŝ
17:15:16 <b_jonas> but it is true that politicians do use very different styles when they speak in the parliament versus amongst their party. that becomes very obvious if you hear the speeches of Mr Orbán in both cases
17:17:38 <b_jonas> https://www.youtube.com/watch?v=WVnwfwXnNiQ says that "you can only physically push one of the direction buttons at a time" on the NES controller
17:17:49 <b_jonas> I think you can push two diagonally
17:18:35 <b_jonas> but it's strange that he says that, because obviously he's played the NES a lot and has a controller right in his hand to test
17:22:03 <b_jonas> nah, it's only five volts and not much current
17:22:13 <b_jonas> he didn't disassemble the CRT in that video
17:49:29 <b_jonas> Although he does explain in one video how Commodore 64 power units have an annoying bug where sometimes they start to supply much higher voltage to the motherboard than usual, and that can fry multiple chips on the board before you notice that anything is wrong.
17:58:52 <fizzie> b_jonas: "My Lords, --" is how they always seem to start.
17:59:15 <fizzie> And it's "the noble Lord" when referring to the previous speaker.
18:00:03 <fizzie> Sometimes "my noble friend".
18:02:04 <fizzie> The Commons speeches don't seem to have any formulaic start, at least these days.
18:06:40 <b_jonas> I think in the parliament of Hungary, the formulaic start is or used to be "Tisztelt ház, tisztelt elnök úr, tisztelt miniszterek!" but that could have changed since
18:16:09 <b_jonas> obviously I could check, since most of the parliament stuff is public and available on the internet, but I don't much care
18:35:01 -!- imode has joined.
18:37:33 <imode> so I found a paper that actually diagrams a replacement for set theory using lists.
18:37:47 <imode> https://www.researchgate.net/publication/231884964_An_axiomatic_theory_of_well-orderings
18:38:35 <imode> it pretty much phrases everything I've said here and other places, so I'm a happy lad. the results are nice in that you still have the same expressive power as ZFC but you get a lot of things for free.
19:14:57 -!- LKoen has quit (Remote host closed the connection).
19:20:12 <b_jonas> imode: does it give draft proofs for that, as in, implementing ZFC from that theory and backwards?
19:20:46 <imode> not sure if I can link any sci-hub stuff here but it's in there.
19:21:33 <imode> found it and read it at like 2 AM this morning on my phone lmao.
19:22:29 <b_jonas> good to know that someone worked the details out
19:22:52 <imode> I'm quite happy with it, as I had a lot of the conclusions/work in that paper worked out in a notefile.
19:23:00 <imode> now all I need is a logic!
19:24:02 <b_jonas> I'd like to hear a bit more details. does that book tell about an implementation of the real numbers based on that system?
19:24:22 <b_jonas> and if so, is it the equivalence classes of cauchy sequences of reals?
19:26:27 <b_jonas> imode: why couldn't you link here?
19:27:15 <imode> sci-hub is a method for circumventing paywalls regarding journals, I don't know if that's covered under piracy (I assume it is).
19:27:26 <imode> so I'm playing it safe.
19:27:30 <imode> the paper is behind a paywall.
19:27:32 <b_jonas> imode: yes, but... oh whatever you want
19:27:43 <imode> https://sci-hub.tw/10.1017/S1755020310000390
19:27:47 <b_jonas> anyway, I don't want to read this book now
19:27:52 <b_jonas> so I'm asking you since you've already read it
19:28:51 <imode> they don't cover the reals. their approach is showing an axiom mapping from ZFC to their theory.
19:29:17 <b_jonas> do they at least cover natural numbers?
19:30:15 <imode> seems to be not. they get all the way up through ordered pairs, though. nats are trivially constructable early on in the paper.
19:30:45 <imode> the reasoning path is pretty much "all this stuff is trivially derivable, we're giving justifications for the axioms and showing how you can replace your's with these and get the same results for the hard stuff."
19:31:26 <b_jonas> but it'd be more interesting if they also shown that some things get simpler that way
19:31:37 <b_jonas> while some other things may get uglier of course
20:08:18 <esowiki> [[User:DMC]] M https://esolangs.org/w/index.php?diff=58741&oldid=58512 * DMC * (+6)
20:21:15 -!- AnotherTest has quit (Ping timeout: 252 seconds).
20:23:56 -!- AnotherTest has joined.
21:21:57 -!- S_Gautam has quit (Quit: Connection closed for inactivity).
21:35:11 -!- Phantom_Hoover has joined.
21:35:11 -!- Phantom_Hoover has quit (Changing host).
21:35:11 -!- Phantom_Hoover has joined.
21:35:34 -!- S_Gautam has joined.
21:47:11 <zzo38> Why the ace of money doesn't resembles money it looks like a bird with two heads?
21:53:01 -!- nchambers has quit (Ping timeout: 250 seconds).
21:56:50 -!- ChatMan has joined.
21:57:00 -!- ChatMan has changed nick to ChattingMan.
21:59:35 <b_jonas> Do you mean the ace of coins?
22:02:01 -!- LKoen has joined.
22:03:45 -!- ChattingMan has quit (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.).
22:16:54 <b_jonas> zzo38: well, a lot of coins have a bird on it, and coins in Austria or Germany may even have a two-headed Imperial bird that's supposed to be an eagle
22:17:03 <b_jonas> although it doesn't always look like an eagle
22:17:39 <b_jonas> we have, I think, two common and one rare coin wity a bird on it right now in Hungary, though none of them are two headed
22:18:06 <b_jonas> and then there's all the overused Athena/Athene/owl symbolism everywhere
22:18:30 <b_jonas> too many things are named of Athena, people should really start to use different mythological names
22:22:26 <zzo38> Yes, you can perhaps select different pantheons
22:22:47 <b_jonas> or just different figures from Greek and Roman mythology if you want
22:22:56 <zzo38> Yes, you can do that too
22:53:12 -!- oerjan has quit (Quit: Nite).
23:26:33 -!- AnotherTest has quit (Ping timeout: 268 seconds).
23:37:15 -!- Phantom_Hoover has quit (Remote host closed the connection).
23:37:19 -!- arseniiv has quit (Quit: gone completely :o).
23:38:53 <imode> seems to me that anything that involves graph-based computing pretty much boils down to two methods of graph rewriting: traversals and pattern matching.
23:42:18 <b_jonas> what I'd like to see is some sort of cellular automaton thingy that is on a "grid" background that's in the Euc plane and is isometric if you look at it from far enough
23:44:11 <b_jonas> perhaps you could start from a Voronoi thingy like http://math.bme.hu/~ambrus/pu/randvoronoi.html and then make it more event or something
23:45:27 <b_jonas> or maybe one of those random disk packing things with relaxation where they end up having lots of uneven grid parts