< 1442620829 674396 :hppavilion[2]!~Devourero@93-231-58-66.gci.net NICK :hppavilion[1] < 1442620854 766564 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Hellu < 1442620950 55496 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I got a Stare AST with a hand-crank executer working :) < 1442621143 701619 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's obviously japanese: rapotoro no zono, which confusingly means it _is_ a raptor zone hth < 1442621413 211404 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net JOIN :#esoteric < 1442621448 158096 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm sure pikhq can confirm < 1442621507 248721 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :That is incredibly obviously JApanese. < 1442621558 470099 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :pikhq: 確認しらないでください < 1442621840 110087 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm sorry, i was slightly incorrect, it's actually raputoru no zōn, or ラプトル のゾーン < 1442621889 455475 :APic!apic@apic.name JOIN :#esoteric < 1442621906 602137 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*- < 1442622280 538264 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric ::- < 1442622315 358469 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :x :- y, z < 1442622358 431270 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :hppavellon[1]. this is prolog. < 1442622386 399013 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :shachaf: I haven't a clue < 1442622409 194540 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :fungot: hppavilion[1] is doing weird logical things. < 1442622409 560412 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: ' ' for every y". that's why i rarely use it. also, whatever the student doesn’t have to provide evidence. please quote the title of the 2008 south ossetia war talk page is archived, then it can be still viewed on fnord keith binney user:keith binneykeith binney ( user talk:keith binneytalk) 06:15, 15 july 2007 ( utc) < 1442622453 239275 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :boily: I /am/ buying a copy of To Mock a Mockingbird for kindle < 1442622466 598610 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :is it expensive? < 1442622488 525143 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :$13 < 1442622505 798466 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Which is actually the most expensive one available (paperback is $7.39) < 1442622513 890305 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :If I were to run a store < 1442622521 820470 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I would charge complex dollars < 1442622641 421334 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :I need to curb my book acquisition. my backlog growth rate is exceeding my reading decay rate... < 1442622646 760224 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :"How much is this?" "That would be $17+2i" < 1442622655 820122 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :True fact. < 1442622663 958782 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :(says the guy who just bought the current Humble Book Bundle right now.) < 1442622691 159075 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Remote host closed the connection < 1442622693 127368 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :would you rather pay 3 + 1i$, or 5 - 3i$? < 1442622709 127684 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1442622769 493031 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I don't know < 1442622790 640106 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :boily: 3+1i, as the 1i can just be dropped < 1442622797 101170 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :3<5 < 1442622806 471016 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :BOOLEAN DOLLARS < 1442622816 298612 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :"That would be $True" < 1442622825 945254 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :COMPLEX BOOLEAN DOLLARS < 1442622835 899832 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :x xor-with-carry y < 1442622839 775598 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :AKA addition < 1442622907 531200 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :$True doesn't typecheck with my brain. < 1442622945 102657 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :boily: Everyone knows the American Economy is weak/dynamic typed < 1442622953 285443 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I was looking at a thing related to Euston station in Maps, and due to an attack of sillines typed "euston, we have a problem" -- #1 is reasonable, but wasn't expecting #2: https://googledrive.com/host/0B4J9OAzXNfZAYjQxai11SE1fdm8 < 1442622969 532790 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :At least it's trying to help. < 1442622999 330804 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :obviously 3+1i$ is much less than 5-3i$ < 1442623016 802943 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :myname: $2 less, to be exact < 1442623040 530017 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :Mornington Crescent! < 1442623042 982969 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :well, you could use the norm < 1442623059 477737 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :myname: What's the norm again? Algebra II student here < 1442623075 622111 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :obviously real and imaginary parts represent two currencies that are _not_ completely interconvertible hth < 1442623086 741345 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :myname: yes, but that'd imply a loss of information by mapping back to Q from C. < 1442623103 201952 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :15_Truei < 1442623105 716110 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :boily: so? < 1442623107 764266 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :s/_/_/ < 1442623116 835787 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :*s/_/+/ < 1442623148 255252 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :myname: then it becomes unconfusing money, which isn't interesting. < 1442623160 100446 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :ah < 1442623172 290778 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :hppavilion[1]: purely for statistical purposes, how öld are you? < 1442623215 845578 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :boily: ... < 1442623220 447526 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :STRANGER DANGER < 1442623221 750841 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :14 < 1442623232 407642 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Though I'm not a very good datapoint < 1442623259 607939 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although capitalism probably implies there will be _some_ conversion price. < 1442623296 957378 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :I'm not stranger. < 1442623328 953088 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :we're at the vanguard of a booming market of complex money changers. < 1442623673 988492 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Then some douchebag introduces Sedenions to the world of money < 1442623675 949773 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Hey guys < 1442623683 671592 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :What if we started using Sedenion money? < 1442623825 346413 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :that is something I won't be put with at up. < 1442623861 442251 :boily!~alexandre@96.127.201.149 QUIT :Quit: FILIBUSTER CHICKEN < 1442624421 164079 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :hppavilion[1], sedenions are too useless even for mathematicians, so... not much < 1442624447 699886 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1442624481 877655 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*ACHOO* < 1442624556 944673 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :What kind of thing can use units of square money? (I don't mean money which is shaped like square) < 1442624626 606453 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Yay < 1442624631 117887 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Just bought TMAMB < 1442625059 441384 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Which is what? < 1442625063 183286 :mauris!~mauris@unaffiliated/nooodl QUIT :Quit: Leaving < 1442625077 112374 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net JOIN :#esoteric < 1442625102 258518 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :The Man And My Bucket < 1442625675 214131 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :THE MAN AND MAH BUKKIT < 1442625678 944076 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :No < 1442625684 229324 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :To Mock a Mockingbird < 1442625751 137568 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net PRIVMSG #esoteric :I didn't really like that book < 1442625805 371797 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :You're a bad person < 1442625807 446098 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :xD < 1442625870 60690 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net NICK :MDream < 1442625901 934632 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Apparently iOS 9 is adding a back button. And there goes one of the reasons I'm sometimes tempted to look at iPhones. Unless maybe iOS back is implemented better than Android? < 1442625939 677698 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :what's wrong with androids back button? < 1442625965 889267 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :It's total nonsense. < 1442625972 767848 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :how so? < 1442625986 35077 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :It doesn't go back to the last thing you were doing, sometimes it will go back in the application you just switched to via notification < 1442626018 413758 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :it almost always does what i expect it to do < 1442626037 355984 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :including going back to the last thing i was doing < 1442626052 567617 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net PRIVMSG #esoteric :It felt as if I was being teased because it talked about them as black boxes, while my thought was "what is the point of a box if not to look inside". I'm probably a descendant of pandora. < 1442626135 333480 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :if it does stupid things it is because of apps that don't use the default action paradigm < 1442626144 855872 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :skype for example sucks at that manner < 1442626157 501411 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :myname, YouTube is a Google app < 1442626175 73323 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :As is Gmail < 1442626182 305857 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :what's wrong with youtubes back button behaviour? < 1442626188 582837 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :I think it's the default action paradigm sucks < 1442626197 928745 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :it goes back your video watching history perfectly fine < 1442626214 582833 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :which is exactly what i expect < 1442626214 866965 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :WHat if you wanted to go to what you were doing before, not within the YouTube app? < 1442626259 850041 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :"For example, when a notification takes the user to an activity deep in your app hierarchy, you should add activities into your task's back stack so that pressing Back navigates up the app hierarchy instead of exiting the app." < 1442626266 519779 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :it should do that if you are at the start of the youtube history < 1442626287 525721 :idris-bot!~idris-bot@dslb-092-072-164-084.092.072.pools.vodafone-ip.de QUIT :Ping timeout: 255 seconds < 1442626290 377174 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :<コ:彡 < 1442626290 716462 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :myname, but if a notification popped up linking me to a video, I don't want to go back to youtube history if I'm done with the video < 1442626299 50466 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :etc. with Gmail < 1442626313 686243 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :it doesn't, because there is no history then < 1442626352 112881 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :if i open any link in connectbot in any app and press back there i will get back to connectbot < 1442626352 825913 :Melvar`!~melvar@dslb-092-072-177-233.092.072.pools.vodafone-ip.de JOIN :#esoteric < 1442626360 339561 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :perfectly fine < 1442626433 606900 :Melvar!~melvar@dslb-092-072-164-084.092.072.pools.vodafone-ip.de QUIT :Ping timeout: 265 seconds < 1442626447 262863 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :it even works perfectly fine with multiwindow here < 1442626596 219556 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :I am now in reddit is fun. I get a notification about a new email. I open it, read the email. I press back, and it goes to my inbox (?!). I press back again, and I finally get back to reddit is fun < 1442626803 33530 :Melvar``!~melvar@dslb-178-004-078-127.178.004.pools.vodafone-ip.de JOIN :#esoteric < 1442626919 293199 :Melvar`!~melvar@dslb-092-072-177-233.092.072.pools.vodafone-ip.de QUIT :Ping timeout: 250 seconds < 1442627054 819377 :Melvar!~melvar@dslb-188-109-006-021.188.109.pools.vodafone-ip.de JOIN :#esoteric < 1442627187 586506 :Melvar``!~melvar@dslb-178-004-078-127.178.004.pools.vodafone-ip.de QUIT :Ping timeout: 265 seconds < 1442627274 103855 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net QUIT :Quit: mihow < 1442627331 907667 :Melvar`!~melvar@dslb-092-072-165-010.092.072.pools.vodafone-ip.de JOIN :#esoteric < 1442627426 107156 :Melvar!~melvar@dslb-188-109-006-021.188.109.pools.vodafone-ip.de QUIT :Ping timeout: 240 seconds < 1442630697 883683 :bb010g!uid21050@gateway/web/irccloud.com/x-ssqappubznuzyqcv JOIN :#esoteric < 1442630898 207882 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Remote host closed the connection < 1442630920 461190 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1442631379 61743 :hppavilion[1]!~Devourero@93-231-58-66.gci.net QUIT :Ping timeout: 240 seconds < 1442631645 542416 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Niiiiite < 1442632044 392445 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net QUIT :Quit: Leaving. < 1442632419 418651 :bender|!~benderx2@unaffiliated/bender/x-9459530 JOIN :#esoteric < 1442633458 190806 :hppavilion[1]!~Devourero@93-231-58-66.gci.net JOIN :#esoteric < 1442633558 893730 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :What does the.... [ combinator do? < 1442633673 430324 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I don't know, is there a combinator like that? < 1442633875 491418 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :coppro: Why do you have all these nicks? < 1442633885 359725 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :shachaf: why not? < 1442633973 934050 :oren_!~oren@65.94.102.49 NICK :\oren\ < 1442634014 996983 :\oren\!~oren@65.94.102.49 NICK :oren < 1442634019 168068 :oren!~oren@65.94.102.49 NICK :\oren\ < 1442634749 480660 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Are you good at Dungeons&Dragons game? < 1442634939 64874 :hppavilion[1]!~Devourero@93-231-58-66.gci.net QUIT :Ping timeout: 240 seconds < 1442635309 781121 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :"The _first round_ of getting my data off my dead harddrive will take around 3.5 days..." < 1442635332 244524 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :I... don't know where I got that number from. At least I have a date for when I started researching this < 1442635354 567006 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :I don't know why it would take that long. Nor where that HD went.... < 1442635380 93246 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :What is the capacity of the dead harddrive? < 1442635469 778492 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :In my case it was the CPU that stopped working, rather than the harddrive, which still works and is now in a bag to label it and protect it from dust; I remove it when I need to copy some of the files from it < 1442635488 246199 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: I haven't played for ~15 years. < 1442635515 625248 :JesseH!~JesseH@oftn/member/JesseH QUIT :Read error: Connection reset by peer < 1442635626 85815 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :shachaf: What characters you have made up and what version and are you any good at it? < 1442635634 594359 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :I am working on a 8 by 8 version of my font < 1442635651 41203 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: I was pretty young, and it was in Hebrew. < 1442635665 637719 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It was an after-school thing in elementary school. < 1442635684 290617 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think I didn't come up with a name for my character, so the person running it gave it an interim name. < 1442635710 125212 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Perhaps the interim name was "Niagara". < 1442635786 18234 :digitalcold!~redacted@192.73.232.206 QUIT :Changing host < 1442635786 207605 :digitalcold!~redacted@unaffiliated/digitalcold JOIN :#esoteric < 1442635815 76339 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Yes but what detail of character? Even if you did not write the name then you must have made up the other stuff < 1442635833 471730 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think it was probably a wizard. < 1442635839 220419 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And I'm guessing Chaotic Evil. < 1442635853 445389 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or at least I initially wanted to be Chaotic Evil. Someone might've dissuaded me. < 1442635878 892103 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I remember casting a sleep spell and then killing a bunch of monsters -- goblins? -- with a dagger while they were asleep. < 1442635906 512070 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And there was some sort of object -- altar? table? it might've been made of stone -- that we needed to destroy or something, though we didn't know that at the time. < 1442635913 871715 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think we needed to destroy it with some sort of special hammer. < 1442636113 354892 :jameseb!~jameseb_@runciman.hacksoc.org QUIT :Ping timeout: 256 seconds < 1442636132 10411 :Taneb!~Taneb@runciman.hacksoc.org QUIT :Ping timeout: 246 seconds < 1442636160 378990 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 264 seconds < 1442636184 905643 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :There are many spells that can be used to destroy stuff made of stone too but you might not necessarily have any such spells. And there would be other ways to do it that do not involve any magic. < 1442636338 600389 :hppavilion[2]!~Devourero@93-231-58-66.gci.net JOIN :#esoteric < 1442636343 548234 :hppavilion[2]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :NEW SCIENCE WORD TIME < 1442636360 553896 :hppavilion[2]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Pancakification: What happens to you as you fall into a White Hole < 1442636391 779978 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1442636710 206177 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I don't know much about White Hole? < 1442636779 866211 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I've heard it's just like a time-reversed black hole. < 1442636871 451770 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1442638120 729533 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :well then shouldnt people fall out of it, rather than in? < 1442638950 432043 :hppavilion[2]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: fizzieL \oren\: It's basically a region in space where you can never enter, but can leave. < 1442638976 109582 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: It was some special important thing. < 1442639001 874701 :rodgort!~rodgort@105.ip-167-114-152.net QUIT :Quit: Leaving < 1442639043 187673 :hppavilion[2]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :is RPN Combinatory Logic a thing? < 1442639078 772297 :hppavilion[2]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I'm going to guess no, as there's no way to distinguish the "operators" (combinators) from the "operands" (combinators (case and point)) < 1442639110 713238 :hppavilion[2]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Not without parenthesis or an argument count argument, at least < 1442639127 452121 :hppavilion[2]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :(*parenthesis)? < 1442639682 521192 :bender|!~benderx2@unaffiliated/bender/x-9459530 NICK :bender < 1442639768 26159 :hppavilion[2]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :oh < 1442639771 125306 :hppavilion[2]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Hi bender < 1442639775 521680 :hppavilion[2]!~Devourero@93-231-58-66.gci.net NICK :hppavilion1 < 1442639776 876716 :bender!~benderx2@unaffiliated/bender/x-9459530 PRIVMSG #esoteric :hi < 1442639780 705377 :hppavilion1!~Devourero@93-231-58-66.gci.net NICK :hppavilion[1] < 1442639799 561490 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :So RPN Combinatory Logic is /not/ a thing, correct? < 1442639869 235952 :bender!~benderx2@unaffiliated/bender/x-9459530 PRIVMSG #esoteric :What? < 1442640150 386417 :rodgort!~rodgort@105.ip-167-114-152.net JOIN :#esoteric < 1442640447 347426 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Remote host closed the connection < 1442640463 107676 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1442640761 918407 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net QUIT :Quit: Leaving < 1442640802 280996 :JesseH!~JesseH@oftn/member/JesseH JOIN :#esoteric < 1442640832 544703 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net JOIN :#esoteric < 1442641273 335888 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :bender: RPN combinatory logic < 1442641276 799248 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Like, the ski calculus < 1442641281 224025 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :In reverse polish notation < 1442641310 574732 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :why not? < 1442641357 358997 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :http://fontstruct.com/fontstructions/show/1186284 <-- also, I made another font, this one is square < 1442641375 169100 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :\oren\: Well RPN works with arithmetic and such because we can distinguish between operators and operands < 1442641377 660724 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Oh joy < 1442641385 126152 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :But in Combinatory Logic < 1442641386 147357 :Wright!~Wright@c-98-225-44-92.hsd1.wa.comcast.net QUIT :Ping timeout: 240 seconds < 1442641408 358799 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :"Operators" and "Operands" (which are /not/ the correct terms) are the same < 1442641483 155916 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :And furthermore, the number of other combinators a combinator accepts can vary (K (S x y) ) vs. (K (S x) y) < 1442641500 848999 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Not so much furthermore as "also" < 1442641535 223361 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :s/e/q/ig < 1442641554 487104 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :\oren\: What do you have to say to THAT? < 1442641590 965331 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :(also, having an RPN combinatory logic where we have an extra syntax where we write the argument count is cheatig) < 1442641638 532228 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I guess perhaps "x y S K" would be different from "x y K S". That's probably the solution, now that I think about it. < 1442641675 946318 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Wait < 1442641678 3042 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :No < 1442641695 759924 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :The SYA doesn't support variable-length function arguments for a reason < 1442641769 586916 :variable!~variable@freebsd/developer/variable QUIT :Quit: 1 found in /dev/zero < 1442641820 526683 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I really have no clue what I'm doing xD < 1442641824 620411 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I'll just look it up < 1442641840 588432 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :hmm you could use , and . instead of spaces < 1442641893 154323 :Thisbe!~Thisbe@2602:306:394b:e110:81fa:9080:93b1:8b28 JOIN :#esoteric < 1442641903 334522 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :The internet doesn't know < 1442641918 553326 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :\oren\: And how would that help? What would , and . mean? < 1442642003 915575 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :. would be used as function composition < 1442642013 168440 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :OK < 1442642014 567032 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :, would be used to separate arguments < 1442642017 934362 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Ah < 1442642029 181908 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :In RPN of course? < 1442642033 742078 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :yes < 1442642044 792196 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :So how would we define I with SK? < 1442642086 892896 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :K,K.S < 1442642135 105113 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :OK < 1442642153 685970 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Um < 1442642156 512801 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :IOW every S expression would be of the form < 1442642158 504187 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Give me a bit to process that < 1442642164 301407 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :x,y,z.S < 1442642189 398897 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :OK... < 1442642200 922176 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I'd probably just be better sticking with normal notation < 1442642202 931216 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :xFD < 1442642204 967954 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :*xD < 1442642224 904177 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I got a Stare 1.0 interpreter working, BTW < 1442642233 355011 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :You have to hand-crank the parser though < 1442642336 249771 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :That is, you have to code in a parsed program as a literal < 1442642617 889141 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :"Turing Tarpits are easy. Come back when you want to ACTUALLY design a language" < 1442642817 150993 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I mean, tarpits are nice and all, but pretty much only when they bring something new to the table < 1442643292 920636 :hppavilion[1]!~Devourero@93-231-58-66.gci.net QUIT :Ping timeout: 246 seconds < 1442643380 372038 :bender!~benderx2@unaffiliated/bender/x-9459530 QUIT :Quit: Ping Pong Fuckout < 1442643398 679567 :bender!~sid123@2404:e800:e61a:41d:898d:f9ac:575a:db8d JOIN :#esoteric < 1442643436 658897 :bender!~sid123@2404:e800:e61a:41d:898d:f9ac:575a:db8d QUIT :Remote host closed the connection < 1442643610 786491 :bender|_!~benderx2@2404:e800:e61a:41d:898d:f9ac:575a:db8d JOIN :#esoteric < 1442643616 983032 :bender|_!~benderx2@2404:e800:e61a:41d:898d:f9ac:575a:db8d QUIT :Remote host closed the connection < 1442643627 818834 :bender|!~benderx2@unaffiliated/bender/x-9459530 JOIN :#esoteric < 1442643696 468545 :bender|!~benderx2@unaffiliated/bender/x-9459530 NICK :bender < 1442647513 131126 :sc00fy!~scoofy@catv-89-135-80-2.catv.broadband.hu JOIN :#esoteric < 1442648451 226726 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :go tell the thousand people that design bf derivates < 1442648544 118417 :TieSoul!~quassel@86.89.119.147 JOIN :#esoteric < 1442648591 902546 :^v!~^v@c-68-41-215-101.hsd1.mi.comcast.net QUIT :Remote host closed the connection < 1442648786 507184 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net QUIT :Remote host closed the connection < 1442648822 283108 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net JOIN :#esoteric < 1442648866 946555 :TieSoul!~quassel@86.89.119.147 QUIT :Ping timeout: 260 seconds < 1442649052 22346 :TieSoul!~quassel@2a02:a448:4a62:0:548d:2bb6:e105:b48e JOIN :#esoteric < 1442649366 66855 :sc00fy!~scoofy@catv-89-135-80-2.catv.broadband.hu QUIT :Ping timeout: 240 seconds < 1442650501 234585 :Taneb!~Taneb@runciman.hacksoc.org JOIN :#esoteric < 1442651946 444347 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be JOIN :#esoteric < 1442652280 29945 :Thisbe!~Thisbe@2602:306:394b:e110:81fa:9080:93b1:8b28 QUIT :Ping timeout: 240 seconds < 1442653874 338067 :hppavilion[1]!~Devourero@93-231-58-66.gci.net JOIN :#esoteric < 1442654128 935158 :hppavilion[1]!~Devourero@93-231-58-66.gci.net QUIT :Ping timeout: 246 seconds < 1442659088 449923 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be QUIT :Ping timeout: 272 seconds < 1442659497 317506 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net JOIN :#esoteric < 1442660378 699970 :jameseb!~jameseb_@runciman.hacksoc.org JOIN :#esoteric < 1442660836 133790 :x10A94!~x10A94@178.252.73.97 JOIN :#esoteric < 1442660878 671993 :Melvar`!~melvar@dslb-092-072-165-010.092.072.pools.vodafone-ip.de NICK :Melvar < 1442661023 363154 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hi < 1442661099 799794 :JesseH!~JesseH@oftn/member/JesseH QUIT :Read error: Connection reset by peer < 1442661394 589745 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be JOIN :#esoteric < 1442661497 119691 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be QUIT :Client Quit < 1442661857 702571 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :hi < 1442661953 329133 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i think we should have a corewars type game based on aubergine. much lower barrier to entry with many of the same strategies available < 1442662093 185960 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :@ask boily corewars-clone based on aubergine? < 1442662093 402550 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1442662145 508645 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :do you verbs? < 1442662166 632084 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :. o O ( damn, let me try that again ) < 1442662169 706630 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :you verbs? < 1442662180 812028 :myname!~myname@84.200.43.57 PRIVMSG #esoteric ::R < 1442663044 0 :idris-bot!~idris-bot@dslb-092-072-165-010.092.072.pools.vodafone-ip.de JOIN :#esoteric < 1442663564 181902 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07List of Turing-complete models of computation14]]4 10 02http://esolangs.org/w/index.php?diff=44281&oldid=44274 5* 03SuperJedi224 5* (+9) 10/* Turing machines */ < 1442663597 599334 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :there are no "you verbs" < 1442663613 1309 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07List of Turing-complete models of computation14]]4 10 02http://esolangs.org/w/index.php?diff=44282&oldid=44281 5* 03SuperJedi224 5* (+91) 10/* Turing machines */ < 1442663828 940944 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07List of Turing-complete models of computation14]]4 10 02http://esolangs.org/w/index.php?diff=44283&oldid=44282 5* 03SuperJedi224 5* (+94) 10/* Turing machines */ < 1442663902 97650 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :quintopia: ftr, that started out as "Do you hate verbs?" but some subtleties got lost in the translation into the quintopian language ;) < 1442664017 836972 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :you cant drop verbs unless they are implied in quintopiese < 1442664226 186018 :blurelIse!~bluelse@c-67-168-205-81.hsd1.or.comcast.net JOIN :#esoteric < 1442664713 757013 :Melvar!~melvar@dslb-092-072-165-010.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Where the hell did (&) as reverse function application come from? < 1442664816 996769 :jameseb!~jameseb_@runciman.hacksoc.org QUIT :Quit: ZNC - http://znc.in < 1442664817 214513 :Taneb!~Taneb@runciman.hacksoc.org QUIT :Quit: I seem to have stopped. < 1442664861 631380 :blurelIse!~bluelse@c-67-168-205-81.hsd1.or.comcast.net PRIVMSG #esoteric :possibly from a catamorphism melvar but im no expert < 1442664947 97227 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :https://mail.haskell.org/pipermail/libraries/2012-November/018832.html < 1442664956 686686 :jameseb!~jameseb_@runciman.hacksoc.org JOIN :#esoteric < 1442664968 237764 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :"the nae was free to take" seems to have played a significant role < 1442665003 786529 :Melvar!~melvar@dslb-092-072-165-010.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :The obvious choice, (#), wasn’t? < 1442665192 672064 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm, lens 3.4: renamed `(%)` to `(&)`; lens 2.9: Renamed `|>` to `%` < 1442665300 993489 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Anyway none of these names is obvious to me. I've seen code using |> in ML... < 1442665324 906233 :Melvar!~melvar@dslb-092-072-165-010.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Certaintly F# uses that operator IIRC. < 1442665862 584811 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm... 'The mnemonic for % is 'mod'ify.' < 1442666107 355398 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(quoting from https://github.com/ekmett/lens/issues/17) later this happened: https://github.com/ekmett/lens/issues/100 ... Michael Sloane offerse a mnemonic for &: '(&) somewhat naturally suggests "and then" ... "and then"' < 1442666218 38203 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :and edward sums it up here, https://mail.haskell.org/pipermail/libraries/2012-November/018843.html < 1442666456 151925 :Melvar!~melvar@dslb-092-072-165-010.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :(&) is perfect for reverse *composition*, in my view. < 1442666496 269463 :Melvar!~melvar@dslb-092-072-165-010.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :“Another popular color of this bikeshed, (#) as is used in diagrams, interacts very poorly with MagicHash and has a very high precedence that ruins it for most dsl purposes.” < 1442666504 450346 :Melvar!~melvar@dslb-092-072-165-010.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Why would it ever interact with MagicHash? < 1442666554 604553 :Melvar!~melvar@dslb-092-072-165-010.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Moreover, why are you bound to use the same precedence as a given example using the name? < 1442666960 394702 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1442667153 500624 :Melvar!~melvar@dslb-092-072-165-010.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Anyway, a missed opportunity to make sense. I’ll quiet down about it now. < 1442667393 329201 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 256 seconds < 1442667402 779800 :draghi!~draghi@CPE-1-122-248-235.wwl9.wel.bigpond.net.au JOIN :#esoteric < 1442667510 336280 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1442667755 335140 :draghi!~draghi@CPE-1-122-248-235.wwl9.wel.bigpond.net.au QUIT :Quit: Leaving < 1442668439 122716 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 240 seconds < 1442670745 10439 :heddwch!heddwch@76.8.3.189 NICK :heddwc < 1442670826 398711 :heddwc!heddwch@76.8.3.189 NICK :heddwch < 1442672370 706439 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1442672558 790819 :MDream!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net NICK :MDude < 1442672627 293988 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :The current UTF-8 standard is wasteful with the code points now limited to 10FFFF < 1442672687 479000 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :what do you mean by "now"? < 1442672696 589411 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :did they change the standard? < 1442672748 169221 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :originally you could have code points up to 31 bits < 1442672768 658883 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :now it is 21 bits < 1442673053 557708 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :\oren\: blame UTF-16 < 1442673065 909472 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :UTF-8 would support code points up to 31 bits without any problem < 1442673081 247375 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :upto to 36 bits, actually < 1442673095 154281 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Yeah, without any problem and then some < 1442673104 662825 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :but they limited it at first to allow utf-32 to work < 1442673117 432927 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :now they limited it for utf-16 < 1442673143 395242 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :utf-16 - with all the disadvantages of utf-8 and utf-32 combined < 1442673147 828334 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :One program I wrote uses utf-24 < 1442673154 701654 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :At least it won't be limited any further now < 1442673231 143061 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :e.g. it does (*(t_int32*)(s+i*3))&0xFFFFFF < 1442673310 880654 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :the lowest 8 bits of the next code point have to be stripped out, but hey it works < 1442673412 516744 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :utf-24 would be an eminently practical way to transmit data consisting mostly of supernal plane characters < 1442673489 489409 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :e.g. emoji languages < 1442673511 944239 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :\helloren\. < 1442673513 946932 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :supernal? < 1442673516 708455 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@massages-loud < 1442673516 886668 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :quintopia asked 3h 10m 23s ago: corewars-clone based on aubergine? < 1442673539 875706 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@tell quintopia Ō_Ō holy fungot that is one froody idea! < 1442673540 53697 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1442673540 231753 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: let's try to get the answers from biologists," he says. " these people used bin's power, authority and facilities to carry out this operation." < 1442673576 634863 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :`addquote let's try to get the answers from biologists," he says. " these people used bin's power, authority and facilities to carry out this operation." < 1442673576 813122 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: justin returns annually to alsace where he if fnord as the fnord < 1442673578 332352 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1254) let's try to get the answers from biologists," he says. " these people used bin's power, authority and facilities to carry out this operation." < 1442673610 373598 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :supernal plane is from Mage: The Awakening < 1442673614 25184 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :fungot: I don't really care about what Justin does. I'm still gonna vote for my local NDP deputee. < 1442673635 141248 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :\oren\: tmyk tdh < 1442673706 709347 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :I am planning on flipping a coin and voting either red or orange depending < 1442673742 101191 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :noooooooooooooo! < 1442673753 383634 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :because canadiane politics is supremely boring < 1442673773 371421 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :red bad. orange good. orange is your friend. oraaaaaaaange. < 1442673818 681428 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :which one is going to refund the CBC? < 1442673831 315914 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :I want my damn hockey broadcasts < 1442673846 744422 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :s/refund/re-fund/ < 1442673888 433611 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :\oren\: it is hard to do better than UTF-8. you *can* lower the average bytes for each code point but not that much. let's keep ASCII compatibility and reassign x lead bytes and y cont. bytes (x+y=128); then some code points will get 4-byte sequence as the minimum of x*y^2 = 310 675 << 2^21. < 1442673889 93875 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :oh it's the orange. orange then < 1442673906 513040 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :2^20* < 1442673927 56864 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^style < 1442673927 234946 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp* youtube < 1442673933 367354 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^style wp < 1442673933 545270 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Selected style: wp (1/256th of all Wikipedia "Talk:" namespace pages) < 1442673944 751597 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :coppro: chelloppro. as a fellow canuck, any political persuasions we should be aware of? < 1442673946 873706 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :lifthrasiir: yeah but for most languages you want to skew it heavily to make the BMP chars shorter < 1442673957 313972 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :boily: L < 1442673972 787001 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :federally, at any rate < 1442674005 756557 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :\oren\: the minimum of x*y = 4 096, so the resulting distribution will be heavily skewed (even when there are 2^16 code points you have to assign many of them 3-byte sequences) < 1442674200 919576 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :Hmm what if we assigned the currently unused chars to make particular sets of 3-byte chars 2-bytes < 1442674278 384313 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :like F5, we could assign to make hiragana. and F6 to katakana < 1442674350 22526 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :Also the system leaves many, many sequences invalid which could be used < 1442674499 806738 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :I'll have to think about this < 1442674636 171707 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :I believe it'll only create a mess similar to Shift-JIS. < 1442674792 866721 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :shift-jis is only a mes because of 0xx and 1xx bytes being used in wide char encodings < 1442674822 887012 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :there's no reason to discard a whole range of sequences of high-bit bytes < 1442675042 367784 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Hm they limited Unicode? < 1442675048 145401 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Silly < 1442675072 798640 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :How many unallocated code points are left now? < 1442675102 594750 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :\oren\, ^ < 1442675231 139320 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :993375 < 1442675256 733885 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :0xF285F in hex < 1442675260 490424 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :that many < 1442675510 934610 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :well, still a while until we run out then < 1442675589 989270 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :\oren\, I think we should use UTF-32 instead. If you are worried about space usage, just zlib it or something < 1442675603 568759 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :At least for data storage and transfer that makes sense < 1442675612 273490 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Maybe not for processing though < 1442675716 875752 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :A trivial encoding like "one 2xx byte followed by one or more 3xx bytes" would give us 2 bytes for points up to 0x1000 and three bytes for points up to 0x40000 < 1442675781 670995 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :octal, I suppose < 1442675787 927760 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :yeas octal < 1442675841 176574 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :it woukd give india a treat by making devanagari only 2 bytes each < 1442675876 899912 :MercurialHg!~Mercurial@94.123.192.149 JOIN :#esoteric < 1442675886 865426 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :\oren\, again, why does it matter? zlib is going to do a better job anyway < 1442675898 10426 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :\oren\: ah, but that wouldn't be self-delimiting; you need to look ahead in order to figure out whether a character was fully transmitted. < 1442675905 15255 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :Vorpal = word processing < 1442675934 122943 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(or more abstractly, it's not a prefix code) < 1442675948 624310 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :int-e: yes. but transmission codes provide delimiters anyway < 1442675953 89783 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :\oren\, wouldn't UTF-32 be a better in memory representation anyway? That way characters are fixed with < 1442675997 239421 :MercurialHg!~Mercurial@94.123.192.149 PRIVMSG #esoteric :what should i add to my esolang < 1442676011 667397 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :MercurialHg, balanced ternary < 1442676012 233026 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :yes but do you really want to decode/reencode everying in every sed, grep etc implementation? < 1442676020 957013 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :(I have no idea what sort of language it is) < 1442676032 839639 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :\oren\, okay, that makes sense < 1442676067 17372 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :\oren\, though actually you don't need to: gzip -d foo.gz | grep | sed | gzip - < 1442676082 717584 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Assuming everything is UTF-32 anyway < 1442676107 853462 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :that's the same problem. you end up with a lot of extra processing < 1442676131 948965 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :True < 1442676194 636487 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :Oh I get it, you thought by word processing I meant like MS Word. whoops < 1442676246 11263 :MercurialHg!~Mercurial@94.123.192.149 PRIVMSG #esoteric :what should be name of my bot? < 1442676248 53706 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :\oren\, emacs, stuff like that < 1442676250 194325 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :I meant like you have a big file of CSV or JSON or whatnot and you want to process it < 1442676341 666792 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :ideally for such process (which could happen on a server request) you should be able to do it very fast. < 1442676382 482005 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :and with very little memory < 1442676425 195103 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :\oren\, though HTTP is increasily zlibed these days < 1442676553 402243 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :assholes using a million cross-site mega-cookies, probably. < 1442676582 837401 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :heh < 1442676605 482216 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :MercurialHg: ytterbot. < 1442676632 299633 :MercurialHg!~Mercurial@94.123.192.149 PRIVMSG #esoteric :Lithium? < 1442676676 450506 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm with boily < 1442676693 191246 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :MercurialHg, It should be called SubversionSvn < 1442676693 979564 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if you don't get that you don't deserve to name bots after elements hth < 1442676716 889044 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :boily, yes that is a very neat name < 1442676729 441384 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :praseodymbot < 1442676753 170421 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :oerjan, which ones was it again... Scandium, Yttrium, Yterbium, and some other I forgot the name of, right? < 1442676762 808980 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :Erbium < 1442676766 123034 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Ah < 1442676798 371166 :villasukka!villasukka@aulis.sange.fi QUIT :Remote host closed the connection < 1442676798 801119 :atehwa!atehwa@aulis.sange.fi QUIT :Read error: Connection reset by peer < 1442676835 746266 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :\oren\, oh and Terbium too < 1442676861 572197 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :And holmium and thulium < 1442676862 688728 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Wow < 1442676882 545772 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Apparently not Scandium though < 1442676965 988978 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :not? < 1442676992 805845 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :According to wikipedia indeed not < 1442676997 591664 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :"At a quarry and mine near the village, the rare earth mineral yttria was discovered and named after the village. This crude mineral eventually proved to be the source of four new elements that were named after the mineral ore and the village. These elements are yttrium (Y), erbium (Er), terbium (Tb), and ytterbium (Yb)[1] and were first described in 1794, 1842, 1842, and 1878, respectively. In 1989 the < 1442676997 769616 :boily!~alexandre@96.127.201.149 QUIT :Quit: OPINION CHICKEN < 1442676997 769665 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric : ASM International society installed a plaque at the former entrance to the mine, commemorating the mine as a historical landmark.[2] < 1442676997 769724 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :In addition, three other lanthanides, holmium (Ho, named after Stockholm), thulium (Tm, named after Thule, a mythic analog of Scandinavia), and gadolinium (Gd, after the chemist Johan Gadolin) can trace their discovery to the same quarry.[3]" < 1442677026 417605 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh the quarry < 1442677027 991916 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Scandium is not in the list < 1442677040 662949 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :oerjan, yes, what were you talking about? < 1442677047 116296 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i thought you were just naming elements named after scandinavian places < 1442677051 123210 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :oerjan, no < 1442677076 796532 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I have written a SQLite extension to parse JSON (based on PDJSON, with one bug fixed), so that is one way to process big file of JSON by using a database, if you would need to. < 1442677145 444528 :Lunarian!~Mercurial@94.123.199.171 JOIN :#esoteric < 1442677200 402093 :MercurialHg!~Mercurial@94.123.192.149 QUIT :Ping timeout: 264 seconds < 1442677483 550627 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Vorpal: the article on Scandium itself is intriguing, though. it *was* extracted from gadolinite. it's not a lantanoid, though. < 1442677708 997142 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :oerjan, ah < 1442678088 413888 :Lunarian!~Mercurial@94.123.199.171 QUIT :Read error: Connection reset by peer < 1442678827 776133 :bender!~benderx2@unaffiliated/bender/x-9459530 QUIT :Quit: [you can't stop this one: REKKKKT REKKT REKT!] < 1442679750 256462 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@ask hppavilion[1] So RPN Combinatory Logic is /not/ a thing, correct? <-- does unlambda with the grammar in reverse count? < 1442679750 434947 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1442679824 803998 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell hppavilion[1] i.e. si`i`si`i`` or even iis``iis``` < 1442679825 18948 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1442679953 660396 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell hppavilion[1] And furthermore, the number of other combinators a combinator accepts can vary (K (S x y) ) vs. (K (S x) y) <-- that's just currying < 1442679953 838379 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1442680271 94513 :Wright!~Wright@c-98-225-44-92.hsd1.wa.comcast.net JOIN :#esoteric < 1442681049 381248 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell Melvar Why would it ever interact with MagicHash? <-- if MagicHash is on, it's often mandatory to put space before it when using it as an operator. < 1442681049 598398 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1442681072 485452 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :int-e: (|>) has the wrong semiotics in haskell. it seems related to (<|>). (%) conflicted with Data.Ratio, which rather upset a number of folks. < 1442681100 307549 :nortti!nortti@ayu.smar.moe NICK :newbottomman < 1442681106 88001 :newbottomman!nortti@ayu.smar.moe NICK :nortti < 1442681107 994047 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and |> is used in Data.Sequence < 1442681133 849447 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :int-e: that is why those went away and (&) which has the benefit of being shorter than (|>), being unpaired due to (|) being taken by syntax, and being more or less unused because of confusion about and and or operators won < 1442681168 978263 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :so yitz offered up (&) and i had no reason to prefer (%) over it other than stubbornness and i switched < 1442681192 777881 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :and so the 'and...' sequencing mnemonic had the benefit that someone might guess it < 1442681299 969256 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (|>) < 1442681301 757989 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Snoc s s a a => s -> a -> s < 1442681318 804815 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> (0$0|>) < 1442681320 691498 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : The operator ‘|>’ [infixl 5] of a section < 1442681320 869558 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : must have lower precedence than that of the operand, < 1442681320 869612 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : namely ‘$’ [infixr 0] < 1442681325 197916 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :darn < 1442681374 71553 :Melvar!~melvar@dslb-092-072-165-010.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :oerjan: Surely you’re going to put a space before it anyway in all cases. < 1442681411 85761 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Melvar: well _some_ people might not. they might want to chain it like . especially if using lens < 1442681540 680648 :Melvar!~melvar@dslb-092-072-165-010.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :My own opinion is that (&) should have been reverse composition because of the and-then mnemonic. So “foo . bar . baz $ x” flips into “x # baz & bar & foo”. < 1442681575 644339 :Melvar!~melvar@dslb-092-072-165-010.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :ACTION shrugs. < 1442681584 981385 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :Melvar: we already have the noisier operator (>>>) for that < 1442681589 68609 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :my own opinion is that haskell sacked its syntax czar too early. < 1442681593 508478 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :but (&) didn't have a name < 1442681598 82322 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :ACTION shrugs. < 1442681621 992632 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :a shorter (>>>) would have been useless to me and i'd have wound up taking (%) or something for this purpose anyways. < 1442681644 472322 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (&=) < 1442681646 91395 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Not in scope: ‘&=’ < 1442681646 269782 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Perhaps you meant one of these: < 1442681646 269833 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ‘&&’ (imported from Data.Bool), ‘/=’ (imported from Data.Eq), < 1442681650 349122 :Melvar!~melvar@dslb-092-072-165-010.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Hmm. < 1442681651 835473 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric ::t (&~) < 1442681653 771084 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :s -> State s a -> s < 1442681665 293542 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :edwardk: now _that < 1442681669 724422 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :'s_ inconsistent. < 1442681690 832840 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :> (1,2) &~ do _1 %= 1; _2 *= 200 < 1442681693 772215 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : No instance for (Show t0) < 1442681693 950514 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : arising from a use of ‘show_M724657678350748221816791’ < 1442681693 950562 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : The type variable ‘t0’ is ambiguous < 1442681744 368851 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :> (1,2) &~ do _1 += 1; _2 *= 200 < 1442681747 125859 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (2,400) < 1442681763 236233 :Melvar!~melvar@dslb-092-072-165-010.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :( :let instance Category (\a,b => a -> b) where id = Basics.id; (.) = Basics.(.) < 1442681763 417146 :idris-bot!~idris-bot@dslb-092-072-165-010.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :defined < 1442681777 233218 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :&~ is inconsistent, because there is no operator & that takes a coherent type for its second argument and the result. < 1442681783 885005 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :edwardk: pretty sure %~ and %= "should" have been &~ and &= if redoing this stuff < 1442681786 99073 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :so it falls into a lexical gap < 1442681817 247819 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :oerjan: you have hit on what % originally was 'mod', and why those had those names < 1442681833 508894 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :but we kept the %~ and %= names < 1442681835 71847 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah i did rid the mailing list link above < 1442681838 803223 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*read < 1442681844 265207 :Melvar!~melvar@dslb-092-072-165-010.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :( :t Category.(.) (*2) (+1) < 1442681844 443590 :idris-bot!~idris-bot@dslb-092-072-165-010.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Can't resolve type class 12Category cat < 1442681960 644944 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :edwardk: there ought to be alphanumeric versions of <%~ and <<%~ < 1442681970 856062 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :? < 1442681976 667050 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :oh as combinators? < 1442681981 203222 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah < 1442681993 403675 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :they're like a gap in the alphanumeric style < 1442681994 490749 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :meh, you can write them easily enough directly just by picking f = (,) a < 1442682013 746126 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :the combinators do not try to offer everything the operators do < 1442682023 285625 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :the names get too verbose and messy too quickly < 1442682023 695113 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm < 1442682029 928645 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :the operators have a nice concise morphology < 1442682038 341812 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :for those with religious objections to operators they can roll their own < 1442682051 33736 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well i understand not translating any other base operators than % and sometimes . < 1442682081 164867 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but i'm thinking maybe every "%" operator should have one < 1442682098 616977 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :decided just not to climb this slippery slope =) < 1442682105 437582 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1442682119 891216 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :you have no idea how many bikeshedding requests in different directions like that i get every day about lens < 1442682134 734549 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :so my apathy here is a result of having been worn down to a nub ;) < 1442682154 843076 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@wn nub < 1442682156 266955 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :*** "nub" wn "WordNet (r) 3.0 (2006)" < 1442682156 445055 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :nub < 1442682156 445125 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : n 1: a small lump or protuberance [syn: {nub}, {nubble}] < 1442682156 445150 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 2: a small piece; "a nub of coal"; "a stub of a pencil" [syn: < 1442682156 445169 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : {nub}, {stub}] < 1442682158 198214 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :[7 @more lines] < 1442682195 579106 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :> nub [1,2,3,3,3,3,2,1,4] < 1442682197 771686 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [1,2,3,4] < 1442682495 334617 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@more < 1442682566 981972 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*ACHOO* < 1442682887 777022 :Taneb!~Taneb@runciman.hacksoc.org JOIN :#esoteric < 1442682896 308670 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :haneb < 1442683089 629821 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Helloerjan? < 1442683284 902141 :^v!~^v@c-68-41-215-101.hsd1.mi.comcast.net JOIN :#esoteric < 1442683990 926521 :^v!~^v@c-68-41-215-101.hsd1.mi.comcast.net QUIT :Ping timeout: 246 seconds < 1442684088 22383 :Melvar!~melvar@dslb-092-072-165-010.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :( :t nub < 1442684088 202449 :idris-bot!~idris-bot@dslb-092-072-165-010.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :09Prelude.List.nub : 12Eq 13a => 12List 13a -> 12List 13a < 1442684088 202542 :idris-bot!~idris-bot@dslb-092-072-165-010.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :09Data.Vect.nub : 12Eq 13a => 12Vect 13n 13a -> 12(13p : 12Nat 12** 12Vect 13p 13a12) < 1442684410 619431 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 240 seconds < 1442684505 899869 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1442685747 928222 :^v!~^v@c-68-41-215-101.hsd1.mi.comcast.net JOIN :#esoteric < 1442685816 443727 :sc00fy!~scoofy@catv-89-135-80-2.catv.broadband.hu JOIN :#esoteric < 1442686178 568519 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1442686218 182769 :hppavilion[1]!~Devourero@93-231-58-66.gci.net JOIN :#esoteric < 1442686439 900109 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be JOIN :#esoteric < 1442687311 144117 :JesseH!~JesseH@oftn/member/JesseH JOIN :#esoteric < 1442687750 31594 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Hellu < 1442688011 256675 :heroux!sandroco@gateway/shell/insomnia247/x-hbdjkmzitkdoxjua QUIT :Ping timeout: 255 seconds < 1442688070 140579 :heroux!sandroco@gateway/shell/insomnia247/x-mwtfwxrqshkuijmc JOIN :#esoteric < 1442688503 112093 :x10A94!~x10A94@178.252.73.97 QUIT :Read error: Connection reset by peer < 1442689230 207389 :heddwch!heddwch@76.8.3.189 NICK :sikin < 1442689246 708625 :sikin!heddwch@76.8.3.189 NICK :heddwch < 1442689713 269713 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1442690154 540511 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :There was this restaurant once which served brined salmon. One day, some inspectors came in and found that there wasn't enough lighting to illuminate the salmon sufficiently. < 1442690162 528181 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :The restaurant was fined for lax lox lux. < 1442690825 302460 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :LULZ < 1442690840 921340 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :NO CLUE WHAT "LOX" IS BUT I ASSUME IT'S SALMON SO LULZ < 1442690853 397456 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :(Brined salmon, specifically) < 1442690855 53633 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :(lulz) < 1442690912 44908 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :"Lox" is, indeed, brined salmon. < 1442691154 737039 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Zipf's law is cooooooooooooool < 1442691235 452085 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :yeah < 1442692139 123549 :blurelIse!~bluelse@c-67-168-205-81.hsd1.or.comcast.net QUIT :Ping timeout: 240 seconds < 1442693209 731301 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :@messages-loud < 1442693209 909277 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :boily said 5h 27m 49s ago: Ō_Ō holy fungot that is one froody idea! < 1442693240 570662 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :HAPAX LEGOMENON < 1442693258 980722 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :It's even more freudy than it is froody < 1442693270 31305 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yeah vsauce can be good sometimes < 1442693295 928538 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I should get my Stare parser up and running... < 1442693485 394103 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :@tell boily aubergine+unconditional fork. (first argument=target of first process, second=target of second?) < 1442693485 572564 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1442693516 445523 :sc00fy!~scoofy@catv-89-135-80-2.catv.broadband.hu QUIT :Ping timeout: 272 seconds < 1442693534 723167 :idris-bot!~idris-bot@dslb-092-072-165-010.092.072.pools.vodafone-ip.de QUIT :Quit: Terminated < 1442693582 290467 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :So I've installed Mozilla Lightbeam, but I don't really know what this stuff means. < 1442693591 229029 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Should I make a Combinatory Logic playground? < 1442693619 593363 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :and/or programming lanuage? < 1442693633 960170 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Presumably circles are sites I've visited. What are the triangles? Apparently they're sites I've "connected with"; does that mean sites I've made an HTTP connection to? < 1442693642 415313 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Yes (unless you have something else to do) < 1442693715 66535 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :OK < 1442693721 215672 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :And what's the difference between a white line and a purple line? < 1442693732 473232 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :It'll be a language that generally supports Combinatory Logic AND has some bonus features < 1442693778 964025 :TieSoul!~quassel@2a02:a448:4a62:0:548d:2bb6:e105:b48e QUIT :Read error: Connection reset by peer < 1442693785 738460 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :OK you can do that, see what bonus feature and also the other details. < 1442693861 396801 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I think I'll just use Jay Conrod's parser combinator library... < 1442693866 708012 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :For my Stare language < 1442693877 914608 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I want to finish Stare 1.0 interpreter before starting something else < 1442694086 427674 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Nah < 1442694094 788521 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I'll go to make my Combinator Playground < 1442694160 45308 :Melvar!~melvar@dslb-092-072-165-010.092.072.pools.vodafone-ip.de QUIT :Quit: rebooting < 1442694380 446250 :Melvar!~melvar@dslb-092-072-165-010.092.072.pools.vodafone-ip.de JOIN :#esoteric < 1442694594 471498 :llue!~gnomebad@unaffiliated/lleu QUIT :Quit: That's what she said < 1442694625 972015 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1442694629 701651 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Yuy < 1442694635 523205 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Lexer is working perfectly < 1442694651 424240 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Luckily, I wrote a lexer design library a while back that allows lexers to be made with a single object < 1442694654 328973 :atrapado!~atrapado@unaffiliated/atrapado JOIN :#esoteric < 1442694699 129544 :idris-bot!~idris-bot@dslb-092-072-165-010.092.072.pools.vodafone-ip.de JOIN :#esoteric < 1442694957 369237 :HackEgo!~HackEgo@162.248.166.242 QUIT :Remote host closed the connection < 1442695010 686533 :vit4lity!~vit4lity@77.71.121.6 JOIN :#esoteric < 1442695040 544814 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :How does that one work? < 1442695214 449757 :APic!apic@apic.name QUIT :Ping timeout: 250 seconds < 1442695616 981083 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: How does what one work? < 1442695632 440008 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Also, can the Y combinator be defined in SK, or do I need to make it builtin? < 1442695664 556017 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Lexer design library < 1442695689 873840 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Ah < 1442695698 796606 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Basically, you import UtopiaLexer < 1442695704 101209 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Create a lexer() object < 1442695733 619807 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Then call lexer().add_token_expr(regex_string, tag) along with a few other optional arguments (transformation functions, slicing, etc. < 1442695735 428351 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :) < 1442695768 975434 :HackEgo!~HackEgo@162.248.166.242 JOIN :#esoteric < 1442695774 219559 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Yeah, you can define the Y combinator. Let's see. < 1442695783 745055 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :OK < 1442695823 609000 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I'm trying to figure out how to implement the S combinator in python, given an object that only has two variables: self.comb and self.arg < 1442695834 942787 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I call a function called combinator.eval(combinators) < 1442695843 254136 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :and it has to do some stuff < 1442695876 185432 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :And come up with S x y z = x z (y z) < 1442695886 714093 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :\f. (\x. f (x x)) (\x. f (x x)), that becomes \f. (S (K f) (S I I)) (S (K f) (S I I)), which in turn becomes... < 1442695942 78286 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Something pukeworthy, I'm sure... < 1442696006 253537 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :hppavilion[1]: so what are self.comb and self.arg? < 1442696052 808428 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :tswett: I have a class called CombinatorExp. When initialized, it takes two arguments: comb (combinator) and argument. I save those two variables to the class. < 1442696081 701022 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Later, I call CombinatorExp.eval(combinators), where combinators is a map telling the thing what non-SK combinators mean what < 1442696092 652362 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :If it's the K combinator, I return self.arg < 1442696110 837363 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :If it's the S combinator, well, that's what I'm trying to implement. < 1442696134 889120 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Else, if it's a non-primitive combinator, I evaluate that index of the combinators dictionary < 1442696139 172467 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :And return its result < 1442696142 252014 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :ACTION nods. < 1442696163 915467 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Well, currently, it sounds like a CombinatorExp can only represent an expression of the form (x y), where x is a combinator. < 1442696173 979962 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :What if x isn't a combinator? What if it's another expression? < 1442696266 286681 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :CombinatorExp IS an expression < 1442696281 664449 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I just fixed it for if you don't give it an argument < 1442696313 140186 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :All right. Suppose that D, E, and F are combinators. How do you represent the expression (D E) F? < 1442696365 493009 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :`CombinatorExp(CombinatorExp('D', 'E'), CombinatorExp('F', None))` I believe < 1442696366 140954 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: CombinatorExp(CombinatorExp('D',: not found < 1442696370 349506 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Whoops < 1442696376 275015 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Forgot about hackbot < 1442696398 170131 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Well that might be a problem, now that I think about it < 1442696407 573003 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :So it sounds like self.comb can be a letter, but it doesn't have to be. < 1442696489 476924 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :tswett: https://github.com/ZodiacWorkingGroup/Combinatory-Logic-Playground/blob/master/AST.py < 1442696496 427420 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :There's my AST library < 1442696595 904805 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Well, here's how I'd approach it. < 1442696599 885233 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I'm still fixing things < 1442696602 830128 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Go on < 1442696612 672945 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Start with an abstract class called Expression. Make every type of expression a subclass of Expression. < 1442696617 397267 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :OK < 1442696638 537636 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :we're talking about Haskell right? < 1442696654 588896 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :So one initial thought is to have two subclasses, ApplyExpression and CombinatorExpression. < 1442696667 993676 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :coppro: I'm using python, because haskell is hard < 1442696679 774630 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :ApplyExpression contains two sub-expressions. CombinatorExpression contains a letter. < 1442696695 337563 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I think Haskell is really well-suited to this. < 1442696723 581682 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :tswett: I know, but that's been done < 1442696764 700090 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I would use Haskell, but... well, I don't have a good reason. < 1442696773 32684 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I'm doing it this way because I feel like it xD < 1442696959 804482 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :tswett: Go on... < 1442696989 113156 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :All right. < 1442696998 295904 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Expression has two abstract methods, eval() and apply(). < 1442697013 567664 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :For ApplyExpression, eval() works by just calling apply() on its two sub-expressions. < 1442697025 789158 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Interesting... < 1442697045 866483 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :And apply() works by, um... I'll have to think about that. < 1442697091 864018 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :What I have so far should work, unless it's broken by the s combinator < 1442697100 267141 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :For CombinatorExpression, eval() usually just makes the object return itself. (Expression objects should be immutable, by the way.) < 1442697113 391397 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :OK < 1442697119 345061 :vit4lity!~vit4lity@77.71.121.6 QUIT :Quit: Leaving < 1442697124 952445 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I'm using python, so... not sure if that's possible < 1442697130 701052 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I'll just avoid muting things xD < 1442697152 162376 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :self.apply(arg) adds arg to the argument list of self, and then, if self has enough arguments in its argument list, it constructs a new expression as appropriate and returns that. < 1442697176 283711 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :And when I say it adds arg to the argument list of self, by "self", I mean "a copy of self". < 1442697186 646656 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Something along those lines. < 1442697212 232931 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :OK < 1442697247 981809 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :But I ALSO have eval() and apply() accept an argument of type map that maps combinator names to expressions, just so you can define new combinators programmatically < 1442697265 249089 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :For ApplyExpression, self.apply(arg) should pretty much return self.eval().apply(arg), since eval() should never return an ApplyExpression. < 1442697287 748026 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Ah? < 1442697320 846054 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I mean, "eval() should never return an ApplyExpression" is sort of a self-imposed rule. < 1442697366 876073 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :The reason I'm suggesting imposing it is that we can consider ApplyExpressions to be "unevaluated", and eval() shouldn't return an unevaluated expression. < 1442697384 718861 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I have a feeling I'm going to end up with code I can't understand by the time I'm done xD < 1442697666 187309 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I still don't know what I'm doing xD < 1442697705 176050 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Lemme see here. < 1442697739 392342 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I should probably document what I want < 1442697761 58852 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :It looks like your K is actually I. < 1442697786 982965 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :In any case, let me see if I can suggest a gradual series of small changes. < 1442697823 577862 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I want: < 1442697823 844298 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :* S and K combinators to work < 1442697824 22709 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric : * For this to work, I need to make S accept its 3 arguments < 1442697824 22825 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :* New combinators to be definable with = < 1442697824 22864 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric : * Defined combinators to accept multiple arguments (via currying) like S does < 1442697835 508535 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Those are my 4 goals < 1442697862 977722 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Or, 3 goals if we exclude 1.2 < 1442697882 876475 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Or, if we assume that 2.2 is a subgoal, 2 goals and 1 subgoal < 1442697898 895403 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Now, my idea is to say that an expression of the form, say, (S x) or (S x y) is represented by a CombinatorExpression. < 1442697909 826303 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :OK < 1442697924 284104 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :And that means that CombinatorExpression is going to have a self.args attribute. < 1442697932 441479 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :And self.args is going to be a list? < 1442697936 757465 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Yep. < 1442697953 212801 :^v!~^v@c-68-41-215-101.hsd1.mi.comcast.net QUIT :Ping timeout: 240 seconds < 1442697954 512546 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I don't think that's combinatory though... But I can do it < 1442698011 973623 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Another option is to replace CombinatorExpression with six other classes: SExpression, S1Expression, S2Expression, KExpression, K1Expression, and IExpression. < 1442698033 592984 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I thought of that < 1442698038 160590 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Which represent, respectively, expressions of the form (S), (S x), (S x y), (K), (K x), and (I). < 1442698058 652251 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :That may or may not be excess complexity. < 1442698063 727317 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :IExpression could, of course, be represented with others < 1442698084 42597 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Right. < 1442698105 245092 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :One idea I thought of to enable currying is to make S x return a new combinator which would be a hash of the string "S x" < 1442698121 510684 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :And then that would just apply to the next expression < 1442698140 148995 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Not "return a new combinator" so much as "add a new combinator to the combinator dictionary" < 1442698147 608626 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :That's certainly *an* option. < 1442698167 233704 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I guess the hashing step would be unnecessary < 1442698199 386004 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :But you'll still need to define a meaning for that new combinator. < 1442698208 608471 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I know < 1442698212 837102 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :When are they going to make the rules of Magic: the Gathering to be sufficiently mathematically elegant? < 1442698216 959475 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :That's where I got hung up... < 1442698234 424812 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I think < 1442698259 168595 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :zzo38: in other words, when are they going to implement them in C#? < 1442698299 940170 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I'm adding a new class called FullExpression < 1442698321 500340 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :is there a difference between ((K x) (K x)) and ((K x) K) x? < 1442698334 282744 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I don't /think/ so < 1442698345 311032 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :s/n't// < 1442698351 39386 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :The former is x, and the latter is (x x). < 1442698368 347317 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :yeah. so parens are in fact necessary < 1442698402 590130 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Yup. < 1442698507 649859 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :K (K x) y z is x while K K x y z is y, so if you can add and remove parentheses, then everything is equal to everything. < 1442698537 488494 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :aha < 1442698610 511922 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :tswett: I don't meant C# I meant by mathematics. Rules might be found more clear in such a way < 1442698669 360032 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :tswett: I think I might know how to figure this out < 1442698672 841255 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :zzo38: so the rules would consist of mathematical prose? < 1442698684 319955 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :What happens if we add all the redundant parenthesis to S x y z? < 1442698688 946705 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :What does it become? < 1442698689 400106 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :tswett: Yes < 1442698698 182657 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :hppavilion[1]: (((S x) y) z) < 1442698701 775861 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :OK < 1442698706 30341 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :That probably makes it easier < 1442698707 566803 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Somehow < 1442698719 140165 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :zzo38: would you hope to end up with less than 100 pages of prose at the end? < 1442698750 329135 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :(Preferably ones that can also be put into the computer, such as with Literate Haskell you can almost do like that) < 1442698767 292250 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :tswett: I don't know. It depend how big are the pages, and what rules are modified and some other stuff < 1442698838 853822 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :But I had other idea too, make up the programming language for defining the rules and effect of cards of these kind of card games, and then implement rules with such a thing. My idea is to use RDF and then make up a literate RDF format to write rule with (like Xturtle with WEB together, perhaps) < 1442699137 901484 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I think I have shown a few examples on here before of what I was thinking of how to do < 1442699149 669817 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :It seems to me that if you are writing game rules in a computer-readable logical form, then you're halfway to writing a comuter game, so why not just do that < 1442699176 639000 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :\oren\: Sure that is one thing it can be used for, but the intention is that it would be independent of such things. < 1442699181 748967 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :\oren\: I think it has to be both computer-readable AND human (non-advanced-programmer) readable < 1442699215 413529 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :so use COBOL. < 1442699216 112591 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :hppavilion[1]: Yes, that is kind of also how I have meant < 1442699224 216466 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Yay! < 1442699226 764717 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I was right! < 1442699232 619318 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Use some language like IMP < 1442699241 796983 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Just use anything but perl < 1442699241 975082 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :(Not exactly, but close) < 1442699249 231151 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Oh :,( < 1442699279 891221 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I think literate programming, with a mathematically-defined programming language, is the way. < 1442699312 220520 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :So easy Haskell then? < 1442699333 227333 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :more love for curry < 1442699448 760522 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Haskell is an idea too I thought yes. < 1442699454 800832 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be QUIT :Quit: ZNC - http://znc.in < 1442699475 813693 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :But I am not quite sure if Haskell (or any other existing programming language) is particularly suitable which is why I had idea make the new kind < 1442699497 58347 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :last (ys ++ [e]) = e < 1442699500 515177 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :love it. < 1442699600 895822 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :But also just some of the rules of the game is too klugy or otherwise inelegant in my opinion and I would have done differently < 1442699614 299879 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :I just remembered that mothy does have an end of the world song for the 2nd-3rd era < 1442699621 288922 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :So where's the end of the 3rd era song? < 1442699749 696842 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :(Xturtle is a superset of RDF Turtle; I have written a Xturtle parser in C. WEB is the programming language TeX is written in; it combines TeX with Pascal codes and can be preprocessed into a Pascal code to be sent to a Pascal compiler; CWEB is similar but with C instead, and then you can have RDFWEB to write this new one with.) < 1442699890 354071 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :There's a part of the song that's intentionally musically bad, which makes sense but makes me sad < 1442700325 887156 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1442700327 582320 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1442700615 543757 :callforjudgement!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 265 seconds < 1442701129 327156 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :sgeo: I know a song that has intentional noise that sounds like a speaker being plugged in < 1442701414 880139 :sc00fy!~scoofy@catv-89-135-80-2.catv.broadband.hu JOIN :#esoteric < 1442701551 92427 :^v!~^v@c-68-41-215-101.hsd1.mi.comcast.net JOIN :#esoteric < 1442701607 651024 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :\oren\, o.O link? < 1442701723 130836 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :Huh. I did not know that accredited CS programs were not that common. Like, there's actually a number of people walking around with CS degrees that aren't worth the paper they're printed on. < 1442701727 131645 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :This explains a lot. < 1442701753 218226 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :huh? < 1442701861 888509 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :myname: In the US, there's not much formal regulation on higher education at all. < 1442701897 554810 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :In essence, any organization can hand out pieces of paper and call them degrees in whatever they feel like with whatever justification they feel like. < 1442701929 492735 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :lol < 1442701936 719895 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :What makes them "real" is a third party organization that people trust the opinion of, accrediting a degree program as meeting their standards. < 1442702007 459170 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :Ooor people just recognizing the degree as having value regardless of what an accrediting body says. < 1442702050 97860 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :In the case of computer science, there's a large number of degree programs with no accrediting whatsoever. < 1442702078 16661 :APic!apic@apic.name JOIN :#esoteric < 1442702083 564749 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :Which is just fine if it's Stanford (yes, really, Stanford's CS program is not accredited), but not so much if it's Univeristy of Bumblefuck KS. < 1442702525 701138 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1442702596 425627 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I'm back < 1442702827 55351 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :pikhq, really? Stanford is not accredited? < 1442702836 15118 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :Yes. < 1442702839 150697 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :Really. < 1442702841 814740 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :pikhq, I guess they just think that they are well known enough they don't need it? < 1442702846 440242 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :I believe that's just their CS program in particular. < 1442702852 67916 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :(they probably are) < 1442702853 75513 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :Harvard has the same deal. < 1442702855 595415 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Oh okay, so not that < 1442702862 702347 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: currying means that you only need a syntax for applying a combinator to _one_ argument. < 1442702867 162240 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :pikhq, what about MIT? < 1442702872 999031 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :MIT is accredited. < 1442702877 473998 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hm < 1442702879 494480 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :Stanford is known for CS *in particular* though. < 1442702890 847183 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :e.g. unlambda's `, which is normally prefix but could easily be postfix instead. < 1442702907 56667 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :pikhq, really though, Harvard, Stanford and MIT wouldn't need to be accredited. Their name carries enough weight on it's own < 1442702917 427684 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :Yeah. < 1442702919 533730 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Actually, a CS degree from the University of Bumblefuck KS is good for a cryptography job < 1442702928 692421 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :They teach that class using Malebolge < 1442702933 581226 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :XD < 1442702945 402822 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*Malbolge < 1442702952 822911 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I keep mixing those two up < 1442702965 831135 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Malebolge is not a thing even afaik? < 1442702966 128459 :atrapado!~atrapado@unaffiliated/atrapado QUIT :Quit: Leaving < 1442702972 554552 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :one is a programming language named for a circle of hell, the other is a circle of hell hth < 1442702974 691271 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :So isn't it typoing rather than mixing it up < 1442702980 112439 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :oh < 1442703057 599317 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes, but the typo is official < 1442703116 945219 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :right < 1442703118 762789 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :good night < 1442703421 178188 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :{1, 2}+{3, 4} = {4, 5, 6}, correct? < 1442703440 910754 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I've started work on LIME (the LIME Integrated Mathematical Environment) < 1442703444 628453 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :PLAUSIBLE < 1442703455 256380 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Is it or is it not? < 1442703484 355695 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's a common notation. you are making the error of thinking that math notation is unambiguous hth < 1442703518 240930 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'd say it's the most likely interpretation of the left side, assuming no other context. < 1442703523 782141 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Ah < 1442703556 230198 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :And {1, 2}+3 = {1, 2}+{3}={4, 5}? < 1442703561 691405 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :s/=/ = / < 1442703570 852514 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fairly reasonable. < 1442703574 723163 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :OK < 1442703587 885540 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I'm making an environment in which one can do a bunch of mathy things < 1442703623 115398 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the thing is, + is ridiculously overloaded, and there is an old convention using it for boolean algebra. < 1442703639 389882 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in which case it could be union instead. < 1442703658 438516 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(boole originally used addition and multiplication notation) < 1442703693 162478 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I'm going to use & for union < 1442703713 551083 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I'm going to try to make this some sort of hybrid beetween Traditional Mathematics and Programming < 1442703840 417363 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :& for union is a little confusing, since when you treat bitfields in C as boolean algebras that's exactly _intersection_ < 1442703887 509393 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so the opposite. < 1442703906 301325 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I'm trying to figure out where I'm going with this xD < 1442703911 2810 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yes, & is intersection < 1442704104 337289 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Should I make LIME at all memory-efficient, or should I just use BigFloat for everything? < 1442704112 605480 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Not sure if Python even /has/ BigFloat < 1442704654 708666 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1442705185 621696 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :OK < 1442705193 690235 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I think I've defined a sufficent arithmetic AST < 1442705230 426071 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Should I add Computer Sciency stuff to it? < 1442705234 232728 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Actually < 1442705235 476079 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Yes < 1442705250 797306 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I'm going to make the AST support computer sciency things and save other things for the parser < 1442705428 236370 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :So Computer Sciency-ness will be an option that the parser determines < 1442705429 688102 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Wait < 1442705435 4797 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :But that might not work... < 1442705512 612673 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: Your professional opinion. Is making ^ work as bitwise xor OR as exponentation depending on the option a good idea for a program targetted at mathematics students? < 1442705546 234300 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :It'd be a pain to implement, but it might be a good idea < 1442705686 949121 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :both are sort of about lacking the real math symbols (superscripts or that sum-in-a-circle thing) < 1442705695 163 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Yeah... < 1442705713 907102 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I want this to be easy to use when typed from a keyboard < 1442705735 243013 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what if they want to use both? < 1442705755 422775 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Perhaps I could use a LaTeX-like syntax where if you type, for exmple, "\lambda" it would come out as ? < 1442705771 132000 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: Oh, forgot to mention that if CS mode is on, ** is exponentation < 1442705777 743353 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 268 seconds < 1442705788 344108 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1442705817 935984 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :LIME is actually going to parse every instruction into two different ASTs: Algebraic and Arithmetical < 1442705849 884797 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :(Arithmetical encompassing Arithmetic, Geometry, a bit of algebra, Set Theory, etc.) < 1442705918 647976 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :(So if you want to get the sum of the set of 1 and x and a triangle, Arithmetical is used, whereas if you want to rearrange an expression, Algebraic is used) < 1442706700 3246 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :hppavilion[1]: I wouldn't use the notation {1,2} + 3. < 1442706717 645589 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :tswett: I wouldn't either, but someone might < 1442706776 24147 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :The fact that someone might want a feature doesn't necessarily mean that you should implement it. < 1442706943 605703 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :It's valid mathematical notation, as far as I know