< 1506733565 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net JOIN :#esoteric < 1506733780 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :`5 w < 1506733786 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1/2:hacker//Jim Hacker is a former British prime minister. \ ais523//Agent “Iä” Smith is an alien with a strange allergy to avian body covering, which he is trying to retroactively prevent from ever evolving. On the 3rd of March, he's lawful good. \ rho//Rho is the Greek letter that represents the mind, and thus psychology is called rho < 1506733787 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :`n < 1506733788 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :2/2:science. Today's reductionists consider the mind obsolete, and prefer to study new rho science. \ treat//Treats are tasty. \ macabre//The Macabres have been the hereditary rulers of Lochaber for 3 centuries. < 1506733854 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`cwlprits rho < 1506733862 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :shachäf < 1506733863 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :figures < 1506733865 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :forget rho < 1506733879 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`forget rho < 1506733881 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Forget what? < 1506734049 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 240 seconds < 1506734052 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :`? irish < 1506734053 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :irish? ¯\(°​_o)/¯ < 1506734062 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :`? english < 1506734064 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :English is an inherently ambiguous context-sensitive language that is too powerful to fully describe itself. < 1506734066 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :`? french < 1506734068 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Le français n'est pas le démon, visitez les Coupeurs. Ne pas couvrir. Meilleur avant! < 1506734075 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :`? japanese < 1506734076 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :japanese? ¯\(°​_o)/¯ < 1506734927 0 :jaboja!~jaboja@jaboja.pl QUIT :Ping timeout: 248 seconds < 1506735079 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :helloochaf, bonsoircah. < 1506735104 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :\o < 1506735511 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You missed the ysaclist < 1506735524 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But they're forgettable, I think < 1506735609 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :`? ysaclist < 1506735610 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :ysaclist? ¯\(°​_o)/¯ < 1506735960 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :I was either on vacation and/or lagged when they were issued. last two episodes were very short :/ < 1506735978 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :primitive technology was nice, tho. < 1506736059 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1506736141 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :boily: Sure, sign me up for ptlist < 1506736173 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net JOIN :#esoteric < 1506736215 0 :jaboja!~jaboja@jaboja.pl JOIN :#esoteric < 1506736547 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net QUIT :Quit: ELECTRONIC CHICKEN < 1506736578 0 :doesthiswork!~Adium@207.55.82.87 PRIVMSG #esoteric :what is ysac and pt? < 1506736684 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think pt is often physical therapy < 1506736795 0 :doesthiswork!~Adium@207.55.82.87 PRIVMSG #esoteric :and other times programming theory? < 1506736883 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Perhaps. < 1506736906 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :In this case I meant the first two words of boily's last sentence < 1506736921 0 :doesthiswork!~Adium@207.55.82.87 PRIVMSG #esoteric :AHA! < 1506738304 0 :hppavilion[0]!~dosgmowdo@58-0-174-206.gci.net JOIN :#esoteric < 1506738479 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net QUIT :Ping timeout: 248 seconds < 1506739544 0 :hppavilion[0]!~dosgmowdo@58-0-174-206.gci.net QUIT :Ping timeout: 258 seconds < 1506740503 0 :ATMunn!~ATMunn@unaffiliated/atmunn26 QUIT :Quit: humans need sleep, unfortunately < 1506740771 0 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric < 1506740943 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1506741073 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1506743050 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1506743301 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 240 seconds < 1506745940 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1506746303 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1506746577 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 248 seconds < 1506748202 0 :doesthiswork!~Adium@207.55.82.87 QUIT :Quit: Leaving. < 1506749550 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1506749619 0 :jaboja!~jaboja@jaboja.pl QUIT :Ping timeout: 240 seconds < 1506749829 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 240 seconds < 1506750681 0 :doesthiswork!~Adium@207.55.82.87 JOIN :#esoteric < 1506751925 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 240 seconds < 1506752894 0 :doesthiswork!~Adium@207.55.82.87 QUIT :Quit: Leaving. < 1506755032 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1506755121 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1506755135 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1506755257 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca QUIT :Ping timeout: 260 seconds < 1506755689 0 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: quit < 1506755814 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1506756189 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :23:22 i,i an esolang where every time you make a mistake one more thing becomes undefined behavior < 1506756194 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :23:22 There's plenty of self-modifying code, but are there self-modifying languages? < 1506756364 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca JOIN :#esoteric < 1506756747 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :ACTION good morning < 1506756834 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1506757014 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Good morneb. < 1506757646 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net JOIN :#esoteric < 1506757672 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1506759390 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1506760128 0 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 246 seconds < 1506762661 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net QUIT :Ping timeout: 240 seconds < 1506763147 0 :AnotherTest!~turingcom@ptr-82l26zcqplni9cagmzi.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1506763248 0 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net JOIN :#esoteric < 1506764829 0 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :shachaf: There are self-modifying languages, I think < 1506765043 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1506766487 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/newusers14]]4 create10 02 5* 03Dan zh 5* 10New user account < 1506766804 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=53142&oldid=53140 5* 03Dan zh 5* (+136) 10 < 1506766909 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Dan zh14]]4 N10 02https://esolangs.org/w/index.php?oldid=53143 5* 03Dan zh 5* (+101) 10Created page with "Hi! I am Danil! I like making translators from different languages. I'm Reacheable(sometimes) by IRC." < 1506766978 0 :dan_zh!5219e70d@gateway/web/freenode/ip.82.25.231.13 JOIN :#esoteric < 1506767003 0 :dan_zh!5219e70d@gateway/web/freenode/ip.82.25.231.13 PRIVMSG #esoteric :Hello there! < 1506767799 0 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.” < 1506768159 0 :dan_zh!5219e70d@gateway/web/freenode/ip.82.25.231.13 QUIT :Ping timeout: 260 seconds < 1506770108 0 :AnotherTest!~turingcom@ptr-82l26zcqplni9cagmzi.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 240 seconds < 1506773911 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Finally got paper for my printer! < 1506773914 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :What should I print < 1506773952 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :black pages until you run out of ink or toner :P < 1506773985 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :or dark brown if it's a color printer < 1506773994 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :int-e, I'd probably run out of paper first < 1506774011 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :And I'd like to print something slightly more interesting < 1506774040 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Like "Quantum Lambda Calculi with Calssical Control: Syntax and Expressive Power" < 1506774258 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :print all papers from https://www.win.tue.nl/~gwoegi/P-versus-NP.htm ? ;-) < 1506774679 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :or print the source code of X11R6, I hear it's a classic < 1506774957 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe print a play. < 1506775483 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :or #esoteric logs < 1506776451 0 :fizzie!?@? PRIVMSG #esoteric :Print ASCII art to tape on your walls. < 1506776503 0 :fizzie!?@? PRIVMSG #esoteric :Did I mention the time I hooked a tractor feed dot matrix printer to IRC? That got old fast. < 1506776508 0 :fizzie!?@? PRIVMSG #esoteric :(They're p. noisy.) < 1506776783 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( that must have come as a big surprise ) < 1506777484 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1506779529 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Countdown14]]4 N10 02https://esolangs.org/w/index.php?oldid=53144 5* 03Dan zh 5* (+583) 10Created page with "Countdown is a Quite Easy Esoteric Programming Translator. The code is here: global stack stack = [0 , 0, 0] print("Hello! This is the countdown translator!!") print("countdo..." < 1506779591 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Countdown14]]4 10 02https://esolangs.org/w/index.php?diff=53145&oldid=53144 5* 03Dan zh 5* (+18) 10 < 1506779634 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Countdown14]]4 10 02https://esolangs.org/w/index.php?diff=53146&oldid=53145 5* 03Dan zh 5* (+10) 10 < 1506779653 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Countdown14]]4 10 02https://esolangs.org/w/index.php?diff=53147&oldid=53146 5* 03Dan zh 5* (+1) 10 < 1506779943 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Countdown14]]4 M10 02https://esolangs.org/w/index.php?diff=53148&oldid=53147 5* 03Dan zh 5* (+146) 10 < 1506780017 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Countdown14]]4 10 02https://esolangs.org/w/index.php?diff=53149&oldid=53148 5* 03Dan zh 5* (-55) 10 < 1506780032 0 :doesthiswork!~Adium@207.55.82.87 JOIN :#esoteric < 1506780072 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Countdown14]]4 10 02https://esolangs.org/w/index.php?diff=53150&oldid=53149 5* 03Dan zh 5* (+33) 10 < 1506780090 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Countdown14]]4 M10 02https://esolangs.org/w/index.php?diff=53151&oldid=53150 5* 03Dan zh 5* (+1) 10 < 1506780495 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=53152&oldid=53075 5* 03Dan zh 5* (+16) 10 < 1506780838 0 :jaboja!~jaboja@jaboja.pl JOIN :#esoteric < 1506781461 0 :AnotherTest!~turingcom@ptr-82l26zcdj4axgk9x0yj.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1506782401 0 :doesthiswork!~Adium@207.55.82.87 QUIT :Quit: Leaving. < 1506782493 0 :ATMunn!~ATMunn@unaffiliated/atmunn26 JOIN :#esoteric < 1506783442 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 264 seconds < 1506784337 0 :jaboja!~jaboja@jaboja.pl QUIT :Ping timeout: 248 seconds < 1506786453 0 :jaboja!~jaboja@jaboja.pl JOIN :#esoteric < 1506788209 0 :jaboja!~jaboja@jaboja.pl QUIT :Ping timeout: 248 seconds < 1506788503 0 :doesthiswork!~Adium@207.55.82.87 JOIN :#esoteric < 1506788506 0 :doesthiswork!~Adium@207.55.82.87 QUIT :Client Quit < 1506789518 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :I think you do not need to print something right away; it can be a waste of paper. Make a printout of something on the times when you need/want them. < 1506790295 0 :zseri!~zseri@i5E86C85E.versanet.de JOIN :#esoteric < 1506790639 0 :cyber4dude!~puppy@103.70.202.8 JOIN :#esoteric < 1506791657 0 :Remavas!~Remavas@unaffiliated/remavas JOIN :#esoteric < 1506792993 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1506794520 0 :cyber4dude!~puppy@103.70.202.8 QUIT :Remote host closed the connection < 1506795802 0 :jaboja!~jaboja@jaboja.pl JOIN :#esoteric < 1506796069 0 :hppavilion[1]!~dosgmowdo@93-231-58-66.gci.net JOIN :#esoteric < 1506796194 0 :zseri!~zseri@i5E86C85E.versanet.de QUIT :Quit: Leaving < 1506796386 0 :hppavilion[1]!~dosgmowdo@93-231-58-66.gci.net QUIT :Quit: HRII'FHALMA MNAHN'K'YARNAK NGAH NILGH'RI'BTHNKNYTH < 1506796416 0 :hppavilion[1]!~dosgmowdo@93-231-58-66.gci.net JOIN :#esoteric < 1506798424 0 :jaboja!~jaboja@jaboja.pl QUIT :Ping timeout: 258 seconds < 1506799804 0 :jaboja!~jaboja@jaboja.pl JOIN :#esoteric < 1506801960 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :Maybe print a calendar, if you do not already have one. < 1506802163 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1506802255 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :Do you like the kind of computer game I make up? It is not quite finish yet, but, many buildings are larger inside but not all; the castle is much smaller inside. On the outside it spans multiple screens, but on the inside it takes up less than a quarter of the screen (and part of the screen is taken up by a message "Why is this castle so small inside? It look much bigger outside") < 1506802335 0 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1506802357 0 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :cal -y | lpr < 1506802418 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :FreeFull: Yes it is one way to print out the calendar, if you do not need to add the holidays and spaces to write your own markings per days and so on < 1506802599 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :The king and queen nevertheless does not want this kind of strange monsters in their castle (even though the note says that any people (or monsters) who solve this puzzle are allowed in) and will cast a spell on you!!! < 1506803250 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :zzo38, thank you for the advice < 1506803268 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I ended up print a chapter of a book on quantum lambda calculus (I am kind of into QLC right now) < 1506803468 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :OK, if you like that, then that is good < 1506803894 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 255 seconds < 1506804037 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :how does qlc work < 1506804210 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :I don't know, but I should learn too, if you explain it please < 1506804272 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I presume you are familiar with regular lambda calculus < 1506804288 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Or rather, simply typed lambda calculus < 1506804383 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :Yes < 1506804481 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :And linear typing? < 1506804738 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :If you take a simply typed lambda calculus with linear typing, product types, and like the version I'm reading has sum types and also recursion < 1506804750 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :And also a qubit type < 1506804755 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :I know linear logic, I don't know how linear typing is work < 1506804792 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I don't know if linear logic is related to linear typing < 1506804805 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :I also don't know < 1506804845 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :But linear typing is a way of encoding "you can only use this value once" in a type system < 1506804926 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :Well, linear logic can do that too < 1506804951 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :linear logic is "you can only use this premise once (unless there's a bang)" - the connection is the usual one between lambda calculus and sequent calculus < 1506804958 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(afaiui) < 1506804979 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :int-e: Yes, I think that is correct < 1506805008 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :you must use the premise as well... the same is true for the linear arguments in the linear lambda calculus < 1506805065 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Anyway, it works out that linear typing is good for representing quantum state < 1506805068 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric : But linear typing is a way of encoding "you can only use this value once" in a type system < 1506805088 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :so that's because you're representing quantum computations that have to conserve information < 1506805089 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :correct? < 1506805092 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Yeah < 1506805106 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :(I should have said "exactly once", sorry) < 1506805183 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :I think linear logic also has a question mark, which is like exclamation mark but on the other side of the logic instead. < 1506805228 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi zzo38 < 1506805252 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :Hello < 1506805301 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is !A the same as, uh, 1 & A & A⊗A & A⊗A⊗A & ... ? < 1506805460 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1506805482 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :I have read somewhere that it is possible to have multiple kind of ! and ? which act in the same way but are incompatible. < 1506805529 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :shachaf, I don't think that that is the case in QLC < 1506805589 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1506805656 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: you do get !x |- x though, and !x = !x,!x in contexts (in the sense that anything provable with !x,!x in the context is provable with !x and vice versa) < 1506805701 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: And also !x |- 1, right? Or whatever that thing was. < 1506805712 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And !x |- !!x? < 1506805715 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :! behaves like a comonad and !x behaves like a comonoid. Or something. < 1506805746 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: there's no !!x in the syntax. < 1506805753 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(in what I'm currently reading) < 1506805771 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :"A Lambda Calculus for Quantum Computation" by van Tonder < 1506805783 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :!(!x) < 1506805804 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :oh wait. < 1506805815 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I misunderstood. Let me check < 1506805833 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :int-e, there is in what I am reading, Quantum Lambda Calculus by Selinger and Valiron < 1506805835 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :yes, you hget !x |- !!x < 1506805861 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :unfamiliar territory, mistakes happen :) < 1506805872 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I think in maybe two or three years I would like to do a PhD in QLC (once I have some money saved up) < 1506806041 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: (what happened was that I was focussed on abstractions, where there's no !!x, instead of terms, where such a thing does exist) < 1506806103 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Abstractions? < 1506806118 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :λx . t and λ!x . t < 1506806143 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: Maybe you should save up money by coming to work in California. < 1506806150 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You could work at that quantum computing startup in Berkeley. < 1506806254 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :For the foreseeable future I'd much rather work in Europe < 1506806259 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What does ! mean in a lambda? < 1506806302 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :that the argument is non-linear < 1506806329 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :it corresponds to having !x in the proof context < 1506806332 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Does it have a different type? < 1506806353 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :it's --> vs. --o < 1506806362 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :TG < 1506807609 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :int-e, I'm printing a copy of van Tonder's thing < 1506807975 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1506808803 0 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1506808804 0 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1506808808 0 :callforjudgement!?@? NICK :ais523 < 1506810134 0 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: It seems most convenient to apologise for my connection in the quit message, given how often it comes up… If I immediately reconnect, it's probably because I could send but not receive. < 1506810144 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1506810821 0 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 258 seconds < 1506811258 0 :AnotherTest!~turingcom@ptr-82l26zcdj4axgk9x0yj.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 258 seconds < 1506811267 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Read error: Connection reset by peer < 1506811380 0 :Remavas!~Remavas@unaffiliated/remavas QUIT :Read error: Connection reset by peer < 1506811405 0 :Remavas!~Remavas@unaffiliated/remavas JOIN :#esoteric < 1506811418 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1506812451 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1506813262 0 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: qut < 1506813655 0 :Remavas!~Remavas@unaffiliated/remavas QUIT :Quit: Leaving < 1506815436 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/newusers14]]4 create10 02 5* 03Random dude 5* 10New user account < 1506815495 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=53153&oldid=53142 5* 03Random dude 5* (+199) 10/* Introductions */ < 1506815522 0 :Cthulhux!cthulhu@piratenpartei/ni/tux JOIN :#esoteric