< 1427760715 851974 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :Probably, although RDF files are often plain text so you can read them anyways < 1427761122 208323 :bb010g!uid21050@gateway/web/irccloud.com/x-qoxnkzvnezbswvyq JOIN :#esoteric < 1427761411 924426 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I learned that relatively recently. It seems suspiciously TeX-like--do you know if there is any relation between the two? < 1427761425 454664 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Wait, sorry, was thinking of RTF < 1427762030 229217 :olsner!~salparot@c80-217-116-33.bredband.comhem.se PRIVMSG #esoteric :iirc RDF is suspiciously HTML-like < 1427762075 887480 :olsner!~salparot@c80-217-116-33.bredband.comhem.se PRIVMSG #esoteric :e.g. XML but with bendy rules < 1427762083 931909 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hellolsner < 1427762283 862225 :orin!~g2watson@wolf.cdf.toronto.edu PRIVMSG #esoteric :.quit < 1427762286 432191 :orin!~g2watson@wolf.cdf.toronto.edu QUIT :Quit: leaving < 1427764074 12191 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Melvar: Konsole, like all of KDE, uses UCS2 < 1427764109 64894 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :an astral character may display correctly, but it counts as two for various things < 1427764583 463797 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :coppro: Ugh. < 1427764594 984705 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :UCS2 of all things... < 1427765273 488351 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1427765284 419793 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1427765726 694151 :TodPunk!Tod@50-198-177-186-static.hfc.comcastbusiness.net QUIT :Quit: This is me, signing off. Probably rebooting or something. < 1427765915 311007 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric ::/ < 1427766250 987203 :TodPunk!~Tod@50-198-177-186-static.hfc.comcastbusiness.net JOIN :#esoteric < 1427766967 34992 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I found that out when I wanted to try to fix KCharSelect not supporting codepoints outside the BMP < 1427767000 380688 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :http://doc.qt.io/qt-5/qchar.html I don't think it'll change anytime soon :\ < 1427767280 669391 :variable!~variable@freebsd/developer/variable QUIT :Read error: Connection reset by peer < 1427767564 82205 :Lymee!~lymia@inportb/loli/cirno-chan JOIN :#esoteric < 1427767740 85802 :Lymia!~lymia@inportb/loli/cirno-chan QUIT :Ping timeout: 256 seconds < 1427769287 89407 :PinealGlandOptic!~PinealGla@82.144.205.57 JOIN :#esoteric < 1427769784 736637 :vodkode!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net JOIN :#esoteric < 1427769917 978624 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :olsner: No, RDF isn't specifically XML; XML is one format to store RDF data, but another is Turtle. < 1427769936 592044 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :My own FOAF file also stores RDF data, but it is Turtle rather than XML. < 1427769937 945202 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :See? < 1427769992 556683 :Judas!~Judas@iro35-1-78-232-130-105.fbx.proxad.net JOIN :#esoteric < 1427770043 447488 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1427770314 630060 :variable!~variable@freebsd/developer/variable QUIT :Read error: Connection reset by peer < 1427770508 972681 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1427770605 759701 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1427770648 602333 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :which is better? < 1427770814 788331 :vodkode!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net QUIT :Ping timeout: 252 seconds < 1427771169 511776 :PinealGlandOptic!~PinealGla@82.144.205.57 QUIT :Quit: leaving < 1427771864 865652 :MDude!~fyrc@pa-67-235-2-71.dhcp.embarqhsd.net NICK :MDream < 1427772765 326465 :vodkode!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net JOIN :#esoteric < 1427772971 143793 :ProofTechnique!~ptech@c-24-147-92-185.hsd1.vt.comcast.net JOIN :#esoteric < 1427775003 46337 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :quintopia: Well, I prefer to use Turtle, but some prefer XML. For a simple (but not very good for writing by hand and reading manually either) format, there is N-Triples. Any N-Triples document is a valid Turtle document though; N-Triples is a subset of Turtle. < 1427775076 626252 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :(Therefore any Turtle parser also parses N-Triples. The SQLite extension I wrote can convert Turtle into N-Triples.) < 1427775486 394284 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1427776682 539515 :gde33!kvirc@546A0B75.cm-12-3a.dynamic.ziggo.nl QUIT :Read error: Connection reset by peer < 1427778151 936952 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 246 seconds < 1427778709 612639 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1427778985 188781 :Judas!~Judas@iro35-1-78-232-130-105.fbx.proxad.net QUIT :Read error: Connection reset by peer < 1427781708 927369 :^v!~^v@2601:4:680:104c:45c7:74aa:917f:8c54 QUIT :Read error: Connection reset by peer < 1427781732 363502 :^v!~^v@2601:4:680:104c:45c7:74aa:917f:8c54 JOIN :#esoteric < 1427782761 379574 :vodkode!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net QUIT :Ping timeout: 264 seconds < 1427782856 320982 :zadock!~zadock@81.180.210.87 QUIT :Quit: Leaving < 1427783678 513270 :vodkode!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net JOIN :#esoteric < 1427784765 621803 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 245 seconds < 1427784804 610248 :Sgeo!~quassel@ool-44c2a85f.dyn.optonline.net JOIN :#esoteric < 1427784960 877416 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Ping timeout: 252 seconds < 1427784985 388493 :Sgeo_!~quassel@ool-44c2a85f.dyn.optonline.net QUIT :Ping timeout: 248 seconds < 1427785163 362766 :zadock!~zadock@muscalu.tuiasi.ro JOIN :#esoteric < 1427786466 665328 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1427786480 243234 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1427787591 229084 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1427787862 345122 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1427788131 559583 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :Hm. < 1427788140 510171 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :so... < 1427788148 29999 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :I'll invent a religion that is offended by taxes < 1427788156 715513 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :then I move to indiana, stop paying my taxes < 1427788176 152805 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I don't think that law is enforced if your religion is not christianity < 1427788181 661342 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric ::( < 1427788184 698216 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :darn. < 1427788191 755077 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :You may need to pay the politicians instead. < 1427788226 61194 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Apparently \sum_{k=0}^n k \binom{n}{k} = n 2^{n-1}. < 1427788242 191617 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :but I could sell my religion as a sub-group of christianity < 1427788252 559081 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :there are lots of christian churches with slightly different beleives out there. < 1427788263 952321 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :possibly believes. < 1427788269 265180 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Or you could just join that religion < 1427788283 59872 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :No way! < 1427788293 561313 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :I wana be a pope. < 1427788297 210982 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :Of my own christian church. < 1427788301 733044 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :The word you want is beliefs < 1427788304 686768 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Believes is a verb < 1427788310 83933 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :I like the fancy dresses I could wear then. < 1427788355 427945 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :although not all christian churches have popes. < 1427788359 877559 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :I guess it's just the catholics? < 1427788395 494100 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Oh, the proof of that identity is obvious < 1427788397 725316 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :It's funny that protestants and catholics more or less have the same beliefs but protestants kinda see the pope as a phony. < 1427788444 68836 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :fungot: What are your beliefs? < 1427788444 187177 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :mroman: who is yome? arcus? gnomon? are you using ubuntu 5.10?) < 1427788450 930328 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :fungot: Debian. < 1427788451 22827 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :mroman: there's two of them touch when using framebuffer < 1427788459 968149 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :fungot: What? < 1427788460 87300 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :mroman: i used the c subset for the most part, its going to be < 1427788531 150840 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :http://www.independent.co.uk/news/uk/home-news/parents-could-be-reported-to-police-if-children-play-violent-video-games-like-call-of-duty-and-grand-theft-auto-10141697.html < 1427788534 252615 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :What a shame. < 1427788548 690658 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :Everybody knows that you have to start playing these games at 14 years old to become a pro by 18 < 1427788564 921219 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :then slowly decay until you completely suck at age 24 because you're eyes aren't fast enough anymore. < 1427788570 968239 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :*your < 1427788573 689047 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :fungot: A C subset? Sounds pretty limited < 1427788573 945347 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :FireFly: i would simply use midi < 1427788587 430114 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :fungot: so you're into music-based esolangs < 1427788587 844079 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :FireFly: what is /dev/ random, but there's no message, window creation just silently errors out :) < 1427788597 460 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :Is C without pointers still turing complete? < 1427788750 791972 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :yes < 1427788756 576454 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :well, uh < 1427788760 120774 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :can you still use arrays? < 1427788762 902284 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :if so, yes. < 1427788779 409753 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :if not... yeah, you have recursion < 1427788784 31533 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Since C isn't turing complete to begin with... < 1427788797 190304 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :coppro: recursion isn't enough < 1427788807 388424 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :Jafet: True. < 1427788810 461565 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :b_jonas: you have recursion and branching < 1427788811 268737 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but in any case, you can use files and seeks < 1427788823 306695 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :coppro: even still, that just makes a stack automaton < 1427788869 136105 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :coppro: aren't arrays just pointers? < 1427788885 457745 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :a[b] is defined as *(a+b) or something < 1427788894 759306 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :also a[b] == b[a] < 1427788924 707444 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :no wait, without pointers you can't open a file < 1427788927 482687 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :damn < 1427788930 906427 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :then I dunno < 1427788969 159843 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :but let's forbid array neveretheless for fun < 1427788974 983418 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :no arrays. :) < 1427788996 878373 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :& * and [] are disallowed. < 1427789017 753276 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Jafet: it's useful to talk about C being "turing-complete" in a slightly less strict sense < 1427789059 649636 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :while C, by definition, has finite memory, we can easily pretend it has unbounded memory, or you could make logical or actual shims to get around this < 1427789077 296935 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :(e.g. "compile this code with N bit pointers, if it runs out of memory, compile with 2N bit pointers, etc." < 1427789111 133422 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :mroman: http://c-faq.com/aryptr/aryptr2.html < 1427789209 723061 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :coppro: there is file access in the C standard < 1427789223 441314 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and nothing in the standard restricts an impl from providing infinitely large files < 1427789282 460805 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1427789336 318883 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :coppro: That's why I added "let's forbid array nevertheless" :) < 1427789512 621414 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :ais523: true, but that's not reliable either < 1427789531 162270 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :but I suppose that it does let you get around the inherent boundedness < 1427789538 372869 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :it's more interesting to do as I described though : < 1427789539 274941 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric ::) < 1427789562 727867 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also there's the weird case of forming a PDA using register variables and recursion < 1427789571 348313 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I don't believe anything in C prevents that being possible < 1427789642 189403 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :anyway, b_jonas might have it right. I'm having difficulty convincing myself you can do better than a DPDA, since the memory you have access to at any given point is finite < 1427789729 643609 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well, exploiting UB you have other options < 1427789741 937957 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :like longjmp /into/ a function, which is totally illegal < 1427789763 709551 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but which does normally work in practice if you're jumping back to the function you just came from with no function calls in between < 1427789771 366521 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1427789773 192070 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :again, let's not assume that works < 1427789778 355172 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually, is that TC? < 1427789987 773078 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1427789993 319840 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1427790140 43107 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :callforjudgement: I odn't think so < 1427790170 325510 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm trying to figure out what our assumptions are < 1427790181 723474 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you have a stack, and a pointer into that stack < 1427790188 400084 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the pointer can be moved downwards, or to the top < 1427790192 422729 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and you can push and pop things on the stack < 1427790198 317925 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, it is TC < 1427790199 963679 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1427790206 306231 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that gives you enough control to use the stack as a queue < 1427790211 481236 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and one queue is enough < 1427790236 612050 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :admittedly, the construction I'm thinking of contains a memory leak, but that doesn't matter for TCness < 1427790269 639601 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :it can't be moved arbitrarily anywhere < 1427790279 489974 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :How is it moved to the top of the stack? < 1427790286 993817 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :oh, I see what you're thinking of < 1427790289 111465 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :FireFly: by longjmping to yourself < 1427790291 790868 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :yes, I think that works < 1427790308 397295 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :oh. < 1427790428 362674 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: you can't longjmp without pointers either < 1427790438 749175 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: longjmp takes a pointer argument < 1427790448 197175 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :or doesn't it? < 1427790461 972502 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: it takes a jmp_buf argument < 1427790463 876840 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which is opaque < 1427790464 467505 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh, it doesn't < 1427790466 434723 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :great < 1427790477 98675 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm < 1427790491 512762 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :admittedly you could make the point of "a jmp_buf must be finitely large, so you can use memcpy to look at the individual bits" < 1427790509 385877 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :however, it could be implemented as offsets into a jump table with finitely many keys, but unboundedly large values < 1427791103 392944 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :is jmp_buf allowed to fail? < 1427791116 905183 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :jmp_buf is a type < 1427791123 959104 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I don't think setjmp is allowed to fail, but I'm not sure < 1427791147 611016 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it isn't < 1427791154 837935 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I happen to have a C11 draft open < 1427791158 716288 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so I quickly checked < 1427791275 479124 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1427793670 458143 :cpressey!~cpressey@35.87.2.81.in-addr.arpa JOIN :#esoteric < 1427793695 389418 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :hello < 1427793925 771574 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :http://divisbyzero.com/2014/08/27/tangent-lines-to-the-sine-function-with-rational-slope/ <- I am very suspicious. I don't think this is right. < 1427793944 92219 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :trivially, m=0 is also rational and also a tangent of the sine curve < 1427793990 65400 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :less trivially... surely if a and c are irrational and b is rational and a < b < c and there is a continuous curve from a to c, it passes through b? < 1427793995 729786 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :that one i'm less sure of < 1427794569 645467 :vodkode!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net QUIT :Ping timeout: 250 seconds < 1427795082 852151 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :"...and a similar proof holds for the sine and cosine functions. Thus," <-- SLOPPY < 1427795127 524907 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :The "similar proof" seems to be "if α is a nonzero algebraic number then sin(α), cos(α), tan(α) are transcendental" < 1427795176 170569 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :what if α is nonzero, but non-algebraic, i.e. rational? < 1427795204 522371 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :am I the only one awake here right now? :) < 1427795228 568682 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :cpressey, I am looking at it < 1427795233 666305 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :I NEED SOMETHING TO ENTERTAIN ME WHILE I OPTIMIZE QUERIES THROUGH THE GAUZE OF AN ORM < 1427795243 838574 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I think all rationals are algebraic < 1427795269 140851 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :Taneb: yeah, technically that's true < 1427795352 485918 :heroux!~heroux@gateway/shell/insomnia247/x-bjcmywecbmdcjohd QUIT :Ping timeout: 272 seconds < 1427795370 701892 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Because a/b is a root of bx-a = 0 < 1427795393 963680 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :But then how can you say simple things like "slope = dy/dx = tan(theta)"? if tan(theta) is transcendental, then it's irrational, and cannot be expressed by dy/dx ! < 1427795479 434272 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :I suspect there's some subtlety lurking in "transcendental" vs "irrational" < 1427795521 950888 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :dy and dx are not integers, or indeed rationals < 1427795534 371438 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :So dy/dx is not a rational < 1427795541 19074 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :höhö. Real Time Ad Bidding < 1427795546 681556 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :What a genius idea < 1427795572 802621 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :ok; then you can only say "dy/dx = tan(theta)" if either dy or dx or both is irrational < 1427795644 542264 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :so weird, because it seems to be the equivalent of saying there is no theta such that tan(theta) = 1/2 < 1427795648 618405 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I believe dy and dx are both infinitismals < 1427795672 268238 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :
ACTION backs away in fear
< 1427795682 216446 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :(in the context of derivatives) < 1427795686 982894 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Calculus is not my strong suit < 1427795696 605009 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :However I agree that the conclusion of that blog post seems wrong < 1427795895 684423 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :Taneb: calculus is *definitely* not my strong suit; this is actually the first thing lately in it that has piqued my interest. thanks for looking at it... < 1427796006 608698 :Melvar!~melvar@dslb-084-062-106-110.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :< coppro> an astral character may display correctly, but it counts as two for various things – Well, for what things? I need some kind of testcase to subject candidate recommendations to. < 1427796154 839202 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :maybe the theta in tan(theta) = 1/2 is BEYOND TRANSCENDENTAL!!! < 1427796191 376601 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :ok, unlikely < 1427796211 1768 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :my word, this coffee is awful < 1427796503 793027 :^v!~^v@2601:4:680:104c:45c7:74aa:917f:8c54 QUIT :Read error: Connection reset by peer < 1427796504 623413 :Lymee!~lymia@inportb/loli/cirno-chan QUIT :Ping timeout: 256 seconds < 1427796531 421251 :^v!~^v@2601:4:680:104c:45c7:74aa:917f:8c54 JOIN :#esoteric < 1427796971 610265 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :cpressey, that theta is certainly transcendental < 1427797133 280329 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Aha! < 1427797150 680917 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :It's not asking whether there are any lines with rational gradient that are tangent to sin(x) < 1427797172 413136 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :It's asking whether there are any lines with rational gradient that also go throw the origin that are tangent to sin(x) < 1427797363 665824 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :ah. ok, that eliminates m=0 < 1427797378 614563 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :yeah, he didn't say y=mx+b, he just said y=mx < 1427797511 274210 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1427797521 94370 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :so that kind of reduces it to... what kind of number is arctan(1/2)? because, if tan(theta) is transcendental for theta != 0, ... < 1427797555 419983 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :which could be reduced to "inverses of transcendental functions, how do they work?" < 1427797605 589722 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :is the range really restricted to irrational numbers (and we just fudge it for practical purposes?) < 1427797637 445545 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :s/range/domain/ < 1427797680 483582 :Lymia!~lymia@inportb/loli/cirno-chan JOIN :#esoteric < 1427797779 335674 :hjulle!~hjulle@ankadagen.vth.sgsnet.se JOIN :#esoteric < 1427797792 630385 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :you know, it might actually *be* "beyond transcendental" < 1427797818 241167 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :an uncomputable real (or at least, inexpressible as a transcendental) < 1427797907 874820 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 JOIN :#esoteric < 1427798285 167462 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric : scow <-- so what's "scow" in hebrew < 1427798850 595088 :hjulle!~hjulle@ankadagen.vth.sgsnet.se QUIT :Ping timeout: 256 seconds < 1427799351 794755 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric : but I could sell my religion as a sub-group of christianity <-- tricky, i'm afraid that biblical jesus explicitly answered the question of whether to pay taxes. < 1427799406 933556 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :oerjan: he did? < 1427799463 825634 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :that capitalist. < 1427799488 642584 :shikhin_!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1427799545 922089 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :matthew 22:17-21 < 1427799562 346404 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :actually the english seems to use "tribute" < 1427799603 341397 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :although it *may* be a bit confusing with us dollars, they have *both* a picture of a president and "in god we trust" on them. < 1427799693 329505 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Disconnected by services < 1427799722 240767 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :oerjan: so what kind of number is arctan(1/2) anyway < 1427799735 141353 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :> arctan (1/2) < 1427799736 584203 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: ‘arctan’ < 1427799736 584817 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you meant ‘atan’ (imported from Prelude) < 1427799743 371990 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :> atan (1/2) < 1427799744 738374 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 0.4636476090008061 < 1427799748 769045 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :> atan (1/2) / pi < 1427799750 219003 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 0.14758361765043326 < 1427799760 284886 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :well < 1427799761 603582 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :because if theta != 0 then tan(theta) is transcendental, and 1/2 is not transcendental < 1427799766 847578 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :I can't give my money back to the guys that are on the bill < 1427799767 684426 :shikhin_!~shikhin@unaffiliated/shikhin NICK :shikhin < 1427799769 556592 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :because they are dead < 1427799800 106833 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :cpressey: erm presumably theta must be rational or algebraic or the like for that to be true. < 1427799818 148378 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :algebraic, yes. and 1/2 is algebraic < 1427799867 658583 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :er -- not that 1/2 being algebraic is very relevant. < 1427799873 58074 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :atan(1) is pi/4 iirc < 1427799876 467995 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :(i think. easy to get confused) < 1427799883 9110 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :> atan 1 / pi < 1427799884 587007 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 0.25 < 1427800009 196287 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :oerjan: you can see the log for context, but: a "slight variation" on Lindemann–Weierstrass theorem says that if a is algebraic and != 0, sin(a) is transcendental. so... if sin(a) is 1/2, it's not transcendental, so... is a not algebraic? < 1427800016 296755 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :a is transcendental < 1427800018 144504 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :i guess < 1427800033 236480 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :oh sin is easier < 1427800039 834021 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :> asin(1/2)/pi < 1427800041 145857 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 0.16666666666666669 < 1427800046 488086 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :well, any transcendental function would suffer from this it seems < 1427800053 410842 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :it's pi/6 < 1427800065 400958 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :ok ok i don't care about the values < 1427800071 444833 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :which is indeed not algebraic < 1427800076 91625 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :let me try the other tack < 1427800088 94368 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :cpressey: but yes, that does imply a is not algebraic. < 1427800088 808040 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :surely if a and c are irrational and b is rational and a < b < c and there is a continuous curve from a to c, it passes through b? < 1427800089 88873 :idris-bot!~ircslave@dslb-084-062-106-110.084.062.pools.vodafone-ip.de QUIT :Quit: Terminated < 1427800104 334835 :idris-bot!~ircslave@dslb-084-062-106-110.084.062.pools.vodafone-ip.de JOIN :#esoteric < 1427800112 427207 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :yes, that's the intermediate value theorem. < 1427800132 250288 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :oerjan: then how what why http://divisbyzero.com/2014/08/27/tangent-lines-to-the-sine-function-with-rational-slope/ < 1427800171 499607 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :surely there will be SOME slope that passes through a rational as the slope varies as you "slide" up and down the sine curve < 1427800205 196119 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :yes. and this is a problem how? < 1427800211 431519 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :OH < 1427800221 139771 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :through the ORIGIN < 1427800224 153284 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :oh jeez < 1427800231 721675 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :ok n/m < 1427800239 732427 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :that result seems ultra-trivial now < 1427800261 863713 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :um that link does not speak about the origin? < 1427800268 51519 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :yes, it does < 1427800317 336028 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :just reading comprehension fail on my part -- even after Taneb pointed it out (i was thinking y-axis for some reason) < 1427800387 476000 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :I still think there's some right weirdness about transcendental functions < 1427800394 793775 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :but it's much less weird than it seemed earlier < 1427800437 94333 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, US dollars tell us to trust God when He says give to Washington what is Washington's or something < 1427800488 60545 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :Taneb: fiendish < 1427800522 197312 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Is Washington even on US currency? < 1427800651 74368 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :until they replace the $1 bill with a coin, like all the SANE countries have done, i think he is < 1427800674 622573 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :or is that someone else? don't really rememebr < 1427800687 11339 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :it is washington < 1427800690 699170 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I haven't been to the US since I was 3 < 1427800694 570007 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :
ACTION was just looking it up
< 1427800881 831440 :boily!~alexandre@96.127.201.149 QUIT :Quit: MISALIGNED CHICKEN < 1427800926 875748 :shikhin!~shikhin@unaffiliated/shikhin NICK :godofgods < 1427800968 214697 :godofgods!~shikhin@unaffiliated/shikhin NICK :shikhin < 1427801267 334658 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :i get it now; flipside of Lindemann–Weierstrass; if f(a) is rational, and f is a transcendental function, then a must be transcendental < 1427801325 213743 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :well, or at least for sin/cos/tan; there may be other, weirder functions < 1427801386 163659 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric : I NEED SOMETHING TO ENTERTAIN ME WHILE I OPTIMIZE QUERIES THROUGH THE GAUZE OF AN ORM <-- this gets so much better if you use the norwegian meaning of ORM < 1427801430 78013 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :or rather, the norse meaning, which sort of includes dragons < 1427801516 230538 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :cpressey: i'm not sure that "transcendental function" has a very exact meaning < 1427801523 118048 :Melvar!~melvar@dslb-084-062-106-110.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :“wyrm”? < 1427801532 139330 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :Melvar: that's cognate, yes < 1427801551 977521 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :also to "worm", naturally. < 1427801600 942868 :Melvar!~melvar@dslb-084-062-106-110.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :Yes, but given the inclusion of dragons, “wyrm” seemed more appropriate to ask. < 1427801643 282600 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :cpressey: if you define it simply as "not algebraic", then it would include fairly trivial counterexamples. < 1427801652 154629 :Melvar!~melvar@dslb-084-062-106-110.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :And then there’s the Zamonian Orm, which is … writer’s divine inspiration, I guess? < 1427801668 719679 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :i think "wyrm" may be just the old plural of "worm"? < 1427801703 821111 :Melvar!~melvar@dslb-084-062-106-110.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :@ety wyrm < 1427801703 827279 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Parse failed: TemplateHaskell is not enabled < 1427801722 502808 :Melvar!~melvar@dslb-084-062-106-110.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :… huh. < 1427801774 411634 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :@ety < 1427801774 450318 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Define what? < 1427801804 97125 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :int-e: bug ^ < 1427801820 180210 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :are you sure? < 1427801836 832983 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ety has editing distance two from let... < 1427801847 642066 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :aha < 1427801879 25784 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :my brain somehow saw "Define what?" and thought "ok, that sounds like a dictionary command" < 1427801906 457273 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(Yes this auto-correction can be very confusing. But that's a different matter.) < 1427801942 779897 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :ok "wyrm" isn't plural, just an older form < 1427801985 535936 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :https://en.wiktionary.org/wiki/worm < 1427802032 353638 :Melvar!~melvar@dslb-084-062-106-110.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :An older form for an older sense, to a degree. Neat. < 1427802065 453200 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 244 seconds < 1427802087 529828 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :Wonderful Object-Relational Mapper (with heavy sarcasm on the "wonderful") < 1427802217 250468 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :As in Pandora's box of wonders? < 1427802303 61225 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :. o O ( Though perhaps that analagy is too optimistic; there was hope in *that* box. ) < 1427802361 685948 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1427802372 490268 :Melvar!~melvar@dslb-084-062-106-110.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :In German, the more general sort of worms has mostly only survived in compounds like “Lindwurm” and “Tatzelwurm”. < 1427802427 813843 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric : I believe dy and dx are both infinitismals <-- that is if you are giving them separate meanings at all; in elementary calculus definitions dy/dx is not really decomposed into dy and dx, but is more like a notation for a higher-order function < 1427802531 537531 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :there's also an option of considering dy and dx as differential forms < 1427802552 271704 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :which means they're still not numbers < 1427802565 617613 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh, we're at wurms and worms and wyrms? < 1427802575 634863 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :
ACTION backs away in even more fear
< 1427802627 698698 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :cpressey: dy/dx is leibnit?z's intuitive notation, which works if you know what you're doing. < 1427802682 252036 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :no t, apparently < 1427802700 47401 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :(although at least one website got it wrong) < 1427802975 886147 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :oerjan: and here i thought slope was just "rise over run" < 1427803000 110834 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :who knows who put that phrase into my head < 1427803009 558148 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :some math teacher, way back when < 1427803017 356856 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :that's the average slope < 1427803028 627127 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :but if you want slope at a point, you must take the limit of that < 1427803037 568313 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :yes, i suppose you must < 1427803084 167154 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :and then it gets all ugly < 1427803139 126350 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :not necessarily uglier than when you don't take the limit < 1427803185 321745 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :the limit allows you to toss away many of the error terms < 1427803288 971336 :AnotherTest!~turingcom@193.190.253.145 JOIN :#esoteric < 1427803930 358258 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :well... philosophically ugly? < 1427803994 912414 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :"infinitesimals" < 1427804029 590005 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :some will wave their hands, others will attempt to build a workable basis under it < 1427804115 326820 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :still others will shout "NO!", perhaps < 1427804127 491021 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :the definitions in introductory calculus don't use infinitesimals. < 1427804186 842213 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :indeed, you don't need to, but you can, and then they call your system of analysis "non-standard" for some reason < 1427804200 119607 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :that's just an alternative approach which takes some really heavy stuff to get consistent, and which also happens to be what people hand-waved *before* they learned how to define calculus properly. < 1427804243 918563 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :fine. i'm a finitist. i only believe in finitesimals. of course, i'm only taking this position in order to intentionally make it ugly < 1427804380 735152 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :wikipedia does not have a page for Finitesimal < 1427804384 909311 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :their loss < 1427804577 274530 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :and yet... https://www.wordnik.com/words/finitesimal < 1427804685 684000 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Quit: leaving < 1427805742 468651 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :actually, i wonder if i AM a finitist < 1427805782 666842 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :i'm certainly not an ultrafinitist. that's just silly. < 1427805821 233620 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :i believe the definition of infinite sets is valid, even though they can never be concretely realized < 1427805911 140235 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :huh, it's kind of like how aesthetic philosophers can say that a picture of a unicorn has a null denotation, because unicorns don't exist < 1427805919 315284 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :(as if they know unicorns don't exist) < 1427806446 692026 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :would an ultrafinitist assert that 2↑↑↑6 - 2↑↑↑6 cannot be shown to be 0, on the grounds that 2↑↑↑6 is just too darn big? < 1427806489 748276 :ProofTechnique!~ptech@c-24-147-92-185.hsd1.vt.comcast.net QUIT :Ping timeout: 248 seconds < 1427806513 283627 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :maybe sufficiently big numbers are susceptible to bit errors < 1427806887 821997 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :. o O ( Please stand by while we evaluate that difference... ) < 1427807030 741981 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Please convince me that 2↑↑6 is a natural number. I already have trouble fitting 6^6^6^6 into my (computer's) brain... < 1427807039 166739 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :... < 1427807089 242663 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Sorry that has nothing to do with it. But indeed 2^2^2^2^2^2 is too large for my computer. :) < 1427807094 176490 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Alexander_Esenin-Volpin#Mathematical_work < 1427807105 85668 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :box quote < 1427807198 345890 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yeah. < 1427807210 847114 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1427807229 189984 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: I think I anticipated this in my "Please stand by" remark. < 1427807285 670065 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :anticipation is the sincerest form of imitation < 1427807350 244551 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :From a different perspective, math is about anticipation: I anticipate that 2↑↑↑6 - 2↑↑↑6 is zero. < 1427807358 455601 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :s/is/will be/ < 1427807415 907101 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :what is the ratio of anticipation to perspiration < 1427807443 29276 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Ooh, infinity?! < 1427807463 581097 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I mean I actually anticipate that n-n = 1 for any natural number n. < 1427807470 404524 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :... < 1427807474 628266 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :spot the typo. < 1427807478 192284 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :2 is a natural number, 6 is a natural number, and and arrowarrowarrow maps pairs of natural numbers to natural numbers < 1427807542 846346 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(I have no excuse for that. I simply should not think about n/n while typing n-n...) < 1427807549 99529 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :actually, i don't know what i am, because in some sense i believe 1/0 - 1/0 = 0, too < 1427807575 978263 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :https://youtu.be/g10DqPbbUuw that combination of video and music disturbs me < 1427807585 409909 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :cpressey: Right, there's some grounds for doubting that 2^^^6 is a natural number. < 1427807639 59665 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :i used to be an infinitist, but then i took an arrow to the knee < 1427807640 708205 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :int-e: i don't see them, though (unless they lie in the area of doubt about the validity of structural induction) < 1427807642 391494 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I'm pretty sure that 1/0 is not a natural number, as a matter of anticipation: Such a natural number d would have to satisfy d*0 = 1, but I anticipate that d*0 will always be 0 instead. < 1427807668 674158 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :(today's retro-meme sponsored by coca-cola (TM)) < 1427807673 637576 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(I also anticipate this discussion getting out of hand.) < 1427807766 680148 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, 2012 is retro!? < 1427807796 930101 :ProofTechnique!~ptech@65-183-137-193-dhcp.burlingtontelecom.net JOIN :#esoteric < 1427807813 332505 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :isn't it older than that < 1427807876 366725 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Skyrim came out in November 2011 < 1427807881 402671 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :So yes, but not by much < 1427807944 497269 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :of course the first thing i heard about the meme was people being sick of it < 1427808115 532927 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :i also think I believe there are more natural numbers than there are even natural numbers < 1427808140 709078 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :yes, i know those two sets have the same cardinality < 1427808177 335554 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :hm. < 1427808188 429827 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :I'd say that the set of natural numbers should be bigger than the set of even/odd numbers < 1427808194 513258 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :since only every second number is even/odd < 1427808195 116150 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :so < 1427808196 862503 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I believe that the weather is terrible here right now < 1427808202 361710 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :~metar EGNT < 1427808206 938130 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :the set of natural numbers should be twice as large. < 1427808235 725543 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :that only seems intuitive. and, as we all know, in mathematics, intuition reigns < 1427808248 496724 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :Afterall < 1427808257 418465 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :every number except 1 should be the same size as every number except 2 < 1427808273 12568 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :and smaller then the set of every number < 1427808274 728258 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :*than < 1427808279 971777 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :@metar ENVA < 1427808280 330059 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :ENVA 311320Z 25005KT 210V290 9999 FEW040TCU 05/M03 Q0982 NOSIG RMK WIND 670FT 33003KT < 1427808286 801384 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :@metar EGNT < 1427808287 346421 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :EGNT 311320Z 28024G35KT 9999 FEW015CB 07/01 Q1000 < 1427808289 765157 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :At least that's my intuition as a sucker at math. < 1427808381 407943 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :1/n for n -> infinity is infinity too < 1427808390 275332 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :eh < 1427808393 635492 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :1/n for n -> 0 is infinity < 1427808412 886706 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :which suggests that infinity * 0 may be 1! < 1427808442 519407 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :which doesn't make sense :) < 1427808491 669311 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :1/n for n -> infinity is 0 (according to many people) < 1427808528 438823 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :yep < 1427808532 229289 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :i meant -> 0 < 1427808685 361267 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :just because 1/0 - 1/0 = 0 (in my current madness) doesn't mean that 1/0 = infinity, i should note < 1427808746 659964 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :it's more that 1/0 is "poorly defined" but - is able to operate on things that are poorly defined < 1427808749 662762 :MDream!~fyrc@pa-67-235-2-71.dhcp.embarqhsd.net NICK :MDude < 1427808996 242315 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :i would have to work this out in detail, but "how many [even] natural numbers" are also "poorly defined", but again, > is able to operate on them < 1427809028 989388 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :i'm just kind of hoping someone here sees my madness as says "oh yes, i've seen that before, that's ____ism" < 1427809110 784093 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1427809753 607123 :AnotherTest!~turingcom@193.190.253.145 QUIT :Ping timeout: 244 seconds < 1427810215 41605 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1427810564 409410 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1427810841 810968 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 248 seconds < 1427810994 528777 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1427811098 892439 :ProofTechnique!~ptech@65-183-137-193-dhcp.burlingtontelecom.net QUIT :Quit: ZNC - http://znc.in < 1427811348 808726 :^v!~^v@2601:4:680:104c:45c7:74aa:917f:8c54 QUIT :Read error: Connection reset by peer < 1427811369 431589 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1427811373 378703 :^v!~^v@2601:4:680:104c:45c7:74aa:917f:8c54 JOIN :#esoteric < 1427811395 524929 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 252 seconds < 1427811418 978348 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1427811491 736785 :ProofTechnique!~ptech@65-183-137-193-dhcp.burlingtontelecom.net JOIN :#esoteric < 1427812030 503913 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Quit: leaving < 1427812201 933033 :hjulle!~hjulle@ankadagen.vth.sgsnet.se JOIN :#esoteric < 1427812807 846704 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :you may well ask what i believe 0 * 1/0 to be. < 1427812811 198269 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :it's very simple. < 1427812823 175765 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :0 * 1/0 contains a race condition, and should not be used in production mathematics < 1427812860 114538 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Melvar: in a terminal emulator, it will sort of occupy two columns < 1427812862 140474 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :sort of not < 1427812879 962341 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :if you backspace it, you only delete the second surrogate and not the first also < 1427813300 265593 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :another option is that 0 * 1/0 = {0, 1}. why should square root have all the fun of being multi-valued? < 1427813416 188063 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :cpressey, 0*x = 0, so {0, 1} = 0 * 1/0 = (0*x) * 1/0 = 0 * (x * 1/0) = 0 * (x/0) = x??? < 1427813521 96959 :Melvar!~melvar@dslb-084-062-106-110.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :coppro: I’ve never noticed any such errors in either gnome-terminal or xfce4-terminal, fwiw. < 1427813601 44225 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :cpressey, I am suggesting that the set of values 0 * 1/0 is the set of values multiplication is defined for and remains associative < 1427813677 146073 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :Taneb: yes, well. race conditions are nasty < 1427813790 371135 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :I believe I will retreat to either 0 * 1/0 = 0, or 0 * 1/0 = 0/0 (which is also "poorly defined") < 1427813824 892671 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :it could also be 0 * 1 * 0^(-1) = 0 * 0^(-1) * 1 = 1, no? < 1427813867 63943 :zadock!~zadock@muscalu.tuiasi.ro QUIT :Quit: Leaving < 1427813918 907473 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :I have definitely not defined ^ yet < 1427813931 738856 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :And what is it with all this so-called "algebra" < 1427813956 359991 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :0 * 1/0 = 0/0 holds in wheel theory, anyway. < 1427814002 540217 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Melvar: yeah < 1427814011 10473 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Melvar: but how configurable and nice are they? < 1427814015 967527 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :can I get rid of all the window decoration? < 1427814232 879438 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :if wheel theory can make the guts of this madness consistent, i'm all for it < 1427814243 191397 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :https://github.com/aheui/aheui.aheui < 1427814266 114045 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :awesome < 1427814272 278864 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :https://github.com/aheui/aheui.aheui/blob/master/aheui.aheui < 1427814281 93849 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :possibly even more awesome if you can read hangul < 1427814288 27727 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :because then it sounds like something instead of just looks like something < 1427814362 875960 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1427814418 825696 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1427814474 609946 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :cpressey, even to native speakers, this is *really* weird sounded. :) < 1427814486 53826 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric ::) < 1427814674 616194 :Melvar!~melvar@dslb-084-062-106-110.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :coppro: I am rid of the window decoration by dint of using xmonad, don’t know how one would remove it if something chooses to draw it in the first place; the menu bar is hideable. In general, probably less configurable than konsole, just by a rule of thumb. < 1427814683 739214 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :Hm. < 1427814990 137816 :gde33!kvirc@546A0B75.cm-12-3a.dynamic.ziggo.nl JOIN :#esoteric < 1427815145 345436 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :yeah, no, yeah, wheel theory isn't going to help this < 1427815393 331836 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :oh great, now i'm listening to bjork singing about lucky nights "when 1 + 1 = 3." this isn't helping < 1427815501 642225 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :i don't see why my multiplication *has* to be commutative < 1427815525 890045 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :it's just more useful that way < 1427815556 813596 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :matrix multiplication is not commutative and still useful < 1427815714 978223 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 256 seconds < 1427815766 405978 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :does anybody know if there was anything about two-dimensional languages of interest in "real science" besides PLAN2D? < 1427815823 173354 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :do 2D cellular automata qualify? < 1427815848 689916 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :whoa. i had not heard of PLAN2D. < 1427815865 45510 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :1974. < 1427815891 152703 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :2d ca's should totally qualify if you are talking about computation, maybe not so much if you are talking about programming < 1427815907 434264 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i am talking about programming < 1427815914 249300 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :flowcharts < 1427815915 132510 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i know there are a bunch of formal languages < 1427815951 510461 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :myname: flowcharts, seriously < 1427815985 537576 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :cpressey: well, yeah, but you don't compile flowcharts < 1427816029 511274 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :myname: you have to be specific about your constraints. 2-dimensional, programming, compiled... < 1427816049 385341 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :that's it basically < 1427816105 412847 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I wonder whether Plankalkül qualifies as a 2D language (it specifies functions as tables that can be nested) < 1427816117 437320 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :int-e: i would say yes < 1427816134 109372 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :"but you don't compile plankalkuel" < 1427816222 699686 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1427816226 634113 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :http://zuse-z1.zib.de/simulations/plankalkuel/compiler/plankalk.html ... uses a linearized input format :/ < 1427816276 307992 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Oh I had not found http://www.catb.org/retro/plankalkuel/ yet... < 1427816327 328237 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :2-dimensional, programming, compiled, ... and DOES NOT ADMIT A LINEARIZED INPUT FORMAT < 1427816331 574127 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :check and mate < 1427816337 396509 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :cpressey: impossible < 1427816401 447263 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh well you must know that. < 1427817183 330324 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :myname: will you accept "interpreted" as well as "compiled"? < 1427817196 535378 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :cpressey: name it < 1427817203 680254 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :spreadsheets < 1427817235 656215 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :that is indeed an interesting approach < 1427817316 191801 :hjulle!~hjulle@ankadagen.vth.sgsnet.se QUIT :Ping timeout: 245 seconds < 1427817322 246965 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1427817510 703944 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1427818245 150881 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 QUIT :Quit: DOES NOT ADMIT A LINEARIZED DEFINITION < 1427818646 918318 :adu!~ajr@rrcs-65-34-31-2.se.biz.rr.com JOIN :#esoteric < 1427818693 222357 :bb010g!uid21050@gateway/web/irccloud.com/x-qoxnkzvnezbswvyq QUIT :Quit: Connection closed for inactivity < 1427819857 899146 :AnotherTest!~turingcom@d51a4c6f4.access.telenet.be JOIN :#esoteric < 1427819969 543361 :zadock!~zadock@81.180.210.87 JOIN :#esoteric < 1427820404 725302 :heroux!sandroco@gateway/shell/insomnia247/x-bqqlciwidaydywfs JOIN :#esoteric < 1427820892 946966 :Lymee!~lymia@inportb/loli/cirno-chan JOIN :#esoteric < 1427820916 921606 :Lymia!~lymia@inportb/loli/cirno-chan QUIT :Ping timeout: 256 seconds < 1427821066 591449 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1427821092 515773 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :http://www.philforhumanity.com/Zero_Times_Infinity.html "This is the definition of undefined." < 1427821115 765494 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1427821187 334252 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Client Quit < 1427821204 761404 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1427821737 867271 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :0 * ⊥ < 1427821824 896401 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :if your turing machine is going to loop forever, it might as well do something useful while it's looping forever, for example, search for a proof that it loops forever < 1427821838 962781 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :+++ < 1427821839 500675 :edirc!~edirc@unaffiliated/izabera/bot/edirc PRIVMSG #esoteric :? < 1427821853 474637 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :coppro: NO CARRIER < 1427821892 237880 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :+++ DIVIDE BY CUCUMBER ERROR +++ < 1427821892 736042 :edirc!~edirc@unaffiliated/izabera/bot/edirc PRIVMSG #esoteric :? < 1427821893 221478 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :+++ATH0 < 1427821893 486530 :edirc!~edirc@unaffiliated/izabera/bot/edirc PRIVMSG #esoteric :? < 1427821900 26019 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :+++ PLEASE REINSTALL UNIVERSE +++ < 1427821900 538410 :edirc!~edirc@unaffiliated/izabera/bot/edirc PRIVMSG #esoteric :? < 1427821917 813423 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :+,p < 1427821918 100731 :edirc!~edirc@unaffiliated/izabera/bot/edirc PRIVMSG #esoteric :heavier < 1427821928 124868 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ominous < 1427822021 564926 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :+,d < 1427822030 519309 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :+!cal -m < 1427822030 772458 :edirc!~edirc@unaffiliated/izabera/bot/edirc PRIVMSG #esoteric :? < 1427822046 660814 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :+r !cal -m < 1427822046 946744 :edirc!~edirc@unaffiliated/izabera/bot/edirc PRIVMSG #esoteric :? < 1427822118 922098 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :+e /etc/passwd < 1427822119 209117 :edirc!~edirc@unaffiliated/izabera/bot/edirc PRIVMSG #esoteric :? < 1427822606 988267 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1427822650 672285 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Read error: Connection reset by peer < 1427822888 914542 :Lymee!~lymia@inportb/loli/cirno-chan QUIT :Ping timeout: 256 seconds < 1427823063 504038 :cpressey!~cpressey@35.87.2.81.in-addr.arpa QUIT :Quit: leaving < 1427823188 733912 :vodkode!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net JOIN :#esoteric < 1427823873 844739 :vodkode_!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net JOIN :#esoteric < 1427824939 974991 :Zefphex!~hhs@74-61-60-199.war.clearwire-wmx.net JOIN :#esoteric < 1427824972 97009 :Zefphex!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Do you ever get that feeling when you see a car you're just like please hit me < 1427825012 58592 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :no < 1427825026 105783 :Zefphex!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Really < 1427825031 304352 :Zefphex!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Not once? < 1427825156 287184 :Zefphex!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :So what you been doin' lately int-e < 1427825196 215049 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I avoided being hit by cars, among other things. < 1427825293 119121 :Zefphex!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :No but like never an internal feeling of like hit me car I dare you < 1427825296 648546 :Zefphex!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Just me ok < 1427825350 870430 :Zefphex!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :I guess its a youngin' thing int-e is to old to wish to be hit directly with a speeding chunk of steel < 1427825610 17895 :adu!~ajr@rrcs-65-34-31-2.se.biz.rr.com QUIT :Quit: adu < 1427825625 851765 :vodkode_!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net QUIT :Ping timeout: 244 seconds < 1427825636 946833 :Zefphex!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :©_ < 1427825695 536477 :Zefphex!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :How do you calculate the infinite curvature of a tomatoe using polynumerals < 1427826167 36620 :^v!~^v@2601:4:680:104c:45c7:74aa:917f:8c54 QUIT :Read error: Connection reset by peer < 1427826194 52433 :^v!~^v@2601:4:680:104c:45c7:74aa:917f:8c54 JOIN :#esoteric < 1427826219 639382 :Zefphex!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :x^2+4y+ 2(x^2+8xy^3) < 1427826222 297171 :Zefphex!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Found it < 1427826227 663985 :Zefphex!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Polynomials* < 1427826307 875385 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 244 seconds < 1427826481 390513 :oren!~oren@65.94.97.99 JOIN :#esoteric < 1427826481 535113 :Zefphex!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :> x^2+4y+ 2(x^2+8xy^3) < 1427826483 795232 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Ambiguous occurrence ‘y’ < 1427826483 796385 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : It could refer to either ‘L.y’, defined at L.hs:143:1 < 1427826483 796436 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : or ‘Debug.SimpleReflect.y’, < 1427826488 457896 :Zefphex!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Ah yes < 1427826499 443869 :Zefphex!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :I forgot I cant code < 1427826546 366042 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@type L.y < 1427826547 476307 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Foo < 1427826557 260373 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@undef < 1427826557 352479 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Undefined. < 1427826574 571807 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :does Java enforce capitals on type names < 1427826595 721773 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :C++ doesn't < 1427826644 267830 :Zefphex!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :I don't think so but I haven't been on a computer in 3 years to find out < 1427826654 756089 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :I don't know how Java does, but in C and C++ the type names are just like any other name; in Haskell you can indicate that it is a type or constructor by capitalizing it. < 1427826721 537931 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Rottytooth14]]4 10 02http://esolangs.org/w/index.php?diff=42243&oldid=41898 5* 03Rottytooth 5* (+22) 10added Time Out < 1427826878 91524 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :Ok... Apparently Java allows me to make classes with any "letters" including unicode < 1427826904 676923 :adu!~ajr@rrcs-65-34-31-2.se.biz.rr.com JOIN :#esoteric < 1427826952 947086 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :So I can have separate classes named Αpple, Apple, apple, and Аpple < 1427827004 789000 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :What is wrong with that? < 1427827022 197713 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Or surprising < 1427827115 249965 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :It is surprising because in general languages tend to be ascii, except in strings and comments. It is bad, because there are many characters which are visually identical < 1427827138 68666 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1427827209 427310 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I am not sure about that first point < 1427827213 281279 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I know at least Haskell isn't < 1427827224 383604 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :with great power comes great responsibility < 1427827303 305538 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: not sure hth < 1427827351 72501 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Hmm, C seems to be ASCII < 1427827430 701621 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :I do agree that only strings and comments should be allowed to use non-ASCII characters. < 1427827481 18217 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :I was only aware of unicode names being allowed in Perl. < 1427827554 95297 :vodkode_!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net JOIN :#esoteric < 1427827626 307192 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :another problem could be invisible names: https://www.snip2code.com/Snippet/54187/Unicode-special-space-characters-as-ruby < 1427827640 406222 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :which apparently Ruby allows < 1427827736 470412 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :If non-ASCII names are allowed, you will allow such things like that too, generally. < 1427827829 806342 :Lymia!~lymia@inportb/loli/cirno-chan JOIN :#esoteric < 1427827851 974827 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :Some formats are required to allow non-ASCII names. RDF Turtle does, although my implementation simply allows all bytes 128-255 and all escape codes wherever any escape code or non-ASCII character is allowed. This is one way to do such an implementation without confusion, but still I would recommend, don't use non-ASCII characters outside of string literals and comments. < 1427828525 51997 :Zefphex!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :>ㄲ < 1427828973 907204 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 244 seconds < 1427829256 432063 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1427829833 971500 :bb010g!uid21050@gateway/web/irccloud.com/x-fibpuostpherxgal JOIN :#esoteric < 1427830073 264708 :adu!~ajr@rrcs-65-34-31-2.se.biz.rr.com QUIT :Quit: adu < 1427830674 979699 :cpressey!~cpressey@31.55.80.172 JOIN :#esoteric < 1427830867 453851 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Time Out14]]4 N10 02http://esolangs.org/w/index.php?oldid=42244 5* 03Rottytooth 5* (+2646) 10adding new language < 1427830939 252215 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Time Out14]]4 10 02http://esolangs.org/w/index.php?diff=42245&oldid=42244 5* 03Rottytooth 5* (-3) 10/* Language Overview */ formatting, adding how programs end < 1427831050 220039 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Time Out14]]4 10 02http://esolangs.org/w/index.php?diff=42246&oldid=42245 5* 03Rottytooth 5* (+25) 10/* External resources */ < 1427831102 816875 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Just so you know, there'll be a planned fungot outage soonishly. < 1427831102 989623 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :fizzie: ( which is added to make it recursive... so that it could be < 1427831116 87128 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: No, not a recursive outage. How would that even work? < 1427831116 189874 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :fizzie: a real schemer when i use fnord for underlambda, .ul for underload < 1427831153 3331 :cpressey!~cpressey@31.55.80.172 PRIVMSG #esoteric :Warning! Recursive outage ahead! < 1427831198 167571 :cpressey!~cpressey@31.55.80.172 PRIVMSG #esoteric :
ACTION does not know how that would even work, but finds it immensely entertaining to consider
< 1427831321 116097 :vodkode_!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net QUIT :Ping timeout: 256 seconds < 1427831693 783291 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :Wouldn't a recursive outagebe one where an outage of one server causes another to fail, for multiple levels? < 1427831694 682055 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Time Out14]]4 10 02http://esolangs.org/w/index.php?diff=42247&oldid=42246 5* 03Rottytooth 5* (-1) 10/* Hello World */ helloworld was wrong < 1427831814 826798 :Zefphex!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :bye < 1427831828 8400 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Talk:Time Out14]]4 N10 02http://esolangs.org/w/index.php?oldid=42248 5* 03Rottytooth 5* (+244) 10call for comments < 1427831874 941810 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Time Out14]]4 M10 02http://esolangs.org/w/index.php?diff=42249&oldid=42247 5* 03Rottytooth 5* (+0) 10/* Language Overview */ fixed forth link < 1427831903 983198 :Zefphex!~hhs@74-61-60-199.war.clearwire-wmx.net QUIT :Remote host closed the connection < 1427832034 3805 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1427832196 206896 :cpressey!~cpressey@31.55.80.172 PRIVMSG #esoteric :oren: something like that; my first thought was an outage on one level causing an outage on "the underlying level", whatever that might mean exactly < 1427832208 705353 :cpressey!~cpressey@31.55.80.172 PRIVMSG #esoteric :a software outage causing a hardware outage causing a reality outage < 1427832219 664611 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :cpressey: Do you like Magic: the Puzzling??? < 1427832234 545031 :cpressey!~cpressey@31.55.80.172 PRIVMSG #esoteric :zzo38: I have never tried Magic: The Puzzling < 1427832262 52352 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :I have the book, but I also wrote some by myself too. < 1427832273 226018 :^v^v!~^v@2601:4:680:104c:d82f:db0d:bf07:c6a8 JOIN :#esoteric < 1427832511 129095 :^v!~^v@2601:4:680:104c:45c7:74aa:917f:8c54 QUIT :Ping timeout: 256 seconds < 1427832650 117715 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :Maybe you should try, too < 1427832826 158766 :cpressey!~cpressey@31.55.80.172 QUIT :Ping timeout: 256 seconds < 1427832985 874907 :vodkode_!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net JOIN :#esoteric < 1427833311 268507 :fungot!fis@selene.zem.fi QUIT :Remote host closed the connection < 1427833406 962634 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 265 seconds < 1427833484 525458 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1427833573 9646 :cpressey!~cpressey@host86-187-168-94.range86-187.btcentralplus.com JOIN :#esoteric < 1427834922 145446 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Time Out14]]4 10 02http://esolangs.org/w/index.php?diff=42250&oldid=42249 5* 03Rottytooth 5* (+197) 10/* Hello World */ < 1427834959 816668 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Time Out14]]4 10 02http://esolangs.org/w/index.php?diff=42251&oldid=42250 5* 03Rottytooth 5* (+27) 10/* Hello World */ < 1427835075 212862 :adu!~ajr@rrcs-65-34-31-2.se.biz.rr.com JOIN :#esoteric < 1427835333 553616 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :Do you know anything about algorithm for optimizing the frequent words table of a Z-machine file? < 1427835608 424025 :variable!~variable@freebsd/developer/variable QUIT :Read error: Connection reset by peer < 1427835638 792916 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :It seems complicated to me, because of possibility of overlapping, as well as the possibility that they will change the optimal shift sequence of other strings. < 1427836115 264961 :ProofTechnique!~ptech@65-183-137-193-dhcp.burlingtontelecom.net QUIT :Ping timeout: 256 seconds < 1427836442 614298 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :However, maybe a good approximation is easier. < 1427836742 836684 :vodkode_!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net QUIT :Ping timeout: 246 seconds < 1427836835 796372 :AnotherTest!~turingcom@d51a4c6f4.access.telenet.be QUIT :Remote host closed the connection < 1427837229 656893 :fungot!~fungot@momus.zem.fi JOIN :#esoteric < 1427837267 591689 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Whoops. < 1427837270 13038 :fungot!~fungot@momus.zem.fi QUIT :Remote host closed the connection < 1427837389 509584 :fungot!~fungot@momus.zem.fi JOIN :#esoteric < 1427837471 690202 :cpressey!~cpressey@host86-187-168-94.range86-187.btcentralplus.com QUIT :Quit: leaving < 1427838279 77255 :Lymia!~lymia@inportb/loli/cirno-chan QUIT :Ping timeout: 265 seconds < 1427838482 333649 :Lymia!~lymia@inportb/loli/cirno-chan JOIN :#esoteric < 1427838482 529833 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?" < 1427838663 896121 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 252 seconds < 1427838864 41092 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Time Out14]]4 M10 02http://esolangs.org/w/index.php?diff=42252&oldid=42251 5* 03Rottytooth 5* (-81) 10/* Concept */ < 1427838897 974740 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Quit: leaving < 1427839301 159377 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1427840014 335932 :adu!~ajr@rrcs-65-34-31-2.se.biz.rr.com QUIT :Quit: adu < 1427840127 866939 :MoALTz__!~no@78.11.179.104 JOIN :#esoteric < 1427840238 19744 :MoALTz_!~no@78.11.179.104 QUIT :Ping timeout: 252 seconds < 1427840297 268558 :vodkode_!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net JOIN :#esoteric < 1427840691 259457 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1427841515 491361 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 250 seconds < 1427841832 999511 :sebbu!~sebbu@ADijon-152-1-33-124.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1427841833 51114 :sebbu!~sebbu@ADijon-152-1-33-124.w83-194.abo.wanadoo.fr QUIT :Changing host < 1427841833 51908 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1427845225 335764 :iamevn!~evn@c-67-201-217-24.reshall.wwu.edu JOIN :#esoteric < 1427845386 697455 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :http://docs.idris-lang.org/en/latest/effects/introduction.html I approve of the footnote < 1427845715 641992 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Brainfuck algorithms14]]4 10 02http://esolangs.org/w/index.php?diff=42253&oldid=41715 5* 03199.21.86.10 5* (+1) 10/* if (x) { code1 } else { code2 } */ fix Daniel Marschall's solution. It would never end. < 1427846064 328757 :ProofTechnique!~ptech@c-24-147-92-185.hsd1.vt.comcast.net JOIN :#esoteric < 1427846195 970517 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1427846361 833548 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)