< 1539131327 748878 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeo_: Do you have a good language for me that doesn't have C-style lvalues but something more explicit? < 1539131336 783984 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I've finally understood what lvalues and rvalues are, I think. < 1539131494 152165 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net JOIN :#esoteric < 1539131517 525347 :jix!~jix@209.250.235.106 QUIT :Ping timeout: 244 seconds < 1539131525 981432 :jix!~jix@209.250.235.106 JOIN :#esoteric < 1539132603 213324 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net PRIVMSG #esoteric :I'm not totally sure I understand the question, to be honest. Do you mean any statements of the form x = y where x isn't a value of an explicit type designed for that statement would be not allowed? < 1539132668 430276 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :In ALGOL 68, for example, the thing on the left side of = is a pointer. < 1539132712 689029 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, it's a := < 1539132822 400898 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net PRIVMSG #esoteric :Picolisp? Assignment forms are set and setq, set takes a symbol like 'foo, setq is a bit more magic and quotes the symbol for you < 1539132856 599768 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'd like something that distinguishes between memory locations and values. < 1539132867 552311 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or, y'know, mutable cells that hold values and values. < 1539132894 704585 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net PRIVMSG #esoteric :Haskell? Erlang/Elixir? < 1539132904 735715 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, but something on the level of C. < 1539132992 253182 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :When you write "int x; ...; x = x + 1;", the x on the left of the = refers to a memory location, but the x on the right refers to the value in that memory location. < 1539133049 848311 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net PRIVMSG #esoteric :Tcl < 1539133088 874144 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net PRIVMSG #esoteric :The string "x" or x or {x} is a mutable location, $x is a value in that location < 1539133102 35146 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net PRIVMSG #esoteric :set x 5; print $x < 1539133114 928580 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net PRIVMSG #esoteric :oops < 1539133122 430683 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"x" isn't exactly a memory location (because of scoping?), but I suppose that's closer. < 1539133141 124762 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net PRIVMSG #esoteric :http://tpcg.io/EXzEuZ < 1539133197 914255 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess this is true in sh, actually. < 1539133204 83188 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net PRIVMSG #esoteric :Hmm, I don't remember enough Rebol off the top of my head < 1539133221 519857 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net PRIVMSG #esoteric :I've considered Rebol to be a better Tcl with a better ability to fake lexical scope, but I don't remember much else < 1539133223 224209 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You write x=5 to set and $x to get. < 1539133274 787771 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net PRIVMSG #esoteric :Rebol is x: 5; x < 1539133289 262319 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net PRIVMSG #esoteric :x: is a word similar to but not the same as x < 1539133307 387960 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ALGOL 68 has automatic coercion from "ref t" to "t" < 1539134325 400620 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You could kind of say Forth's @ and ! words are explicit like that. Or VALUE/TO. (For a word FOO defined with VALUE, "FOO" fetches from value to stack, and "TO VALUE" stores from stack to value.) < 1539134438 278852 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hizzie < 1539134460 817844 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Isn't it odd that "a.x" has two different meanings, depending on whether "a" is an lvalue or an rvalue? < 1539134712 336943 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I agree, Forth is like that. But Forth doesn't use variables the way most languages do. < 1539135455 710788 :izabera!~izabera@unaffiliated/izabera QUIT :*.net *.split < 1539135455 893406 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net QUIT :*.net *.split < 1539135456 25496 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :*.net *.split < 1539135456 118050 :sebbu!~sebbu@unaffiliated/sebbu QUIT :*.net *.split < 1539135456 205382 :FreeFull!~freefull@defocus/sausage-lover QUIT :*.net *.split < 1539135456 205494 :MDude!~MDude@97-127-137-99.cdrr.qwest.net QUIT :*.net *.split < 1539135456 368385 :ski!~ski@remote11.chalmers.se QUIT :*.net *.split < 1539135456 455737 :int-e!~noone@int-e.eu QUIT :*.net *.split < 1539135456 543109 :fungot`!~fungot@88.98.228.179 QUIT :*.net *.split < 1539135456 630658 :hakatashi!~hakatashi@104.131.49.125 QUIT :*.net *.split < 1539135456 776331 :shikhin!shikhin@unaffiliated/shikhin QUIT :*.net *.split < 1539135458 784083 :dingbat!uid70835@gateway/web/irccloud.com/x-tewfplmfjflvpcoy QUIT :*.net *.split < 1539135459 47571 :clog!~nef@bespin.org QUIT :*.net *.split < 1539135459 47624 :ATMunn!ATMunn@unaffiliated/atmunn QUIT :*.net *.split < 1539135459 241694 :Bowserinator!Bowserinat@unaffiliated/bowserinator QUIT :*.net *.split < 1539135459 389750 :Lymia!lymia@magical.girl.lyrical.lymia.moe QUIT :*.net *.split < 1539135459 477196 :diginet!~diginet@107.170.146.29 QUIT :*.net *.split < 1539135459 796976 :rdococ!rdococ@unaffiliated/rdococ QUIT :*.net *.split < 1539135460 153537 :ocharles!sid30093@musicbrainz/user/ocharles QUIT :*.net *.split < 1539135461 740722 :J_Arcane!sid119274@gateway/web/irccloud.com/x-xicczvqpmgahqrha QUIT :*.net *.split < 1539135462 450206 :olsner!~salparot@c83-253-165-33.bredband.comhem.se QUIT :*.net *.split < 1539135463 355836 :Hoolootwo!Hooloovoo@hooloovoo.blue QUIT :*.net *.split < 1539135463 443547 :xkapastel!uid17782@gateway/web/irccloud.com/x-lpkfbngqwwlfjmwx QUIT :*.net *.split < 1539135463 961332 :myname!~myname@ks300980.kimsufi.com QUIT :*.net *.split < 1539135464 48576 :rain2!~rain1@unaffiliated/rain1 QUIT :*.net *.split < 1539135464 393501 :lynn!sid154965@gateway/web/irccloud.com/x-ollzdqfyxysmhduc QUIT :*.net *.split < 1539135464 480750 :^[!sid43445@ircpuzzles/2015/april-fools/sixth/zgrep QUIT :*.net *.split < 1539135464 570965 :mich181189!sid268336@gateway/web/irccloud.com/x-jsdokadxyomsqheq QUIT :*.net *.split < 1539135465 355580 :rodgort!~rodgort@68.ip-149-56-14.net QUIT :*.net *.split < 1539135465 442912 :vertrex!~vertrex@unaffiliated/vertrex QUIT :*.net *.split < 1539135466 280897 :neanias!sid218528@gateway/web/irccloud.com/x-xurjkaadpungrvuy QUIT :*.net *.split < 1539135466 368255 :moony!moony@unaffiliated/moonythedwarf QUIT :*.net *.split < 1539135466 455671 :fizzie!fis@unaffiliated/fizzie QUIT :*.net *.split < 1539135466 455740 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com QUIT :*.net *.split < 1539135467 15541 :copumpkin[m]!copumpkinm@gateway/shell/matrix.org/x-ovmkgmnwdqmkujoe QUIT :*.net *.split < 1539135467 283322 :Storkman_!~Storkman@storkman.xyz QUIT :*.net *.split < 1539135467 370604 :zemhill____!bfjoust@selene.zem.fi QUIT :*.net *.split < 1539135467 876859 :sparr!~sparr@pdpc/supporter/active/sparr QUIT :*.net *.split < 1539135468 65948 :heroux!sandroco@gateway/shell/insomnia247/x-mdvihfgiypixiamy QUIT :*.net *.split < 1539135468 153217 :arseniiv!~arseniiv@46.191.130.119 QUIT :*.net *.split < 1539135468 240525 :lifthrasiir!~lifthrasi@ec2-52-79-98-81.ap-northeast-2.compute.amazonaws.com QUIT :*.net *.split < 1539135468 666011 :FaerieFly!znc@freenode/staff/firefly QUIT :*.net *.split < 1539135468 753388 :Deewiant!~deewiant@fr1.ut.deewiant.iki.fi QUIT :*.net *.split < 1539135468 840643 :subleq!~gavin@207.173.246.52 QUIT :*.net *.split < 1539135468 840748 :jix!~jix@209.250.235.106 QUIT :*.net *.split < 1539135468 928305 :doesthiswork!~doesthisw@207.55.82.163 QUIT :*.net *.split < 1539135469 213319 :erdic!~erdic@unaffiliated/motley QUIT :*.net *.split < 1539135469 327922 :trn!~trn@prone.ws QUIT :*.net *.split < 1539135469 650412 :shachaf!~shachaf@unaffiliated/shachaf QUIT :*.net *.split < 1539135469 812588 :lambdabot!~lambdabot@haskell/bot/lambdabot QUIT :*.net *.split < 1539135469 939798 :joast!~rick@cpe-98-145-132-215.natnow.res.rr.com QUIT :*.net *.split < 1539135470 34425 :HackEso!~h@techne.zem.fi QUIT :*.net *.split < 1539135470 121681 :GeekDude!~G33kDude@unaffiliated/g33kdude QUIT :*.net *.split < 1539135470 121733 :pikhq!~pikhq@c-73-181-126-9.hsd1.co.comcast.net QUIT :*.net *.split < 1539135470 121754 :fractal!~fractal@unaffiliated/scounder QUIT :*.net *.split < 1539135470 208980 :aloril!~aloril@mobile-access-bcee80-209.dhcp.inet.fi QUIT :*.net *.split < 1539135470 451156 :digitalcold!~redacted@unaffiliated/digitalcold QUIT :*.net *.split < 1539135470 790891 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :*.net *.split < 1539135470 878144 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net QUIT :*.net *.split < 1539135470 965499 :grumble!~grumble@freenode/staff/grumble QUIT :*.net *.split < 1539135470 965578 :quintopia!~quintopia@unaffiliated/quintopia QUIT :*.net *.split < 1539135471 131635 :sftp!~sftp@unaffiliated/sftp QUIT :*.net *.split < 1539135471 225061 :relrod!~relrod@redhat/relrod QUIT :*.net *.split < 1539135471 836719 :brandonson!~brandon@208.91.114.1 QUIT :*.net *.split < 1539135471 924061 :Yurume_______!23f9939a@121.78.85.35 QUIT :*.net *.split < 1539135796 898631 :digitalcold!~redacted@unaffiliated/digitalcold JOIN :#esoteric < 1539135797 28978 :aloril!~aloril@mobile-access-bcee80-209.dhcp.inet.fi JOIN :#esoteric < 1539135797 29056 :fractal!~fractal@unaffiliated/scounder JOIN :#esoteric < 1539135797 29083 :pikhq!~pikhq@c-73-181-126-9.hsd1.co.comcast.net JOIN :#esoteric < 1539135797 29108 :GeekDude!~G33kDude@unaffiliated/g33kdude JOIN :#esoteric < 1539135797 29132 :HackEso!~h@techne.zem.fi JOIN :#esoteric < 1539135797 29157 :joast!~rick@cpe-98-145-132-215.natnow.res.rr.com JOIN :#esoteric < 1539135797 29181 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN :#esoteric < 1539135797 29206 :shachaf!~shachaf@unaffiliated/shachaf JOIN :#esoteric < 1539135797 29236 :trn!~trn@prone.ws JOIN :#esoteric < 1539135797 29260 :erdic!~erdic@unaffiliated/motley JOIN :#esoteric < 1539135797 29314 :doesthiswork!~doesthisw@207.55.82.163 JOIN :#esoteric < 1539135797 29341 :jix!~jix@209.250.235.106 JOIN :#esoteric < 1539135813 780375 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1539135813 908793 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net JOIN :#esoteric < 1539135813 908855 :grumble!~grumble@freenode/staff/grumble JOIN :#esoteric < 1539135813 908878 :quintopia!~quintopia@unaffiliated/quintopia JOIN :#esoteric < 1539135813 908902 :sftp!~sftp@unaffiliated/sftp JOIN :#esoteric < 1539135813 908924 :relrod!~relrod@redhat/relrod JOIN :#esoteric < 1539135826 117057 :ocharles!sid30093@musicbrainz/user/ocharles JOIN :#esoteric < 1539135826 117113 :J_Arcane!sid119274@gateway/web/irccloud.com/x-xicczvqpmgahqrha JOIN :#esoteric < 1539135852 536892 :neanias!sid218528@gateway/web/irccloud.com/x-xurjkaadpungrvuy JOIN :#esoteric < 1539135852 624190 :moony!moony@unaffiliated/moonythedwarf JOIN :#esoteric < 1539135852 624254 :fizzie!fis@unaffiliated/fizzie JOIN :#esoteric < 1539135852 624279 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com JOIN :#esoteric < 1539135866 573521 :olsner!~salparot@c83-253-165-33.bredband.comhem.se JOIN :#esoteric < 1539135872 572420 :izabera!~izabera@unaffiliated/izabera JOIN :#esoteric < 1539135885 805767 :Roger9_!rdococ@cheapiesystems.com JOIN :#esoteric < 1539135885 893469 :brandonson!~brandon@208.91.114.1 JOIN :#esoteric < 1539135885 893549 :Yurume_______!23f9939a@121.78.85.35 JOIN :#esoteric < 1539135896 777700 :dingbat_!uid70835@gateway/web/irccloud.com/session JOIN :#esoteric < 1539135896 777753 :Lymee!lymia@magical.girl.lyrical.lymia.moe JOIN :#esoteric < 1539135896 777766 :Hoolootwo!Hooloovoo@hooloovoo.blue JOIN :#esoteric < 1539135896 777786 :xkapastel!uid17782@gateway/web/irccloud.com/x-lpkfbngqwwlfjmwx JOIN :#esoteric < 1539135896 777798 :myname!~myname@ks300980.kimsufi.com JOIN :#esoteric < 1539135896 777810 :rain2!~rain1@unaffiliated/rain1 JOIN :#esoteric < 1539135896 777821 :lynn!sid154965@gateway/web/irccloud.com/x-ollzdqfyxysmhduc JOIN :#esoteric < 1539135896 777832 :^[!sid43445@ircpuzzles/2015/april-fools/sixth/zgrep JOIN :#esoteric < 1539135896 777848 :mich181189!sid268336@gateway/web/irccloud.com/x-jsdokadxyomsqheq JOIN :#esoteric < 1539135915 99334 :shikhin!shikhin@unaffiliated/shikhin JOIN :#esoteric < 1539135921 782915 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net JOIN :#esoteric < 1539135921 782963 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1539135921 870236 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1539135921 870283 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1539135921 870308 :MDude!~MDude@97-127-137-99.cdrr.qwest.net JOIN :#esoteric < 1539135921 870327 :ski!~ski@remote11.chalmers.se JOIN :#esoteric < 1539135921 870344 :int-e!~noone@int-e.eu JOIN :#esoteric < 1539135921 870361 :fungot`!~fungot@88.98.228.179 JOIN :#esoteric < 1539135921 870379 :hakatashi!~hakatashi@104.131.49.125 JOIN :#esoteric < 1539135928 879073 :sparr!~sparr@pdpc/supporter/active/sparr JOIN :#esoteric < 1539135937 317218 :copumpkin[m]!copumpkinm@gateway/shell/matrix.org/x-ovmkgmnwdqmkujoe JOIN :#esoteric < 1539135937 404631 :Storkman_!~Storkman@storkman.xyz JOIN :#esoteric < 1539135937 404681 :zemhill____!bfjoust@selene.zem.fi JOIN :#esoteric < 1539135947 931219 :rodgort!~rodgort@68.ip-149-56-14.net JOIN :#esoteric < 1539135948 60877 :vertrex!~vertrex@unaffiliated/vertrex JOIN :#esoteric < 1539135957 15407 :heroux!sandroco@gateway/shell/insomnia247/session JOIN :#esoteric < 1539135957 102714 :ATMunn_!ATMunn@new.hellomouse.net JOIN :#esoteric < 1539135957 102769 :arseniiv!~arseniiv@46.191.130.119 JOIN :#esoteric < 1539135957 102807 :lifthrasiir!~lifthrasi@ec2-52-79-98-81.ap-northeast-2.compute.amazonaws.com JOIN :#esoteric < 1539135957 102835 :FaerieFly!znc@freenode/staff/firefly JOIN :#esoteric < 1539135957 102862 :Deewiant!~deewiant@fr1.ut.deewiant.iki.fi JOIN :#esoteric < 1539136142 574176 :diginet!~diginet@107.170.146.29 JOIN :#esoteric < 1539136151 492899 :Bowserinator!Bowserinat@unaffiliated/bowserinator JOIN :#esoteric < 1539136178 399738 :arseniiv!~arseniiv@46.191.130.119 QUIT :Ping timeout: 245 seconds < 1539136200 806187 :subleq!~gavin@207.173.246.52 JOIN :#esoteric < 1539136303 57841 :dingbat_!uid70835@gateway/web/irccloud.com/session QUIT :Changing host < 1539136303 57899 :dingbat_!uid70835@gateway/web/irccloud.com/x-jogirksgjksymovh JOIN :#esoteric < 1539136317 738263 :heroux!sandroco@gateway/shell/insomnia247/session QUIT :Changing host < 1539136317 825632 :heroux!sandroco@gateway/shell/insomnia247/x-jzpepwnmccfnxaoy JOIN :#esoteric < 1539137551 390624 :Sgeo!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1539137604 448390 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Ping timeout: 268 seconds < 1539141099 229105 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net QUIT :Quit: the creeping crawling chaos will return. < 1539142405 636485 :dingbat_!uid70835@gateway/web/irccloud.com/x-jogirksgjksymovh QUIT : < 1539142442 70196 :dingbat!uid70835@gateway/web/irccloud.com/x-zuvmkzzutpiivtrf JOIN :#esoteric < 1539142478 358440 :clog!~nef@bespin.org JOIN :#esoteric < 1539142490 866596 :dingbat!uid70835@gateway/web/irccloud.com/x-zuvmkzzutpiivtrf QUIT :Client Quit < 1539142505 948768 :dingbat!uid70835@gateway/web/irccloud.com/x-hifxegsxfhwbnxom JOIN :#esoteric < 1539143657 977737 :Hoolootwo!Hooloovoo@hooloovoo.blue QUIT :Remote host closed the connection < 1539144118 287473 :Hoolootwo!Hooloovoo@hooloovoo.blue JOIN :#esoteric < 1539144479 573375 :moei!~moei@softbank221078042071.bbtec.net JOIN :#esoteric < 1539145283 488157 :iconmaster!~iconmaste@129.21.121.78 JOIN :#esoteric < 1539149458 965094 :doesthiswork!~doesthisw@207.55.82.163 QUIT :Ping timeout: 272 seconds < 1539151853 410836 :heroux!sandroco@gateway/shell/insomnia247/x-jzpepwnmccfnxaoy QUIT :Ping timeout: 245 seconds < 1539155077 71837 :xkapastel!uid17782@gateway/web/irccloud.com/x-lpkfbngqwwlfjmwx QUIT :Quit: Connection closed for inactivity < 1539197835 258730 :esowiki!~esowiki@techne.zem.fi JOIN :#esoteric < 1539197851 914105 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I told it to restart, and here it is again. < 1539197870 594629 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And the logs seem to be back up. I'll close this as fixed. < 1539197881 907197 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(...I mean, I would, if we had a tracker...) < 1539197918 662628 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :we track bugs in the logs hth < 1539198422 325338 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`? esowiki < 1539198423 709823 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :esowiki? ¯\(°​_o)/¯ < 1539198459 485804 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`learn Esowiki is our resident issue tracker. < 1539198461 615064 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :Learned 'esowiki': Esowiki is our resident issue tracker. < 1539198485 112052 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i,i our residents have a lot of issues < 1539198494 69921 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(This is a mere summary of discussion above, not necessarily funny.) < 1539198595 29009 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`? oerjan < 1539198596 107486 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :Your omnidryad saddle principal ideal golfing toe-obsessed "Darth Ook" oerjan the shifty evil grinch is a hazy expert in minor compaction. Also a Groadep who minces Roald Dahl. He could never render the word "amortized" so he put it here for connivance. His ark-nemesis is Noah. He twice punned without noticing it. < 1539198614 515669 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`doag password < 1539198616 47229 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :No output. < 1539198617 766685 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`dowg password < 1539198619 276552 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :11622:2018-10-02 learn The password of the month is wearing shorts despite the weather \ 11619:2018-09-05 learn The password of the month is ripe for picking \ 11587:2018-08-03 learn The password of the month is alphanumer1c. \ 11584:2018-07-20 learn The password of the month will be short-lived. \ 11570:2018-06-03 learn The password of the month is illegal in six US states and Saudi Arabia \ 11544:2018- < 1539198649 154522 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: It was 29°C here the other day. < 1539198670 893324 :int-e!~noone@int-e.eu PRIVMSG #esoteric :oerjan is not here... was that for the logs? < 1539198740 25992 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I assume that if I say "oerjan" things will make their way to him one way or another eventually. < 1539198745 843328 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't worry about the exact mechanism. < 1539198864 772350 :S_Gautam!uid286066@gateway/web/irccloud.com/x-tkzufmxlxbxskpkd JOIN :#esoteric < 1539200874 947144 :wob_jonas!b03f185e@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.94 JOIN :#esoteric < 1539200891 980105 :wob_jonas!b03f185e@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.94 PRIVMSG #esoteric :fizzie: thank you < 1539201376 483588 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1539202044 453149 :wob_jonas!b03f185e@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.94 PRIVMSG #esoteric :ais523: hi < 1539202075 670675 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hi < 1539202078 453560 :wob_jonas!b03f185e@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.94 PRIVMSG #esoteric :I was here for the M:tG conversation, but I don't know if you replied after that part, because the logs were down < 1539202183 239877 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you left shortly before I did < 1539202184 169636 :wob_jonas!b03f185e@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.94 PRIVMSG #esoteric :I was talking about some stupid basic arithmetic and calculus stuff afterwards < 1539202188 558794 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so I saw them < 1539202211 302955 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but I pretty much just ignored the conversation because it was offtopic; I tolerate offtopic conversation here but normally don't pay much attention to it unless it's on a topic I'm interested in < 1539202221 586896 :wob_jonas!b03f185e@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.94 PRIVMSG #esoteric :and how the old NIST maths handbook is in some respects betteer than the new one < 1539202234 686317 :wob_jonas!b03f185e@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.94 PRIVMSG #esoteric :oh, elementary maths is off-topic, but category theory is on topic? < 1539202248 849068 :wob_jonas!b03f185e@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.94 PRIVMSG #esoteric :or all of them are on topic, we just allow a lot of off-topic stuff for community < 1539202250 643981 :wob_jonas!b03f185e@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.94 PRIVMSG #esoteric :yeah, I get it < 1539202334 232941 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :category theory is typically only on topic in as much as it related to Haskell (which would be an esolang if people weren't trying to use it seriously) < 1539202339 925358 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*relates < 1539202357 525628 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if you need to know category theory to understand the language you're writing in, that sounds like an esolang to me :-D < 1539202466 232689 :erkin!~erkin@unaffiliated/erkin QUIT :Read error: Connection reset by peer < 1539202718 831893 :wob_jonas!b03f185e@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.94 PRIVMSG #esoteric :ais523: yeah. I could write some basic haskell programs without using category theory, but since I'm a mathematician, I can understand others wanting to understand category theory for these sorts of things, whether eso or non-eso < 1539202734 391201 :wob_jonas!b03f185e@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.94 PRIVMSG #esoteric :I sometimes think of other crazy mathematics for programming simple stuff too, it's only natural. < 1539202744 890714 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well, computer scientists use category theory to understand programming languages < 1539202761 670726 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there's some category theory in my thesis, for example < 1539202773 370579 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(that said, it's a bit out of place because my thesis ended up mostly being a study of syntax rather than semantics) < 1539202779 520426 :wob_jonas!b03f185e@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.94 PRIVMSG #esoteric :And I don't mean the simple stuff like using an elementary integral to compute the area of a circular sector, but really overpowered stuff I don't need for the problem, only for me it's usually not category theory. < 1539202822 830967 :wob_jonas!b03f185e@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.94 PRIVMSG #esoteric :Not that I haven't used category theory, I admit I have used it at least once, but only the very basics, like composing some morphisms and inverting them and some direct product, you can trivially rephrase the same proof without category theory. < 1539202868 310287 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :combinatorics seems to be the other field of maths that comes up in programming a lot < 1539202870 843345 :wob_jonas!b03f185e@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.94 PRIVMSG #esoteric :It ended up in an article I co-authored. < 1539202886 358908 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :at least, if you're programming for the sake of programming rather than to actually accomplish some result < 1539202897 796532 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also, people normally prefer the category-theory proofs because they generalise to other fields < 1539202916 38821 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the whole initial point of category theory was to allow theorems to apply to multiple fields of maths at the same time < 1539202927 331312 :wob_jonas!b03f185e@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.94 PRIVMSG #esoteric :ais523: yeah, but so does some of this numeric stuff, including multi-dimensonal vector arithmetic, whether exact or asymptotics, simple statistics, and numeric analysis to understand which floating-point calculations are numerically stable and what approximations are good. < 1539203024 610561 :wob_jonas!b03f185e@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.94 PRIVMSG #esoteric :I actually started to think of this area of circular sector and volume of spherical cap thing because it was needed for an approximation in a program by a co-worker, not that I need to understand the integration myself for that, you can just re-use formulas other people have computed, but still. < 1539203509 19538 :Hoolootwo!Hooloovoo@hooloovoo.blue QUIT :Ping timeout: 252 seconds < 1539203875 169890 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric < 1539205112 323033 :Hoolootwo!Hooloovoo@hooloovoo.blue JOIN :#esoteric < 1539205461 339238 :Hoolootwo!Hooloovoo@hooloovoo.blue QUIT :Ping timeout: 260 seconds < 1539205920 123702 :sleepnap!~thomas@2603:3015:260e:1900::13ed PART :#esoteric < 1539206022 775106 :Hoolootwo!Hooloovoo@hooloovoo.blue JOIN :#esoteric < 1539209105 158674 :nfd9001!~nfd9001@140.160.182.116 JOIN :#esoteric < 1539211248 486800 :AnotherTest!~turingcom@ptr-82l26zf5tit6s260cpd.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 252 seconds < 1539211636 324994 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: quit < 1539212263 666304 :S_Gautam!uid286066@gateway/web/irccloud.com/x-tkzufmxlxbxskpkd QUIT :Quit: Connection closed for inactivity < 1539212292 190891 :nfd9001!~nfd9001@140.160.182.116 QUIT :Ping timeout: 252 seconds < 1539212341 347933 :nfd9001!~nfd9001@140.160.182.116 JOIN :#esoteric < 1539212358 237540 :doesthiswork!~doesthisw@207.55.82.163 QUIT :Ping timeout: 252 seconds < 1539212696 941007 :Essadon!~Essadon@81-225-32-185-no249.tbcn.telia.com QUIT :Quit: Qutting < 1539213544 138480 :Sgeo!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Quit: Leaving < 1539213560 416760 :Sgeo!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1539214252 378622 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net JOIN :#esoteric < 1539214486 483385 :hakatashi1!~hakatashi@104.131.49.125 JOIN :#esoteric < 1539214505 461571 :tromp_!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1539214506 253177 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1539214510 944268 :hakatashi!~hakatashi@104.131.49.125 QUIT :Remote host closed the connection < 1539214514 483433 :MDead!~MDude@97-127-137-99.cdrr.qwest.net JOIN :#esoteric < 1539214668 255737 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 252 seconds < 1539214668 384511 :MDude!~MDude@97-127-137-99.cdrr.qwest.net QUIT :Ping timeout: 252 seconds < 1539214668 967299 :MDead!~MDude@97-127-137-99.cdrr.qwest.net NICK :MDude < 1539214701 455222 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 252 seconds < 1539215088 345665 :wob_jonas!b03f185e@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.94 PRIVMSG #esoteric :Mind you, using the letter "d" in two conflicting ways in that formula is really unfortunate < 1539215116 296524 :nfd9001!~nfd9001@140.160.182.116 QUIT :Ping timeout: 246 seconds < 1539215176 21874 :wob_jonas!b03f185e@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.94 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1539215869 415519 :wob_jonas!b03f185e@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.94 JOIN :#esoteric < 1539215935 479503 :wob_jonas!b03f185e@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.94 QUIT :Client Quit