< 1599264025 642148 :LKoen!~LKoen@81.255.219.130 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.” < 1599264251 587563 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Ping timeout: 240 seconds < 1599267470 111487 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net QUIT :Remote host closed the connection < 1599269493 40982 :Arcorann!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net JOIN :#esoteric < 1599269494 540180 :Arcorann!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net QUIT :Remote host closed the connection < 1599269518 674761 :Arcorann!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net JOIN :#esoteric < 1599270711 497155 :d3m0nm4dn3ss!~matthew@199.58.81.144 JOIN :#esoteric < 1599270779 430400 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :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". < 1599270947 726119 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> 2.587664476999998e+06 / 60 / 60 / 24 < 1599270950 521962 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 29.949820335648127 > 1599271110 171159 PRIVMSG #esoteric :14[[07///14]]4 10 02https://esolangs.org/w/index.php?diff=77246&oldid=71201 5* 03YamTokTpaFa 5* (+128) 10/* Other implementations */ another implementation < 1599273515 181538 :TheRealIceCube!~user@107.88.176.93 JOIN :#esoteric < 1599273660 673349 :TheRealIceCube!~user@107.88.176.93 PART :#esoteric < 1599275971 131210 :d3m0nm4dn3ss!~matthew@199.58.81.144 QUIT :Quit: Leaving < 1599279317 240292 :int-e!~noone@int-e.eu PRIVMSG #esoteric :86400~100k seconds a day < 1599279498 613527 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: how many days are there in a month? < 1599279498 915714 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :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 < 1599279524 412776 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: f**** you too < 1599279524 556551 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: long double is in c99 so i can fnord < 1599281623 305 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1599281647 992918 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 246 seconds < 1599281703 743575 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life > 1599288031 323661 PRIVMSG #esoteric :14[[07Talk:,,,14]]4 10 02https://esolangs.org/w/index.php?diff=77247&oldid=77242 5* 03Tetrapyronia 5* (+397) 10 > 1599288811 373008 PRIVMSG #esoteric :14[[07Deadfish14]]4 10 02https://esolangs.org/w/index.php?diff=77248&oldid=75888 5* 03Cortex 5* (+6) 10/* C */ > 1599289548 606914 PRIVMSG #esoteric :14[[07ByteByteFork14]]4 10 02https://esolangs.org/w/index.php?diff=77249&oldid=77243 5* 03Zero 5* (+3) 10 > 1599289661 802745 PRIVMSG #esoteric :14[[07Squi~~le14]]4 N10 02https://esolangs.org/w/index.php?oldid=77250 5* 03Cortex 5* (+362) 10g < 1599289724 45541 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 260 seconds > 1599289736 286620 PRIVMSG #esoteric :14[[07Squi~~le14]]4 10 02https://esolangs.org/w/index.php?diff=77251&oldid=77250 5* 03Cortex 5* (+36) 10woops < 1599293412 620948 :hendursa1!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric < 1599293503 907427 :hendursaga!~weechat@gateway/tor-sasl/hendursaga QUIT :Ping timeout: 240 seconds < 1599294052 826116 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric > 1599294709 500494 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Reinhardt 5* 10New user account > 1599294981 51137 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=77252&oldid=77192 5* 03Reinhardt 5* (+161) 10/* Introductions */ > 1599295029 373542 PRIVMSG #esoteric :14[[07User:Reinhardt14]]4 N10 02https://esolangs.org/w/index.php?oldid=77253 5* 03Reinhardt 5* (+19) 10Created page with "I'm a set of things" > 1599297899 499962 PRIVMSG #esoteric :14[[07,,,14]]4 10 02https://esolangs.org/w/index.php?diff=77254&oldid=77245 5* 03TwilightSparkle 5* (+95) 10Why did you remove that > 1599300190 938170 PRIVMSG #esoteric :14[[071+/Snippets14]]4 10 02https://esolangs.org/w/index.php?diff=77255&oldid=77233 5* 03TwilightSparkle 5* (+237) 10 < 1599300315 557467 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Read error: Connection reset by peer > 1599301725 10054 PRIVMSG #esoteric :14[[071+/Snippets14]]4 10 02https://esolangs.org/w/index.php?diff=77256&oldid=77255 5* 03TwilightSparkle 5* (-5) 10/* While loop */ Ha! < 1599301755 990406 :arseniiv_!~arseniiv@94.41.10.181.dynamic.ufanet.ru JOIN :#esoteric > 1599301825 80992 PRIVMSG #esoteric :14[[071+/Snippets14]]4 10 02https://esolangs.org/w/index.php?diff=77257&oldid=77256 5* 03TwilightSparkle 5* (+10) 10/* While loop */ > 1599302861 255420 PRIVMSG #esoteric :14[[071+/Snippets14]]4 10 02https://esolangs.org/w/index.php?diff=77258&oldid=77257 5* 03TwilightSparkle 5* (+86) 10/* Operations */ < 1599303985 298614 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1599306002 394636 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :hello < 1599307326 596334 :TheLie!~TheLie@business-24-134-17-157.pool2.vodafone-ip.de JOIN :#esoteric > 1599307994 574623 PRIVMSG #esoteric :14[[07User talk:Baidicoot14]]4 10 02https://esolangs.org/w/index.php?diff=77259&oldid=72837 5* 03Osmarks 5* (+103) 10 < 1599311153 50682 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Ping timeout: 246 seconds < 1599311218 101805 :atslash!~atslash@46.188.0.82 JOIN :#esoteric > 1599311226 920915 PRIVMSG #esoteric :14[[071+/Programs14]]4 10 02https://esolangs.org/w/index.php?diff=77260&oldid=76637 5* 03TwilightSparkle 5* (-777) 10/* CGCC */ The contest ended due to the development of MAWP. < 1599311528 193029 :atslash!~atslash@46.188.0.82 QUIT :Ping timeout: 256 seconds < 1599311576 130484 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1599312136 268250 :b_jonas!~x@catv-176-63-11-126.catv.broadband.hu PRIVMSG #esoteric :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. < 1599312377 273192 :b_jonas!~x@catv-176-63-11-126.catv.broadband.hu PRIVMSG #esoteric :ACTION looks at https://en.wikipedia.org/wiki/Byzantine_fault < 1599312723 855661 :b_jonas!~x@catv-176-63-11-126.catv.broadband.hu PRIVMSG #esoteric :ok, that one has useful links < 1599313589 68484 :hendursa1!~weechat@gateway/tor-sasl/hendursaga QUIT :Quit: hendursa1 < 1599313607 913519 :hendursaga!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric > 1599314039 55244 PRIVMSG #esoteric :14[[07ByteByteFork14]]4 10 02https://esolangs.org/w/index.php?diff=77261&oldid=77249 5* 03Zero 5* (+62) 10 > 1599314091 591886 PRIVMSG #esoteric :14[[07ByteByteFork14]]4 10 02https://esolangs.org/w/index.php?diff=77262&oldid=77261 5* 03Zero 5* (+0) 10 > 1599314148 58161 PRIVMSG #esoteric :14[[07ByteByteFork14]]4 10 02https://esolangs.org/w/index.php?diff=77263&oldid=77262 5* 03Zero 5* (+24) 10 > 1599314178 172255 PRIVMSG #esoteric :14[[07ByteByteFork14]]4 10 02https://esolangs.org/w/index.php?diff=77264&oldid=77263 5* 03Zero 5* (+29) 10 > 1599314212 426670 PRIVMSG #esoteric :14[[07ByteByteFork14]]4 10 02https://esolangs.org/w/index.php?diff=77265&oldid=77264 5* 03Zero 5* (+0) 10 < 1599315450 899692 :TheLie!~TheLie@business-24-134-17-157.pool2.vodafone-ip.de QUIT :Remote host closed the connection < 1599315503 818294 :hendursaga!~weechat@gateway/tor-sasl/hendursaga QUIT :Ping timeout: 240 seconds < 1599316007 789166 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric > 1599316216 615494 PRIVMSG #esoteric :14[[071+/Snippets14]]4 10 02https://esolangs.org/w/index.php?diff=77266&oldid=77258 5* 03TwilightSparkle 5* (+167) 10/* Operations */ < 1599317668 374596 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Read error: Connection reset by peer < 1599317707 956878 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1599318020 935686 :Arcorann_!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net JOIN :#esoteric > 1599318089 503289 PRIVMSG #esoteric :14[[07ByteByteFork14]]4 10 02https://esolangs.org/w/index.php?diff=77267&oldid=77265 5* 03Zero 5* (+1465) 10 > 1599318091 47644 PRIVMSG #esoteric :14[[07User talk:SunnyMoon14]]4 10 02https://esolangs.org/w/index.php?diff=77268&oldid=76996 5* 03TwilightSparkle 5* (+125) 10 > 1599318224 946888 PRIVMSG #esoteric :14[[07ByteByteFork14]]4 10 02https://esolangs.org/w/index.php?diff=77269&oldid=77267 5* 03Zero 5* (+0) 10 < 1599318227 696236 :Arcorann!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net QUIT :Ping timeout: 240 seconds < 1599320054 326480 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric < 1599320538 315816 :TheLie!~TheLie@business-24-134-17-157.pool2.vodafone-ip.de JOIN :#esoteric < 1599320596 653453 :Arcorann_!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net QUIT :Quit: Leaving < 1599320635 681278 :Arcorann!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net JOIN :#esoteric < 1599320995 978246 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu < 1599321203 790220 :Arcorann!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net QUIT :Ping timeout: 240 seconds < 1599321357 185837 :diverger!~div@31.171.152.196 QUIT :Ping timeout: 265 seconds < 1599321456 61486 :diverger!~div@178-175-128-238.static.as43289.net JOIN :#esoteric < 1599321902 429377 :hendursaga!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric < 1599323073 6721 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric < 1599323965 960466 :TheLie!~TheLie@business-24-134-17-157.pool2.vodafone-ip.de QUIT :Remote host closed the connection < 1599324787 808478 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1599324962 24544 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 264 seconds < 1599324962 682694 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1599325126 930939 :arseniiv_!~arseniiv@94.41.10.181.dynamic.ufanet.ru PRIVMSG #esoteric :I think there is an affine space of dimension −1, contrary to linear spaces < 1599325133 44070 :arseniiv_!~arseniiv@94.41.10.181.dynamic.ufanet.ru NICK :arseniiv < 1599325162 565393 :b_jonas!~x@catv-176-63-11-126.catv.broadband.hu PRIVMSG #esoteric :what? dimension -1? what would that even mean? what kind of dimension? < 1599325284 676904 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric < 1599325296 2387 :arseniiv!~arseniiv@94.41.10.181.dynamic.ufanet.ru PRIVMSG #esoteric :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 < 1599325329 779587 :arseniiv!~arseniiv@94.41.10.181.dynamic.ufanet.ru PRIVMSG #esoteric :so F({x1, …, xn}) gives an (n−1)-dimensional affine space < 1599325425 554410 :arseniiv!~arseniiv@94.41.10.181.dynamic.ufanet.ru PRIVMSG #esoteric :and we can take F(∅) and get an empty affine space, I think. And thus it should have dimension −1 < 1599325457 495517 :arseniiv!~arseniiv@94.41.10.181.dynamic.ufanet.ru PRIVMSG #esoteric :(F({∗}) gives us a single point as a space) < 1599325632 740340 :arseniiv!~arseniiv@94.41.10.181.dynamic.ufanet.ru PRIVMSG #esoteric :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 < 1599325650 263435 :arseniiv!~arseniiv@94.41.10.181.dynamic.ufanet.ru PRIVMSG #esoteric :my wording today is awful < 1599325771 749520 :arseniiv!~arseniiv@94.41.10.181.dynamic.ufanet.ru PRIVMSG #esoteric :we should have the same for projective spaces too. In which case it should look pretty natural > 1599325802 737821 PRIVMSG #esoteric :14[[07User talk:SunnyMoon14]]4 10 02https://esolangs.org/w/index.php?diff=77270&oldid=77268 5* 03SunnyMoon 5* (+215) 10SCHOOL! < 1599325856 957025 :arseniiv!~arseniiv@94.41.10.181.dynamic.ufanet.ru PRIVMSG #esoteric :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 < 1599325939 586896 :int-e!~noone@int-e.eu PRIVMSG #esoteric :arseniiv: deg(0) = deg(x*0) = deg(x)+deg(0) < 1599325955 261786 :int-e!~noone@int-e.eu PRIVMSG #esoteric :doesn't work for -1, works reasonably well for -oo. < 1599325990 71876 :int-e!~noone@int-e.eu PRIVMSG #esoteric :you could also argue for +oo by counting roots ;) < 1599326019 467158 :int-e!~noone@int-e.eu PRIVMSG #esoteric :but maybe you want to preserve something like deg(p) != deg(q) ==> deg(p+q) = max(deg(p), deg(q)). < 1599326086 647302 :int-e!~noone@int-e.eu PRIVMSG #esoteric :otoh, p | q ==> deg(p) <= deg(q) doesn't work for -oo. < 1599326109 800086 :arseniiv!~arseniiv@94.41.10.181.dynamic.ufanet.ru PRIVMSG #esoteric :int-e: thanks < 1599326228 256113 :arseniiv!~arseniiv@94.41.10.181.dynamic.ufanet.ru PRIVMSG #esoteric :regarding divisibility in N, I joke that 0 is infinite, as it should equal 2^∞ 3^∞ 5^∞ … < 1599326275 991670 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :what about the p-adics? < 1599326988 777412 :int-e!~noone@int-e.eu PRIVMSG #esoteric :divisibility is boring in fields < 1599328551 290094 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu < 1599329065 990864 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1599329110 357563 :arseniiv!~arseniiv@94.41.10.181.dynamic.ufanet.ru PRIVMSG #esoteric :yeah < 1599329146 793907 :arseniiv!~arseniiv@94.41.10.181.dynamic.ufanet.ru PRIVMSG #esoteric :int-e: rain1: though one can consider p-adic *integers*, not all of them? < 1599329159 439098 :hendursa1!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric < 1599329343 897987 :hendursaga!~weechat@gateway/tor-sasl/hendursaga QUIT :Ping timeout: 240 seconds < 1599330380 90241 :int-e!~noone@int-e.eu PRIVMSG #esoteric :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. < 1599330516 738756 :arseniiv!~arseniiv@94.41.10.181.dynamic.ufanet.ru PRIVMSG #esoteric :at least a bit! > 1599330900 177250 PRIVMSG #esoteric :14[[07User talk:SunnyMoon14]]4 M10 02https://esolangs.org/w/index.php?diff=77271&oldid=77270 5* 03SunnyMoon 5* (+90) 10OH NO! < 1599331867 966605 :nfd9001!~nfd9001@c-67-183-38-33.hsd1.wa.comcast.net JOIN :#esoteric < 1599332845 508124 :nfd9001!~nfd9001@c-67-183-38-33.hsd1.wa.comcast.net QUIT :Quit: Leaving > 1599333527 1842 PRIVMSG #esoteric :14[[07Asm2bf14]]4 M10 02https://esolangs.org/w/index.php?diff=77272&oldid=76623 5* 03Palaiologos 5* (-13) 10update deadlinks < 1599339052 374719 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :When you give an SMT solver an arbitrary boolean expression -- without any theories, just boolean variables -- what does it do with it? < 1599339105 48106 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is there some sort of Tseytin transformation, or is it something else? < 1599339698 299444 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric < 1599339974 500954 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :SAT solver or SMT solver? < 1599339983 937225 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :SMT. < 1599339995 857805 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :SAT solvers presumably just take CNF and let other people worry about this. < 1599340007 752162 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But SMT solvers that I've seen tend to take arbitrary boolean expressions. < 1599342461 439073 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Dunno. In a SAT solver I think of unbound variable as existentially quantified. So possibly it's the same with SMT solvers? < 1599342468 437975 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :*+s < 1599342504 79404 :arseniiv!~arseniiv@94.41.10.181.dynamic.ufanet.ru QUIT :Ping timeout: 260 seconds < 1599343102 294186 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't mean quantification, that's the same (unless you have a solver with quantifiers). < 1599343117 289959 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I just mean boolean expressions like a && (b || !(c || d)) etc. < 1599343628 473670 :b_jonas!~x@catv-176-63-11-126.catv.broadband.hu PRIVMSG #esoteric :shachaf: I think you can convert those to an ordinary CNF expression by introducing temporaries for all those subexpressions < 1599343660 362259 :b_jonas!~x@catv-176-63-11-126.catv.broadband.hu PRIVMSG #esoteric :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 < 1599343681 162785 :b_jonas!~x@catv-176-63-11-126.catv.broadband.hu PRIVMSG #esoteric :but maybe I just don't understand how all this SAT-solver business works < 1599343746 631502 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. I'm wondering whether this is what SMT solvers are actually doing. < 1599344666 277558 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu < 1599347581 564257 :Arcorann!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net JOIN :#esoteric < 1599349082 891050 :LKoen!~LKoen@81.255.219.130 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.” < 1599349524 51779 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :ok bug report for the mornington crescent article: king's cross is in the syntax section but not the actual language specs < 1599349637 498012 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :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. < 1599349672 903917 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :oh, I see. it's not special, but it's a station. cool