00:00:25 -!- 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:04:11 -!- adu has quit (Ping timeout: 240 seconds). 00:57:50 -!- egelbot has quit (Remote host closed the connection). 01:31:33 -!- Arcorann has joined. 01:31:34 -!- Arcorann has quit (Remote host closed the connection). 01:31:58 -!- Arcorann has joined. 01:51:51 -!- d3m0nm4dn3ss has joined. 01:52:59 Heh, the TLS certificate expiration alert I set up for esolangs.org doesn't have the world's most user-friendly formatting. It's saying the expiration is in "2.587664476999998e+06 seconds". 01:55:47 > 2.587664476999998e+06 / 60 / 60 / 24 01:55:50 29.949820335648127 01:58:30 [[///]] https://esolangs.org/w/index.php?diff=77246&oldid=71201 * YamTokTpaFa * (+128) /* Other implementations */ another implementation 02:38:35 -!- TheRealIceCube has joined. 02:41:00 -!- TheRealIceCube has left. 03:19:31 -!- d3m0nm4dn3ss has quit (Quit: Leaving). 04:15:17 86400~100k seconds a day 04:18:18 fungot: how many days are there in a month? 04:18:18 int-e: trace highlight that way has been done. repeatedly.) all qubits in fnord states have always resolved to 1, and 0 otherwise. now this implementation makes it impossible 04:18:44 fungot: f**** you too 04:18:44 int-e: long double is in c99 so i can fnord 04:53:43 -!- Lord_of_Life_ has joined. 04:54:07 -!- Lord_of_Life has quit (Ping timeout: 246 seconds). 04:55:03 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 06:40:31 [[Talk:,,,]] https://esolangs.org/w/index.php?diff=77247&oldid=77242 * Tetrapyronia * (+397) 06:53:31 [[Deadfish]] https://esolangs.org/w/index.php?diff=77248&oldid=75888 * Cortex * (+6) /* C */ 07:05:48 [[ByteByteFork]] https://esolangs.org/w/index.php?diff=77249&oldid=77243 * Zero * (+3) 07:07:41 [[Squi~~le]] N https://esolangs.org/w/index.php?oldid=77250 * Cortex * (+362) g 07:08:44 -!- imode has quit (Ping timeout: 260 seconds). 07:08:56 [[Squi~~le]] https://esolangs.org/w/index.php?diff=77251&oldid=77250 * Cortex * (+36) woops 08:10:12 -!- hendursa1 has joined. 08:11:43 -!- hendursaga has quit (Ping timeout: 240 seconds). 08:20:52 -!- LKoen has joined. 08:31:49 [[Special:Log/newusers]] create * Reinhardt * New user account 08:36:21 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=77252&oldid=77192 * Reinhardt * (+161) /* Introductions */ 08:37:09 [[User:Reinhardt]] N https://esolangs.org/w/index.php?oldid=77253 * Reinhardt * (+19) Created page with "I'm a set of things" 09:24:59 [[,,,]] https://esolangs.org/w/index.php?diff=77254&oldid=77245 * TwilightSparkle * (+95) Why did you remove that 10:03:10 [[1+/Snippets]] https://esolangs.org/w/index.php?diff=77255&oldid=77233 * TwilightSparkle * (+237) 10:05:15 -!- Sgeo has quit (Read error: Connection reset by peer). 10:28:45 [[1+/Snippets]] https://esolangs.org/w/index.php?diff=77256&oldid=77255 * TwilightSparkle * (-5) /* While loop */ Ha! 10:29:15 -!- arseniiv_ has joined. 10:30:25 [[1+/Snippets]] https://esolangs.org/w/index.php?diff=77257&oldid=77256 * TwilightSparkle * (+10) /* While loop */ 10:47:41 [[1+/Snippets]] https://esolangs.org/w/index.php?diff=77258&oldid=77257 * TwilightSparkle * (+86) /* Operations */ 11:06:25 -!- LKoen has quit (Remote host closed the connection). 11:40:02 hello 12:02:06 -!- TheLie has joined. 12:13:14 [[User talk:Baidicoot]] https://esolangs.org/w/index.php?diff=77259&oldid=72837 * Osmarks * (+103) 13:05:53 -!- atslash has quit (Ping timeout: 246 seconds). 13:06:58 -!- atslash has joined. 13:07:06 [[1+/Programs]] https://esolangs.org/w/index.php?diff=77260&oldid=76637 * TwilightSparkle * (-777) /* CGCC */ The contest ended due to the development of MAWP. 13:12:08 -!- atslash has quit (Ping timeout: 256 seconds). 13:12:56 -!- atslash has joined. 13:22:16 Can you link me to a well-written description of the basics of byzantian generals problem and what we know about it? I was trying to read it from the ed. Iványi book, but that chapter is written in some crazy unreadable style so I can't make heads or tails of it. 13:26:17 * b_jonas looks at https://en.wikipedia.org/wiki/Byzantine_fault 13:32:03 ok, that one has useful links 13:46:29 -!- hendursa1 has quit (Quit: hendursa1). 13:46:47 -!- hendursaga has joined. 13:53:59 [[ByteByteFork]] https://esolangs.org/w/index.php?diff=77261&oldid=77249 * Zero * (+62) 13:54:51 [[ByteByteFork]] https://esolangs.org/w/index.php?diff=77262&oldid=77261 * Zero * (+0) 13:55:48 [[ByteByteFork]] https://esolangs.org/w/index.php?diff=77263&oldid=77262 * Zero * (+24) 13:56:18 [[ByteByteFork]] https://esolangs.org/w/index.php?diff=77264&oldid=77263 * Zero * (+29) 13:56:52 [[ByteByteFork]] https://esolangs.org/w/index.php?diff=77265&oldid=77264 * Zero * (+0) 14:17:30 -!- TheLie has quit (Remote host closed the connection). 14:18:23 -!- hendursaga has quit (Ping timeout: 240 seconds). 14:26:47 -!- LKoen has joined. 14:30:16 [[1+/Snippets]] https://esolangs.org/w/index.php?diff=77266&oldid=77258 * TwilightSparkle * (+167) /* Operations */ 14:54:28 -!- atslash has quit (Read error: Connection reset by peer). 14:55:07 -!- atslash has joined. 15:00:20 -!- Arcorann_ has joined. 15:01:29 [[ByteByteFork]] https://esolangs.org/w/index.php?diff=77267&oldid=77265 * Zero * (+1465) 15:01:31 [[User talk:SunnyMoon]] https://esolangs.org/w/index.php?diff=77268&oldid=76996 * TwilightSparkle * (+125) 15:03:44 [[ByteByteFork]] https://esolangs.org/w/index.php?diff=77269&oldid=77267 * Zero * (+0) 15:03:47 -!- Arcorann has quit (Ping timeout: 240 seconds). 15:34:14 -!- adu has joined. 15:42:18 -!- TheLie has joined. 15:43:16 -!- Arcorann_ has quit (Quit: Leaving). 15:43:55 -!- Arcorann has joined. 15:49:55 -!- adu has quit (Quit: adu). 15:53:23 -!- Arcorann has quit (Ping timeout: 240 seconds). 15:55:57 -!- diverger has quit (Ping timeout: 265 seconds). 15:57:36 -!- diverger has joined. 16:05:02 -!- hendursaga has joined. 16:24:33 -!- adu has joined. 16:39:25 -!- TheLie has quit (Remote host closed the connection). 16:53:07 -!- Lord_of_Life_ has joined. 16:56:02 -!- Lord_of_Life has quit (Ping timeout: 264 seconds). 16:56:02 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 16:58:46 I think there is an affine space of dimension −1, contrary to linear spaces 16:58:53 -!- arseniiv_ has changed nick to arseniiv. 16:59:22 what? dimension -1? what would that even mean? what kind of dimension? 17:01:24 -!- Sgeo has joined. 17:01:36 I came to this while considering a function F from Set to Aff_K which maps a set X to a free affine space (over K) which has points {F(x), x ∈ X} as a maximal independent subset 17:02:09 so F({x1, …, xn}) gives an (n−1)-dimensional affine space 17:03:45 and we can take F(∅) and get an empty affine space, I think. And thus it should have dimension −1 17:04:17 (F({∗}) gives us a single point as a space) 17:07:12 we can obtain something in this vein obtaining an affine space one dimension lower as a level set of some linear form. Going from one-dimensional space, we get a point, and going from zero-dimensional one, we get an empty set 17:07:30 my wording today is awful 17:09:31 we should have the same for projective spaces too. In which case it should look pretty natural 17:10:02 [[User talk:SunnyMoon]] https://esolangs.org/w/index.php?diff=77270&oldid=77268 * SunnyMoon * (+215) SCHOOL! 17:10:56 BTW are there arguments for deg (zero polynomial) being −1 vs. −∞? Is it pretty natural to define it as −1? I saw −∞ a couple of times but but 17:12:19 arseniiv: deg(0) = deg(x*0) = deg(x)+deg(0) 17:12:35 doesn't work for -1, works reasonably well for -oo. 17:13:10 you could also argue for +oo by counting roots ;) 17:13:39 but maybe you want to preserve something like deg(p) != deg(q) ==> deg(p+q) = max(deg(p), deg(q)). 17:14:46 otoh, p | q ==> deg(p) <= deg(q) doesn't work for -oo. 17:15:09 int-e: thanks 17:17:08 regarding divisibility in N, I joke that 0 is infinite, as it should equal 2^∞ 3^∞ 5^∞ … 17:17:55 what about the p-adics? 17:29:48 divisibility is boring in fields 17:55:51 -!- adu has quit (Quit: adu). 18:04:25 -!- imode has joined. 18:05:10 yeah 18:05:46 int-e: rain1: though one can consider p-adic *integers*, not all of them? 18:05:59 -!- hendursa1 has joined. 18:09:03 -!- hendursaga has quit (Ping timeout: 240 seconds). 18:26:20 arseniiv: Hmm. Well, then all numbers not divisible by p are units (invertible), so it all boils down to the number of trailing zeros. But okay, it's more interesting than the field. 18:28:36 at least a bit! 18:35:00 [[User talk:SunnyMoon]] M https://esolangs.org/w/index.php?diff=77271&oldid=77270 * SunnyMoon * (+90) OH NO! 18:51:07 -!- nfd9001 has joined. 19:07:25 -!- nfd9001 has quit (Quit: Leaving). 19:18:47 [[Asm2bf]] M https://esolangs.org/w/index.php?diff=77272&oldid=76623 * Palaiologos * (-13) update deadlinks 20:50:52 When you give an SMT solver an arbitrary boolean expression -- without any theories, just boolean variables -- what does it do with it? 20:51:45 Is there some sort of Tseytin transformation, or is it something else? 21:01:38 -!- adu has joined. 21:06:14 SAT solver or SMT solver? 21:06:23 SMT. 21:06:35 SAT solvers presumably just take CNF and let other people worry about this. 21:06:47 But SMT solvers that I've seen tend to take arbitrary boolean expressions. 21:47:41 Dunno. In a SAT solver I think of unbound variable as existentially quantified. So possibly it's the same with SMT solvers? 21:47:48 *+s 21:48:24 -!- arseniiv has quit (Ping timeout: 260 seconds). 21:58:22 I don't mean quantification, that's the same (unless you have a solver with quantifiers). 21:58:37 I just mean boolean expressions like a && (b || !(c || d)) etc. 22:07:08 shachaf: I think you can convert those to an ordinary CNF expression by introducing temporaries for all those subexpressions 22:07:40 by temporaries I mean new variables that aren't in your expression but that will be in the CNF expression that you feed to the SAT solver 22:08:01 but maybe I just don't understand how all this SAT-solver business works 22:09:06 Yes. I'm wondering whether this is what SMT solvers are actually doing. 22:24:26 -!- adu has quit (Quit: adu). 23:13:01 -!- Arcorann has joined. 23:38:02 -!- 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:45:24 ok bug report for the mornington crescent article: king's cross is in the syntax section but not the actual language specs 23:47:17 There's a platform 0 at the King's Cross station [*1], it's a true programmer's station. [*1] The National Rail part, not the Tube. 23:47:52 oh, I see. it's not special, but it's a station. cool