< 1582848355 329709 :arseniiv!~arseniiv@95.105.14.199.dynamic.ufanet.ru QUIT :Quit: gone completely :o < 1582849893 197717 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1582853440 513303 :xkapastel!uid17782@gateway/web/irccloud.com/x-okkqctjatzotfbqg QUIT :Quit: Connection closed for inactivity < 1582854402 318202 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1582854745 941801 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1582859785 102994 :Frater_EST!adrianbibl@172.242.0.73 QUIT :Remote host closed the connection < 1582860126 851327 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1582870597 685782 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1582870671 420932 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :surprisingly, it looks like int-e may be wrong about the foglios. although probably just temporarily. < 1582870813 531021 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also i find that diagram strangely parallel to schlock mercenary a few days ago < 1582870910 824575 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well if it's a diagram. it could be just background decoration suspiciously looking like that. < 1582870915 994397 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :maybe it's a shout-out < 1582871060 619565 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm i don't think it's decoration because it's absent in the neighboring panels < 1582871145 806394 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(https://www.schlockmercenary.com/2020-02-22) < 1582871168 409977 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :* < 1582871777 315811 :sftp!~sftp@unaffiliated/sftp QUIT :Excess Flood < 1582871957 407174 :sftp!~sftp@unaffiliated/sftp JOIN :#esoteric < 1582871983 677324 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds < 1582872654 669609 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1582875565 212073 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 255 seconds < 1582875625 340159 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1582875674 847266 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 240 seconds < 1582877421 985349 :rain1!~debian@unaffiliated/rain1 JOIN :#esoteric < 1582878410 900861 :erdic!~erdic@unaffiliated/motley QUIT :Ping timeout: 240 seconds < 1582878436 180281 :rain1!~debian@unaffiliated/rain1 QUIT :Quit: Lost terminal < 1582878494 866899 :erdic!~erdic@unaffiliated/motley JOIN :#esoteric < 1582879191 677014 :kritixil1!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1582879303 679156 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds < 1582879643 699895 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Ping timeout: 240 seconds < 1582880158 392923 :b_jonas!~x@catv-176-63-14-56.catv.broadband.hu QUIT :Quit: leaving < 1582881440 383955 :cpressey!~cpressey@5.133.242.4 JOIN :#esoteric < 1582883302 825129 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :Good morning. My researches into ABTs have revealed a bewildering array of attempts to "solve the alpha-equivalence problem" in a nice way". < 1582883361 398810 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :Especially when I got more into the Coq related literature, which makes sense, since a lot of people using Coq are using it to prove things about languages. So they want it to be able to reason about named things more easily. < 1582883369 679449 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what about attempts to prove it unsolvable wth < 1582883433 771400 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm unfortunate acronym < 1582883441 162003 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? dth < 1582883444 634758 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :dth is the dth ordinal. dth? < 1582883466 60746 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :Yeah well, it's probably a bit hard to publish a result that consists of "Argh, I give up", isn't it? < 1582883516 799115 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no, what you do is "Argh, I've proved _no one_ can do it" hth < 1582883548 909129 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :"in a nice way" though < 1582883564 971882 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fiendish < 1582883615 84377 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although that reminds me a bit of those P vs. NP obstacles scott aaronson has sometimes written about < 1582884164 265849 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :https://homepages.inf.ed.ac.uk/jcheney/programs/aprolog/ < 1582884669 596332 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1582884893 631332 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :http://blog.discus-lang.org/2011/08/how-i-learned-to-stop-worrying-and-love.html < 1582885444 846876 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1582885637 760593 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :
ACTION starts just randomly welding random pieces of metal together randomly
< 1582885641 608006 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :this will work < 1582887722 850804 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 240 seconds < 1582888103 682349 :kritixil1!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds < 1582889006 566122 :int-e!~noone@int-e.eu PRIVMSG #esoteric :cpressey: make sure to keep an escape route for yourself < 1582889086 921366 :arseniiv!~arseniiv@136.169.205.124 JOIN :#esoteric < 1582889932 566964 :erdic!~erdic@unaffiliated/motley QUIT :Ping timeout: 258 seconds < 1582889954 28347 :erdic!~erdic@unaffiliated/motley JOIN :#esoteric < 1582890013 371216 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1582892067 972735 :int-e!~noone@int-e.eu PRIVMSG #esoteric :@tell oerjan I may have been wrong about the Foglios but I was definitely right about Clippy. < 1582892068 249701 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1582892165 292268 :int-e!~noone@int-e.eu PRIVMSG #esoteric :arseniiv: 15 digits now (I left the program running over night, but it's stopped now so this will be the last update) ;-) < 1582892374 29746 :arseniiv!~arseniiv@136.169.205.124 PRIVMSG #esoteric :int-e: I hoped you’d get to 20! (not a factorial) < 1582892378 637568 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( I wonder how much could be accomplished in 200,000 years of computation though.) < 1582892425 483964 :int-e!~noone@int-e.eu PRIVMSG #esoteric :arseniiv: I won't say impossible, but I have no clue how to get there. < 1582892436 49742 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Other than extreme luck, perhaps. < 1582892515 344416 :kritixil1!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1582892585 334233 :kritixil1!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :arseniiv: did you find a proof of the segment length problem? > 1582892640 880810 PRIVMSG #esoteric :14[[07Int**14]]4 N10 02https://esolangs.org/w/index.php?oldid=70064 5* 03Hakerh400 5* (+7868) 10+[[int**]] < 1582892643 504002 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(200,000 years because the last few dates on the current list of solvers are all in February 202020) > 1582892655 584639 PRIVMSG #esoteric :14[[07User:Hakerh40014]]4 10 02https://esolangs.org/w/index.php?diff=70065&oldid=70036 5* 03Hakerh400 5* (+12) 10+[[int**]] > 1582892698 60320 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=70066&oldid=70037 5* 03Hakerh400 5* (+12) 10+[[int**]] < 1582892839 934192 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Hmm, cute. But the "uncountable ordinals" reference feels off. < 1582892855 834330 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(Looking at the int** thing.) < 1582892922 202256 :arseniiv!~arseniiv@136.169.205.124 PRIVMSG #esoteric :kritixil1: not yet < 1582892950 337092 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Actually I'm sure this is ill-defined; one should be able to encode Russell's paradox in this. < 1582892974 390636 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Unless it forbids recursion, hmm. < 1582893296 872410 :arseniiv!~arseniiv@136.169.205.124 PRIVMSG #esoteric :if they wouldn’t mention pointer types as an analogy, which isn’t a good one anyway. they wouldn’t need to say several times that changing an int* value doesn’t change anything other < 1582893372 398884 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Well, a lot of paradoxes anyway, maybe not Russell's in particular. < 1582893424 165151 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :From one of the examples it looks like int* is the same as int(int) so what is this actually < 1582893608 155824 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :C already has mappings from ints to ints, they're called functions < 1582893636 534368 :arseniiv!~arseniiv@136.169.205.124 PRIVMSG #esoteric :yeah in Haskell terms it allows Bool and data NatF (n :: Nat) where { NatZ :: Nat -> NatF 0; NatS :: (NatF n -> NatF n) -> NatF (n + 1) }, only all the values are strict < 1582893715 373852 :arseniiv!~arseniiv@136.169.205.124 PRIVMSG #esoteric :I’d also think that modern C++ frowns upon indexing pointers but IDK > 1582893766 861768 PRIVMSG #esoteric :14[[07Talk:Int**14]]4 N10 02https://esolangs.org/w/index.php?oldid=70067 5* 03Int-e 5* (+257) 10question about consistency < 1582894052 473950 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :I expect they don't consider the inconsistency an actual problem, they probably categorize it under "the interpreter may never halt if it is unable to prove that two values are equivalent." < 1582894124 121788 :int-e!~noone@int-e.eu PRIVMSG #esoteric :arseniiv: Well what int** adds is an oracle... I suspect for the whole arithmetic hierarchy, but I have not thought it through completely, just handwaved that each level of contravariance should give you an alternation in quantifiers. < 1582894159 578567 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And, of course, inconsistency. < 1582895327 963488 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :int-e: So Coq also has an "auto" tactic. I did my first proof in Coq, I got halfway, I wasn't sure how to finish it, so I tried "auto" and it worked. I'm still not sure what it did. < 1582895416 7455 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I think it mostly uses existing introduction rules to solve goals recursively? < 1582895496 942452 :int-e!~noone@int-e.eu PRIVMSG #esoteric :There's some setup for this, where lemmas can be registered for use with auto... I forgot what it is. There is a #coq (or ##coq? should be the former...) btw. < 1582895532 233573 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :The proof I was doing was a very simple one so I'm not surprised it worked, it's more of a comment on the opacity of working with tactics. < 1582895565 168835 :int-e!~noone@int-e.eu PRIVMSG #esoteric :oh yeah, but soon you'll be happy it worked and move on ;) < 1582895623 300026 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But that said, at the beginning it may actually be worthwhile to attempt a more detailed proof without automatic tactics. < 1582895679 923079 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Often the real problem is to find the applicable lemmas. And you'll need to do that yourself when the automatic methods fail (and they often do...). < 1582895817 592531 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I forgot, but I have some notes here... http://paste.debian.net/1132703/ < 1582895835 555655 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(basic ideas for exploration) < 1582896129 567441 :arseniiv!~arseniiv@136.169.205.124 PRIVMSG #esoteric :today is a good day < 1582896649 118545 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: is it? < 1582896649 296643 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: i always use. " you'll need this to tell your boss and coworkers and all your goddamn family which is made of! < 1582897044 539991 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: stop being coherent < 1582897044 631427 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: fnord of data? or only boolean?, and i don't > 1582897704 69202 PRIVMSG #esoteric :14[[07Talk:Int**14]]4 10 02https://esolangs.org/w/index.php?diff=70068&oldid=70067 5* 03Hakerh400 5* (+791) 10/* Consistency */ < 1582898133 699748 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :It's not a paradox, it's simply an infinite loop, see? < 1582898181 594226 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I'm more irritated by the absence of global variables in conjunction with the example at https://esolangs.org/wiki/Int**#Functions < 1582898220 991829 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But if there's nontermination then equality becomes more interesting. < 1582898247 735876 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :so the whole "uncountable ordinal" thing is a red herring because they're all countable ordinals? < 1582898292 950205 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Nah, there are no ordinals at all. < 1582898321 796617 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :I'm guessing sure they meant "levels of the arithmetic hierarchy" where they said "ordinals" < 1582898333 707390 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :That's right, I'm guessing sure. < 1582898345 493791 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :Not going to attempt to correct that. < 1582898432 94147 :int-e!~noone@int-e.eu PRIVMSG #esoteric :They could simply mean cardinals. < 1582898480 877353 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :cpressey: that might make sense < 1582898520 543038 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :"cardinal" would also make more sense than "ordinal" < 1582898524 22655 :int-e!~noone@int-e.eu PRIVMSG #esoteric :which makes a bit of sense; testing equality of two (int -> int) -> int -> int functions naively means testing all uncountably many (int -> int) functions. < 1582898641 497797 :int-e!~noone@int-e.eu PRIVMSG #esoteric :("naively" -- I would expect that there is a countable test set that always works) < 1582898688 180693 :int-e!~noone@int-e.eu PRIVMSG #esoteric :On a meta level, at least. In fact... start with a countable model of ZFC ;) < 1582898974 204825 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 255 seconds < 1582898980 692577 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :int-e: you can't find one of those models without being able to decide the truth of any unparametrized first order logic statement about natural numbers though < 1582899008 578612 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :so no < 1582899104 697214 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :it's no surprise, there's no easy cheat to collapse the arithmetical hierarchy > 1582899547 822767 PRIVMSG #esoteric :14[[07Talk:Int**14]]4 10 02https://esolangs.org/w/index.php?diff=70069&oldid=70068 5* 03Int-e 5* (+603) 10/* Consistency */ more questions > 1582899929 312216 PRIVMSG #esoteric :14[[07Talk:Int**14]]4 10 02https://esolangs.org/w/index.php?diff=70070&oldid=70069 5* 03Int-e 5* (+411) 10/* Consistency */ < 1582899978 882391 :int-e!~noone@int-e.eu PRIVMSG #esoteric :wib_jonas: Oh sure, I didn't mean to suggest that any of this can actually be done in "practice". < 1582899997 365101 :wib_jonas80!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1582900031 540685 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( what happened to 0 to 79? ) < 1582900053 11077 :kritixil1!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :fungot: which one's the real wib_jonas < 1582900053 34229 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :kritixil1: it might be < 1582900066 857464 :wib_jonas80!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :both < 1582900090 454016 :wib_jonas80!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I disconnected my laptop from the company network to diagnose a network problem < 1582900110 905669 :wib_jonas80!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :then reconnected, but didn't bother to disconnect from irc first, so the other nick is still connected < 1582900114 475831 :wib_jonas80!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I'll fix that in a moment < 1582900128 460872 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Disconnected by services < 1582900137 195793 :wib_jonas80!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 NICK :wib_jonas < 1582900145 924975 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :there, now I'm wib_jonas < 1582900186 205396 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :kritixil1: are you the real kritixilithos? < 1582900223 511619 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( dear pixel cloud on my screen, define "real" ) < 1582900235 899708 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :int-e: I don't know how the wob client chooses fallback nicknames, but I think this is more sensible than the underscore escalation method < 1582900282 526317 :kritixil1!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :fungot: what do you think, am i the real one? < 1582900282 709604 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :kritixil1: no one comments on my perl style welcome :)), so i can crash due to my fnord alist or is something not going to waste any more of those undeclared identifiers now: < 1582900305 943608 :kritixil1!~kritixili@gateway/tor-sasl/kritixilithos NICK :kritixilithos < 1582901365 195770 :rain1!~debian@unaffiliated/rain1 JOIN :#esoteric < 1582902114 388099 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1582903163 676482 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds > 1582904838 549969 PRIVMSG #esoteric :14[[07Int**14]]4 10 02https://esolangs.org/w/index.php?diff=70071&oldid=70064 5* 03Hakerh400 5* (+93) 10 > 1582905024 881400 PRIVMSG #esoteric :14[[07Talk:Int**14]]4 10 02https://esolangs.org/w/index.php?diff=70072&oldid=70070 5* 03Hakerh400 5* (+85) 10 < 1582905235 291583 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 260 seconds < 1582905397 877430 :rain1!~debian@unaffiliated/rain1 QUIT :Quit: leaving < 1582905413 984743 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :for some reason, listening to a performance of a classical musical opera where the libretto is originally in italian language but is sang in german sounds weird and wrong to me, much more so than when such an opera is sang in Hungarian < 1582905428 833004 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :but maybe I'm just not used to it < 1582905496 458790 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I mean, there's a reason why some operas are in italian, others are in german (and a few are in french), so when it's sang in german, that seems like it's sang in the wrong language, whereas if it's in hungarian, it's obviously just a translation, because the original can't be in hungarian < 1582905918 223447 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1582906416 535806 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1582907026 266369 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Remote host closed the connection > 1582908475 930880 PRIVMSG #esoteric :14[[07I like frog14]]4 10 02https://esolangs.org/w/index.php?diff=70073&oldid=70051 5* 03Apollyon094 5* (+0) 10 > 1582908541 362925 PRIVMSG #esoteric :14[[07I like frog14]]4 10 02https://esolangs.org/w/index.php?diff=70074&oldid=70073 5* 03Apollyon094 5* (+1) 10 < 1582908613 93981 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 255 seconds < 1582909263 645499 :cpressey!~cpressey@5.133.242.4 QUIT :Quit: A la prochaine. < 1582909315 377656 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric > 1582909980 870408 PRIVMSG #esoteric :14[[07Talk:Int**14]]4 10 02https://esolangs.org/w/index.php?diff=70075&oldid=70072 5* 03Hakerh400 5* (+92) 10 < 1582910357 696747 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1582910759 941735 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1582911622 922057 :joast!~rick@cpe-98-146-112-4.natnow.res.rr.com QUIT :Quit: Leaving. < 1582915787 98477 :int-e!~noone@int-e.eu PRIVMSG #esoteric :"Let's say that behavior in any disputable situation is implementation-dependent." < 1582915799 500826 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Okay, that means we have a moving target for all interesting questions... moving on. < 1582916017 87622 :joast!~rick@cpe-98-146-112-4.natnow.res.rr.com JOIN :#esoteric < 1582916507 421929 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1582917899 380410 :b_jonas!~x@catv-176-63-13-212.catv.broadband.hu JOIN :#esoteric < 1582918249 852766 :b_jonas!~x@catv-176-63-13-212.catv.broadband.hu PRIVMSG #esoteric :int-e: are you reading old C code that doesn't know about or and breaks if long isn't exactly 32 bit wide? < 1582918273 705380 :b_jonas!~x@catv-176-63-13-212.catv.broadband.hu PRIVMSG #esoteric :or the opposite, breaks if long isn't the size of a pointer < 1582918277 956963 :b_jonas!~x@catv-176-63-13-212.catv.broadband.hu PRIVMSG #esoteric :both kinds of code exist < 1582918333 27152 :b_jonas!~x@catv-176-63-13-212.catv.broadband.hu PRIVMSG #esoteric :sometimes you can find fixed versions of the source code that replace long with hopefully the correct type < 1582918457 256640 :b_jonas!~x@catv-176-63-13-212.catv.broadband.hu PRIVMSG #esoteric :now we have and that partly solves this problem, as in, we now have a way to refer to an integer type that should be exactly 32 bit wide (int32_t, uint32_t), or the size of a pointer, etc, < 1582918518 18187 :b_jonas!~x@catv-176-63-13-212.catv.broadband.hu PRIVMSG #esoteric :but there are still some problems, eg. there's an lrint/lfloor/lceil which return long, and an llrint/llfloor/llceil function which returns long long, but now how do I convert a floating point number to a 32-bit integer? < 1582918655 137310 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1582918813 788437 :int-e!~noone@int-e.eu PRIVMSG #esoteric :b_jonas: No, I was engaging on the esowiki talk page for int** < 1582918824 731435 :b_jonas!~x@catv-176-63-13-212.catv.broadband.hu PRIVMSG #esoteric :ah < 1582918843 323919 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 260 seconds < 1582918846 156530 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1582918870 65400 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And Hakerh400's latest answer made me lose all my interest. < 1582919409 366544 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Quit: quit < 1582920818 996173 :fredkerdraon!~frederick@14-199-190-109.dsl.ovh.fr JOIN :#esoteric < 1582921471 185421 :fredkerdraon!~frederick@14-199-190-109.dsl.ovh.fr QUIT :Remote host closed the connection < 1582921652 370112 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1582927359 788837 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :I read somewhere apparently they said that German language is too brutal for opera, and Italian is better. I don't know so much about opera, but, nevertheless I think they can try and then they can see if it is better or not. Different people might have a different opinion, too, I think. < 1582928310 115190 :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.” < 1582929299 929982 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :zzo38: Weird? There's a _lot_ of German opera. < 1582929346 137982 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :https://en.wikipedia.org/wiki/The_Magic_Flute <- Mozart, pretty well known. < 1582929478 468324 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :You probably ran into a rivalry because Italian and German operas are the most well known. Then French, then English, both far behind. < 1582929792 279534 :b_jonas!~x@catv-176-63-13-212.catv.broadband.hu PRIVMSG #esoteric :spruit11: yes, and that's why it sounds weird when an Italian opera is sang in German. < 1582929958 929846 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1582930046 838600 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :Well, I just mention what I read. Maybe that is what they meant; I don't know. What I know is that I don't know so much about opera, so I do not have any of my own opinions about it which is any good. < 1582930565 949231 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 240 seconds