00:21:25 -!- ais523 has quit (Read error: Connection reset by peer). 00:22:44 -!- ais523 has joined. 00:43:03 Can Firefox be configured to send the "Referer" header only for form submissions to the same domain name? 00:45:53 There's a bunch of settings https://wiki.mozilla.org/Security/Referrer ... network.http.referer.XOriginPolicy is maybe close enough? It doesn't distinguish based on request type though, apparently. 00:46:52 Yes, I also know of network.http.referer.sendRefererHeader, although it can't distnguish forms specifically. 01:04:32 [[Volatile]] M https://esolangs.org/w/index.php?diff=70282&oldid=68162 * JonoCode9374 * (-8) Username change lol 01:31:08 -!- Sgeo_ has quit (Read error: Connection reset by peer). 01:34:33 -!- Sgeo has joined. 01:39:42 -!- lambdabot has quit (Ping timeout: 260 seconds). 01:43:44 -!- lambdabot has joined. 02:01:55 -!- imode has quit (Ping timeout: 255 seconds). 02:03:53 -!- imode has joined. 05:13:01 -!- Sgeo_ has joined. 05:16:19 -!- Sgeo has quit (Ping timeout: 255 seconds). 06:17:31 -!- sprocklem has quit (Ping timeout: 255 seconds). 06:17:47 -!- sprocklem has joined. 06:18:03 -!- ais523 has quit (Quit: quit). 07:23:18 -!- xelxebar_ has quit (Remote host closed the connection). 07:24:51 -!- xelxebar has joined. 07:27:21 -!- kritixilithos has joined. 07:48:25 -!- imode has quit (Ping timeout: 255 seconds). 08:27:50 -!- atslash has quit (Ping timeout: 256 seconds). 08:28:52 -!- atslash has joined. 08:32:04 -!- arseniiv has joined. 08:39:23 Orchard et al. in an article on coeffects wrote they will mark a context with a coeffect and that that’s a bit more complex than effects because λ-calculus is not as symmetric between terms and contexts. So I went and made a symmetric λγ-calculus that’s more eso than useful. I’ll write out something to the wiki 08:48:41 with a certain restriction it should be equivalent to the usual λ-calculus, though it may be more general and I don’t know with what semantics 09:36:40 -!- Sgeo__ has joined. 09:39:55 -!- Sgeo_ has quit (Ping timeout: 265 seconds). 10:09:03 -!- kritixilithos has quit (Ping timeout: 240 seconds). 10:09:16 hi Sgeo__ 10:21:45 [[Function x(y)]] https://esolangs.org/w/index.php?diff=70283&oldid=70281 * A * (+90) /* Examples */ To be honest this language is quite similar to Erlang. 10:22:10 [[Function x(y)]] https://esolangs.org/w/index.php?diff=70284&oldid=70283 * A * (+2) /* Fibonacci sequence */ 10:23:09 [[Function x(y)]] https://esolangs.org/w/index.php?diff=70285&oldid=70284 * A * (-1) Typo 10:26:46 [[X(y)]] N https://esolangs.org/w/index.php?oldid=70286 * D * (+226) Created page with "{{lowercase}} '''X(y)''' is a language created by [[User:A]] for a simpler form of [[Function x(y)]]. == Syntax == == Examples == [[Category:2020]] [[Category:Languages]] Ca..." 10:29:20 [[X(y)]] https://esolangs.org/w/index.php?diff=70287&oldid=70286 * A * (+970) Simplified the spec. 10:30:56 [[X(y)]] https://esolangs.org/w/index.php?diff=70288&oldid=70287 * A * (-66) 10:34:08 [[X(y)]] https://esolangs.org/w/index.php?diff=70289&oldid=70288 * A * (+566) 10:39:38 -!- sprocklem has quit (Ping timeout: 240 seconds). 10:39:56 -!- sprocklem has joined. 10:46:21 [[X(y)]] https://esolangs.org/w/index.php?diff=70290&oldid=70289 * A * (-84) 10:51:56 [[Symmetric -calculus]] N https://esolangs.org/w/index.php?oldid=70291 * Arseniiv * (+3323) Created page with "'''Symmetric -calculus''' is a generalization of [[Lambda calculus|-calculus]] to make contexts and terms more on par with each others, though it follows that one needs le..." 11:00:34 -!- atslash has quit (Ping timeout: 255 seconds). 11:00:51 -!- atslash has joined. 11:42:12 -!- kritixilithos has joined. 11:46:45 -!- Lord_of_Life_ has joined. 11:47:18 -!- Lord_of_Life has quit (Ping timeout: 256 seconds). 11:48:05 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 12:30:03 -!- kritixilithos has quit (Ping timeout: 240 seconds). 12:30:04 [[Symmetric -calculus]] M https://esolangs.org/w/index.php?diff=70292&oldid=70291 * Arseniiv * (-9) l 12:30:12 ll 12:30:15 oops 12:30:34 oops I hadn’t typed the description right 12:33:42 [[]] M https://esolangs.org/w/index.php?diff=70293&oldid=66642 * Arseniiv * (+79) added a link to [[Combinatory logic]] 12:48:44 [[User:Arseniiv]] M https://esolangs.org/w/index.php?diff=70294&oldid=66959 * Arseniiv * (+56) self-linking to the selfs linked self 12:49:54 (I’m not sure I can explain this thing but if there would be questions it would probably be easier) 12:56:11 -!- kritixilithos has joined. 13:12:53 [[Symmetric -calculus]] https://esolangs.org/w/index.php?diff=70295&oldid=70292 * Arseniiv * (+687) clarified a bit 13:40:37 -!- FreeFull has quit (Quit: rebooting). 13:41:47 -!- FreeFull has joined. 14:03:09 -!- Phantom_Hoover has joined. 14:12:23 -!- kritixilithos has quit (Ping timeout: 240 seconds). 14:20:34 -!- kritixilithos has joined. 15:10:57 -!- ais523 has joined. 15:18:01 -!- ais523 has quit (Remote host closed the connection). 15:19:24 -!- ais523 has joined. 15:33:24 Hi Lykaina 16:00:57 Sgeo__: you have enough toilet paper? 16:01:15 shoulda put that in a pm 16:23:36 lol 16:32:34 I don't get the obsession with toilet paper. You can't eat that stuff. 16:33:12 It's such a cliche. 16:33:28 -!- sprocklem has quit (Ping timeout: 256 seconds). 16:34:17 -!- sprocklem has joined. 16:34:57 there are people hoarding cash, that's even more hillarious 16:36:06 like "oh, there's no electricity or internet to make card payments, but at least the super markets will open to get my money for sure" 16:36:29 the more hillarious point in that is that places started rejecting cash 16:36:36 myname: they probably want to disinfect the cash supply, as part of their civic duty, since banknotes are always so dirty 16:36:59 (which is a good idea, but it makes hoarding cash even more useless) 16:37:01 wash your hands after shopping 16:38:09 I can't imagine shops starting to reject cash here. It's way too common. 16:38:47 Maybe when the first line of cashiers is all in hospital :-/ 16:39:22 i heard that chains here started doing that. and a county apparently banned it completely 16:39:26 (Well, or tested positive for covid. I wonder whether anybody is making that a priority.) 16:39:40 myname: Are you in the US? 16:39:44 germany 16:39:50 Oh. Wow. 16:40:26 Didn't expect that at all. (Austria here. Actually in Tyrol so I'm officially under lockdown now.) 16:40:58 (Starting today.) 16:42:01 i heard from people starting skiing vacation friday x) 16:42:10 Hoarding cash seems pointless indeed. If banks stop operating (that is the scenario here, right?) then cash will be worthless in a heartbeat. 16:42:24 myname: Well they won't be going to Tyrol. 16:42:39 they are being sent back right now 16:42:41 toilet paper will become currency, obviously 16:43:05 Oh. You heard about the lockdown by that route. Man, communication is so hard. 16:44:44 -!- nchambers has quit (Quit: ZNC 1.7.5 - https://znc.in). 16:44:56 -!- nchambers has joined. 16:48:49 https://www.zeit.de/politik/deutschland/2020-03/afd-rechtsradikale-coronavirus-verfassungsschutz-gefahr oh dear 16:53:28 -!- sprocklem has quit (Ping timeout: 265 seconds). 16:55:20 -!- sprocklem has joined. 16:57:05 -!- kritixilithos has quit (Quit: quit). 16:59:09 -!- kritixilithos has joined. 17:02:24 -!- kritixil1 has joined. 17:03:58 09:32 < int-e> I don't get the obsession with toilet paper. You can't eat that stuff. 17:04:02 sure you can! https://lastoneeating.wordpress.com/2011/08/19/toilet-paper-mushrooms-blue-oyster/ 17:04:16 you can also drink it! https://www.youtube.com/watch?v=v-mWK_kcZMs 17:04:23 -!- kritixilithos has quit (Ping timeout: 240 seconds). 17:07:29 -!- kritixilithos has joined. 17:09:02 kmc: thanks :-/ 17:10:23 -!- kritixil1 has quit (Ping timeout: 240 seconds). 17:11:50 to all those hoarding toilet paper to use as coronapocalypse currency: 17:12:47 with so many people hoarding it, it's actually running out, so it was rational to hoard it all along! 17:13:13 (/s) 17:14:13 -!- haavard has quit (Remote host closed the connection). 17:15:17 -!- haavard has joined. 17:15:35 olsner: you're not actually wrong though 17:15:39 stupid prisoner's dilemmas 17:16:21 as it happens we still had plenty left from our costco trip several months ago, so i haven't bought any 17:16:52 but if we were running low at the time that i started to get worried about covid-19 (which was weeks ago) i would have bought some 17:17:16 but not like years' worth like some people are 17:17:17 -!- kritixil1 has joined. 17:17:43 -!- kritixilithos has quit (Ping timeout: 240 seconds). 17:20:27 you can also drink it! https://www.youtube.com/watch?v=v-mWK_kcZMs => ahaha I’ve seen that one too! Though drinking diamond water, a recent one by NileRed too, is maybe more weirderesting. Also I thought the link was to a video where somebody would drink a fine mix of the paper, as it’s mainly cellulose and pretty clean one, so it’s no harm at all to drink it when maybe first boiled a bit, then it should be perfectly safe(? I 17:20:27 ate a napkin and lived) 17:20:45 yeah 17:21:07 the problem is that humans can't digest cellulose 17:21:13 so there are not many calories in toilet paper 17:21:40 hence my suggestion of using it to grow mushrooms instead! 17:21:56 I know there are several kilograms of little friends somewhere inside that can 17:22:15 yeah, it should be harmlesss, but useless. Not sure about scented toilet paper, though. 17:22:23 though I don’t know if they prefer cellulose from e. g. cucumbers more 17:22:47 I don't think any animal can digest cellulose on its own. the ones that appear to (cows, horses, termites) are really feeding microorganisms that live in their guts 17:23:48 exactly! 17:25:38 re. that symmetric lambda calculus: I think I formulated it wrong and I don’t know how to remedy that 18:08:23 -!- kritixil1 has quit (Ping timeout: 240 seconds). 18:20:43 https://twitter.com/JeremyKlemin/status/1239218272521859073?s=09 18:21:05 -!- olsner has quit (Ping timeout: 268 seconds). 18:24:38 [[Symmetric -calculus]] M https://esolangs.org/w/index.php?diff=70296&oldid=70295 * Arseniiv * (+58) grammar 18:28:06 -!- olsner has joined. 18:39:16 -!- j-bot has quit (*.net *.split). 18:39:16 -!- iovoid has quit (*.net *.split). 18:39:16 -!- catern has quit (*.net *.split). 18:39:16 -!- shachaf has quit (*.net *.split). 18:39:16 -!- ornxka has quit (*.net *.split). 18:39:16 -!- howlands has quit (*.net *.split). 18:39:25 -!- ornxka_ has joined. 18:39:26 -!- shachaf_ has joined. 18:39:41 -!- howlands_ has joined. 18:40:21 -!- iovoid has joined. 18:46:10 -!- catern has joined. 19:08:10 -!- olsner has quit (Ping timeout: 256 seconds). 19:20:38 -!- shachaf_ has changed nick to shachaf. 19:26:44 -!- olsner has joined. 19:32:34 -!- imode has joined. 19:36:31 -!- Hooloovo0 has quit (*.net *.split). 19:36:31 -!- hakatashi has quit (*.net *.split). 19:36:52 -!- hakatashi has joined. 19:39:21 -!- Hooloovo0 has joined. 20:30:15 -!- shig has quit (*.net *.split). 20:30:23 -!- shig has joined. 20:39:50 [[Infinite Goto]] M https://esolangs.org/w/index.php?diff=70297&oldid=70251 * PythonshellDebugwindow * (+27) /* Syntax */ 20:46:51 [[Infinite Goto]] M https://esolangs.org/w/index.php?diff=70298&oldid=70297 * PythonshellDebugwindow * (+52) /* Syntax */ 21:12:22 -!- Hooloovo0 has quit (Quit: Temporarily refracted into a free-standing prism.). 21:14:05 [[Infinite Goto]] M https://esolangs.org/w/index.php?diff=70299&oldid=70298 * PythonshellDebugwindow * (+294) /* Examples */ 22:32:10 -!- arseniiv has quit (Ping timeout: 256 seconds). 22:42:16 -!- oerjan has joined. 22:53:22 -!- oerjan has set topic: Welcome to the international center for esoteric programming virus discussion, design, development, and deployment! | https://esolangs.org | logs: https://esolangs.org/logs/ http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D https://github.com/KrzysztofSzewczyk/esologs/. 22:53:32 now much more accurate 22:53:43 and cpressey will be happy 23:07:56 -!- olsner has quit (Ping timeout: 256 seconds). 23:12:19 -!- olsner has joined. 23:15:29 . o O ( s/deployment/lockdown/ ) 23:16:33 `quote coronation 23:16:35 No output. 23:17:14 Also, haha, "dead" weight. 23:20:17 int-e: the quote is at https://www.giantitp.com/comics/oots0465.html fourth panel 23:23:17 i ... don't think int-e was thinking about that. 23:24:52 yeah it's just an obvious pun 23:25:30 the dead weight was from Schlockmercenary though 23:26:12 which is having an exercise in long odds, kind of like the real world, only far more fatal 23:27:51 yeah i mentioned the other day that girl genius seems to be doing something similar. 23:28:23 including nifty prediction diagrams with a single green option 23:29:14 (which is itself unpredictable) 23:29:43 obviously a metaphor for the coronavirus hth 23:30:11 . o O ( plot twist: for pandimensional monsters, red is the good color and green the dangerous one ) 23:30:33 i don't think that fits the accompanying explanation 23:31:11 Only if you decide to trust the weird invisible violet thing. 23:31:37 but but he's so cute and cuddly 23:31:54 Or is that pink. 23:32:21 (i assume if anyone tried to touch him they'd experience some horrible effect and possibly die. in the past. 23:32:24 ) 23:32:31 *to cuddle him 23:34:07 Maybe he's a monad. 23:34:37 Sure looks cuddly but deep down you know it's monstrous ;) 23:34:53 *gently* par the monstrosity 23:34:56 https://wiki.haskell.org/wikiupload/1/1d/Monica_monad_falconnl.png 23:34:58 *pat 23:35:16 my brain says he's more blueish than reddish, which is also my dividing line between purple/violet and pink 23:35:17 oerjan: ^^ it looks almost the same too (is that racist...) 23:36:20 . o O ( All amoebas look the same too me. Same for snowflakes. ) 23:36:38 I'm not serious. 23:38:36 nah that monad thing clearly has a corona, unlike mr. Hotep 23:38:45 um 23:38:50 * Thotep 23:39:00 * oerjan should look it up 23:40:01 Karl Thotep, says the menu. 23:47:15 -!- Lord_of_Life_ has joined. 23:50:23 -!- Lord_of_Life has quit (Ping timeout: 268 seconds). 23:50:29 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 23:51:00 -!- imode has quit (Ping timeout: 256 seconds). 23:52:52 -!- imode has joined. 23:53:55 -!- Phantom_Hoover has quit (Quit: Leaving). 23:58:58 -!- Hooloovo0 has joined.