< 1547597037 137181 :salpynx!794954f8@gateway/web/freenode/ip.121.73.84.248 QUIT :Ping timeout: 256 seconds < 1547597108 277404 :b_jonas!~x@catv-176-63-13-220.catv.broadband.hu QUIT :Quit: leaving < 1547597185 44189 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection > 1547597206 249129 PRIVMSG #esoteric :14[[07Quite14]]4 10 02https://esolangs.org/w/index.php?diff=59209&oldid=59202 5* 03Areallycoolusername 5* (+838) 10 < 1547597355 56720 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hey come back i can answer that < 1547597402 124910 :salpynx!794954f8@gateway/web/freenode/ip.121.73.84.248 JOIN :#esoteric < 1547597421 136450 :salpynx!794954f8@gateway/web/freenode/ip.121.73.84.248 PRIVMSG #esoteric :The 'abs value' part is probably unnecessary too. I'm looking for a measure that most usefully (to me) gives X({5}) = 5, I imagine would give X({4, 1}) = 4 (just to be clear the answer isn't always 5!), but I could probably use a different result if required. For 'esoteric' design reasons, I'd really like it to be a measure, but am reasonale enough to not argue with reality. Also, I am probably a bit over my head with the notation < 1547597424 645512 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :salpynx: your measure fails the criterion that the measure of a disjoint union should be the sum of the measures < 1547597434 656518 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(finite or countable union) < 1547597622 163297 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :for a measure where single point sets are measurable, the value of those determine the whole measure in the obvious way < 1547597633 54039 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*value on those < 1547597683 908463 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :er < 1547597691 178478 :salpynx!794954f8@gateway/web/freenode/ip.121.73.84.248 PRIVMSG #esoteric :oerjan: thanks! I'll digest that a bit, but I think I get it. I was suspecting something was wrong with it, but wasn't sure exactly where < 1547597729 258532 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :_unless_ some uncountable set of one-point sets all have measure 0. < 1547597752 898753 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but you seem to be looking at integers so uncountability doesn't come up < 1547597811 930246 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(although the lebesgue measure involves those essentially) < 1547597928 600015 :salpynx!794954f8@gateway/web/freenode/ip.121.73.84.248 PRIVMSG #esoteric :yes, limiting to integers. Does that mean there is literally no useful measure on a 1-point set that could convert it into an integer? (I think) I understand why it is always 0 in the Lebesgue case, and that the Counting measure would give 1, in every case < 1547597955 343626 :salpynx!794954f8@gateway/web/freenode/ip.121.73.84.248 PRIVMSG #esoteric :sorry, an integer based on the content of the set < 1547597963 530254 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i mean integers as the _elements_ of the set < 1547597967 176141 :salpynx!794954f8@gateway/web/freenode/ip.121.73.84.248 PRIVMSG #esoteric :differing between different sets of size=1 < 1547598011 932043 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you can have such measures, for example you can have a measure that's abs(n) for each integer n. < 1547598013 331582 :salpynx!794954f8@gateway/web/freenode/ip.121.73.84.248 PRIVMSG #esoteric :oh, yes, integers are the contents of the set... ah, right, that's probably an unreasonable requirement < 1547598037 734321 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's just that it will be a sum for larger sets < 1547598056 382296 :salpynx!794954f8@gateway/web/freenode/ip.121.73.84.248 PRIVMSG #esoteric :so X({5,1}) = 6 ? < 1547598063 357812 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah < 1547598080 142680 :salpynx!794954f8@gateway/web/freenode/ip.121.73.84.248 PRIVMSG #esoteric :nice thanks, that was an early plan b > 1547598107 474554 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=59210&oldid=59146 5* 03Areallycoolusername 5* (+25) 10/* Q */ < 1547598152 448340 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm in fact you can have that for non-integers too, it's just that all infinite sets get infinite measure. < 1547598170 664005 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but lebesgue measure also has infinite measure sets < 1547598183 19796 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wait, not all < 1547598211 661365 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :convergent series also work, like {1/n^2 | n integer } < 1547598264 477075 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm not sure if i'm doing something wrong here < 1547598359 862585 :salpynx!794954f8@gateway/web/freenode/ip.121.73.84.248 PRIVMSG #esoteric :oerjan: you'll be horrified to know that the reason I'm think about this stuff is because of that Cactuși language page, and an idea I had to "improve" it by incorporating the work of Romanian mathematicians, the Ionescu Tulceas... now I am just trying to expand my understanding of the maths, which is probably beneficial < 1547598478 360198 :salpynx!794954f8@gateway/web/freenode/ip.121.73.84.248 PRIVMSG #esoteric :extended reals are ok, +∞ for measures? < 1547598509 630961 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes otherwise the lebesgue measure wouldn't work < 1547598535 912201 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :don't try to combine that with negative measures though, then it usually goes haywire < 1547598604 322493 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :. o O ( try Voiculescu hth ) < 1547598627 380896 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION prepares to watch salpynx run away screaming < 1547598880 414550 :salpynx!794954f8@gateway/web/freenode/ip.121.73.84.248 PRIVMSG #esoteric :oh dear, I probably am going to have to check some of that out. I'm in way over my head already with the Lifting Theory stuff I was (trying to) read by the Ionescu Tulceas, they worked on ergodic theory too, which _might_ be related to some of his stuff, I see a paper Free Entropy in his bio? < 1547598927 886063 :salpynx!794954f8@gateway/web/freenode/ip.121.73.84.248 PRIVMSG #esoteric :If I do anything with this I'll have to say 'inspired by' rather than 'making use of' to cover any failures of understanding on my part < 1547598970 78955 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :looking at it, Ionescu-Tulcea are probably pretty hairy too < 1547599030 110371 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :salpynx: i'm just mentioning Voiculescu because he's the one romanian mathematician i remember citing when i did my PhD < 1547599063 528305 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :probably cannot remember most of the stuff today < 1547599076 717309 :salpynx!794954f8@gateway/web/freenode/ip.121.73.84.248 PRIVMSG #esoteric :oh yeah, the joke for this planned language / extension is that I don't really know what I'm doing by cramming all this maths in for no sensible reason :) < 1547599117 472058 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :should be perfect then < 1547599485 121145 :salpynx!794954f8@gateway/web/freenode/ip.121.73.84.248 QUIT :Ping timeout: 256 seconds < 1547600074 146415 :salpynx!794954f8@gateway/web/freenode/ip.121.73.84.248 JOIN :#esoteric < 1547600085 428658 :salpynx!794954f8@gateway/web/freenode/ip.121.73.84.248 PRIVMSG #esoteric :basic idea is that simple data type is sets, used to construct measure spaces, and sets are measured... I want lifting to be in there somehow, but I don't have a fully appropriate use for that (and probably am misinterpreting it). Graphs are kinda in there, but don't really add anything. Category theory seems potentially relevant. < 1547600269 799049 :salpynx!794954f8@gateway/web/freenode/ip.121.73.84.248 PRIVMSG #esoteric :my goal is to either create something that works to some extent, with an implemented interpreter, and be at least slightly true to the maths, otherwise it's a failed project < 1547600522 891772 :salpynx!794954f8@gateway/web/freenode/ip.121.73.84.248 PRIVMSG #esoteric :thanks oerjan and b_jonas for helping me improve my understanding of measures! < 1547600553 474902 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1547600619 432862 :uplime!~nchambers@learnprogramming/staff/nchambers JOIN :#esoteric < 1547600877 688220 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1547601187 126060 :Essadon!~Essadon@81-225-32-185-no249.tbcn.telia.com QUIT :Quit: Qutting < 1547601899 140375 :salpynx!794954f8@gateway/web/freenode/ip.121.73.84.248 QUIT :Ping timeout: 256 seconds < 1547604115 167242 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 268 seconds < 1547604949 190875 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1547605350 724880 :dingwat_!uid70835@gateway/web/irccloud.com/x-vowwzubkvuqusyig NICK :dingwat < 1547607719 234513 :xkapastel!uid17782@gateway/web/irccloud.com/x-xkvnrlutfpvxqqfh QUIT :Quit: Connection closed for inactivity < 1547609732 321625 :pikhq!~pikhq@c-73-181-126-9.hsd1.co.comcast.net QUIT :Quit: Rearranging things < 1547610080 148283 :pikhq!~pikhq@c-73-181-126-9.hsd1.co.comcast.net JOIN :#esoteric < 1547610103 281676 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Ping timeout: 245 seconds < 1547613328 195681 :Sgeo!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1547613396 408241 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Ping timeout: 244 seconds < 1547614031 130396 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 268 seconds < 1547615485 918316 :moei!~moei@221.78.42.71 QUIT :Quit: Leaving... > 1547616465 196125 PRIVMSG #esoteric :14[[07Printscript 914]]4 10 02https://esolangs.org/w/index.php?diff=59211&oldid=59201 5* 03A 5* (+2501) 10 > 1547616507 539331 PRIVMSG #esoteric :14[[07Printscript 914]]4 10 02https://esolangs.org/w/index.php?diff=59212&oldid=59211 5* 03A 5* (+31) 10 < 1547617909 956239 :uplime!~nchambers@learnprogramming/staff/nchambers QUIT :Quit: WeeChat 2.2 < 1547618289 835634 :oklopol!~kvirc@85-76-129-176-nat.elisa-mobile.fi JOIN :#esoteric > 1547618360 813358 PRIVMSG #esoteric :14[[07User:A14]]4 10 02https://esolangs.org/w/index.php?diff=59213&oldid=57342 5* 03A 5* (+278) 10 > 1547618397 771332 PRIVMSG #esoteric :14[[07User:A14]]4 10 02https://esolangs.org/w/index.php?diff=59214&oldid=59213 5* 03A 5* (+50) 10 > 1547618441 286157 PRIVMSG #esoteric :14[[07User:A14]]4 10 02https://esolangs.org/w/index.php?diff=59215&oldid=59214 5* 03A 5* (-191) 10 > 1547618561 725785 PRIVMSG #esoteric :14[[07User:A14]]4 10 02https://esolangs.org/w/index.php?diff=59216&oldid=59215 5* 03A 5* (+36) 10 > 1547618596 369855 PRIVMSG #esoteric :14[[07User:A14]]4 10 02https://esolangs.org/w/index.php?diff=59217&oldid=59216 5* 03A 5* (+73) 10 < 1547619244 388339 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1547620026 882552 :oklopol!~kvirc@85-76-129-176-nat.elisa-mobile.fi QUIT :Ping timeout: 252 seconds > 1547620063 749216 PRIVMSG #esoteric :14[[07Printscript 914]]4 10 02https://esolangs.org/w/index.php?diff=59218&oldid=59212 5* 03A 5* (+147) 10 > 1547620260 186786 PRIVMSG #esoteric :14[[07Printscript 914]]4 10 02https://esolangs.org/w/index.php?diff=59219&oldid=59218 5* 03A 5* (+4) 10 > 1547620295 160286 PRIVMSG #esoteric :14[[07Printscript 914]]4 10 02https://esolangs.org/w/index.php?diff=59220&oldid=59219 5* 03A 5* (+2617) 10 > 1547621101 977373 PRIVMSG #esoteric :14[[07Printscript 914]]4 10 02https://esolangs.org/w/index.php?diff=59221&oldid=59220 5* 03A 5* (+499) 10 > 1547621340 841118 PRIVMSG #esoteric :14[[07Printscript 914]]4 10 02https://esolangs.org/w/index.php?diff=59222&oldid=59221 5* 03A 5* (+3357) 10 < 1547622928 944934 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`icode – < 1547622929 720330 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :​[U+2013 EN DASH] < 1547624114 789092 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1547624129 307095 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1547625284 439717 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 250 seconds > 1547625606 236516 PRIVMSG #esoteric :14[[07Esolang:Featured languages/Recent14]]4 10 02https://esolangs.org/w/index.php?diff=59223&oldid=37400 5* 03Oerjan 5* (+4) 10Step #1 > 1547625616 156967 PRIVMSG #esoteric :14[[07Esolang:Featured languages14]]4 10 02https://esolangs.org/w/index.php?diff=59224&oldid=59044 5* 03Oerjan 5* (+898) 10/* Archive */ Step #2 > 1547625623 981979 PRIVMSG #esoteric :14[[07Esolang:Featured languages/Current14]]4 10 02https://esolangs.org/w/index.php?diff=59225&oldid=37398 5* 03Oerjan 5* (-3) 10Step #3 > 1547625635 489798 PRIVMSG #esoteric :14[[07Funciton14]]4 10 02https://esolangs.org/w/index.php?diff=59226&oldid=58931 5* 03Oerjan 5* (+18) 10Step #4 > 1547625641 901927 PRIVMSG #esoteric :14[[07Esolang:Featured languages/Candidates14]]4 10 02https://esolangs.org/w/index.php?diff=59227&oldid=58383 5* 03Oerjan 5* (-100) 10/* List of candidates */ Step #5 < 1547625729 316160 :ski!~ski@remote11.chalmers.se QUIT :Remote host closed the connection > 1547625764 140562 PRIVMSG #esoteric :14[[07Printscript14]]4 10 02https://esolangs.org/w/index.php?diff=59228&oldid=59196 5* 03A 5* (-13) 10 > 1547625782 138166 PRIVMSG #esoteric :14[[07User:A14]]4 10 02https://esolangs.org/w/index.php?diff=59229&oldid=59217 5* 03A 5* (-13) 10 < 1547628148 333749 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :uh, is funciton now featured? < 1547628150 337426 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :love it > 1547630538 166133 PRIVMSG #esoteric :14[[07Eternity14]]4 10 02https://esolangs.org/w/index.php?diff=59230&oldid=52456 5* 03Jabutosama 5* (+153) 10made the site finally readable and robust. Added mild irony to the summary section. Yes, i am this unfunny, I know. < 1547630607 869346 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection > 1547630904 326381 PRIVMSG #esoteric :14[[07User:Jabutosama14]]4 10 02https://esolangs.org/w/index.php?diff=59231&oldid=58083 5* 03Jabutosama 5* (+524) 10remade it all > 1547630914 392994 PRIVMSG #esoteric :14[[07User:Jabutosama14]]4 10 02https://esolangs.org/w/index.php?diff=59232&oldid=59231 5* 03Jabutosama 5* (-6) 10/* "I think I am ok.... But who knows? What if I were not? Could i see a difference? Hm? Just keep living oi." */ > 1547630923 230862 PRIVMSG #esoteric :14[[07User:Jabutosama14]]4 10 02https://esolangs.org/w/index.php?diff=59233&oldid=59232 5* 03Jabutosama 5* (-2) 10/* "I think I am ok.... But who knows? What if I were not? Could i see a difference? Hm? Just keep living oi." */ > 1547630997 694198 PRIVMSG #esoteric :14[[07User:Jabutosama14]]4 10 02https://esolangs.org/w/index.php?diff=59234&oldid=59233 5* 03Jabutosama 5* (+37) 10 > 1547631800 171729 PRIVMSG #esoteric :14[[07Printscript 914]]4 10 02https://esolangs.org/w/index.php?diff=59235&oldid=59222 5* 03A 5* (+19) 10 < 1547632058 431774 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1547632101 602046 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :myname: there was a brief breakdown in my procrastination. service should recommence shortly. > 1547632174 927418 PRIVMSG #esoteric :14[[07Printscript 1314]]4 N10 02https://esolangs.org/w/index.php?oldid=59236 5* 03A 5* (+3983) 10Created page with "Version 13 modifies the arithematic functions to make it support variable modifying. The original functions are modified as variable modifying: 
 set a ! set b ! add a b..."
