< 1623974420 235585 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :it still does "hg log" twice, but well, premature optimization. < 1623974584 875320 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :Does the log software support multiple channels on a single connection separately? < 1623974985 638078 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :It does now. Specifically, it has two logging modes, a "raw" log that's just all messages sent and received over the IRC connection, and a per-channel log (which is configured for each channel) which contains only messages relevant for that channel. < 1623974994 305825 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :The idea being that I wasn't quite sure there wouldn't be any bugs in the logic of selecting which messages to log (especially nick change and quit messages, which you only get once if you have any channels in common, and which don't explicitly specify which channel they're for), so in theory the raw log will allow back-filling the channel logs if such a bug is discovered. < 1623975005 346079 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Although I haven't actually written any code to do such backfilling. And both kind of logs use a binary format (protocol buffers) rather than text files, which not everyone might like. < 1623975764 641555 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :Aren't the logs for each channel converted into three formats though? < 1623976109 676763 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Yes, but it happens on-the-fly by the web server. There's just one "on-disk" format, and it's none of those three. < 1623976162 191001 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :OK < 1623976776 408074 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :Are you able to set it up on the IRC channel that they have granted me on here? (If I later move it to my own IRC server, I will have the server make its own logs, but currently it is Libera) (I will give you permission to change the topic message if you agree) < 1623977155 863183 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Sure, if you want, and as long as it doesn't matter that the logs are served at https://logs.esolangs.org/. I can either include it on the list of the index page or leave it "private" (as in, public if you guess the URL). Oh, and not today, because I'm heading off now (but just ask me again tomorrow). < 1623977170 936055 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :OK, I will ask again tomorrow < 1623977568 923381 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :oerjan: nobody has karma, because the karma script mostly greps the logs for ++ and -- in lines that don't necessarily invoke HackEso, but HackEso no longer has the channel logs in its file system < 1623977580 145855 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :the `karma+ commands are an afterthought < 1623977642 104161 :brainfunnel!~quassel@72.141.208.46.dyn.plus.net QUIT :Quit: thanks, bye! < 1623977754 824444 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :fizzie: wait, you said that the company donated you hosting the esolang.org server for the purpose of supporting this channel, which is why you don't run fungot on it. how can you make logs for other channels then? < 1623977755 9766 :fungot!fungot@2a01:4b00:82bb:1341::a PRIVMSG #esolangs :b_jonas: fnord, fnord, and that was 3.5 times as slow as using arithmetic-shift, by the way < 1623977799 741747 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :yes, fungot, you're proving my point, you don't contribute to this channel < 1623977799 911606 :fungot!fungot@2a01:4b00:82bb:1341::a PRIVMSG #esolangs :b_jonas: so you agree that when you aren't doing it without map can already handle that. < 1623977957 566911 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :O, maybe it is a valid point. Well, we can see tomorrow, I suppose < 1623978045 507961 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :b_jonas: did you even look at the current karma script twh < 1623978124 803194 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :oerjan: no, I might be misremembering this < 1623978189 721738 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :it _used_ to work like what you say, but it was all changed to be based on mercury revisions instead < 1623978260 371806 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :also, sorry for that phrasing. i really don't want to use that kind of trolling rhetoric but your message was too tempting. < 1623978267 640785 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :oerjan: ok, then that explains why nobody has karma, nobody will use an explicit HackEso statement instead of just saying someuser++ < 1623978273 467110 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :or someconcept++ < 1623978284 407404 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :b_jonas: well lambdabot keeps track of those. < 1623978298 712166 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :now I see that revision 0 already doesn't have that, but I know the revision history available on HackEso's repo is truncated < 1623978307 721459 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :oerjan: lambdabot still does? nice < 1623978337 821963 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :I know some other bots do < 1623978369 562106 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :I thikn perlbot might too < 1623978374 914228 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :perlbot karma someconcept < 1623978375 154207 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot PRIVMSG #esolangs :b_jonas: someconcept has karma of 1 < 1623978377 279948 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :yeah < 1623978401 695255 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :cdHZvFsHtbZd++ < 1623978405 457193 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :perlbot karma cdHZvFsHtbZd < 1623978405 679291 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot PRIVMSG #esolangs :b_jonas: cdHZvFsHtbZd has karma of 1 < 1623978409 183887 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :yep, it keeps track too < 1623978413 654936 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :@karma cdHZvFsHtbZd < 1623978413 964268 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :cdHZvFsHtbZd has a karma of 1 < 1623978419 455775 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :`karma cdHZvFsHtbZd < 1623978426 423395 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :cdHZvFsHtbZd has 0 karma. < 1623978487 939700 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :I'll note that perlbot has a native plugin for this, you can't implement it as a macro because you can't listen to statements not addressed to the bot < 1623978501 157053 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :same for HackEso now, and I think lambdabot < 1623978546 361409 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :I guess this karma concept is a meme that many bot makers implement < 1623978559 315770 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :yeah < 1623987280 683631 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 268 seconds < 1623987299 227560 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord > 1623987794 529298 PRIVMSG #esolangs :14[[07Talk:Pxem14]]4 10 02https://esolangs.org/w/index.php?diff=84657&oldid=66182 5* 03YamTokTpaFa 5* (+749) 10/* looping command description confuses me. */ new section < 1623988393 850173 :int-e!~noone@int-e.eu PRIVMSG #esolangs :b_jonas: lambdabot has also "archived" a lot of partial brainfuck programs for that reason < 1623988454 886207 :int-e!~noone@int-e.eu PRIVMSG #esolangs :to some extent that's unavoidable; [-] is a valid IRC nick < 1623988474 480893 :int-e!~noone@int-e.eu PRIVMSG #esolangs :@karma C < 1623988474 791071 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :C has a karma of 0 < 1623988478 309872 :int-e!~noone@int-e.eu PRIVMSG #esolangs :@karma c < 1623988478 637646 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :c has a karma of 0 < 1623988574 304966 :int-e!~noone@int-e.eu PRIVMSG #esolangs :@karma c/c < 1623988574 613295 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :c/c has a karma of 1 < 1623989059 835091 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :@karma [-] < 1623989060 133344 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :[-] has a karma of 0 < 1623989137 558577 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :@karma [->+<] < 1623989137 851058 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :[->+<] has a karma of 0 < 1623989155 248196 :int-e!~noone@int-e.eu PRIVMSG #esolangs :actually, let me do *something* about that karma < 1623989160 915421 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :@karma [+>-<] < 1623989161 225047 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :[+>-<] has a karma of 0 < 1623989193 676103 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :oh + isn't allowed < 1623989208 688335 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :or <> i guess < 1623989279 725936 :lambdabot!~lambdabot@haskell/bot/lambdabot QUIT :Quit: will be back in a few minutes < 1623989390 689033 :int-e!~noone@int-e.eu PRIVMSG #esolangs :pfft, tools you never miss episode 283: no mc on the lambdabot host < 1623989537 159638 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN #esolangs lambdabot :Lambda_Robots:_100%_Loyal < 1623989626 945095 :int-e!~noone@int-e.eu PRIVMSG #esolangs :oerjan: it had an entry for (>------>+++++++)*4>([+++++++[-]]>)*3([+++++++[-]]>)[-------[+]]>[+++++++[-]]>[+++++++++++++++++++[-]]>[+++++++[-]]>[--------------[+]]>[+++++++[-]]>[+++++++[-]]>[++++++++++++++++[-]]>[----------[+]]>[-------[+]]>[++++++++++++++++++++++++++[-]]>[----------------[+]]>[-------------------------[+]]>[-------------[+]]>[++++++++++++++++[-]]>[++++++++++++++++++++++[-]]>[--... < 1623989632 954446 :int-e!~noone@int-e.eu PRIVMSG #esolangs :...for example < 1623990109 23288 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :fancy < 1623990215 954695 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :that looks like bfjoust < 1623993937 482628 :hendursa1!~weechat@user/hendursaga QUIT :Ping timeout: 252 seconds < 1623995144 568354 :imode!~imode@user/imode PRIVMSG #esolangs :what're the ( and ) chars. < 1623995172 621332 :imode!~imode@user/imode PRIVMSG #esolangs :@botswack < 1623995172 809566 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs ::) < 1623995221 735545 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :imode: that's why i think it's bfjoust < 1623995242 196399 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :(...)*n means repeat n times there < 1623995339 458805 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :hm, except one isn't followed by a number < 1623995720 16291 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1623995847 360732 :int-e!~noone@int-e.eu PRIVMSG #esolangs :IIRC the () group, and you can also write stuff like +*10 if you want to replicate just one operation > 1623996846 255325 PRIVMSG #esolangs :14[[07UToober14]]4 M10 02https://esolangs.org/w/index.php?diff=84658&oldid=84656 5* 03CodyNinja1 5* (+92) 10 > 1623997025 546005 PRIVMSG #esolangs :14[[07UToober14]]4 M10 02https://esolangs.org/w/index.php?diff=84659&oldid=84658 5* 03CodyNinja1 5* (+18) 10 < 1623998149 699616 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I've found a new (to me) silly corner of Unicode: spinning chess pieces, like 🨄🨈🨙🨝🨲🩃🩇 < 1623998453 855103 :sprock!~sprocklem@user/sprock QUIT :Quit: Lost terminal < 1623998487 39157 :sprock!~sprocklem@user/sprock JOIN #esolangs sprock :Mal Sproule > 1623998799 6516 PRIVMSG #esolangs :14[[07UToober14]]4 10 02https://esolangs.org/w/index.php?diff=84660&oldid=84659 5* 03CodyNinja1 5* (+134) 10/* Hello, World! */ < 1623999107 374284 :chrysanthematic!~chrysanth@82.2.21.4 JOIN #esolangs chrysanthematic :chrysanthematic < 1623999131 162779 :imode!~imode@user/imode QUIT :Ping timeout: 244 seconds < 1623999223 893421 :myname!~myname@2001:41d0:1:766f::1 PRIVMSG #esolangs :mc is way inferior to our lord and saviour ranger < 1623999307 890038 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :mc() { mkdir -- "$1" && cd -- "$1"; } < 1623999512 418746 :int-e!~noone@int-e.eu PRIVMSG #esolangs :myname: I really don't use it a lot. But when I want to have a look at every file in one directory, it's quite convenient to just hit F3 on each of them < 1623999561 657312 :myname!~myname@2001:41d0:1:766f::1 PRIVMSG #esolangs :ranger has a preview panel < 1623999581 527140 :myname!~myname@2001:41d0:1:766f::1 PRIVMSG #esolangs :https://nongnu.org/ranger/screenshots/ranger-screenshot_highlighted-code-preview.png < 1623999593 911357 :int-e!~noone@int-e.eu PRIVMSG #esolangs :But I'm used to mc. There's really no right or wrong about these things, by and large, it's familiarity. < 1623999635 314775 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User < 1623999645 285571 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1623999647 467079 :myname!~myname@2001:41d0:1:766f::1 PRIVMSG #esolangs :sure, i'm just surprised by how unknown it is, but that's probably because mc is way older < 1623999682 149204 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Right, there is an element of carbon dating to this too. < 1623999710 620997 :riv!~river@tilde.team/user/river JOIN #esolangs river :river < 1624000025 78588 :chrysanthematic!~chrysanth@82.2.21.4 QUIT :Quit: chrysanthematic > 1624000589 232589 PRIVMSG #esolangs :14[[07UToober14]]4 10 02https://esolangs.org/w/index.php?diff=84661&oldid=84660 5* 03CodyNinja1 5* (-2) 10 < 1624001213 621907 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :hehe < 1624001578 480634 :hendursa1!~weechat@user/hendursaga JOIN #esolangs hendursaga :weechat < 1624001593 847303 :int-e!~noone@int-e.eu PRIVMSG #esolangs :myname: Oh, fwiw, because I took a long time to remember: mc has a 'Quck view" feature that's basically a file preview. < 1624002694 236435 :mistbreeze_!~mistbreez@2600:1700:b7e0:8320:a8d5:bd63:307f:6117 JOIN #esolangs * :jessica < 1624002696 796596 :riv!~river@tilde.team/user/river QUIT :Quit: Leaving < 1624002901 156852 :mistbreeze!~mistbreez@2600:1700:b7e0:8320:d804:8caf:4f02:586 QUIT :Ping timeout: 244 seconds < 1624003593 492218 :hendursaga!~weechat@user/hendursaga JOIN #esolangs hendursaga :weechat < 1624003771 463030 :hendursa1!~weechat@user/hendursaga QUIT :Ping timeout: 252 seconds < 1624004313 61001 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :"file previewer" sounds like a decent idea but these days it's just a fricking disaster waiting to happen when your final program that you use to open openoffice/pdf/html/whatever is more secure so malware targets the buggy previewer which is full of plugins and gets less scrutiny than the big applications. < 1624004365 37680 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :I don't support it. have a photo previewer program if you wish, but not a general file previewer with hundreds of plugins without choosing a whitelist < 1624004377 833204 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :s/plugins/plugins preinstalled/ < 1624004494 774418 :arseniiv!~arseniiv@136.169.234.138 JOIN #esolangs * :the chaotic arseniiv < 1624007232 578924 :immibis_!~immibis@62.156.144.218 NICK :immibis > 1624009860 334062 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Redoverflow 5* 10New user account > 1624010320 491405 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=84662&oldid=84647 5* 03Redoverflow 5* (+371) 10/* Introductions */ < 1624011030 777407 :arseniiv!~arseniiv@136.169.234.138 QUIT :Ping timeout: 264 seconds < 1624011682 327146 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1624011793 154114 :Oshawott!~archenoth@S0106889e6827f474.cg.shawcable.net JOIN #esolangs Archenoth :archenoth < 1624011934 154398 :archenoth!~archenoth@S0106889e6827f474.cg.shawcable.net QUIT :Ping timeout: 244 seconds < 1624012060 126826 :arseniiv!~arseniiv@136.169.234.138 JOIN #esolangs * :the chaotic arseniiv < 1624012160 492559 :Thelie!~Thelie@2a02:8106:215:3300:e7ad:5ab7:4ea0:e177 JOIN #esolangs * :Thelie < 1624012262 764446 :Trieste!~T@user/pilgrim QUIT :Ping timeout: 268 seconds < 1624012265 714749 :Trieste_!T@user/pilgrim JOIN #esolangs pilgrim :T < 1624012575 610677 :[O_O!~O_O@93-38-48-227.ip69.fastwebnet.it JOIN #esolangs * :[https://web.libera.chat] [O_O < 1624012791 738302 :salpynx!~salpynx@121.73.84.248 QUIT :Quit: Connection closed < 1624013337 896646 :Thelie!~Thelie@2a02:8106:215:3300:e7ad:5ab7:4ea0:e177 QUIT :Remote host closed the connection < 1624015558 83481 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :zzo38: Hmm, I guess b_jonas has a fair point. I can think of two workarounds: < 1624015561 247622 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :1) Given that there's justification for the esolangs bot to run in the first place, and because it takes negligible additional resources to make it log an extra channel (unless maybe an incredibly popular one), if the channel's at least remotely linked to esolangery in some fashion (maybe just that there's some overlap in audience), I think I could rationalize adding it on that basis. < 1624015567 246805 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :(I'm aware that sort of reasoning would probably stretch to fun​got as well, but let's skip that for now.) < 1624015570 263983 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :2) I've been thinking of running a "backup" instance of the logging software somewhere else where I don't have to consider esolangs-relevancy in the first place, and I could make *that* log the additional channel too. I just wasn't planning to run a second copy of the logs web serving part, which would take a bit more setup, especially for stalker mode. < 1624015576 123104 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :What's this channel about? < 1624016027 283105 :Trieste_!T@user/pilgrim NICK :Trieste < 1624016251 418794 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :int-e: Those spinning chess pieces might be a replacement of the standard /-\| ASCII spinner for a console program that's chess-themed. < 1624016283 875758 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :(Although I can only see them in my browser, which might be considered a drawback.) < 1624016324 490885 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :https://wiki.tcl-lang.org/page/Text+Spinner <- a bunch more Unicodey alternatives, but no chess pieces. < 1624017162 635122 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu JOIN #esolangs * :[https://web.libera.chat] wib_jonas < 1624017226 388799 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :fizzie: ok, I take that as encouragement saying that I should run a channel logging bot, even if it's on my home machine that isn't always on. < 1624017239 917892 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :Thank you for pushing me to do useful things. < 1624017250 574505 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :There's also a lot of websites that I should download but I'm too lazy to. < 1624017658 502035 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Well FWIW I don't think we *need* a high-availability logging solution, it's just one of those things that would be done just because it could be done. < 1624017770 89341 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :ISTR GregorR's codu.org logs did have a backup bot which picked up the slack when the primary one was down, though. Or if not that, then one of the others. < 1624017782 856932 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Yeah, glogbot vs. glogbackup. < 1624017789 516845 :[O_O!~O_O@93-38-48-227.ip69.fastwebnet.it PRIVMSG #esolangs :why the need of a backup? < 1624017801 228182 :[O_O!~O_O@93-38-48-227.ip69.fastwebnet.it NICK :[O_O] < 1624017886 377235 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :I thought I just finished saying there is no "need" as such. < 1624017996 83336 :[O_O]!~O_O@93-38-48-227.ip69.fastwebnet.it PRIVMSG #esolangs :yes fizzie sorry, I wanted just to support your point, I also see no sense in that < 1624018044 161008 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Then again, sense has not traditionally been all that high up the priority list of things constructed for this channel. Would you agree, fungot? < 1624018044 352711 :fungot!fungot@2a01:4b00:82bb:1341::a PRIVMSG #esolangs :fizzie: 0 1 110 111... dictionary.com has it... < 1624018049 701989 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User < 1624018246 647941 :[O_O]!~O_O@93-38-48-227.ip69.fastwebnet.it PRIVMSG #esolangs :heheh, as an outsider, sometimes is difficult to decipher or easy to misunderstand your exchanges, I see how in thousands of years separate groups of humans developed completely different and incompatible means for communication heheh < 1624018320 130693 :arseniiv!~arseniiv@136.169.234.138 QUIT :Ping timeout: 244 seconds < 1624018630 655861 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Fair, we've already come this far in a bit less than two decades. (Though fungot is not quite that old yet.) < 1624018630 979244 :fungot!fungot@2a01:4b00:82bb:1341::a PRIVMSG #esolangs :fizzie: not exactly. my body has remained in this armchair and has, i _think_ fshift freset are ideal for those reasons. < 1624018653 47066 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Eerily on-topic as usual. < 1624019122 582858 :[O_O]!~O_O@93-38-48-227.ip69.fastwebnet.it PRIVMSG #esolangs :have you ever met IRL? < 1624019138 449470 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esolangs :I think some subsets of us have met in person < 1624019149 442082 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esolangs :But we've not had a big convention or anything < 1624019158 358766 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esolangs :(I met int-e once, for example) < 1624019353 901047 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :`quote Greenland < 1624019355 512677 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :925) The other day (well, the other week) my wife was annoyed with me because she had a dream where I had gotten us plane tickets into a #esoteric meet somewhere in the middle of Greenland in the winter, without asking her first. Plus she wasn't really interested in a #esoteric meet at all, let alone one in Greenland, let alone one in Greenland in wintertime. (I think it's kind of cold there?) < 1624019379 597214 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :That never happened either. < 1624019432 716706 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :"why the need of a backup?" ahahahahahaha! < 1624019449 725726 :[O_O]!~O_O@93-38-48-227.ip69.fastwebnet.it PRIVMSG #esolangs :hehehe why is that so funny? < 1624019464 629211 :[O_O]!~O_O@93-38-48-227.ip69.fastwebnet.it PRIVMSG #esolangs :I must miss something about the topic heheh < 1624019505 127934 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :fizzie: is it actually less then two decades? I thought it was more than two decades now, but I'm never sure when #esoteric started < 1624019516 329211 :[O_O]!~O_O@93-38-48-227.ip69.fastwebnet.it PRIVMSG #esolangs :Who started it? < 1624019531 213367 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :wib_jonas: December 2002, so not quite two decades yet. < 1624019542 212329 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :ok < 1624019576 731560 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :will we have a 20 year old celebration? not necessarily in Greenland. New Zealand would be more appropriate, but I think they might still have travel limitations, so I'd prefer somewhere in Europe < 1624019601 965364 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :http://esoteric.sange.fi/archive/2002-q4 + search for `#esoteric` for how it all got started. < 1624019614 1587 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :``` : with a birthday; ? cake # with 20 candles, obviously < 1624019616 60238 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :The Enrichment Center is required to remind you that you will be baked, and then there will be cake. < 1624019616 641720 :[O_O]!~O_O@93-38-48-227.ip69.fastwebnet.it PRIVMSG #esolangs :thanks for the link < 1624019675 672791 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Also shows how we were very, *very* briefly #esoterica on EFnet, before becoming #esoteric on OPN/freenode. < 1624019827 417457 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esolangs :So, who's up for the Esoteric IRC bidecennial celebration in Nuuk Decemeber 2022? < 1624019833 226167 :arseniiv!~arseniiv@136.169.234.138 JOIN #esolangs * :the chaotic arseniiv < 1624019916 405606 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :I don't think I've met anyone still on the channel. Oh, except maybe we did work out that Deewiant and I did unknowingly "meet" (in the sense of physical proximity in a single-digit number of metres) due to studying at the same university around the same time. < 1624019950 976348 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Actually, maybe we've actually-met too, looking at these logs. Well, anyway. < 1624020016 132363 :Deewiant_!~deewiant@2001:470:69fc:105::2fd3 PRIVMSG #esolangs :I don't think we ever spoke to each other but I think I saw you from a distance once or something < 1624020077 357235 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Yeah, https://logs.esolangs.org/freenode-esoteric/2012-01-20.html#lUc implies that but also refers to an earlier occasion, so it must have happened at least twice. < 1624020134 28932 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :(I do a lot of figuring out of "when did this and that happen" based on IRC logs.) < 1624020323 113955 :[O_O]!~O_O@93-38-48-227.ip69.fastwebnet.it PRIVMSG #esolangs :IMO irc logs are scary, 20 years long, immortalized public discussion, sometimes I think the world was better without personal computers or written word, from this point of view came the question about backups :) < 1624020380 405101 :[O_O]!~O_O@93-38-48-227.ip69.fastwebnet.it PRIVMSG #esolangs :if you make the meeting in Italy, I will introduce you Gastone Garziera, one of the engineers who made the first personal computer, the Olivetti Programma 101, he also designed its language < 1624020397 24516 :[O_O]!~O_O@93-38-48-227.ip69.fastwebnet.it PRIVMSG #esolangs :he sparked in me the passion for language design. < 1624020433 360008 :[O_O]!~O_O@93-38-48-227.ip69.fastwebnet.it PRIVMSG #esolangs :he is one of my best friends, although he is 80, I will meet him soon for a good lunch < 1624020513 268859 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Public logs are a bit of a controversial subject, yes. But it's what we've got. < 1624020529 508295 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :They do make for good chatbot training corpora and general text analysis subject matter, though. < 1624020638 585553 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :I think I did some experiments on author classicifaction with a friend on #esoteric logs (in addition to Project Gutenberg books and the EU parliament speeches) for a course once. But I don't remember how well they worked, in the precision-recall sense. < 1624020650 908906 :[O_O]!~O_O@93-38-48-227.ip69.fastwebnet.it PRIVMSG #esolangs :the english page of the Olivetti Programma 101 is full of lies, it is not a calculator, it is a computer < 1624020762 511520 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :fizzie: yes, that too, that is that part that motivates me to try to label images on Wikimedia Commons with appropriate categories and descriptions, even images I didn't take < 1624020787 201710 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :though I am more interested in the kind of photos that I would want to take, or photos that I did take but don't upload because there's already a good one of the same topic < 1624020871 550090 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :and yes, there are some pairs of regulars here who have unambiguously met in real life, but I haven't met any of them, at least I don't know that I have < 1624020886 344736 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :s/of them/of the regulars/ < 1624020914 10218 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Heh, I haven't updated https://zem.fi/ircvis/esoteric/ since 2016, but at least the existing visualizations seem to still work. < 1624021340 537945 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :fizzie: thanks, that mailing thread does give a specific enough thread for a birthday? should we teach it to /hackenv/wisdom/birthday ? < 1624021390 922737 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esolangs :9th of December I think < 1624021412 785951 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :2002-12-09, yes < 1624021416 363143 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :`? birthday < 1624021418 255759 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :birthday? ¯\(°​_o)/¯ < 1624021443 354231 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :wait, a better idea < 1624021447 8549 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :`? libera < 1624021449 444140 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :Libera has always been our homeland. The Chännel has been dwelling in it since the beginning of time. Any rumors about another network called "freenode" are compleetely bogus. < 1624021482 624705 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :should I add the date after "the beginning of time"? < 1624021497 793588 :int-e!~noone@int-e.eu PRIVMSG #esolangs :nah :P < 1624021579 765879 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :2002 is perfect by the way, I always think that 2002 is the best year to mark when the modern internet and digital typography has finally spread enough to be accessible to anyone and change everyone's life, at least here in Hungary. < 1624021617 909412 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :I would also want to say that that's when everyone started to have mobile phones, but in fact I had had a mobile phone for years by 2002, so nope < 1624021733 865986 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :digital typography has clearly existed before that, but most professional books were still published by traditional typography typeset by typographers who usually don't understand the material, rather than by the authors, or by grad students of the author if they really don't like computers < 1624021770 393231 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :and the internet existed before 2002 too, and I knew it existed and even used it a little, but it was expensive to connect so most people didn't have the internet. < 1624021809 412553 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :it was a gradual process, but I want to put a date on it to be specific, so I choose 2002 < 1624021831 248802 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esolangs :I have a cousin three weeks older than me. When my cousin was born, my uncle sent a letter to my dad about it. By the time I was born, they both had email. < 1624021874 292172 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :my lies for children will say that before 2002, nobody had digital typography or internet or mobile phones, and after 2002 they will, and that if you keep sucking on your thumb your teeth will look ugly like mine and your thumbs will be of unequal length like mine, so don't do that, it's a dirty habit < 1624021922 249238 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :Taneb: I was raised with washable diapers; by the time my brother was born, my parents had access to use once diapers, so I can put a clear date to that < 1624021940 319181 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :Taneb: nice, then you can clearly claim that email was a Tanebvention < 1624021986 381036 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esolangs :It might be a Taneb'scousinvention < 1624022154 448267 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :2002 is when I graduated from high school, that's why it's such a convenient date < 1624022189 710233 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esolangs :2002 was when I turned eight < 1624022241 832414 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :in fact now I think of it, my lies to children will also say that 2002 was when the plastic revolution happened, that before 2002 we drank Coca Cola from 0.2 l glass bottles and made sparkling soda water at home from metal cartridges and tap water, but after 2002 we drank Coca Cola from 0.5 l plastic bottles and brought mineral water home in 2 l < 1624022242 330641 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :plastic bottles. It's not even too big of a lie. < 1624022278 52081 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :I will admit that nylon hoses started way earlier though < 1624022324 616638 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :but I can say that nylon and rubber and hard vinyl were basically the only plastics available, and even nylon was expensive and not yet used for bags < 1624022358 119172 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :and that after 2002 we had soft vinyl (yes, it existed before that, but that's when it got cheap and ubiquitious), polypropilene (likewise), and PET < 1624022373 593847 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :also cheap nylon for all sorts of bags < 1624022400 666107 :delta23!~delta23@user/delta23 QUIT :Quit: Leaving < 1624022480 77881 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :I'm not sure about plexiglass. It was certainly used for expensive things like airplane windows and digital clocks before 2002, and something similar was used for corrective eyeglasses too, but there weren't tons of cheap LCDs for which we can look whether they had plexiglass or glass screens. < 1624022493 275964 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :(admittedly very cheap LCD has neither, it has cheaper plastic covers) < 1624022522 743405 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :wait, does cellulose for analog films count as a plastic? < 1624022558 239363 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :I don't know < 1624024643 972387 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1624024995 225780 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User < 1624027281 207698 :Koen!~Koen@124.251.88.92.rev.sfr.net JOIN #esolangs * :Koen < 1624027284 213844 :Koen!~Koen@124.251.88.92.rev.sfr.net PRIVMSG #esolangs :hi < 1624027299 450715 :[O_O]!~O_O@93-38-48-227.ip69.fastwebnet.it PRIVMSG #esolangs :hi :) < 1624027379 600628 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esolangs :Hey, Koen < 1624027385 266271 :Koen!~Koen@124.251.88.92.rev.sfr.net PRIVMSG #esolangs :heey < 1624027390 217627 :Koen!~Koen@124.251.88.92.rev.sfr.net PRIVMSG #esolangs :how's it going? < 1624027398 95841 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esolangs :Not too bad < 1624027511 533979 :Koen!~Koen@124.251.88.92.rev.sfr.net PRIVMSG #esolangs :is that the famoux British understatement? < 1624027608 868953 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esolangs :It's definitey British < 1624027615 823463 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esolangs :Not sure whether it's understatement or not > 1624028257 220679 PRIVMSG #esolangs :14[[07Struffoli14]]4 10 02https://esolangs.org/w/index.php?diff=84663&oldid=83514 5* 03Zero player rodent 5* (-60) 10 < 1624028309 232953 :Thelie!~Thelie@2a02:8106:215:3300:e7ad:5ab7:4ea0:e177 JOIN #esolangs * :Thelie < 1624028509 103539 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1624028977 159459 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :I heard a Bill Bailey bit once riffing on the "not too bad" vs. the "great!" that US folks use instead. < 1624029060 174250 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :https://www.youtube.com/watch?v=V7d79Knc8p4 < 1624029380 630014 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esolangs :fizzie: that's a pretty good summary < 1624029532 294957 :int-e!~noone@int-e.eu PRIVMSG #esolangs :not too bad < 1624029545 493225 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(admit it, it had to be said) < 1624029603 263712 :[O_O]!~O_O@93-38-48-227.ip69.fastwebnet.it PRIVMSG #esolangs :https://berthub.eu/articles/posts/reverse-engineering-source-code-of-the-biontech-pfizer-vaccine/ < 1624029606 627600 :[O_O]!~O_O@93-38-48-227.ip69.fastwebnet.it PRIVMSG #esolangs :have you read this? < 1624029836 140833 :[O_O]!~O_O@93-38-48-227.ip69.fastwebnet.it PRIVMSG #esolangs :From the perspective of someone very passionate about programming and computer science, it looks like an hazard to do such a thing, pass some very early experimental source to a machine you poorly understand, that should generate the expected output, being a matter of life and death < 1624029890 537697 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esolangs :It's got a much more rigourous test suite than most software at least < 1624029948 684805 :[O_O]!~O_O@93-38-48-227.ip69.fastwebnet.it PRIVMSG #esolangs :I think the article was written with the intent of reassuring, but to be did the opposite effect heh < 1624029999 678419 :[O_O]!~O_O@93-38-48-227.ip69.fastwebnet.it PRIVMSG #esolangs :*to me < 1624030038 127246 :spruit11!~quassel@2a02:a467:ccd6:1:c9fb:353b:910b:93f4 QUIT :Ping timeout: 244 seconds < 1624030139 336365 :[O_O]!~O_O@93-38-48-227.ip69.fastwebnet.it PRIVMSG #esolangs :in any case, interesting to see how logical constructs we build in software appear also in our own biological systems < 1624030203 864162 :int-e!~noone@int-e.eu PRIVMSG #esolangs :[O_O]: it's a cool article, and I don't know what's alarming about it? < 1624030277 686582 :[O_O]!~O_O@93-38-48-227.ip69.fastwebnet.it PRIVMSG #esolangs :nothing alarming, he describes the process they have used to identify entities in code and how they hacked the cell to let the code be accepted < 1624030376 360504 :int-e!~noone@int-e.eu PRIVMSG #esolangs :It may be worrying *what else* one could do with that Ψ hack. But the Ψ will never be replicated by the body, so it's just another factor that ensures the mRNA doesn't stay around forever < 1624030398 571536 :[O_O]!~O_O@93-38-48-227.ip69.fastwebnet.it PRIVMSG #esolangs :yes, I agree < 1624030436 161180 :[O_O]!~O_O@93-38-48-227.ip69.fastwebnet.it PRIVMSG #esolangs :also, the repeated tail that's there to count how many times the thing can be executed... < 1624030457 760207 :[O_O]!~O_O@93-38-48-227.ip69.fastwebnet.it PRIVMSG #esolangs :if there is a problem and the thing can be read too many times, you have blue screen of death > 1624030524 926684 PRIVMSG #esolangs :14[[07School14]]4 10 02https://esolangs.org/w/index.php?diff=84664&oldid=84646 5* 03AceKiron 5* (+243) 10 < 1624030557 426464 :[O_O]!~O_O@93-38-48-227.ip69.fastwebnet.it PRIVMSG #esolangs :the is already a study in the public domain that makes a post-mortem on a vaccined corpse, it looks the spike protein was in all organs of the body, so at least in that case I suspect the trail did not work as expected < 1624030678 249671 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I'll call that speculation < 1624030865 766102 :spruit11!~quassel@2a02:a467:ccd6:1:3067:89d1:b840:4b45 JOIN #esolangs * :anon < 1624031102 579445 :[O_O]!~O_O@93-38-48-227.ip69.fastwebnet.it PRIVMSG #esolangs :for sure it is, there is not enough data, and independent research to know < 1624031156 319607 :[O_O]!~O_O@93-38-48-227.ip69.fastwebnet.it PRIVMSG #esolangs :in a decade there will be enough data to say for sure < 1624031258 102805 :int-e!~noone@int-e.eu PRIVMSG #esolangs :[O_O]: The thing is, in my very limited understanding *presence* of the spike protein everywhere (except probabvly the brain)... is kind of expected. AIUI it enters the blood stream, which is the main arena for immune response. So... it really comes down to quantities. < 1624031312 112441 :[O_O]!~O_O@93-38-48-227.ip69.fastwebnet.it PRIVMSG #esolangs :sad to read here in Italy someone dying because of the vaccine every day, recently a young girl died, in the same region where I am a guy in his 50s died after a week of AZ, the family donated the organs, all out of liver and kidneys were totally destroyed, I think that technically is called multiple organ failure < 1624031354 479947 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu QUIT :Quit: Client closed < 1624031813 740289 :riv!~river@tilde.team/user/river JOIN #esolangs river :river < 1624031929 191898 :[O_O]!~O_O@93-38-48-227.ip69.fastwebnet.it PRIVMSG #esolangs :so, they now told AZ should be done only to old people, but some young people did AZ so they now should do PFZ, and so mix the things, huge mess. < 1624032010 305630 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1624032057 754581 :spruit11!~quassel@2a02:a467:ccd6:1:3067:89d1:b840:4b45 QUIT :Ping timeout: 268 seconds < 1624032089 203364 :[O_O]!~O_O@93-38-48-227.ip69.fastwebnet.it PRIVMSG #esolangs :I mean, some young people did the first jab of AZ, but now AZ cannot be done to young, so who did already AZ will get PFZ as the second jab. < 1624032264 165496 :int-e!~noone@int-e.eu PRIVMSG #esolangs :allegedly that results in better immunization, little known about rissk < 1624032267 389338 :int-e!~noone@int-e.eu PRIVMSG #esolangs :*risks < 1624032299 255513 :Koen!~Koen@124.251.88.92.rev.sfr.net PRIVMSG #esolangs :mix all the things < 1624032306 267096 :arseniiv!~arseniiv@136.169.234.138 QUIT :Ping timeout: 240 seconds < 1624032310 751393 :Koen!~Koen@124.251.88.92.rev.sfr.net PRIVMSG #esolangs :I mixed the real virus and the Pfizer < 1624032322 887597 :Koen!~Koen@124.251.88.92.rev.sfr.net PRIVMSG #esolangs :I'm told it results in strong and durable immunization < 1624032458 625032 :[O_O]!~O_O@93-38-48-227.ip69.fastwebnet.it PRIVMSG #esolangs :also my mother did pfizer, for now her hair are of the same color < 1624032468 905522 :[O_O]!~O_O@93-38-48-227.ip69.fastwebnet.it PRIVMSG #esolangs :ehheh < 1624032499 627835 :[O_O]!~O_O@93-38-48-227.ip69.fastwebnet.it PRIVMSG #esolangs :she did not have any big side effect < 1624032565 66893 :[O_O]!~O_O@93-38-48-227.ip69.fastwebnet.it PRIVMSG #esolangs :here the vaccination campaign went quite smooth, 2 italians on 3 got at least a jab < 1624033544 739327 :imode!~imode@user/imode JOIN #esolangs imode :imode < 1624034074 232886 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User < 1624034595 51244 :spruit11!~quassel@2a02:a467:ccd6:1:3067:89d1:b840:4b45 JOIN #esolangs * :anon < 1624034703 717271 :Thelie!~Thelie@2a02:8106:215:3300:e7ad:5ab7:4ea0:e177 QUIT :Remote host closed the connection < 1624035354 239822 :mistbreeze_!~mistbreez@2600:1700:b7e0:8320:a8d5:bd63:307f:6117 QUIT :Ping timeout: 240 seconds < 1624035698 718484 :brainfunnel!~quassel@72.141.208.46.dyn.plus.net JOIN #esolangs brainfunnel :_sink < 1624035759 858480 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1624036362 126948 :Koen!~Koen@124.251.88.92.rev.sfr.net PRIVMSG #esolangs :pfizer changed your mother's hair colour? < 1624037033 720867 :[O_O]!~O_O@93-38-48-227.ip69.fastwebnet.it PRIVMSG #esolangs :nono "for now he hair are of the same color" was a stupid joke about unkown potential future side effects, nothing changed, no big side effects < 1624037048 918696 :[O_O]!~O_O@93-38-48-227.ip69.fastwebnet.it PRIVMSG #esolangs :she is fine < 1624037155 132193 :arseniiv!~arseniiv@136.169.234.138 JOIN #esolangs * :the chaotic arseniiv < 1624037530 709323 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :fizzie: The channel is #freeheromesh which is about the puzzle game engine (I supose it might be arguable that the preprocessor especially has some relevance for esoteric programming, although these kind of puzzle games are also those that some people on here have interest in similar things; I don't know if any of that counts). < 1624037637 145438 :imode!~imode@user/imode PRIVMSG #esolangs :hahahaha < 1624037639 636699 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :It is OK with me to host the logs on the same domain, or on a different domain; either way is acceptable to me < 1624037651 182928 :imode!~imode@user/imode PRIVMSG #esolangs :I almost wish it'd change my hair color. < 1624037773 580359 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :fizzie: O, also I do not expect there to be a huge number of messages in that channel > 1624038798 456703 PRIVMSG #esolangs :14[[07Column14]]4 M10 02https://esolangs.org/w/index.php?diff=84665&oldid=84643 5* 03Dominicentek 5* (+0) 10Fixed an typo, "esoretic" to "esoteric" > 1624039072 201088 PRIVMSG #esolangs :14[[07Entropy14]]4 10 02https://esolangs.org/w/index.php?diff=84666&oldid=83578 5* 03Truttle1 5* (+46) 10/* FizzBuzz */ Fixed the indentation a bit < 1624039091 600845 :[O_O]!~O_O@93-38-48-227.ip69.fastwebnet.it PRIVMSG #esolangs :that "esoretic" typo is very funny < 1624039223 650496 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :fizzie: Also, the logs should be publicly listed in the topic message, so either tell me the URL once it is set up, or add it by yourself (if I have done it correctly, you should have access) < 1624039383 311517 :slavfox!~slavfox@ipv4-93-158-232-111.net.internetunion.pl QUIT :Quit: ZNC 1.8.2 - https://znc.in < 1624039526 975161 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :zzo38: Right. Maybe I could just add it to the existing bot, and if it somehow becomes a problem (very unlikely), we can re-think. The URL would likely be https://logs.esolangs.org/libera-freeheromesh/ -- I'll take a look at the configuration in a bit, i just need to commit a lot of recent changes I've made first to keep them separate. < 1624039552 327331 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :fizzie: OK < 1624039583 250619 :slavfox!~slavfox@93.158.232.111 JOIN #esolangs slavfox :slavfox < 1624040068 558258 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User < 1624040201 914917 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :hmm... I encouraged [O_O] to stay on #esolangs because they were talking about a bytecode compiler for a toy language. I didn't expect this. < 1624040259 31160 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :zzo38: wait a moment, aren't you already hosting an always on computer with a web server? why do you need fizzie's help for the IRC logs? < 1624040279 670568 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :maybe you don't have the disk space or something < 1624040344 665587 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :All of #esoteric's 20 years of logs takes up 150 megabytes or so; it's not a very storage-intensive use case. I imagined it was just about the convenience of having a thing that does the logging and the serving and the formatting? < 1624040387 161371 :Koen!~Koen@124.251.88.92.rev.sfr.net PRIVMSG #esolangs :and here 3hours on AndChat browsing irc from my smartphone takes 60Mb < 1624040395 237437 :Koen!~Koen@124.251.88.92.rev.sfr.net PRIVMSG #esolangs :wtf is this app storing < 1624040412 579379 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :It is not always on; sometimes there is power out, internet problem, being shut off for cleaning or needing rebooting, etc. (If I later host the IRC myself, then I will have it hosting logs myself too.) Also, this allows that in case there are multiple logs being kept in case one doesn't work sometimes. < 1624040584 149486 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Koen: To be fair, it's ~570M uncompressed. But still. < 1624040652 726582 :Koen!~Koen@124.251.88.92.rev.sfr.net PRIVMSG #esolangs :570M * 3h / 20y / 60M is still a pretty small number < 1624040927 2873 :esolangs!~esolangs@techne.zem.fi JOIN #esolangs esolangs :esolangs.org < 1624040927 19245 :ChanServ!ChanServ@services.libera.chat MODE #esolangs +v :esolangs < 1624041142 843114 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :zzo38: ah thanks, that explains it < 1624041143 400735 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1624041172 122219 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User < 1624041333 42762 :arseniiv!~arseniiv@136.169.234.138 PRIVMSG #esolangs :how are you today < 1624041335 450626 :arseniiv!~arseniiv@136.169.234.138 PRIVMSG #esolangs :oops < 1624041353 135242 :arseniiv!~arseniiv@136.169.234.138 PRIVMSG #esolangs :I wanted to edit that to “how is #esoteric today” afterwards < 1624041377 670440 :arseniiv!~arseniiv@136.169.234.138 PRIVMSG #esolangs :oh well I mean #esolangs < 1624041385 22689 :APic!apic@apic.name PRIVMSG #esolangs :*shrug* < 1624041388 790018 :APic!apic@apic.name PRIVMSG #esolangs :
ACTION is fine, thanks
< 1624041423 590582 :arseniiv!~arseniiv@136.169.234.138 PRIVMSG #esolangs :(as they say, old habits die promptly and new habits do the indistinguishable) < 1624041439 605714 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :"Not too bad." (I'm trying to integrate to the local culture, and as discussed just recently, that's what you're supposed to say here.) < 1624041468 770388 :arseniiv!~arseniiv@136.169.234.138 PRIVMSG #esolangs :what measure do you use when integrating? < 1624041544 270219 :arseniiv!~arseniiv@136.169.234.138 PRIVMSG #esolangs :(though approximating integrals over culture sounds more like applied statistics) < 1624041613 620626 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Or Seldonian psychohistory, perhaps. > 1624042012 925531 PRIVMSG #esolangs :14[[07Esolang:Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=84667&oldid=83887 5* 03Redoverflow 5* (+32) 10 < 1624042148 772300 :[O_O]!~O_O@93-38-48-227.ip69.fastwebnet.it PRIVMSG #esolangs :sorry for bothering guys < 1624042196 976333 :[O_O]!~O_O@93-38-48-227.ip69.fastwebnet.it PART :#esolangs < 1624042213 739129 :arseniiv!~arseniiv@136.169.234.138 PRIVMSG #esolangs :fizzie: haha < 1624042551 209808 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1624042688 437516 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :`? #esoteric < 1624042690 148480 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :​#esoteric is the only channel that exists. After monqy left it became slightly off-centër. It's a 7-codimensional hyperenchilada about 30 m (100 ft) across. oerjan seems to be making a lawn in the northern part, but it keeps getting dug up by free ranging moons. Currently located in the Atlantis Exclusion Zone. < 1624042855 99241 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User < 1624043318 16509 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :`? libera < 1624043319 744023 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :Libera has always been our homeland. The Chännel has been dwelling in it since the beginning of time. Any rumors about another network called "freenode" are compleetely bogus. < 1624043336 958706 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :`? freenode < 1624043340 159812 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :The Realm of Freenode used to be our homeland. The Chännel dwelled in it since... Uhm... Quite a few years ago? < 1624043344 278702 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :`? oftc < 1624043345 930401 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :oftc? ¯\(°​_o)/¯ > 1624043347 756689 PRIVMSG #esolangs :14[[07Esolangs (irc)14]]4 10 02https://esolangs.org/w/index.php?diff=84668&oldid=83621 5* 03Fizzie 5* (-486) 10Remove the bits that are no longer relevant. > 1624043407 192899 PRIVMSG #esolangs :14[[07Fungot14]]4 M10 02https://esolangs.org/w/index.php?diff=84669&oldid=67852 5* 03Fizzie 5* (+3) 10Also moved. > 1624043411 241643 PRIVMSG #esolangs :14[[07Bitbot14]]4 N10 02https://esolangs.org/w/index.php?oldid=84670 5* 03Toxinite 5* (+1871) 10Created page with "==Overview== '''Bitbot''' is an esolang created on the 18th of June, 2021 by [[User:Toxinite]]. Bitbot programs are used to control a data pointer in an infinite 2d grid of bi..." > 1624043493 776853 PRIVMSG #esolangs :14[[07HackEso14]]4 M10 02https://esolangs.org/w/index.php?diff=84671&oldid=67581 5* 03Fizzie 5* (+3) 10Also moved. < 1624043828 667897 :chrysanthematic!~chrysanth@109.70.150.245 JOIN #esolangs chrysanthematic :chrysanthematic > 1624043902 927306 PRIVMSG #esolangs :14[[07UNITE14]]4 N10 02https://esolangs.org/w/index.php?oldid=84672 5* 03Redoverflow 5* (+1292) 10Created page with "'''UNITE''' is a pretty small esolang with a little to no purpose. ==Overview== UNITE only consists of two commands, which are explained in the table below. {| class="wikita..." < 1624044201 527469 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… > 1624044212 705041 PRIVMSG #esolangs :14[[07Esolang:Community portal14]]4 10 02https://esolangs.org/w/index.php?diff=84673&oldid=84628 5* 03B jonas 5* (+121) 10/* IRC */ > 1624044643 212112 PRIVMSG #esolangs :14[[07UToober14]]4 M10 02https://esolangs.org/w/index.php?diff=84674&oldid=84661 5* 03CodyNinja1 5* (+53) 10added the "EDITORNOTE" instruction > 1624044680 298945 PRIVMSG #esolangs :14[[07UToober14]]4 M10 02https://esolangs.org/w/index.php?diff=84675&oldid=84674 5* 03CodyNinja1 5* (+64) 10added the extra line > 1624044706 213828 PRIVMSG #esolangs :14[[07UToober14]]4 M10 02https://esolangs.org/w/index.php?diff=84676&oldid=84675 5* 03CodyNinja1 5* (+80) 10added the other extra line > 1624044843 373866 PRIVMSG #esolangs :14[[07UToober14]]4 M10 02https://esolangs.org/w/index.php?diff=84677&oldid=84676 5* 03CodyNinja1 5* (+0) 10oops > 1624044894 439706 PRIVMSG #esolangs :14[[07UToober14]]4 M10 02https://esolangs.org/w/index.php?diff=84678&oldid=84677 5* 03CodyNinja1 5* (+0) 10im so dumb lmao > 1624045071 437549 PRIVMSG #esolangs :14[[07UToober14]]4 M10 02https://esolangs.org/w/index.php?diff=84679&oldid=84678 5* 03CodyNinja1 5* (+87) 10added the inf. loop program < 1624045243 509973 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User < 1624045307 528023 :chrysanthematic!~chrysanth@109.70.150.245 QUIT :Quit: chrysanthematic > 1624045608 444488 PRIVMSG #esolangs :14[[07UToober14]]4 M10 02https://esolangs.org/w/index.php?diff=84680&oldid=84679 5* 03CodyNinja1 5* (+755) 10 < 1624046246 937042 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :so with this covid thing, I sometimes work from home. every time I have to do that, I pack up the work laptop in my bag, bring it home, put the laptop and accessories onto my desk, plug the docking station into the laptop, plug the power supply to the docking station, plug the power supply to the mains, hit the power button, see that the power led lights up, plug the keyboard into the docking station, < 1624046252 946815 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :plug the wireless mouse dongle to the laptop, turn on the wireless mouse, < 1624046277 159018 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :press keys on the keyboard, move the mouse, press keys on the keyboard, move the mouse, wonder why there's no image on the screen, I check that the power light is still on, I wonder again why there's no image on the screen. < 1624046296 29639 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :it's because I DIDN'T CONNECT THE HDMI CABLE TO THE DOCKING STATION, YOU IDIOT. < 1624046300 116941 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :it's the same thing every darned time < 1624046305 412174 :chrysanthematic!~chrysanth@89.38.69.171 JOIN #esolangs chrysanthematic :chrysanthematic < 1624046329 723571 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :this covid thing has been going on for a year and a half. you've brought the laptop home like twenty times. the first two times you made different mistakes, but ever since that, it's been the hdmi cable. < 1624046333 729575 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :I'm just getting old, that's what it is < 1624046518 928374 :warlock!~warlock@c-73-224-231-78.hsd1.fl.comcast.net JOIN #esolangs warlock :warlock < 1624046581 283538 :chrysanthematic!~chrysanth@89.38.69.171 CHGHOST ~chrysanth :user/chrysanthematic < 1624046603 885540 :chrysanthematic!~chrysanth@user/chrysanthematic QUIT :Quit: chrysanthematic < 1624046658 255562 :chrysanthematic!~chrysanth@user/chrysanthematic JOIN #esolangs chrysanthematic :chrysanthematic < 1624047287 851043 :delta23!~delta23@user/delta23 JOIN #esolangs delta23 :delta23__ < 1624047677 106357 :arseniiv!~arseniiv@136.169.234.138 QUIT :Ping timeout: 244 seconds < 1624048135 623501 :jedb!~jedb@89.38.225.44 PART #esolangs :Leaving < 1624048774 937853 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esolangs :Maybe you should right down a checklist < 1624048968 674068 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Taneb: A reminder that I wrote up https://esolangs.org/wiki/Esolang:IRC_cloaks as a potential suggestion of how about/esolangs/* IRC cloaks could be divvied up. < 1624049042 486722 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esolangs :fizzie: there are multiple cloaks I would like and I'm being a bit of a Buridan's Ass about the whole thing < 1624049092 553067 :int-e!~noone@int-e.eu PRIVMSG #esolangs :. o O ( everything/inventor/taneb ) < 1624049114 17647 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :That's reasonable enough, just wanted to make sure you didn't miss that. > 1624049154 14721 PRIVMSG #esolangs :14[[07Inverted14]]4 N10 02https://esolangs.org/w/index.php?oldid=84681 5* 03Dominicentek 5* (+3400) 10Created page with "Inverted is an esoteric programming language written by Dominicentek in Java. It's code is written line-by-line, and executed from bottom to top. It's very similar to Brainfuc..." < 1624049156 612533 :keegan!~beehive@li521-214.members.linode.com PRIVMSG #esolangs :did somebody say ass > 1624049167 952004 PRIVMSG #esolangs :14[[07Inverted14]]4 10 02https://esolangs.org/w/index.php?diff=84682&oldid=84681 5* 03Dominicentek 5* (-10) 10 < 1624049230 854179 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :I think that if you are going to make cloaks, it could be allowed for anyone who has made at least one edit on the wiki and uses the wiki user name as the cloak name (it doesn't matter what edit, as long as it is not one that is then reverted right away because it is no good) < 1624049258 292828 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :zzo38: I thought the nickserv username has to be in the cloak < 1624049285 764267 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Nah, Wikipedia cloaks are wiki usernames AIUI. < 1624049348 219462 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :b_jonas: If so, then require the usernames to match. < 1624049355 855275 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :huh... I wonder how they encode the wiki usernames, those can contain like almost all character except control characters and ten or so reserved ones > 1624049380 445295 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Sknebel 5* 10New user account < 1624049387 748182 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :and, in particular, [ is valid in an irc nick but not in a wiki username > 1624049394 712537 PRIVMSG #esolangs :14[[07Inverted14]]4 M10 02https://esolangs.org/w/index.php?diff=84683&oldid=84682 5* 03Dominicentek 5* (+66) 10Added categories < 1624049412 48923 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :My preference would allow you to choose between your (Esolangs) wiki username (translated into a cloak-eligible form in any generally reasonable manner) or your IRC nickname (or I guess NickServ account name, which for most is the same), but not anything completely arbitrary. < 1624049415 203299 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :and hostnames are even more restricted < 1624049424 251105 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :but the point is, some wiki usernames don't even have any ascii chracter > 1624049432 810689 PRIVMSG #esolangs :14[[07Esolang:IRC cloaks14]]4 10 02https://esolangs.org/w/index.php?diff=84684&oldid=83836 5* 03Taneb 5* (+77) 10Request a cloak < 1624049435 498627 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :well I guess there's always punycode or something < 1624049443 661429 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esolangs :fizzie: I have decided to request a cloak > 1624049454 385244 PRIVMSG #esolangs :14[[07User:Dominicentek14]]4 10 02https://esolangs.org/w/index.php?diff=84685&oldid=84363 5* 03Dominicentek 5* (+15) 10 < 1624049467 327835 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :fizzie: and I guess you won't give me the same cloak that someone else has if I register their irc nick on the wiki or the other way < 1624049474 319018 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :because that would be silly < 1624049499 641215 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Yeah, I guess that would be a reasonable rule too. > 1624049503 736677 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=84686&oldid=84662 5* 03Sknebel 5* (+203) 10add myself < 1624049512 828034 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :O, those are also a valid point, although it is too late now I would have disallowed non-ASCII characters in wiki user names, since it can cause problems with homoglyphs < 1624049567 215938 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :https://meta.wikimedia.org/wiki/IRC/Cloaks "Name conflicts will be handled on a case-by-case basis." I don't imagine it would really become a problem for us, because there aren't that many people interested I think. < 1624049608 822769 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :yep. I don't actually want a cloak. < 1624049643 839557 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :and if I wanted a cloak, I would prefer an unaffiliated one (I know it's not called that anymore, but still) > 1624049805 401047 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Zelah 5* 10New user account < 1624049930 752205 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Taneb: You didn't do the "Keep the "example" record at the bottom of the table for others" bit, but that really doesn't matter. :) < 1624049978 18724 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esolangs :fizzie: I figured there's a small chance that that was an actual person, and it'd be rude to skip the queue in front of them < 1624049996 113510 :int-e!~noone@int-e.eu PRIVMSG #esolangs :there's no queue, really < 1624050004 918678 :int-e!~noone@int-e.eu PRIVMSG #esolangs :fizzie's collecting a batch to be processed all at once < 1624050023 800674 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Also, the IP I use for email has somehow made it to the Spamhaus blocklist. :/ One of those new user registration confirmation emails just bounced because of that. < 1624050059 880445 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :The listing details don't really mention my specific IP, but I guess it's possible they've blocked a larger range of DigitalOcean addresses. < 1624050083 155113 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Yeah, it's a /23. < 1624050308 429674 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :I have a book of philosophy of mathematics. It mentions some things including naturalism, Platonism, and also classical and intuitionistic logic. One thing that they say is: do classical and intuitionistic logicians mean the same thing? Is one correct and the other wrong, or both wrong? Is there a disagreement about truth? But, my own opinion is: Absolute truth is inexpressible. < 1624050749 473580 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1624050851 27123 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :zzo38: I would point out three things. First, there's a theorem, Tarski's Undefinability of Truth, which agrees with your opinion. It makes some assumptions about numbers though. < 1624050985 212263 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :Second, the Law of Excluded Middle (LEM) is not true in all settings, and it's the main difference between constructive and non-constructive logics. So the place where we're trying to use the results of our logical reasoning (sets, spaces, etc.) alters the truthiness of some of our axioms. < 1624051050 508804 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :Third, there's a bridge between the typical constructive approach and the typical Boolean approach; we can reuse constructive proofs in Boolean contexts, and we can use https://ncatlab.org/nlab/show/double+negation+translation to go the other way. < 1624051415 160059 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :Yes, I do know of the double negation translation and Law of Excluded Middle and that stuff > 1624051464 344223 PRIVMSG #esolangs :14[[07Esolang talk:Community portal14]]4 10 02https://esolangs.org/w/index.php?diff=84687&oldid=83837 5* 03Zzo38 5* (+660) 10 < 1624051519 538364 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :Ah, excellent. It makes sense that folks here might be initiated into esoterica. < 1624051687 803862 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :(Also, I think the double negation translation is also related to continuation monad) < 1624051824 851019 :mistbreeze!~mistbreez@99-135-60-89.lightspeed.bcvloh.sbcglobal.net JOIN #esolangs mistbreeze :jessica < 1624052707 687413 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN #esolangs oerjan :Ørjan Johansen > 1624053236 319006 PRIVMSG #esolangs :14[[07Bitbot14]]4 M10 02https://esolangs.org/w/index.php?diff=84688&oldid=84670 5* 03Toxinite 5* (+438) 10Mild improvements + stub and WIP templates < 1624053432 17034 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :Yeah, it is. It's a deep mystery. > 1624053461 478480 PRIVMSG #esolangs :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=84689&oldid=84638 5* 03Toxinite 5* (+13) 10Added Bitbot < 1624053525 869884 :Thelie!~Thelie@2a02:8106:215:3300:e7ad:5ab7:4ea0:e177 JOIN #esolangs * :Thelie < 1624053994 391950 :keegan!~beehive@li521-214.members.linode.com PRIVMSG #esolangs :yes < 1624054036 823528 :Thelie!~Thelie@2a02:8106:215:3300:e7ad:5ab7:4ea0:e177 QUIT :Remote host closed the connection < 1624054041 140955 :keegan!~beehive@li521-214.members.linode.com PRIVMSG #esolangs :to prove "P or not P": first assert "not P", then if someone calls your bluff by providing a proof of P, use a continuation to go back in time and assert P was true all along < 1624054048 553367 :keegan!~beehive@li521-214.members.linode.com PRIVMSG #esolangs :I find this deeply amusing < 1624054064 22948 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :fake! < 1624054080 975154 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :you can't just go back in time < 1624054130 262763 :keegan!~beehive@li521-214.members.linode.com PRIVMSG #esolangs :you can't really, but you can do something that looks like it with continuations < 1624054156 819106 :keegan!~beehive@li521-214.members.linode.com PRIVMSG #esolangs :you can formalize and typecheck the above recipe for proving "P or not P" given a call/cc operator (whose type corresponds to Pierce's Law) < 1624054308 231853 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :I had preferred a different variant which is "law of excluded middle continuations" (lem/cc), although they can be implemented from each other < 1624054310 659831 :keegan!~beehive@li521-214.members.linode.com PRIVMSG #esolangs :@type callCC (\k -> return $ Left (\x -> k $ Right x)) < 1624054311 959455 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :MonadCont m => m (Either (b1 -> m b2) b1) < 1624054380 324173 :keegan!~beehive@li521-214.members.linode.com PRIVMSG #esolangs :within Haskell you can think of the Cont monad as a logic operator which means "classically true" as opposed to the default meaning of types, "constructively true" < 1624054396 445877 :keegan!~beehive@li521-214.members.linode.com PRIVMSG #esolangs :zzo38: what is the type of lem/cc? < 1624054473 618685 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :m b2 ? < 1624054479 897632 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :keegan: It is the same as that one, I think < 1624054501 935631 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :@type callCC (\k -> return $ Left (\x -> k =<< Right x)) < 1624054503 431542 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :error: < 1624054503 521325 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs : • Occurs check: cannot construct the infinite type: < 1624054503 521362 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs : a1 ~ Either (a1 -> Either a b0) b1 < 1624054986 806936 :chrysanthematic!~chrysanth@user/chrysanthematic QUIT :Ping timeout: 264 seconds < 1624055616 637000 :Koen!~Koen@124.251.88.92.rev.sfr.net QUIT :Quit: Leaving... < 1624056187 157545 :chrysanthematic!~chrysanth@user/chrysanthematic JOIN #esolangs chrysanthematic :chrysanthematic < 1624058303 663014 :keegan!~beehive@li521-214.members.linode.com PRIVMSG #esolangs :riv: let's specialize to m = Cont and rename the other variables, giving Cont (Either (a -> Cont b) a) < 1624058336 263321 :keegan!~beehive@li521-214.members.linode.com PRIVMSG #esolangs :"for all propositions a,b, it is classically true that either a implies b, or a is true" < 1624058355 319856 :keegan!~beehive@li521-214.members.linode.com PRIVMSG #esolangs :since b does not appear anywhere else this boils down to "either a implies everything, or a is true" < 1624058376 780267 :keegan!~beehive@li521-214.members.linode.com PRIVMSG #esolangs :and "a implies everything" is just a more explicit way to write "not a" (in both classical and constructive logic) < 1624058422 697727 :chrysanthematic!~chrysanth@user/chrysanthematic QUIT :Quit: chrysanthematic < 1624058430 870461 :keegan!~beehive@li521-214.members.linode.com PRIVMSG #esolangs :so that's the law of the excluded middle < 1624058523 579246 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :I thought the law of the excluded middle was the policeman joke, the one about four policeman arguing about who gets the window seats in the police car. < 1624058573 499459 :keegan!~beehive@li521-214.members.linode.com PRIVMSG #esolangs :i don't know that one < 1624058629 69556 :b_jonas!~x@catv-176-63-12-91.catv.broadband.hu PRIVMSG #esolangs :there's no more to it < 1624058708 243403 :keegan!~beehive@li521-214.members.linode.com PRIVMSG #esolangs :I see > 1624058889 745127 PRIVMSG #esolangs :14[[07UToober14]]4 M10 02https://esolangs.org/w/index.php?diff=84690&oldid=84680 5* 03CodyNinja1 5* (+109) 10added the VSCode extension for syntax highlighting > 1624058910 584037 PRIVMSG #esolangs :14[[07UToober14]]4 M10 02https://esolangs.org/w/index.php?diff=84691&oldid=84690 5* 03CodyNinja1 5* (+2) 10im an idiot < 1624058946 175394 :chrysanthematic!~chrysanth@user/chrysanthematic JOIN #esolangs chrysanthematic :chrysanthematic < 1624059246 119837 :chrysanthematic!~chrysanth@user/chrysanthematic QUIT :Ping timeout: 268 seconds > 1624060128 561016 PRIVMSG #esolangs :14[[07Bitbot14]]4 M10 02https://esolangs.org/w/index.php?diff=84692&oldid=84688 5* 03PythonshellDebugwindow 5* (+42) 10/* Commands */ Categorize > 1624060274 65553 PRIVMSG #esolangs :14[[07Esolang:Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=84693&oldid=84667 5* 03PythonshellDebugwindow 5* (+23) 107