< 1546646706 133703 :oerjan!bc715ce1@gateway/web/freenode/ip.188.113.92.225 JOIN :#esoteric < 1546646823 349389 :nchambers!~nchambers@learnprogramming/staff/nchambers JOIN :#esoteric < 1546647082 699048 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1546648277 163503 :nfd9001!~nfd9001@2601:602:8500:d0d1:45cc:1094:d50:7fb2 JOIN :#esoteric < 1546648283 510170 :Essadon!~Essadon@81-225-32-185-no249.tbcn.telia.com QUIT :Quit: Qutting < 1546649347 612780 :oerjan!bc715ce1@gateway/web/freenode/ip.188.113.92.225 PRIVMSG #esoteric :It's apparently the neighbor's turn to have a cold. :( < 1546649774 150552 :nfd9001!~nfd9001@2601:602:8500:d0d1:45cc:1094:d50:7fb2 QUIT :Ping timeout: 268 seconds < 1546650203 793200 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1546654341 711624 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Do you know that I am making a implementation of Z-machine in Glulx? < 1546654413 381062 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :So far I got everything in ZIPTEST working up to and including the "test of LOC" (which actually uses IN? and not LOC) < 1546655502 510981 :nchambers!~nchambers@learnprogramming/staff/nchambers NICK :uplime < 1546655625 530124 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net JOIN :#esoteric < 1546657084 994191 :oerjan!bc715ce1@gateway/web/freenode/ip.188.113.92.225 PRIVMSG #esoteric :@metar ENVA < 1546657086 353540 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :ENVA 050250Z 29008KT 9999 FEW007 SCT010 BKN025 06/05 Q1021 RMK WIND 670FT 28015KT < 1546657094 198892 :oerjan!bc715ce1@gateway/web/freenode/ip.188.113.92.225 PRIVMSG #esoteric :it did seem humid < 1546657214 86045 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? fungus < 1546657216 541254 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :fungus? ¯\(°​_o)/¯ < 1546657218 428968 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? mushroom < 1546657220 287754 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :mushroom? ¯\(°​_o)/¯ < 1546659135 613096 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1546659387 116425 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :uncle died today. what do you all use to keep programming through times like that. < 1546660103 419553 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 245 seconds < 1546660216 170853 :oerjan!bc715ce1@gateway/web/freenode/ip.188.113.92.225 PRIVMSG #esoteric :My condolences. Alas, I'm the worst person to ask. < 1546660406 716428 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1546661021 610764 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :That is too bad, but I have not needed anything, in order to do so < 1546661078 41182 :moei!~moei@softbank221078042071.bbtec.net JOIN :#esoteric < 1546661093 451099 :ATMunn!ATMunn@unaffiliated/atmunn QUIT :Read error: Connection reset by peer < 1546661093 676140 :Bowserinator!Bowserinat@hellomouse/dev/Bowserinator QUIT :Read error: Connection reset by peer < 1546661093 676190 :moony!moony@hellomouse/dev/moony QUIT :Read error: Connection reset by peer < 1546662459 328516 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://golf.horse/ < 1546664432 543551 :oerjan!bc715ce1@gateway/web/freenode/ip.188.113.92.225 PRIVMSG #esoteric :ACTION simplifies ais523's three bracket proof < 1546664524 750121 :ATMunn!ATMunn@unaffiliated/atmunn JOIN :#esoteric < 1546664546 985174 :Bowserinator!Bowserinat@hellomouse/dev/Bowserinator JOIN :#esoteric < 1546664551 93567 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :I thought of some idea to combine Go with Scrabble. < 1546664646 216920 :moony!moony@hellomouse/dev/moony JOIN :#esoteric < 1546669116 725214 :xkapastel!uid17782@gateway/web/irccloud.com/x-mkrtdviipewlxnun QUIT :Quit: Connection closed for inactivity > 1546669992 924651 PRIVMSG #esoteric :14[[07Talk:Nope.14]]4 10 02https://esolangs.org/w/index.php?diff=58926&oldid=58923 5* 03Salpynx 5* (+2980) 10using Nope. interpreter for arbitrary output < 1546670400 828231 :MDead!~MDude@c-73-187-225-46.hsd1.pa.comcast.net JOIN :#esoteric > 1546670512 964489 PRIVMSG #esoteric :14[[07Talk:Nope.14]]4 M10 02https://esolangs.org/w/index.php?diff=58927&oldid=58926 5* 03Salpynx 5* (+80) 10/* Hello, World! */ < 1546670536 665614 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net QUIT :Ping timeout: 268 seconds < 1546670539 590608 :MDead!~MDude@c-73-187-225-46.hsd1.pa.comcast.net NICK :MDude > 1546671202 108844 PRIVMSG #esoteric :14[[07Brainfuck14]]4 10 02https://esolangs.org/w/index.php?diff=58928&oldid=58897 5* 03Oerjan 5* (+414) 10/* Computational class */ Remove claim that was never made remotely rigorous, and add Ais523's new result from CS.SE > 1546671292 193141 PRIVMSG #esoteric :14[[07Brainfuck14]]4 M10 02https://esolangs.org/w/index.php?diff=58929&oldid=58928 5* 03Oerjan 5* (+0) 10/* Computational class */ 'pparently it's lower case > 1546672258 670848 PRIVMSG #esoteric :14[[07Funciton14]]4 10 02https://esolangs.org/w/index.php?diff=58930&oldid=51638 5* 03Qpliu 5* (+150) 10 > 1546673086 777795 PRIVMSG #esoteric :14[[07Funciton14]]4 10 02https://esolangs.org/w/index.php?diff=58931&oldid=58930 5* 03Qpliu 5* (+103) 10/* External resources */ > 1546673126 994744 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03FizzyApple12 5* 10New user account > 1546673470 348570 PRIVMSG #esoteric :14[[07Talk:Funciton14]]4 10 02https://esolangs.org/w/index.php?diff=58932&oldid=47233 5* 03Qpliu 5* (+713) 10/* Rotation invariant? */ < 1546674275 293452 :spiegelau!~spiegelau@82.144.205.57 JOIN :#esoteric < 1546674514 373664 :oerjan!bc715ce1@gateway/web/freenode/ip.188.113.92.225 QUIT :Quit: Nite < 1546674589 668315 :nfd9001!~nfd9001@2601:602:8500:d0d1:b1b6:7e8c:fe8c:f061 JOIN :#esoteric < 1546676118 52814 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1546676132 952938 :tromp!~tromp@217.103.3.94 JOIN :#esoteric < 1546677307 323405 :uplime!~nchambers@learnprogramming/staff/nchambers QUIT :Ping timeout: 240 seconds < 1546678783 754580 :AnotherTest!~turingcom@ptr-82l26ze7mm4q737w3j4.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1546679010 158146 :hakatashi!~hakatashi@104.131.49.125 QUIT :Remote host closed the connection < 1546679032 769878 :hakatashi!~hakatashi@104.131.49.125 JOIN :#esoteric < 1546681873 127534 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 258 seconds < 1546681936 33923 :tromp!~tromp@217.103.3.94 QUIT :Remote host closed the connection < 1546682557 867374 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric > 1546683769 961045 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=58933&oldid=58919 5* 03FizzyApple12 5* (+342) 10/* Introductions */ > 1546683807 302095 PRIVMSG #esoteric :14[[07Laser14]]4 N10 02https://esolangs.org/w/index.php?oldid=58934 5* 03FizzyApple12 5* (+3184) 10Laser is a 2D programming language built by FizzyApple12 (David Roeder) based on lasers, color, brightness and direction. > 1546683895 201058 PRIVMSG #esoteric :14[[07Laser14]]4 10 02https://esolangs.org/w/index.php?diff=58935&oldid=58934 5* 03FizzyApple12 5* (+19) 10/* Hello World */ > 1546684431 123470 PRIVMSG #esoteric :14[[07Laser14]]4 M10 02https://esolangs.org/w/index.php?diff=58936&oldid=58935 5* 03FizzyApple12 5* (+2) 10/* Hello World */ > 1546684680 709876 PRIVMSG #esoteric :14[[07Laser14]]4 10 02https://esolangs.org/w/index.php?diff=58937&oldid=58936 5* 03FizzyApple12 5* (+18) 10fixed bad formatting > 1546684928 490418 PRIVMSG #esoteric :14[[07Laser14]]4 10 02https://esolangs.org/w/index.php?diff=58938&oldid=58937 5* 03FizzyApple12 5* (+13) 10fixed bad formatting > 1546684992 244636 PRIVMSG #esoteric :14[[07Laser14]]4 10 02https://esolangs.org/w/index.php?diff=58939&oldid=58938 5* 03FizzyApple12 5* (-9) 10fixed bad formatting > 1546685143 342117 PRIVMSG #esoteric :14[[07Laser14]]4 M10 02https://esolangs.org/w/index.php?diff=58940&oldid=58939 5* 03FizzyApple12 5* (+28) 10fix even more bad formatting < 1546685814 801627 :copumpkin[m]!copumpkinm@gateway/shell/matrix.org/x-kyuwaizmiupzmycc QUIT :Remote host closed the connection < 1546686413 533017 :copumpkin[m]!copumpkinm@gateway/shell/matrix.org/x-qdkljumzcblawjrd JOIN :#esoteric < 1546692402 739627 :AnotherTest!~turingcom@ptr-82l26ze7mm4q737w3j4.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 252 seconds < 1546692812 964102 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1546694574 968791 :xkapastel!uid17782@gateway/web/irccloud.com/x-txzzekjyknxqcjtx JOIN :#esoteric < 1546695417 83876 :arseniiv!~arseniiv@94.41.79.143.dynamic.ufanet.ru JOIN :#esoteric < 1546695451 691640 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Quit: Quitte > 1546695839 358812 PRIVMSG #esoteric :14[[07Laser14]]4 M10 02https://esolangs.org/w/index.php?diff=58941&oldid=58940 5* 03FizzyApple12 5* (-42) 10 < 1546696446 904156 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1546696503 317304 :spiegelau!~spiegelau@82.144.205.57 QUIT :Ping timeout: 245 seconds < 1546696547 900147 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Remote host closed the connection < 1546696638 509776 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1546697080 936357 :AnotherTest!~turingcom@ptr-82l26ze7mm4q737w3j4.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1546697955 936834 :AnotherTest!~turingcom@ptr-82l26ze7mm4q737w3j4.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 264 seconds > 1546700934 96677 PRIVMSG #esoteric :14[[07Laser14]]4 10 02https://esolangs.org/w/index.php?diff=58942&oldid=58941 5* 03FizzyApple12 5* (+4) 10 > 1546701887 994033 PRIVMSG #esoteric :14[[07Laser14]]4 M10 02https://esolangs.org/w/index.php?diff=58943&oldid=58942 5* 03FizzyApple12 5* (-5) 10 < 1546703297 840845 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric > 1546703322 217646 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Niceapi 5* 10New user account < 1546703466 812808 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 268 seconds < 1546703473 440519 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life > 1546703690 562527 PRIVMSG #esoteric :14[[07User:FizzyApple1214]]4 N10 02https://esolangs.org/w/index.php?oldid=58944 5* 03FizzyApple12 5* (+229) 10Created page with "FizzyApple12 (David Roeder) is a small programmer that does a lot of work in JavaScript, Python, and C# == His Work == === Website === My website is [http://www.fizzyapple..." < 1546704245 139054 :arseniiv!~arseniiv@94.41.79.143.dynamic.ufanet.ru PRIVMSG #esoteric :how do I prove that Void (a type with no constructors, the zero type) is isomorphic to forall a. a? < 1546704323 367728 :arseniiv!~arseniiv@94.41.79.143.dynamic.ufanet.ru PRIVMSG #esoteric :it’s easy to write two functions Void → (forall a. a) and (forall a. a) → Void, but I can’t prove their two compositions equal to id < 1546704382 168250 :arseniiv!~arseniiv@94.41.79.143.dynamic.ufanet.ru PRIVMSG #esoteric :the question in this case is what (case x of {}) is equal to, or how can I prove the isomorphism in some other, not equational way < 1546704465 721360 :arseniiv!~arseniiv@94.41.79.143.dynamic.ufanet.ru PRIVMSG #esoteric :as far as it goes, we should be unable to derive anything about the value of (case x of {}), as there are no matchers in there, and so no implications of form “x = … => case x of {…} = …” < 1546704522 887083 :arseniiv!~arseniiv@94.41.79.143.dynamic.ufanet.ru PRIVMSG #esoteric :and there are, if we are talking about a sound theory, no other ways to derive a formula of the form “case x of {…} = …” < 1546704541 33694 :arseniiv!~arseniiv@94.41.79.143.dynamic.ufanet.ru PRIVMSG #esoteric :if I understand it all correctly, that is < 1546704564 771720 :arseniiv!~arseniiv@94.41.79.143.dynamic.ufanet.ru PRIVMSG #esoteric :thank you in advance :) < 1546704790 842189 :AnotherTest!~turingcom@ptr-82l26ze7mm4q737w3j4.18120a2.ip6.access.telenet.be JOIN :#esoteric > 1546705317 779607 PRIVMSG #esoteric :14[[07Laser14]]4 10 02https://esolangs.org/w/index.php?diff=58945&oldid=58943 5* 03FizzyApple12 5* (+66) 10 > 1546705336 750546 PRIVMSG #esoteric :14[[07Laser14]]4 10 02https://esolangs.org/w/index.php?diff=58946&oldid=58945 5* 03FizzyApple12 5* (+0) 10/* Truth Machine */ < 1546705855 566189 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1546707547 757147 :Sgeo__!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1546707744 416124 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Ping timeout: 250 seconds < 1546708320 3953 :uplime!~nchambers@learnprogramming/staff/nchambers JOIN :#esoteric < 1546710196 313276 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1546710895 733443 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1546714807 901617 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :Taneb: ping > 1546715119 885358 PRIVMSG #esoteric :14[[07User:Cortex/draft14]]4 10 02https://esolangs.org/w/index.php?diff=58947&oldid=58925 5* 03Cortex 5* (+19) 10 < 1546715376 249356 :b_jonas!~x@catv-176-63-13-208.catv.broadband.hu JOIN :#esoteric < 1546715731 343617 :int-e!~noone@int-e.eu PRIVMSG #esoteric :@metar lowi < 1546715732 684440 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :LOWI 051850Z VRB02KT 6000 -SNRA FEW003 BKN012 01/00 Q1025 R08/19//95 TEMPO 27007KT 4000 SNRA < 1546715804 152145 :int-e!~noone@int-e.eu PRIVMSG #esoteric :^style < 1546715804 215348 :fungot!~fungot@2a01:4b00:82bb:1341::2 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 < 1546715822 727011 :int-e!~noone@int-e.eu PRIVMSG #esoteric :^style discworld < 1546715822 787624 :fungot!~fungot@2a01:4b00:82bb:1341::2 PRIVMSG #esoteric :Selected style: discworld (a subset of Terry Pratchett's Discworld books) < 1546715826 928759 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: Rincewind? < 1546715827 141116 :fungot!~fungot@2a01:4b00:82bb:1341::2 PRIVMSG #esoteric :int-e: there was the sound of his hammer. < 1546715913 675506 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: Vimes? < 1546715914 174756 :fungot!~fungot@2a01:4b00:82bb:1341::2 PRIVMSG #esoteric :int-e: " yes, sir." vimes lowered the ape, who wisely didn't make an issue of it because a man angry enough to lift fnord of orangutan without noticing is a man of high reputation!' the archchancellor went on. < 1546715931 730602 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Ah, we have a winner :) < 1546716063 927693 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I forgot what the problem with this style was... a tendency to produce literal quotes rather than remixing, maybe? < 1546716135 186903 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot < 1546716135 355133 :fungot!~fungot@2a01:4b00:82bb:1341::2 PRIVMSG #esoteric :int-e: he gripped the guitar's neck and flung it inexpertly. he was the younger son, and family tradition sent youngest sons into some church or other," she said, < 1546716149 955674 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot < 1546716150 20355 :fungot!~fungot@2a01:4b00:82bb:1341::2 PRIVMSG #esoteric :int-e: ' yes?' said < 1546716154 675602 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot < 1546716165 450327 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot quota exceeded :/ < 1546718642 386297 :b_jonas!~x@catv-176-63-13-208.catv.broadband.hu PRIVMSG #esoteric :. < 1546718813 553740 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: You're so stingy. < 1546718813 792711 :fungot!~fungot@2a01:4b00:82bb:1341::2 PRIVMSG #esoteric :fizzie: carrot patted him fnord on the wood near the driver, was a squat little house, with a grunt of effort. < 1546718940 21546 :int-e!~noone@int-e.eu PRIVMSG #esoteric :ACTION fungots with exceeding fungot < 1546718940 223241 :fungot!~fungot@2a01:4b00:82bb:1341::2 PRIVMSG #esoteric :int-e: " why'd you want to face the other auditors. with considerable effort, managed to light the lamps and the squeaky rubber hippo. now he could see right to the sheer drop. < 1546719254 744418 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1546719289 958017 :uplime!~nchambers@learnprogramming/staff/nchambers QUIT :Quit: WeeChat 2.2 < 1546719293 80882 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric : as far as it goes, we should be unable to derive anything about the value of (case x of {}) ← no, you have that backwards, we are able to derive /anything/ about the value of (case x of {}) < 1546719325 971068 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :think of it this way: how would you prove that (case x of {true = 4; false = 4}) is 4? < 1546719369 37977 :b_jonas!~x@catv-176-63-13-208.catv.broadband.hu PRIVMSG #esoteric :`? lizard < 1546719370 574265 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :lizard? ¯\(°​_o)/¯ < 1546719371 89039 :b_jonas!~x@catv-176-63-13-208.catv.broadband.hu PRIVMSG #esoteric :`? reptile < 1546719372 594703 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :reptile? ¯\(°​_o)/¯ < 1546719373 289496 :b_jonas!~x@catv-176-63-13-208.catv.broadband.hu PRIVMSG #esoteric :`? reptilian < 1546719374 279690 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :reptilian? ¯\(°​_o)/¯ < 1546719378 9643 :b_jonas!~x@catv-176-63-13-208.catv.broadband.hu PRIVMSG #esoteric :hi ais523 < 1546719393 69505 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hi < 1546719413 433092 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`cat cat < 1546719414 99787 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :cat: cat: No such file or directory < 1546719499 127102 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`? canary < 1546719500 242240 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :A canary is a small bright yellow chicken that dwells in deep caves. Unlike bats, canaries are oriented right way up, unless they're pining for the fjords. < 1546719522 777417 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`cwlprits canary < 1546719524 640689 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :oerjän boil̈y oerjän FireFl̈y FireFl̈y < 1546719589 257444 :int-e!~noone@int-e.eu PRIVMSG #esoteric :"Errol had started eating again. He'd eaten most of the table, the grate, the coal scuttle, several lamps and the squeaky rubber hippo." < 1546720126 763375 :AnotherTest!~turingcom@ptr-82l26ze7mm4q737w3j4.18120a2.ip6.access.telenet.be QUIT :Quit: ZNC - http://znc.in < 1546720137 864695 :AnotherTest!~turingcom@ptr-82l26zcjpltykrbgmmx.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1546720941 846256 :AnotherTest!~turingcom@ptr-82l26zcjpltykrbgmmx.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 252 seconds < 1546721557 857210 :uplime!~nchambers@learnprogramming/staff/nchambers JOIN :#esoteric < 1546722168 244878 :S_Gautam!uid286066@gateway/web/irccloud.com/x-mfbjtiwvfnqllwdv JOIN :#esoteric < 1546722169 330414 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :ACTION hello < 1546722174 149254 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :I am back from Italy < 1546722192 383961 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :izabera: pong < 1546722254 691397 :int-e!~noone@int-e.eu PRIVMSG #esoteric :@metar egll < 1546722255 27736 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :EGLL 052050Z AUTO 28005KT 9999 OVC027 06/02 Q1038 < 1546722268 344933 :int-e!~noone@int-e.eu PRIVMSG #esoteric :What... no rain? < 1546722332 508863 :int-e!~noone@int-e.eu PRIVMSG #esoteric :@metar lira < 1546722332 812291 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :LIRA 052050Z 04005KT 9999 SCT050 06/M00 Q1019 < 1546722546 491289 :b_jonas!~x@catv-176-63-13-208.catv.broadband.hu PRIVMSG #esoteric :Taneb: did you invent it? < 1546722569 618753 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :`? italy < 1546722570 801637 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :italy? ¯\(°​_o)/¯ < 1546722577 987748 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :b_jonas: apparently not < 1546722652 833044 :moony!moony@hellomouse/dev/moony QUIT :Quit: Bye! < 1546722652 905379 :ATMunn!ATMunn@unaffiliated/atmunn QUIT :Quit: lol rip < 1546722652 952428 :Bowserinator!Bowserinat@hellomouse/dev/Bowserinator QUIT :Quit: Blame iczero something happened < 1546722688 408616 :ATMunn!ATMunn@unaffiliated/atmunn JOIN :#esoteric < 1546722705 454415 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1546722708 810465 :Bowserinator!Bowserinat@hellomouse/dev/Bowserinator JOIN :#esoteric < 1546722777 395124 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1546722946 436083 :moony!moony@hellomouse/dev/moony JOIN :#esoteric < 1546722966 511120 :uplime!~nchambers@learnprogramming/staff/nchambers QUIT :Quit: WeeChat 2.2 < 1546723020 721942 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1546723037 190976 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1546723887 275108 :moony!moony@hellomouse/dev/moony QUIT :Quit: Bye! < 1546723887 363891 :Bowserinator!Bowserinat@hellomouse/dev/Bowserinator QUIT :Quit: Blame iczero something happened < 1546723887 410465 :ATMunn!ATMunn@unaffiliated/atmunn QUIT :Quit: lol rip < 1546723908 204685 :ATMunn!ATMunn@unaffiliated/atmunn JOIN :#esoteric < 1546724053 750209 :Bowserinator!Bowserinat@hellomouse/dev/Bowserinator JOIN :#esoteric > 1546724107 321371 PRIVMSG #esoteric :14[[07Hexlr714]]4 10 02https://esolangs.org/w/index.php?diff=58948&oldid=58756 5* 03Cortex 5* (-80) 10 < 1546724158 309599 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1546724167 246999 :moony!moony@hellomouse/dev/moony JOIN :#esoteric < 1546724472 808763 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1546724506 149658 :BrightBlackHole!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 JOIN :#esoteric < 1546724509 174019 :BrightBlackHole!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :hello < 1546724532 678947 :BrightBlackHole!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :ACTION shouts HELLO * < 1546724801 131454 :BrightBlackHole!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 QUIT :Ping timeout: 256 seconds < 1546724873 207917 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oww, so loud. < 1546725844 947067 :Luciole!znc@freenode/staff/firefly PRIVMSG #esoteric :https://twitter.com/handleym99/status/1081617351328460800 I feel like this tweet is #esoteric-relevant < 1546726181 10189 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Luciole: so I'm supposed to remove all leap year handling from my code? :P < 1546726200 436134 :Luciole!znc@freenode/staff/firefly PRIVMSG #esoteric :haha < 1546726220 1193 :Luciole!znc@freenode/staff/firefly PRIVMSG #esoteric :well, sure. it's a niche edgecase anyway, you're better off not supporting leap years. don't want to feature-bloat your program < 1546726224 43740 :Luciole!znc@freenode/staff/firefly PRIVMSG #esoteric :just add it back every fourth year < 1546726228 332572 :Luciole!znc@freenode/staff/firefly PRIVMSG #esoteric :helps prevent bitrot < 1546726272 974792 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :I disagree, you will need leap year support if you are doing date calculations (although you might not need to implement it yourself; it might be part of the standard library). However, if you do not need to convert dates in this way, then you do not need to add special support for leap years either. < 1546726406 796526 :int-e!~noone@int-e.eu PRIVMSG #esoteric :@google 100 days ago < 1546726407 830453 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :https://www.convertunits.com/dates/daysfromnow/-100 < 1546726412 622218 :int-e!~noone@int-e.eu PRIVMSG #esoteric :hmm, nope. < 1546726461 110377 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(Google actually comes back with a date for me.) < 1546726512 782538 :b_jonas!~x@catv-176-63-13-208.catv.broadband.hu PRIVMSG #esoteric :also remove all lines about recognizing hardware errors like a faulty disk. who needs those? < 1546726693 150358 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :It depend on the program, I think. < 1546726989 671895 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :handling faulty disks should be the responsibility of the language/runtime, not every program that uses disks < 1546727026 63684 :b_jonas!~x@catv-176-63-13-208.catv.broadband.hu PRIVMSG #esoteric :sure < 1546727044 104473 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although unless the language has some sort of unified UI, the runtime may want to tell the program "that wasn't possible, ask the user to save it elsewhere" < 1546727051 428085 :b_jonas!~x@catv-176-63-13-208.catv.broadband.hu PRIVMSG #esoteric :so you remove those lines from the kernel drivers if they haven't been used in a year < 1546727056 355536 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(languages probably /should/ have a common UI for all programs, but in practice they don't) < 1546727120 364801 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Luciole: I'm also reminded of, I believe, the .kkrieger game, where in the competition version, the "up" key didn't work in the menu; it turns out that they had a tool to dynamically detect dead code and they used that to squeeze it down to 96k; and in none of the test playthroughs did they ever use the "up" key in the menu. < 1546727160 957415 :b_jonas!~x@catv-176-63-13-208.catv.broadband.hu PRIVMSG #esoteric :it's funny when en.wikipedia has two articles about two people mentioned in the Bible who were probably the same but we're not entirely sure, but hu.wikipedia only has one article, so it's hard to navigate from en.wikipedia to the relevant article on hu.wikipedia because the language links must map one to one < 1546727176 848849 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(I remember the story better than what the actual game was, and unfortunately I have not found the story itself in my brief search just now.) < 1546727242 187788 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Handling faulty disks should be the responsibility of the driver in the operating system, I should think. It can simply tell the program it is error, and the program need not tell the difference from different kind of errors. < 1546727292 636837 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :b_jonas: Can you add a redirection page to fix that? Will languages work with redirection pages? < 1546727296 969534 :b_jonas!~x@catv-176-63-13-208.catv.broadband.hu PRIVMSG #esoteric :it can also happen backwards, or with two people who are definitely the same but a distinction is made about which name is the patron of a certain Catholic church or parish: that mostly happens with Jesus Christ and Virgin Mary < 1546727329 240351 :b_jonas!~x@catv-176-63-13-208.catv.broadband.hu PRIVMSG #esoteric :zzo38: you can add a redirection page, but not working language links that way I think < 1546727350 996215 :Luciole!znc@freenode/staff/firefly PRIVMSG #esoteric :int-e: yepyep, the article on that tool (that they wrote to compress it) is really interesting (but I suspect you might've read it, given I think that particular tidbit is from that article) < 1546727374 133979 :Luciole!znc@freenode/staff/firefly PRIVMSG #esoteric :https://fgiesen.wordpress.com/2012/04/08/metaprogramming-for-madmen/ <- that one < 1546727381 504415 :Luciole!znc@freenode/staff/firefly PRIVMSG #esoteric :(also the rest of ryg's blog, really) < 1546727415 766922 :b_jonas!~x@catv-176-63-13-208.catv.broadband.hu PRIVMSG #esoteric :there's a similar phenomenon that happens with language links across commons and two wikipedias, because language links must be transitive too: < 1546727468 656942 :b_jonas!~x@catv-176-63-13-208.catv.broadband.hu PRIVMSG #esoteric :often one wikipedia has both an article and a category about something, another wikipedia only has an article, and commons only has a category, and in that case you can't go in an easy way between commons and the second wikipedia < 1546727481 517263 :b_jonas!~x@catv-176-63-13-208.catv.broadband.hu PRIVMSG #esoteric :sometimes this is fixed by ordinary links in the description text of course < 1546727517 590866 :b_jonas!~x@catv-176-63-13-208.catv.broadband.hu PRIVMSG #esoteric :this one actually should be automated in software, because wikidata does collect the relation of an article being the main article of a category, < 1546727546 623593 :b_jonas!~x@catv-176-63-13-208.catv.broadband.hu PRIVMSG #esoteric :so perhaps the mediawiki software could be patched to show the relevant interwiki links automatically in that case < 1546727684 546091 :b_jonas!~x@catv-176-63-13-208.catv.broadband.hu PRIVMSG #esoteric :ais523: sometimes it can happen in user programs too, if it handles fails writes and writes have never failed in that program in the last year. writes could fail not only for a disk hardware failure, but also because of filesystem full, permission denied, no network access to network file system, media removed from driver, etc, but with the use case of some programs these just don't come up < 1546727832 877120 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :some programs, I run less than once per year < 1546727834 352015 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Luciole: wow, thanks. < 1546727837 557848 :b_jonas!~x@catv-176-63-13-208.catv.broadband.hu PRIVMSG #esoteric :this is why we have a /dev/full for easy testing by the way < 1546727848 872941 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Luciole: Yes, I've read that before, but it's nice to see it again :) < 1546727868 943917 :arseniiv!~arseniiv@94.41.79.143.dynamic.ufanet.ru PRIVMSG #esoteric :ais523> think of it this way: how would you prove that (case x of {true = 4; false = 4}) is 4? => by case analysis: x = true => (case …) = 4, x = false => (case …) = 4, so (case …) = 4 unconditionally. Hm so if we have an empty conjunction of these… hm, no, I don’t exactly follow < 1546727911 298003 :Luciole!znc@freenode/staff/firefly PRIVMSG #esoteric :ACTION is now reading https://fgiesen.wordpress.com/2018/12/10/rate-distortion-optimization/ < 1546727917 442212 :Luciole!znc@freenode/staff/firefly PRIVMSG #esoteric :new(ish) article, woo < 1546727929 276915 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :arseniiv: the point is that you get a return value of 4 in every branch < 1546727943 932339 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :case x of {} also gives a return value of 4 in every branch < 1546727994 791410 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you can use a similar argument to prove /anything/ about the return value of "case x of {}" (it's not surprising you can do this, as the code can never run, so this is just a variant of "from a contradiction, anything follows") < 1546728111 366166 :arseniiv!~arseniiv@94.41.79.143.dynamic.ufanet.ru PRIVMSG #esoteric :ais523: ah, thanks, now it’s clearer! < 1546728171 336088 :arseniiv!~arseniiv@94.41.79.143.dynamic.ufanet.ru PRIVMSG #esoteric :so, then that isomorphism is sealed and I can sleep at ease :D < 1546728362 482762 :b_jonas!~x@catv-176-63-13-208.catv.broadband.hu PRIVMSG #esoteric :https://twitter.com/gro_tsen/status/1081614752231632902 is esoteric-related too. < 1546728614 953603 :arseniiv!~arseniiv@94.41.79.143.dynamic.ufanet.ru QUIT :Ping timeout: 246 seconds < 1546729222 302888 :b_jonas!~x@catv-176-63-13-208.catv.broadband.hu QUIT :Quit: leaving < 1546729535 654712 :nfd9001!~nfd9001@2601:602:8500:d0d1:b1b6:7e8c:fe8c:f061 QUIT :Ping timeout: 250 seconds > 1546730063 815303 PRIVMSG #esoteric :14[[07Bitch14]]4 N10 02https://esolangs.org/w/index.php?oldid=58949 5* 03Helen 5* (+11472) 10Created a page for bitch > 1546730221 538225 PRIVMSG #esoteric :14[[07Bitch14]]4 M10 02https://esolangs.org/w/index.php?diff=58950&oldid=58949 5* 03Helen 5* (+22) 10Fixed a sentence > 1546730723 769535 PRIVMSG #esoteric :14[[07Bitch14]]4 M10 02https://esolangs.org/w/index.php?diff=58951&oldid=58950 5* 03Helen 5* (+92) 10Added a mention to Bitwise, a language like BITCHWISE > 1546730833 432132 PRIVMSG #esoteric :14[[07Bitch14]]4 M10 02https://esolangs.org/w/index.php?diff=58952&oldid=58951 5* 03Helen 5* (+67) 10Added categories > 1546731092 445463 PRIVMSG #esoteric :14[[07Bitch14]]4 M10 02https://esolangs.org/w/index.php?diff=58953&oldid=58952 5* 03Helen 5* (-92) 10Removed mention to Bitwise > 1546731175 66419 PRIVMSG #esoteric :14[[07Bitch14]]4 M10 02https://esolangs.org/w/index.php?diff=58954&oldid=58953 5* 03Helen 5* (+4) 10Fixed lack of newline > 1546731259 410358 PRIVMSG #esoteric :14[[07User:Helen14]]4 10 02https://esolangs.org/w/index.php?diff=58955&oldid=57964 5* 03Helen 5* (+146) 10 > 1546731304 75817 PRIVMSG #esoteric :14[[07What!?14]]4 M10 02https://esolangs.org/w/index.php?diff=58956&oldid=57970 5* 03Helen 5* (+42) 10Added category tags > 1546731322 790447 PRIVMSG #esoteric :14[[07Bitch14]]4 M10 02https://esolangs.org/w/index.php?diff=58957&oldid=58954 5* 03Helen 5* (+0) 10Fixed wrong 2018 tag (2018->2019) < 1546731335 123909 :oerjan!bc715ce1@gateway/web/freenode/ip.188.113.92.225 JOIN :#esoteric > 1546731376 512946 PRIVMSG #esoteric :14[[07Category:201914]]4 N10 02https://esolangs.org/w/index.php?oldid=58958 5* 03Helen 5* (+12) 10Created page with "{{yearcat }}" < 1546731390 929580 :oerjan!bc715ce1@gateway/web/freenode/ip.188.113.92.225 PRIVMSG #esoteric :Ooh > 1546731466 853817 PRIVMSG #esoteric :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=58959&oldid=58924 5* 03Helen 5* (+12) 10Added bitch < 1546731655 331452 :oerjan!bc715ce1@gateway/web/freenode/ip.188.113.92.225 PRIVMSG #esoteric :wait what < 1546731658 529259 :oerjan!bc715ce1@gateway/web/freenode/ip.188.113.92.225 QUIT : < 1546731717 137995 :oerjan!bc715ce1@gateway/web/freenode/ip.188.113.92.225 JOIN :#esoteric < 1546732536 317076 :oerjan!bc715ce1@gateway/web/freenode/ip.188.113.92.225 PRIVMSG #esoteric :ais523: I found how to remove the middle brackets, see comment < 1546732795 87908 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's crazy < 1546732799 488157 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I haven't fully got my head around it yet