< 1581726788 485060 :shachaf!~shachaf@unaffiliated/shachaf JOIN :#esoteric < 1581728066 356261 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1581728312 184295 :ineiros_!ineiros@kapsi.fi JOIN :#esoteric < 1581728368 933364 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Read error: Connection reset by peer < 1581728369 207178 :HackEso!~h@unaffiliated/fizzie/bot/hackeso QUIT :Remote host closed the connection < 1581728369 355710 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Read error: Connection reset by peer < 1581728369 960139 :egelbot!~egelbot@ip56522cc1.speed.planet.nl QUIT :Ping timeout: 272 seconds < 1581728370 273369 :ineiros!ineiros@kapsi.fi QUIT :Ping timeout: 272 seconds < 1581728370 363945 :lambdabot!~lambdabot@haskell/bot/lambdabot QUIT :Remote host closed the connection < 1581728370 591699 :HackEso!~h@techne.zem.fi JOIN :#esoteric < 1581728374 244619 :HackEso!~h@techne.zem.fi QUIT :Changing host < 1581728374 245357 :HackEso!~h@unaffiliated/fizzie/bot/hackeso JOIN :#esoteric < 1581728398 944548 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1581728588 678147 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN :#esoteric < 1581728944 940623 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1581732893 120249 :tromp!~tromp@2a02:a210:ca3:2800:1cbb:c5d1:7d62:53aa JOIN :#esoteric < 1581732987 350570 :aloril!~aloril@mobile-access-b0485e-98.dhcp.inet.fi QUIT :Ping timeout: 260 seconds < 1581733201 172288 :tromp!~tromp@2a02:a210:ca3:2800:1cbb:c5d1:7d62:53aa QUIT :Ping timeout: 272 seconds < 1581733459 927541 :xkapastel!uid17782@gateway/web/irccloud.com/x-uitmlrclwewimnbo JOIN :#esoteric < 1581733785 412803 :aloril!~aloril@mobile-access-b0485d-206.dhcp.inet.fi JOIN :#esoteric < 1581734184 129898 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1581737144 923971 :arseniiv_!~arseniiv@136.169.202.0 QUIT :Ping timeout: 246 seconds < 1581738222 81457 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 265 seconds < 1581738337 954765 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1581747553 844957 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :I figured out the answer of my question above (mainly by experiments), and clipping predictions into the valid range improves compression. < 1581747847 225484 :xkapastel!uid17782@gateway/web/irccloud.com/x-uitmlrclwewimnbo QUIT :Quit: Connection closed for inactivity < 1581748932 410015 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1581750643 757834 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca QUIT :Ping timeout: 268 seconds < 1581752287 126562 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 265 seconds < 1581753293 130382 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca JOIN :#esoteric < 1581753488 130175 :tromp!~tromp@2a02:a210:ca3:2800:605b:971e:7785:f295 JOIN :#esoteric < 1581754285 440009 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1581754797 46463 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1581754978 438230 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric : Do you like heart shape pizza? < 1581755082 167314 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric > 1581756902 265008 PRIVMSG #esoteric :14[[07User:TuxCrafting14]]4 10 02https://esolangs.org/w/index.php?diff=69874&oldid=63459 5* 03TuxCrafting 5* (-52) 10 < 1581758013 761762 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1581758271 378377 :diverger!~div@81.19.209.53 QUIT :Ping timeout: 260 seconds < 1581758313 207766 :diverger!~div@63.141.248.186 JOIN :#esoteric < 1581758717 144741 :xkapastel!uid17782@gateway/web/irccloud.com/x-yvhrctjpcdzadjxl JOIN :#esoteric < 1581759163 241696 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1581761268 345484 :rain1!~debian@unaffiliated/rain1 JOIN :#esoteric < 1581761656 508192 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Read error: Connection reset by peer < 1581761849 51571 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :hello < 1581762018 943700 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1581763765 66774 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1581763840 354322 :rain1!~debian@unaffiliated/rain1 QUIT :Quit: Lost terminal < 1581764649 601569 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1581764858 253964 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1581765414 401042 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1581765639 360831 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1581766320 88647 :b_jonas!~x@catv-176-63-14-160.catv.broadband.hu PRIVMSG #esoteric :zzo38: I've never met one. I've eaten square shaped pizza, and it was good, but it's not really the shape that made it good but the toppings. < 1581766405 975558 :b_jonas!~x@catv-176-63-14-160.catv.broadband.hu PRIVMSG #esoteric :sadly the pizza store that used to sell that for order has closed since < 1581766478 75064 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1581766535 429826 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1581766554 483818 :b_jonas!~x@catv-176-63-14-160.catv.broadband.hu PRIVMSG #esoteric :fungot, do you like heart-shaped pizza? < 1581766554 551232 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :b_jonas: ( for missing the obvious about fnord) < 1581767087 274705 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1581767339 498744 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1581769437 279438 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1581769607 633534 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1581769733 178099 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1581770571 801529 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1581770592 859220 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric > 1581770841 37540 PRIVMSG #esoteric :14[[07Nanofuck14]]4 M10 02https://esolangs.org/w/index.php?diff=69875&oldid=51548 5* 03PythonshellDebugwindow 5* (+19) 10/* See also */ the year < 1581771700 882769 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1581771932 762413 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot ... < 1581771932 841307 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: so far i think this is the < 1581771937 268465 :int-e!~noone@int-e.eu PRIVMSG #esoteric :^style < 1581771937 275994 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp ukparl youtube < 1581771959 117396 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Odd, usually fungot's IRC style isn't so brief. < 1581771959 179990 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: explain what you mean) < 1581771969 438025 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot! < 1581771969 563028 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: does that satisfy ' a nice fnord. but my programs are compiled? into what? < 1581771976 394909 :int-e!~noone@int-e.eu PRIVMSG #esoteric :now we're talking. < 1581772006 844280 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Though I wouldn't go so far as calling the f-word "nice". < 1581772089 574981 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric < 1581772207 916896 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1581772842 804829 :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.” < 1581773824 808798 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Ah I like getting emails that bugs I had filed and forgotten about finally got fixed. < 1581774267 823724 :b_jonas!~x@catv-176-63-14-160.catv.broadband.hu PRIVMSG #esoteric :fungot, do you eat balsamic vinegar on your salad? < 1581774267 926263 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :b_jonas: i really should make lisp more like perl... anything with the ellipse < 1581774596 721163 :mniip!mniip@freenode/staff/mniip QUIT :Ping timeout: 620 seconds > 1581775089 34529 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Batman nair 5* 10New user account < 1581775615 515466 :int-e!~noone@int-e.eu PRIVMSG #esoteric :@metar lowi < 1581775616 60141 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :LOWI 151350Z 27006KT CAVOK 12/M03 Q1023 R08/19//95 NOSIG > 1581775807 816359 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=69876&oldid=69802 5* 03Batman nair 5* (+178) 10Add introduction < 1581777858 824149 :xkapastel!uid17782@gateway/web/irccloud.com/x-yvhrctjpcdzadjxl QUIT :Quit: Connection closed for inactivity < 1581779478 106788 :arseniiv_!~arseniiv@136.169.202.0 JOIN :#esoteric < 1581780131 867276 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1581780244 604157 :arseniiv_!~arseniiv@136.169.202.0 NICK :arseniiv < 1581781652 708806 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1581781682 924681 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 240 seconds < 1581781734 80060 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life > 1581782412 867432 PRIVMSG #esoteric :14[[07Lazy expander14]]4 10 02https://esolangs.org/w/index.php?diff=69877&oldid=69530 5* 03Hakerh400 5* (-115) 10Remove useless interpreter < 1581782810 866130 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 240 seconds > 1581784258 29659 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow14]]4 M10 02https://esolangs.org/w/index.php?diff=69878&oldid=69830 5* 03PythonshellDebugwindow 5* (+15) 10 < 1581784302 442631 :mniip!mniip@freenode/staff/mniip JOIN :#esoteric < 1581784367 293372 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Ping timeout: 240 seconds < 1581784449 728772 :atslash!~atslash@46.188.0.82 JOIN :#esoteric > 1581785230 488219 PRIVMSG #esoteric :14[[07Nybblang14]]4 M10 02https://esolangs.org/w/index.php?diff=69879&oldid=69866 5* 03PythonshellDebugwindow 5* (+1025) 10 > 1581785261 683893 PRIVMSG #esoteric :14[[07Nybblang14]]4 M10 02https://esolangs.org/w/index.php?diff=69880&oldid=69879 5* 03PythonshellDebugwindow 5* (+67) 10 > 1581785288 67764 PRIVMSG #esoteric :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=69881&oldid=69792 5* 03PythonshellDebugwindow 5* (+15) 10/* N */ < 1581786591 136952 :atslash!~atslash@46.188.0.82 QUIT :Ping timeout: 272 seconds < 1581786948 972857 :atslash!~atslash@213.87.162.111 JOIN :#esoteric < 1581789111 716070 :MDude!~MDude@97-127-171-136.cdrr.qwest.net JOIN :#esoteric < 1581789115 266382 :MDead!~MDude@97-127-171-136.cdrr.qwest.net JOIN :#esoteric < 1581791417 664386 :atslash!~atslash@213.87.162.111 QUIT :Ping timeout: 268 seconds < 1581791477 287833 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1581793327 368070 :MDead!~MDude@97-127-171-136.cdrr.qwest.net QUIT :Ping timeout: 260 seconds < 1581793341 645504 :MDude!~MDude@97-127-171-136.cdrr.qwest.net QUIT :Ping timeout: 268 seconds < 1581794715 348815 :sebbu2!~sebbu@unaffiliated/sebbu NICK :sebbu > 1581795878 189436 PRIVMSG #esoteric :14[[07I like frog14]]4 10 02https://esolangs.org/w/index.php?diff=69882&oldid=69825 5* 03Apollyon094 5* (+95) 10 > 1581796012 764030 PRIVMSG #esoteric :14[[07I like frog14]]4 10 02https://esolangs.org/w/index.php?diff=69883&oldid=69882 5* 03Apollyon094 5* (+24) 10 > 1581796066 606286 PRIVMSG #esoteric :14[[07Boolfuck14]]4 10 02https://esolangs.org/w/index.php?diff=69884&oldid=51416 5* 03Apollyon094 5* (+56) 10 > 1581796098 776982 PRIVMSG #esoteric :14[[07Boolfuck14]]4 10 02https://esolangs.org/w/index.php?diff=69885&oldid=69884 5* 03Apollyon094 5* (+0) 10 > 1581796107 932303 PRIVMSG #esoteric :14[[07Boolfuck14]]4 10 02https://esolangs.org/w/index.php?diff=69886&oldid=69885 5* 03Apollyon094 5* (+0) 10 > 1581796557 746825 PRIVMSG #esoteric :14[[07User:Apollyon09414]]4 10 02https://esolangs.org/w/index.php?diff=69887&oldid=69824 5* 03Apollyon094 5* (+132) 10 > 1581796573 32645 PRIVMSG #esoteric :14[[07User:Apollyon09414]]4 10 02https://esolangs.org/w/index.php?diff=69888&oldid=69887 5* 03Apollyon094 5* (+0) 10 > 1581796593 887322 PRIVMSG #esoteric :14[[07User:Apollyon09414]]4 10 02https://esolangs.org/w/index.php?diff=69889&oldid=69888 5* 03Apollyon094 5* (-1) 10 < 1581797363 849947 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1581798213 175822 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric > 1581799527 584434 PRIVMSG #esoteric :14[[07IRCIS14]]4 N10 02https://esolangs.org/w/index.php?oldid=69890 5* 03Batman nair 5* (+6003) 10Create page for IRCIS > 1581799809 791398 PRIVMSG #esoteric :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=69891&oldid=69881 5* 03Batman nair 5* (+12) 10Add IRCIS to language list < 1581800543 138683 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Quit: Leaving < 1581802401 423147 :arseniiv!~arseniiv@136.169.202.0 PRIVMSG #esoteric :@tell cpressey quote: “Abstractions are purely binders, with no reduction rules associated with them, and abstract binding trees are simply equated up to alpha-equivalence.” ← this is what I had stumbled upon that time ago too; I notated them v.expr, v1.v2.expr etc. < 1581802401 567688 :arseniiv!~arseniiv@136.169.202.0 PRIVMSG #esoteric :@tell cpressey [cont.] though I came up with that after reading a book where this syntax was used firsthand, albeit in an appendix and not being explained in detail < 1581802401 618323 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1581802401 820151 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1581804716 345474 :Frater_EST!adrianbibl@172.242.0.73 JOIN :#esoteric < 1581805057 681148 :Frater_EST!adrianbibl@172.242.0.73 QUIT :Remote host closed the connection < 1581806973 280746 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net JOIN :#esoteric < 1581807263 144594 :arseniiv!~arseniiv@136.169.202.0 QUIT :Ping timeout: 272 seconds