< 1620432082 955659 :tromp!~tromp@dhcp-077-249-230-040.chello.nl QUIT :Ping timeout: 252 seconds < 1620434928 65392 :delta23!~deltaepsi@unaffiliated/deltaepsilon23 QUIT :Quit: Leaving < 1620435057 552255 :tromp!~tromp@dhcp-077-249-230-040.chello.nl JOIN :#esoteric < 1620435301 656548 :sprock!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1620435346 535832 :tromp!~tromp@dhcp-077-249-230-040.chello.nl QUIT :Ping timeout: 265 seconds < 1620438303 877543 :tromp!~tromp@dhcp-077-249-230-040.chello.nl JOIN :#esoteric < 1620438556 610674 :delta23!~deltaepsi@unaffiliated/deltaepsilon23 JOIN :#esoteric < 1620438592 913644 :tromp!~tromp@dhcp-077-249-230-040.chello.nl QUIT :Ping timeout: 268 seconds < 1620439444 609108 :tromp!~tromp@dhcp-077-249-230-040.chello.nl JOIN :#esoteric < 1620439729 586943 :tromp!~tromp@dhcp-077-249-230-040.chello.nl QUIT :Ping timeout: 252 seconds < 1620440401 62067 :xkapastel!uid17782@gateway/web/irccloud.com/x-nlcljrukqpuvrydw QUIT :Quit: Connection closed for inactivity > 1620442213 318960 PRIVMSG #esoteric :14[[07Rayuela14]]4 10 02https://esolangs.org/w/index.php?diff=82748&oldid=82741 5* 03Dreamvoyager 5* (+1834) 10/* Examples */ < 1620443500 869792 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Quit: Hmmm < 1620446566 933391 :delta23!~deltaepsi@unaffiliated/deltaepsilon23 QUIT :Remote host closed the connection < 1620446594 574945 :delta23!~deltaepsi@unaffiliated/deltaepsilon23 JOIN :#esoteric > 1620447228 885510 PRIVMSG #esoteric :14[[07Rayuela14]]4 M10 02https://esolangs.org/w/index.php?diff=82749&oldid=82748 5* 03Dreamvoyager 5* (-18) 10/* What Everything Means */ < 1620447405 894104 :delta23!~deltaepsi@unaffiliated/deltaepsilon23 QUIT :Quit: Leaving > 1620448159 446054 PRIVMSG #esoteric :14[[07Rayuela14]]4 M10 02https://esolangs.org/w/index.php?diff=82750&oldid=82749 5* 03Dreamvoyager 5* (+226) 10/* Hello, Rayuela! */ < 1620449172 920372 :delta23!~deltaepsi@unaffiliated/deltaepsilon23 JOIN :#esoteric > 1620450610 653893 PRIVMSG #esoteric :14[[07Rayuela14]]4 10 02https://esolangs.org/w/index.php?diff=82751&oldid=82750 5* 03Dreamvoyager 5* (-11) 10/* Hello, Rayuela! */ > 1620450841 223857 PRIVMSG #esoteric :14[[07Rayuela14]]4 M10 02https://esolangs.org/w/index.php?diff=82752&oldid=82751 5* 03Dreamvoyager 5* (+1) 10/* Hello, Rayuela! */ > 1620451218 977929 PRIVMSG #esoteric :14[[07Rayuela14]]4 M10 02https://esolangs.org/w/index.php?diff=82753&oldid=82752 5* 03Dreamvoyager 5* (+5) 10/* Full Programs */ > 1620451648 941713 PRIVMSG #esoteric :14[[07Rayuela14]]4 M10 02https://esolangs.org/w/index.php?diff=82754&oldid=82753 5* 03Dreamvoyager 5* (+5) 10/* Hello, Rayuela! */ > 1620453071 802044 PRIVMSG #esoteric :14[[07Rayuela14]]4 M10 02https://esolangs.org/w/index.php?diff=82755&oldid=82754 5* 03Dreamvoyager 5* (-14) 10/* Hello, Rayuela! */ > 1620453286 200502 PRIVMSG #esoteric :14[[07Rayuela14]]4 M10 02https://esolangs.org/w/index.php?diff=82756&oldid=82755 5* 03Dreamvoyager 5* (+15) 10/* Full Programs */ < 1620453292 558810 :sprock!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 252 seconds < 1620456278 668786 :tromp!~tromp@dhcp-077-249-230-040.chello.nl JOIN :#esoteric < 1620456757 565031 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 252 seconds > 1620457952 634753 PRIVMSG #esoteric :14[[07User:Zzo38/Programming languages with unusual features14]]4 10 02https://esolangs.org/w/index.php?diff=82757&oldid=82578 5* 03Zzo38 5* (+539) 10 < 1620458066 790316 :Sgeo!~Sgeo@ool-18b9875e.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1620458270 829988 :arseniiv!~arseniiv@136.169.169.115 JOIN :#esoteric < 1620458309 465119 :Sgeo!~Sgeo@ool-18b9875e.dyn.optonline.net JOIN :#esoteric < 1620459126 975807 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric > 1620460632 630386 PRIVMSG #esoteric :14[[07User:Zzo38/Programming languages with unusual features14]]4 10 02https://esolangs.org/w/index.php?diff=82758&oldid=82757 5* 03ColorfulGalaxy (disambiguation) 5* (+117) 10/* C */ Link added > 1620461170 507760 PRIVMSG #esoteric :14[[07Special:Log/upload14]]4 upload10 02 5* 03Tomhe 5* 10uploaded "[[02File:Hello.fj.png10]]" < 1620461373 800230 :hendursa1!~weechat@gateway/tor-sasl/hendursaga QUIT :Ping timeout: 240 seconds > 1620461573 532415 PRIVMSG #esoteric :14[[07A.R.T.I.C.L.E.14]]4 10 02https://esolangs.org/w/index.php?diff=82760&oldid=82713 5* 03ColorfulGalaxy (disambiguation) 5* (+215) 10/* Clear accumulator */ ) (Snippet < 1620461587 780553 :hendursa1!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric > 1620461590 488864 PRIVMSG #esoteric :14[[07A.R.T.I.C.L.E.14]]4 M10 02https://esolangs.org/w/index.php?diff=82761&oldid=82760 5* 03ColorfulGalaxy (disambiguation) 5* (+1) 10/* Clear accumulator */ < 1620461732 881528 :LKoen!~LKoen@140.170.9.109.rev.sfr.net JOIN :#esoteric < 1620463044 353514 :b_jonas!~a@catv-176-63-11-223.catv.broadband.hu PRIVMSG #esoteric :dear spammers, if you send multiple variants of the same spam shortly one after another, that just makes it more likely that I'll throw them out. even if I were so stupid as to fall for one of those "you won 1,000,000,000,000,000,000 dollars, get your prepaid card now" emails, sending two simultaneously with different details just makes you look stupid < 1620463111 103978 :LKoen!~LKoen@140.170.9.109.rev.sfr.net PRIVMSG #esoteric :so I hear you have a few millions millions millions of dollars that you don't want < 1620463452 40996 :b_jonas!~a@catv-176-63-11-223.catv.broadband.hu PRIVMSG #esoteric :LKoen: also professional spam as in invitations to publish in junk journals and conferences (though Covid reduced the number of conference invitations) and book series, a lot of random newsletters from online or in-person stores where I have shopped once and gave them an email address (bioszallito.hu seems to be the most prof... prol... sends them the most frequently), < 1620463474 941387 :LKoen!~LKoen@140.170.9.109.rev.sfr.net PRIVMSG #esoteric :prolific < 1620463489 651637 :LKoen!~LKoen@140.170.9.109.rev.sfr.net PRIVMSG #esoteric :yeah I get invites from predatory journals, too < 1620463491 582803 :LKoen!~LKoen@140.170.9.109.rev.sfr.net PRIVMSG #esoteric :it's flattering < 1620463551 414040 :LKoen!~LKoen@140.170.9.109.rev.sfr.net PRIVMSG #esoteric :also, about two or three years ago, I started receiving spam that was pretending to be from big companies < 1620463562 543814 :b_jonas!~a@catv-176-63-11-223.catv.broadband.hu PRIVMSG #esoteric :multiple contradictory emails of the "your email account will be locked unless you confirm your personal data" type, and even a few copies of the "your computer has been hacked and I made video recording of you masturbating, please send me bitcoins" email in perfect (not google-translated) Hungarian < 1620463565 253008 :LKoen!~LKoen@140.170.9.109.rev.sfr.net PRIVMSG #esoteric :mostly amazon, facebook, my phone company, and flight companies < 1620463578 250470 :LKoen!~LKoen@140.170.9.109.rev.sfr.net PRIVMSG #esoteric :and all those look exactly the same (appart from which company they claim to be from) < 1620463630 694224 :b_jonas!~a@catv-176-63-11-223.catv.broadband.hu PRIVMSG #esoteric :oh yeah, emails in the name of more banks than I ever hand contact with too, emails of "your package couldn't be delivered", < 1620463645 309158 :b_jonas!~a@catv-176-63-11-223.catv.broadband.hu PRIVMSG #esoteric :and sometimes emails in languages I don't speak of which I can't determine what kind they're trying to be < 1620463646 607649 :LKoen!~LKoen@140.170.9.109.rev.sfr.net PRIVMSG #esoteric :oh that's funny < 1620463661 305764 :LKoen!~LKoen@140.170.9.109.rev.sfr.net PRIVMSG #esoteric :I read about scams that were about delivering unordered packages < 1620463672 33564 :LKoen!~LKoen@140.170.9.109.rev.sfr.net PRIVMSG #esoteric :like, you open your door, and there is a package on the doorstep < 1620463689 212344 :LKoen!~LKoen@140.170.9.109.rev.sfr.net PRIVMSG #esoteric :and for some reasons that helps them make money illegally (I couldn't understand the logic) > 1620463702 498692 PRIVMSG #esoteric :14[[07FlipJump14]]4 N10 02https://esolangs.org/w/index.php?oldid=82762 5* 03Tomhe 5* (+14198) 10Initial FlipJump page :) < 1620463759 622984 :b_jonas!~a@catv-176-63-11-223.catv.broadband.hu PRIVMSG #esoteric :a few months ago there was also a wave of SMS spam with "your package is on the way" and an URL, I've got several and I think they sent a lot in Hungary < 1620463802 6452 :b_jonas!~a@catv-176-63-11-223.catv.broadband.hu PRIVMSG #esoteric :which makes sense because it's a good way to scam the older demographic who now start to get smartphones but can't use them < 1620464008 561130 :b_jonas!~a@catv-176-63-11-223.catv.broadband.hu PRIVMSG #esoteric :but my favorite is still the dead-tree spam that I found taped to the door of my parent's house, a fake bill from some utility company (it's easy, water is still a monopoly, and while technically there are multiple companies you can contract with to get electricity or gas, most old houses still just have a contract with the successor of whatever the monopoly was), stating that they'll shut of the gas < 1620464015 14270 :b_jonas!~a@catv-176-63-11-223.catv.broadband.hu PRIVMSG #esoteric :(or electricity, can't recall) if you don't pay the money to the bank account they give by today, and with the actual phone number of the gas or electricity company < 1620464846 867904 :Sgeo!~Sgeo@ool-18b9875e.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1620471891 824873 :contrapumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1620471946 931224 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 252 seconds < 1620472408 945377 :contrapumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 252 seconds < 1620472409 410174 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric > 1620472845 649020 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03CristianCantoro 5* 10New user account > 1620473332 324090 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=82763&oldid=82685 5* 03CristianCantoro 5* (+191) 10/* Introductions */ > 1620473388 589766 PRIVMSG #esoteric :14[[07User:CristianCantoro14]]4 N10 02https://esolangs.org/w/index.php?oldid=82764 5* 03CristianCantoro 5* (+159) 10+my user page < 1620476111 953195 :Hooloovo0!Hooloovoo@sorunome.de QUIT :Ping timeout: 246 seconds < 1620476418 579290 :Hooloovo0!Hooloovoo@sorunome.de JOIN :#esoteric < 1620477864 713503 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I get spam for services that I think must be pretty niche. How likely is is for a random person to want to order "precision zinc and aluminum alloy die casting" for example? And even if you happen to hit a decision-maker in some business enterprise, are they really going to make purchasing decisions like that based on spam? < 1620477962 409249 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Funny, that sounds vaguely familiar. < 1620478031 152415 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And that's not even close to the most obscure thing. How about "Re: Exclusive distributor of PTCA/PTA/ Introducer Sheat 0412"? (Which I think is medical equipment or something.) < 1620478034 336539 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It may be that these are scams of some other kind, rather than just plain advertisement, but I'd think they'd at least pick titles with a little more broad appeal. < 1620478089 394570 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Also on that list: "top10 Optical Fiber HDMI cables manufacturer", "TPU film updated offer", "5 axis CNC milling / Al/Zn/Mg die casting / plastic injection moulding", ... < 1620478107 202147 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And many emails about wire mesh. < 1620478149 656804 :int-e!~noone@int-e.eu PRIVMSG #esoteric :No, only the zinc and aluminium thing rings a bell here. < 1620478248 650385 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Hmm, should probably archive the contents of the spam folder off the IMAP server again, it's grown to 20324 messages. < 1620478276 694690 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Not sure why I'm keeping these, anyway. But storage is cheap, and maybe someday I'll want to build a very personal spam model or something. < 1620478288 137150 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I was going to say... I delete spam :P < 1620478312 948872 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I just periodically slurp these off and compress them. < 1620478468 154754 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Sometimes they put the recipient address on the subject line, which sounds a little funny, when it's a role account of some sort. E.g. here's one titled "Disinfection robot bfjoust@selene.zem.fi". < 1620478486 918592 :int-e!~noone@int-e.eu PRIVMSG #esoteric :^style spam < 1620478487 151635 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :Not found. < 1620478587 961877 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"AC DC motors Micro solenoid pumps and solenoid valves bfjoust bfjoust@selene.zem.fi" < 1620478602 932492 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :bfjoust@ gets a lot of offers. < 1620478712 522531 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, also on that note, webmaster@esolangs.org has an email from "an IT company In India" asking if we're "interested in Design or Re-design your website". < 1620479442 233826 :int-e!~noone@int-e.eu PRIVMSG #esoteric :that's more plausible < 1620479822 895397 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Also a logistics company from China, in case we're interested in shipping some esolangs merch I guess. < 1620480076 364941 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh I remember getting spam for welding machines. Somehow they seem to have given up... < 1620480501 788009 :sprock!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1620483576 169175 :tromp!~tromp@dhcp-077-249-230-040.chello.nl QUIT :Remote host closed the connection < 1620483633 216539 :xkapastel!uid17782@gateway/web/irccloud.com/x-ubodzoficrnipzac JOIN :#esoteric < 1620483658 875238 :tromp!~tromp@dhcp-077-249-230-040.chello.nl JOIN :#esoteric < 1620484104 800128 :imode!~imode@unaffiliated/imode JOIN :#esoteric > 1620485244 859352 PRIVMSG #esoteric :14[[07Monicelli14]]4 N10 02https://esolangs.org/w/index.php?oldid=82765 5* 03CristianCantoro 5* (+1083) 10+add page < 1620485707 789347 :contrapumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1620485806 672822 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 265 seconds < 1620486254 802211 :tromp!~tromp@dhcp-077-249-230-040.chello.nl QUIT :Remote host closed the connection < 1620486475 317226 :contrapumpkin!~copumpkin@unaffiliated/copumpkin NICK :copumpkin < 1620486794 875110 :tromp!~tromp@dhcp-077-249-230-040.chello.nl JOIN :#esoteric < 1620486957 697534 :tromp!~tromp@dhcp-077-249-230-040.chello.nl QUIT :Remote host closed the connection < 1620486972 966402 :tromp!~tromp@dhcp-077-249-230-040.chello.nl JOIN :#esoteric > 1620487450 439423 PRIVMSG #esoteric :14[[07Monicelli14]]4 M10 02https://esolangs.org/w/index.php?diff=82766&oldid=82765 5* 03CristianCantoro 5* (-4) 10 < 1620488619 561501 :budonyc!~budonyc@c-24-62-207-85.hsd1.ma.comcast.net QUIT :Ping timeout: 265 seconds < 1620489377 310390 :tromp!~tromp@dhcp-077-249-230-040.chello.nl QUIT :Remote host closed the connection < 1620489966 901928 :budonyc!~budonyc@c-24-62-207-85.hsd1.ma.comcast.net JOIN :#esoteric > 1620490159 330129 PRIVMSG #esoteric :14[[0799 (Esolang)14]]4 10 02https://esolangs.org/w/index.php?diff=82767&oldid=82735 5* 03SunnyMoon 5* (+443) 10Forgot to add examples. (The programs I made were too long) > 1620490227 190941 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=82768&oldid=82739 5* 03SunnyMoon 5* (+26) 10Thought I added this already :P < 1620490246 823976 :tromp!~tromp@dhcp-077-249-230-040.chello.nl JOIN :#esoteric > 1620490306 956824 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=82769&oldid=82768 5* 03SunnyMoon 5* (+0) 10The person who invented small letters shouldn't have existed > 1620490467 124531 PRIVMSG #esoteric :14[[07Rayuela14]]4 10 02https://esolangs.org/w/index.php?diff=82770&oldid=82756 5* 03Dreamvoyager 5* (+365) 10/* Full Programs */ < 1620490512 38103 :LKoen!~LKoen@140.170.9.109.rev.sfr.net QUIT :Remote host closed the connection < 1620490751 88245 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :are there any models of computation that have popped up in recent years that model distributed computation? i.e among multiple processors/nodes in a network without shared memory. > 1620491280 773594 PRIVMSG #esoteric :14[[07OISC14]]4 M10 02https://esolangs.org/w/index.php?diff=82771&oldid=82104 5* 03Tomhe 5* (+226) 10adding FlipJump > 1620491376 439696 PRIVMSG #esoteric :14[[07BitBitJump14]]4 M10 02https://esolangs.org/w/index.php?diff=82772&oldid=74221 5* 03Tomhe 5* (+15) 10adding FlipJump > 1620491492 640496 PRIVMSG #esoteric :14[[07TOGA computer14]]4 M10 02https://esolangs.org/w/index.php?diff=82773&oldid=79384 5* 03Tomhe 5* (+15) 10adding the similar FlipJump > 1620491570 792485 PRIVMSG #esoteric :14[[07Rayuela14]]4 M10 02https://esolangs.org/w/index.php?diff=82774&oldid=82770 5* 03Dreamvoyager 5* (+1) 10/* For a number abc, output abccba. */ > 1620491601 788443 PRIVMSG #esoteric :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=82775&oldid=82769 5* 03Tomhe 5* (+15) 10adding FlipJump < 1620491963 205568 :contrapumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1620492101 765650 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 240 seconds > 1620492167 748203 PRIVMSG #esoteric :14[[07User:Tomhe14]]4 10 02https://esolangs.org/w/index.php?diff=82776&oldid=80490 5* 03Tomhe 5* (+38) 10revealing FlipJump < 1620493432 781681 :Sgeo!~Sgeo@ool-18b9875e.dyn.optonline.net JOIN :#esoteric < 1620494916 30749 :b_jonas!~a@catv-176-63-11-223.catv.broadband.hu PRIVMSG #esoteric :fizzie: aren't some of those obscure ads because you once bought in a store that sells something similar, and they sold your email address for targeted ads? < 1620494948 736561 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Maybe, but definitely not for the `bfjoust` address. < 1620494960 25202 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That must have been picked up from the web with no context. < 1620495028 731780 :b_jonas!~a@catv-176-63-11-223.catv.broadband.hu PRIVMSG #esoteric :yeah < 1620495046 304848 :b_jonas!~a@catv-176-63-11-223.catv.broadband.hu PRIVMSG #esoteric :because I know why I'm getting ads for books and medical equipment and sports equipment, those are particular stores that identify themselves < 1620495114 946089 :b_jonas!~a@catv-176-63-11-223.catv.broadband.hu PRIVMSG #esoteric :the ones about drones, miracle cure for joints, and aphrodisiac, those I think are generic non-targeted ads sent to everyone < 1620495147 641539 :b_jonas!~a@catv-176-63-11-223.catv.broadband.hu PRIVMSG #esoteric :so are the ones in the name of banks and paypal < 1620495294 773632 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Also that one that says "12,000 shed plans inside", which has been happening for long. < 1620495298 948346 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :https://zem.fi/tmp/full_of_sheds.png < 1620495540 923295 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :clearly you need a shed. < 1620495555 254803 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :with 12,000 variations. < 1620496558 335778 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :At least with the email I have set up, I only very rarely receive any spam at all. < 1620496610 617164 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :(Although, I have sometimes received some. Sometimes when I did receive some more, I disabled that address. It was once about they have videos of me from my computer, which is impossible since I do not have a camera or microphone attached to my computer anyways.) < 1620496713 107329 :tromp!~tromp@dhcp-077-249-230-040.chello.nl QUIT :Remote host closed the connection < 1620497190 930502 :tromp!~tromp@dhcp-077-249-230-040.chello.nl JOIN :#esoteric < 1620498970 814292 :arseniiv!~arseniiv@136.169.169.115 PRIVMSG #esoteric :@t Refl < 1620498971 43643 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Maybe you meant: tell thank you thanks thesaurus thx tic-tac-toe ticker time todo todo-add todo-delete type v @ ? . < 1620498976 454362 :arseniiv!~arseniiv@136.169.169.115 PRIVMSG #esoteric :@type Refl < 1620498977 617608 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :forall k (a :: k). a :~: a < 1620498995 87220 :arseniiv!~arseniiv@136.169.169.115 PRIVMSG #esoteric :@thank lambdabot < 1620498995 409679 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Maybe you meant: thank you thanks < 1620499002 555665 :arseniiv!~arseniiv@136.169.169.115 PRIVMSG #esoteric :@thanks lambdabot < 1620499002 819855 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :you are welcome < 1620499305 570865 :hendursa1!~weechat@gateway/tor-sasl/hendursaga QUIT :Quit: hendursa1 < 1620499430 825228 :hendursaga!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric < 1620499551 403197 :arseniiv!~arseniiv@136.169.169.115 PRIVMSG #esoteric :trying to get how to formulate path induction from HoTT in haskell, if that’s at all possible < 1620499563 662494 :arseniiv!~arseniiv@136.169.169.115 PRIVMSG #esoteric :would we need DataKinds, eh < 1620499715 674862 :arseniiv!~arseniiv@136.169.169.115 PRIVMSG #esoteric :if you try to write it based on inductions (folds) for your usual non-GADT types like Nat, [a], (a, b), Either a b, (), Void, you realise you get stuck at how to represent the :~: constructor which for I asked lambdabot for its type which isn’t that bad but it still doesn’t make much help < 1620499857 795798 :arseniiv!~arseniiv@136.169.169.115 PRIVMSG #esoteric :ah, I think I see. It got too dependent in that book, it even has the usual natural number induction in a very dependent way, not just a -> (a -> a) -> Nat -> a, but a 0 -> (forall n. a n -> a (n + 1)) -> forall n. a n < 1620499882 300861 :arseniiv!~arseniiv@136.169.169.115 PRIVMSG #esoteric :so I maybe just need to de-dependize the book version < 1620500066 558053 :arseniiv!~arseniiv@136.169.169.115 PRIVMSG #esoteric :though I suspect then the resulting version of path induction will lose all its usefulness! Let’s check < 1620500159 327479 :tromp!~tromp@dhcp-077-249-230-040.chello.nl QUIT :Remote host closed the connection < 1620500237 884765 :arseniiv!~arseniiv@136.169.169.115 PRIVMSG #esoteric :@kind (:~:) < 1620500239 154100 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :k -> k -> * < 1620500248 987520 :arseniiv!~arseniiv@136.169.169.115 PRIVMSG #esoteric :what else I expected < 1620500524 763964 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`learn The password of the month is heavily guarded. < 1620500530 713828 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Relearned 'password': The password of the month is heavily guarded. < 1620500647 107941 :arseniiv!~arseniiv@136.169.169.115 PRIVMSG #esoteric :something like this?.. foldPath :: (forall x :: k. a x x) -> (forall x y :: k. x :~: y -> a x y) < 1620500674 9896 :arseniiv!~arseniiv@136.169.169.115 PRIVMSG #esoteric :am I right we may move forall x y out and make that explicit? < 1620500725 90347 :arseniiv!~arseniiv@136.169.169.115 PRIVMSG #esoteric :foldPath :: forall x y :: k. (forall x :: k. a x x) -> x :~: y -> a x y -- or at least this way, as we can’t leave out k I think < 1620500739 646394 :arseniiv!~arseniiv@136.169.169.115 PRIVMSG #esoteric :does it at all have any sense < 1620500808 201571 :int-e!~noone@int-e.eu PRIVMSG #esoteric :nothing has any sense < 1620500862 371522 :arseniiv!~arseniiv@136.169.169.115 PRIVMSG #esoteric :and its definition should be something like `foldPath z Refl = z` and in this light it does indeed has a bit of usefulness in it! < 1620500929 890856 :arseniiv!~arseniiv@136.169.169.115 PRIVMSG #esoteric :I dare we try. Dear lambdabot please don’t overheat < 1620500930 40812 :arseniiv!~arseniiv@136.169.169.115 PRIVMSG #esoteric :> foldPath :: forall x y :: k. (forall x :: k. a x x) -> x :~: y -> a x y < 1620500930 40859 :arseniiv!~arseniiv@136.169.169.115 PRIVMSG #esoteric :> foldPath z Refl = z < 1620500931 875569 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:17: error: :1:17: error: parse error on input ‘=’ < 1620500931 982927 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:24: error: :1:24: error: parse error on input ‘::’ < 1620500982 383287 :arseniiv!~arseniiv@136.169.169.115 PRIVMSG #esoteric :I don’t understand, I’ll resume in private now < 1620500998 493160 :int-e!~noone@int-e.eu PRIVMSG #esoteric :there is no multiline input in lambdabot < 1620501010 225400 :arseniiv!~arseniiv@136.169.169.115 PRIVMSG #esoteric :ah, right < 1620501016 533408 :arseniiv!~arseniiv@136.169.169.115 PRIVMSG #esoteric :the error confused me still < 1620501050 625426 :int-e!~noone@int-e.eu PRIVMSG #esoteric :there's no '=' in the middle of an expression, and somehow the errors got out of order < 1620501098 524395 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(lambdabot uses a separate thread per message, and evidently forks off concurrent mueval processes... the second one was faster) < 1620501115 39318 :delta23!~deltaepsi@unaffiliated/deltaepsilon23 QUIT :Quit: Leaving < 1620501129 24101 :arseniiv!~arseniiv@136.169.169.115 PRIVMSG #esoteric :I now think I completely forgot how do we define something together with type annotation in one line: > { ann; def } doesn’t work < 1620501177 387135 :int-e!~noone@int-e.eu PRIVMSG #esoteric :> takes and expression. @let is for definitions, though as long as you're playing around, just using the let ... in ... syntax instead is better < 1620501226 143044 :int-e!~noone@int-e.eu PRIVMSG #esoteric :> let foo 0 = 0; foo 1 = 1; foo n = foo (n-1) + foo (n-2) in map foo [1..10] < 1620501228 80415 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [1,1,2,3,5,8,13,21,34,55] < 1620501281 647005 :arseniiv!~arseniiv@136.169.169.115 PRIVMSG #esoteric :don’t worry, I’ll unlet everything later. Now I think I wrote `x y :: k` badly, it should maybe be `(x :: k) (y :: k)` < 1620501512 876808 :arseniiv!~arseniiv@136.169.169.115 PRIVMSG #esoteric :it seems the correct typing is this: foldPath :: forall k (a :: k -> k -> *) (x :: k) (y :: k). (forall (z :: k). a z z) -> x :~: y -> a x y < 1620501566 130850 :arseniiv!~arseniiv@136.169.169.115 PRIVMSG #esoteric :it compiles but I didn’t gave it a good expression < 1620501601 540095 :arseniiv!~arseniiv@136.169.169.115 PRIVMSG #esoteric :I don’t immediately know for which interesting a we can make forall z. a z z < 1620501841 938280 :tromp!~tromp@dhcp-077-249-230-040.chello.nl JOIN :#esoteric < 1620502074 907668 :arseniiv!~arseniiv@136.169.169.115 PRIVMSG #esoteric :in the original, dependent formulation that’s way more manageable: (a :: forall (x :: k) -> forall (y :: k) -> x :~: y -> *) and (forall (z :: k). a z z Refl) and we return not just (x :~: y -> a x y) but (forall (p :: x :~: y) -> a x y p) < 1620502106 371792 :arseniiv!~arseniiv@136.169.169.115 PRIVMSG #esoteric :hm no why would I say that’s more manageable < 1620502190 393446 :arseniiv!~arseniiv@136.169.169.115 PRIVMSG #esoteric :but I missed the perfect example. Let’s take a = (->) ! < 1620502300 940448 :arseniiv!~arseniiv@136.169.169.115 PRIVMSG #esoteric :then we get proof transfer or something principle: foldPath id :: forall k x y. x :~: y -> (x -> y) < 1620502319 222938 :arseniiv!~arseniiv@136.169.169.115 PRIVMSG #esoteric :well, not this way, but we can get x :~: y -> (p x -> p y) < 1620502338 341459 :int-e!~noone@int-e.eu PRIVMSG #esoteric ::t castWith < 1620502339 575914 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :error: Variable not in scope: castWith < 1620502349 151822 :int-e!~noone@int-e.eu PRIVMSG #esoteric ::t Data.Type.Equality.castWith < 1620502350 364993 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(a :~: b) -> a -> b < 1620502365 160979 :arseniiv!~arseniiv@136.169.169.115 PRIVMSG #esoteric :yeah I won’t be surprised it’s already there < 1620502386 871081 :arseniiv!~arseniiv@136.169.169.115 PRIVMSG #esoteric :I mean, I’m not < 1620502433 623495 :arseniiv!~arseniiv@136.169.169.115 PRIVMSG #esoteric :summer is coming and little flies or spiders are already a bit getting out of hand < 1620502816 754474 :xkapastel!uid17782@gateway/web/irccloud.com/x-ubodzoficrnipzac QUIT :Quit: Connection closed for inactivity < 1620502890 181593 :xkapastel!uid17782@gateway/web/irccloud.com/x-nvxmqndcqoqioqwm JOIN :#esoteric > 1620503975 483652 PRIVMSG #esoteric :14[[07Jitejix14]]4 10 02https://esolangs.org/w/index.php?diff=82777&oldid=82740 5* 03Kemuri 5* (-12) 10 < 1620505612 969423 :j-bot!~jbot@hagall.firefly.nu QUIT :Remote host closed the connection < 1620505629 977832 :j-bot!~jbot@hagall.firefly.nu JOIN :#esoteric < 1620506876 987138 :delta23!~deltaepsi@unaffiliated/deltaepsilon23 JOIN :#esoteric > 1620508690 622041 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Aurasphere 5* 10New user account > 1620508752 973705 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Dnm 5* 10New user account > 1620508907 576656 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=82778&oldid=82763 5* 03Aurasphere 5* (+154) 10 < 1620508993 4869 :delta23!~deltaepsi@unaffiliated/deltaepsilon23 QUIT :Ping timeout: 240 seconds > 1620509143 748020 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=82779&oldid=82778 5* 03Dnm 5* (+332) 10 > 1620510039 928348 PRIVMSG #esoteric :14[[07Deadfish14]]4 10 02https://esolangs.org/w/index.php?diff=82780&oldid=81575 5* 03Dnm 5* (+763) 10Added Deadfish in Zeno > 1620510857 679960 PRIVMSG #esoteric :14[[07Deadfish14]]4 M10 02https://esolangs.org/w/index.php?diff=82781&oldid=82780 5* 03Dnm 5* (-1) 10/* Zeno */ Slight edits < 1620511293 919836 :delta23!~deltaepsi@unaffiliated/deltaepsilon23 JOIN :#esoteric < 1620513526 385790 :delta23!~deltaepsi@unaffiliated/deltaepsilon23 QUIT :Read error: Connection reset by peer < 1620514285 71592 :tromp!~tromp@dhcp-077-249-230-040.chello.nl QUIT :Remote host closed the connection > 1620515056 872052 PRIVMSG #esoteric :14[[07GomorraSQL14]]4 N10 02https://esolangs.org/w/index.php?oldid=82782 5* 03Aurasphere 5* (+6317) 10Created page with "{{infobox proglang |name=GomorraSQL |paradigms=[[:Category:Declarative paradigm|Declarative]] |author=[https://aurasphere.co Donato Rimenti] |year=[[:Category:2021|2021]] |typ..." < 1620515096 396138 :hendursaga!~weechat@gateway/tor-sasl/hendursaga QUIT :Remote host closed the connection < 1620515140 743182 :hendursaga!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric > 1620515358 835233 PRIVMSG #esoteric :14[[07GomorraSQL14]]4 10 02https://esolangs.org/w/index.php?diff=82783&oldid=82782 5* 03Aurasphere 5* (-2) 10 < 1620515481 797703 :tromp!~tromp@dhcp-077-249-230-040.chello.nl JOIN :#esoteric < 1620515525 757060 :delta23!~deltaepsi@unaffiliated/deltaepsilon23 JOIN :#esoteric > 1620515625 245852 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=82784&oldid=82775 5* 03Aurasphere 5* (+17) 10 < 1620515766 826680 :tromp!~tromp@dhcp-077-249-230-040.chello.nl QUIT :Ping timeout: 260 seconds < 1620517103 951411 :arseniiv!~arseniiv@136.169.169.115 QUIT :Ping timeout: 246 seconds < 1620517351 639576 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1620517355 910520 :contrapumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 246 seconds > 1620517458 787751 PRIVMSG #esoteric :14[[07Rayuela14]]4 M10 02https://esolangs.org/w/index.php?diff=82785&oldid=82774 5* 03Dreamvoyager 5* (-5) 10/* What Everything Means */ > 1620517530 837523 PRIVMSG #esoteric :14[[07GomorraSQL14]]4 M10 02https://esolangs.org/w/index.php?diff=82786&oldid=82783 5* 03PythonshellDebugwindow 5* (-32) 10Use wiki link < 1620517971 819427 :tromp!~tromp@dhcp-077-249-230-040.chello.nl JOIN :#esoteric < 1620518057 987001 :pfe!~pfe@c-09fc524e.019-148-67626725.bbcust.telenor.se JOIN :#esoteric < 1620518251 866304 :tromp!~tromp@dhcp-077-249-230-040.chello.nl QUIT :Ping timeout: 260 seconds