00:00:02 -!- danieljabailey has quit (Quit: ZNC 1.6.6+deb1ubuntu0.1 - http://znc.in).
00:04:00 -!- Phantom_Hoover has quit (Remote host closed the connection).
00:06:46 <esowiki> [[L.H.O.O.Q.]] M https://esolangs.org/w/index.php?diff=59340&oldid=59336 * Salpynx * (+28) /* Language goals */
00:21:07 -!- FreeFull has quit (Ping timeout: 240 seconds).
00:36:05 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”).
00:39:18 -!- Sgeo_ has joined.
00:57:49 <esowiki> [[Brainfuck]] https://esolangs.org/w/index.php?diff=59341&oldid=59043 * Cortex * (+14)
00:58:07 <esowiki> [[User:Ais523]] https://esolangs.org/w/index.php?diff=59342&oldid=58996 * Cortex * (+14) lowercased the title
01:58:19 <arseniiv> zzo38: about CancelScript: in the light of the last trends of Esowiki activity, I feel there’s a need to extract another category weakscripts, in analogy with “Brainfuck derivatives”
02:00:44 <esowiki> [[Hexomnia]] https://esolangs.org/w/index.php?diff=59343&oldid=59334 * Cortex * (+116)
02:13:42 <arseniiv> also it’s unfair I have thought up a weakscript way earlier, and it was a statically typed one, namely a language with a singleton type, function types, and automatic type isomorphism calculation, so essentially just only one type and the one value, and the program is automatically that value and you don’t need to define anything and type inference is absolute. This typing is so complete and elegant that we don’t really need to ad
02:13:42 <arseniiv> d something as mundane as Turing-completeness; I named this thing Agua as a transparent nod to Agda and water (as in “water down”—can’t conclude something for English, but in Russian this can be used about a text and has negative connotations such as the text is too long but means not a lot, i. e. because of pseudophilosophical passages or clumsy legalese-like syntax), but it seems the time has gone
02:14:46 <arseniiv> I think singleton-typed weakscript is a really neat idea but I still have scraps of modesty to not flood it to the wiki :D
02:21:40 -!- arseniiv has quit (Ping timeout: 246 seconds).
02:27:39 -!- xkapastel has quit (Quit: Connection closed for inactivity).
02:40:59 <zzo38> arseniiv: Stuff like CancelScript could also fit with joke language and unusable for programming, but maybe another such category is helpful I don't know.
02:43:56 -!- Lord_of_Life has quit (Ping timeout: 246 seconds).
02:48:45 -!- Lord_of_Life has joined.
03:20:04 -!- salpynx has joined.
03:24:22 <salpynx> FWIW, I'm seriously interested in properly classifying silly languages like `+`, `+-`, `HQ9+`, and `Deadfish`, which might be related to the class of weakscripts (which seems like a good category, if we can come up with a formal, as well as informal, definition.)
03:27:03 -!- salpynx has quit (Quit: Mutter: www.mutterirc.com).
03:27:48 -!- salpynx has joined.
03:28:48 <salpynx> I really like Deadfish, and `+` is a fundamental joke with value > 0
03:35:23 <salpynx> I have been thinking recently that 'unusable for programming' is neither specific nor formal, and if any community is going to bother coming up with formal terminology to compare the lack-of-merit of two different weakscripts, it's the esolang community.
03:39:50 <zzo38> Some are incapable of anything at all, and some can do something but not much.
03:39:59 -!- salpynx has quit (Quit: Mutter: www.mutterirc.com).
04:02:16 -!- uplime has changed nick to nchambers.
04:03:21 -!- nchambers has changed nick to uplime.
04:12:37 -!- sebbu has quit (Ping timeout: 246 seconds).
04:18:41 -!- sebbu has joined.
04:20:14 -!- MDead has joined.
04:22:11 -!- MDude has quit (Ping timeout: 268 seconds).
04:26:30 -!- MDead has quit (Ping timeout: 268 seconds).
04:32:35 -!- sebbu3 has joined.
04:35:19 -!- sebbu has quit (Ping timeout: 244 seconds).
04:38:13 -!- sebbu3 has quit (Ping timeout: 268 seconds).
04:44:43 -!- sebbu has joined.
05:47:02 <esowiki> [[L.H.O.O.Q.]] M https://esolangs.org/w/index.php?diff=59344&oldid=59340 * Salpynx * (+27) /* See also */
06:26:23 -!- Sgeo_ has quit (Read error: Connection reset by peer).
06:26:49 -!- Sgeo_ has joined.
06:42:48 -!- esowiki has joined.
06:43:00 -!- ATMunn has joined.
06:43:20 -!- moony has joined.
07:10:49 -!- Gregor has quit (Quit: Coyote finally caught me).
08:47:06 -!- sprocklem has quit (Quit: brb).
08:48:44 -!- sprocklem has joined.
09:00:16 -!- oerjan has joined.
09:11:25 <esowiki> [[User:Ais523]] https://esolangs.org/w/index.php?diff=59345&oldid=59342 * Oerjan * (-104) Note seems unnecessary now
09:12:56 * oerjan is ambivalent about the brainfuck edit
09:17:38 -!- AnotherTest has joined.
09:21:56 -!- sprocklem has quit (Quit: brb).
09:21:56 <int-e> I guess it's justified because Urban Müller wrote it in lower case: "This archive contains the following programs: bfc The compiler for the 'brainfuck' language (240 bytes!)"
09:22:15 -!- sprocklem has joined.
09:23:49 <oerjan> yes but iirc he never used it at the beginning of a sentence
09:24:02 <oerjan> *iirc it's been said that
09:24:44 <oerjan> and in general, words that vary depending on that get capitalized titles
09:25:28 <int-e> And he always put it in quotes :P
09:25:41 <int-e> So let's rename the page... ...or maybe not.
09:27:04 -!- uplime has quit (Quit: WeeChat 2.2).
09:42:11 <int-e> I really love today's xkcd. It probably helps to have seen stuff like https://ambcrypto.com/bitcoin-btc-usd-technical-analysis-bulls-ride-the-prices-out-of-the-immediate-resistance-zone/ before, which I've always found highly amusing.
09:42:40 <int-e> Especially the idea that this constitutes a "technical analysis".
09:48:54 <shachaf> If the \rainbow{blockchain} people take all the technical analysis nonsense with them away from markets that matter, that'll be a positive thing, I guess
10:03:48 -!- xkapastel has joined.
10:48:50 -!- imode has quit (Ping timeout: 268 seconds).
11:17:00 -!- oerjan has quit (Quit: Later).
12:20:17 <esowiki> [[CancelScript]] https://esolangs.org/w/index.php?diff=59346&oldid=59314 * Bigmac * (+149) Add categories
12:22:04 <esowiki> [[CancelScript]] https://esolangs.org/w/index.php?diff=59347&oldid=59346 * Bigmac * (-28) Not a joke language!
12:33:32 -!- xkapastel has quit (Quit: Connection closed for inactivity).
13:25:53 -!- arseniiv has joined.
14:14:36 -!- xkapastel has joined.
14:32:12 -!- Essadon has joined.
14:43:42 -!- Lord_of_Life_ has joined.
14:46:14 -!- Lord_of_Life has quit (Ping timeout: 250 seconds).
14:46:16 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
16:34:19 -!- xkapastel has quit (Quit: Connection closed for inactivity).
16:43:29 <orin> why the hell are mac chargers designed to operate at temperatures on the brink of bursting into flame
17:05:38 -!- tromp has quit (Remote host closed the connection).
17:09:52 <esowiki> [[User:Bigmac]] https://esolangs.org/w/index.php?diff=59348&oldid=59309 * Bigmac * (+209) Add words
17:19:46 -!- tromp has joined.
17:34:18 -!- tromp has quit (Remote host closed the connection).
17:40:36 -!- xkapastel has joined.
17:42:06 -!- tromp has joined.
17:45:17 <esowiki> [[CancelScript]] https://esolangs.org/w/index.php?diff=59349&oldid=59347 * Bigmac * (+305) /* Implementations */ Add reference and Zzo38's implementations
17:47:08 <esowiki> [[CancelScript]] https://esolangs.org/w/index.php?diff=59350&oldid=59349 * Bigmac * (+0) Correct Capitalisation
17:49:18 -!- imode has joined.
17:54:49 <esowiki> [[Talk:CancelScript]] https://esolangs.org/w/index.php?diff=59351&oldid=59330 * Bigmac * (+153)
18:16:13 -!- FreeFull has joined.
18:18:51 -!- MDude has joined.
18:18:52 -!- MDead has joined.
18:22:29 -!- Phantom_Hoover has joined.
18:22:29 -!- Phantom_Hoover has quit (Changing host).
18:22:29 -!- Phantom_Hoover has joined.
18:25:08 <esowiki> [[Funciton]] https://esolangs.org/w/index.php?diff=59352&oldid=59226 * Qpliu * (-11) /* External resources */
18:28:14 -!- b_jonas has joined.
18:57:16 <esowiki> [[CancelScript]] https://esolangs.org/w/index.php?diff=59353&oldid=59350 * Bigmac * (+7)
19:31:34 <b_jonas> my hon. and learned friend fungot, what do you think of the red supermoon?
19:31:35 <fungot> b_jonas: i was not there, there is a much wider, fnord area, after a bill receives its funding, which will no doubt that that is the future,
19:33:15 <fizzie> It was cloudy where we were.
19:33:34 <fizzie> (After an entirely clear day, of course.)
19:34:47 <esowiki> [[Iterating quine]] https://esolangs.org/w/index.php?diff=59354&oldid=8392 * B jonas * (+106) /* External resources */
19:36:03 <b_jonas> wait... so after the bill receives funding, you'll be able to see the eclipse from a larger area? is the bill about a project for speeding up the rotation of Earth?
19:38:45 <fizzie> Well, it's the future.
19:40:44 <b_jonas> fizzie: the eclipse was mostly visible here in Budapest, but I was sleeping so I didn't see it
19:56:52 <imode> I totally missed it. -_-
20:04:44 <arseniiv> I just realized I should have been included let bindings in the definition of Ⅎ, what functional language is it without them?
20:06:07 <arseniiv> also when I tested it writing some code, I really missed let bindings already, but then for some reason have forgotten that
20:08:10 -!- jeb has joined.
20:10:51 -!- arseniiv has quit (Ping timeout: 250 seconds).
20:44:34 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=59355&oldid=59331 * Cortex * (+32)
21:08:05 <b_jonas> arseniiv: don't worry, I've made that mistake once or twice. https://code.jsoftware.com/wiki/Scripts/Scheme is a small interpreter that has lambdas but no built-in let, which is inconvenient.
21:11:38 <b_jonas> arseniiv: the Wikiplia core language also has no built-in let, only a lambda and a one-level case that deconstructs a top level builtin constructor, but I believe the higher level language implements let using the case primitive and the list primitive (building a temporary list and deconstructing it immediately).
21:13:34 <b_jonas> arseniiv: Olvasható (my esolang) sort of has a problem with this too. the theory is that it has a case that you can use to deconstruct as much or as little as you want, so you can use it as a simple let statement, but that's only the theory, in practice the compiler doesn't always compile such case statements to proper let statements.
21:14:10 <b_jonas> in particular, the SML backend always emits a case statements, never a let statement. this wouldn't be hard to fix though.
21:14:41 <b_jonas> Obviously the other interpreter I pointed to could also be fixed to handle let.
21:30:04 <imode> graph rewriting automata are wild.
21:34:16 <imode> the connection/disconnection rules are interesting. the process for generating new nodes/graphs is equivalent to subdivision: take a node and turn it into 3 nodes. every node has 3 neighbors.
21:37:48 <esowiki> [[Hexomnia]] https://esolangs.org/w/index.php?diff=59356&oldid=59343 * Cortex * (+120)
21:38:11 -!- MDude has quit (Ping timeout: 268 seconds).
21:39:25 -!- MDead has quit (Ping timeout: 268 seconds).
21:47:53 <imode> I don't like the formalism too much. it makes too many assumptions on the "background". there has to be some space that the rewriting is taking place within.
21:59:54 <esowiki> [[User talk:BMO]] https://esolangs.org/w/index.php?diff=59357&oldid=59339 * Cheddarmonk * (+219)
22:03:37 <jeb> does anyone know where i can find a fresh interpreter for snowflake?
22:05:57 <rain1> I think you can do lambda calculus as graph rewriting
22:34:02 <esowiki> [[11CORTLANG]] https://esolangs.org/w/index.php?diff=59358&oldid=59300 * Cortex * (+124)
22:39:08 <imode> I'm partial to things with a fixed background, or formalisms that can either be tied to a fixed background or a dynamic one.
22:43:19 -!- jeb has quit (Quit: Leaving).
22:56:47 -!- moony has changed nick to ynoom.
23:01:40 -!- Essadon has quit (Quit: Qutting).
23:24:38 <HackEso> olist 1152: shachaf oerjan Sgeo FireFly boily nortti b_jonas
23:41:24 -!- AnotherTest has quit (Ping timeout: 250 seconds).