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 <fizzie> 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 <shachaf> > 2.587664476999998e+06 / 60 / 60 / 24
01:58:30 <esowiki> [[///]] 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 <int-e> 86400~100k seconds a day
04:18:18 <int-e> fungot: how many days are there in a month?
04:18:18 <fungot> 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 <int-e> fungot: f**** you too
04:18:44 <fungot> 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 <esowiki> [[Talk:,,,]] https://esolangs.org/w/index.php?diff=77247&oldid=77242 * Tetrapyronia * (+397)
06:53:31 <esowiki> [[Deadfish]] https://esolangs.org/w/index.php?diff=77248&oldid=75888 * Cortex * (+6) /* C */
07:05:48 <esowiki> [[ByteByteFork]] https://esolangs.org/w/index.php?diff=77249&oldid=77243 * Zero * (+3)
07:07:41 <esowiki> [[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 <esowiki> [[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 <esowiki> [[Special:Log/newusers]] create * Reinhardt * New user account
08:36:21 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=77252&oldid=77192 * Reinhardt * (+161) /* Introductions */
08:37:09 <esowiki> [[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 <esowiki> [[,,,]] https://esolangs.org/w/index.php?diff=77254&oldid=77245 * TwilightSparkle * (+95) Why did you remove that
10:03:10 <esowiki> [[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 <esowiki> [[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 <esowiki> [[1+/Snippets]] https://esolangs.org/w/index.php?diff=77257&oldid=77256 * TwilightSparkle * (+10) /* While loop */
10:47:41 <esowiki> [[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).
12:02:06 -!- TheLie has joined.
12:13:14 <esowiki> [[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 <esowiki> [[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 <b_jonas> 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 <b_jonas> ok, that one has useful links
13:46:29 -!- hendursa1 has quit (Quit: hendursa1).
13:46:47 -!- hendursaga has joined.
13:53:59 <esowiki> [[ByteByteFork]] https://esolangs.org/w/index.php?diff=77261&oldid=77249 * Zero * (+62)
13:54:51 <esowiki> [[ByteByteFork]] https://esolangs.org/w/index.php?diff=77262&oldid=77261 * Zero * (+0)
13:55:48 <esowiki> [[ByteByteFork]] https://esolangs.org/w/index.php?diff=77263&oldid=77262 * Zero * (+24)
13:56:18 <esowiki> [[ByteByteFork]] https://esolangs.org/w/index.php?diff=77264&oldid=77263 * Zero * (+29)
13:56:52 <esowiki> [[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 <esowiki> [[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 <esowiki> [[ByteByteFork]] https://esolangs.org/w/index.php?diff=77267&oldid=77265 * Zero * (+1465)
15:01:31 <esowiki> [[User talk:SunnyMoon]] https://esolangs.org/w/index.php?diff=77268&oldid=76996 * TwilightSparkle * (+125)
15:03:44 <esowiki> [[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 <arseniiv_> 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 <b_jonas> what? dimension -1? what would that even mean? what kind of dimension?
17:01:24 -!- Sgeo has joined.
17:01:36 <arseniiv> 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 <arseniiv> so F({x1, …, xn}) gives an (n−1)-dimensional affine space
17:03:45 <arseniiv> and we can take F(∅) and get an empty affine space, I think. And thus it should have dimension −1
17:04:17 <arseniiv> (F({∗}) gives us a single point as a space)
17:07:12 <arseniiv> 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:09:31 <arseniiv> we should have the same for projective spaces too. In which case it should look pretty natural
17:10:02 <esowiki> [[User talk:SunnyMoon]] https://esolangs.org/w/index.php?diff=77270&oldid=77268 * SunnyMoon * (+215) SCHOOL!
17:10:56 <arseniiv> 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 <int-e> arseniiv: deg(0) = deg(x*0) = deg(x)+deg(0)
17:12:35 <int-e> doesn't work for -1, works reasonably well for -oo.
17:13:10 <int-e> you could also argue for +oo by counting roots ;)
17:13:39 <int-e> but maybe you want to preserve something like deg(p) != deg(q) ==> deg(p+q) = max(deg(p), deg(q)).
17:14:46 <int-e> otoh, p | q ==> deg(p) <= deg(q) doesn't work for -oo.
17:17:08 <arseniiv> regarding divisibility in N, I joke that 0 is infinite, as it should equal 2^∞ 3^∞ 5^∞ …
17:17:55 <rain1> what about the p-adics?
17:29:48 <int-e> divisibility is boring in fields
17:55:51 -!- adu has quit (Quit: adu).
18:04:25 -!- imode has joined.
18:05:46 <arseniiv> 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 <int-e> 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:35:00 <esowiki> [[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 <esowiki> [[Asm2bf]] M https://esolangs.org/w/index.php?diff=77272&oldid=76623 * Palaiologos * (-13) update deadlinks
20:50:52 <shachaf> 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 <shachaf> Is there some sort of Tseytin transformation, or is it something else?
21:01:38 -!- adu has joined.
21:06:35 <shachaf> SAT solvers presumably just take CNF and let other people worry about this.
21:06:47 <shachaf> But SMT solvers that I've seen tend to take arbitrary boolean expressions.
21:47:41 <spruit11> Dunno. In a SAT solver I think of unbound variable as existentially quantified. So possibly it's the same with SMT solvers?
21:48:24 -!- arseniiv has quit (Ping timeout: 260 seconds).
21:58:22 <shachaf> I don't mean quantification, that's the same (unless you have a solver with quantifiers).
21:58:37 <shachaf> I just mean boolean expressions like a && (b || !(c || d)) etc.
22:07:08 <b_jonas> shachaf: I think you can convert those to an ordinary CNF expression by introducing temporaries for all those subexpressions
22:07:40 <b_jonas> 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 <b_jonas> but maybe I just don't understand how all this SAT-solver business works
22:09:06 <shachaf> 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 <Hooloovo0> 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 <fizzie> 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 <Hooloovo0> oh, I see. it's not special, but it's a station. cool