< 1534638055 647096 :Omnious!~Omnious@16.43.181.183.ap.yournet.ne.jp JOIN :#esoteric < 1534638091 486357 :Omnious!~Omnious@16.43.181.183.ap.yournet.ne.jp QUIT :Remote host closed the connection < 1534638436 563914 :KellerFuchs28!~KellerFuc@softbank126125222209.bbtec.net JOIN :#esoteric < 1534638499 420847 :KellerFuchs28!~KellerFuc@softbank126125222209.bbtec.net QUIT :Remote host closed the connection < 1534639344 861025 :bradcomp!~bradcomp@c-67-161-161-17.hsd1.ca.comcast.net JOIN :#esoteric < 1534640103 353204 :bsanford!~bsanford@131.0.205.13 JOIN :#esoteric < 1534640126 116622 :bsanford!~bsanford@131.0.205.13 QUIT :Killed (Sigyn (Spam is off topic on freenode.)) < 1534640206 226124 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1534640808 547080 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :I think that the Dawkins scale is fail to consider the difference kind of ideas how is meant by "God" (and what is meant "exists" in this context, too) (including, that you can't know what it means). < 1534640939 807185 :bradcomp!~bradcomp@c-67-161-161-17.hsd1.ca.comcast.net QUIT :Ping timeout: 276 seconds < 1534641100 205318 :OPK9!~OPK@cm-171-100-35-162.revip10.asianet.co.th JOIN :#esoteric < 1534641474 938800 :OPK9!~OPK@cm-171-100-35-162.revip10.asianet.co.th QUIT :Ping timeout: 272 seconds < 1534641986 836266 :Kronuz14!~Kronuz@36.80.231.62 JOIN :#esoteric < 1534642290 547449 :arseniiv!~arseniiv@46.191.210.223 PRIVMSG #esoteric :hm < 1534642334 256868 :bradcomp!~bradcomp@c-67-161-161-17.hsd1.ca.comcast.net JOIN :#esoteric < 1534642355 394203 :Kronuz14!~Kronuz@36.80.231.62 QUIT :Ping timeout: 240 seconds < 1534642377 524993 :arseniiv!~arseniiv@46.191.210.223 PRIVMSG #esoteric :I think general public definitely in average doesn’t know what it means by “exists”, and I see only two ways to define this word more or less unambiguously and usefully, both of which define existing relatively: < 1534642491 804660 :LKoen!~LKoen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1534642591 747391 :arseniiv!~arseniiv@46.191.210.223 PRIVMSG #esoteric :one is for “A exists in mathematical/physical theory B” (any modern physical theory contains some mathematical theory and “bindings” of it with experimentally checkable) < 1534642634 627898 :bradcomp!~bradcomp@c-67-161-161-17.hsd1.ca.comcast.net QUIT :Ping timeout: 268 seconds < 1534642753 261431 :bradcomp!~bradcomp@c-67-161-161-17.hsd1.ca.comcast.net JOIN :#esoteric < 1534642811 777584 :LKoen!~LKoen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Ping timeout: 276 seconds < 1534643247 902459 :arseniiv!~arseniiv@46.191.210.223 PRIVMSG #esoteric :or not a physical one — any scientific theory admitting a precise definition (i. e. a mathematical one) somewhere inside in its workings; < 1534643314 710378 :bradcomp!~bradcomp@c-67-161-161-17.hsd1.ca.comcast.net QUIT :Ping timeout: 256 seconds < 1534643357 412675 :bradcomp!~bradcomp@c-67-161-161-17.hsd1.ca.comcast.net JOIN :#esoteric < 1534643676 924475 :arseniiv!~arseniiv@46.191.210.223 PRIVMSG #esoteric :another IIRC is for “(A exists in sc. theory B) upto accuracy C”, in this case it’s not atomic (and thus I think I have thought of something else originally) as it boils down to the first and “sc. theory is valid upto accuracy C” < 1534643877 50640 :arseniiv!~arseniiv@46.191.210.223 PRIVMSG #esoteric :so we can say “electrons exist”, and behind the scenes it means we pick any theory which defines them (classical electrodynamics, quantum electrodynamics etc.) and mean such an accuracy level that that theory holds — in everyday life it’s usually a very low level (and a pure mathematical theory always holds if we’re all think it’s sound) < 1534643910 849119 :arseniiv!~arseniiv@46.191.210.223 PRIVMSG #esoteric :or we can say “2 exists”, and it admits even more contexts where it’s true < 1534643999 181454 :arseniiv!~arseniiv@46.191.210.223 PRIVMSG #esoteric :there could be contexts where it’s meaningless or indeterminate or false (e. g. if we define 2 ≡ 1 + 1, and the theory knows about 1 and +, then 2 exists; if we also want 2 > 1, then in some cases 2 doesn’t exist) < 1534644048 129083 :arseniiv!~arseniiv@46.191.210.223 PRIVMSG #esoteric :these definitions are very useful IMO and they capture that we usually speak inside a vast context < 1534644131 943123 :arseniiv!~arseniiv@46.191.210.223 PRIVMSG #esoteric :but I’m still unsure abouth the second. When I find my notes, I’ll write if it’s laid out right < 1534644190 649640 :arseniiv!~arseniiv@46.191.210.223 PRIVMSG #esoteric :but, as about e. g. Dawkins, there are also useful existential _presumptions_ < 1534644475 543840 :arseniiv!~arseniiv@46.191.210.223 PRIVMSG #esoteric :they could be thought of as a propositions (maybe axioms) of some very general theories which is hard to place exactly in what domain of knowledge they are, but philosophers these days say they have figured this out. This metatheoretical stuff is a dim part and it’s not that essential to workings of science or everyday scientific worldview < 1534644626 727204 :arseniiv!~arseniiv@46.191.210.223 PRIVMSG #esoteric :it’s not IMO that interesting as an existence. Also several formalizations of logic treat existence differently in details, so that underlying logic must be included in a mentioned theory, if one to be boring enough < 1534644807 643220 :arseniiv!~arseniiv@46.191.210.223 PRIVMSG #esoteric :also these are cases when “is valid” for a theories is not enough, then there comes “is useful (to a consensus, or to someone like me)” < 1534644812 874600 :arseniiv!~arseniiv@46.191.210.223 PRIVMSG #esoteric :subtlety < 1534644959 589392 :insidious23!~insidious@177-104-242-048.provecom.com.br JOIN :#esoteric < 1534645095 737978 :arseniiv!~arseniiv@46.191.210.223 PRIVMSG #esoteric :oops I’ve completely missed. I was defining what is truth, not existence. It’s more general < 1534645309 80631 :arseniiv!~arseniiv@46.191.210.223 PRIVMSG #esoteric :so we have a mathematical truth (depending on a logic and a theory in it) or an experimental truth (depending on a precision). “Electron exists” will be the first, many experiments on this or that electrodynamics would give us tons of the second ones. Then we could combine truths of both kinds and say electrons exist with this accuracy < 1534645396 896313 :arseniiv!~arseniiv@46.191.210.223 PRIVMSG #esoteric :of course it’s a first approximation, but it’s about right for everything ontological an average man like me will need < 1534645502 841366 :insidious23!~insidious@177-104-242-048.provecom.com.br QUIT :Ping timeout: 272 seconds < 1534645586 39085 :arseniiv!~arseniiv@46.191.210.223 PRIVMSG #esoteric :an important corollary to this definition of truth is that absolute truth is a non-entity. Any truth is relative, but of course not in a sense it is usually used by politicians or journalists < 1534645916 67664 :maxalt10!~maxalt@2804:2144:ffb0:1a6:2402:d0a8:300e:5efc JOIN :#esoteric < 1534645948 899521 :maxalt10!~maxalt@2804:2144:ffb0:1a6:2402:d0a8:300e:5efc QUIT :Killed (Sigyn (Spam is off topic on freenode.)) < 1534645972 515657 :arseniiv!~arseniiv@46.191.210.223 PRIVMSG #esoteric :zzo38: ^ if you want < 1534646023 915029 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :I looked at this < 1534646098 78334 :XorSwap!~XorSwap@199.254.238.204 QUIT :Quit: the creeping crawling chaos will return. < 1534646129 85845 :arseniiv!~arseniiv@46.191.210.223 PRIVMSG #esoteric :okay < 1534646254 989106 :arseniiv!~arseniiv@46.191.210.223 PRIVMSG #esoteric :bye, going to sleep finally < 1534646368 545522 :stasoid!0287cf68@gateway/web/freenode/ip.2.135.207.104 JOIN :#esoteric < 1534646723 681397 :arseniiv!~arseniiv@46.191.210.223 QUIT :Ping timeout: 260 seconds < 1534646945 387927 :bradcomp!~bradcomp@c-67-161-161-17.hsd1.ca.comcast.net QUIT :Ping timeout: 240 seconds < 1534647052 392140 :bradcomp!~bradcomp@c-67-161-161-17.hsd1.ca.comcast.net JOIN :#esoteric < 1534647366 995928 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1534647780 385971 :joepie919!~joepie91@79.105.189.4 JOIN :#esoteric < 1534647848 125843 :joepie919!~joepie91@79.105.189.4 QUIT :Killed (Sigyn (Spam is off topic on freenode.)) > 1534647950 888719 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=57354&oldid=57343 5* 03Stasoid 5* (+155) 10/* Introductions */ > 1534647991 745531 PRIVMSG #esoteric :14[[07Talk:Axo14]]4 10 02https://esolangs.org/w/index.php?diff=57355&oldid=8279 5* 03Stasoid 5* (+141) 10/* Exit command in string mode */ new section > 1534648148 328720 PRIVMSG #esoteric :14[[07Talk:Axo14]]4 10 02https://esolangs.org/w/index.php?diff=57356&oldid=57355 5* 03Stasoid 5* (+121) 10/* Name capitalization */ new section < 1534648319 845649 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1534648454 545831 :stasoid_!0287cf68@gateway/web/freenode/ip.2.135.207.104 JOIN :#esoteric < 1534648468 888567 :drot29!~drot@190-202-200-6.dyn.dsl.cantv.net JOIN :#esoteric < 1534648500 553673 :stasoid!0287cf68@gateway/web/freenode/ip.2.135.207.104 QUIT :Ping timeout: 252 seconds < 1534648591 550494 :stasoid!0287cf68@gateway/web/freenode/ip.2.135.207.104 JOIN :#esoteric < 1534648622 822596 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 276 seconds < 1534648627 335967 :drot29!~drot@190-202-200-6.dyn.dsl.cantv.net QUIT :Remote host closed the connection < 1534648693 403118 :stasoid!0287cf68@gateway/web/freenode/ip.2.135.207.104 QUIT :Client Quit < 1534649585 414487 :bradcomp!~bradcomp@c-67-161-161-17.hsd1.ca.comcast.net QUIT :Ping timeout: 240 seconds < 1534649713 715395 :LKoen!~LKoen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1534649783 677778 :LKoen_!~LKoen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1534649783 902324 :LKoen!~LKoen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Read error: Connection reset by peer < 1534649899 802217 :bradcomp!~bradcomp@c-67-161-161-17.hsd1.ca.comcast.net JOIN :#esoteric < 1534650057 681308 :LKoen_!~LKoen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Ping timeout: 240 seconds < 1534651569 909544 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1534651848 836426 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 272 seconds < 1534651882 432936 :zch!~zch@222.240.114.4 JOIN :#esoteric < 1534651900 462278 :zch!~zch@222.240.114.4 QUIT :Client Quit < 1534652171 854240 :bradcomp!~bradcomp@c-67-161-161-17.hsd1.ca.comcast.net QUIT :Ping timeout: 276 seconds > 1534654623 387764 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03SelfMod 5* 10New user account < 1534654772 585113 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric > 1534654925 682753 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=57357&oldid=57354 5* 03SelfMod 5* (+173) 10/* Introductions */ hi < 1534655032 486738 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 244 seconds < 1534655992 246285 :bradcomp!~bradcomp@c-67-161-161-17.hsd1.ca.comcast.net JOIN :#esoteric < 1534656083 976725 :Nazca!~Nazca@p6646082-ipngn30301marunouchi.tokyo.ocn.ne.jp JOIN :#esoteric < 1534656116 976380 :Nazca!~Nazca@p6646082-ipngn30301marunouchi.tokyo.ocn.ne.jp QUIT :Remote host closed the connection < 1534656524 444644 :Cronus28!~Cronus@2a02-8434-3670-9301-bb97-592d-b4c9-c71f.rev.sfr.net JOIN :#esoteric < 1534656528 590868 :johnpark_pj!~johnpark_@117.red-79-158-133.dynamicip.rima-tde.net JOIN :#esoteric < 1534656547 461605 :Cronus28!~Cronus@2a02-8434-3670-9301-bb97-592d-b4c9-c71f.rev.sfr.net QUIT :Killed (Sigyn (Spam is off topic on freenode.)) < 1534656799 585579 :bradcomp!~bradcomp@c-67-161-161-17.hsd1.ca.comcast.net QUIT :Ping timeout: 244 seconds < 1534656929 844855 :johnpark_pj!~johnpark_@117.red-79-158-133.dynamicip.rima-tde.net QUIT :Ping timeout: 276 seconds < 1534657130 805696 :spirit_pact9!~spirit_pa@182-165-36-128f1.wky1.eonet.ne.jp JOIN :#esoteric < 1534657352 826864 :vespaper!~vespaper@222.215.48.152 JOIN :#esoteric < 1534657458 639748 :spirit_pact9!~spirit_pa@182-165-36-128f1.wky1.eonet.ne.jp QUIT :Ping timeout: 256 seconds < 1534657503 241939 :vespaper!~vespaper@222.215.48.152 QUIT :Remote host closed the connection < 1534657945 505669 :wraeth16!~wraeth@119.82.86.197 JOIN :#esoteric < 1534658009 826404 :wraeth16!~wraeth@119.82.86.197 QUIT :Remote host closed the connection < 1534658117 628332 :bradcomp!~bradcomp@c-67-161-161-17.hsd1.ca.comcast.net JOIN :#esoteric < 1534658683 530786 :Some_Person10!~Some_Pers@116.120.199.248 JOIN :#esoteric < 1534658715 861441 :Some_Person10!~Some_Pers@116.120.199.248 QUIT :Killed (Sigyn (Spam is off topic on freenode.)) < 1534659340 195127 :OwenBarfield!~OwenBarfi@117.7.100.157 JOIN :#esoteric < 1534659456 89043 :OwenBarfield!~OwenBarfi@117.7.100.157 QUIT :Killed (Sigyn (Spam is off topic on freenode.)) < 1534659626 672141 :Inception!~Inception@210.99.255.174 JOIN :#esoteric < 1534659639 601947 :Inception!~Inception@210.99.255.174 QUIT :Killed (Sigyn (Spam is off topic on freenode.)) < 1534660637 710692 :spiegelau!~spiegelau@82.144.205.57 JOIN :#esoteric < 1534660724 791405 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1534661006 817138 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 272 seconds < 1534661474 540925 :burnout_16!~burnout_@119.93.1.217 JOIN :#esoteric < 1534661878 549019 :burnout_16!~burnout_@119.93.1.217 QUIT :Ping timeout: 260 seconds < 1534662410 586425 :bradcomp!~bradcomp@c-67-161-161-17.hsd1.ca.comcast.net QUIT :Ping timeout: 244 seconds < 1534662679 900361 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1534662801 197075 :TroniQ89!~TroniQ89@113.22.244.212 JOIN :#esoteric < 1534662923 649710 :TroniQ89!~TroniQ89@113.22.244.212 QUIT :Killed (Sigyn (Spam is off topic on freenode.)) < 1534663418 582951 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 260 seconds < 1534663836 31366 :Guest23378!~totte@cpe-97-99-109-106.tx.res.rr.com JOIN :#esoteric < 1534664062 840746 :Guest23378!~totte@cpe-97-99-109-106.tx.res.rr.com QUIT :Remote host closed the connection < 1534664720 600226 :F4RR3LL!~F4RR3LL@14.51.81.133 JOIN :#esoteric < 1534664983 537113 :F4RR3LL!~F4RR3LL@14.51.81.133 QUIT :Ping timeout: 244 seconds < 1534665070 700224 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1534665198 547540 :stasoid_!0287cf68@gateway/web/freenode/ip.2.135.207.104 QUIT :Ping timeout: 252 seconds < 1534666587 395778 :LKoen!~LKoen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1534667625 719297 :macker22!~macker@softbank060132060032.bbtec.net JOIN :#esoteric < 1534667662 425580 :macker22!~macker@softbank060132060032.bbtec.net QUIT :Killed (Sigyn (Spam is off topic on freenode.)) < 1534670197 828713 :esqapezord!~IceChat9@bzq-109-64-109-207.red.bezeqint.net JOIN :#esoteric < 1534670315 112904 :bambams26!~bambams@nat-31-128-137-29.pool.powernet.com.ru JOIN :#esoteric < 1534670424 608017 :xkapastel!uid17782@gateway/web/irccloud.com/x-izzkqofvcdydiwfw QUIT :Quit: Connection closed for inactivity < 1534670528 244323 :S_Gautam!uid286066@gateway/web/irccloud.com/x-ifzocswwmngxqpvc JOIN :#esoteric < 1534670561 366880 :bambams26!~bambams@nat-31-128-137-29.pool.powernet.com.ru QUIT :Remote host closed the connection < 1534670632 372588 :esqapezord!~IceChat9@bzq-109-64-109-207.red.bezeqint.net QUIT :Quit: Given the choice between you, I'll take the sea-sick crocodile. < 1534670844 841868 :Shragazord!~quassel@bzq-109-64-109-207.red.bezeqint.net JOIN :#esoteric < 1534670933 477610 :Shragazord!~quassel@bzq-109-64-109-207.red.bezeqint.net PART :#esoteric < 1534670956 27196 :Esqapezord!~quassel@bzq-109-64-109-207.red.bezeqint.net JOIN :#esoteric < 1534672285 294472 :AnotherTest!~turingcom@ptr-82l26zcb1dmnmcpyztw.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1534673828 112983 :Pixelz21!~Pixelz@i118-19-175-210.s41.a009.ap.plala.or.jp JOIN :#esoteric < 1534674084 231205 :Pixelz21!~Pixelz@i118-19-175-210.s41.a009.ap.plala.or.jp QUIT :Remote host closed the connection > 1534674419 650909 PRIVMSG #esoteric :14[[07Puzzlang14]]4 M10 02https://esolangs.org/w/index.php?diff=57358&oldid=40488 5* 03Oerjan 5* (+4) 10/* Computational Class */ Link TC < 1534675763 423559 :zseri!~zseri@i5E86C93C.versanet.de JOIN :#esoteric < 1534676577 674670 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net QUIT :Ping timeout: 240 seconds < 1534677910 463601 :poxifide27!~poxifide@softbank060103153204.bbtec.net JOIN :#esoteric < 1534678087 857529 :poxifide27!~poxifide@softbank060103153204.bbtec.net QUIT :Killed (Sigyn (Spam is off topic on freenode.)) < 1534678558 627990 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1534678686 310225 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1534678701 789782 :JStoker21!~JStoker@49.134.201.77.rev.sfr.net JOIN :#esoteric < 1534678894 733422 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1534678913 90172 :JStoker21!~JStoker@49.134.201.77.rev.sfr.net QUIT :Remote host closed the connection < 1534680462 75942 :Esqapezord!~quassel@bzq-109-64-109-207.red.bezeqint.net QUIT :Quit: http://quassel-irc.org - Chat comfortably. Anywhere. < 1534680484 860441 :Shragazord!~quassel@bzq-109-64-109-207.red.bezeqint.net JOIN :#esoteric < 1534680651 609334 :threeFifths!~threeFift@cm-27-145-1-97.revip12.asianet.co.th JOIN :#esoteric < 1534680941 235249 :threeFifths!~threeFift@cm-27-145-1-97.revip12.asianet.co.th QUIT :Remote host closed the connection < 1534681454 621664 :idn0!~idn@93.190.24.240 JOIN :#esoteric < 1534681524 599505 :Contessa!~Contessa@176.192.235.239 JOIN :#esoteric < 1534681532 465879 :Contessa!~Contessa@176.192.235.239 QUIT :Killed (Sigyn (Spam is off topic on freenode.)) < 1534681775 300144 :idn0!~idn@93.190.24.240 QUIT :Ping timeout: 265 seconds < 1534682286 778461 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1534682516 627546 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 256 seconds < 1534683259 343422 :zseri!~zseri@i5E86C93C.versanet.de QUIT :Quit: Leaving < 1534684601 120385 :xkapastel!uid17782@gateway/web/irccloud.com/x-axlhjiuaamgjrxgx JOIN :#esoteric < 1534685396 418191 :yaymuffins5!~yaymuffin@190.18.166.212 JOIN :#esoteric < 1534685456 664300 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1534685542 685826 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 256 seconds < 1534685789 827542 :yaymuffins5!~yaymuffin@190.18.166.212 QUIT :Ping timeout: 276 seconds < 1534685857 310065 :Levex!~Levex@1.233.38.184 JOIN :#esoteric < 1534685919 706887 :Levex!~Levex@1.233.38.184 QUIT :Killed (Sigyn (Spam is off topic on freenode.)) < 1534686336 676355 :arseniiv!~arseniiv@46.191.210.223 JOIN :#esoteric < 1534687254 33100 :spiegelau!~spiegelau@82.144.205.57 QUIT :Quit: leaving < 1534687947 910278 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1534688381 734287 :OGF28!~OGF@14.34.160.243 JOIN :#esoteric < 1534688454 523216 :OGF28!~OGF@14.34.160.243 QUIT :Killed (Sigyn (Spam is off topic on freenode.)) < 1534689484 826769 :A_D3!~A_D@170.231.97.66 JOIN :#esoteric < 1534689703 962725 :S_Gautam!uid286066@gateway/web/irccloud.com/x-ifzocswwmngxqpvc QUIT :Quit: Connection closed for inactivity < 1534689834 448425 :Sveta!~Sveta@5.219.248.6 JOIN :#esoteric < 1534689843 911874 :exezin9!~exezin@47.9.208.46.dyn.plus.net JOIN :#esoteric < 1534689895 298669 :A_D3!~A_D@170.231.97.66 QUIT :Ping timeout: 265 seconds < 1534690071 529696 :Sveta!~Sveta@5.219.248.6 QUIT :Remote host closed the connection < 1534690100 863777 :exezin9!~exezin@47.9.208.46.dyn.plus.net QUIT :Remote host closed the connection < 1534690286 767271 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net JOIN :#esoteric < 1534690772 956002 :Shragazord!~quassel@bzq-109-64-109-207.red.bezeqint.net QUIT :Read error: Connection reset by peer < 1534690890 634082 :Shragazord!~quassel@bzq-109-64-109-207.red.bezeqint.net JOIN :#esoteric < 1534691202 556142 :khronosschoty8!~khronossc@211.228.104.62 JOIN :#esoteric < 1534691345 721915 :khronosschoty8!~khronossc@211.228.104.62 QUIT :Remote host closed the connection < 1534691562 586559 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1534691639 854457 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Ping timeout: 276 seconds < 1534691670 992614 :atslash!~atslash@broadband-46-188-0-82.2com.net JOIN :#esoteric < 1534692356 45977 :sebbu2!~sebbu@unaffiliated/sebbu NICK :sebbu < 1534692634 251599 :user24!~void@D47095DC.rev.sefiber.dk JOIN :#esoteric < 1534692690 462985 :imode!~imode@unaffiliated/imode QUIT :Quit: WeeChat 2.2 < 1534692892 719615 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1534692934 121050 :imode!~imode@unaffiliated/imode QUIT :Client Quit < 1534692951 801994 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1534693038 544537 :ep100!69e15483@gateway/web/freenode/ip.105.225.84.131 JOIN :#esoteric < 1534693214 915126 :pokk18!~pokk@178-167-94-52.dynvpn.flex.ru JOIN :#esoteric < 1534693297 580197 :pokk18!~pokk@178-167-94-52.dynvpn.flex.ru QUIT :Killed (Sigyn (Spam is off topic on freenode.)) < 1534693476 172211 :user24!~void@D47095DC.rev.sefiber.dk QUIT :Quit: Leaving < 1534693854 252769 :red-0010!~red-001@190.13.63.217 JOIN :#esoteric < 1534694025 92175 :red-0010!~red-001@190.13.63.217 QUIT :Remote host closed the connection < 1534695119 359991 :atslash!~atslash@broadband-46-188-0-82.2com.net QUIT :Read error: Connection reset by peer < 1534695196 347478 :atslash!~atslash@broadband-46-188-0-82.2com.net JOIN :#esoteric < 1534695677 450857 :buriedalive!~buriedali@41.225.254.216 JOIN :#esoteric < 1534695700 280304 :buriedalive!~buriedali@41.225.254.216 QUIT :Killed (Sigyn (Spam is off topic on freenode.)) < 1534695981 703880 :DarkMukke12!~DarkMukke@203.red-95-120-98.dynamicip.rima-tde.net JOIN :#esoteric < 1534696047 783165 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Ping timeout: 240 seconds < 1534696079 259726 :DarkMukke12!~DarkMukke@203.red-95-120-98.dynamicip.rima-tde.net QUIT :Killed (Sigyn (Spam is off topic on freenode.)) < 1534696239 953341 :eth224!~eth2@190-39-65-137.dyn.dsl.cantv.net JOIN :#esoteric < 1534696374 290409 :eth224!~eth2@190-39-65-137.dyn.dsl.cantv.net QUIT :Read error: Connection reset by peer < 1534696605 934363 :Vorpal!~Vorpal@c193-150-230-246.bredband.comhem.se JOIN :#esoteric < 1534696606 24706 :Vorpal!~Vorpal@c193-150-230-246.bredband.comhem.se QUIT :Changing host < 1534696606 47351 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1534696670 780136 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 276 seconds < 1534697393 782455 :ep100!69e15483@gateway/web/freenode/ip.105.225.84.131 QUIT :Quit: Page closed < 1534697987 295094 :bradcomp!~bradcomp@c-67-161-161-17.hsd1.ca.comcast.net JOIN :#esoteric < 1534698449 660490 :abrotman13!~abrotman@66.red-83-42-159.dynamicip.rima-tde.net JOIN :#esoteric < 1534698957 719244 :abrotman13!~abrotman@66.red-83-42-159.dynamicip.rima-tde.net QUIT :Ping timeout: 240 seconds < 1534699097 109107 :S_Gautam!uid286066@gateway/web/irccloud.com/x-npsmerhtkjfymqrz JOIN :#esoteric < 1534699887 287961 :Shragazord!~quassel@bzq-109-64-109-207.red.bezeqint.net QUIT :Quit: http://quassel-irc.org - Chat comfortably. Anywhere. < 1534700074 296351 :bradcomp!~bradcomp@c-67-161-161-17.hsd1.ca.comcast.net QUIT :Ping timeout: 265 seconds < 1534701780 404876 :bradcomp!~bradcomp@c-67-161-161-17.hsd1.ca.comcast.net JOIN :#esoteric < 1534702025 457627 :bradcomp!~bradcomp@c-67-161-161-17.hsd1.ca.comcast.net QUIT :Ping timeout: 240 seconds < 1534703252 205350 :LKoen!~LKoen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Remote host closed the connection < 1534703875 473125 :bradcomp!~bradcomp@c-67-161-161-17.hsd1.ca.comcast.net JOIN :#esoteric < 1534703990 698609 :TheoM!~TheoM@188.211.187.255 JOIN :#esoteric < 1534704147 667802 :bradcomp!~bradcomp@c-67-161-161-17.hsd1.ca.comcast.net QUIT :Ping timeout: 240 seconds < 1534704417 676117 :TheoM!~TheoM@188.211.187.255 QUIT :Ping timeout: 240 seconds < 1534705789 663655 :bradcomp!~bradcomp@c-67-161-161-17.hsd1.ca.comcast.net JOIN :#esoteric < 1534705954 252618 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1534706585 784997 :unknown29!~unknown@ntaich104166.aich.nt.ngn.ppp.infoweb.ne.jp JOIN :#esoteric < 1534706624 24137 :unknown29!~unknown@ntaich104166.aich.nt.ngn.ppp.infoweb.ne.jp QUIT :Killed (Sigyn (Spam is off topic on freenode.)) < 1534706894 524469 :oerjan!oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1534706964 55056 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Many C programs are designed to return a null pointer in case of error and something else if it is OK, but how common is it to return a null pointer if it is OK and not null if it is an error? Sometimes I have done that in some cases. < 1534707045 233045 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Go functions often do that with the second return value. < 1534707078 346959 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :x, err := f(); if err != nil { ... } < 1534707106 168583 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's not a pointer, but some glibc functions have an annoying idiom with errno that works similarly. < 1534707125 273782 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(errno = 0; x = f(); if (errno != 0) { ... }) < 1534707143 788359 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 255 seconds < 1534707340 205269 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Some functions in Free Hero Mesh return null if OK or a constant error message if it is an error (although some errors are fatal and will cause the program to terminate instead). < 1534707447 663538 :bradcomp!~bradcomp@c-67-161-161-17.hsd1.ca.comcast.net QUIT :Ping timeout: 240 seconds < 1534707528 201332 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :jix: you have some questions for you on Talk:Axo < 1534707565 626847 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION cannot recall em talking in years...
< 1534707648 891359 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :I don't know of any program language other than C and LLVM which has setjmp/longjmp, even though sometimes it can be good. Also many APIs of many programs can't be longjmp through since it might do something that it doesn't expect < 1534707822 657770 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1534707850 530747 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hasn't edited the wiki since 2006, yet is still here in the channel :P < 1534707867 667572 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i guess i can answer one of the questions. < 1534708082 706495 :bradcomp!~bradcomp@c-67-161-161-17.hsd1.ca.comcast.net JOIN :#esoteric > 1534708159 107703 PRIVMSG #esoteric :14[[07Axo14]]4 10 02https://esolangs.org/w/index.php?diff=57359&oldid=42647 5* 03Oerjan 5* (+14) 10Standardize capitalization to the (mostly) original < 1534709190 649145 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm i think the other question was due to an edit error < 1534709655 556164 :DenSchub7!~DenSchub@117.212.89.240 JOIN :#esoteric < 1534709842 5576 :Lumpi6!~Lumpi@69-196-190-215.dsl.teksavvy.com JOIN :#esoteric < 1534709871 618982 :DenSchub7!~DenSchub@117.212.89.240 QUIT :Killed (Sigyn (Spam is off topic on freenode.)) < 1534709951 333375 :kashike3!~kashike@135-130-244-87.sat.poltava.ua JOIN :#esoteric < 1534710008 713138 :kashike3!~kashike@135-130-244-87.sat.poltava.ua QUIT :Killed (Sigyn (Spam is off topic on freenode.)) < 1534710009 930837 :Janusz7!~Janusz@190.18.166.212 JOIN :#esoteric > 1534710065 145060 PRIVMSG #esoteric :14[[07Axo14]]4 10 02https://esolangs.org/w/index.php?diff=57360&oldid=57359 5* 03Oerjan 5* (+35) 10grm, fix ancient rewriting error < 1534710132 868894 :Janusz7!~Janusz@190.18.166.212 QUIT :Killed (Sigyn (Spam is off topic on freenode.)) < 1534710149 477964 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Why does SQLite have a sqlite3_result_blob64() function but no corresponding sqlite3_value_bytes64() function (at least according to the documentation)? < 1534710159 17616 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :jix: never mind, i found the answers < 1534710178 573018 :Lumpi6!~Lumpi@69-196-190-215.dsl.teksavvy.com QUIT :Ping timeout: 260 seconds > 1534710363 830719 PRIVMSG #esoteric :14[[07Talk:Axo14]]4 10 02https://esolangs.org/w/index.php?diff=57361&oldid=57356 5* 03Oerjan 5* (+554) 10Fixed errors < 1534710440 316801 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Presumably the reason is due to the limit which is limited to 32-bits (having interfaces with 64-bit numbers can be useful in case you do not want to implement that by yourself), but it should probably be mentioned in the documentation of sqlite3_result_blob64() and so on that it is limited otherwise you might think the limit is longer if you do not check elsewhere. < 1534710477 389365 :LKoen!~LKoen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1534710565 659650 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :(Since it is already limited to one billion anyways.) > 1534710583 711030 PRIVMSG #esoteric :14[[07List of ideas14]]4 10 02https://esolangs.org/w/index.php?diff=57362&oldid=57080 5* 03GDavid 5* (+569) 10/* Mathematics */ < 1534710755 395576 :LKoen!~LKoen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Ping timeout: 240 seconds < 1534710763 213903 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :(If a sqlite3_limit64() function is ever added, then a sqlite3_value_bytes64() function may be necessary.) < 1534711263 568620 :atslash!~atslash@broadband-46-188-0-82.2com.net QUIT :Ping timeout: 260 seconds < 1534711277 926407 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1534711280 632609 :bradcomp!~bradcomp@c-67-161-161-17.hsd1.ca.comcast.net QUIT :Ping timeout: 256 seconds < 1534711683 990972 :int-e!~noone@int-e.eu PRIVMSG #esoteric :<3 null pointer dereferences. < 1534711769 472818 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Null pointer dereferences? < 1534711863 239664 :int-e!~noone@int-e.eu PRIVMSG #esoteric :or near enough: SEGV on unknown address 0x000000000008 < 1534711934 746039 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :What program is that? < 1534712114 131147 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Ar maybe address sanitizer is playing tricks on me. It's my own program but the error is thrown in a library. > 1534712146 497956 PRIVMSG #esoteric :14[[07Puzzlang14]]4 10 02https://esolangs.org/w/index.php?diff=57363&oldid=57358 5* 03Oerjan 5* (+52) 10/* Overview */ Use horizontal space instead of vertical < 1534712171 871453 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION vaguely wonders if someone changed it the opposite way before
< 1534712218 730068 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Sometimes that happens if you pass improper arguments to the library. < 1534712263 695291 :int-e!~noone@int-e.eu PRIVMSG #esoteric :zzo38: well I found my real mistake and address santizer is still complaining. so I guess that interacts badly with the library (it's an OpenCL thing) < 1534712314 227156 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Sometimes the mistake is actually in the library; it is not always your own mistake. < 1534712510 293644 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1534712543 747486 :int-e!~noone@int-e.eu PRIVMSG #esoteric :It's somewhat interesting... the Intel OpenCL runtime reads from the zero page, and the nvidia one doesn't even show up to the party, if I enable the address sanitizer. < 1534712688 990534 :int-e!~noone@int-e.eu PRIVMSG #esoteric :http://paste.debian.net/1038537/ < 1534712996 544240 :matlock!~matlock@156.203.71.102 JOIN :#esoteric < 1534713120 141593 :int-e!~noone@int-e.eu PRIVMSG #esoteric :cute, intel's vendor id is 0x8086 < 1534713387 678110 :matlock!~matlock@156.203.71.102 QUIT :Ping timeout: 240 seconds < 1534713527 670795 :LKoen!~LKoen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1534713646 298163 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 265 seconds < 1534713733 668222 :Guest32399!~Guest3239@41.202.166.40 JOIN :#esoteric < 1534714014 813739 :bradcomp!~bradcomp@c-67-161-161-17.hsd1.ca.comcast.net JOIN :#esoteric < 1534714025 789158 :Guest32399!~Guest3239@41.202.166.40 QUIT :Ping timeout: 276 seconds < 1534714209 809653 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :How common is programs that use SQLite databases also allowing the user to use SQL to write extensions for the program? < 1534714249 178405 :cats28!~cats@2a01:5580:dffc:1b7:8e59:73ff:fed4:7317 JOIN :#esoteric < 1534714298 758771 :bradcomp!~bradcomp@c-67-161-161-17.hsd1.ca.comcast.net QUIT :Ping timeout: 276 seconds < 1534714610 803568 :cats28!~cats@2a01:5580:dffc:1b7:8e59:73ff:fed4:7317 QUIT :Ping timeout: 276 seconds < 1534714635 908080 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1534715610 56828 :Sgeo!~Sgeo@ool-18b98dd9.dyn.optonline.net PRIVMSG #esoteric :shachaf, did you real latest OOTS book? < 1534716738 390363 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No. < 1534716758 920059 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm waiting to order the The Complete Olist of the Stick book < 1534716766 587442 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which is a shame because it'll probably never be released? < 1534717134 932843 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( just put $1 into a bank account so you'll be able to pay for it when it is released ) < 1534717213 294804 :AnotherTest!~turingcom@ptr-82l26zcb1dmnmcpyztw.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 265 seconds < 1534717254 323816 :LKoen!~LKoen@vbo91-6-78-245-243-132.fbx.proxad.net 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.” < 1534717740 839238 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 272 seconds < 1534717770 652819 :int-e!~noone@int-e.eu PRIVMSG #esoteric :zzo38: if you care, https://github.com/google/sanitizers/issues/629 has some information relevant to why the nvidia platform "disappears" with address sanitizer. < 1534717828 612725 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(and indeed it doesn't do that if I use ASAN_OPTIONS=protect_shadow_gap=0) < 1534717830 816752 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1534717834 845631 :bradcomp!~bradcomp@c-67-161-161-17.hsd1.ca.comcast.net JOIN :#esoteric < 1534718007 605644 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric ::) < 1534718120 883410 :bradcomp!~bradcomp@c-67-161-161-17.hsd1.ca.comcast.net QUIT :Ping timeout: 276 seconds < 1534719332 527681 :bradcomp!~bradcomp@c-67-161-161-17.hsd1.ca.comcast.net JOIN :#esoteric > 1534719583 803933 PRIVMSG #esoteric :14[[07TRAVEL 3314]]4 N10 02https://esolangs.org/w/index.php?oldid=57364 5* 03GDavid 5* (+3624) 10Created page with "TRAVEL 33 is an esolang invented by [[User:GDavid]]. It's capable of sending information in time, even backwards therefore it's uncomputable.
It got it's name from the f..." < 1534719603 290465 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net QUIT :Quit: ZNC 1.6.5+deb2build2 - http://znc.in < 1534719619 503725 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net JOIN :#esoteric < 1534720082 420487 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Is anyone on here willing to help to write the picture editor program for use with Free Hero Mesh? It should not use any libraries other than those used by Free Hero Mesh itself, ideally, but maybe there is other idea < 1534720321 934224 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what is free hero mesb < 1534720508 625341 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Here is a wiki and source repository: http://zzo38computer.org/fossil/heromesh.ui/wcontent The file format for the pictures is documented, and you can also look at the source codes. You can also add feature requests, bug reports, add more documentation if you want to, etc. So far I wrote all of it by myself, and expect I will continue to write most of it, but I also accept contributions if there are any. < 1534720782 893410 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Free Hero Mesh is a program to make puzzle games. < 1534720947 685975 :arseniiv!~arseniiv@46.191.210.223 QUIT :Ping timeout: 240 seconds < 1534721196 632108 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Are all of the documentation of the file formats sense or is something difficult to understand? < 1534721407 820178 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Free Hero Mesh is designed for puzzle games played on a rectangular grid (no larger than 64x64), without any randomness or any timing; it is purely turn-based. Hidden information is partially supported for classes with the CF_QUIZ flag set, although it is recommended not to hide information. < 1534721483 522258 :bradcomp!~bradcomp@c-67-161-161-17.hsd1.ca.comcast.net QUIT :Ping timeout: 260 seconds < 1534721629 838820 :bradcomp!~bradcomp@c-67-161-161-17.hsd1.ca.comcast.net JOIN :#esoteric < 1534721780 346165 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1534722127 635063 :Guest88463!~Vlad@111.246.85.176 JOIN :#esoteric < 1534722152 33548 :int-e!~noone@int-e.eu PRIVMSG #esoteric :@google "bio-integrity metadata" < 1534722153 16411 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :https://patchwork.kernel.org/patch/9497271/ < 1534722575 406140 :Guest88463!~Vlad@111.246.85.176 QUIT :Ping timeout: 240 seconds < 1534722734 777440 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1534722878 784454 :bradcomp!~bradcomp@c-67-161-161-17.hsd1.ca.comcast.net QUIT :Ping timeout: 276 seconds < 1534723022 792320 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 272 seconds