< 1552003234 976549 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1552004130 585894 :b_jonas!~x@catv-176-63-25-71.catv.broadband.hu PRIVMSG #esoteric :`? lie group < 1552004131 789275 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :lie group? ¯\(°​_o)/¯ < 1552004193 908534 :b_jonas!~x@catv-176-63-25-71.catv.broadband.hu PRIVMSG #esoteric :`? gianni schicchi < 1552004194 997511 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :gianni schicchi? ¯\(°​_o)/¯ < 1552004200 579552 :b_jonas!~x@catv-176-63-25-71.catv.broadband.hu PRIVMSG #esoteric :`? Gianni Schicchi < 1552004201 701140 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :Gianni Schicchi? ¯\(°​_o)/¯ < 1552004248 480263 :b_jonas!~x@catv-176-63-25-71.catv.broadband.hu QUIT :Quit: leaving < 1552004887 308804 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 240 seconds < 1552005002 176129 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1552005158 286639 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`le/rn lie group//Lie groups are groups that try being too smooth for their own good. < 1552005160 341775 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :Learned 'lie group': Lie groups are groups that try being too smooth for their own good. < 1552005191 43763 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :smooth operator < 1552009324 856649 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :is there a way to link to a webpage while also injecting a custom stylesheet < 1552009333 324494 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :some of these ham websites are painfully bad < 1552009340 269008 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :otoh, they don't tend to contain 800 MB of JavaScript < 1552009540 938692 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :well, you can at least run a javascript: url after loading it < 1552010226 909019 :theology!~theology@unaffiliated/theology JOIN :#esoteric < 1552010238 383982 :theology!~theology@unaffiliated/theology PRIVMSG #esoteric :cat. < 1552010239 661818 :theology!~theology@unaffiliated/theology PART #esoteric :"Leaving" < 1552010299 238614 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :true < 1552013780 74137 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1552013893 429665 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :orin : "oren-hates-git" -- perhaps you should be friends with JordiGH (works on Octave, iirc. is often in #emacs, and at least sometimes in ##math) < 1552013949 464257 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :hm, would `Rel' rather be the categories of modules (or "modules" ?) over the boolean semi-ring ? < 1552013968 866108 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :(or maybe all of them are free ?) < 1552014029 904001 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :ACTION has pondered covariant vs. contravariant powerset functor a bit, doesn't seem to really get it yet, though < 1552014063 693189 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The covariant one is weird. < 1552014136 204102 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :afaiu, it's about to ⌜{f(x) | x ∈ S}⌝, iow (direct / existential) image > 1552014455 774099 PRIVMSG #esoteric :14[[07Brainfuck14]]4 10 02https://esolangs.org/w/index.php?diff=60328&oldid=60325 5* 03Ais523 5* (-103) 10Undo revision 60325 by [[Special:Contributions/Cortex|Cortex]] ([[User talk:Cortex|talk]]): we probably don't need an alternative program that's slightly broken; if it's the length you care about, ",[.>,]" is the same length and actually works < 1552014720 914400 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :if the covariant is ⌜℘⌝, and the contravariant is ⌜(Ω ←)⌝, then "Sets for Mathematics" (Lawvere,Rosebrugh) talks some about a weird ⌜(Ω ←)² ⟵ ℘⌝, that they write with an integral sign. uncurrying, we get ⌜Ω A ⟵ ℘ A × (Ω ← A)⌝ which expresses whether there's any overlap between a "covariant subset" and a "contravariant subset" < 1552014991 486136 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :(in ⌜Rel⌝, ⌜Ω ⟵ A⌝ would correspond to ⌜ɪ ⟵ A⌝, where ⌜ɪ⌝ is the neutral element for the tensor, namely the singleton set. then ⌜Ω ← A⌝ is the object that corresponds to "names" of relations in ⌜ɪ ⟵ A⌝, while ⌜℘ A⌝ is the object that corresponds to "names" of relations in ⌜A ⟵ ɪ⌝, and then this "overlaps?" operation ist just composition in ⌜Rel⌝ (and converting back to an element of ⌜Ω⌝)) < 1552015019 836909 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :btw, this operation is a normal natural transformation, nothing weird there < 1552015077 711464 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :(er .. sorry, i said we get ⌜Ω A ⟵ ℘ A × (Ω ← A)⌝, but obviously i meant we get ⌜Ω ⟵ ℘ A × (Ω ← A)⌝ ..) < 1552015127 384511 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :otoh (as i mentioned briefly in #haskell), there is a conversion ⌜(Ω ← A) ⟵ ℘ A⌝, which is a *dinatural* transformation, because it's of "mixed type" < 1552015147 644205 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :(dinatural in ⌜A⌝, obv. ..) < 1552015198 181671 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :if we uncurry this, we get ⌜Ω ⟵ A × ℘ A⌝, which is just our only friend, the membership predicate ⌜∈⌝ < 1552015396 529558 :fractal!~fractal@unaffiliated/scounder QUIT :Ping timeout: 244 seconds < 1552015396 529608 :ATMunn_!ATMunn@unaffiliated/atmunn QUIT :Ping timeout: 244 seconds < 1552015405 276915 :ATMunn!ATMunn@unaffiliated/atmunn JOIN :#esoteric < 1552015516 884038 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :while, the other direction ⌜℘ A ⟵ (Ω ← A)⌝ ought to correspond to the general (set) comprehension (sans (direct) image notation, as above), so just ⌜{x : A | χ x = ⊤}⌝, or ⌜{x : A | χ x}⌝ for short (where ⌜χ x⌝ is typically thought of some expression ⌜⋯x⋯⌝ (possibly) depending on ⌜x⌝. cf. this comprehension with plain ⌜λ x ↦ ⋯x⋯⌝) < 1552015706 707192 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :(oh .. and i really wonder why ends and coends are written using integral notation. maybe cooends could be thought of as "sums" if you squint, but ends !?) < 1552015781 472405 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :(also, is there a notion of taking the exponential of the integral of the log of an integral, getting some kind of "continuous product", if integral is to be "continuous sum" ? .. and would this be related to logarithmic differentiation ?) < 1552015795 663099 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :(er, of the log of an integrand) < 1552015949 371040 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :(the book seemed to suggest that the integral notation for the "overlaps" functor would be somehow related to "ordinary" integrals, with a bounded ("bornological") integration domain (subset), and the integrand being otoh continuous) < 1552015993 912264 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :(apparently "open subsets" is contravariant (not much surprise), while "bounded subsets" is covariant) < 1552016178 850543 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :hm, another perhaps related thing. an element of a free module (or vector space) can be written as a "formal" (finite / with finite support) sum over scalar coefficients scaling the basis elements (the elements of the starting set we're "freeing") < 1552016246 31598 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :(or, if we're proving that a given module / vector space has a basis, we'd pick a family of elements of the space, and index the coefficients with the same index set) < 1552016526 241740 :fractal!~fractal@unaffiliated/scounder JOIN :#esoteric < 1552016724 735380 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :so, at least for finite-dimensional, you can apparently think of this as a sum (/ "existential" / coend) over the tensor of two functors from ⌜FinSet⌝ to the ring (considered as an abelian(?) category), respectively to ⌜Set⌝, the former *covariant* (using the sums in the ring to model nondeterminism with direct / existential images), .. < 1552016738 701617 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :.. while the latter (familiarly) would be contravariant (as per inverse image, which is precomposition on the classifying morphism), no nondeterminism of ⌜Ω⌝ needed here < 1552016897 960940 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :.. also the monoid ring construction is also *covariant* in the monoid (also using ring nondeterminism. convolution on the monoid elements, which works because everything is finite support) < 1552016936 358683 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :sorry, should be commutative monoids < 1552016987 84762 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :this construction yields the familiar polynomial rings, if you take the monoid to be the free monoid (over the set of indeterminates, then) < 1552017010 916322 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :(so convolution gives the usual rule for polynomial multiplication) < 1552017155 524061 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :.. however, i was wondering about "formal power series", where you scrap the finite support in the sums. if you want to generalize that to a not necessarily free monoid, it seems that, for it to be well-defined, the (still commutative) monoid needs to have the property that every element can be decomposed into "two parts" in finitely many ways < 1552017289 480700 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :(perhaps the monoid ring works out with a non-commutative monoid (and non-commutative ring) as well, as long as when you interpret it, with "evaluation" (application / substitution), the ring among where you select values for the indeterminates commutes with the coefficient ring ..) < 1552017548 382883 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :(.. in general, when you interpret a polynomial, you don't need to pick the indeterminate values from the coefficient ring. you could pick them from a super ring (e.g. a (say commutative) subring of square matrices / linear endotransformations. we can embed the scalars as scalings of the identity. or you don't even need the translation to be an inclusion (injective). but probably more theorems fail then) < 1552018008 288825 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :(so, a polynomial ring over a coordinate ring ⌜R⌝ is the free "ring under ⌜R⌝" (living in the coslice category wrt ⌜R⌝ / the category of rings under ⌜R⌝, being those with a designated extra structure for interpreting the elements of ⌜R⌝ in each ring in the category. (you can always do this for ⌜ℤ⌝, so "free ring over a set" is just polynomial ring with integer coefficients)) < 1552018200 811171 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :(hm, there's probably some relation of ⌜ℤ⌝ to neutral element of tensor here ..) < 1552018237 383323 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :(recall that an abelian group is a module over ⌜ℤ⌝) < 1552018674 137356 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :(.. i wonder whether the monoid ring construction can be thought of as a free construction .. or at least as an adjoint. i've also pondered, a little, more explicit constructions of polynomial rings. one is the CPS-like encoding ⌜R ← (R ← X)⌝, where ⌜X⌝ is the set of indeterminates. so, given a valuation (value environment) giving values for all indeterminates, we get a corresponding value for the polynomial ..)) < 1552018963 159576 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :(.. but this presumably needs to be restricted in some way (possibly restricting one or both arrows to functions that respect some structure), otherwise we could express non-polynomials in this way) < 1552019129 592039 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :(anyway, we should have ⌜∀ S. S ← (S ← X)⌝ rather, where ⌜S⌝ is an arbitrary ring "under" ⌜R⌝, so that we can interpret the coefficients in ⌜R⌝ in this ring (often a superring) ⌜S⌝. now pure CPS shows even more :) < 1552019396 95116 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :(still, there's another representation, ⌜R ← (ℕ ← X)⌝, where both arrows should be restricted to finite support (think `Map'), which makes them *covariant* in the domain, afaiui. each value in ⌜ℕ ← X⌝ (the free commutative monoid over ⌜X⌝, recall ⌜ℕ⌝ is free (commutative) monoid over singleton) would be a combination of exponents, for each indeterminate (but with finite support, so only finitely many with non-zero exponent)) < 1552019671 509338 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :(then, the other arrow having finite support means that we only consider assigning to *finitely* many such "monomials", a coefficient in ⌜R⌝. and if we wanted to, we could "expand" this as before, into ⌜∀ S | S ⟵ R. S ← (ℕ ← X)⌝, but that's actually the same thing as plain ⌜R ← (ℕ ← X)⌝, since ⌜R⌝ only occurs covariantly (both sides of the arrows should be positive/covariant, in this case, because of finite support)) < 1552019779 392413 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :(probably i should use another notation for the finite support arrow. i've seen "raised to an exponent enclosed in round brackets", i think. also cf. arrays in e.g. array-oriented languages) < 1552019812 142590 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :(that notation also being used for monoid ring, at least in one book) < 1552019895 808867 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :so .. hm, i would like to better understand these two constructions, and their (hopeful) equivalence, perhaps under some extra conditions (?) < 1552020023 574425 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :also the situation with generalization to formal power series (but for a not-necessarily-free (commutative) monoid of "monomials", that nevertheless has this "finite convolute/splitting" property, that ##math didn't know a name for, when i asked < 1552020105 380552 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :hm, this became a loosely tangled "rant" (rather "reflection", perhaps), on some things related to co- and contra- variance, that i've been pondering lately < 1552021001 502605 :nfd9001!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net JOIN :#esoteric < 1552021010 96420 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net JOIN :#esoteric < 1552021131 395977 :nfd!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net QUIT :Ping timeout: 244 seconds < 1552022192 496913 :lambdabot!~lambdabot@haskell/bot/lambdabot QUIT :Remote host closed the connection < 1552022356 567368 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN :#esoteric < 1552029232 177524 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i guess sam really is immune to the sauce, then. < 1552029786 310120 :xkapastel!uid17782@gateway/web/irccloud.com/x-ommnygklgrjuvgvr QUIT :Quit: Connection closed for inactivity < 1552032952 75352 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net QUIT :Ping timeout: 245 seconds < 1552033086 268730 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net JOIN :#esoteric < 1552033305 699828 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION is surprised that this girl genius creature can be surprised < 1552033529 612363 :orin!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :why is there no biderectional bit shift operator < 1552033609 526867 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> (4 `shift` 1, 4 `shift` (-1)) < 1552033611 486321 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (8,2) < 1552033623 27464 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :SURE THERE IS < 1552033630 567737 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :a bit verbose, maybe. < 1552033930 116923 :orin!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :also I contend that fscanf should have a variant which is guaranteed to read exactly one line < 1552034164 813445 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ginormous line coming up... < 1552034650 317720 :orin!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :should be fine as long as after it reads enough it skips past the next \n < 1552034708 454111 :orin!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :i mean with normal fscanf you can put all the inputs on ones line < 1552034832 301701 :orin!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :whereas fortran READ statement reads exactly one card < 1552034835 618500 :orin!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :er, line < 1552034883 609032 :orin!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :another example of fortran being less error-prone than C < 1552036946 703097 :AnotherTest!~turingcom@ptr-82l26zcehbybvusuxld.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1552042000 771775 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Later < 1552045198 84077 :mich181189!sid268336@gateway/web/irccloud.com/x-monnnqnvvfiaqltz QUIT :Ping timeout: 258 seconds < 1552045294 212960 :mich181189!sid268336@gateway/web/irccloud.com/x-dchpbxiiauajhgba JOIN :#esoteric < 1552045920 959184 :arseniiv!~arseniiv@136.169.200.30 JOIN :#esoteric < 1552048146 259173 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 252 seconds < 1552048244 627666 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1552049236 288704 :Essadon!~Essadon@81-225-32-185-no249.tbcn.telia.com JOIN :#esoteric < 1552052558 953955 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1552052584 375328 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :Wow. I didn't know there were more than 2**17 different unicode characters. < 1552053362 238915 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :And apparently the majority of those are hanzi/kanji. < 1552053478 545640 :xkapastel!uid17782@gateway/web/irccloud.com/x-eypryqxlixhmygnp JOIN :#esoteric < 1552053836 193843 :orin!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric : expected ‘const struct bdfglyph * const* const’ but argument is of type ‘struct bdfglyph **’ < 1552053842 153792 :orin!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :how is that incompatible?! < 1552053875 948944 :orin!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :C const as implemented by gcc makes no sense < 1552053931 147098 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :orin: those are incompatib le < 1552053949 345640 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :oh wait < 1552053951 155554 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :not they aren't < 1552053962 934362 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :the expected one is const * const * < 1552053964 594930 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :hmm < 1552054001 248826 :orin!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :the function is pormising not to modify literally anything, but GCC doesn't seem to pick up on that < 1552054004 822147 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :orin: is this in C or in C++? < 1552054008 617561 :orin!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :C < 1552054161 73844 :orin!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :i mean it's only a warning but its a STUPID warning < 1552054217 398417 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I thought it was forbidden to cast a T** to a T const** but allowed to cast it to a T const* const* < 1552054249 350670 :orin!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :doesn't seem to be allowed < 1552054313 20312 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :you could ask on ##C < 1552054657 49963 :orin!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :int main(int argc, char **argv){const char *const *const constargv = argv;return 0;} < 1552054669 788660 :orin!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :imcompatible < 1552054748 365257 :orin!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :tcc also warns about it < 1552054772 958473 :orin!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :but I would expect gcc to be less lazy when deciding what's incompatible < 1552055678 291095 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1552055995 609014 :fmease!fmeasematr@gateway/shell/matrix.org/x-moeujmjkwbsmgvya JOIN :#esoteric < 1552056554 254002 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1552061259 742253 :xkapastel!uid17782@gateway/web/irccloud.com/x-eypryqxlixhmygnp QUIT :Quit: Connection closed for inactivity < 1552061847 228302 :xkapastel!uid17782@gateway/web/irccloud.com/x-pfdpozcgzdzakphq JOIN :#esoteric < 1552065595 19237 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :that's a lot of const < 1552065662 650620 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :cdecl doesn't like const struct bdfglyph * const* const < 1552065919 772855 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1552066111 950740 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 255 seconds < 1552067434 778584 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1552067438 413954 :orin!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :Yay, I'm getting a cubicle with a window on the 20th floor < 1552067495 960404 :orin!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :kmc: what about if you give it a name < 1552067499 673689 :orin!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :kmc: const struct bdfglyph * const* const x; < 1552068853 770605 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric > 1552069807 20379 PRIVMSG #esoteric :14[[07User:Fmease14]]4 N10 02https://esolangs.org/w/index.php?oldid=60329 5* 03Fmease 5* (+114) 10Create page < 1552071120 851964 :b_jonas!~x@catv-176-63-24-169.catv.broadband.hu JOIN :#esoteric < 1552072026 611010 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ski: whoa, was all that for me? < 1552072354 927723 :Phantom_Hoover!~phantomho@cpc108439-cowc8-2-0-cust785.14-2.cable.virginm.net JOIN :#esoteric < 1552072355 29778 :Phantom_Hoover!~phantomho@cpc108439-cowc8-2-0-cust785.14-2.cable.virginm.net QUIT :Changing host < 1552072355 29824 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1552072468 43026 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :orin: It's fine in C++ but not in C, as I guess you've discovered. < 1552072769 386171 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The C++ rules around const are much more nuanced. In C it's just the one level of const-ness you can add to a pointer, and the types "below" that must be already compatible. < 1552072851 985272 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The conversion via a cast might be legal in C too, but I've got enough of a headache to not puzzle that out now. < 1552073220 454503 :b_jonas!~x@catv-176-63-24-169.catv.broadband.hu PRIVMSG #esoteric :fizzie: ah, so that's why I thought < 1552073231 74761 :b_jonas!~x@catv-176-63-24-169.catv.broadband.hu PRIVMSG #esoteric :I'm more familiar with the C++ rules than the C ones < 1552075106 115357 :orby!44215da7@gateway/web/freenode/ip.68.33.93.167 JOIN :#esoteric < 1552075112 870845 :orby!44215da7@gateway/web/freenode/ip.68.33.93.167 PRIVMSG #esoteric :greetings < 1552075234 650801 :b_jonas!~x@catv-176-63-24-169.catv.broadband.hu QUIT :Quit: leaving < 1552075635 256218 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net QUIT :Remote host closed the connection < 1552076639 59899 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net JOIN :#esoteric < 1552077665 444156 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :shachaf : i dunno. if you're interested in that kind of stuff < 1552077813 596653 :Cale!~cale@2607:fea8:995f:fb71:5c54:3931:a544:cab5 QUIT :Ping timeout: 250 seconds < 1552078604 242221 :Cale!~cale@2607:fea8:995f:fb71:e8e9:8944:fba8:39a3 JOIN :#esoteric < 1552082721 314013 :Remavas!~Remavas@unaffiliated/remavas JOIN :#esoteric < 1552084754 537622 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ski: I am, I just didn't see it < 1552084764 417701 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And still haven't read it, but I'll look when I'm at my computer < 1552087783 225333 :Remavas!~Remavas@unaffiliated/remavas QUIT :Read error: Connection reset by peer < 1552087811 312307 :Remavas!~Remavas@unaffiliated/remavas JOIN :#esoteric < 1552088753 284691 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Ping timeout: 245 seconds < 1552088760 716263 :AnotherTest!~turingcom@ptr-82l26zcehbybvusuxld.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 252 seconds < 1552088791 917114 :arseniiv!~arseniiv@136.169.200.30 QUIT :Ping timeout: 255 seconds < 1552089087 488198 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1552089237 766127 :moony__!~moony@hellomouse/dev/moony PRIVMSG #esoteric :ghidra has an impressively smart decompiler < 1552089297 489354 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Even though "Game of XYZABCDE - Part II" (xyzabcde2 for short) is not yet completed (it will take a while; one thing that has to be done is to figure out what rooms to put), the source code of so far can be downloaded (it is in the public domain and will remain so even once it is completed). < 1552089396 260049 :Cale!~cale@2607:fea8:995f:fb71:e8e9:8944:fba8:39a3 QUIT :Ping timeout: 252 seconds < 1552089396 487029 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Since while outside it will be possible to fly above many locations, to avoid having to add flying rooms explicitly for each such room (in some cases it is necessary, but sometimes it won't be), there is a prototype Y.SkyRoom to use the default flying above, and a special room R.FlyingAboveRoom for this purpose.