let args: Vec = std::env::args().collect();     let mut buffer: String = String::new();      match OpenOptions::new().read(tr..."
> 1585032006 276509 PRIVMSG #esoteric :14[[07Talk:Qwote14]]4 10 02https://esolangs.org/w/index.php?diff=70462&oldid=70461 5* 03Fac 5* (-48) 10
< 1585032517 570079 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :I recently wrote a program in Haskell to calculate probabilities of achieving a total or less on a set of abnormal dice. Haskell is certainly different from other programming languages. I do not use Haskell a lot, but I find that for some things (such as this), it works very well, because the different way it works is suitable for this use.
< 1585032549 327630 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :I think that different programming languages are good for different purposes; other people have other opinions (as well as variants of what I said). What do you think, though?
< 1585035591 204849 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 250 seconds
< 1585035924 21798 :moony!moony@hellomouse/dev/moony QUIT :Quit: Bye!
< 1585036044 917051 :Bowserinator!Bowserinat@hellomouse/dev/Bowserinator QUIT :Quit: Blame iczero something happened
< 1585036152 292549 :moony!moony@hellomouse/dev/moony JOIN :#esoteric
< 1585036236 759455 :Bowserinator!Bowserinat@hellomouse/dev/Bowserinator JOIN :#esoteric
< 1585037771 785030 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric
< 1585038002 820325 :mroman!52c5a0eb@82-197-160-235.init7.net JOIN :#esoteric
< 1585039415 267787 :ElizabethCo!6ea8cf75@gateway/web/cgi-irc/kiwiirc.com/ip.110.168.207.117 JOIN :#esoteric
< 1585039619 170630 :ElizabethCo!6ea8cf75@gateway/web/cgi-irc/kiwiirc.com/ip.110.168.207.117 QUIT :Client Quit
< 1585041181 343340 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
< 1585041210 388581 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 250 seconds
< 1585041260 687552 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life
< 1585041988 39126 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
< 1585042133 790323 :mroman!52c5a0eb@82-197-160-235.init7.net QUIT :Remote host closed the connection
< 1585044196 797077 :mniip!mniip@freenode/staff/mniip QUIT :Ping timeout: 606 seconds
< 1585044903 370998 :mniip!mniip@freenode/staff/mniip JOIN :#esoteric
> 1585046540 331855 PRIVMSG #esoteric :14[[07ZFC++14]]4 M10 02https://esolangs.org/w/index.php?diff=70463&oldid=70240 5* 03Hakerh400 5* (+0) 10/* I/O format */
< 1585047924 360292 :Amabella!6d6f9a0e@gateway/web/cgi-irc/kiwiirc.com/ip.109.111.154.14 JOIN :#esoteric
< 1585048131 100518 :Amabella!6d6f9a0e@gateway/web/cgi-irc/kiwiirc.com/ip.109.111.154.14 QUIT :Client Quit
< 1585048199 363040 :wib_jonas!b03f0b9f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.11.159 JOIN :#esoteric
< 1585048407 517007 :wib_jonas!b03f0b9f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.11.159 PRIVMSG #esoteric :`ftoc 75
< 1585048409 68268 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :75.00°F = 23.89°C
< 1585049379 771795 :rain1!~debian@unaffiliated/rain1 JOIN :#esoteric
< 1585055256 407376 :wib_jonas!b03f0b9f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.11.159 PRIVMSG #esoteric :How do I configure firefox such that when I type into the urlbar, it does not open a popup with list of suggestions by default, but does still open it if I press down? 
< 1585056037 855041 :mroman!52c5a0eb@82-197-160-235.init7.net JOIN :#esoteric
< 1585056096 470059 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :ok I have another question. Suppose I have N people that regularily meet in a room with space for M persons. Now I want to know how many meetings must I have such that every person has at least seen every other person once.
< 1585056135 308121 :wib_jonas!b03f0b9f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.11.159 PRIVMSG #esoteric :mroman: do they plan out the meetings to make this fast, or do M of them just meet randomly each turn?
< 1585056146 397743 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :basically I have a set of N and pick subsets of M such that every member has been in a subset with every other member and I kinda want to know how many subsets I must pick.
< 1585056152 775808 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :I guess that's the more mathematical description of the problem.
< 1585056162 195651 :wib_jonas!b03f0b9f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.11.159 PRIVMSG #esoteric :so you want to pick the meetings
< 1585056246 381220 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :well... you have N persons and you divide them into groups of M persons and each of those persons shake hands. Then you select another group of M persons and so on. How many groups do I need to pick such that everybody has shaken hands with everybody.
< 1585056260 27936 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :there's a whole bunch of similar problems that are fundamentally all the same underlying problem.
< 1585056424 470625 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :but the actual RL problem I'm having is this: I have N persons and I have K rooms each allowing for N/K persons. Each day you split the people up. Obviously you can't be in two rooms on the same day. The question is how many days does it take such that everybody has been with everybody else. 
< 1585056428 982254 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :and I have no clue on how to do this :(
< 1585056470 223651 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :the other question is how do I plan those subsets rather than just knowing how many days it takes.
< 1585056499 641672 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :(currently we have two rooms)
< 1585056521 256672 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :so like 10 people, 2 rooms meaning there will be two groups of 5 each day.
< 1585056548 881816 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :also I guess it'll be unavoidable that somebody sees somebody multiple times.
< 1585056692 680014 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric
< 1585056751 3560 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :int-e: re your blc non-primitive recursive function, i suppose `\f\x blah` means `\f.(\x.blah)`?
< 1585057116 484703 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :wib_jonas: http://codepad.org/VpWxojiJ
< 1585057127 489933 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :^- kinda like this (this is with 8 persons and 2 rooms of 4 persons each)
< 1585057152 323591 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :so this arrangement would take 5 days. I have no idea if you can do it in less than 5 days. 
< 1585057162 786705 :int-e!~noone@int-e.eu PRIVMSG #esoteric :kritixilithos: Yes. (Though I'd expect myself to write \f\x. blah)
< 1585057196 187302 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :er yes you had the dot
< 1585057225 201523 :int-e!~noone@int-e.eu PRIVMSG #esoteric :kritixilithos: But indeed this particular flavor of lambda calculus syntax makes the . optional, instead of allowing multiple variables after \
< 1585057310 514844 :int-e!~noone@int-e.eu PRIVMSG #esoteric :kritixilithos: (context is https://github.com/tromp/AIT/ which has an implementation of BLC and a tool to convert lambda calculus (plus let) into BLC)
< 1585057340 106289 :wib_jonas!b03f0b9f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.11.159 PRIVMSG #esoteric :mroman: that's a slightly different question. for 10 people meeting in rooms of capacity 5 you need 4 days, but I don't know the answer in general for any number of peope and capacity of the rooms.
< 1585057398 673088 :wib_jonas!b03f0b9f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.11.159 PRIVMSG #esoteric :mroman: for 8 people with rooms of capacity 4, 3 days should be enough
< 1585057549 784014 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :yeah 
< 1585057605 882725 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :I'm not so sure about that
< 1585057676 438761 :wib_jonas!b03f0b9f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.11.159 PRIVMSG #esoteric :why?
< 1585057759 440557 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric
< 1585057811 817965 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh a combinatorial design problem...
< 1585057823 77154 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 265 seconds
< 1585057906 602483 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :see https://ibb.co/rpznWcp
< 1585057935 600863 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :this is with three colors and clearly 1 hasn't been with 7 and 8.
< 1585057956 302324 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :and 2 hasn't been with 8 for example
< 1585057982 884368 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :and 5 hasn't been with 3
< 1585058004 766913 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :etc. etc. I don't believe this can be done with 3 colors.
< 1585058024 239442 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :(1 color = 1 day)
< 1585058043 877836 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Yeah I don't believe in 3 days either. 4 is possible.
< 1585058068 195349 :wib_jonas!b03f0b9f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.11.159 PRIVMSG #esoteric :maybe you're right
< 1585058093 901672 :int-e!~noone@int-e.eu PRIVMSG #esoteric :wait
< 1585058103 8046 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I'm stupid.
< 1585058176 929372 :int-e!~noone@int-e.eu PRIVMSG #esoteric :3 works after all. 1234|5678, 1256|3478, 1278|3456
< 1585058202 588869 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(it even works if you have 4 couples that stick together)
< 1585058341 230541 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And that (4 couples that always stick together) corresponds to dividing K_4 into 3 perfect matchings, which is something I've done before.
< 1585058401 562821 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :indeed
< 1585058458 417858 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :now the question is whether it always requires 3 :)
< 1585058462 301491 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :or whether it scales with more people
< 1585058547 278100 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
< 1585058662 614781 :int-e!~noone@int-e.eu PRIVMSG #esoteric :So the same construction works if you have 4n people and rooms of capacity 2n.
< 1585058899 11755 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :do you have some strategy to pick the groups? 
< 1585058961 2529 :int-e!~noone@int-e.eu PRIVMSG #esoteric :It reduces to the case of 4 people; rather than couples, pick groups of size n that stick together.
< 1585058962 103464 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :(as in something that helps towards an algorithm :D)
< 1585060556 764345 :arseniiv!~arseniiv@94.41.12.56.dynamic.ufanet.ru JOIN :#esoteric
< 1585060900 457352 :int-e!~noone@int-e.eu PRIVMSG #esoteric :For 4n+2 people and room size 2n+1 you need 4 days. Fun.
< 1585061493 129263 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Start with 2n people; label them by the rooms (A or B, of capacity n) they stayed in. After two days, there are 4 labels, AA, AB, BA, BB; simple counting shows that the same number of poeple have labels AA and BB; the same is true for labels AB and BA. So you can make n disjoint pairs of people who have not been together in a room yet (pairing AA with BB, and AB with BA). If n is odd, then one...
< 1585061499 210193 :int-e!~noone@int-e.eu PRIVMSG #esoteric :...pair is split on the 3rd day, which means a 4th day is required.
< 1585061951 429865 :Deewiant!~deewiant@de1.ut.deewiant.iki.fi QUIT :Quit: WeeChat 2.3
< 1585061970 121161 :Deewiant!~deewiant@de1.ut.deewiant.iki.fi JOIN :#esoteric
< 1585062086 807663 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And if there are 2 people, they'll never meet at all.
< 1585062102 235177 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I think that about covers it all.
< 1585062213 828788 :imode!~linear@unaffiliated/imode JOIN :#esoteric
< 1585065116 295640 :xkapastel!uid17782@gateway/web/irccloud.com/x-cffaasonwotofqls JOIN :#esoteric
< 1585066703 671728 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds
< 1585067046 672407 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric
< 1585068850 857503 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 256 seconds
< 1585070043 673586 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds
< 1585070064 744104 :pin8687!~azthyriom@191.125.173.152 JOIN :#esoteric
< 1585070156 379946 :pin8687!~azthyriom@191.125.173.152 QUIT :Quit: Leaving.
< 1585071037 519678 :mroman!52c5a0eb@82-197-160-235.init7.net QUIT :Remote host closed the connection
< 1585071072 69062 :wib_jonas!b03f0b9f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.11.159 QUIT :Remote host closed the connection
< 1585071234 426601 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 240 seconds
< 1585071262 860159 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric
< 1585071757 819246 :mroman!52c5a0eb@82-197-160-235.init7.net JOIN :#esoteric
< 1585071901 433934 :spruit11!~unknown@ip56522cc1.speed.planet.nl QUIT :*.net *.split
< 1585071901 434039 :hakatashi!~hakatashi@104.131.49.125 QUIT :*.net *.split
< 1585071901 540738 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :*.net *.split
< 1585071901 810397 :myname!~myname@ks300980.kimsufi.com QUIT :*.net *.split
< 1585071912 788445 :myname!~myname@ks300980.kimsufi.com JOIN :#esoteric
< 1585071916 226782 :spruit11!~unknown@ip56522cc1.speed.planet.nl JOIN :#esoteric
< 1585071920 892665 :hakatashi!~hakatashi@104.131.49.125 JOIN :#esoteric
< 1585071927 224664 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric
< 1585072281 458349 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric
< 1585072485 324962 :MDude!~MDude@97-127-171-136.cdrr.qwest.net QUIT :Ping timeout: 250 seconds
< 1585072657 100662 :MDude!~MDude@97-127-171-136.cdrr.qwest.net JOIN :#esoteric
> 1585073583 680348 PRIVMSG #esoteric :14[[07HGFTSNOA14]]4 M10 02https://esolangs.org/w/index.php?diff=70464&oldid=70430 5* 03PythonshellDebugwindow 5* (+128) 10/* String indexing */
< 1585073896 632950 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :so our govnt has expressed desire to use tracking apps to track citizens
< 1585073906 979750 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :I mean... on one hand that's probably a great idea for this situation
< 1585073912 34225 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :on the other hand... erm...
> 1585073955 989927 PRIVMSG #esoteric :14[[07HGFTSNOA14]]4 M10 02https://esolangs.org/w/index.php?diff=70465&oldid=70464 5* 03PythonshellDebugwindow 5* (+96) 10/* String indexing */
< 1585073957 564446 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :very slippery slope
> 1585074239 27809 PRIVMSG #esoteric :14[[07HGFTSNOA14]]4 M10 02https://esolangs.org/w/index.php?diff=70466&oldid=70465 5* 03PythonshellDebugwindow 5* (+104) 10/* Keywords */
< 1585074355 357997 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :also one roll of toiletpaper for a single person usually easily lasts one week.
< 1585074382 909434 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :so a 12pack lasts you like 3 months. If one buys 3-4 packs then you have toilet paper for a year.
< 1585074494 781589 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 256 seconds
< 1585074513 903234 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric
< 1585074558 591947 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :on the other one box of pasta 400g is at most 1600kcal (as 1g of carb is 4kcal and this assumes pasta is 100% carb which it isn't) which will last you exactly one day at most.
< 1585074655 504214 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :there was a nice discussion on hn recently about bidets https://news.ycombinator.com/item?id=22618253
< 1585074888 592711 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :yeah, i wonder how many "emergency powers" will be granted and never revoked
< 1585075249 442538 :Bowserinator!Bowserinat@hellomouse/dev/Bowserinator QUIT :Quit: Blame iczero something happened
< 1585075269 917580 :Bowserinator!Bowserinat@hellomouse/dev/Bowserinator JOIN :#esoteric
< 1585075280 627108 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :well... full confinement is a tricky thing. I mean it's probably less of a tricky thing if you have a house or an apparment with a balcony and things..
< 1585075284 936750 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :but still..
< 1585075314 525457 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :currently we have a prohibition on gatherings of more than 5 people
< 1585075345 261463 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :I guess banning gatherings entirely is on the table but even that isn't as harsh as full confinement.
< 1585075379 345335 :longname!~airbouy@75-26-238-119.lightspeed.glvwil.sbcglobal.net QUIT :Read error: Connection reset by peer
< 1585075413 73665 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :but I assume currently the government is thinking that it isn't stoppable anymore and a lot of people will get it so there's no point in full confinement
< 1585075418 191438 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :and they want to keep the economy running
< 1585075461 879753 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :I don't see how tracking would be a reasonable measure for this strategy.
< 1585075479 437436 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :Currently you still have to go to work potentially using public transport.
< 1585075516 461910 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :so essentially one thing you could do is to close businesses for 14 days once a worker is ill
< 1585075522 594135 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :you don't need tracking for that.
< 1585075539 363401 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :and if you have tracking you'd have to do this as well
< 1585075557 554237 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :(because obviously you had contact with your coworkers)
< 1585075629 868434 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :kmc: depends. I guess legally speaking they are automatically revoked once the government ends the "emergency state"
< 1585075656 531090 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :I'm guessing that laws based on emergency powers are only valid during the emergency state.
< 1585075705 939577 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :so the legislative branch of the government would have to uphold those laws.
< 1585075716 513851 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :(the ones made by the executive branch based on emergency powers)
< 1585075718 816161 :MDude!~MDude@97-127-171-136.cdrr.qwest.net QUIT :Ping timeout: 256 seconds
< 1585075744 321339 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :but in essence in my country this means that the people have to uphold them
< 1585075747 144318 :MDude!~MDude@97-127-171-136.cdrr.qwest.net JOIN :#esoteric
< 1585075764 123997 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :parliament can't really make laws without our approval.
< 1585075823 675258 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds
< 1585075869 744616 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :although technically it works this way: parliament makes a new law... you can call for a vote but I think until the vote is done the law is actually in place
< 1585075924 698156 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :governments tend to keep 'emergency states' going as long as they can
< 1585075986 702085 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :it will be decades until we reach the point where there are no COVID-19 cases anywhere on Earth, if it ever happens (doubtful)
< 1585076001 698213 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :so they can claim that the emergency is ongoing basically as long as they like
< 1585076008 971106 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :and that it could flare back into pandemic status at any point
< 1585076011 171096 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :which is kind of true
< 1585076027 17379 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :maybe but I mean... law and politics are always... "soft". It's never "formal".
< 1585076041 180997 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :I mean.. the government can use emergency powers in emergencies
< 1585076050 339403 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :but I don't think it is defined what exactly is an emergency
< 1585076071 732933 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :except you know like "natural disaster, public health crisis" but it doesn't define at what point something is a natural disaster worth of an emergency
< 1585076111 381039 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :that's the fascinating thing. Politics requires cooperation from the people. The government can say whatever they want as long as the people don't accept it...
< 1585076144 233046 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :that's complicated
< 1585076150 113134 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :see here. The top governments have issued emergency laws which local goverments decided to overwrite (which is something that is legally not possible)
< 1585076163 522879 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :the government issued a declaration that this is not legal but the local goverment said "meh"
< 1585076165 9418 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :you can get away with things the majority don't like if you keep it secret, or if you misinform them
< 1585076167 14321 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :I mean... what you gonna do.
< 1585076175 936420 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :or if push comes to shove and the military and police are on board
< 1585076178 117074 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :march in with the army?
< 1585076181 459805 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric
< 1585076197 62694 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :but you can only do that if the people think this is worth marching into that one little state
< 1585076260 101773 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :but yeah I hope it doesn't come to tracking.
< 1585076323 952595 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :there's always some tension between parts of the country that speak different languages anyway.
< 1585076379 571250 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :one part is too small to ever have a representative in government (or maybe they do now as a first I haven't really kept up with this)
< 1585076417 136806 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :but generally you don't care about what happens in parts that don't speak your language
< 1585076422 314276 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :language is a powerful barrier.
< 1585076516 827300 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :but yeh this is going to be fun because for organizations on national level those local laws are illegal thus you wouldn't be able to apply for some unemployed insurances
< 1585076539 858823 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :because the closing of your business wasn't legal on a national level even though it was mandatory due to local laws.
< 1585076558 454990 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :That's also interesting. If you have a local law X and a national law Y that conflict each other... which one do you have to follow?
< 1585076596 913377 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :courts are usually local so if you break a local law you'll be put in front of the local court I guess which will find you guilty
< 1585076617 393921 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :then you'd have to take it further to the national court which would then presumably overrule that guilty sentence.
< 1585076666 279309 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :so I guess you don't have to follow it but you will be convicted by the 1st instance and then you have to appeal to 2nd instance and you're good. Messy but works.
< 1585076667 624277 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :I think that most people should not go to work during this time (except doctors).
< 1585076668 421928 :laerling!~lsf@unaffiliated/laerling QUIT :Quit: ZNC 1.7.3 - https://znc.in
< 1585076684 776404 :laerling!~lsf@unaffiliated/laerling JOIN :#esoteric
< 1585076705 451821 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :zzo38: yeah but this is only feasible if you can realistically erradicate the virus within a reasonable time frame?
< 1585076706 408540 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :(O, and also the fire fighting, too, if it becomes necessary.)
< 1585076731 697745 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :otherwise you're just locking people up until every last case is gone which may take years?
< 1585076775 705095 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :also this approach doesn't work long term. You need production for medical supplies and foods.
< 1585076788 629979 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :And you need production for packaging for foods
< 1585076793 973831 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :and you need transport of foods
< 1585076804 652064 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :so you also need production and maintenance of for transport of food
< 1585076814 335665 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :and medical supplies too
< 1585076841 806654 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :it's probably really tricky to decide what you're going to shut down and what not
< 1585076872 320903 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :you can shut down like can producers for now and use the cans they have in stock
< 1585076875 372342 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :but how long will that last?
< 1585076893 650541 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :you'd have to be aware of the entire supply chain 
< 1585076909 933921 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :it's much easier to just shut down clearly non-essential stuff
< 1585076918 966624 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :Some people can make their own food and growing stuff in their own garden too, I suppose.
< 1585076921 709693 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :like hair stylist, make-up artists
< 1585076935 114516 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :or restaurants
< 1585076941 117101 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :stuff like that.
< 1585076956 109683 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :I mean currently you can only sell food in my country
< 1585076966 857001 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Quit: quit
< 1585076969 114105 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :at least in stores
< 1585076973 797109 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :you can buy everything online 
< 1585077013 652318 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :I suppose one feasible approach is to close food stores as well and have delivery people in protective gear that deliver food to people's home
< 1585077016 285272 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :People should be advised to stay home and the law should ensure that if their employer requires them to work then the employer will be arrested (once you get the opportunity to arrest them).
< 1585077020 197536 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :that's one way to reduce a lot of contacts.
< 1585077112 78883 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :I'd agree that you certainly can close most businesses for a time limited period.
< 1585077198 251653 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :I just hope that we will learn from this crisis and that we as a society improve and move away from "consumer society"
< 1585077271 34190 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :but sadly I doubt it.
< 1585077615 411994 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :what does that mean exactly
< 1585077620 709359 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :people have enjoyed consuming things since the dawn of time
< 1585078259 944125 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :yeah it's a term translated from "Konsumgesellschaft"
< 1585078295 473846 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :it means being overly materialistic, put values into objects, desire luxury things, express status through objects, always wanting new things even though there's no functional need
< 1585078308 505435 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :buying things that aren't necessary only to throw them away soon without having had a real need for them
< 1585078331 81251 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :examples would be buying things that are currently hyped because they are hyped but you actually don't need them
< 1585078379 656183 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :the opposite I guess would be minimalism. You reduce your lifestyle to what is necessary to you and buy things only on a strict need basis, you don't express your status through expensive objects
< 1585078394 707738 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :and you try to consume as little as possible, you value nature and people
< 1585078398 698586 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :that's what's generally understood.
< 1585078671 961075 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :Yes, you should reduce "consumer society"
< 1585079632 756032 :imode!~linear@unaffiliated/imode JOIN :#esoteric
< 1585079698 793736 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :but minimalism has become its own form of middle class status signalling
< 1585079704 267478 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :https://vruba.tumblr.com/post/45256059128/wealth-risk-and-stuff
< 1585079735 387484 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :that is true
< 1585080022 884411 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :"value nature and people" can mean "spend tons of money on unnecessary travel" and your instagram photos from exotic places become as much an expensive status good as a luxury car or whatever
< 1585080043 580871 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :and preaching the virtues of minimalism can tread close to austerity politics
< 1585080057 150999 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :well granted... going backpacking is something you can only do if you're rich
< 1585080057 473426 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :like every so often conservatives in the USA get outraged that you can buy steak and lobster on food stamps
< 1585080063 570880 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :cause the poor should eat only gruel and plain toast
< 1585080072 60470 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :never mind that it's a fixed allocation per month regardless
< 1585080096 167202 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :mroman: right, rich in the sense of money or rich in the sense of few obligations and a safety net
< 1585080102 409063 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :either way
< 1585080112 946591 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :that's the difference between backpackers and homeless people
< 1585080131 745830 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :I've been technically homeless for months, but I knew that I had friends to stay with and a high paying job awaiting me after x months so it's not really the same
< 1585080187 509331 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :anyway i don't disagree with you exactly
< 1585080202 551845 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :it's just a kind of complicated thing
< 1585080216 374858 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :yeh I've been "homeless" for a while too but not "homeless" as in "living on the streets"
< 1585080252 809081 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :no I mean you certainly can have minimalism when you're poor but yeah you'll have to bulk buy food for sure
< 1585080294 447077 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :also usually minimalist might have a safety net in the sense of "I can throw this away... should I ever need this in a year or two I can just re-buy it"
< 1585080302 217005 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :right
< 1585080304 967715 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :which you can't do when poor
< 1585080317 17467 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :like "I only want 1 pair of sneakers so I'll give these away"
< 1585080324 129172 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :yeah
< 1585080331 891516 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :your sneakers break and you don't have a spare pair so you have to buy a new one as well
< 1585080335 382813 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :you don't do that when poor
< 1585080352 249795 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :yeah, the stereotype of poor people having a bunch of junked cars and washing machines on their lawn
< 1585080356 288845 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :it's easy to look down on it as trashy
< 1585080374 741462 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :but maybe they can't afford to throw them out because they might need them for parts
< 1585080381 247720 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :or are slowly acquiring the parts to get them working again
< 1585080384 938332 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :Or, can you make your own shoes and stuff?
< 1585080389 461796 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :and can't just toss the whole thing and buy a brand new shiny samsung washing machine
< 1585080404 372451 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :I'm sitting here not having to wash my own clothes
< 1585080407 893615 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :so much for being rich.
< 1585080420 967435 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :but that's because I live in a hotel.
< 1585080431 315220 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :I don't even have a washing machine
< 1585080443 725471 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :Other thing to do is to wash the clothes less often if they aren't so dirty.
< 1585080469 458554 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :personally I'm far from minimalist, I own a lot of stuff, much of it is tools and supplies for my various activities (electronics, ham radio, mushroom growing) and ditto for my wife and her hobbies
< 1585080478 913647 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :i think that's a good case for owning stuff
< 1585080488 461098 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :i still have too much and it's hard to find what i need when i need it, which is a problem
< 1585080503 684714 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :I own a lot of stuff. I used to have rented three places equipped with stuff...
< 1585080516 194115 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :well.. "owned"
< 1585080554 969500 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :good think my income could support my shenanigans due to poor mental health...
< 1585080558 131286 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :*thing
< 1585080652 952401 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :yeah also there are videos of people having like 3-4 clothes
< 1585080655 128689 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :I mean.. great
< 1585080661 421649 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :You wouldn't make it in my country
< 1585080669 155266 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :and lucky you you have an office job
< 1585080725 638253 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :If you live in a place where you don't need winter/summer clothes then fuck yeah I could go by with two pair of jeans, two t-shirts and stuff.
< 1585081386 327580 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Quit: Leaving
< 1585081641 646732 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :Love of money is the root of all evil.
< 1585082084 740342 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :well.. practically speaking there are things that force you to spend more money than necessary
< 1585082096 518942 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :you could buy some land for 10k build a house for 20k and you'd be set at 30k
< 1585082105 379319 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :which is about 3 years worth of rent otherwise
< 1585082119 231429 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :like 2years if you don't have a cheap appartment
< 1585082145 517585 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :the reason why you can't do that is because a.) you'd be stationary then b.) very few people sell <200m^2 pieces of land
< 1585082182 977324 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :people buying land buy large pieces so sellers have no incentive to actually divide their land into smaller parcels to sell
< 1585082225 354203 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :so that's one thing that forces you to pay more money than necessary. If you think about it 1.2k per month for an appartment is way too much
< 1585082235 881448 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :I wonder why rents are so expensive.
< 1585082249 148546 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :because they rent these since the 1965
< 1585082283 811723 :mroman!52c5a0eb@82-197-160-235.init7.net PRIVMSG #esoteric :so that appartment would have had to cost about 800k
< 1585082698 232859 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :hi
< 1585083162 285914 :rain1!~debian@unaffiliated/rain1 QUIT :Quit: Lost terminal
< 1585083626 551602 :FreeFull!~freefull@defocus/sausage-lover QUIT :Read error: Connection reset by peer
< 1585084381 192295 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
< 1585084587 307460 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 260 seconds
< 1585084592 490460 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life
< 1585084756 755300 :GlorygirlBi!1b36b97c@gateway/web/cgi-irc/kiwiirc.com/ip.27.54.185.124 JOIN :#esoteric
< 1585084774 277076 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric
< 1585084999 913172 :GlorygirlBi!1b36b97c@gateway/web/cgi-irc/kiwiirc.com/ip.27.54.185.124 QUIT :Client Quit
< 1585085608 756757 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 256 seconds
< 1585087221 480519 :mroman!52c5a0eb@82-197-160-235.init7.net QUIT :Remote host closed the connection
< 1585087539 328126 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :One feature of Pokemon Card GB2 that I don't like is that if you play Energy Search and you have any energy cards in your draw pile you are required to take one. (I don't know what would be the proper rule for this, but if it is like Magic: the Gathering, you would not be required to take one, although you would still be required in the case of Computer Search.)
< 1585087874 382801 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 240 seconds
< 1585088389 272736 :b_jonas!~x@catv-176-63-11-159.catv.broadband.hu PRIVMSG #esoteric :zzo38: M:tG's is the good rule. the rationale is that it would be inconvenient to prove to the opponent that you have no card matching the criteria in your deck, since for that, the opponent or a judge would have to look at every card in your deck (at least the first time that happens)
< 1585088418 685516 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :Yes, I agree. I don't know if Pokemon card is using a different rule, though.
< 1585088617 376905 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :Also, level 32 Marowak's "Wail" attack can't be used if both benches are full (even though, if only one bench is full, both player's cards are still shuffled anyways).
< 1585090904 824985 :imode!~linear@unaffiliated/imode JOIN :#esoteric
< 1585092782 821859 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 246 seconds
< 1585093164 595904 :LKoen!~LKoen@81.255.219.130 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.”
< 1585093583 696208 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Ping timeout: 240 seconds
< 1585094477 757445 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric
< 1585096549 605513 :FreeFull!~freefull@defocus/sausage-lover QUIT :Quit: rebooting
< 1585096603 766378 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric
< 1585096964 754847 :arseniiv!~arseniiv@94.41.12.56.dynamic.ufanet.ru QUIT :Ping timeout: 256 seconds
< 1585101400 275777 :imode!~linear@unaffiliated/imode JOIN :#esoteric
< 1585105287 698299 :xkapastel!uid17782@gateway/web/irccloud.com/x-cffaasonwotofqls QUIT :Quit: Connection closed for inactivity
< 1585105384 330758 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
< 1585105854 276116 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 240 seconds
< 1585114437 867084 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Read error: Connection reset by peer
< 1585114557 836954 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
< 1585115869 130602 :FreeFull!~freefull@defocus/sausage-lover QUIT :
< 1585117214 117391 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :Apparently some old mahjong sets include eight "kings", of east, south, west, north, heaven, earth, man, and peace. Do you have any guess what their meaning is?
< 1585117268 704391 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I hope they got eaten by the dragons.
< 1585119294 280994 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 240 seconds
< 1585123659 763092 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr JOIN :#esoteric
< 1585125074 265769 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr QUIT :Remote host closed the connection
< 1585125501 299637 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric
< 1585127152 244585 :LKoen!~LKoen@81.255.219.130 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.”
< 1585127658 238416 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
< 1585127681 411416 :rain1!~debian@unaffiliated/rain1 JOIN :#esoteric
< 1585127749 832390 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 264 seconds
< 1585127750 94940 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life
< 1585128513 773492 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
< 1585130354 359259 :cpressey!~cpressey@88.144.68.129 JOIN :#esoteric
< 1585130364 323504 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric
< 1585130485 174902 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :i wish elliot was around tstill thaey were cool to talk to
< 1585132158 900655 :diverger!~div@213.183.54.183 QUIT :Ping timeout: 256 seconds
< 1585132276 777825 :diverger!~div@87.239.248.86 JOIN :#esoteric
< 1585132621 48998 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net JOIN :#esoteric
< 1585133201 150147 :xkapastel!uid17782@gateway/web/irccloud.com/x-bjojdrbqvhptlhiq JOIN :#esoteric
< 1585133249 828973 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 246 seconds
< 1585133267 855601 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric
< 1585133552 775950 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 256 seconds
< 1585133592 859275 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric
< 1585133913 771874 :arseniiv!~arseniiv@94.41.12.56.dynamic.ufanet.ru JOIN :#esoteric
< 1585136247 275973 :wib_jonas!b03f0b9f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.11.159 JOIN :#esoteric
< 1585136302 168102 :Cale!~cale@2607:fea8:9960:35:a521:8ce5:ef12:6146 QUIT :Ping timeout: 260 seconds
< 1585137227 158292 :cpressey!~cpressey@88.144.68.129 QUIT :Quit: WeeChat 1.9.1
< 1585137496 203916 :PamelaAlexa!7c7afee1@gateway/web/cgi-irc/kiwiirc.com/ip.124.122.254.225 JOIN :#esoteric
< 1585137716 861248 :PamelaAlexa!7c7afee1@gateway/web/cgi-irc/kiwiirc.com/ip.124.122.254.225 QUIT :Client Quit
< 1585139740 868170 :diverger!~div@87.239.248.86 QUIT :Ping timeout: 256 seconds
< 1585140908 783502 :diverger!~div@195.47.194.35 JOIN :#esoteric
< 1585142018 167683 :Cale!~cale@2607:fea8:9960:35:9198:1e9f:6bdf:971f JOIN :#esoteric
< 1585142392 788812 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 256 seconds
< 1585142513 411903 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric
< 1585143534 286020 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 240 seconds
< 1585143596 322913 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric
> 1585145398 332780 PRIVMSG #esoteric :14[[07HGFTSNOA14]]4 M10 02https://esolangs.org/w/index.php?diff=70467&oldid=70466 5* 03PythonshellDebugwindow 5* (+32) 10/* String indexing */
> 1585145428 75011 PRIVMSG #esoteric :14[[07HGFTSNOA14]]4 M10 02https://esolangs.org/w/index.php?diff=70468&oldid=70467 5* 03PythonshellDebugwindow 5* (+14) 10/* String indexing */
< 1585146064 777197 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 256 seconds
< 1585147610 677079 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric
< 1585148126 203931 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric
< 1585148132 818098 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :https://pastebin.com/raw/5vBxr8AS
< 1585148134 815693 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :majestatic, ain't it?
> 1585148507 368877 PRIVMSG #esoteric :14[[07HGFTSNOA14]]4 M10 02https://esolangs.org/w/index.php?diff=70469&oldid=70468 5* 03PythonshellDebugwindow 5* (+221) 10/* Output all characters of variable t (string) separately */
< 1585148811 311824 :arseniiv!~arseniiv@94.41.12.56.dynamic.ufanet.ru PRIVMSG #esoteric :kspalaiologos: what does this lovely pentagram do?
< 1585148825 339588 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :urldecode
< 1585148832 31653 :arseniiv!~arseniiv@94.41.12.56.dynamic.ufanet.ru PRIVMSG #esoteric :oh!
< 1585148888 782577 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :I think one could shape programs in Malbolge into such
< 1585148908 608741 :arseniiv!~arseniiv@94.41.12.56.dynamic.ufanet.ru PRIVMSG #esoteric :I suspected urldecode (or at least urlencode) should be connected with something demonic but now I know
> 1585149306 249441 PRIVMSG #esoteric :14[[07HGFTSNOA14]]4 M10 02https://esolangs.org/w/index.php?diff=70470&oldid=70469 5* 03PythonshellDebugwindow 5* (+144) 10/* Operators */
< 1585152843 674878 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds
< 1585153709 326627 :atehwa!atehwa@aulis.sange.fi JOIN :#esoteric
< 1585154379 317008 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric
< 1585154477 660260 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net QUIT :Quit: leaving
< 1585154819 765715 :ddmm_!atrapmatri@gateway/shell/matrix.org/x-rojfynuijpngpoib QUIT :Ping timeout: 256 seconds
< 1585155058 280996 :grumble!~grumble@freenode/staff/grumble QUIT :Quit: even though the storm calmed down, the bitter end is just a matter of time
< 1585155193 416514 :grumble!~grumble@freenode/staff/grumble JOIN :#esoteric
< 1585155934 56752 :ddmm_!atrapmatri@gateway/shell/matrix.org/x-zknpecynbclwrbtu JOIN :#esoteric
< 1585156303 672894 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds
< 1585156941 490211 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric
< 1585157124 596476 :wib_jonas!b03f0b9f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.11.159 QUIT :Remote host closed the connection
> 1585158559 11564 PRIVMSG #esoteric :14[[07HGFTSNOA14]]4 M10 02https://esolangs.org/w/index.php?diff=70471&oldid=70470 5* 03PythonshellDebugwindow 5* (+68) 10/* Datatypes */
> 1585158573 684174 PRIVMSG #esoteric :14[[07HGFTSNOA14]]4 M10 02https://esolangs.org/w/index.php?diff=70472&oldid=70471 5* 03PythonshellDebugwindow 5* (+13) 10/* Datatypes */
< 1585158901 634011 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Quit: Leaving
< 1585160474 165202 :imode!~linear@unaffiliated/imode JOIN :#esoteric
< 1585161143 682634 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds
< 1585162292 824578 :Melvar!~melvar@dslb-178-005-215-076.178.005.pools.vodafone-ip.de QUIT :Ping timeout: 246 seconds
< 1585163087 855635 :Melvar!~melvar@dslb-178-005-215-076.178.005.pools.vodafone-ip.de JOIN :#esoteric
< 1585163532 164625 :Cale!~cale@2607:fea8:9960:35:9198:1e9f:6bdf:971f QUIT :Ping timeout: 260 seconds
< 1585163675 457808 :Cale!~cale@2607:fea8:9960:35:74c2:6b53:70bf:ded4 JOIN :#esoteric
< 1585164389 674512 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric
< 1585164594 863388 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Remote host closed the connection
< 1585164735 681004 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric
< 1585164893 186845 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Client Quit
< 1585168606 786060 :Melvar!~melvar@dslb-178-005-215-076.178.005.pools.vodafone-ip.de QUIT :Ping timeout: 256 seconds
< 1585168629 278775 :Melvar!~melvar@dslb-178-005-215-076.178.005.pools.vodafone-ip.de JOIN :#esoteric
< 1585169218 13404 :probablymoony!moony@hellomouse/dev/moony JOIN :#esoteric
< 1585169228 760577 :NicoleMejia!ab0dcb53@gateway/web/cgi-irc/kiwiirc.com/ip.171.13.203.83 JOIN :#esoteric
< 1585169254 328984 :moony!moony@hellomouse/dev/moony QUIT :Ping timeout: 240 seconds
< 1585169448 590679 :NicoleMejia!ab0dcb53@gateway/web/cgi-irc/kiwiirc.com/ip.171.13.203.83 QUIT :Client Quit
< 1585170388 569140 :xkapastel!uid17782@gateway/web/irccloud.com/x-bjojdrbqvhptlhiq QUIT :Quit: Connection closed for inactivity
< 1585170872 173352 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
< 1585171025 235224 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 250 seconds
< 1585171041 68850 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life
< 1585171202 546901 :rain1!~debian@unaffiliated/rain1 QUIT :Quit: Lost terminal
< 1585172358 89921 :arseniiv!~arseniiv@94.41.12.56.dynamic.ufanet.ru PRIVMSG #esoteric :someone tried programming in F* ?
< 1585175097 674973 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :F*?
< 1585175258 425425 :probablymoony!moony@hellomouse/dev/moony NICK :moony
< 1585175447 202543 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Relevant enough for Wikipedia? https://en.wikipedia.org/wiki/F*_(programming_language)
< 1585176503 965391 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Why wouldn't it be?
< 1585176845 678969 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :huh.
< 1585176896 231529 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :all we need now is F$, F%, F^, F&, F@, F!, F`, F~, F-, F_, F+, F=..
< 1585177266 209032 :int-e!~noone@int-e.eu PRIVMSG #esoteric :spruit11: Wikipedia has notability criteria. So there's always room for doubt.
> 1585180037 73831 PRIVMSG #esoteric :14[[07LogicF---14]]4 M10 02https://esolangs.org/w/index.php?diff=70473&oldid=69561 5* 03PythonshellDebugwindow 5* (+24) 10
> 1585180202 230284 PRIVMSG #esoteric :14[[07Function x(y)14]]4 M10 02https://esolangs.org/w/index.php?diff=70474&oldid=70285 5* 03PythonshellDebugwindow 5* (+11) 10I was linking to C
> 1585180238 953768 PRIVMSG #esoteric :14[[07Function x(y)14]]4 M10 02https://esolangs.org/w/index.php?diff=70475&oldid=70474 5* 03PythonshellDebugwindow 5* (+23) 10/* Syntax */
< 1585181043 692984 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Ping timeout: 240 seconds
< 1585181334 703635 :LKoen!~LKoen@81.255.219.130 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.”
< 1585181367 747001 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric
< 1585182107 938124 :arseniiv!~arseniiv@94.41.12.56.dynamic.ufanet.ru PRIVMSG #esoteric :yeah
< 1585182372 759609 :arseniiv!~arseniiv@94.41.12.56.dynamic.ufanet.ru QUIT :Ping timeout: 256 seconds
< 1585182661 268510 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :This is so far the TeXnicard template code I use for Magic: the Gathering:  http://sprunge.us/8pXjAy  (It is not yet completed. Also, the template contains other files too. However, the card layout and graphics would be a different template, and you would use both templates together to render the cards. I can also later add import and export templates too.)
< 1585182949 625998 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :Although I think I did not consider how to figure out the color identity of meld cards properly.
< 1585183264 104597 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :What is the proper rules for determining color identity of meld cards?
< 1585184214 64444 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :I thought to make up a card for Pokemon card game:  You can rearrange the damage on your own cards however you want and may move any amount of damage from opponent's cards onto your own cards (even if that would cause some of your cards to be knocked out).
< 1585185987 823993 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric
< 1585187875 906347 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : yeah, i wonder how many "emergency powers" will be granted and never revoked <-- the norwegian parliament passed such a law last week, but it was severely curtailed compared to the government's proposal - the governement can make emergency decrees that work as laws, but only for one month, and only if parliament _cannot_ meet to pass a law normally.
< 1585187894 714140 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*-e
< 1585187910 6762 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(also it has to be COVID-19 related)
< 1585187930 223120 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and the courts can squash them if inappropriate.
< 1585187956 671951 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :this despite no one actually expecting the government to have dictatorial ambitions.
< 1585188038 335626 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(the goverment's proposal also had safeguards, but parliament wanted more)
< 1585188041 887633 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*+n
< 1585188591 168692 :b_jonas!~x@catv-176-63-11-159.catv.broadband.hu PRIVMSG #esoteric :oerjan: sadly the parliament cannot meet is a condition that's too trivial to satisfy when there are rules for banning gatherings
< 1585188721 896433 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :assuming the rules apply to parliament.
< 1585188740 877135 :b_jonas!~x@catv-176-63-11-159.catv.broadband.hu PRIVMSG #esoteric :gatherings are already banned in Hungary in a way that the parliament doesn't fall into the few exceptions that they allowed
< 1585188760 201244 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so they aren't meeting?
< 1585188769 823964 :b_jonas!~x@catv-176-63-11-159.catv.broadband.hu PRIVMSG #esoteric :they are meeting, they don't care about their own rules
< 1585188777 335152 :b_jonas!~x@catv-176-63-11-159.catv.broadband.hu PRIVMSG #esoteric :the parliament never does
< 1585188948 804034 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i suspect mroman's comment applies  maybe but I mean... law and politics are always... "soft". It's never "formal".
< 1585189049 692682 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or put differently, it's not applied to that case because no one thinks it applies, except logic-obsessed nerds.
< 1585189145 479187 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although this does have the danger that it can take only a few shifts in viewpoint (overton window?) before people start thinking it _does_ apply.
< 1585189184 273771 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and hungary has a reputation of going in that direction.
< 1585190575 379453 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :I just installed Turbo Pascal. It is true that CTRL-F9 runs a program, but you can also push ALT-R R to run a program. It also uses CTRL-F1 for the help of the word at the cursor, but that key combination can be customized in Turbo Pascal, so I changed it to SHIFT-F1.
< 1585191375 223241 :MDude!~MDude@97-127-171-136.cdrr.qwest.net QUIT :Quit: Going offline, see ya! (www.adiirc.com)
< 1585191793 777157 :b_jonas!~x@catv-176-63-11-159.catv.broadband.hu QUIT :Ping timeout: 264 seconds
< 1585192390 765536 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
< 1585192981 773044 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 264 seconds
< 1585193366 921208 :fungot!~fungot@unaffiliated/fizzie/bot/fungot QUIT :Ping timeout: 246 seconds
< 1585195038 223153 :shikhout!~shikhin@nat-tvwna-outside-visitornet2-66-180-180-54.princeton.org JOIN :#esoteric
< 1585195959 218904 :shikhout!~shikhin@nat-tvwna-outside-visitornet2-66-180-180-54.princeton.org QUIT :Changing host
< 1585195959 268144 :shikhout!~shikhin@unaffiliated/shikhin JOIN :#esoteric
< 1585196357 909941 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Quit: Quittin'.
< 1585196384 286690 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric
< 1585198073 337591 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving
< 1585199578 97893 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :One thing I want to add into TeXnicard is to be able to distribute change sets of card databases as netnews articles, in a way which is clearly readable and also can be imported by TeXnicard to merge changes into the card database, including warnings of incompatible changes. What way do you think is good to do this?
< 1585201860 800782 :diverger!~div@195.47.194.35 QUIT :Max SendQ exceeded
< 1585202100 790948 :diverger!~div@195.47.194.35 JOIN :#esoteric
< 1585203014 861276 :olsner!~salparot@c80-217-180-83.bredband.comhem.se QUIT :Ping timeout: 256 seconds
< 1585203393 271184 :olsner!~salparot@c80-217-180-83.bredband.comhem.se JOIN :#esoteric
> 1585204596 358868 PRIVMSG #esoteric :14[[07User:Zzo38/Untitled 314]]4 10 02https://esolangs.org/w/index.php?diff=70476&oldid=66284 5* 03Zzo38 5* (+18) 10
> 1585204752 168537 PRIVMSG #esoteric :14[[07User:Zzo38/Untitled 314]]4 10 02https://esolangs.org/w/index.php?diff=70477&oldid=70476 5* 03Zzo38 5* (+158) 10Describe outputs working.
< 1585206030 168428 :shikhout!~shikhin@unaffiliated/shikhin QUIT :Quit: leaving
< 1585209984 909203 :Soni!~quassel@unaffiliated/soniex2 QUIT :*.net *.split
< 1585209985 106185 :tromp!~tromp@2a02:a210:ca3:2800:712a:1267:4842:7e7f QUIT :*.net *.split
< 1585209985 318456 :dnm!sid401311@gateway/web/irccloud.com/x-foxmuzunhkxiyiwa QUIT :*.net *.split
< 1585209985 921663 :glowcoil!sid3405@gateway/web/irccloud.com/x-ksqrjmxlputagaic QUIT :*.net *.split
< 1585209985 921713 :pikhq!sid394595@gateway/web/irccloud.com/x-mwkmavgkkyzdqtyo QUIT :*.net *.split
< 1585209986 36460 :mich181189!sid268336@gateway/web/irccloud.com/x-ihfgacdzhmmsmprh QUIT :*.net *.split
< 1585209986 828551 :rodgort!~rodgort@static.38.6.217.95.clients.your-server.de QUIT :*.net *.split
< 1585209987 73080 :j-bot!eldis4@firefly.nu QUIT :*.net *.split
< 1585210008 945506 :Soni!~quassel@unaffiliated/soniex2 JOIN :#esoteric
< 1585210016 599432 :pikhq!sid394595@gateway/web/irccloud.com/x-ltrwyqwpxvidnwve JOIN :#esoteric
< 1585210016 637274 :dnm!sid401311@gateway/web/irccloud.com/x-odwmtvbrqkwggtkh JOIN :#esoteric
< 1585210018 588458 :mich181189!sid268336@gateway/web/irccloud.com/x-rsqpnaqgnnjhxsee JOIN :#esoteric
< 1585210019 832660 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 JOIN :#esoteric
< 1585210021 66557 :glowcoil!sid3405@gateway/web/irccloud.com/x-ljsrjcnfjtfrpofz JOIN :#esoteric
< 1585210030 793224 :rodgort!~rodgort@static.38.6.217.95.clients.your-server.de JOIN :#esoteric
< 1585211299 799967 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr JOIN :#esoteric
< 1585212103 53826 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 265 seconds
< 1585213051 288175 :erdic!~erdic@unaffiliated/motley QUIT :Ping timeout: 260 seconds
> 1585213529 444805 PRIVMSG #esoteric :14[[07SdofgOS Deleter14]]4 N10 02https://esolangs.org/w/index.php?oldid=70478 5* 03LyricLy 5* (+944) 10Created page with "'''SdofgOS Deleter''' is an esoteric programming language inspired by nothing created by [[User:LyricLy]] in 2020.  ==Concepts==  SdofgOS Deleter has only one concept: deletin..."
> 1585213569 759422 PRIVMSG #esoteric :14[[07SdofgOS Deleter14]]4 10 02https://esolangs.org/w/index.php?diff=70479&oldid=70478 5* 03LyricLy 5* (+47) 10
< 1585214076 346872 :cpressey!~cpressey@88.144.68.35 JOIN :#esoteric
< 1585214119 193791 :erdic!~erdic@unaffiliated/motley JOIN :#esoteric
< 1585214147 410957 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
< 1585214196 789755 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 256 seconds
< 1585214227 146442 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life
< 1585214532 813435 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr QUIT :Remote host closed the connection
< 1585214577 755385 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
< 1585214867 81455 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric
< 1585216443 466635 :b_jonas!~x@catv-176-63-11-200.catv.broadband.hu JOIN :#esoteric
< 1585218056 631677 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection
< 1585220661 247550 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Read error: Connection reset by peer
< 1585220863 692864 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric
< 1585221642 759149 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 256 seconds
< 1585222100 219225 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric
> 1585224913 360998 PRIVMSG #esoteric :14[[07SdofgOS Deleter14]]4 10 02https://esolangs.org/w/index.php?diff=70480&oldid=70479 5* 03A 5* (+4) 10
> 1585224985 950817 PRIVMSG #esoteric :14[[07SdofgOS Deleter14]]4 10 02https://esolangs.org/w/index.php?diff=70481&oldid=70480 5* 03A 5* (+4) 10
> 1585225210 372521 PRIVMSG #esoteric :14[[07Talk:SdofgOS Deleter14]]4 N10 02https://esolangs.org/w/index.php?oldid=70482 5* 03D 5* (+229) 10Created page with "== A few questions == After the folder is deleted, if you re-create the folder, would the files re-exist? What is the name of the deleted folder in SdofgOS Deleter? --~~~~"
< 1585226574 276742 :cpressey!~cpressey@88.144.68.35 QUIT :Ping timeout: 240 seconds
< 1585226628 753706 :cpressey!~cpressey@88.144.68.35 JOIN :#esoteric
< 1585226755 902587 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net JOIN :#esoteric
> 1585227739 888645 PRIVMSG #esoteric :14[[07Talk:Qwote14]]4 10 02https://esolangs.org/w/index.php?diff=70483&oldid=70462 5* 03A 5* (+807) 10
> 1585227865 225644 PRIVMSG #esoteric :14[[07Talk:Qwote14]]4 10 02https://esolangs.org/w/index.php?diff=70484&oldid=70483 5* 03A 5* (+0) 10Improved look.
> 1585227930 292782 PRIVMSG #esoteric :14[[07Talk:Qwote14]]4 10 02https://esolangs.org/w/index.php?diff=70485&oldid=70484 5* 03A 5* (+8) 10/* Interpreter in Io */
< 1585228003 856321 :Frater_EST!~adrianbib@172.242.0.73 JOIN :#esoteric
> 1585228142 724220 PRIVMSG #esoteric :14[[07Talk:Qwote14]]4 10 02https://esolangs.org/w/index.php?diff=70486&oldid=70485 5* 03A 5* (+148) 10
< 1585228380 452341 :Frater_EST!~adrianbib@172.242.0.73 PART :#esoteric
< 1585228382 40726 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net QUIT :Quit: leaving
< 1585228459 277501 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 250 seconds
< 1585228873 277987 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric
< 1585229312 301367 :rain1!~debian@unaffiliated/rain1 JOIN :#esoteric
< 1585229767 284615 :xkapastel!uid17782@gateway/web/irccloud.com/x-nghqhmmqthihmnfk JOIN :#esoteric
> 1585230729 257859 PRIVMSG #esoteric :14[[07Alphaprint14]]4 M10 02https://esolangs.org/w/index.php?diff=70487&oldid=70426 5* 03PythonshellDebugwindow 5* (+30) 10/* Structure */ lmnop wouldn be invalid as it doens't statt with a
< 1585231150 763032 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru JOIN :#esoteric
> 1585231544 726709 PRIVMSG #esoteric :14[[07Alphaprint14]]4 M10 02https://esolangs.org/w/index.php?diff=70488&oldid=70487 5* 03PythonshellDebugwindow 5* (+1716) 10/* Hello, World! */ Hello World
> 1585231596 544294 PRIVMSG #esoteric :14[[07Alphaprint14]]4 M10 02https://esolangs.org/w/index.php?diff=70489&oldid=70488 5* 03PythonshellDebugwindow 5* (+1) 10
< 1585232815 776854 :arseniiv_!~arseniiv@94.41.34.174.dynamic.ufanet.ru JOIN :#esoteric
< 1585232944 394140 :nchamber-!uplime@learnprogramming/staff/nchambers JOIN :#esoteric
< 1585232954 937454 :nchambers!uplime@learnprogramming/staff/nchambers QUIT :Ping timeout: 240 seconds
< 1585232954 944136 :lambdabot!~lambdabot@haskell/bot/lambdabot QUIT :Ping timeout: 240 seconds
< 1585232977 794043 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru QUIT :Ping timeout: 264 seconds
< 1585232977 896014 :diverger!~div@195.47.194.35 QUIT :Ping timeout: 264 seconds
< 1585233008 802922 :diverger!~div@195.47.194.35 JOIN :#esoteric
< 1585233219 746179 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN :#esoteric
< 1585236278 2125 :cpressey!~cpressey@88.144.68.35 PRIVMSG #esoteric :fwiw I've now got an Emmental interpreter running on a web page: https://catseye.tc/installation/Emmental
< 1585238351 614438 :MDude!~MDude@97-127-171-136.cdrr.qwest.net JOIN :#esoteric
< 1585240169 761008 :imode!~linear@unaffiliated/imode JOIN :#esoteric
< 1585242254 741268 :cpressey!~cpressey@88.144.68.35 QUIT :Quit: A la prochaine.
< 1585245930 777211 :MDead!~MDude@97-127-171-136.cdrr.qwest.net JOIN :#esoteric
< 1585246004 65301 :MDude!~MDude@97-127-171-136.cdrr.qwest.net QUIT :Ping timeout: 265 seconds
< 1585246006 454940 :MDead!~MDude@97-127-171-136.cdrr.qwest.net NICK :MDude
< 1585246043 761888 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
< 1585246678 285866 :arseniiv_!~arseniiv@94.41.34.174.dynamic.ufanet.ru PRIVMSG #esoteric :damn Haskell why is using you from windows with an IDE is so hard
< 1585246682 520649 :arseniiv_!~arseniiv@94.41.34.174.dynamic.ufanet.ru NICK :arseniiv
< 1585246762 529252 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru PRIVMSG #esoteric :I just drop my hands
< 1585246791 165759 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :wash them
< 1585246808 983677 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru PRIVMSG #esoteric :yeah I’ll wash them too when I’ll pick them up :D
< 1585246830 885448 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru PRIVMSG #esoteric :that’s just too depressing
< 1585247125 319734 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru PRIVMSG #esoteric :I thought I’ll finally set up something with VS Code and then these strange errors I can’t hope to fix with versions of this and that not matching, and then in the other place they say this package ceased developing (ah, so that’s why the errors?..) and the extension relying on it will cease working after some time, and in the other place still, with another approach, they boldly say don’t windows it, there are packages which wo
< 1585247125 432998 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru PRIVMSG #esoteric :uld bite you. Scrap all that. I’ll go on writing small one-file pieces once in a blue moon without any type hints, autocomplete and scrolling the ton of error messages in GHCi each reload
< 1585247128 612462 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru PRIVMSG #esoteric ::(
< 1585247156 810859 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru PRIVMSG #esoteric :why just why
< 1585247221 338860 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru PRIVMSG #esoteric :I could run a virtual linux of course but would it be comfortable and efficient, hm
< 1585247642 704664 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :https://www.youtube.com/watch?v=egzZv8tqT_k I like this series
< 1585247646 321852 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :is this esoteric
< 1585249661 900130 :Frater_EST!~adrianbib@172.242.0.73 JOIN :#esoteric
< 1585251198 355 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Quit: Leaving
< 1585253322 440005 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru PRIVMSG #esoteric :monads are like nomads but with n and m swapped
< 1585253414 567210 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru PRIVMSG #esoteric :rain1: interesting!
< 1585253820 421233 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru PRIVMSG #esoteric :oh the Moon is very big for a typical moon, so a moon 1,5 times more massive is even more unlikely but well I agree most times it’s not a likely case that is interesting
< 1585254391 908178 :rain1!~debian@unaffiliated/rain1 QUIT :Quit: leaving
< 1585254557 415946 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru PRIVMSG #esoteric :@tell rain1 my friend thanks you for the series link, or so I think
< 1585254557 640233 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted.
< 1585255320 389370 :Frater_EST!~adrianbib@172.242.0.73 PART :#esoteric
< 1585256085 761676 :Anabella!b6222163@gateway/web/cgi-irc/kiwiirc.com/ip.182.34.33.99 JOIN :#esoteric
< 1585256240 367869 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru PRIVMSG #esoteric :if one writes `a −es→ b` for `a → Eff es b` and `a −cs→ b` for `Coe cs a → b`, `Eff es` is a monad for any `es` and `Coe cs` is a comonad for any `cs`, one can then rewrite `Eff es′ a → Eff es b` as `(() −es′→ a) −es→ b` but how can one rewrite `Coe cs′ a → Coe cs b`?
< 1585256341 671324 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru PRIVMSG #esoteric :I obviously write `a −cs′→ Coe cs b` and then I’m stuck
< 1585256373 160321 :Anabella!b6222163@gateway/web/cgi-irc/kiwiirc.com/ip.182.34.33.99 QUIT :Client Quit
< 1585256479 910011 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru PRIVMSG #esoteric :hm should I use CPS… `(Coe cs b → x) → (Coe cs′ a → x)` and then that’ll be `(b −cs→ x) → (a −cs′→ x)`, hm but should it really be backwards like that
< 1585256551 85658 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru PRIVMSG #esoteric :this all is about arrowifying (co)effectful computations to get rid of non-latent (co)effects, as in a concatenative language there are no values
< 1585257348 747993 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru PRIVMSG #esoteric :ah I think I understand the larger picture
< 1585257399 806178 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
< 1585257494 447948 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 240 seconds
< 1585257494 715293 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life
< 1585260075 280629 :spruit11!~unknown@ip56522cc1.speed.planet.nl QUIT :Ping timeout: 250 seconds
< 1585260175 73494 :spruit11!~unknown@ip56522cc1.speed.planet.nl JOIN :#esoteric
< 1585262173 770092 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 264 seconds
< 1585263949 808428 :xkapastel!uid17782@gateway/web/irccloud.com/x-nghqhmmqthihmnfk QUIT :Quit: Connection closed for inactivity
< 1585265308 40754 :LKoen!~LKoen@81.255.219.130 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.”
> 1585266757 537108 PRIVMSG #esoteric :14[[07Hello world program in esoteric languages14]]4 M10 02https://esolangs.org/w/index.php?diff=70490&oldid=70421 5* 03PythonshellDebugwindow 5* (+1592) 10/* Alphaprint */
< 1585267983 698135 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Ping timeout: 240 seconds
< 1585268953 129402 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric
< 1585270381 769709 :shinh_!~i@129.EC0234U.cyberhome.ne.jp QUIT :Ping timeout: 264 seconds
< 1585270606 247306 :mniip_!mniip@freenode/staff/mniip JOIN :#esoteric
< 1585270973 222934 :mniip!mniip@freenode/staff/mniip QUIT :Ping timeout: 619 seconds
< 1585271098 49328 :shinh_!~i@129.EC0234U.cyberhome.ne.jp JOIN :#esoteric
< 1585271282 803072 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru QUIT :Ping timeout: 256 seconds
< 1585273932 288133 :Frater_EST!~adrianbib@172.242.0.73 JOIN :#esoteric
< 1585275067 791807 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric
< 1585278007 875406 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
< 1585278546 79971 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :So far I have managed to reduce the size of ZZT by more than 10K.
< 1585278566 698108 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :(This makes more memory available for game worlds.)
< 1585278664 778908 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 256 seconds
< 1585284142 28519 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Read error: Connection reset by peer
< 1585284161 383840 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric
< 1585285425 211269 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 250 seconds
< 1585285530 399846 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric
< 1585285834 289277 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 240 seconds
< 1585285888 56062 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric
< 1585287678 241152 :MDude!~MDude@97-127-171-136.cdrr.qwest.net QUIT :Quit: Going offline, see ya! (www.adiirc.com)
< 1585288183 720649 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Ping timeout: 240 seconds
< 1585288492 593890 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric
< 1585289005 276083 :moony!moony@hellomouse/dev/moony QUIT :Remote host closed the connection
< 1585289025 965232 :moony!moony@hellomouse/dev/moony JOIN :#esoteric
< 1585290541 769760 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 264 seconds
> 1585293093 567475 PRIVMSG #esoteric :14[[07User:Oklomsy14]]4 10 02https://esolangs.org/w/index.php?diff=70491&oldid=69235 5* 03Oklomsy 5* (-57) 10
< 1585293097 477380 :b_jonas!~x@catv-176-63-11-200.catv.broadband.hu PRIVMSG #esoteric :oh no
> 1585294345 158412 PRIVMSG #esoteric :14[[07SdofgOS14]]4 N10 02https://esolangs.org/w/index.php?oldid=70492 5* 03D 5* (+152) 10Created page with "[[SdofgOs]] contains [[SdofgOS Deleter]] as a component of the operating system. == See also == [[SdofgOS Deleter]] [[Category:2020]] [[Category:Stubs]]"
> 1585294388 869944 PRIVMSG #esoteric :14[[07SdofgOS14]]4 10 02https://esolangs.org/w/index.php?diff=70493&oldid=70492 5* 03A 5* (+0) 10
> 1585294497 157225 PRIVMSG #esoteric :14[[07Talk:Esoteric Operating System/File System14]]4 N10 02https://esolangs.org/w/index.php?oldid=70494 5* 03D 5* (+197) 10Created page with "* [[SdofgOS Deleter]] is a component of [[SdofgOS]], and it is capable of deleting folders without deleting the files in the folder. --~~~~"
> 1585294822 66851 PRIVMSG #esoteric :14[[07SdofgOS14]]4 10 02https://esolangs.org/w/index.php?diff=70495&oldid=70493 5* 03D 5* (+368) 10
> 1585294830 842926 PRIVMSG #esoteric :14[[07SdofgOS14]]4 10 02https://esolangs.org/w/index.php?diff=70496&oldid=70495 5* 03D 5* (+2) 10/* = Deleting a folder */
< 1585294869 901391 :Frater_EST!~adrianbib@172.242.0.73 QUIT :Remote host closed the connection
> 1585294931 736165 PRIVMSG #esoteric :14[[07SdofgOS Deleter14]]4 10 02https://esolangs.org/w/index.php?diff=70497&oldid=70481 5* 03D 5* (+22) 10
< 1585295433 93557 :rain1!~debian@unaffiliated/rain1 JOIN :#esoteric
< 1585295971 54292 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 265 seconds
< 1585296019 327660 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric
< 1585299392 63918 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric
< 1585300671 826771 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
< 1585300730 926496 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 256 seconds
< 1585300751 790487 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life
< 1585302544 203640 :laerlingSAP!~laerlings@unaffiliated/laerlingsap JOIN :#esoteric
< 1585304511 763272 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru JOIN :#esoteric
< 1585305257 426266 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`? password
< 1585305263 531182 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :The password of the month was fought for, and stomped on, but it remains unreconciled with
< 1585305320 869914 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`"
< 1585305324 210707 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :1/1:111)  ais523: elf corpses are not considered expensive health food. but the most expensive. \ 271)  I think she either likes me, is neutral towards me, or dislikes me
< 1585306884 319447 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net JOIN :#esoteric
< 1585307234 113062 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net PART :#esoteric
< 1585308998 531630 :MDude!~MDude@97-127-171-136.cdrr.qwest.net JOIN :#esoteric
< 1585309342 62922 :LKoen!~LKoen@81.255.219.130 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.”
< 1585312671 32069 :xkapastel!uid17782@gateway/web/irccloud.com/x-nmqqxeixfvfzgjga JOIN :#esoteric
< 1585314842 23206 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :hi
< 1585314863 943769 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :arseniiv: nice!
< 1585314909 802803 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru PRIVMSG #esoteric :int-e: april is near, I lay my hands off the password I swear
< 1585318518 875889 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Remote host closed the connection
< 1585318620 710546 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric
< 1585322556 681127 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric
< 1585325029 782038 :JessiWilde!2ff0551a@gateway/web/cgi-irc/kiwiirc.com/ip.47.240.85.26 JOIN :#esoteric
< 1585325034 354365 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 240 seconds
> 1585325125 995299 PRIVMSG #esoteric :14[[07Procedure14]]4 N10 02https://esolangs.org/w/index.php?oldid=70498 5* 03PythonshellDebugwindow 5* (+1086) 10Will finish later
< 1585325130 64727 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric
> 1585325141 774409 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow14]]4 M10 02https://esolangs.org/w/index.php?diff=70499&oldid=70444 5* 03PythonshellDebugwindow 5* (+16) 10/* Languages */
> 1585325167 246751 PRIVMSG #esoteric :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=70500&oldid=70410 5* 03PythonshellDebugwindow 5* (+16) 10/* P */
< 1585325245 873973 :JessiWilde!2ff0551a@gateway/web/cgi-irc/kiwiirc.com/ip.47.240.85.26 QUIT :Client Quit
< 1585326780 60531 :imode!~linear@unaffiliated/imode JOIN :#esoteric
< 1585331610 205035 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
< 1585332450 985611 :xkapastel!uid17782@gateway/web/irccloud.com/x-nmqqxeixfvfzgjga QUIT :Quit: Connection closed for inactivity
< 1585332857 618844 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :So, Agatha's being reminded of the waters of the Dyne in today's GG, right?
< 1585333884 299789 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net PRIVMSG #esoteric :"Every programming language has literals to encode values of certain types, and so does Pony."
< 1585333887 229149 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net PRIVMSG #esoteric :LIES
< 1585334982 233208 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net PRIVMSG #esoteric :Pony apparently uses one's complement for overflow. I'm confused as to why
< 1585335502 33547 :xkapastel!uid17782@gateway/web/irccloud.com/x-qetbiajlfjjufrsp JOIN :#esoteric
< 1585338077 431608 :rain1!~debian@unaffiliated/rain1 QUIT :Quit: leaving
< 1585338263 722942 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Ping timeout: 240 seconds
< 1585338283 138904 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric
< 1585338333 423467 :Hooloo42!Hooloovoo@sorunome.de JOIN :#esoteric
< 1585338340 214133 :Hooloovo0!Hooloovoo@sorunome.de QUIT :Ping timeout: 265 seconds
< 1585340641 887988 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Quit: Leaving
< 1585341854 125183 :int-e!~noone@int-e.eu PRIVMSG #esoteric :\w h a t i s.a(\l.i t(\e r.a l))
< 1585342051 724106 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :so... poy is basically rust?
< 1585342062 681142 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :pony
< 1585342424 962809 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru PRIVMSG #esoteric :@type \w h a t i s.a(\l.i t(\e r.a l))
< 1585342426 668778 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :error: parse error on input ‘.’
< 1585342446 985975 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru PRIVMSG #esoteric :@type \w h a t i s -> a(\l -> i t(\e r -> a l))
< 1585342448 675285 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :error:
< 1585342448 778322 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :    • Occurs check: cannot construct the infinite type: t ~ t -> t3
< 1585342448 778361 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :    • In the first argument of ‘a’, namely
< 1585342466 108897 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru PRIVMSG #esoteric :int-e: lambdabot caught you
< 1585342479 640354 :int-e!~noone@int-e.eu PRIVMSG #esoteric :arseniiv: at what? I knew it wasn't typeable.
< 1585342500 306446 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru PRIVMSG #esoteric :hm right wrom the start?
< 1585342505 681785 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru PRIVMSG #esoteric :from*
< 1585342577 824547 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I did have to think about it.
< 1585342644 360180 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But a(\l. [...] (a l)) is sufficient to rule out simple types
< 1585342697 50108 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(because then l must be a function from its own type to something)
< 1585342732 841357 :int-e!~noone@int-e.eu PRIVMSG #esoteric :but typeability is overrated
< 1585343816 426970 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
< 1585344001 821528 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 264 seconds
< 1585344004 527726 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life
< 1585344207 60335 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru PRIVMSG #esoteric : but typeability is overrated => I agree typeability in a single-typed lambda calculus is overrated but I’m not sure about very complex type systems :D
< 1585344239 416216 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru QUIT :Quit: gone too far
< 1585344251 886144 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( But single-typed = untyped )
< 1585344695 48649 :Hooloo42!Hooloovoo@sorunome.de QUIT :Quit: Temporarily refracted into a free-standing prism.
< 1585344743 422544 :Hooloovo0!Hooloovoo@sorunome.de JOIN :#esoteric
< 1585345483 8634 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :Do you know the format of the Turbo Pascal help file?
< 1585345859 219454 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( ask me 30 years ago )
< 1585345867 394770 :int-e!~noone@int-e.eu PRIVMSG #esoteric :err
< 1585345870 448177 :int-e!~noone@int-e.eu PRIVMSG #esoteric :20 years, sorry
< 1585346017 867733 :int-e!~noone@int-e.eu PRIVMSG #esoteric :There's a precursor text format, and a "help compiler", hc, possibly shipped with turbo pascal. I think the text format was documented somewhere as well.
< 1585346133 180660 :rodgort!~rodgort@static.38.6.217.95.clients.your-server.de QUIT :Quit: Leaving
< 1585346213 798353 :int-e!~noone@int-e.eu PRIVMSG #esoteric :So I guess I never looked at the format in any detail; I do remember making and using some custom help files (because the `thelp` TSR was pretty slick).
< 1585346370 69746 :rodgort!~rodgort@static.38.6.217.95.clients.your-server.de JOIN :#esoteric
< 1585346431 382347 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :I looked at THELP.DOC and it explains I can paste and save help screens, so it is possible to copy individual help screens that I want. I also found it comes with a few other plain text documentation files which may be helpful. (They weren't installed, but I found there is a DOC.ARC file so I loaded it and found these files.)
< 1585346721 50323 :rodgort!~rodgort@static.38.6.217.95.clients.your-server.de QUIT :Ping timeout: 265 seconds
< 1585346824 376253 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Some people have (almost) certainly figured out the format. http://pascal.toom.su/The+Edit+Window
< 1585347167 495678 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :Now I fixed ZZT so that the restore game menu displays the date/time of the files. Fortunately, it is Y2K compliant.
< 1585347222 85325 :rodgort!~rodgort@static.38.6.217.95.clients.your-server.de JOIN :#esoteric
< 1585347268 503358 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :Do you like ZZT?
< 1585347321 174604 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`quot hate
< 1585347322 927617 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :quot? No such file or directory
< 1585347323 599267 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`quote hate
< 1585347324 975239 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :68)  and an AMICED literal would presumably /add/ info to the source   whatever info gets added, that's the value that the AMICED doesn't contain   it's all falling into place \ 77)  (still, whatever possessed anyone to invent the N-Gage?) \ 228)  Lymia: I put big spider in my bed already. So if you have no more left you do not have to worry about it anymore. You can just take a cold shower or hot acid or wh
< 1585347448 935194 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`quote 1306
< 1585347449 848491 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :1306)  int-e: Do you like this?   It depends on the context. In the context of "Do you like _?", I hate it.
< 1585348722 622405 :imode!~linear@unaffiliated/imode QUIT :Quit: WeeChat 2.7.1
< 1585350593 48474 :imode!~linear@unaffiliated/imode JOIN :#esoteric
< 1585351059 18485 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer
> 1585352685 813176 PRIVMSG #esoteric :14[[07Procedure14]]4 M10 02https://esolangs.org/w/index.php?diff=70501&oldid=70498 5* 03PythonshellDebugwindow 5* (+107) 10
< 1585353183 681469 :mniip_!mniip@freenode/staff/mniip NICK :mniip
> 1585355778 100760 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow14]]4 M10 02https://esolangs.org/w/index.php?diff=70502&oldid=70499 5* 03PythonshellDebugwindow 5* (+14) 10/* Languages */
> 1585356647 474320 PRIVMSG #esoteric :14[[07Liberation14]]4 N10 02https://esolangs.org/w/index.php?oldid=70503 5* 03Hakerh400 5* (+4931) 10+[[Liberation]]
> 1585356651 415792 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=70504&oldid=70500 5* 03Hakerh400 5* (+17) 10+[[Liberation]]
> 1585356657 505409 PRIVMSG #esoteric :14[[07User:Hakerh40014]]4 10 02https://esolangs.org/w/index.php?diff=70505&oldid=70449 5* 03Hakerh400 5* (+17) 10+[[Liberation]]
< 1585360651 23359 :xkapastel!uid17782@gateway/web/irccloud.com/x-qetbiajlfjjufrsp QUIT :Quit: Connection closed for inactivity
< 1585361544 569683 :FreeFull!~freefull@defocus/sausage-lover QUIT :
> 1585363218 513599 PRIVMSG #esoteric :14[[07Trite14]]4 10 02https://esolangs.org/w/index.php?diff=70506&oldid=19294 5* 03YamTokTpaFa 5* (+42) 10
> 1585364097 215778 PRIVMSG #esoteric :14[[07Cood14]]4 10 02https://esolangs.org/w/index.php?diff=70507&oldid=44169 5* 03YamTokTpaFa 5* (+44) 10
< 1585364384 166264 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric
< 1585364529 762126 :LiraMercer!672ee9be@gateway/web/cgi-irc/kiwiirc.com/ip.103.46.233.190 JOIN :#esoteric
< 1585364707 272599 :LiraMercer!672ee9be@gateway/web/cgi-irc/kiwiirc.com/ip.103.46.233.190 QUIT :Client Quit
> 1585364935 489682 PRIVMSG #esoteric :14[[07Cood14]]4 M10 02https://esolangs.org/w/index.php?diff=70508&oldid=70507 5* 03YamTokTpaFa 5* (+3) 10/* External resources */
> 1585364954 484970 PRIVMSG #esoteric :14[[07Cood14]]4 M10 02https://esolangs.org/w/index.php?diff=70509&oldid=70508 5* 03YamTokTpaFa 5* (-1) 10/* External resources */ why typo
< 1585367656 279433 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :Someone else who also posted stuff to esolang wiki (specifically, Ben Russell) also submitted some patches to ZZT. I am putting some of them in my own version ("FreeZZT") too.
< 1585368214 801616 :MDude!~MDude@97-127-171-136.cdrr.qwest.net QUIT :Quit: Going offline, see ya! (www.adiirc.com)
< 1585373622 57469 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru JOIN :#esoteric
> 1585374226 295543 PRIVMSG #esoteric :14[[07Pure14]]4 N10 02https://esolangs.org/w/index.php?oldid=70510 5* 03D 5* (+85) 10Standardized version of Procedure
> 1585374647 841116 PRIVMSG #esoteric :14[[07Pure14]]4 10 02https://esolangs.org/w/index.php?diff=70511&oldid=70510 5* 03A 5* (+1196) 10
> 1585374765 316540 PRIVMSG #esoteric :14[[07Pure14]]4 10 02https://esolangs.org/w/index.php?diff=70512&oldid=70511 5* 03A 5* (+321) 10Comment syntax for backwards compatibility.
> 1585374803 250761 PRIVMSG #esoteric :14[[07Pure14]]4 10 02https://esolangs.org/w/index.php?diff=70513&oldid=70512 5* 03A 5* (+69) 10
> 1585374898 970257 PRIVMSG #esoteric :14[[07Pure14]]4 10 02https://esolangs.org/w/index.php?diff=70514&oldid=70513 5* 03A 5* (+243) 10
> 1585374960 337166 PRIVMSG #esoteric :14[[07Pure14]]4 10 02https://esolangs.org/w/index.php?diff=70515&oldid=70514 5* 03A 5* (+119) 10
> 1585375199 378710 PRIVMSG #esoteric :14[[07Pure14]]4 10 02https://esolangs.org/w/index.php?diff=70516&oldid=70515 5* 03A 5* (+1067) 10
> 1585375214 226699 PRIVMSG #esoteric :14[[07Pure14]]4 10 02https://esolangs.org/w/index.php?diff=70517&oldid=70516 5* 03A 5* (+0) 10/* = What does line of code stand for? - */
> 1585375351 176881 PRIVMSG #esoteric :14[[07Pure14]]4 10 02https://esolangs.org/w/index.php?diff=70518&oldid=70517 5* 03A 5* (+218) 10/* A line of Pure */
> 1585375507 56377 PRIVMSG #esoteric :14[[07Pure14]]4 10 02https://esolangs.org/w/index.php?diff=70519&oldid=70518 5* 03A 5* (+268) 10/* What does line of code stand for? */
> 1585375611 312109 PRIVMSG #esoteric :14[[07Pure14]]4 10 02https://esolangs.org/w/index.php?diff=70520&oldid=70519 5* 03A 5* (+189) 10
> 1585375831 639391 PRIVMSG #esoteric :14[[07Pure14]]4 10 02https://esolangs.org/w/index.php?diff=70521&oldid=70520 5* 03A 5* (+135) 10
> 1585377043 654215 PRIVMSG #esoteric :14[[07Pure14]]4 10 02https://esolangs.org/w/index.php?diff=70522&oldid=70521 5* 03A 5* (+725) 10
> 1585377319 859769 PRIVMSG #esoteric :14[[07Pure14]]4 10 02https://esolangs.org/w/index.php?diff=70523&oldid=70522 5* 03A 5* (-80) 10/* Truth-machine */
< 1585379166 47319 :AmyWilleron!94ff45c6@gateway/web/cgi-irc/kiwiirc.com/ip.148.255.69.198 JOIN :#esoteric
< 1585379348 693861 :AmyWilleron!94ff45c6@gateway/web/cgi-irc/kiwiirc.com/ip.148.255.69.198 QUIT :Client Quit
< 1585379362 976739 :rain1!~debian@unaffiliated/rain1 JOIN :#esoteric
< 1585383840 762748 :SweetSense!b75958db@gateway/web/cgi-irc/kiwiirc.com/ip.183.89.88.219 JOIN :#esoteric
< 1585384021 23739 :SweetSense!b75958db@gateway/web/cgi-irc/kiwiirc.com/ip.183.89.88.219 QUIT :Client Quit
< 1585386427 316988 :j-bot!eldis4@firefly.nu JOIN :#esoteric
< 1585387174 388136 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 240 seconds
< 1585387176 16732 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
< 1585387255 452113 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life
< 1585388231 203531 :RavenLyn!bbbe3109@gateway/web/cgi-irc/kiwiirc.com/ip.187.190.49.9 JOIN :#esoteric
< 1585388411 13412 :RavenLyn!bbbe3109@gateway/web/cgi-irc/kiwiirc.com/ip.187.190.49.9 QUIT :Client Quit
< 1585390105 199049 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 265 seconds
< 1585393878 854919 :rain1!~debian@unaffiliated/rain1 QUIT :Quit: Lost terminal
< 1585395089 368659 :arseniiv_!~arseniiv@94.41.34.174.dynamic.ufanet.ru JOIN :#esoteric
< 1585395089 441064 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru QUIT :Read error: Connection reset by peer
< 1585397279 872381 :arseniiv_!~arseniiv@94.41.34.174.dynamic.ufanet.ru QUIT :Quit: gone too far
< 1585398090 976350 :xkapastel!uid17782@gateway/web/irccloud.com/x-mhhifoiwmdjxybtt JOIN :#esoteric
< 1585398485 236237 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net JOIN :#esoteric
< 1585398823 61783 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 252 seconds
< 1585398860 301001 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric
> 1585403990 708822 PRIVMSG #esoteric :14[[07User talk:Ender scythe14]]4 N10 02https://esolangs.org/w/index.php?oldid=70524 5* 03YamTokTpaFa 5* (+412) 10Created page with "== May I learn more about [[TP]]? == Hello, since your website was archived but the interpreter was not, I would like to ask you.  First of all, TP has two commands GET..."
< 1585404194 382036 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca QUIT :Ping timeout: 240 seconds
< 1585405203 688709 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Ping timeout: 240 seconds
< 1585405661 213754 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric
< 1585406414 695380 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric
< 1585408495 965505 :punker!~punker@90.96.179.86 JOIN :#esoteric
< 1585410467 791954 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca JOIN :#esoteric
< 1585410674 43002 :xkapastel!uid17782@gateway/web/irccloud.com/x-mhhifoiwmdjxybtt QUIT :Quit: Connection closed for inactivity
< 1585410949 809719 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru JOIN :#esoteric
< 1585411237 495573 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net QUIT :Quit: leaving
< 1585412812 301479 :xkapastel!uid17782@gateway/web/irccloud.com/x-kbymcfvqdtrwfzgy JOIN :#esoteric
< 1585412872 937341 :rain1!~debian@unaffiliated/rain1 JOIN :#esoteric
< 1585413805 536297 :user24!~user24@2a02:810a:1440:7304:1941:c072:1a9c:b38 JOIN :#esoteric
< 1585414519 269728 :MDude!~MDude@97-127-171-136.cdrr.qwest.net JOIN :#esoteric
< 1585415371 760019 :imode!~linear@unaffiliated/imode JOIN :#esoteric
> 1585415474 928699 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03AdityaV 5*  10New user account
< 1585415495 362479 :BarbaraPalv!75c4ea47@gateway/web/cgi-irc/kiwiirc.com/ip.117.196.234.71 JOIN :#esoteric
< 1585415674 752644 :BarbaraPalv!75c4ea47@gateway/web/cgi-irc/kiwiirc.com/ip.117.196.234.71 QUIT :Client Quit
> 1585415775 170323 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=70525&oldid=70460 5* 03AdityaV 5* (+288) 10introduction
> 1585416317 906367 PRIVMSG #esoteric :14[[07User:AdityaV14]]4 N10 02https://esolangs.org/w/index.php?oldid=70526 5* 03AdityaV 5* (+165) 10Created page with "I am the creator of warukunai, my shabby attempt at a joke esoteric language, using python as an interpreter. [https://github.com/at-adityavikram/warukunai (Github)]"
< 1585417746 760395 :FridaAasen!7d7b4764@gateway/web/cgi-irc/kiwiirc.com/ip.125.123.71.100 JOIN :#esoteric
< 1585417919 892518 :FridaAasen!7d7b4764@gateway/web/cgi-irc/kiwiirc.com/ip.125.123.71.100 QUIT :Client Quit
< 1585418268 775186 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca QUIT :Ping timeout: 256 seconds
< 1585418307 579753 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca JOIN :#esoteric
> 1585425698 515931 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Yul3n 5*  10New user account
< 1585425871 995912 :rain1!~debian@unaffiliated/rain1 QUIT :Quit: leaving
> 1585425961 502 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=70527&oldid=70525 5* 03Yul3n 5* (+322) 10
< 1585426065 194216 :punker!~punker@90.96.179.86 QUIT :Ping timeout: 265 seconds
< 1585428080 670055 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Quit: Leaving
< 1585428654 205985 :user24!~user24@2a02:810a:1440:7304:1941:c072:1a9c:b38 QUIT :Quit: Leaving
< 1585429573 783113 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru QUIT :Ping timeout: 264 seconds
< 1585430322 419148 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
< 1585430450 3840 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 256 seconds
< 1585430450 335233 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life
< 1585430582 777564 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
< 1585431880 78477 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca QUIT :Disconnected by services
< 1585431885 197136 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca JOIN :#esoteric
< 1585433758 964835 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :Is a constant array of pointers to procedures allowed in the "interface" section of a file in Turbo Pascal 5.5?
< 1585434616 687040 :imode!~linear@unaffiliated/imode QUIT :Quit: WeeChat 2.7.1
< 1585434728 885112 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :It doesn't seem to work (unless I am doing it wrong). I can make it a variable instead if necessary, I suppose.
< 1585434813 796731 :imode!~linear@unaffiliated/imode JOIN :#esoteric
< 1585437674 104938 :xkapastel!uid17782@gateway/web/irccloud.com/x-kbymcfvqdtrwfzgy QUIT :Quit: Connection closed for inactivity
< 1585438566 796492 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 256 seconds
< 1585439369 960520 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :It looks like the "with" command in Turbo Pascal has the same problem as in JavaScript; in both Pascal and in JavaScript it should have been corrected by adding a dot before the field name.
< 1585441621 175573 :BWBellairs!~bwbellair@hellomouse/dev/bwbellairs QUIT :Quit: boxmein's znc went down :(
< 1585442255 50609 :JenSelter!7d7b4764@gateway/web/cgi-irc/kiwiirc.com/ip.125.123.71.100 JOIN :#esoteric
< 1585442434 275573 :JenSelter!7d7b4764@gateway/web/cgi-irc/kiwiirc.com/ip.125.123.71.100 QUIT :Client Quit
< 1585442727 334033 :BWBellairs!~bwbellair@hellomouse/dev/bwbellairs JOIN :#esoteric
< 1585442863 776237 :BWBellairs!~bwbellair@hellomouse/dev/bwbellairs QUIT :Client Quit
< 1585442941 458483 :BWBellairs!~bwbellair@hellomouse/dev/bwbellairs JOIN :#esoteric
< 1585442978 869729 :BWBellairs!~bwbellair@hellomouse/dev/bwbellairs QUIT :Client Quit
< 1585443132 116617 :BWBellairs!~bwbellair@hellomouse/dev/bwbellairs JOIN :#esoteric
< 1585444016 183812 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`? dst
< 1585444017 378381 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :dst? ¯\(°​_o)/¯
< 1585444024 598731 :b_jonas!~x@catv-176-63-11-200.catv.broadband.hu PRIVMSG #esoteric :yes, timezone offset change
< 1585444069 47041 :int-e!~noone@int-e.eu PRIVMSG #esoteric :it's summertime... and the living is easy?!
< 1585444188 533676 :b_jonas!~x@catv-176-63-11-200.catv.broadband.hu PRIVMSG #esoteric :aww
< 1585444276 762819 :b_jonas!~x@catv-176-63-11-200.catv.broadband.hu PRIVMSG #esoteric :the MTI had announced two days ago that the timezone offset change is on 20120 March 29. is that authoritive enough that I can point to it to claim that the timezone offset is still +01 so I have an excuse to be late from anywhere by up to an hour?
< 1585444290 195111 :b_jonas!~x@catv-176-63-11-200.catv.broadband.hu PRIVMSG #esoteric :or do their later announcements that give the correct date overwrite it?
< 1585444346 308957 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I think your use of "correct" answers that question.
< 1585444398 132014 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Though nobody's stopping you from living in whatever time zone you choose. Sure, people may call you crazy.
< 1585444401 713031 :b_jonas!~x@catv-176-63-11-200.catv.broadband.hu PRIVMSG #esoteric :oh yeah, let me adjust my mobile phone, the standalone clock, and the oven clock
< 1585444513 65625 :int-e!~noone@int-e.eu PRIVMSG #esoteric :right let me put my RC clocks by the window... well the one of the two that didn't pick up the change
< 1585444525 204781 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(I'm amazed the other one already did)
< 1585446308 833756 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :Just a few minutes ago the person who was going to make the live chat session to play the GURPS game on the computer (this will be done tomorrow) connected to test it, and it works fine. Since there are only two people (myself and the GM), I can use the direct connection I mentioned a few days (or maybe it was a week?) ago.
< 1585446332 157944 :sftp!~sftp@unaffiliated/sftp QUIT :Ping timeout: 260 seconds
< 1585446343 606007 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :He sent a bell like I asked him to, so I could notice the connection right away.
< 1585446451 790636 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :What stuff have you used the "ts" (timestamp) program for?
< 1585446588 605560 :sftp!~sftp@unaffiliated/sftp JOIN :#esoteric
< 1585447212 299835 :FreeFull!~freefull@defocus/sausage-lover QUIT :Quit: rebooting
< 1585447265 762296 :Phantom_Hoover!~phantomho@82.27.195.88 JOIN :#esoteric
< 1585447269 25208 :Phantom_Hoover!~phantomho@82.27.195.88 QUIT :Changing host
< 1585447269 25254 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
< 1585447843 778 :b_jonas!~x@catv-176-63-11-200.catv.broadband.hu PRIVMSG #esoteric :I have never used the ts program
< 1585448025 607261 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :I am playing Pokemon Card GB2; I just defeated Rod, I won by eighteen cards (despite he knocked out three of my cards and I knocked out none of his; hyper beam is very useful).
< 1585448203 387411 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :I got the legendary cards. Level 41 Dragonite and level 37 Articuno seem OK, but level 40 Moltres and level 68 Zapdos doesn't looks like so good to me.
< 1585448211 566981 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :(What do you think?)
< 1585448367 99222 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( Where does he come up with all this nonsense )
< 1585448787 461014 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :For one thing, level 40 Moltres has a 50% chance to miss with its attack, while level 41 Dragonite has only a 25% chance to miss with its attack. Level 68 Zapdos always hits, although the card it hits is selected at random and it can hit your own cards too, so that isn't very good.
< 1585451817 325433 :DoloresDeMa!7d7b4764@gateway/web/cgi-irc/kiwiirc.com/ip.125.123.71.100 JOIN :#esoteric
< 1585451996 859160 :DoloresDeMa!7d7b4764@gateway/web/cgi-irc/kiwiirc.com/ip.125.123.71.100 QUIT :Client Quit
< 1585453327 276119 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Read error: Connection reset by peer
< 1585453611 68041 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric
< 1585454845 768230 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 264 seconds
< 1585457974 345911 :nchamber-!uplime@learnprogramming/staff/nchambers QUIT :Ping timeout: 240 seconds
< 1585457999 196965 :nchambers!uplime@learnprogramming/staff/nchambers JOIN :#esoteric
< 1585460797 86446 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :how are those calculated?
< 1585460813 174750 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :it has been a long time since I've played pokemon cards
< 1585460840 85304 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :I think I played them before everything had levels... so...
< 1585460969 125598 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :The levels? They are printed on the card.
< 1585460990 739653 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :(I don't know how or even if they are calculated. They are just used to distinguish different cards with the same name.)
< 1585461063 327130 :int-e!~noone@int-e.eu PRIVMSG #esoteric :So it's just a cop-out because coming up with names is hard?
< 1585461212 23622 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :Cards with the same name are still meaningful for the game, because you are still limited to four cards of one name, and evolution also depends on names of cards. (Some other effects also care.)
< 1585461500 471232 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :The cards have the same name because it is the same kind of pokemons, e.g. level 5 Pikachu and level 10 Pikachu is both Pikachu, even though such things as hit points, attacks, etc may differ. (Artwork may also differ. However, some cards with the same name and level have different artwork. But the game statistics are the same, so this is OK; level 10 Pikachu has the same game effect as any other level 10 Pikachu.)
< 1585462587 109088 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric
< 1585463844 135703 :user24!~user24@2a02:810a:1440:7304:b97f:6ea9:ab73:691d JOIN :#esoteric
> 1585464414 117378 PRIVMSG #esoteric :14[[07User talk:Challenger514]]4 N10 02https://esolangs.org/w/index.php?oldid=70528 5* 03Yul3n 5* (+282) 10Created page with "Hi! I'm trying to implement Flurry and I've got a question, the wiki page says that <><> is the I combinator however SKSK evaluates to the K combinator and not the I one, the..."
> 1585464447 827141 PRIVMSG #esoteric :14[[07User talk:Challenger514]]4 10 02https://esolangs.org/w/index.php?diff=70529&oldid=70528 5* 03Yul3n 5* (-282) 10Blanked the page
> 1585464572 520727 PRIVMSG #esoteric :14[[07Talk:Flurry14]]4 N10 02https://esolangs.org/w/index.php?oldid=70530 5* 03Yul3n 5* (+233) 10Created page with "Hi! I'm trying to implement Flurry and I've got a question, the wiki page says that <><> is the I combinator however SKSK evaluates to the K combinator and not th..."
< 1585466309 283290 :ClaudiaSamp!75c4ea47@gateway/web/cgi-irc/kiwiirc.com/ip.117.196.234.71 JOIN :#esoteric
< 1585466489 925689 :ClaudiaSamp!75c4ea47@gateway/web/cgi-irc/kiwiirc.com/ip.117.196.234.71 QUIT :Client Quit
< 1585466707 968767 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
< 1585469409 972788 :rain1!~debian@unaffiliated/rain1 JOIN :#esoteric
< 1585473246 777166 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 256 seconds
> 1585473426 810107 PRIVMSG #esoteric :14[[07MetaGlow14]]4 10 02https://esolangs.org/w/index.php?diff=70531&oldid=67008 5* 03SoYouWantMeToDoSomethingButIWont 5* (+63) 10
< 1585473558 939636 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
< 1585473614 323980 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 240 seconds
< 1585473638 645173 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life
< 1585474275 986876 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 256 seconds
< 1585474339 333449 :CindyMello!75c4ea47@gateway/web/cgi-irc/kiwiirc.com/ip.117.196.234.71 JOIN :#esoteric
< 1585474518 482530 :CindyMello!75c4ea47@gateway/web/cgi-irc/kiwiirc.com/ip.117.196.234.71 QUIT :Client Quit
< 1585476658 60724 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric
> 1585481226 718068 PRIVMSG #esoteric :14[[07Pxem14]]4 10 02https://esolangs.org/w/index.php?diff=70532&oldid=70300 5* 03YamTokTpaFa 5* (+38) 10/* External Links */
> 1585482841 448607 PRIVMSG #esoteric :14[[07MetaGlow14]]4 10 02https://esolangs.org/w/index.php?diff=70533&oldid=70531 5* 03SoYouWantMeToDoSomethingButIWont 5* (+19) 10
< 1585485326 664362 :rain1!~debian@unaffiliated/rain1 QUIT :Quit: leaving
< 1585486141 797415 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru JOIN :#esoteric
< 1585486376 263068 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :a friend sent me today a photo of PS/2 connector
< 1585486388 109128 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :and then he asked will the keyboard work after he cuts off the PS/2 connector and soliders USB one
< 1585486406 72357 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :o.o
< 1585486451 445997 :olsner!~salparot@c80-217-180-83.bredband.comhem.se PRIVMSG #esoteric :some keyboards work with passive usb/ps/2 converters, so with the right pin assignments it *can* work
< 1585486476 941900 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :he didn't even notice that USB has less pins than PS/2
< 1585486481 172405 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :I doubt he could make it work
< 1585486500 476879 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :also the keyboard is presumably very old
< 1585486527 688161 :olsner!~salparot@c80-217-180-83.bredband.comhem.se PRIVMSG #esoteric :I think if you need to ask you don't have good chances of making it work :)
< 1585486528 216575 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :i always wonderes how those converters worked
< 1585486550 823189 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :ps/2 isn't very hard to interface with
< 1585486578 876714 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :I believe that's some uC acts as an USB slave
< 1585486623 428818 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :afterall ps/2 keyboards are hella complicated things
< 1585486651 307526 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :you could like enable processor adress lines using 8042 controller
< 1585486655 145551 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :it had even it's own RAM
< 1585486794 322645 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think the USB <-> PS/2 passive adapters usually work the other way around, with a keyboard that's "natively" USB but has the capability of doing PS/2 with a passive adapter.
< 1585486808 218038 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :So it wouldn't help with an old PS/2 keyboard that you'd like to plug into USB.
< 1585486824 43836 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :usb => ps2 is possible
< 1585486828 104047 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :mobo does it for you
< 1585487598 33941 :xkapastel!uid17782@gateway/web/irccloud.com/x-nqxbwnsnoaautpuo JOIN :#esoteric
< 1585492373 680247 :b_jonas!~x@catv-176-63-11-200.catv.broadband.hu PRIVMSG #esoteric :[ 60%~7*10 20 30 40
< 1585492374 245536 :j-bot!eldis4@firefly.nu PRIVMSG #esoteric :b_jonas: 1.16667 2.33333 3.5 4.66667
< 1585492983 685750 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Ping timeout: 240 seconds
< 1585496886 295247 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net JOIN :#esoteric
< 1585497086 867932 :Budgii!~pi@unaffiliated/budgii JOIN :#esoteric
< 1585497243 392710 :Budgii!~pi@unaffiliated/budgii PRIVMSG #esoteric :What is this channel?
< 1585497432 872041 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net PRIVMSG #esoteric :Budgii: see $TOPIC
< 1585497442 297700 :Budgii!~pi@unaffiliated/budgii PRIVMSG #esoteric :what are esoteric viruses
< 1585497468 122220 :Budgii!~pi@unaffiliated/budgii PRIVMSG #esoteric :$TOPIC
< 1585497475 118440 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net PRIVMSG #esoteric :Huh. This is the question. Probably, someone's joke or prank.
< 1585497551 261113 :b_jonas!~x@catv-176-63-11-200.catv.broadband.hu PRIVMSG #esoteric :uh,
< 1585497554 203426 :b_jonas!~x@catv-176-63-11-200.catv.broadband.hu PRIVMSG #esoteric :`welcome 
< 1585497556 914190 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.)
< 1585497569 325861 :b_jonas!~x@catv-176-63-11-200.catv.broadband.hu PRIVMSG #esoteric :^ that text is more stable than the topic, and possibliy more relevant
< 1585497599 912586 :Budgii!~pi@unaffiliated/budgii PRIVMSG #esoteric :ah ok lol
< 1585497602 983761 :Budgii!~pi@unaffiliated/budgii PRIVMSG #esoteric :I was like Um what?!
< 1585497640 808875 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :Budgii: This is channel for esoteric computer programming (although sometimes other stuff is discussion on here too). Read the wiki for more information about esoteric computer programming.
< 1585497660 449282 :Budgii!~pi@unaffiliated/budgii PRIVMSG #esoteric :Thank you b_jonas, zzo38 and ArthurStrong.
< 1585497678 403101 :Budgii!~pi@unaffiliated/budgii PRIVMSG #esoteric :& HackEso 
< 1585497680 165113 :Budgii!~pi@unaffiliated/budgii PRIVMSG #esoteric ::)
< 1585497832 153770 :Budgii!~pi@unaffiliated/budgii PRIVMSG #esoteric :
ACTION leaves the room, quietly. nodding to the onlookers.

