< 1524614430 978057 :APic!apic@apic.name PRIVMSG #esoteric :,o0(Ethin) > 1524614431 302011 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=54914&oldid=54882 5* 03King Ethan 5* (+207) 10 < 1524615090 370988 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1524615795 219644 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1524616321 506205 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Ping timeout: 248 seconds < 1524616370 50198 :erkin!~erkin@unaffiliated/erkin QUIT :Quit: Ouch! Got SIGIRL, dying... < 1524616441 348022 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1524616851 246157 :wob_jonas!b03f1861@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.97 JOIN :#esoteric < 1524616908 938156 :wob_jonas!b03f1861@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.97 PRIVMSG #esoteric :" shachaf: did you know that technically those are supposed to be *greek* letters" => I don't buy that. I think they're supposed to be latin letters, and also originate in a latin word "ordo", but let me check what Knuth says. < 1524616978 752951 :wob_jonas!b03f1861@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.97 PRIVMSG #esoteric :" This includes nu and omega." => those aren't even similar to latin letters. the only lowercase greek letters that are similar to latin letters are omicron, which looks exactly the same as a latin o, and upsilon, which looks similar to an italic latin v < 1524616998 668685 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :nu looks like v and omega looks like w < 1524617071 906300 :wob_jonas!b03f1861@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.97 PRIVMSG #esoteric :only in bad handwriting, in which case you'll have bigger problems than those letters < 1524617114 851755 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :ωellob_jonas. < 1524617162 171987 :APic!apic@apic.name PRIVMSG #esoteric :Good old Lettes. < 1524617163 284655 :APic!apic@apic.name PRIVMSG #esoteric :+r > 1524617190 218068 PRIVMSG #esoteric :14[[07JR14]]4 N10 02https://esolangs.org/w/index.php?oldid=54915 5* 03King Ethan 5* (+48) 10Created page with "JR is a [[Deadfish]] variant with more commands." > 1524617213 191229 PRIVMSG #esoteric :14[[07JR14]]4 M10 02https://esolangs.org/w/index.php?diff=54916&oldid=54915 5* 03King Ethan 5* (+29) 10 < 1524617328 776429 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :`? ꙮ < 1524617330 374905 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :​ꙮ is the official Unicode character of #esoteric. < 1524617345 125774 :wob_jonas!b03f1861@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.97 PRIVMSG #esoteric :Or it might be named from the german word Ordnung < 1524617354 565081 :wob_jonas!b03f1861@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.97 PRIVMSG #esoteric :which I think is etymologically related < 1524617393 224936 :APic!apic@apic.name PRIVMSG #esoteric :9HAIL ERŸS!@ < 1524617394 644320 :APic!apic@apic.name PRIVMSG #esoteric :-@ < 1524617411 736646 :wob_jonas!b03f1861@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.97 PRIVMSG #esoteric :but I guess the latin is more likely, because it's an old sign: Knuth says it was introduced by Paul Bachmann in 1894 < 1524617435 427598 :wob_jonas!b03f1861@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.97 PRIVMSG #esoteric :heck, dunno, german could be possible in 1894 already < 1524617445 580119 :doesthiswork!~Adium@207.55.82.87 PART :#esoteric > 1524617517 463849 PRIVMSG #esoteric :14[[07JR14]]4 M10 02https://esolangs.org/w/index.php?diff=54917&oldid=54916 5* 03King Ethan 5* (+1163) 10 < 1524617575 648150 :wob_jonas!b03f1861@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.97 PRIVMSG #esoteric :Knuth-CM doesn't seem to specifically mention whether it's a latin or greek letter; I'll also have to check TAOCP < 1524617600 137412 :wob_jonas!b03f1861@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.97 PRIVMSG #esoteric :oerjan: why do you think it's supposed to be a greek letter? < 1524617628 698926 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :APic: did you partake of a hot-dog latelÿ? < 1524617638 950386 :APic!apic@apic.name PRIVMSG #esoteric :Certainly not. < 1524617651 860808 :APic!apic@apic.name PRIVMSG #esoteric :ACTION can not even contact his Foodstuffsprovider right now 24/7 < 1524617661 480518 :Hooloovo0!Hooloovoo@hooloovoo.blue PRIVMSG #esoteric :ACTION throws apic a hot dog < 1524617674 535095 :APic!apic@apic.name PRIVMSG #esoteric :Because the Burger-King at the giasinger Bahnhof is currently renovating. < 1524617683 791882 :APic!apic@apic.name PRIVMSG #esoteric :Whoaaaaah < 1524617689 941559 :APic!apic@apic.name PRIVMSG #esoteric :ACTION needs to eat some Icecream now < 1524617691 61684 :APic!apic@apic.name PRIVMSG #esoteric :brb < 1524617937 929460 :wob_jonas!b03f1861@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.97 PRIVMSG #esoteric :TAOCP 1.2.11.1 specifically says it's called "big-oh", which seems to imply that it's not the greek letter, but the latin (or cyrillic or coptic one) < 1524617953 14626 :wob_jonas!b03f1861@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.97 PRIVMSG #esoteric :it would be called "big-omikron" if it was greek > 1524618142 327942 PRIVMSG #esoteric :14[[07JR14]]4 M10 02https://esolangs.org/w/index.php?diff=54918&oldid=54917 5* 03King Ethan 5* (+26) 10/* External resources */ < 1524618257 876300 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wob_jonas: for the same reason it's called the berenstein bears hth < 1524618394 367388 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :alternatively, one of my twins stole my keyboard hth < 1524618401 467984 :wob_jonas!b03f1861@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.97 PRIVMSG #esoteric :I guess if it says "big-oh", we could still decide that it's a cyrillic, coptic, or armenian letter < 1524618422 307665 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wikipedia seems to agree with you, anyway. > 1524618668 68261 PRIVMSG #esoteric :14[[07JR14]]4 M10 02https://esolangs.org/w/index.php?diff=54919&oldid=54918 5* 03King Ethan 5* (+47) 10/* External resources */ < 1524618935 170230 :boily!~alexandre@cable-192.222.236.157.electronicbox.net QUIT :Quit: PRIESTLY CHICKEN < 1524620284 743780 :moei!~moei@softbank221078042071.bbtec.net JOIN :#esoteric < 1524620503 23840 :wob_jonas!b03f1861@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.97 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1524627140 443312 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1524628054 5924 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1524628127 199064 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1524628637 901863 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1524628710 202772 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1524630033 848157 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1524630106 393912 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1524631190 918734 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1524631263 423726 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1524631805 12626 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1524631877 704864 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1524633249 397864 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Ping timeout: 248 seconds < 1524634541 193000 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1524634948 659870 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net QUIT :Ping timeout: 268 seconds < 1524636657 704193 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1524636730 447810 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1524637071 785035 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fizzie: I saw https://pbs.twimg.com/media/Dbj67MPXcAAJD5g.png and was going to ask you whether you got a sword < 1524637082 533303 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But apparently I already asked before? < 1524637099 615404 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I should download the new logs so I have something more organized than my current hodgepodge. < 1524637264 633772 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: quit < 1524639268 521508 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1524640603 76553 :oerjan!oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Later < 1524640753 217584 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1524640759 346194 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 256 seconds < 1524641025 286833 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Ping timeout: 264 seconds < 1524643017 304583 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1524643908 51338 :probablymoony!moony@unaffiliated/moonythedwarf JOIN :#esoteric < 1524643941 379150 :moony!moony@unaffiliated/moonythedwarf QUIT :Ping timeout: 264 seconds < 1524645526 137581 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 264 seconds < 1524646879 26926 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1524646923 371181 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1524647195 356007 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Ping timeout: 265 seconds < 1524647297 417506 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1524650635 646385 :incomprehensibly!sid3405@gateway/web/irccloud.com/x-vnjdihiarskizsns QUIT : < 1524650664 523668 :incomprehensibly!sid3405@gateway/web/irccloud.com/x-vcldxlofapwqeuof JOIN :#esoteric < 1524651987 481145 :AnotherTest!~turingcom@d51A46C74.access.telenet.be JOIN :#esoteric < 1524652576 425512 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1524652596 480195 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1524653198 120772 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1524653591 177827 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`` [ "x3" > "x4" ] && echo 1 < 1524653593 706132 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :1 < 1524653599 877231 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`` [ "x3" < "x4" ] && echo 1 < 1524653601 109448 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :1 < 1524653623 69584 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I'm confused, what am I doing wrong? < 1524653653 965128 :int-e!~noone@int-e.eu PRIVMSG #esoteric :something with [ ] vs [[ ]] < 1524655799 479545 :AnotherTest!~turingcom@d51A46C74.access.telenet.be QUIT :Ping timeout: 256 seconds < 1524656895 28163 :AnotherTest!~turingcom@natx-145.kulnet.kuleuven.be JOIN :#esoteric < 1524657350 439364 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1524658228 909431 :xkapastel!uid17782@gateway/web/irccloud.com/x-umvwymnjkcilxcsh QUIT :Quit: Connection closed for inactivity < 1524658345 413399 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net JOIN :#esoteric < 1524658446 532000 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :[ is a command < 1524658451 164041 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :[[ is part of the syntax < 1524658461 759956 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :so [ can special case < > < 1524658467 76076 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :for [ they're just redirections < 1524658484 267459 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :so [ x3 > x4 ] is the same as [ x3 ] >x4 < 1524658496 478745 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :which returns true because x3 is not an empty string < 1524658524 914921 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :izabera | so [ can special case < > meant to say so [[ can special case < > < 1524658543 105149 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`` [[ x3 < x4 ]] && echo 1 < 1524658562 513695 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :bot plz < 1524658929 386565 :int-e!~noone@int-e.eu PRIVMSG #esoteric :izabera: argh. < 1524658934 418569 :int-e!~noone@int-e.eu PRIVMSG #esoteric :izabera: thanks < 1524659020 742759 :shikhin!shikhin@unaffiliated/shikhin QUIT :*.net *.split < 1524659020 894475 :HackEso!~h@techne.zem.fi QUIT :*.net *.split < 1524659020 949438 :FreeFull!~freefull@defocus/sausage-lover QUIT :*.net *.split < 1524659021 23131 :j-bot!eldis4@firefly.nu QUIT :*.net *.split < 1524659021 56641 :FireFly!znc@freenode/staff/firefly QUIT :*.net *.split < 1524659021 423483 :digitalcold!~redacted@unaffiliated/digitalcold QUIT :*.net *.split < 1524659171 709974 :shikhin!shikhin@unaffiliated/shikhin JOIN :#esoteric < 1524659171 710047 :HackEso!~h@techne.zem.fi JOIN :#esoteric < 1524659171 710063 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1524659171 787061 :j-bot!eldis4@firefly.nu JOIN :#esoteric < 1524659171 787124 :FireFly!znc@freenode/staff/firefly JOIN :#esoteric < 1524659171 787165 :digitalcold!~redacted@unaffiliated/digitalcold JOIN :#esoteric < 1524659229 315879 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net QUIT :Ping timeout: 260 seconds < 1524659337 705548 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net JOIN :#esoteric < 1524659935 191862 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net QUIT :Remote host closed the connection < 1524661945 341805 :wob_jonas!b03f1896@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.150 JOIN :#esoteric < 1524661973 603157 :wob_jonas!b03f1896@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.150 PRIVMSG #esoteric :``` (( 3 > 4 )) && echo three is more than four; (( 3 < 4 )) && echo four is more than three < 1524661974 592189 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :four is more than three < 1524662015 576137 :wob_jonas!b03f1896@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.150 PRIVMSG #esoteric :int-e: you want (( which is a magical syntax analog for let , in the same sense as [[ is a magical syntax analog for test < 1524662044 708013 :wob_jonas!b03f1896@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.150 PRIVMSG #esoteric :let does arithmetic, test checks file attributes, plus string comparisons for some reason < 1524662069 939513 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :[[ foobar =~ f.*r ]] regex < 1524662089 305229 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :[[ foobar = f*r ]] glob < 1524662120 292076 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :[[ 10 -gt 2 ]] math < 1524662124 635250 :wob_jonas!b03f1896@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.150 PRIVMSG #esoteric :it's all for historical reasons, let and $(()) and (( )) and $[] sprang up to partly replace the really stupid expr command < 1524662133 995105 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :[[ -v var ]] testing if a variable is defined < 1524662142 464180 :wob_jonas!b03f1896@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.150 PRIVMSG #esoteric :other parts are replaced by test and by shell substitution < 1524662160 744516 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :$[] is funny in bash < 1524662160 960990 :wob_jonas!b03f1896@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.150 PRIVMSG #esoteric :including the newfangled ${v/p/r} substitution < 1524662161 929189 :int-e!~noone@int-e.eu PRIVMSG #esoteric :wob_jonas: I want a string comparison though < 1524662167 585811 :int-e!~noone@int-e.eu PRIVMSG #esoteric :not a numerical one < 1524662169 548049 :wob_jonas!b03f1896@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.150 PRIVMSG #esoteric :int-e: ok < 1524662180 568113 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :did you know that $(( )) and $[ ] are parsed differently? < 1524662201 878747 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I did not < 1524662218 328109 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`` printf %d $[1&123456789>>{31..0}] < 1524662219 267306 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :00000111010110111100110100010101 < 1524662229 413613 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :can't do that with $(( )) < 1524662233 134232 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`` [ "x3" \< "x4" ] && echo 1 < 1524662234 90400 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :1 < 1524662239 145680 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`` [ "x3" \> "x4" ] && echo 1 < 1524662240 73469 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :No output. < 1524662311 273546 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`stat x4 < 1524662312 160363 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :​ File: x4 \ Size: 0 Blocks: 0 IO Block: 1024 regular empty file \ Device: 12h/18d Inode: 1204956 Links: 1 \ Access: (0644/-rw-r--r--) Uid: ( 1000/ UNKNOWN) Gid: ( 1000/ UNKNOWN) \ Access: 2018-04-25 10:53:12.000000000 +0000 \ Modify: 2018-04-25 10:53:12.000000000 +0000 \ Change: 2018-04-25 10:53:12.000000000 +0000 \ Birth: - < 1524662317 958498 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`rm x4 < 1524662319 842743 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :No output. < 1524662868 922811 :wob_jonas!b03f1896@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.150 PRIVMSG #esoteric :bash has come a long way since I started using linux. back then it didn't have ${v/p/r}, it didn't have (( )) or [[ ]] , it didn't have |& , it didn't have redirection with the file descriptor chosen automatically and put into a shell variable < 1524662876 169014 :wob_jonas!b03f1896@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.150 PRIVMSG #esoteric :it didn't have any of these useful modern features < 1524662959 134253 :wob_jonas!b03f1896@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.150 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1524664060 129693 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :I thought ${//} and (( )) and [[ ]] were all quite old < 1524664200 831461 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i believe they're at least bash 2.x < 1524664205 417219 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :like 20 years old < 1524665462 60066 :AnotherTest!~turingcom@natx-145.kulnet.kuleuven.be QUIT :Ping timeout: 276 seconds < 1524666437 431578 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1524666970 433345 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1524668469 251093 :shikhin!shikhin@unaffiliated/shikhin QUIT :*.net *.split < 1524668469 395119 :HackEso!~h@techne.zem.fi QUIT :*.net *.split < 1524668469 442177 :FreeFull!~freefull@defocus/sausage-lover QUIT :*.net *.split < 1524668469 502717 :j-bot!eldis4@firefly.nu QUIT :*.net *.split < 1524668469 536290 :FireFly!znc@freenode/staff/firefly QUIT :*.net *.split < 1524668469 897592 :digitalcold!~redacted@unaffiliated/digitalcold QUIT :*.net *.split < 1524668471 123883 :optimus[m]!optimusmat@gateway/shell/matrix.org/x-zudmhooitjiylciv QUIT :*.net *.split < 1524668471 554182 :brandonson!~brandon@208.91.114.1 QUIT :*.net *.split < 1524668471 945110 :propumpkin!~copumpkin@haskell/developer/copumpkin QUIT :*.net *.split < 1524668472 215958 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :*.net *.split < 1524668472 714597 :joast!~rick@cpe-98-145-132-215.natnow.res.rr.com QUIT :*.net *.split < 1524668472 884855 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com QUIT :*.net *.split < 1524668507 40145 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1524668507 40192 :joast!~rick@cpe-98-145-132-215.natnow.res.rr.com JOIN :#esoteric < 1524668507 40203 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com JOIN :#esoteric < 1524668601 612585 :optimus[m]!optimusmat@gateway/shell/matrix.org/x-zudmhooitjiylciv JOIN :#esoteric < 1524668603 606706 :shikhin!shikhin@unaffiliated/shikhin JOIN :#esoteric < 1524668603 608264 :HackEso!~h@techne.zem.fi JOIN :#esoteric < 1524668603 608282 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1524668603 608297 :j-bot!eldis4@firefly.nu JOIN :#esoteric < 1524668603 608310 :FireFly!znc@freenode/staff/firefly JOIN :#esoteric < 1524668603 608323 :digitalcold!~redacted@unaffiliated/digitalcold JOIN :#esoteric < 1524668653 61455 :brandonson!~brandon@208.91.114.1 JOIN :#esoteric < 1524668653 94924 :propumpkin!~copumpkin@haskell/developer/copumpkin JOIN :#esoteric < 1524668710 94913 :optimus[m]!optimusmat@gateway/shell/matrix.org/x-zudmhooitjiylciv QUIT :Ping timeout: 256 seconds < 1524668727 796274 :ineiros!ineiros@kapsi.fi QUIT :Ping timeout: 240 seconds < 1524668739 371606 :copumpkin!copumpkinm@haskell/developer/copumpkin QUIT :Ping timeout: 276 seconds < 1524668787 709763 :moei!~moei@softbank221078042071.bbtec.net QUIT :Ping timeout: 240 seconds < 1524668862 296936 :moei!~moei@softbank221078042071.bbtec.net JOIN :#esoteric < 1524668945 680515 :ineiros!ineiros@kapsi.fi JOIN :#esoteric < 1524668951 492533 :LKoen!~LKoen@2a01:e35:2eed:a430:5df3:46f9:86e8:230f JOIN :#esoteric < 1524669830 479417 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net JOIN :#esoteric < 1524670473 882970 :Deewiant_!~deewiant@fr1.ut.deewiant.iki.fi QUIT :Ping timeout: 246 seconds < 1524671746 667218 :xkapastel!uid17782@gateway/web/irccloud.com/x-isqimwcaybhpupfw JOIN :#esoteric < 1524672076 671547 :XYZ_!~quassel@182.182.123.120 JOIN :#esoteric < 1524672090 835820 :XYZ_!~quassel@182.182.123.120 PRIVMSG #esoteric :anyone here? < 1524672095 969596 :XYZ_!~quassel@182.182.123.120 PRIVMSG #esoteric :nvm < 1524672098 119918 :XYZ_!~quassel@182.182.123.120 PART #esoteric :"http://quassel-irc.org - Chat comfortably. Anywhere." < 1524672150 882906 :int-e!~noone@int-e.eu PRIVMSG #esoteric :that was quick < 1524672179 326951 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :Apparently no-one is here < 1524672191 687507 :int-e!~noone@int-e.eu PRIVMSG #esoteric :my guess is that they saw the topic < 1524672298 55714 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1524672311 237621 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :Ooh, that's conceivable < 1524672623 595460 :sparr!~sparr@pdpc/supporter/active/sparr QUIT :*.net *.split < 1524672641 630713 :sparr__!~sparr@2604:a880:800:10::103:f001 JOIN :#esoteric < 1524672795 283039 :copumpkin!copumpkinm@haskell/developer/copumpkin JOIN :#esoteric < 1524673257 975280 :LKoen!~LKoen@2a01:e35:2eed:a430:5df3:46f9:86e8:230f QUIT :Remote host closed the connection < 1524673743 636503 :optimus[m]!optimusmat@gateway/shell/matrix.org/x-efpwghlsypjjefgq JOIN :#esoteric < 1524674191 479329 :LKoen!~LKoen@2a01:e35:2eed:a430:e975:b99b:b56c:dca3 JOIN :#esoteric < 1524674212 606475 :lynn!sid154965@gateway/web/irccloud.com/x-anorgmjqtfefkjdi QUIT : < 1524674236 76083 :lynn!sid154965@gateway/web/irccloud.com/x-fcebzexizwvaivdw JOIN :#esoteric < 1524675163 316094 :LKoen!~LKoen@2a01:e35:2eed:a430:e975:b99b:b56c:dca3 QUIT :Remote host closed the connection < 1524675173 79884 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 276 seconds < 1524675638 449011 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net JOIN :#esoteric < 1524677235 479442 :oerjan!oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1524678179 842675 :oerjan!oerjan@hagbart.nvg.ntnu.no TOPIC #esoteric :Welcome to the international millipede for esoteric programming language discussion, design, development and deployment! | http://esolangs.org | logs: http://esolangs.org/logs/ http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | https://www.dropbox.com/s/fyhqyvy3i8oh25m/wisdom.pdf < 1524678354 254552 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1524679301 49418 :xkapastel!uid17782@gateway/web/irccloud.com/x-isqimwcaybhpupfw QUIT :Quit: Connection closed for inactivity < 1524679322 423802 :arseniiv!~arseniiv@46.191.172.79 JOIN :#esoteric < 1524679335 903344 :arseniiv!~arseniiv@46.191.172.79 PRIVMSG #esoteric :hey again! < 1524679415 212010 :arseniiv!~arseniiv@46.191.172.79 PRIVMSG #esoteric :I’ve written out some notes on my dialect of that unnamed lazy functional language for a person possibly non-acquainted with FP, so these may be of some interest to someone somewhere: https://gist.github.com/arseniiv/811949865aabe30e114ab01088cfb8d7 < 1524679560 923166 :arseniiv!~arseniiv@46.191.172.79 PRIVMSG #esoteric :also maybe you could suggest a more informative example on evaluation. Mine could look uneasy < 1524679586 523371 :arseniiv!~arseniiv@46.191.172.79 PRIVMSG #esoteric :also haven’t anyone remember yet how it could be called? ::) < 1524679626 714537 :arseniiv!~arseniiv@46.191.172.79 PRIVMSG #esoteric :maybe I should create a page on the wiki… < 1524679663 619209 :arseniiv!~arseniiv@46.191.172.79 PRIVMSG #esoteric :(but you see my English is strange-looking. It’s because I don’t know it) < 1524680982 511150 :arseniiv!~arseniiv@46.191.172.79 PRIVMSG #esoteric :`? dictionary < 1524680984 169375 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :dictionary? ¯\(°​_o)/¯ < 1524681000 954619 :arseniiv!~arseniiv@46.191.172.79 PRIVMSG #esoteric :`? library < 1524681002 761584 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :library? ¯\(°​_o)/¯ < 1524681008 336949 :arseniiv!~arseniiv@46.191.172.79 PRIVMSG #esoteric :`? package < 1524681009 672920 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :package? ¯\(°​_o)/¯ < 1524681014 205538 :arseniiv!~arseniiv@46.191.172.79 PRIVMSG #esoteric :wow < 1524681031 394398 :arseniiv!~arseniiv@46.191.172.79 PRIVMSG #esoteric :`? book < 1524681032 683050 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :book? ¯\(°​_o)/¯ < 1524681044 181190 :arseniiv!~arseniiv@46.191.172.79 PRIVMSG #esoteric :`? lambdabot < 1524681045 442038 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :lambdabot is a fully functional bot. just don't ask about @src. or the neighbours. < 1524681062 467233 :arseniiv!~arseniiv@46.191.172.79 PRIVMSG #esoteric :`? fungot < 1524681062 888614 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :arseniiv: this makes it so inefficient and frustrating for all but the first.... think there's an official scheme48 debian package.)) the reader gymnastics < 1524681063 907308 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :fungot is our beloved channel mascot and voice of reason. < 1524681145 413833 :arseniiv!~arseniiv@46.191.172.79 PRIVMSG #esoteric :`? variable < 1524681146 628286 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :variable? ¯\(°​_o)/¯ < 1524681192 348213 :arseniiv!~arseniiv@46.191.172.79 PRIVMSG #esoteric :`? logic < 1524681193 620110 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :Logic is just another way the true Scotsman is keeping you down. < 1524681207 474218 :arseniiv!~arseniiv@46.191.172.79 PRIVMSG #esoteric :`? categor* < 1524681208 785527 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :categor*? ¯\(°​_o)/¯ < 1524681312 728811 :arseniiv!~arseniiv@46.191.172.79 PRIVMSG #esoteric :`? esolang < 1524681314 85253 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :esolang? ¯\(°​_o)/¯ < 1524681328 472938 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`wisdom categor < 1524681329 421116 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :​bicategory//Bicategories are just categories where composition is only associative up to an isomorphism. < 1524681349 428246 :arseniiv!~arseniiv@46.191.172.79 PRIVMSG #esoteric ::D < 1524681478 685499 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`wisdom categor < 1524681479 924539 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :​category-helpdesk//category-helpdesk is a helpdesk with identity and composition. This channel isn't it. < 1524681702 949059 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net QUIT :Remote host closed the connection < 1524681887 912891 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1524683182 899890 :xkapastel!uid17782@gateway/web/irccloud.com/x-wosriqkrmyqpdqch JOIN :#esoteric < 1524683393 504931 :brandonson!~brandon@208.91.114.1 QUIT :Ping timeout: 248 seconds < 1524683415 332804 :Deewiant!~deewiant@fr1.ut.deewiant.iki.fi JOIN :#esoteric < 1524683483 738989 :brandonson!~brandon@208.91.114.1 JOIN :#esoteric < 1524684948 321494 :AnotherTest!~turingcom@ptr-82l26zex1glfa1xy3qc.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1524685807 491616 :oerjan!oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1524685868 201326 :friendlyGoat!~Jonah@74-36-159-174.dr01.nwmd.wi.frontiernet.net JOIN :#esoteric < 1524685909 465155 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric < 1524685935 722585 :friendlyGoat!~Jonah@74-36-159-174.dr01.nwmd.wi.frontiernet.net QUIT :Client Quit < 1524687440 388099 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1524688467 669100 :wob_jonas!b03f192e@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.46 JOIN :#esoteric < 1524688491 174138 :wob_jonas!b03f192e@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.46 PRIVMSG #esoteric :" i believe they're at least bash 2.x" => yes. I used bash before 2.0. bash was one of the first unix software I got familiar with. < 1524688555 538649 :wob_jonas!b03f192e@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.46 PRIVMSG #esoteric :we did have ${v##p} and ${v%%p} and ${v#p} and ${v%p} though, so I could use that for string manip < 1524688631 408576 :wob_jonas!b03f192e@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.46 PRIVMSG #esoteric :" I’ve written out some notes on my dialect of that unnamed lazy functional language" => have you named it Nora's Nailcare 2: Reverse Polish Full Movie HD yet? Or is that name inappropriate for a language that isn't stack-based? < 1524689087 474627 :arseniiv!~arseniiv@46.191.172.79 PRIVMSG #esoteric ::D I think so < 1524689168 902088 :arseniiv!~arseniiv@46.191.172.79 PRIVMSG #esoteric :I have seen some of Nora’s Nailcare, seems there’s a very different story… < 1524689317 81739 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :wob_jonas, oh goodness is there a spinoff < 1524689326 184332 :arseniiv!~arseniiv@46.191.172.79 PRIVMSG #esoteric :I suggest naming it FLFLFL (feverishly loving, forever lazy functional language) < 1524689339 462570 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? Real Fast Nora's Hair Salon 3: Shear Disaster Download < 1524689340 835194 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :Real Fast Nora's Hair Salon 3: Shear Disaster Download is the most readable functional programming language out there. < 1524689369 536204 :arseniiv!~arseniiv@46.191.172.79 PRIVMSG #esoteric :he’s right < 1524689383 655840 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That movie is rated 3.7/10 on imdb.com. < 1524689389 782993 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I kind of want to watch it. < 1524689471 160924 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :shachaf, Nora's Hair Salon 3: Shear Disaster? < 1524689473 852547 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :I tried once < 1524689484 675550 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :It wasn't very enjoyable to me < 1524689517 549880 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: Did you download it? < 1524689521 860781 :wob_jonas!b03f192e@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.46 PRIVMSG #esoteric :We need a different name then. But a pun about a curry restaurant would be cheap. Maybe something about a closure of Nora's spa? < 1524689526 572436 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :shachaf, maybe < 1524689531 261191 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :Long time ago < 1524689535 156888 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :I think I was streaming it < 1524689541 421255 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :Anyway, I'm off to bed now < 1524689551 197704 :erkin!~erkin@unaffiliated/erkin QUIT :Quit: Ouch! Got SIGIRL, dying... < 1524689561 228074 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: You gotta download it real fast. < 1524689595 261949 :wob_jonas!b03f192e@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.46 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1524690323 122349 :arseniiv!~arseniiv@46.191.172.79 PRIVMSG #esoteric :wob_jonas: Curryency? < 1524690371 164678 :arseniiv!~arseniiv@46.191.172.79 PRIVMSG #esoteric :it’d be neat if there was something about combinators < 1524690394 914703 :arseniiv!~arseniiv@46.191.172.79 PRIVMSG #esoteric :*combinator, as in “any combinator” < 1524690547 249754 :arseniiv!~arseniiv@46.191.172.79 PRIVMSG #esoteric :oh, sometime ago I’ve misheard “please come by” in a song as “please combine”, isn’t it a pretty name? < 1524690611 846486 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :`smlist < 1524690612 759710 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :smlist: shachaf monqy elliott mnoqy Cale < 1524690621 844279 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :http://www.supermegacomics.com/index.php?i=458 < 1524690625 374936 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`thanks Cale < 1524690626 281812 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :Thanks, Cale. Thale. < 1524690729 363777 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Cale: so do you know whether there's a universal property that characterizes derivatives twh < 1524690827 219250 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is Super Mega back on a regular schedule? < 1524690882 193626 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Also do you want to be on ysaclist? < 1524691629 829926 :int-e!~noone@int-e.eu PRIVMSG #esoteric :http://www.girlgeniusonline.com/ggmain/strips/ggmain20180425e.jpg has a cute spider. A spider with cutlery. I wonder whether it has/will actually feature/d in the comics... < 1524691731 36389 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :I don't know of a universal property that characterises derivatives... < 1524691757 608607 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Differential_algebra < 1524691762 264782 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :you might start there though < 1524691807 386151 :arseniiv!~arseniiv@46.191.172.79 PRIVMSG #esoteric :(cont.: also we could rename my proposed `seq` (to make IO usable) to `please`: please (output 0x34) (output 0x32) // 0x34 = succ (succ 0x32), 0x32 = …) < 1524691830 596980 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Cale: We had a proposal here the other day. < 1524691834 266874 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :That sort of gives you some kind of arrow-theoretical law to be satisfied, which you could probably generalise < 1524691865 446271 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :For a class of functions G : X -> Y < 1524691873 939033 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Given a function f : X -> Y and a point x : X < 1524691905 53734 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The best G-approximation of f at x is a function g0 : G such that for all g : G, there's a neighborhood A of x, such that for all x' in A, d(g0(x'), f(x')) <= d(g(x'), f(x')) < 1524691937 8874 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And then you can let G be constant functions to get continuity and affine functions to get derivatives. < 1524691948 607782 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe? Does this work? < 1524691961 408341 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think it doesn't work in any metric space but maybe for R -> R < 1524692008 315584 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Not sure that works... < 1524692083 824503 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, there's presumably some sense in which derivatives are "the best linear approximation around a point". How would you characterize one linear approximation being better than another? < 1524692090 204216 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :What about something like f(x) = x when x is rational and f(x) = -x otherwise. This is continuous at 0, but won't quite satisfy that condition. < 1524692104 109695 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm. < 1524692135 868394 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So the definition you get for f continuous at x is... < 1524692178 851953 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :for all y : Y, there's a neighborhood A of x, such that for all x' in A, d(f(x'), f(x)) <= d(f(x'), y) < 1524692204 376194 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Oh, sorry, I misread, maybe that does work < 1524692263 368008 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :You get to pick the neighbourhood based on the other function which is challenging the approximation-hood of g0. < 1524692295 707912 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right. < 1524692334 865818 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So I think this works for your function. < 1524692347 428813 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :hmm < 1524692356 332186 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :yeah < 1524692369 61915 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's a pretty unusual definition of continuity, though. < 1524692398 675903 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:fb8b:fb15:c1d3:a33a JOIN :#esoteric < 1524692398 751188 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:fb8b:fb15:c1d3:a33a QUIT :Changing host < 1524692398 751278 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1524692446 134365 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can pick A so that |f(x')| will be very small, smaller than |f(x') - y| < 1524692571 793022 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :yeah < 1524692580 384953 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :It just reduces to the usual definition < 1524692643 176225 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'd normally expect something like "for each neighborhood of f(x)" < 1524693061 687978 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net JOIN :#esoteric < 1524694259 679865 :brandonson!~brandon@208.91.114.1 QUIT :Ping timeout: 268 seconds < 1524694343 265939 :brandonson!~brandon@208.91.114.1 JOIN :#esoteric < 1524695770 756947 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1524696379 339488 :AnotherTest!~turingcom@ptr-82l26zex1glfa1xy3qc.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 265 seconds < 1524699511 351042 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 256 seconds < 1524699987 951612 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”