< 1590451595 60536 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-lvgdahdubuldpibw PRIVMSG #esoteric :So I've been trying to figure out how to do math without resorting to any of this nasty "set theory" or "function" stuff. :D < 1590451621 747261 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-lvgdahdubuldpibw PRIVMSG #esoteric :Theories? Axioms? Pah! < 1590451637 153244 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-lvgdahdubuldpibw PRIVMSG #esoteric :So I've decided to study universal algebra. There seems to be a lot you can do in universal algebra without relying on a foundational theory. < 1590451917 475795 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 QUIT :Remote host closed the connection > 1590453285 746584 PRIVMSG #esoteric :14[[07SpaghettiScript14]]4 M10 02https://esolangs.org/w/index.php?diff=72893&oldid=72887 5* 03PythonshellDebugwindow 5* (+10) 10 > 1590453486 736464 PRIVMSG #esoteric :14[[07Stupid14]]4 M10 02https://esolangs.org/w/index.php?diff=72894&oldid=56850 5* 03PythonshellDebugwindow 5* (+96) 10/* Truth-machine */ cat + fix < 1590453593 516332 :user24_!~user24@2a02:810a:1440:7304:a8a3:94cf:73b7:9258 JOIN :#esoteric < 1590453707 451655 :user24!~user24@2a02:810a:1440:7304:d9da:b28d:16f8:d350 QUIT :Ping timeout: 272 seconds < 1590454587 284584 :sleepnap!~thomas@2601:40a:4200:3bd:9df0:4513:1368:ec3f QUIT :Ping timeout: 260 seconds < 1590455051 473423 :LKoen!~LKoen___@81.255.219.130 QUIT :Quit: Leaving < 1590455307 783452 :sleepnap!~thomas@2601:40a:4200:3bd:9df0:4513:1368:ec3f JOIN :#esoteric < 1590455830 254268 :user24_!~user24@2a02:810a:1440:7304:a8a3:94cf:73b7:9258 QUIT :Quit: Leaving < 1590457224 914930 :ArthurStrong!~ArthurStr@128-124-53-15.mobile.vf-ua.net QUIT :Ping timeout: 272 seconds < 1590459755 212333 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :https://www.nicolasloizeau.com/gol-computer < 1590459794 521509 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :things like this make me want to revisit the idea of building a target + "compiler suite" for a string rewriting language, much like traditional FPGA tooling. < 1590459847 138086 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :though I guess it'd be easier to design something like this because you can build stuff like logic gate layout systems: https://github.com/nicolasloizeau/guigl < 1590459865 756268 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :whereas you're limited to 1D with string rewriting. < 1590460321 582342 :ArthurStrong!~ArthurStr@128-124-53-15.mobile.vf-ua.net JOIN :#esoteric < 1590460589 580978 :ArthurStrong!~ArthurStr@128-124-53-15.mobile.vf-ua.net QUIT :Ping timeout: 258 seconds < 1590460643 163277 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net JOIN :#esoteric < 1590461393 216864 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net QUIT :Ping timeout: 265 seconds < 1590461486 610853 :ArthurStrong!~ArthurStr@128-124-53-15.mobile.vf-ua.net JOIN :#esoteric < 1590464913 646426 :ArthurStrong!~ArthurStr@128-124-53-15.mobile.vf-ua.net QUIT :Ping timeout: 258 seconds < 1590468952 783226 :sleepnap!~thomas@2601:40a:4200:3bd:9df0:4513:1368:ec3f QUIT :Ping timeout: 260 seconds < 1590469672 284940 :sleepnap!~thomas@2601:40a:4200:3bd:9df0:4513:1368:ec3f JOIN :#esoteric < 1590472108 868710 :sleepnap!~thomas@2601:40a:4200:3bd:9df0:4513:1368:ec3f QUIT :Quit: Leaving. < 1590472858 268468 :sleepnap!~thomas@2601:40a:4200:3bd:9df0:4513:1368:ec3f JOIN :#esoteric > 1590473859 832481 PRIVMSG #esoteric :14[[07User:Zzo38/Untitled 414]]4 10 02https://esolangs.org/w/index.php?diff=72895&oldid=72724 5* 03Zzo38 5* (+901) 10 < 1590474397 359419 :sleepnap!~thomas@2601:40a:4200:3bd:9df0:4513:1368:ec3f QUIT :Ping timeout: 260 seconds > 1590474441 976611 PRIVMSG #esoteric :14[[07User:Zzo38/Untitled 414]]4 10 02https://esolangs.org/w/index.php?diff=72896&oldid=72895 5* 03Zzo38 5* (+279) 10 < 1590475265 777917 :zseri!~zseri@ytrizja.de JOIN :#esoteric < 1590477858 891953 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 272 seconds < 1590478187 505192 :b_jonas!~x@catv-176-63-12-50.catv.broadband.hu QUIT :Quit: leaving < 1590478901 42648 :rain1!~debian@unaffiliated/rain1 JOIN :#esoteric < 1590479533 876766 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Read error: Connection reset by peer > 1590481754 409746 PRIVMSG #esoteric :14[[07Talk:Thue14]]4 10 02https://esolangs.org/w/index.php?diff=72897&oldid=72863 5* 03Yoel 5* (+1564) 10/* Converting to Roman numerals */ < 1590481786 486616 :LKoen!~LKoen___@81.255.219.130 JOIN :#esoteric > 1590482359 180409 PRIVMSG #esoteric :14[[07Talk:Thue14]]4 10 02https://esolangs.org/w/index.php?diff=72898&oldid=72897 5* 03Yoel 5* (-278) 10/* Converting to Roman numerals */ < 1590486398 159226 :zseri!~zseri@ytrizja.de QUIT :Quit: zseri < 1590489958 975570 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :hi < 1590489964 440077 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :any cool eso stuff i should be aware of? < 1590490013 496786 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1590490073 862095 :int-e!~noone@int-e.eu PRIVMSG #esoteric :yes, plenty < 1590490160 103430 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 256 seconds < 1590490182 15513 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1590490349 157192 :lambdabot!~lambdabot@haskell/bot/lambdabot QUIT :Quit: brb < 1590490506 410847 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN :#esoteric < 1590492468 398746 :user24!~user24@2a02:810a:1440:7304:7031:b353:1324:f1b5 JOIN :#esoteric < 1590494084 763702 :user24!~user24@2a02:810a:1440:7304:7031:b353:1324:f1b5 QUIT :Remote host closed the connection < 1590494829 514248 :arseniiv!~arseniiv@94.41.226.200.dynamic.ufanet.ru JOIN :#esoteric < 1590494874 815811 :ArthurStrong!~ArthurStr@46-133-1-164.mobile.vf-ua.net JOIN :#esoteric < 1590496124 507350 :arseniiv!~arseniiv@94.41.226.200.dynamic.ufanet.ru QUIT :Ping timeout: 258 seconds > 1590497062 636948 PRIVMSG #esoteric :14[[073LEB14]]4 N10 02https://esolangs.org/w/index.php?oldid=72899 5* 03Hanzlu 5* (+2750) 10Created page with "3LEB is a language supposed to be somewhat similar to languages such as BASIC. Data is stored in variables or on a stack. Keywords are not English, but of an unknown language...." > 1590497257 96491 PRIVMSG #esoteric :14[[07Bin-814]]4 M10 02https://esolangs.org/w/index.php?diff=72900&oldid=67489 5* 03PythonshellDebugwindow 5* (+252) 10cats + interpretr < 1590497769 695084 :ArthurStrong!~ArthurStr@46-133-1-164.mobile.vf-ua.net QUIT :Quit: leaving < 1590498022 920779 :arseniiv!~arseniiv@136.169.215.198 JOIN :#esoteric < 1590498815 827245 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1590499446 114034 :APic!apic@apic.name QUIT :Ping timeout: 240 seconds < 1590499701 576892 :APic!apic@apic.name JOIN :#esoteric > 1590500143 841624 PRIVMSG #esoteric :14[[07Fnke14]]4 M10 02https://esolangs.org/w/index.php?diff=72901&oldid=38830 5* 03PythonshellDebugwindow 5* (+75) 10/* See also */ cats > 1590500153 810036 PRIVMSG #esoteric :14[[07Fnke14]]4 M10 02https://esolangs.org/w/index.php?diff=72902&oldid=72901 5* 03PythonshellDebugwindow 5* (+27) 10/* See also */ < 1590500170 832400 :APic!apic@apic.name QUIT :Ping timeout: 260 seconds < 1590500925 873748 :APic!apic@apic.name JOIN :#esoteric > 1590501082 940100 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/UnusedLangLetters14]]4 N10 02https://esolangs.org/w/index.php?oldid=72903 5* 03PythonshellDebugwindow 5* (+287) 10Created page with " var langs = ``.toUpperCase(); var chars = "ABCDEFGHIJKLMNOPQRSTUVWXYZ"; langs.split("\n").map(s => s[0]).forEach(function(c) { if(chars.includes(..." > 1590501152 417331 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/UnusedLangLetters14]]4 M10 02https://esolangs.org/w/index.php?diff=72904&oldid=72903 5* 03PythonshellDebugwindow 5* (+2) 10 > 1590501185 387312 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/UnusedLangLetters14]]4 M10 02https://esolangs.org/w/index.php?diff=72905&oldid=72904 5* 03PythonshellDebugwindow 5* (+21) 10 > 1590501517 463389 PRIVMSG #esoteric :14[[07J-why14]]4 M10 02https://esolangs.org/w/index.php?diff=72906&oldid=44890 5* 03PythonshellDebugwindow 5* (+129) 10cagts > 1590501557 110638 PRIVMSG #esoteric :14[[07SpaghettiScript14]]4 M10 02https://esolangs.org/w/index.php?diff=72907&oldid=72893 5* 03UltimateProGrammer 5* (-3) 10Changed set to memory to be easier to implement > 1590501730 184267 PRIVMSG #esoteric :14[[07Chronofuck14]]4 M10 02https://esolangs.org/w/index.php?diff=72908&oldid=55785 5* 03PythonshellDebugwindow 5* (+11) 10 > 1590501847 47000 PRIVMSG #esoteric :14[[07Wishmaster14]]4 M10 02https://esolangs.org/w/index.php?diff=72909&oldid=58312 5* 03PythonshellDebugwindow 5* (+117) 10cats < 1590501919 143172 :Mysteryhunter!~Thunderbi@213-225-11-146.nat.highway.a1.net QUIT :Quit: Join our new channel in freenode #MysteryNewsTV > 1590502071 129474 PRIVMSG #esoteric :14[[07SpaghettiScript14]]4 M10 02https://esolangs.org/w/index.php?diff=72910&oldid=72907 5* 03PythonshellDebugwindow 5* (-60) 10style > 1590502084 276391 PRIVMSG #esoteric :14[[07SpaghettiScript14]]4 M10 02https://esolangs.org/w/index.php?diff=72911&oldid=72910 5* 03PythonshellDebugwindow 5* (+23) 10/* Examples */ < 1590502095 436069 :tromp_!~tromp@2a02:a210:ca3:2800:85b2:6816:c2b4:5f6a JOIN :#esoteric > 1590502212 877371 PRIVMSG #esoteric :14[[07Template:Infobox proglang14]]4 M10 02https://esolangs.org/w/index.php?diff=72912&oldid=65165 5* 03PythonshellDebugwindow 5* (+27) 10 < 1590502277 992009 :tromp!~tromp@2a02:a210:ca3:2800:2087:d1d8:b736:c3fc QUIT :Ping timeout: 246 seconds > 1590502356 898765 PRIVMSG #esoteric :14[[07ArnoldC14]]4 M10 02https://esolangs.org/w/index.php?diff=72913&oldid=52580 5* 03PythonshellDebugwindow 5* (+22) 10/* External resources */ < 1590503247 585410 :tromp_!~tromp@2a02:a210:ca3:2800:85b2:6816:c2b4:5f6a QUIT :Remote host closed the connection < 1590503594 122658 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1590503970 183410 :adu!~arobbins@c-73-129-154-238.hsd1.md.comcast.net JOIN :#esoteric > 1590504328 905363 PRIVMSG #esoteric :14[[07Talk:Thue14]]4 10 02https://esolangs.org/w/index.php?diff=72914&oldid=72898 5* 03Yoel 5* (+107) 10/* Converting to Roman numerals */ < 1590504357 778891 :zseri!~zseri@ytrizja.de JOIN :#esoteric < 1590505302 969154 :int-e!~noone@int-e.eu PRIVMSG #esoteric :@devils zoo < 1590505303 975388 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :No match for "zoo". < 1590505392 424456 :tromp!~tromp@2a02:a210:ca3:2800:85b2:6816:c2b4:5f6a JOIN :#esoteric > 1590505674 933576 PRIVMSG #esoteric :14[[07Thue14]]4 10 02https://esolangs.org/w/index.php?diff=72915&oldid=67029 5* 03Yoel 5* (+89) 10/* Sample programs */ > 1590505746 729241 PRIVMSG #esoteric :14[[07Talk:Thue14]]4 10 02https://esolangs.org/w/index.php?diff=72916&oldid=72914 5* 03Yoel 5* (+2) 10/* Converting to Roman numerals */ > 1590506417 925814 PRIVMSG #esoteric :14[[07Surtic14]]4 M10 02https://esolangs.org/w/index.php?diff=72917&oldid=72889 5* 03Digital Hunter 5* (-32) 10 > 1590506560 430563 PRIVMSG #esoteric :14[[07Surtic14]]4 10 02https://esolangs.org/w/index.php?diff=72918&oldid=72917 5* 03Digital Hunter 5* (+353) 10/* Examples */ > 1590506616 857545 PRIVMSG #esoteric :14[[07Surtic14]]4 M10 02https://esolangs.org/w/index.php?diff=72919&oldid=72918 5* 03Digital Hunter 5* (+8) 10/* Examples */ < 1590507064 743991 :zseri!~zseri@ytrizja.de QUIT :Quit: zseri < 1590507123 864210 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds < 1590507716 560794 :user24!~user24@2a02:810a:1440:7304:81fe:71e5:7844:e2ea JOIN :#esoteric < 1590508220 272661 :sleepnap!~thomas@2601:40a:4200:3bd:9df0:4513:1368:ec3f JOIN :#esoteric < 1590508608 462411 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1590508800 504872 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :thue hooked up to CGI would be a disasterpiece. I wanna do it. < 1590508932 428361 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :imode: I encourage this < 1590509694 408833 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com QUIT :Ping timeout: 240 seconds < 1590510265 975232 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :I wonder if that's been done with brainfuck. < 1590510350 39100 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :oh yeah. mod_bf. > 1590510505 870631 PRIVMSG #esoteric :14[[07Talk:Thue14]]4 10 02https://esolangs.org/w/index.php?diff=72920&oldid=72916 5* 03Yoel 5* (-1395) 10There was a flow in the code provided: wrong result in about 5% cases < 1590511796 790892 :Cale!~cale@2607:fea8:9960:35:28a4:5da9:4116:e1fa JOIN :#esoteric < 1590513198 147824 :ProofTechnique!sid79547@gateway/web/irccloud.com/x-iszpkuvpwrnzlqms QUIT :Ping timeout: 265 seconds < 1590513754 787265 :ProofTechnique!sid79547@gateway/web/irccloud.com/x-ptxdlhjtbtfttqme JOIN :#esoteric < 1590515156 413496 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric < 1590515960 127466 :Arcorann_!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net QUIT :Read error: Connection reset by peer < 1590517198 958474 :arseniiv_!~arseniiv@95.105.0.144.dynamic.ufanet.ru JOIN :#esoteric < 1590517379 1524 :arseniiv!~arseniiv@136.169.215.198 QUIT :Ping timeout: 272 seconds < 1590519516 770545 :b_jonas!~x@catv-176-63-11-187.catv.broadband.hu JOIN :#esoteric < 1590520031 196422 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Quit: quit < 1590520497 967234 :andrew_esolang!6d5dc9ae@109-93-201-174.dynamic.isp.telekom.rs JOIN :#esoteric < 1590520554 936876 :andrew_esolang!6d5dc9ae@109-93-201-174.dynamic.isp.telekom.rs PRIVMSG #esoteric :new idea: "lying" esolang < 1590520569 138214 :andrew_esolang!6d5dc9ae@109-93-201-174.dynamic.isp.telekom.rs PRIVMSG #esoteric :all data in a program is "sentient" and can either be entirely truthful or lie about itself < 1590520628 146496 :andrew_esolang!6d5dc9ae@109-93-201-174.dynamic.isp.telekom.rs PRIVMSG #esoteric :there are "correctors" who will tell the real situation of data to an OP which gives it false situations < 1590520636 999902 :andrew_esolang!6d5dc9ae@109-93-201-174.dynamic.isp.telekom.rs PRIVMSG #esoteric :however, one can create lying correctors < 1590521863 436742 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 JOIN :#esoteric < 1590522821 826890 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Quit: Leaving < 1590522934 113855 :spruit11!~unknown@ip56522cc1.speed.planet.nl QUIT :Quit: Lost terminal < 1590522956 482638 :spruit11!~unknown@ip56522cc1.speed.planet.nl JOIN :#esoteric < 1590522998 312354 :andrew_esolang!6d5dc9ae@109-93-201-174.dynamic.isp.telekom.rs PRIVMSG #esoteric :hi > 1590523708 965779 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/UnusedLangLetters14]]4 M10 02https://esolangs.org/w/index.php?diff=72921&oldid=72905 5* 03PythonshellDebugwindow 5* (+2004) 10 > 1590523846 793377 PRIVMSG #esoteric :14[[07Category:Brainfuck14]]4 M10 02https://esolangs.org/w/index.php?diff=72922&oldid=8165 5* 03PythonshellDebugwindow 5* (+0) 10 > 1590523886 154849 PRIVMSG #esoteric :14[[07QO14]]4 M10 02https://esolangs.org/w/index.php?diff=72923&oldid=44891 5* 03PythonshellDebugwindow 5* (+25) 10/* See also */ cat < 1590524184 548162 :ArthurStrong!~ArthurStr@46-133-1-164.mobile.vf-ua.net JOIN :#esoteric < 1590524212 215742 :user24!~user24@2a02:810a:1440:7304:81fe:71e5:7844:e2ea QUIT :Remote host closed the connection > 1590524514 878986 PRIVMSG #esoteric :14[[07I like frog14]]4 10 02https://esolangs.org/w/index.php?diff=72924&oldid=71292 5* 03Apollyon094 5* (+22) 10 < 1590524779 65400 :tromp!~tromp@2a02:a210:ca3:2800:85b2:6816:c2b4:5f6a QUIT :Remote host closed the connection < 1590524821 884413 :ArthurStrong!~ArthurStr@46-133-1-164.mobile.vf-ua.net QUIT :Quit: leaving < 1590524882 539340 :andrew_esolang!6d5dc9ae@109-93-201-174.dynamic.isp.telekom.rs QUIT :Remote host closed the connection < 1590524962 553654 :ArthurStrong!~ArthurStr@46-133-1-164.mobile.vf-ua.net JOIN :#esoteric < 1590525044 505749 :rain1!~debian@unaffiliated/rain1 QUIT :Quit: leaving < 1590525060 35899 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 QUIT :Remote host closed the connection < 1590525193 925718 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 JOIN :#esoteric < 1590525392 248469 :sleepnap!~thomas@2601:40a:4200:3bd:9df0:4513:1368:ec3f QUIT :Ping timeout: 260 seconds < 1590525816 106214 :tromp!~tromp@2a02:a210:ca3:2800:85b2:6816:c2b4:5f6a JOIN :#esoteric < 1590526259 7568 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric > 1590526484 637826 PRIVMSG #esoteric :14[[07Talk:I like frog14]]4 10 02https://esolangs.org/w/index.php?diff=72925&oldid=71413 5* 03Apollyon094 5* (+877) 10 > 1590526517 354207 PRIVMSG #esoteric :14[[07Talk:I like frog14]]4 10 02https://esolangs.org/w/index.php?diff=72926&oldid=72925 5* 03Apollyon094 5* (+23) 10 > 1590526541 660712 PRIVMSG #esoteric :14[[07Talk:I like frog14]]4 10 02https://esolangs.org/w/index.php?diff=72927&oldid=72926 5* 03Apollyon094 5* (+5) 10 > 1590526673 94826 PRIVMSG #esoteric :14[[07User talk:Hex9614]]4 10 02https://esolangs.org/w/index.php?diff=72928&oldid=69765 5* 03Apollyon094 5* (+244) 10 > 1590527855 414483 PRIVMSG #esoteric :14[[07User:Apollyon09414]]4 10 02https://esolangs.org/w/index.php?diff=72929&oldid=71092 5* 03Apollyon094 5* (+501) 10 > 1590527888 493936 PRIVMSG #esoteric :14[[07User:Apollyon09414]]4 10 02https://esolangs.org/w/index.php?diff=72930&oldid=72929 5* 03Apollyon094 5* (-12) 10 > 1590527910 516430 PRIVMSG #esoteric :14[[07User:Apollyon09414]]4 10 02https://esolangs.org/w/index.php?diff=72931&oldid=72930 5* 03Apollyon094 5* (-3) 10 > 1590527931 768082 PRIVMSG #esoteric :14[[07User:Apollyon09414]]4 10 02https://esolangs.org/w/index.php?diff=72932&oldid=72931 5* 03Apollyon094 5* (+1) 10 < 1590528057 85374 :adu!~arobbins@c-73-129-154-238.hsd1.md.comcast.net QUIT :Quit: adu < 1590528925 777138 :zseri!~zseri@ytrizja.de JOIN :#esoteric < 1590532321 863158 :b_jonas!~x@catv-176-63-11-187.catv.broadband.hu QUIT :Ping timeout: 264 seconds < 1590532427 765384 :b_jonas!~x@catv-176-63-19-22.catv.broadband.hu JOIN :#esoteric < 1590532680 932257 :Bowserinator!Bowserinat@hellomouse/dev/Bowserinator QUIT :Ping timeout: 256 seconds < 1590532745 988013 :Bowserinator!Bowserinat@hellomouse/dev/Bowserinator JOIN :#esoteric < 1590533218 939744 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1590533361 960943 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 258 seconds < 1590533388 678184 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1590534467 698184 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"In homotopy type theory, van Doorn verifies that the smash product is a 1-coherent symmetric monoidal product by first proving the isomorphism A →_∗ (B →_∗ C) ≃ (A ∧ B) →_∗ C and using this to obtain the other results [vD18]." < 1590534472 90594 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: did you do this twh < 1590534476 49705 :b_jonas!~x@catv-176-63-19-22.catv.broadband.hu QUIT :Ping timeout: 246 seconds < 1590534595 981035 :b_jonas!~x@catv-176-63-11-187.catv.broadband.hu JOIN :#esoteric < 1590534816 938889 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 QUIT :Remote host closed the connection < 1590536180 940342 :Arcorann_!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net JOIN :#esoteric < 1590536181 635880 :tromp!~tromp@2a02:a210:ca3:2800:85b2:6816:c2b4:5f6a QUIT :Remote host closed the connection > 1590536690 5782 PRIVMSG #esoteric :14[[07SpaghettiScript14]]4 10 02https://esolangs.org/w/index.php?diff=72933&oldid=72911 5* 03UltimateProGrammer 5* (+1220) 10Added hello world < 1590537184 924084 :arseniiv_!~arseniiv@95.105.0.144.dynamic.ufanet.ru QUIT :Ping timeout: 246 seconds