< 1585503616 732415 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
< 1585505653 967718 :imode!~linear@unaffiliated/imode JOIN :#esoteric
< 1585510282 49846 :ChantalZale!4349b35a@gateway/web/cgi-irc/kiwiirc.com/ip.67.73.179.90 JOIN :#esoteric
< 1585510463 200692 :ChantalZale!4349b35a@gateway/web/cgi-irc/kiwiirc.com/ip.67.73.179.90 QUIT :Client Quit
< 1585510908 378264 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Remote host closed the connection
< 1585510931 420053 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric
< 1585511070 258647 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Client Quit
< 1585511503 268875 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca QUIT :Ping timeout: 260 seconds
< 1585512742 458845 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca JOIN :#esoteric
< 1585514285 47397 :CindyKimber!245a7798@gateway/web/cgi-irc/kiwiirc.com/ip.36.90.119.152 JOIN :#esoteric
< 1585514461 348202 :CindyKimber!245a7798@gateway/web/cgi-irc/kiwiirc.com/ip.36.90.119.152 QUIT :Client Quit
< 1585516885 92256 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
< 1585516936 826063 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 256 seconds
< 1585516966 900575 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life
> 1585518176 536756 PRIVMSG #esoteric :14[[07And14]]4 10 02https://esolangs.org/w/index.php?diff=70534&oldid=43373 5* 03LegionMammal978 5* (+950) 10added BF interpreter
> 1585518384 203281 PRIVMSG #esoteric :14[[07And14]]4 M10 02https://esolangs.org/w/index.php?diff=70535&oldid=70534 5* 03LegionMammal978 5* (+96) 10added categories
< 1585518474 282718 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 240 seconds
> 1585518630 584357 PRIVMSG #esoteric :14[[07Noodle Soup14]]4 10 02https://esolangs.org/w/index.php?diff=70536&oldid=66449 5* 03LegionMammal978 5* (+184) 10added interpreter link
< 1585518791 436729 :user24!~user24@2a02:810a:1440:7304:b97f:6ea9:ab73:691d QUIT :Quit: Leaving
< 1585519290 969509 :SofiFlor!7d7b4764@gateway/web/cgi-irc/kiwiirc.com/ip.125.123.71.100 JOIN :#esoteric
< 1585519473 282533 :SofiFlor!7d7b4764@gateway/web/cgi-irc/kiwiirc.com/ip.125.123.71.100 QUIT :Client Quit
> 1585519554 151986 PRIVMSG #esoteric :14[[07CLEB14]]4 M10 02https://esolangs.org/w/index.php?diff=70537&oldid=43377 5* 03LegionMammal978 5* (+155) 10added categories
< 1585519918 6177 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :if my code is correct, then BB(27) < BB(26). kind of surprising 
< 1585519984 793245 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :that's for lambda Busy Beaver https://oeis.org/A333479
< 1585520318 9400 :sftp!~sftp@unaffiliated/sftp QUIT :Ping timeout: 256 seconds
< 1585520504 693684 :sftp!~sftp@unaffiliated/sftp JOIN :#esoteric
< 1585520756 382671 :Bowserinator!Bowserinat@hellomouse/dev/Bowserinator QUIT :Quit: Blame iczero something happened
< 1585520777 75688 :Bowserinator!Bowserinat@hellomouse/dev/Bowserinator JOIN :#esoteric
< 1585520780 497712 :iczero!iczero@hellomouse/dev/iczero QUIT :Remote host closed the connection
< 1585520801 75902 :iczero!iczero@hellomouse/dev/iczero JOIN :#esoteric
< 1585521347 824816 :iovoid!iovoid@hellomouse/dev/iovoid QUIT :Quit: iovoid has quit!
< 1585521363 201892 :iovoid!iovoid@hellomouse/dev/iovoid JOIN :#esoteric
< 1585521814 662008 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net QUIT :Quit: leaving
< 1585524490 521322 :erdic!~erdic@unaffiliated/motley QUIT :Ping timeout: 258 seconds
< 1585524515 488539 :erdic!~erdic@unaffiliated/motley JOIN :#esoteric
< 1585524859 699101 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric
< 1585531960 754963 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru QUIT :Ping timeout: 256 seconds
< 1585532526 109066 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net JOIN :#esoteric
< 1585533423 55367 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net QUIT :Ping timeout: 265 seconds
< 1585533520 772601 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net JOIN :#esoteric
< 1585535706 354073 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca QUIT :Disconnected by services
< 1585535711 234485 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca JOIN :#esoteric
< 1585536006 495068 :MDude!~MDude@97-127-171-136.cdrr.qwest.net QUIT :Quit: Going offline, see ya! (www.adiirc.com)
< 1585537340 626311 :u0_611!~user@170.247.33.161 JOIN :#esoteric
< 1585537431 520034 :u0_611!~user@170.247.33.161 QUIT :Remote host closed the connection
< 1585538582 240213 :xkapastel!uid17782@gateway/web/irccloud.com/x-nqxbwnsnoaautpuo QUIT :Quit: Connection closed for inactivity
< 1585539609 417137 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: shouldn't BB(n) allow programs of size up to n though
< 1585539784 917621 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(but okay, it's defined for exact sizes, so such non-monotonic behavior is hardly surprising)
< 1585539862 879988 :int-e!~noone@int-e.eu PRIVMSG #esoteric :At least BB(n+6) >= BB(n) :P
< 1585541858 297804 :b_jonas!~x@catv-176-63-11-200.catv.broadband.hu QUIT :Remote host closed the connection
< 1585543962 613458 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :I thought of a idea of a chess variant, where each piece has a limited allotment of non-forward moves; these are partially recovered (for all pieces on the board, including opponent's pieces too) whenever a capture occurs. The fifty move rule and repetition rules are not used.
< 1585544001 787447 :Sgeo_!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric
< 1585544041 85265 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Write error: Connection reset by peer
< 1585544057 603983 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric
< 1585544165 333968 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :(The seventy-five move rule also is not used.)
< 1585544211 67545 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Ping timeout: 265 seconds
< 1585544650 46520 :RenataFox!bf667472@gateway/web/cgi-irc/kiwiirc.com/ip.191.102.116.114 JOIN :#esoteric
< 1585544883 262224 :RenataFox!bf667472@gateway/web/cgi-irc/kiwiirc.com/ip.191.102.116.114 QUIT :Client Quit
< 1585546414 940348 :imode-ruby!~linear@unaffiliated/imode QUIT :Quit: WeeChat 1.6
< 1585547079 558643 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net QUIT :Quit: leaving
< 1585550129 971275 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca QUIT :Ping timeout: 256 seconds
< 1585550661 57441 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca JOIN :#esoteric
< 1585551512 61606 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca QUIT :Disconnected by services
< 1585551516 713389 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca JOIN :#esoteric
< 1585553248 91391 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :int-e: you can define it either way, but this way preserves more information
< 1585553307 57742 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca QUIT :Ping timeout: 252 seconds
< 1585553359 843178 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :and is consistent with https://oeis.org/search?q=Busy+Beaver&sort=&language=&go=Search
< 1585553693 482849 :user24!~user24@2a02:810a:1440:7304:659c:f6d7:218a:86ed JOIN :#esoteric
< 1585554307 841566 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
< 1585559139 968705 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 256 seconds
< 1585559303 997782 :BrilliantRose!bf667472@gateway/web/cgi-irc/kiwiirc.com/ip.191.102.116.114 JOIN :#esoteric
< 1585559478 24047 :BrilliantRose!bf667472@gateway/web/cgi-irc/kiwiirc.com/ip.191.102.116.114 QUIT :Client Quit
< 1585560056 778415 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
< 1585560127 88537 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 252 seconds
< 1585560136 622628 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life
< 1585560763 973307 :rain1!~debian@unaffiliated/rain1 JOIN :#esoteric
< 1585562181 896736 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru JOIN :#esoteric
< 1585563455 821671 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 246 seconds
< 1585565492 820853 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru QUIT :Ping timeout: 246 seconds
< 1585567887 382337 :Frater_EST!adrianbibl@172.242.0.73 JOIN :#esoteric
< 1585568032 833353 :xkapastel!uid17782@gateway/web/irccloud.com/x-govlswawpguiixkb JOIN :#esoteric
< 1585568800 54151 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: How difficult is showing non-termination at those sizes?
< 1585568813 772675 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(26 and 27)
< 1585568994 475383 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Maybe I should try, hmm.
< 1585569545 970687 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :int-e: i've been working on that for the past few weeks. i'll soon commit ny BB.lhs to the repo where you can see the current approach
< 1585569590 328336 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :basically, during the reduction, i try to see if the current reduct by itself leads to a reduction in which it reappears as reduct
< 1585569680 72294 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :it fails on some term of size 29 that I hope to cover today.
< 1585569868 352192 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :ok, BB.lhs comitted
< 1585572326 184185 :int-e!~noone@int-e.eu PRIVMSG #esoteric :So (\0 0) (\0 (\1 0)) of size 25 is the first fun term.
< 1585572362 783882 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(sorry, my code is zero-based somehow)
< 1585574041 260462 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :yes, it asnwers the ultimate question of life the universe, and everything:)
< 1585574147 495960 :dnm!sid401311@gateway/web/irccloud.com/x-odwmtvbrqkwggtkh QUIT :Ping timeout: 240 seconds
< 1585574147 717613 :mich181189!sid268336@gateway/web/irccloud.com/x-rsqpnaqgnnjhxsee QUIT :Ping timeout: 240 seconds
< 1585574148 262182 :pikhq!sid394595@gateway/web/irccloud.com/x-ltrwyqwpxvidnwve QUIT :Ping timeout: 240 seconds
< 1585574148 921178 :Soni!~quassel@unaffiliated/soniex2 QUIT :Ping timeout: 240 seconds
< 1585574157 191249 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :i.e. what is BB(25)
< 1585574157 232397 :dnm_!sid401311@gateway/web/irccloud.com/x-iofdzlpooiztpuat JOIN :#esoteric
< 1585574166 896984 :mich181189_!sid268336@gateway/web/irccloud.com/x-wqmhdosjviitydsh JOIN :#esoteric
< 1585574175 189178 :SoniEx2!~quassel@unaffiliated/soniex2 JOIN :#esoteric
< 1585574208 104028 :pikhq!sid394595@gateway/web/irccloud.com/x-hovhomidionhhtrh JOIN :#esoteric
< 1585574218 961603 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :oh wait, that's \(\1 1) (\1 (2 1))
< 1585574290 325481 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :yours ends up at size 7?!
< 1585574431 518011 :mich181189_!sid268336@gateway/web/irccloud.com/x-wqmhdosjviitydsh QUIT :Client Quit
< 1585574454 82193 :mich181189!sid268336@gateway/web/irccloud.com/x-xchlnniznwjwexfe JOIN :#esoteric
< 1585574586 320650 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :yours cycles, but my program currently fails to see
< 1585574604 858836 :Budgii!~pi@unaffiliated/budgii PART #esoteric :"WeeChat 2.3"
< 1585574988 346105 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :need to fix bug in optimize function
< 1585575014 350720 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I haven't looked at your code. playing with my own :)
< 1585575197 944259 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Okay, I had a bug as well. Now I have two funny terms of size 25, (\1 1) (\1 (1 (\2))) and (\1 1) (\1 (\2 1))
< 1585575356 559592 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :both recognized as diverging by my program
< 1585575370 422162 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :did you find BB(25) ?
< 1585575385 644288 :int-e!~noone@int-e.eu PRIVMSG #esoteric :42 based on that claim
< 1585575406 552666 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :cool
< 1585575624 760716 :Sgeo_!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Read error: Connection reset by peer
< 1585575649 14516 :Sgeo_!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric
> 1585575676 140773 PRIVMSG #esoteric :14[[07Procedure14]]4 10 02https://esolangs.org/w/index.php?diff=70538&oldid=70501 5* 03PythonshellDebugwindow 5* (+779) 10
< 1585575780 581475 :int-e!~noone@int-e.eu PRIVMSG #esoteric :>= 42, 52, >= 44, >= 58, >= 223
< 1585575843 987597 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :yes, i have same, plus equality up to size 28
< 1585575952 37604 :arseniiv!~arseniiv@95.105.10.115.dynamic.ufanet.ru JOIN :#esoteric
< 1585576667 219139 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh and >= 160 with 4 unknown terms.
< 1585576688 333459 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But obviously this is getting increasingly dubious.
< 1585576931 914327 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(But 30 looks easier than 29)
< 1585578248 119070 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Duh. Of course eta reduction is kind of helpful.
< 1585578458 60977 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :i fixed the eta bug
< 1585578578 439531 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :in repo now
< 1585578609 371114 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :thx for unwittingly pointing that out:)
< 1585578677 300939 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :we used to optimize (\2 1) to 2 instead of the correct 1
< 1585579063 536255 :user24!~user24@2a02:810a:1440:7304:659c:f6d7:218a:86ed QUIT :Remote host closed the connection
< 1585579085 493996 :user24!~user24@2a02:810a:1440:7304:659c:f6d7:218a:86ed JOIN :#esoteric
< 1585579332 974567 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fun
< 1585579374 530804 :int-e!~noone@int-e.eu PRIVMSG #esoteric :but do we want eta-reduction for this, hmm
< 1585579421 704984 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(I took "normal form" to mean beta normal form, not beta-eta normal form
< 1585579424 874605 :int-e!~noone@int-e.eu PRIVMSG #esoteric :)
< 1585579466 507815 :int-e!~noone@int-e.eu PRIVMSG #esoteric :funny, though perhaps not all that surprising, that it didn't affect the numbers
> 1585579910 239798 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03ThatOrdinaryGuy 5*  10New user account
< 1585580467 416978 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :yes, i should use beta normal form in BB def
< 1585580504 192497 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :but use eta reduction to help detect divergence
> 1585580649 603773 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=70539&oldid=70527 5* 03ThatOrdinaryGuy 5* (+328) 10
< 1585580672 599536 :rain1!~debian@unaffiliated/rain1 QUIT :Quit: Lost terminal
< 1585580960 438782 :xelxebar_!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric
< 1585580983 705542 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Ping timeout: 240 seconds
< 1585581027 457571 :APic!apic@apic.name QUIT :Ping timeout: 260 seconds
< 1585581058 782689 :APic!apic@apic.name JOIN :#esoteric
< 1585581060 871871 :myname!~myname@ks300980.kimsufi.com QUIT :Ping timeout: 256 seconds
> 1585581145 225753 PRIVMSG #esoteric :14[[07D.U.C.K.14]]4 M10 02https://esolangs.org/w/index.php?diff=70540&oldid=65730 5* 03ThatOrdinaryGuy 5* (+1) 10Just fixed some grammer
< 1585581223 403564 :MDude!~MDude@97-127-171-136.cdrr.qwest.net JOIN :#esoteric
< 1585581438 502612 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :for me the challenge now is to prove (\1 1) (\1 (\\3 2)) diverging
< 1585582008 360352 :imode!~linear@unaffiliated/imode JOIN :#esoteric
< 1585582300 799646 :myname!~myname@ks300980.kimsufi.com JOIN :#esoteric
< 1585582693 330144 :imode-ruby!~linear@unaffiliated/imode JOIN :#esoteric
> 1585582844 960259 PRIVMSG #esoteric :14[[07If the question specifies that the number of the words should be less than 3, and the number of words in your answer is larger than 3, your answer is automatically wrong.14]]4 M10 02https://esolangs.org/w/index.php?diff=70541&oldid=68230 5* 03ThatOrdinaryGuy 5* (+1) 10Just fixed some grammer
< 1585583111 820606 :xylochoron[m]!xylochoron@gateway/shell/matrix.org/x-xrseritmmdrzkuij QUIT :*.net *.split
< 1585583112 112559 :ocharles!sid30093@musicbrainz/user/ocharles QUIT :*.net *.split
< 1585583112 139433 :oren!~oren@ec2-18-234-164-48.compute-1.amazonaws.com QUIT :*.net *.split
< 1585583135 76698 :xylochoron[m]!xylochoron@gateway/shell/matrix.org/x-xrseritmmdrzkuij JOIN :#esoteric
< 1585583135 76769 :ocharles!sid30093@musicbrainz/user/ocharles JOIN :#esoteric
< 1585583135 76791 :oren!~oren@ec2-18-234-164-48.compute-1.amazonaws.com JOIN :#esoteric
< 1585583312 125051 :xylochoron[m]!xylochoron@gateway/shell/matrix.org/x-xrseritmmdrzkuij QUIT :Ping timeout: 240 seconds
< 1585583318 846617 :xavo[m]!undersco1@gateway/shell/matrix.org/x-lrczudthtmccfkno QUIT :Ping timeout: 246 seconds
< 1585583319 60217 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-qvguzhyimgduqtfd QUIT :Ping timeout: 246 seconds
< 1585583357 939682 :ddmm_!atrapmatri@gateway/shell/matrix.org/x-zknpecynbclwrbtu QUIT :Ping timeout: 260 seconds
< 1585583359 89570 :wmww!wmwwmatrix@gateway/shell/matrix.org/x-qrygogbmdrkjnbiv QUIT :Ping timeout: 260 seconds
< 1585586395 735006 :b_jonas!~x@catv-176-63-12-68.catv.broadband.hu JOIN :#esoteric
< 1585586497 109912 :lestac_hra!~lestac@pc-118-18-86-200.cm.vtr.net JOIN :#esoteric
< 1585586554 122537 :lestac_hra!~lestac@pc-118-18-86-200.cm.vtr.net QUIT :Remote host closed the connection
< 1585586581 108592 :lestac_hra!~lestac@pc-118-18-86-200.cm.vtr.net JOIN :#esoteric
> 1585586838 7436 PRIVMSG #esoteric :14[[07User:ThatOrdinaryGuy14]]4 N10 02https://esolangs.org/w/index.php?oldid=70542 5* 03ThatOrdinaryGuy 5* (+142) 10added the basic framework
< 1585586873 875247 :ddmm_!atrapmatri@gateway/shell/matrix.org/x-ktdkgwhuqhiiyepa JOIN :#esoteric
< 1585586951 973858 :lestac_hra!~lestac@pc-118-18-86-200.cm.vtr.net QUIT :Ping timeout: 256 seconds
< 1585587109 274968 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net JOIN :#esoteric
< 1585587625 932988 :LJagain!499fcc3f@c-73-159-204-63.hsd1.nh.comcast.net JOIN :#esoteric
< 1585587660 230180 :LJagain!499fcc3f@c-73-159-204-63.hsd1.nh.comcast.net NICK :SomeOrdinaryGuy
> 1585588144 730189 PRIVMSG #esoteric :14[[07ROTfuck14]]4 10 02https://esolangs.org/w/index.php?diff=70543&oldid=69333 5* 03Apollyon094 5* (-106) 10
< 1585588286 286611 :SomeOrdinaryGuy!499fcc3f@c-73-159-204-63.hsd1.nh.comcast.net QUIT :Remote host closed the connection
< 1585588770 383809 :xkapastel!uid17782@gateway/web/irccloud.com/x-govlswawpguiixkb NICK :Guest45017
< 1585589062 740227 :Guest45017!uid17782@gateway/web/irccloud.com/x-govlswawpguiixkb QUIT :
< 1585589098 146220 :xkapastel_!uid17782@gateway/web/irccloud.com/x-kbrvpqdbogkwuxfu JOIN :#esoteric
< 1585589190 30539 :xkapastel_!uid17782@gateway/web/irccloud.com/x-kbrvpqdbogkwuxfu NICK :xkapastel
< 1585589666 179163 :xylochoron[m]!xylochoron@gateway/shell/matrix.org/x-ejtmkvvaetuatfrs JOIN :#esoteric
< 1585589666 234329 :wmww!wmwwmatrix@gateway/shell/matrix.org/x-whkacrlzgwtokujm JOIN :#esoteric
< 1585589666 343150 :xavo[m]!undersco1@gateway/shell/matrix.org/x-mrhemdhwynbtbmzu JOIN :#esoteric
< 1585589666 353467 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-bawgdlwqsseuynoq JOIN :#esoteric
< 1585589915 974699 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca JOIN :#esoteric
< 1585589995 245359 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric
< 1585590453 280990 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
< 1585591933 768590 :spruit11!~unknown@ip56522cc1.speed.planet.nl QUIT :Ping timeout: 264 seconds
< 1585592201 542084 :spruit11!~unknown@ip56522cc1.speed.planet.nl JOIN :#esoteric
> 1585592343 903820 PRIVMSG #esoteric :14[[07User:Orby14]]4 10 02https://esolangs.org/w/index.php?diff=70544&oldid=65749 5* 03Orby 5* (-73) 10
< 1585594912 491065 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net QUIT :Quit: leaving
< 1585594932 794705 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net JOIN :#esoteric
< 1585594932 874314 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net QUIT :Client Quit
< 1585594982 884314 :yurichev!~yurichev@slow.wreckage.volia.net JOIN :#esoteric
< 1585595051 878863 :yurichev!~yurichev@slow.wreckage.volia.net PART :#esoteric
< 1585596280 666532 :ornxka_!~ornxka@unaffiliated/ornx NICK :ornxka
< 1585596657 553415 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Quit: Leaving
< 1585597506 612491 :Frater_EST!adrianbibl@172.242.0.73 PART :#esoteric
< 1585598171 965975 :user24!~user24@2a02:810a:1440:7304:659c:f6d7:218a:86ed QUIT :Quit: Leaving
< 1585598618 435877 :xkapastel!uid17782@gateway/web/irccloud.com/x-kbrvpqdbogkwuxfu QUIT :Quit: Connection closed for inactivity
< 1585599512 520603 :phoenix_!~phoenix@c-98-194-21-209.hsd1.tx.comcast.net JOIN :#esoteric
< 1585599742 955033 :phoenix_!~phoenix@c-98-194-21-209.hsd1.tx.comcast.net PART :#esoteric
< 1585599903 81657 :floydpinkert0n!~ihavenoem@188.244.248.111 JOIN :#esoteric
< 1585600007 416394 :floydpinkert0n!~ihavenoem@188.244.248.111 QUIT :Read error: Connection reset by peer
< 1585600356 302625 :LeanderMint!~leander@139.47.10.69 JOIN :#esoteric
< 1585600362 80570 :LeanderMint!~leander@139.47.10.69 PART :#esoteric
< 1585601372 298631 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca QUIT :Remote host closed the connection
< 1585601385 460480 :ddmm_!atrapmatri@gateway/shell/matrix.org/x-ktdkgwhuqhiiyepa QUIT :Quit: Idle for 30+ days
< 1585601573 269867 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca JOIN :#esoteric
< 1585602472 244441 :erdic!~erdic@unaffiliated/motley QUIT :Ping timeout: 265 seconds
< 1585602512 717979 :erdic!~erdic@unaffiliated/motley JOIN :#esoteric
< 1585603206 327713 :SoniEx2!~quassel@unaffiliated/soniex2 NICK :Soni
< 1585603264 216209 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
< 1585603428 779464 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 256 seconds
< 1585603433 367627 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life
< 1585604809 275443 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 250 seconds
< 1585605846 38236 :iovoid!iovoid@hellomouse/dev/iovoid QUIT :Read error: Connection reset by peer
< 1585605860 276174 :iovoid!iovoid@hellomouse/dev/iovoid JOIN :#esoteric
< 1585607585 134369 :xkapastel!uid17782@gateway/web/irccloud.com/x-nklgyjzherbuyasq JOIN :#esoteric
> 1585609625 515911 PRIVMSG #esoteric :14[[07ROTfuck14]]4 10 02https://esolangs.org/w/index.php?diff=70545&oldid=70543 5* 03Apollyon094 5* (-1) 10
< 1585610854 350544 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net JOIN :#esoteric
< 1585611172 863378 :xelxebar_!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Remote host closed the connection
< 1585611272 695308 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric
< 1585611743 391433 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca QUIT :Ping timeout: 260 seconds
> 1585612066 176635 PRIVMSG #esoteric :14[[07ROTfuck14]]4 10 02https://esolangs.org/w/index.php?diff=70546&oldid=70545 5* 03PythonshellDebugwindow 5* (-13) 10/* Examples */
< 1585612681 697684 :Sgeo_!~Sgeo@ool-18b982ad.dyn.optonline.net PRIVMSG #esoteric :`olist 1197
< 1585612686 633478 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :olist 1197: shachaf oerjan Sgeo FireFly boily nortti b_jonas
< 1585612995 856808 :b_jonas!~x@catv-176-63-12-68.catv.broadband.hu PRIVMSG #esoteric :o
< 1585613737 665757 :MDead!~MDude@97-127-171-136.cdrr.qwest.net JOIN :#esoteric
< 1585613845 989445 :MDude!~MDude@97-127-171-136.cdrr.qwest.net QUIT :Ping timeout: 256 seconds
< 1585613852 878869 :MDead!~MDude@97-127-171-136.cdrr.qwest.net NICK :MDude
> 1585616295 890863 PRIVMSG #esoteric :14[[07Talk:Flurry14]]4 10 02https://esolangs.org/w/index.php?diff=70547&oldid=70530 5* 03Challenger5 5* (+270) 10
< 1585617381 973020 :arseniiv!~arseniiv@95.105.10.115.dynamic.ufanet.ru QUIT :Ping timeout: 256 seconds
< 1585617445 288688 :divergence!~div@172.83.44.83 JOIN :#esoteric
< 1585617457 826542 :diverger!~div@195.47.194.35 QUIT :Ping timeout: 264 seconds
< 1585618491 172709 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca JOIN :#esoteric
< 1585620759 297993 :divergence!~div@172.83.44.83 QUIT :Ping timeout: 260 seconds
< 1585620842 804317 :diverger!~div@172.83.44.83 JOIN :#esoteric
< 1585624960 306655 :xkapastel!uid17782@gateway/web/irccloud.com/x-nklgyjzherbuyasq QUIT :Quit: Connection closed for inactivity
< 1585627145 710006 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net QUIT :Quit: leaving
< 1585627514 26504 :spruit11!~unknown@ip56522cc1.speed.planet.nl QUIT :Ping timeout: 256 seconds
< 1585632833 766752 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Read error: Connection reset by peer
< 1585632848 28121 :MDude!~MDude@97-127-171-136.cdrr.qwest.net QUIT :Quit: Going offline, see ya! (www.adiirc.com)
< 1585632948 25937 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
< 1585634762 14569 :Cale!~cale@2607:fea8:9960:35:74c2:6b53:70bf:ded4 QUIT :Ping timeout: 256 seconds
< 1585635946 989951 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com JOIN :#esoteric
< 1585638758 864275 :user24!~user24@2a02:810a:1440:7304:34d2:2959:26b:1e7c JOIN :#esoteric
< 1585639390 578816 :spruit11!~unknown@ip56522cc1.speed.planet.nl JOIN :#esoteric
< 1585639951 92797 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :have any of you played robo rally? it's basically a game about programming
< 1585639978 514377 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :it has sort of an befunge feel, but the board modifies your actions
< 1585639987 523269 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :and other players do too
< 1585640113 475419 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :also, made by the creator of MTG before he did that
< 1585641126 785036 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
< 1585642457 441916 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 258 seconds
> 1585643187 637272 PRIVMSG #esoteric :14[[07Talk:Flurry14]]4 10 02https://esolangs.org/w/index.php?diff=70548&oldid=70547 5* 03Yul3n 5* (+123) 10
> 1585643206 58678 PRIVMSG #esoteric :14[[07Talk:Flurry14]]4 10 02https://esolangs.org/w/index.php?diff=70549&oldid=70548 5* 03Yul3n 5* (+75) 10
> 1585643460 744390 PRIVMSG #esoteric :14[[07Talk:Z14]]4 10 02https://esolangs.org/w/index.php?diff=70550&oldid=62307 5* 03Yul3n 5* (+191) 10
< 1585644275 150818 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :We (as in the channel collectively) played a bunch of that one web puzzle game that's a little like that, except single-player and much simpler.
< 1585644292 655790 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :RoboZZle, it was.
< 1585644715 646270 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :very nice, going to link to it since it seems like the beta/js(ugh, but whatever) version is much more usable http://www.robozzle.com/beta/
< 1585644830 836646 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :hmm it doesn't seem like quite the same thing
< 1585644912 39464 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :maybe if I play past the tutorials it will become more similar?
< 1585645330 390151 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :it, yeah, doesn't seem so similar
< 1585645383 221333 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :anyway, we have *ALL* the expansions... I'd be interested in making an online version, if I knew how to do that at all
< 1585645461 35577 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :as a board game, the weapons upgrades seem like they're overpowered... but also some are as programmable as the players...
< 1585645496 364866 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :Hooloovo0: ooh, I think I played that once?
< 1585645586 891729 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :nice!
< 1585645667 499995 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :(implicit once-plague-is-over invitation) if any if any of you visit urbana
< 1585645915 974936 :rain1!~debian@unaffiliated/rain1 JOIN :#esoteric
< 1585646059 864252 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :Unless you're in a village in Italy, that's slightly the wrong continent for me :(
< 1585646374 849053 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :no, we're basically in the middle of NA :(
< 1585646380 517361 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :BB(29) = 223
< 1585646558 667101 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :
ACTION reads up a lot on blc and bb

< 1585646564 14976 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
< 1585646583 217772 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: BB(30)=160, BB(31)=267
< 1585646607 227473 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: I added a BB.txt
< 1585646621 983278 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 256 seconds
< 1585646642 171448 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :you must have some way better divergence detection than me:)
< 1585646642 722238 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life
< 1585646667 242435 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :\exists c, n. \forall i, i >= n. \forall j, j >= i + c. BB(j) > BB(i)?
< 1585646670 758498 :int-e!~noone@int-e.eu PRIVMSG #esoteric :it's not fully automatic... I have 2 manual proofs (as indicated in the file)
< 1585646677 794477 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Taneb: not a clue
< 1585646685 583235 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :i had 3 manual proofs at 29
< 1585646687 86738 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Taneb: Oh wait
< 1585646692 140649 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Taneb: that one is certainly true
< 1585646723 565154 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Taneb: I should figure out what the concrete c for which I can prove this is though... 20ish, maybe?
< 1585646746 730411 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :probably true for c = 2
< 1585646764 222858 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :which terms require manual proof?
< 1585646776 828057 :int-e!~noone@int-e.eu PRIVMSG #esoteric :rain1: https://github.com/tromp/AIT/blob/master/BB.txt
< 1585646818 322333 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: plausible, yes, but... :)
< 1585646834 171745 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :i know, i wldn't bet my life on it:)
< 1585646919 314704 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :very nice
< 1585646920 22273 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Taneb: c=9 should work; one can prefix terms with lambda 2 bits, or with (\x\y.x) (7 bits, plus 2 for the apply).
< 1585646938 932035 :int-e!~noone@int-e.eu PRIVMSG #esoteric :err, I meant to put parentheses around (2 bits).
< 1585647066 879616 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: now how does one automate such inductive arguements... eww.
< 1585647070 898058 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :isn't prefixing with lambda enough to get BB(n+2) >= BB(n) + 2 ?
< 1585647096 372747 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: But Taneb's statement has j >= i+c
< 1585647099 396724 :int-e!~noone@int-e.eu PRIVMSG #esoteric :not j = i+c
< 1585647101 553439 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :how hard would it be to write a program that can prove those TODO ones halt?
< 1585647114 214068 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: so we need an odd offset as well
< 1585647118 391403 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :it seems kind of tricky i'm not sure how it would be done
< 1585647188 640365 :int-e!~noone@int-e.eu PRIVMSG #esoteric :rain1: well, there's a certain pattern to these proofs, terms that grow in a very regular fashion.
< 1585647196 15477 :b_jonas!~x@catv-176-63-12-68.catv.broadband.hu QUIT :Quit: leaving
< 1585647235 550429 :int-e!~noone@int-e.eu PRIVMSG #esoteric :So that could probably be captured somehow but it's highly unpleasant, and obviously once you do that you'll find terms with more complicated patterns, all up to the point where termination becomes unprovable.
< 1585647237 519455 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :maybe hash each subterm, perform some reductions and then use the hash to look for repeating subterms?
< 1585647273 35279 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :you don't get exact repetition though
< 1585647276 642026 :int-e!~noone@int-e.eu PRIVMSG #esoteric :rain1: That's what we're doing already.
< 1585647298 114113 :int-e!~noone@int-e.eu PRIVMSG #esoteric :rain1: It doesn't apply to those manual proofs (well the 3 I actually looked at)
< 1585647359 697626 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :I see it now
< 1585647422 147209 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :T (\1^k (T 1)) is kind of 'flat', it could basically be expressed as a string T \^k T 1 rather than a tree
< 1585647470 224744 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :maybe when terms are flat it could be a simpler case
< 1585647962 334074 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Anyway, I'll leave BB(32) for a rainy day (there are few enough cases to be hopeful that they can be sorted out). But I think beyond that point it will very soon become a research grade problem (i.e., take a lot of effort and creativity). Obviously I have no clue where the unprovability territory starts.
< 1585648181 369205 :int-e!~noone@int-e.eu PRIVMSG #esoteric :rain1: For reference, there are 978447 closed terms of size 32, so narrowing that down to 10 problematic cases is quite significant.
< 1585648218 546337 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :that's really interesting, so that's where the real work was. how was that done?
< 1585648284 216434 :int-e!~noone@int-e.eu PRIVMSG #esoteric :enumerate, reduce (with simplification along the way), try to detect loops and one relatively common class of non-terminating terms that does not have simple loops.
< 1585648359 41930 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Which, incidentally, only covers 2 terms of size 32. It can probably be generalized somewhat to cover a couple more.
< 1585648477 474100 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Taneb: actually I should've written c=8. But c=6 should also work: pick any variable n and replace it by \(n+1) 1 (which eta-reduces to n).
< 1585648508 348687 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Taneb: Which adds an abstraction, an application, and one extra bit for changing n to n+1, so that's 7 bits.
< 1585648545 314385 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Hmm, unfortunately though that only shows BB(n+7) >= BB(n).
< 1585648569 254743 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(Wheras BB(n+2) > BB(n) is strict.)
< 1585651375 285854 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric
< 1585657204 283807 :rain1!~debian@unaffiliated/rain1 QUIT :Quit: Lost terminal
< 1585657261 68291 :xkapastel!uid17782@gateway/web/irccloud.com/x-jhqigegvcxylszlx JOIN :#esoteric
< 1585659145 767453 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca QUIT :Ping timeout: 264 seconds
< 1585659535 266144 :wib_jonas!b03f0c44@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.12.68 JOIN :#esoteric
> 1585659782 62984 PRIVMSG #esoteric :14[[07Talk:Alphaprint14]]4 10 02https://esolangs.org/w/index.php?diff=70551&oldid=70399 5* 03Rerednaw 5* (+867) 10Edit in my JS code, following the addition of the "Hello, World!" example
< 1585660657 390808 :arseniiv!~arseniiv@95.105.10.115.dynamic.ufanet.ru JOIN :#esoteric
> 1585660837 923281 PRIVMSG #esoteric :14[[07Talk:Flurry14]]4 10 02https://esolangs.org/w/index.php?diff=70552&oldid=70549 5* 03Yul3n 5* (+169) 10
< 1585661045 329041 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :int-e: how did you automate the proof of divergence for the 29-bit terms (\1 1) (\1 (\\3 2)),   (\1 1) (\1 (\1 (2 1))),   and (\1 1) (\1 (\2 1 1)) ?
< 1585661176 693230 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :ignore the muddle one; i see you did that manually
< 1585661719 529909 :user24!~user24@2a02:810a:1440:7304:34d2:2959:26b:1e7c QUIT :Quit: Leaving
< 1585661803 134149 :wib_jonas!b03f0c44@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.12.68 PRIVMSG #esoteric :how does this lambda thing work? can you effectively do lazy evaluation, as in, if there's a non-terminating term inside but it's never called, it isn't a problem?
< 1585661949 569562 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: I want to sleep on what I did and document it properly, please remind me tomorrow
< 1585661962 811426 :wib_jonas!b03f0c44@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.12.68 PRIVMSG #esoteric :nic
< 1585662024 239823 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :wib_jonas: for BB you take consider the normal form so any non terminating part is a problem
< 1585662062 71140 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: but the idea is to generalize the (\1 1) (\1 1) thing, noting in particular that you can have additional contexts (\1 1) (\C[1 1]) (C may have lambdas and that shifts the variables) and also some additional abstractions (\1 1) (\1 (\1 1)).
< 1585662068 222166 :wib_jonas!b03f0c44@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.12.68 PRIVMSG #esoteric :tromp: but don't those non-terminating parts get discarded as you evaluate to the normal form?
< 1585662068 446052 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :i.e. BB is not specific to any normalization strategy
< 1585662081 888429 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :oh, you're right
< 1585662107 883487 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :so you do need to use one that guarantees nf if one exists
< 1585662126 714834 :int-e!~noone@int-e.eu PRIVMSG #esoteric :wib_jonas: left-most outermost is strongly normalizing (even hypernormalizing--that's a fun concept) for the untyped lambda calculus.
< 1585662138 249598 :int-e!~noone@int-e.eu PRIVMSG #esoteric :err
< 1585662140 318056 :int-e!~noone@int-e.eu PRIVMSG #esoteric :s/strongly//
< 1585662159 614383 :wib_jonas!b03f0c44@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.12.68 PRIVMSG #esoteric :int-e: right, that is lazy evaluation. and I assume you take this into account when you prove non-termination of a term.
< 1585662205 504055 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(normalizing = finds a normal form if it exists. strongly normalizing = that + termination. hypernormalizing: if you interleave the strategy and arbitrary reduction, you still reach the normal form if you don't starve the strategy)
< 1585662275 661167 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(such arbitrary reduction steps are highly useful for simplification, but also for program transformations)
< 1585662277 368003 :wib_jonas!b03f0c44@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.12.68 PRIVMSG #esoteric :int-e: I don't understand the distinction between the first two
< 1585662308 28873 :int-e!~noone@int-e.eu PRIVMSG #esoteric :wib_jonas: strong normalization entails that normal forms always exist
< 1585662458 199601 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(And the term is usually used in contexts where the strategy doesn't matter, like simply typed lambda calculus, where unrestricted beta (or beta+eta) reduction is strongly normalizing)
< 1585662483 672859 :wib_jonas!b03f0c44@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.12.68 PRIVMSG #esoteric :er what? this is lambda calculus and you consider all terms, so a normal form doesn't always exist. how can "strong normalization entail" that and be meaningful?
< 1585662494 603971 :int-e!~noone@int-e.eu PRIVMSG #esoteric :wib_jonas: it isn't
< 1585662501 702475 :int-e!~noone@int-e.eu PRIVMSG #esoteric :wib_jonas: That's why I corrected to "normalizing"
< 1585662525 889722 :wib_jonas!b03f0c44@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.12.68 PRIVMSG #esoteric :ah
> 1585662572 950760 PRIVMSG #esoteric :14[[07Procedure14]]4 M10 02https://esolangs.org/w/index.php?diff=70553&oldid=70538 5* 03PythonshellDebugwindow 5* (+169) 10/* Define/Call Function */
< 1585663005 704739 :wib_jonas!b03f0c44@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.12.68 PRIVMSG #esoteric :http://sigbovik.org/2020/ says SIGBOVIK 2020 is a conference that isn't on-site but works by audio talks through the internet. it also says that it's "on April 1 at 5pm". what timezone?
< 1585663016 441112 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :At a guess, GMT-4
< 1585663023 891428 :wib_jonas!b03f0c44@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.12.68 PRIVMSG #esoteric :probably the New York timezone, yes
< 1585663028 629187 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :(the time zone of the usual venue)
< 1585663307 800544 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 256 seconds
< 1585665896 142351 :MDude!~MDude@97-127-171-136.cdrr.qwest.net JOIN :#esoteric
< 1585666081 883965 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :int-e: in your (\1 1) (\C[1 1]), you check that context C is strict in the hole?
> 1585667697 776941 PRIVMSG #esoteric :14[[07DINAC14]]4 M10 02https://esolangs.org/w/index.php?diff=70554&oldid=70260 5* 03PythonshellDebugwindow 5* (+18) 10/* Comments */
< 1585668441 329352 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: Actually I demand that the hole is in a head position...
< 1585668462 202944 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :that would do it...
< 1585669536 732714 :wib_jonas!b03f0c44@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.12.68 QUIT :Remote host closed the connection
< 1585669670 385177 :b_jonas!~x@catv-176-63-12-68.catv.broadband.hu JOIN :#esoteric
< 1585669776 253133 :b_jonas!~x@catv-176-63-12-68.catv.broadband.hu QUIT :Client Quit
< 1585669955 770482 :b_jonas!~x@catv-176-63-12-68.catv.broadband.hu JOIN :#esoteric
< 1585670461 252040 :arseniiv!~arseniiv@95.105.10.115.dynamic.ufanet.ru PRIVMSG #esoteric :how many prominent SIGBOVIK entries have #esoteric made? (for all time)
< 1585670532 550823 :b_jonas!~x@catv-176-63-12-68.catv.broadband.hu PRIVMSG #esoteric :dunno
< 1585670551 693325 :b_jonas!~x@catv-176-63-12-68.catv.broadband.hu PRIVMSG #esoteric :some of #esoteric are actually in the U.S., we Europeans aren't in a clear majority
< 1585670589 993887 :arseniiv!~arseniiv@95.105.10.115.dynamic.ufanet.ru PRIVMSG #esoteric :when I read (too late) the presentations are audio-only, I thought I may have lost a chance to push my luck and submit something, though anyway I had no ideas at all and I have very little experience in spoken English, and in writing papers too :D
< 1585670632 251274 :arseniiv!~arseniiv@95.105.10.115.dynamic.ufanet.ru PRIVMSG #esoteric : some of #esoteric are actually in the U.S., we Europeans aren't in a clear majority => yeah I thought the distribution is more or less diverse between many countries
< 1585670691 762773 :rain1!~debian@unaffiliated/rain1 JOIN :#esoteric
< 1585670705 727954 :arseniiv!~arseniiv@95.105.10.115.dynamic.ufanet.ru PRIVMSG #esoteric :that said, I’m not against a joint paper, SIGBOVIK or not. Though the lack of interesting ideas on my part still stands :(
< 1585671420 261628 :b_jonas!~x@catv-176-63-12-68.catv.broadband.hu PRIVMSG #esoteric :arseniiv: they also say that you can submit just a paper, without a presentation, I think
< 1585671501 206240 :arseniiv!~arseniiv@95.105.10.115.dynamic.ufanet.ru PRIVMSG #esoteric :b_jonas: yeah though I’d be glad to be involved in random picking of answers to audience; and I still don’t have any interesting things to write
< 1585672174 151600 :imode!~linear@unaffiliated/imode JOIN :#esoteric
< 1585673261 559958 :mniip!mniip@freenode/staff/mniip QUIT :Remote host closed the connection
< 1585673462 745301 :mniip!~mniip@freenode/staff/mniip JOIN :#esoteric
< 1585674072 869839 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca JOIN :#esoteric
< 1585674356 694741 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca QUIT :Quit: zzo38
< 1585675540 248670 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca JOIN :#esoteric
< 1585678659 983480 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :int-e: does (\1 1) (\1 (\\3 2)) fall under your (\1 1) (\C[1 1]) detection?
< 1585679252 124956 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :Why does my internet connection tend to not work so well on the last day of a month?
< 1585679354 277411 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca QUIT :Disconnected by services
< 1585679364 21682 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca JOIN :#esoteric
< 1585682509 805458 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Quit: Leaving
< 1585683077 535439 :rain1!~debian@unaffiliated/rain1 QUIT :Quit: Lost terminal
< 1585683324 53408 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 265 seconds
< 1585683710 381544 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net JOIN :#esoteric
> 1585686057 655063 PRIVMSG #esoteric :14[[07+-14]]4 10 02https://esolangs.org/w/index.php?diff=70555&oldid=66723 5* 03Voltage2007 5* (+1744) 10
< 1585687007 795739 :imode!~linear@unaffiliated/imode JOIN :#esoteric
< 1585689798 203280 :cpressey!~cpressey@79-65-250-244.host.pobb.as13285.net JOIN :#esoteric
< 1585689877 340000 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
< 1585689904 15877 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 256 seconds
< 1585689958 761351 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life
< 1585690695 55374 :cpressey!~cpressey@79-65-250-244.host.pobb.as13285.net PRIVMSG #esoteric :I saw a strange sight in the night sky tonight - a line of lights moving eastward, all the same velocity and trajectory. Turns out it was, most likely, a group of experimental SpaceX satellites.
< 1585690779 764756 :arseniiv_!~arseniiv@136.169.238.3 JOIN :#esoteric
< 1585690964 365215 :arseniiv!~arseniiv@95.105.10.115.dynamic.ufanet.ru QUIT :Ping timeout: 258 seconds
< 1585691047 856213 :cpressey!~cpressey@79-65-250-244.host.pobb.as13285.net QUIT :Quit: WeeChat 1.9.1
< 1585694412 756224 :arseniiv_!~arseniiv@136.169.238.3 QUIT :Ping timeout: 256 seconds
< 1585697843 685184 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Ping timeout: 240 seconds