< 1532996238 490089 :oerjan!oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1532996505 725681 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@metar ENVA < 1532996507 170617 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :ENVA 302350Z 25009KT CAVOK 20/14 Q1017 RMK WIND 670FT 27005KT < 1532996541 391504 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :somehow, it feels a lot hotter. must be side effect of today's xkcd. < 1532996944 98291 :tswett!443096a5@gateway/web/freenode/ip.68.48.150.165 JOIN :#esoteric < 1532996970 603607 :tswett!443096a5@gateway/web/freenode/ip.68.48.150.165 PRIVMSG #esoteric :Hey everyone. < 1532997009 174322 :tswett!443096a5@gateway/web/freenode/ip.68.48.150.165 PRIVMSG #esoteric :I've got a silly question for you guys. < 1532997017 916323 :tswett!443096a5@gateway/web/freenode/ip.68.48.150.165 PRIVMSG #esoteric :What mathematical statements are meaningful? < 1532997048 920430 :tswett!443096a5@gateway/web/freenode/ip.68.48.150.165 PRIVMSG #esoteric :Presumably arithmetic statements are meaningful. < 1532997080 65354 :tswett!443096a5@gateway/web/freenode/ip.68.48.150.165 PRIVMSG #esoteric :Suppose I've got a computer program P which enumerates arithmetic statements. < 1532997095 282990 :tswett!443096a5@gateway/web/freenode/ip.68.48.150.165 PRIVMSG #esoteric :Is the statement "all statements enumerated by P are true" meaningful? < 1532997175 257024 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that's a pretty deep philosophical questions on which people disagree. < 1532997184 595157 :tswett!443096a5@gateway/web/freenode/ip.68.48.150.165 PRIVMSG #esoteric :Crap. < 1532997191 114693 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*-s < 1532997230 531926 :tswett!443096a5@gateway/web/freenode/ip.68.48.150.165 PRIVMSG #esoteric :For the time being, I'm going to assume that *only* arithmetic statements are meaningful. < 1532997265 762144 :tswett!443096a5@gateway/web/freenode/ip.68.48.150.165 PRIVMSG #esoteric :In particular, the statement "all statements enumerated by P are meaningful" is *not* meaningful. < 1532997310 891894 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :intuitionists might have a different answer than classical mathematicians, in particular. < 1532997325 800303 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and ultrafinitists yet another. < 1532997351 389718 :tswett!443096a5@gateway/web/freenode/ip.68.48.150.165 PRIVMSG #esoteric :Intuitionists are likely to doubt that the Goldbach hypothesis is meaningful. < 1532997376 824429 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :unless it can proved or disproved. < 1532997387 650337 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(preferably using intuitionist methods) < 1532997388 112595 :tswett!443096a5@gateway/web/freenode/ip.68.48.150.165 PRIVMSG #esoteric :Right. < 1532997458 331379 :tswett!443096a5@gateway/web/freenode/ip.68.48.150.165 PRIVMSG #esoteric :Now, I've got a sheet of paper here. < 1532997473 802713 :tswett!443096a5@gateway/web/freenode/ip.68.48.150.165 PRIVMSG #esoteric :On this sheet of paper, I wrote down every single arithmetic statement that I believe is true. < 1532997487 655658 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that sounds pretty dense. < 1532997487 769158 :tswett!443096a5@gateway/web/freenode/ip.68.48.150.165 PRIVMSG #esoteric :(It's a very large sheet of paper, and that took me a very long time to do.) < 1532997514 441666 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :did it collapse into a black hole due to the bekenstein bound? < 1532997522 267426 :tswett!443096a5@gateway/web/freenode/ip.68.48.150.165 PRIVMSG #esoteric :Nope. < 1532997547 930162 :tswett!443096a5@gateway/web/freenode/ip.68.48.150.165 PRIVMSG #esoteric :Anyway, just now I wrote on the sheet of paper: "Let U be the formal system whose axioms are all of the statements written above." < 1532997564 488398 :tswett!443096a5@gateway/web/freenode/ip.68.48.150.165 PRIVMSG #esoteric :Now, below that, do you think I should write "U is consistent"? < 1532997578 349381 :tswett!443096a5@gateway/web/freenode/ip.68.48.150.165 PRIVMSG #esoteric :(I wrote that sentence at the bottom, of course.) < 1532997721 340252 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :not necessary. you might be uncertain whether arithmetic is consistent. < 1532997725 412725 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*ily < 1532997774 182075 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :although then you get into questions of what you mean by "true" in an inconsistent system. < 1532997774 408412 :tswett!443096a5@gateway/web/freenode/ip.68.48.150.165 PRIVMSG #esoteric :Hmmmm. < 1532997785 448208 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(other than "everything is true") < 1532997794 568345 :tswett!443096a5@gateway/web/freenode/ip.68.48.150.165 PRIVMSG #esoteric :But I believe that the natural numbers are a model of arithmetic. < 1532997797 237378 :tswett!443096a5@gateway/web/freenode/ip.68.48.150.165 PRIVMSG #esoteric :Or do I? < 1532997810 144687 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that would seem to imply they're consistent. < 1532997831 905467 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :godel's completeness theorem and all. < 1532997854 296067 :tswett!443096a5@gateway/web/freenode/ip.68.48.150.165 PRIVMSG #esoteric :If I don't believe in the meaningfulness of anything besides arithmetic statements, then I can't believe that the natural numbers are a model of arithmetic. < 1532997861 577670 :tswett!443096a5@gateway/web/freenode/ip.68.48.150.165 PRIVMSG #esoteric :Because that's not an arithmetic statement. < 1532997865 48322 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :except that presupposes ZFC, which implies arithmetic. < 1532997888 686696 :tswett!443096a5@gateway/web/freenode/ip.68.48.150.165 PRIVMSG #esoteric :So, in turn, I have no reason to believe that U is consistent. < 1532997894 858636 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yay! < 1532997897 612695 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :formalism ftw. < 1532998962 540753 :tswett!443096a5@gateway/web/freenode/ip.68.48.150.165 QUIT :Ping timeout: 252 seconds < 1532999105 688211 :int-e!~noone@int-e.eu PRIVMSG #esoteric :"Do you wish to compact all local and offline folders to save disk space? This will save about 628 GB." - I have my doubts. < 1532999141 368310 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :secretly, it's encouraging you to shred your harddrive in anticipation of an FBI raid. < 1533000153 873089 :moei!~moei@softbank221078042071.bbtec.net QUIT :Ping timeout: 264 seconds < 1533000418 5094 :S_Gautam!uid286066@gateway/web/irccloud.com/x-pnolgkizxkjmmbnh QUIT :Quit: Connection closed for inactivity < 1533000559 434077 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net JOIN :#esoteric < 1533003156 218738 :moei!~moei@softbank221078042071.bbtec.net JOIN :#esoteric < 1533009335 224916 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net QUIT :Read error: Connection reset by peer < 1533009396 335695 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net JOIN :#esoteric < 1533010036 999505 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`icode t̚ < 1533010037 771053 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :​[U+0074 LATIN SMALL LETTER T] [U+031A COMBINING LEFT ANGLE ABOVE] < 1533010337 442142 :zzo38!~zzo38@24-207-47-161.eastlink.ca QUIT :Ping timeout: 248 seconds < 1533011607 646993 :somewhatmoony!moony@unaffiliated/moonythedwarf NICK :totallymoony < 1533012903 994385 :oerjan!oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1533014190 872793 :nfd9001!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net QUIT :Ping timeout: 268 seconds < 1533014308 79988 :S_Gautam!uid286066@gateway/web/irccloud.com/x-pdtrfcordiqhxhzf JOIN :#esoteric < 1533016332 229486 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric < 1533021372 552821 :arseniiv!~arseniiv@95.105.66.57 JOIN :#esoteric < 1533021932 702237 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1533023985 862718 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 264 seconds < 1533024981 152397 :AnotherTest!~turingcom@213.202.60.99 JOIN :#esoteric < 1533025061 249149 :S_Gautam!uid286066@gateway/web/irccloud.com/x-pdtrfcordiqhxhzf QUIT :Quit: Connection closed for inactivity < 1533025235 385678 :AnotherTest!~turingcom@213.202.60.99 QUIT :Ping timeout: 240 seconds > 1533026010 246271 PRIVMSG #esoteric :14[[07Rosa Parks14]]4 10 02https://esolangs.org/w/index.php?diff=57091&oldid=57090 5* 03Plokmijnuhby 5* (+147) 10 < 1533029938 993047 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1533030092 980824 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :so, I'm used to the convention from C and other languages that I put whitespace on the inside of a comment marker if the comment is natural language text, but no whitespace if it's code temporarily disabled (except when there's a tokenizing ambiguity from omitting the whitespace). but should I be using this convention in VBA? It looks sort of ugly < 1533030093 165076 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :because the comment marker apostrophe looks so much more unsubstantial than slashes or sharps. < 1533030937 554826 :lambdabot!~lambdabot@haskell/bot/lambdabot QUIT :Remote host closed the connection < 1533031008 409054 :erdic!~erdic@unaffiliated/motley QUIT :Ping timeout: 265 seconds < 1533031051 421355 :erdic!~erdic@unaffiliated/motley JOIN :#esoteric < 1533031789 334517 :erdic!~erdic@unaffiliated/motley QUIT :Remote host closed the connection < 1533031822 866010 :erdic!~erdic@unaffiliated/motley JOIN :#esoteric < 1533033083 688203 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN :#esoteric < 1533040089 512117 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :wob_jonas: I believe that the only correct style guidance for commented-out code is to have none. < 1533040114 843314 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :NOOOO! < 1533040138 328213 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I mean, yes, that part is fine < 1533040152 195291 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :my question is, should I use whitespace for when it's a textual comment? < 1533040204 657272 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :that's the much more common case for my code, since I'm in the habit of commenting out code blocks with ifdefs or if conditions rather than putting a // before each line < 1533040292 934038 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :mind you, VBA doesn't have ifdef, so there I can't do that < 1533040592 247178 :int-e!~noone@int-e.eu PRIVMSG #esoteric :wob_jonas: I think I put whitespace in all cases, including commented out code. < 1533040625 935459 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(though indeed most of the time it's #if 0 / #endif, when I'm coding C or C++) > 1533041638 694300 PRIVMSG #esoteric :14[[07ObCode14]]4 10 02https://esolangs.org/w/index.php?diff=57092&oldid=50418 5* 03Wastl 5* (+2) 10/* Example Program */ Corrected cat until EOF < 1533045170 266288 :rain1!~rain1@unaffiliated/rain1 QUIT :Ping timeout: 256 seconds < 1533046840 971566 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`pbflist http://pbfcomics.com/comics/treatment/ < 1533046841 566258 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :pbflist http://pbfcomics.com/comics/treatment/: shachaf Sgeo quintopia ion b_jonas Cale < 1533050474 140328 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :AAAARGH! < 1533050607 791185 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :apparently the VBA parser requires a space between an identifier and an ampersand operator, because it can actually parse an ampersand as a sigil too < 1533050624 93819 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :the manual didn't even mention that this dialect of basic supports sigils < 1533050635 520868 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :great < 1533050709 742191 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I mean, it makes sense in retrospect, but it's annoying because I already auto-generated code for some long string concatenations that I have to regenerate nw < 1533051594 12636 :int-e!~noone@int-e.eu PRIVMSG #esoteric :wob_jonas: you should really give your operators room to breathe :P < 1533051677 44877 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :yeah, that's sort of my former senior programmer said too, that he wants spaces around operators as the most important whitespacing rule in code conventions < 1533051747 563619 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Spaces around close parentheses but not open parantheses < 1533051762 696874 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Like this: "foo(bar ) +1" < 1533051771 980345 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :lol < 1533051795 790254 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :You know, seeing that has made me realise I haven't eaten in over 24 hours. I should get some food < 1533051834 971333 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :you at least made sure to keep hydrated, right? < 1533051898 990003 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :wow im really behind on pbf < 1533051962 461161 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1533052052 946230 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I've got myself a bowl of ceral < 1533052232 321891 :AnotherTest!~turingcom@213.202.60.99 JOIN :#esoteric < 1533053761 868881 :erkin!~erkin@unaffiliated/erkin QUIT :Quit: Ouch! Got SIGIRL, dying... < 1533053918 968221 :moei!~moei@softbank221078042071.bbtec.net QUIT :Quit: Leaving... < 1533054113 432036 :AnotherTest!~turingcom@213.202.60.99 QUIT :Ping timeout: 248 seconds < 1533054327 200486 :S_Gautam!uid286066@gateway/web/irccloud.com/x-lmrqcsrqkmvaexqp JOIN :#esoteric < 1533054556 349388 :arseniiv!~arseniiv@95.105.66.57 PRIVMSG #esoteric :I missed #esolang while being almost entirely in other places two weeks prior < 1533054565 956279 :arseniiv!~arseniiv@95.105.66.57 PRIVMSG #esoteric :#esoteric* of course < 1533054662 323156 :arseniiv!~arseniiv@95.105.66.57 PRIVMSG #esoteric :though I don’t read thoroughly and usually have nothing to add, it’s fun or/and useful < 1533055407 670346 :AnotherTest!~turingcom@213.202.60.99 JOIN :#esoteric < 1533055614 711995 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net PRIVMSG #esoteric :I'm thinking it'd be nice to extend the idea of reversible computing to analog comptuers. < 1533055685 920147 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net PRIVMSG #esoteric :As far as I'm aware, modeling analog computers would involve using continuous functions. < 1533055771 986963 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net PRIVMSG #esoteric :And apparently if you have a reversible function that's also continuous, it's a homeomorphism? < 1533056614 283705 :arseniiv!~arseniiv@95.105.66.57 PRIVMSG #esoteric :if the function R → R is continuous and invertible, it’s strictly monotone AFAIR. For functions R^n → R^n IDK < 1533056720 803606 :arseniiv!~arseniiv@95.105.66.57 PRIVMSG #esoteric :a homeomorphism is a topological notion, and R or R^n do admit various topologies not too non-standard to not consider them < 1533056792 114135 :arseniiv!~arseniiv@95.105.66.57 PRIVMSG #esoteric :or I’m too strict < 1533056816 93478 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net PRIVMSG #esoteric :Yeah, I was wondering where to look next since I wasn't sure what to make of things suddenly veering itno topology. < 1533057614 792450 :arseniiv!~arseniiv@95.105.66.57 PRIVMSG #esoteric :I think it could be described using terms from basic [multidimensional] analysis entirely, and no special topological treatment seem to have to be used to find something here < 1533057645 445829 :arseniiv!~arseniiv@95.105.66.57 PRIVMSG #esoteric :no need to swim into deep waters for every small task < 1533058035 897905 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net PRIVMSG #esoteric :Monotonic functions seem to be in the direction of what I'm looking for, though for brining things back to computing it'd be nice to have functions with more than one argument. > 1533058117 452334 PRIVMSG #esoteric :14[[07Truth-machine14]]4 10 02https://esolangs.org/w/index.php?diff=57093&oldid=57089 5* 03Raumaankidwai 5* (-2) 10/* Pyth */ < 1533058449 929701 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net PRIVMSG #esoteric :That just leaves me wondering how to order complex numbers/tuples for the purpose of having functions on them be monotonic, though. < 1533058478 6112 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net PRIVMSG #esoteric :Basic multidimensional analysis is proably something I should look into, thanks. < 1533058608 634198 :AnotherTest!~turingcom@213.202.60.99 QUIT :Ping timeout: 256 seconds < 1533058690 519374 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1533059372 596478 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :OK, I think my laptop's hard drive might not be working < 1533059414 877560 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Where's a good place to buy a replacement < 1533059451 701600 :moei!~moei@softbank221078042071.bbtec.net JOIN :#esoteric < 1533059455 151582 :Hooloovo0!Hooloovoo@hooloovoo.blue PRIVMSG #esoteric :newegg is pretty decent < 1533059470 695708 :Hooloovo0!Hooloovoo@hooloovoo.blue PRIVMSG #esoteric :what are the symptoms? < 1533059587 160767 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Booting fails and says "try running fsck manually" or something like that < 1533059608 773104 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Booted onto a USB an ran fsk manually, get a ton of "Buffer I/O error" < 1533059644 934973 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Don't know enough to know what's relevant from this output, but it doesn't look friendly < 1533059654 471803 :int-e!~noone@int-e.eu PRIVMSG #esoteric :you could query the smart data smartctl -a /dev/sda ? < 1533059662 268855 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(or whatever the hdd device is) < 1533059672 742745 :Hooloovo0!Hooloovoo@hooloovoo.blue PRIVMSG #esoteric :yeah, that sounds like a hard drive failure < 1533059684 663502 :int-e!~noone@int-e.eu PRIVMSG #esoteric :but yes, indeed < 1533059693 80093 :Hooloovo0!Hooloovoo@hooloovoo.blue PRIVMSG #esoteric :I'd recommend immediate backups with ddrescue or the like < 1533059716 679281 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :There's nothing on it I particularly want to keep < 1533059777 811972 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :...I've got literally no idea how to remove the hard drive < 1533059778 390809 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1533059803 670823 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1533059823 548588 :int-e!~noone@int-e.eu PRIVMSG #esoteric :hmmmm power drill < 1533059870 977731 :Hooloovo0!Hooloovoo@hooloovoo.blue PRIVMSG #esoteric :what kind of laptop? < 1533059872 388647 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::P < 1533059880 923874 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Some kind of low-end HP < 1533059884 578016 :Hooloovo0!Hooloovoo@hooloovoo.blue PRIVMSG #esoteric :newer ones can be pretty annoying < 1533059916 429189 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I suppose there are soldered on SSDs and similar sins. < 1533060025 342095 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Might just be new-laptop time < 1533060065 554511 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :So... anyone recommend a new laptop? < 1533060107 939888 :Hooloovo0!Hooloovoo@hooloovoo.blue PRIVMSG #esoteric :thinkpad earlier than around 2013 < 1533060125 231859 :int-e!~noone@int-e.eu PRIVMSG #esoteric :hah < 1533060154 412178 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(but I have no better advice; my last personal laptop was one of th Acer One netbooks) < 1533060302 858361 :Hooloovo0!Hooloovoo@hooloovoo.blue PRIVMSG #esoteric :I've also heard decent things about eurocoms or some other clevos < 1533060316 810070 :Hooloovo0!Hooloovoo@hooloovoo.blue PRIVMSG #esoteric :but expensive < 1533061633 820219 :arseniiv!~arseniiv@95.105.66.57 PRIVMSG #esoteric :MDude: That just leaves me wondering how to order complex numbers/tuples for the purpose of having functions on them be monotonic, though. => you most likely don’t need this total ordering. It is in a sense incompatible with more than one dimensions < 1533064762 640157 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 256 seconds < 1533065172 689277 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1533065411 544715 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1533065620 263905 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net PRIVMSG #esoteric :Yeah, it's just a question of whether continuity and bijection are, in combination, also incompatible with more than one dimensions. < 1533065779 176522 :wob_jonas!b03f1859@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.89 JOIN :#esoteric < 1533065912 191738 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 245 seconds < 1533066448 444020 :imode!~imode@unaffiliated/imode QUIT :Quit: WeeChat 2.2 < 1533067350 431926 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1533067614 718582 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1533067931 196151 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1533068097 323656 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 248 seconds < 1533068162 47783 :wob_jonas!b03f1859@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.89 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1533068616 216074 :arseniiv!~arseniiv@95.105.66.57 PRIVMSG #esoteric :MDude: they are compatible, look at identity function. It’s always continuous and bijective. Invertible affine transformations are both, also. Now you can slightly “deform” an affine transformation and obtain more sofisticated examples. I’m not going to list all the possible functions, though, as I haven’t studied this topic < 1533068791 293438 :wob_jonas!b03f1859@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.89 JOIN :#esoteric < 1533068805 968194 :wob_jonas!b03f1859@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.89 PRIVMSG #esoteric :`olist 1131 < 1533068806 774265 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :olist 1131: shachaf oerjan Sgeo FireFly boily nortti b_jonas < 1533068808 815997 :wob_jonas!b03f1859@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.89 QUIT :Client Quit < 1533068913 996020 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net PRIVMSG #esoteric :Yeah, I just need to figure out what area I need to study to learn some examples less trivial than the identity function and simple inversion. < 1533068967 87396 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net PRIVMSG #esoteric :Affine transformations are rpobably what I'm looking for, so again, thanks. < 1533069270 683148 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1533069510 662801 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net PRIVMSG #esoteric :Yeah, this seems to be what I'm looking for. < 1533069702 1067 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net PRIVMSG #esoteric :I think I got confused at some point and dismissed roation when I shouldn't. < 1533070645 460523 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net PRIVMSG #esoteric :It also seems like a lot of this could be implemented pretty well as optical systems, which would would be handy. < 1533072696 727650 :arseniiv_!~arseniiv@94.41.80.212.dynamic.ufanet.ru JOIN :#esoteric < 1533072873 491809 :arseniiv!~arseniiv@95.105.66.57 QUIT :Ping timeout: 256 seconds < 1533074007 674731 :arseniiv_!~arseniiv@94.41.80.212.dynamic.ufanet.ru QUIT :Ping timeout: 240 seconds < 1533076503 11243 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net QUIT :Quit: the creeping crawling chaos will return. < 1533078524 321212 :boily!~alexandre@cable-192.222.236.157.electronicbox.net JOIN :#esoteric < 1533078601 733374 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: brb < 1533078627 237389 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1533079646 267612 :Melvar!~melvar@dslb-002-203-102-060.002.203.pools.vodafone-ip.de QUIT :Ping timeout: 256 seconds < 1533079672 414920 :Melvar!~melvar@dslb-002-203-102-060.002.203.pools.vodafone-ip.de JOIN :#esoteric < 1533080363 411742 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net PRIVMSG #esoteric :That's a lot of olist < 1533080556 926573 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeo_: true < 1533080559 577882 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :well done < 1533080669 390076 :imode!~imode@unaffiliated/imode QUIT :Quit: WeeChat 2.2