> 1547632191 858219 PRIVMSG #esoteric :14[[07Printscript 1314]]4 10 02https://esolangs.org/w/index.php?diff=59237&oldid=59236 5* 03A 5* (+13) 10/* Implementation */
< 1547632252 104751 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :good, good
< 1547632280 988679 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :i want to procrastinate more, but sadly enough, i have a job
< 1547632634 470685 :Luciole!znc@freenode/staff/firefly PRIVMSG #esoteric :I'm good at procrastinating a bit even whilst at work
< 1547632752 880854 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite
> 1547633477 311191 PRIVMSG #esoteric :14[[07Printscript 1314]]4 10 02https://esolangs.org/w/index.php?diff=59238&oldid=59237 5* 03A 5* (+4411) 10
< 1547634225 271945 :AnotherTest!~turingcom@ptr-82l26ze7mm4q737w3j4.18120a2.ip6.access.telenet.be JOIN :#esoteric
< 1547634232 315825 :arseniiv!~arseniiv@77.79.140.88.dynamic.ufanet.ru JOIN :#esoteric
> 1547634465 583085 PRIVMSG #esoteric :14[[07Printscript 1314]]4 10 02https://esolangs.org/w/index.php?diff=59239&oldid=59238 5* 03A 5* (+5400) 10
< 1547634711 865391 :AnotherTest!~turingcom@ptr-82l26ze7mm4q737w3j4.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 252 seconds
> 1547635696 122583 PRIVMSG #esoteric :14[[07Printscript 1314]]4 10 02https://esolangs.org/w/index.php?diff=59240&oldid=59239 5* 03A 5* (-170) 10
> 1547636192 421985 PRIVMSG #esoteric :14[[07Printscript 1314]]4 10 02https://esolangs.org/w/index.php?diff=59241&oldid=59240 5* 03A 5* (-43) 10
< 1547636395 560659 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :the hell is with this A guy
< 1547636627 393466 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric
< 1547636641 865952 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`bobadventureslist http://bobadventures.comicgenesis.com/d/20190115.html
< 1547636643 692901 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :bobadventureslist http://bobadventures.comicgenesis.com/d/20190115.html: b_jonas
< 1547636663 584012 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :myname: A has like five aliases on the wiki
< 1547636671 685789 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :oh dear
< 1547636680 467974 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :are all of those as horrible as this?
< 1547636880 528112 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :like, it just looks like he is reinventing assembler last time i checked
< 1547636884 934849 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :but worse
< 1547637674 235070 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 268 seconds
< 1547637809 226558 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
> 1547637871 931174 PRIVMSG #esoteric :14[[07Printscript 1314]]4 10 02https://esolangs.org/w/index.php?diff=59242&oldid=59241 5* 03A 5* (+5396) 10
< 1547639867 127408 :AnotherTest!~turingcom@ptr-82l26ze7mm4q737w3j4.18120a2.ip6.access.telenet.be JOIN :#esoteric
< 1547640153 134830 :AnotherTest!~turingcom@ptr-82l26ze7mm4q737w3j4.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 268 seconds
< 1547640249 860750 :AnotherTest!~turingcom@ptr-82l26ze7mm4q737w3j4.18120a2.ip6.access.telenet.be JOIN :#esoteric
< 1547640618 835288 :AnotherTest!~turingcom@ptr-82l26ze7mm4q737w3j4.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 252 seconds
< 1547641212 179481 :AnotherTest!~turingcom@ptr-82l26ze7mm4q737w3j4.18120a2.ip6.access.telenet.be JOIN :#esoteric
> 1547642637 81910 PRIVMSG #esoteric :14[[07Works in progress14]]4 10 02https://esolangs.org/w/index.php?diff=59243&oldid=58968 5* 03A 5* (+82) 10
> 1547642672 496555 PRIVMSG #esoteric :14[[07Printscript14]]4 10 02https://esolangs.org/w/index.php?diff=59244&oldid=59228 5* 03A 5* (+37) 10/* See Also */
> 1547642711 595844 PRIVMSG #esoteric :14[[07Printscript 1314]]4 10 02https://esolangs.org/w/index.php?diff=59245&oldid=59242 5* 03A 5* (+65) 10
> 1547642767 866949 PRIVMSG #esoteric :14[[07Printscript 1314]]4 10 02https://esolangs.org/w/index.php?diff=59246&oldid=59245 5* 03A 5* (+59) 10
> 1547642848 819859 PRIVMSG #esoteric :14[[07Works in progress14]]4 10 02https://esolangs.org/w/index.php?diff=59247&oldid=59243 5* 03A 5* (+1) 10bad grammar
> 1547642898 815515 PRIVMSG #esoteric :14[[07Works in progress14]]4 10 02https://esolangs.org/w/index.php?diff=59248&oldid=59247 5* 03A 5* (+3) 10
> 1547642980 250369 PRIVMSG #esoteric :14[[07User:A14]]4 10 02https://esolangs.org/w/index.php?diff=59249&oldid=59229 5* 03A 5* (+106) 10
> 1547643329 278765 PRIVMSG #esoteric :14[[07List of ideas14]]4 10 02https://esolangs.org/w/index.php?diff=59250&oldid=59082 5* 03A 5* (+150) 10Another idea
< 1547643631 154634 :Essadon!~Essadon@81-225-32-185-no249.tbcn.telia.com JOIN :#esoteric
< 1547644820 805370 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net QUIT :Ping timeout: 268 seconds
< 1547644881 162025 :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
< 1547644974 144553 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net JOIN :#esoteric
< 1547646406 205635 :AnotherTest!~turingcom@ptr-82l26ze7mm4q737w3j4.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 268 seconds
< 1547647070 728803 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric
< 1547647983 788254 :newbie!~Essadon@81-225-32-185-no249.tbcn.telia.com JOIN :#esoteric
< 1547648103 65717 :Essadon!~Essadon@81-225-32-185-no249.tbcn.telia.com QUIT :Ping timeout: 258 seconds
> 1547650387 697869 PRIVMSG #esoteric :14[[07User:Arseniiv/Subsandbox14]]4 N10 02https://esolangs.org/w/index.php?oldid=59251 5* 03Arseniiv 5* (+109) 10I hope it will go as expected
< 1547650416 610494 :arseniiv!~arseniiv@77.79.140.88.dynamic.ufanet.ru PRIVMSG #esoteric :okay so subpages are allowed here
> 1547650497 170479 PRIVMSG #esoteric :14[[07User:Arseniiv14]]4 M10 02https://esolangs.org/w/index.php?diff=59252&oldid=57423 5* 03Arseniiv 5* (+30) 10Subsandbox link for it to not be an orphan
> 1547650834 597952 PRIVMSG #esoteric :14[[07Talk:Printscript14]]4 N10 02https://esolangs.org/w/index.php?oldid=59253 5* 03Arseniiv 5* (+509) 10/* Created because this page has too much information. */ new section
< 1547651104 728145 :AnotherTest!~turingcom@d51A4B8E1.access.telenet.be JOIN :#esoteric
< 1547651975 166915 :moei!~moei@softbank221078042071.bbtec.net JOIN :#esoteric
< 1547652116 728400 :AnotherTest!~turingcom@d51A4B8E1.access.telenet.be QUIT :Ping timeout: 250 seconds
< 1547652168 935714 :AnotherTest!~turingcom@ptr-82l26ze7mm4q737w3j4.18120a2.ip6.access.telenet.be JOIN :#esoteric
< 1547656986 982725 :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
< 1547657606 370287 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric
< 1547657802 304345 :Sgeo!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Ping timeout: 268 seconds
< 1547658403 344826 :int-e!~noone@int-e.eu PRIVMSG #esoteric :@metar lppt
< 1547658404 185929 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :LPPT 161700Z VRB02KT 3500 BR FEW010 BKN034 11/11 Q1018
< 1547658438 138967 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(unpleasantly humid)
< 1547659968 867901 :imode!~imode@unaffiliated/imode JOIN :#esoteric
< 1547662717 863600 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:fb8b:fb15:c1d3:a33a JOIN :#esoteric
< 1547662717 952965 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:fb8b:fb15:c1d3:a33a QUIT :Changing host
< 1547662717 953009 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
> 1547663033 273412 PRIVMSG #esoteric :14[[07HuffPuff14]]4 N10 02https://esolangs.org/w/index.php?oldid=59254 5* 03Areallycoolusername 5* (+553) 10Created page with "A language made by [[User: Areallycoolusername|Areallycoolusername]]. It's a [[Brainfuck]] derivative, and the only valid command "HUFFLEPUFF", and "HUFFLEPUFFLET".   {| class..."
> 1547663052 395625 PRIVMSG #esoteric :14[[07HuffPuff14]]4 10 02https://esolangs.org/w/index.php?diff=59255&oldid=59254 5* 03Areallycoolusername 5* (-2) 10
> 1547663115 764493 PRIVMSG #esoteric :14[[07Joke language list14]]4 10 02https://esolangs.org/w/index.php?diff=59256&oldid=59172 5* 03Areallycoolusername 5* (+28) 10/* Brainfuck derivatives */
< 1547664520 773678 :Sgeo__!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric
< 1547664709 180057 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Ping timeout: 258 seconds
< 1547668528 25583 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net QUIT :Quit: Going offline, see ya! (www.adiirc.com)
< 1547670636 232752 :xkapastel!uid17782@gateway/web/irccloud.com/x-hnwmkqledmcekqly JOIN :#esoteric
< 1547670882 711857 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 272 seconds
< 1547670970 201800 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric
> 1547671970 695689 PRIVMSG #esoteric :14[[07User:Cortex/sus++14]]4 10 02https://esolangs.org/w/index.php?diff=59257&oldid=59168 5* 03Cortex 5* (-3902) 10Replaced content with "lol nvm"
> 1547671994 144415 PRIVMSG #esoteric :14[[07$ $14]]4 10 02https://esolangs.org/w/index.php?diff=59258&oldid=59139 5* 03Cortex 5* (+11) 10
< 1547672395 482149 :b_jonas!~x@catv-176-63-14-72.catv.broadband.hu JOIN :#esoteric
< 1547673917 313381 :oren!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :is there any concievable difference between (float) and static_cast at runtime?
< 1547674011 832506 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Isn't it odd that C calls both float->int and float *-> int * conversion the same thing?
< 1547674019 418811 :b_jonas!~x@catv-176-63-14-72.catv.broadband.hu PRIVMSG #esoteric :oren: no
< 1547674038 408411 :b_jonas!~x@catv-176-63-14-72.catv.broadband.hu PRIVMSG #esoteric :but static_cast is more restricted, can be applied to fewer types
< 1547674085 712779 :b_jonas!~x@catv-176-63-14-72.catv.broadband.hu PRIVMSG #esoteric :shachaf: don't question the basic principles that our prophets K&R have layed down. it's not odd.
< 1547674086 350534 :oren!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :ah
< 1547674120 312790 :b_jonas!~x@catv-176-63-14-72.catv.broadband.hu PRIVMSG #esoteric :oren: not by much probably though
< 1547674127 498894 :b_jonas!~x@catv-176-63-14-72.catv.broadband.hu PRIVMSG #esoteric :they're more or less the same
< 1547674133 249666 :b_jonas!~x@catv-176-63-14-72.catv.broadband.hu PRIVMSG #esoteric :well
< 1547674137 727448 :b_jonas!~x@catv-176-63-14-72.catv.broadband.hu PRIVMSG #esoteric :I'm not entirely sure, sadly
< 1547674169 742445 :b_jonas!~x@catv-176-63-14-72.catv.broadband.hu PRIVMSG #esoteric :there was some strange thing with user-defined types that can give very unintuitive results for casts when classes have a strange interface
< 1547674179 451992 :arseniiv!~arseniiv@77.79.140.88.dynamic.ufanet.ru PRIVMSG #esoteric :(completely unrelated: do I remember right K&R also had defined B, or was it a more collective work?)
< 1547674202 463066 :arseniiv!~arseniiv@77.79.140.88.dynamic.ufanet.ru PRIVMSG #esoteric :(I suddenly wondered what if we had B++)
< 1547674202 723768 :b_jonas!~x@catv-176-63-14-72.catv.broadband.hu PRIVMSG #esoteric :but I think that only results in casts being surprisingly a compile error or surprisingly not a compile error
< 1547674228 190176 :b_jonas!~x@catv-176-63-14-72.catv.broadband.hu PRIVMSG #esoteric :I think when static_cast, const_cast, or reinterpret_cast is valid, then they do the same as a C-style cast
< 1547674246 946667 :b_jonas!~x@catv-176-63-14-72.catv.broadband.hu PRIVMSG #esoteric :no wait
< 1547674268 597117 :b_jonas!~x@catv-176-63-14-72.catv.broadband.hu PRIVMSG #esoteric :maybe there was something when the C-style cast was different because it called a ... I dunno really
< 1547674271 613082 :b_jonas!~x@catv-176-63-14-72.catv.broadband.hu PRIVMSG #esoteric :hack
< 1547674274 88750 :b_jonas!~x@catv-176-63-14-72.catv.broadband.hu PRIVMSG #esoteric :heck
< 1547674290 151729 :b_jonas!~x@catv-176-63-14-72.catv.broadband.hu PRIVMSG #esoteric :oren: sorry, the casts are so complicated and ugly that I really don't understand them in the general case
< 1547674306 285330 :b_jonas!~x@catv-176-63-14-72.catv.broadband.hu PRIVMSG #esoteric :you'll probably have to ask ##C++, they know the rules better
< 1547674310 259332 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :#define cast
< 1547674322 49918 :oren!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :well luckily I only needed the anwer in the particular case of float and int and such
< 1547674340 609525 :b_jonas!~x@catv-176-63-14-72.catv.broadband.hu PRIVMSG #esoteric :I can write casts to do what I want, but I can't predict what they do when they're ones I wouldn't write
< 1547674352 958645 :oren!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :in order to ensure I am not losing my mind
< 1547674363 946186 :b_jonas!~x@catv-176-63-14-72.catv.broadband.hu PRIVMSG #esoteric :oren: oh, between built-in numeric types, static cast and C style cast should be the same
< 1547674397 335593 :b_jonas!~x@catv-176-63-14-72.catv.broadband.hu PRIVMSG #esoteric :except perhaps for C complexes, which the C++ rules don't acknowledge, so the behavior of static_cast isn't really defined for htem
< 1547674443 66057 :b_jonas!~x@catv-176-63-14-72.catv.broadband.hu PRIVMSG #esoteric :oren: note though that casting a float to an int can invoke undefined behavior when there's an overflow, so a compiler _could_ give different undefined behavior for a C style cast vs a static_cast in theory
< 1547674447 83611 :b_jonas!~x@catv-176-63-14-72.catv.broadband.hu PRIVMSG #esoteric :it's unlikely that they would
< 1547674447 366905 :arseniiv!~arseniiv@77.79.140.88.dynamic.ufanet.ru PRIVMSG #esoteric :. o O ( casts are like typeclass instances at their worst but are even more obscure )
< 1547674476 176180 :b_jonas!~x@catv-176-63-14-72.catv.broadband.hu PRIVMSG #esoteric :if you need to avoid the undefined behavior, you'll have to call library functions instead of casting
< 1547674510 799048 :b_jonas!~x@catv-176-63-14-72.catv.broadband.hu PRIVMSG #esoteric :because of that undefined behavior, in practice it's not easy to use float to integer cast correctly
< 1547674520 902820 :b_jonas!~x@catv-176-63-14-72.catv.broadband.hu PRIVMSG #esoteric :you can only really do it after some comparisons to check the range of the input
< 1547674547 126193 :arseniiv!~arseniiv@77.79.140.88.dynamic.ufanet.ru PRIVMSG #esoteric :wasn’t it _to_ float though?
< 1547674577 660678 :oren!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :arseniiv: yeah in the instances it's either int to float or double to float (template function)
< 1547674596 493675 :oren!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :or float to float
< 1547674597 873155 :b_jonas!~x@catv-176-63-14-72.catv.broadband.hu PRIVMSG #esoteric :arseniiv: oh, that's better, yes
< 1547674614 274708 :oren!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :it's a template fucntion from class T to float
< 1547674621 474657 :b_jonas!~x@catv-176-63-14-72.catv.broadband.hu PRIVMSG #esoteric :to float is safe
< 1547674622 175859 :arseniiv!~arseniiv@77.79.140.88.dynamic.ufanet.ru PRIVMSG #esoteric :(float to float cast is my favorite!!)
< 1547674656 255533 :b_jonas!~x@catv-176-63-14-72.catv.broadband.hu PRIVMSG #esoteric :except that C++ doesn't know about C complex floats, so I don't know if you can static_cast a C complex to a real
< 1547675246 235309 :MDude!~MDude@71.50.218.48 JOIN :#esoteric
< 1547675559 767203 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric
< 1547675750 784611 :Sgeo__!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Ping timeout: 250 seconds
< 1547675931 969996 :AnotherTest!~turingcom@ptr-82l26ze7mm4q737w3j4.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 264 seconds
< 1547676485 139858 :MDude!~MDude@71.50.218.48 QUIT :Ping timeout: 258 seconds
< 1547676622 901504 :LKoen!~LKoen@2a01cb0407597a00915c067eebc05282.ipv6.abo.wanadoo.fr JOIN :#esoteric
< 1547677024 474158 :AnotherTest!~turingcom@d51a4b8e1.access.telenet.be JOIN :#esoteric
< 1547677284 425707 :AnotherTest!~turingcom@d51a4b8e1.access.telenet.be QUIT :Ping timeout: 250 seconds
< 1547678516 895363 :MDude!~MDude@71.50.218.48 JOIN :#esoteric
< 1547679559 613341 :b_jonas!~x@catv-176-63-14-72.catv.broadband.hu PRIVMSG #esoteric :does every ebay electronic seller now inclue a totally unrelated cheap item as a supposed color variant or size variant into their sold item listing to cause ebay to display a lower price? 
< 1547679597 408245 :b_jonas!~x@catv-176-63-14-72.catv.broadband.hu PRIVMSG #esoteric :it's getting boring
> 1547680528 183219 PRIVMSG #esoteric :14[[0711CORTLANG14]]4 N10 02https://esolangs.org/w/index.php?oldid=59259 5* 03Cortex 5* (+1041) 10Created page with "'''11CORTLANG''' (the 11th language by [[User:Cortex|]]) is a stack-based language made by [[User:Cortex|]] using only the characters 0, 1, space, and newline.  == Syntax and..."
> 1547680543 619965 PRIVMSG #esoteric :14[[07User:Cortex14]]4 10 02https://esolangs.org/w/index.php?diff=59260&oldid=59171 5* 03Cortex 5* (+17) 10
< 1547680767 234615 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
< 1547680964 236750 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 268 seconds
< 1547680964 323927 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life
< 1547682306 229558 :user24!~user24@p200300ECD3C25A000888FDF8728C84F6.dip0.t-ipconnect.de JOIN :#esoteric
< 1547682404 982769 :b_jonas!~x@catv-176-63-14-72.catv.broadband.hu QUIT :Quit: leaving
< 1547683081 355307 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection