00:03:42 -!- mtm has quit (Ping timeout: 252 seconds).
00:05:45 -!- mtm has joined.
01:15:46 <esolangs> [[]] https://esolangs.org/w/index.php?diff=148073&oldid=133296 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+5) /* rules for 2D */
01:16:01 <esolangs> [[]] https://esolangs.org/w/index.php?diff=148074&oldid=148073 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+1) /* rules for 2D */
01:20:08 <esolangs> [[TC]] https://esolangs.org/w/index.php?diff=148075&oldid=126263 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+42)
01:33:45 -!- amby has quit (Remote host closed the connection).
02:03:00 <esolangs> [[Windmill]] M https://esolangs.org/w/index.php?diff=148076&oldid=146923 * RainbowDash * (+74) 01
02:41:46 <esolangs> [[Deadfish]] https://esolangs.org/w/index.php?diff=148077&oldid=145816 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+37) /* Variants of deadfish */
04:05:35 -!- chiselfuse has quit (Remote host closed the connection).
04:05:51 -!- chiselfuse has joined.
05:48:35 -!- zenmov has joined.
06:30:02 -!- olsner has joined.
07:19:07 -!- dnm has quit (*.net *.split).
07:19:07 -!- korvo has quit (*.net *.split).
07:19:07 -!- leah2 has quit (*.net *.split).
07:19:08 -!- Hooloovoo has quit (*.net *.split).
07:19:08 -!- HackEso has quit (*.net *.split).
07:19:08 -!- dbohdan has quit (*.net *.split).
07:19:08 -!- slavfox has quit (*.net *.split).
07:19:08 -!- m5zs7k has quit (*.net *.split).
07:19:09 -!- pikhq has quit (*.net *.split).
07:19:09 -!- integral has quit (*.net *.split).
07:19:15 -!- m5zs7k_ has joined.
07:24:18 -!- dnm has joined.
07:24:18 -!- korvo has joined.
07:24:18 -!- leah2 has joined.
07:24:18 -!- Hooloovoo has joined.
07:24:18 -!- HackEso has joined.
07:24:18 -!- dbohdan has joined.
07:24:18 -!- slavfox has joined.
07:24:18 -!- pikhq has joined.
07:24:18 -!- integral has joined.
07:28:24 -!- m5zs7k_ has changed nick to m5zs7k.
07:35:07 <esolangs> [[Recs]] N https://esolangs.org/w/index.php?oldid=148078 * Jan jelo * (+5068) Created page with "'''recs''is a esolang created by [[User: Jan jelo]].The whole program is a expression,interpreter evaluate it and print the result. It combines partial recursive function and lambda calculus,and also some extensions. === Expression === A expression can be <code><variable
07:35:24 <esolangs> [[Recs]] https://esolangs.org/w/index.php?diff=148079&oldid=148078 * Jan jelo * (+1)
07:35:54 <esolangs> [[Recs]] https://esolangs.org/w/index.php?diff=148080&oldid=148079 * Jan jelo * (+0) /* Function */
07:36:25 <esolangs> [[Recs]] https://esolangs.org/w/index.php?diff=148081&oldid=148080 * Jan jelo * (+13) /* Function */
07:38:21 <esolangs> [[Recs]] https://esolangs.org/w/index.php?diff=148082&oldid=148081 * Jan jelo * (-41) /* Partial Recursive Function */
07:39:06 <esolangs> [[Recs]] https://esolangs.org/w/index.php?diff=148083&oldid=148082 * Jan jelo * (+2) /* = lam */
07:39:34 <esolangs> [[Recs]] https://esolangs.org/w/index.php?diff=148084&oldid=148083 * Jan jelo * (-1) /* Lambda */
07:43:13 <esolangs> [[Recs]] https://esolangs.org/w/index.php?diff=148085&oldid=148084 * Jan jelo * (-117) /* pair left right */
07:43:48 <esolangs> [[Recs]] https://esolangs.org/w/index.php?diff=148086&oldid=148085 * Jan jelo * (+117) Undo revision [[Special:Diff/148085|148085]] by [[Special:Contributions/Jan jelo|Jan jelo]] ([[User talk:Jan jelo|talk]])
07:46:28 <esolangs> [[Recs]] https://esolangs.org/w/index.php?diff=148087&oldid=148086 * Jan jelo * (+33)
07:48:26 -!- tromp has joined.
07:48:30 <esolangs> [[Recs]] https://esolangs.org/w/index.php?diff=148088&oldid=148087 * Jan jelo * (+2) /* fn */
07:50:04 <esolangs> [[Recs]] https://esolangs.org/w/index.php?diff=148089&oldid=148088 * Jan jelo * (-1) /* Turing Completeness */
07:50:18 <esolangs> [[Recs]] https://esolangs.org/w/index.php?diff=148090&oldid=148089 * Jan jelo * (-2) /* Example */
07:51:53 <esolangs> [[User:Jan jelo]] https://esolangs.org/w/index.php?diff=148091&oldid=147924 * Jan jelo * (+10) /* Esolang */
07:52:04 <esolangs> [[User:Jan jelo]] https://esolangs.org/w/index.php?diff=148092&oldid=148091 * Jan jelo * (+1) /* Esolangs */
07:59:38 -!- Sgeo has quit (Read error: Connection reset by peer).
08:37:48 <esolangs> [[Recs]] https://esolangs.org/w/index.php?diff=148093&oldid=148090 * Jan jelo * (+6340)
08:41:27 <esolangs> [[Recs]] https://esolangs.org/w/index.php?diff=148094&oldid=148093 * Jan jelo * (-93) /* Interpreter */
08:44:56 <esolangs> [[Recs]] https://esolangs.org/w/index.php?diff=148095&oldid=148094 * Jan jelo * (+25) /* Interpreter */
08:50:19 <esolangs> [[Language list]] https://esolangs.org/w/index.php?diff=148096&oldid=148001 * Jan jelo * (+11) /* R */
08:54:21 <esolangs> [[Recs]] https://esolangs.org/w/index.php?diff=148097&oldid=148095 * Jan jelo * (+4)
09:04:05 -!- ais523 has quit (Read error: Connection reset by peer).
09:05:47 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
09:12:37 -!- tromp has joined.
09:21:46 <esolangs> [[Recs]] https://esolangs.org/w/index.php?diff=148098&oldid=148097 * Jan jelo * (+56) /* Interpreter */
09:27:44 -!- tromp has quit (Read error: Connection reset by peer).
09:29:15 <esolangs> [[User talk:Jan jelo]] N https://esolangs.org/w/index.php?oldid=148099 * Jan jelo * (+17) Created page with "Here is talk page"
09:37:48 <esolangs> [[Recs]] https://esolangs.org/w/index.php?diff=148100&oldid=148098 * Jan jelo * (-15) /* Interpreter */
10:54:39 <esolangs> [[Recs]] https://esolangs.org/w/index.php?diff=148101&oldid=148100 * Jan jelo * (+80)
10:56:39 -!- zenmov has quit (Ping timeout: 252 seconds).
10:58:23 -!- zenmov has joined.
11:00:21 <esolangs> [[Recs]] https://esolangs.org/w/index.php?diff=148102&oldid=148101 * Jan jelo * (+1) /* Function */
11:01:37 <esolangs> [[Recs]] https://esolangs.org/w/index.php?diff=148103&oldid=148102 * Jan jelo * (+3) /* Function */
11:02:39 <esolangs> [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=148104&oldid=148069 * None1 * (+288) /* Can you help fix this mess */
11:22:58 <int-e> wtf, why is today's AoC so "twisty" (10k : 9.3k right now)
11:24:35 <esolangs> [[User:ZCX islptng/Sandbox]] M https://esolangs.org/w/index.php?diff=148105&oldid=147918 * PrySigneToFry * (+284)
11:26:35 <esolangs> [[User:ZCX islptng/Sandbox]] M https://esolangs.org/w/index.php?diff=148106&oldid=148105 * PrySigneToFry * (+55)
11:27:06 <int-e> (For me personally it was day 9 for no good reason... just that my part 1 solution didn't lend itself to a part 2 solution at all and I ran into a morass of indecision... I took over half an hour to sort that out. I don't have reliable times for part 1 because I'm starting late.)
11:27:40 <esolangs> [[User:ZCX islptng/Sandbox]] https://esolangs.org/w/index.php?diff=148107&oldid=148106 * PrySigneToFry * (-29) Web pages allow Chinese as titles, but each Chinese character occupies three bytes.
11:30:59 <esolangs> [[User:Translated ORK/Translated ORK Mihai27]] https://esolangs.org/w/index.php?diff=148108&oldid=148040 * PrySigneToFry * (+204)
11:34:23 <esolangs> [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=148109&oldid=148104 * PrySigneToFry * (+1074) /* I'm stopped to creating new more translated ORK. */ new section
11:36:25 <esolangs> [[User talk:MihaiEso]] https://esolangs.org/w/index.php?diff=148110&oldid=147235 * PrySigneToFry * (+125) /* About translated ORK */ new section
11:42:19 <esolangs> [[Wasaya]] https://esolangs.org/w/index.php?diff=148111&oldid=147753 * PrySigneToFry * (+242)
11:43:19 <int-e> (Oh I also had some bugs on day 9 and debugging is SLOW.)
11:48:16 <esolangs> [[Amo gus]] https://esolangs.org/w/index.php?diff=148112&oldid=145871 * PrySigneToFry * (+204)
11:54:28 <esolangs> [[BFInfinity]] https://esolangs.org/w/index.php?diff=148113&oldid=147937 * PrySigneToFry * (+258)
12:04:02 -!- mtm has quit (Ping timeout: 248 seconds).
12:05:42 -!- mtm has joined.
12:18:25 <esolangs> [[I Refuse]] https://esolangs.org/w/index.php?diff=148114&oldid=148045 * Hexahedron1 * (+94)
12:22:07 -!- wib_jonas has joined.
12:25:17 <wib_jonas> ok, so I have an idea. I've previously thought that it would make sense to do a language that has right-aligned syntax. you write the arguments first and then the function name, or the rvalue first then the lvalue that you're assigning it to, or especially an APLlike but with the associativity backwards and the arguments of most functions swapped.
12:25:18 <wib_jonas> and to make this natural, you use a text editor that right-aligns the lines so as you type from left to right the line moves to the left, and similarly for an interactive interpreter prompt. and this would still make sense.
12:28:09 <wib_jonas> but I just realized that there's somewhere else that I could apply right-aligned syntax that would be much more silly and esoteric. it's that hypothetical language where instead of variable names you use columns of text. in normal left-aligned syntax, the columns are counted up from a newline; in the alternative right-aligned syntax the columns are
12:28:09 <wib_jonas> counted down from the next newline, so the last character before a newline is in the same column in every line. unlike the case of the APL-like or calculator language, this would make it basically impossible to write with a normal left-aligned text editor or interpreter.
12:31:35 <wib_jonas> it gets even more fun if you allow tabs, because now people won't even have the tools at hand to expand tabs and pad all the lines the same length, they'll need to write a custom tab expansion tool.
12:38:22 <wib_jonas> even editors like Word which support right-aligned text and tab stops separately can't handle right-aligned text with tab stops properly. you still have to count columns backwards from a newline, the newline is in column 0, printable characters are one column before the next character, and tab is one to eight columns before the next character in a
12:39:08 <wib_jonas> (that's the default, the programmer may be able to define custom tab stop positions)
13:19:47 <esolangs> [[Scott numeral]] N https://esolangs.org/w/index.php?oldid=148115 * Jan jelo * (+1342) Created page with "'''Scott numeral'''(Mogensen-Scott encoding) is a representation of natural number in [[Lambda calculus]] numbers <pre> 0 = s.z.z 1 = s.z.s 0 = s.z.s (s.z.z) 2 = s.z.s 1 = s.z.s (s.z.s (s.z.z)) </pre> successor function and precedence function <pre> succ = n.s.z
13:21:42 <esolangs> [[Scott numeral]] https://esolangs.org/w/index.php?diff=148116&oldid=148115 * Jan jelo * (+19)
13:22:11 <esolangs> [[Scott numeral]] https://esolangs.org/w/index.php?diff=148117&oldid=148116 * Jan jelo * (+1) /* Predicate */
13:36:49 <esolangs> [[Scott numeral]] https://esolangs.org/w/index.php?diff=148118&oldid=148117 * Jan jelo * (+360)
13:38:27 <esolangs> [[Scott numeral]] https://esolangs.org/w/index.php?diff=148119&oldid=148118 * Jan jelo * (-25)
13:39:23 <esolangs> [[Church numeral]] https://esolangs.org/w/index.php?diff=148120&oldid=67747 * Jan jelo * (+3) /* Arithmetic */
13:39:51 <esolangs> [[Scott numeral]] https://esolangs.org/w/index.php?diff=148121&oldid=148119 * Jan jelo * (+4) /* Convert between Church numeral */
14:03:31 <esolangs> [[User talk:MihaiEso]] https://esolangs.org/w/index.php?diff=148122&oldid=148110 * Ractangle * (+203) /* About translated ORK */
14:10:42 <esolangs> [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=148123&oldid=148109 * None1 * (+363) /* I'm stopped to creating new more translated ORK. */
14:11:38 <Soni> how do you test if a path is in a git repo?
14:14:11 <esolangs> [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=148124&oldid=148123 * Ractangle * (+202) /* I'm stopped to creating new more translated ORK. */
14:23:46 -!- amby has joined.
15:35:27 <esolangs> [[MarkupL]] https://esolangs.org/w/index.php?diff=148125&oldid=145821 * Ractangle * (-20) /* MarkupL syntax */
15:35:48 <esolangs> [[MarkupL]] https://esolangs.org/w/index.php?diff=148126&oldid=148125 * Ractangle * (-9) /* MarkupL add-ons */
15:36:06 <esolangs> [[MarkupL]] https://esolangs.org/w/index.php?diff=148127&oldid=148126 * Ractangle * (-10) /* Examples */
15:36:52 -!- perlbot has quit (Ping timeout: 252 seconds).
15:38:10 -!- perlbot has joined.
15:50:32 -!- A_Dragon has joined.
15:57:24 -!- Festive has quit (Ping timeout: 608 seconds).
15:58:50 <esolangs> [[User talk:ZCX islptng]] M https://esolangs.org/w/index.php?diff=148128&oldid=147863 * ColorfulGalaxy's CA discoveries * (+1) /* I'm thinking to made a Brainfuck derivative Esolang. */
15:59:36 <esolangs> [[User talk:PrySigneToFry]] https://esolangs.org/w/index.php?diff=148129&oldid=147975 * ColorfulGalaxy's CA discoveries * (+308) /* User talk page vandalism */ new section
16:06:56 -!- craigo has quit (Ping timeout: 252 seconds).
16:13:32 -!- chiselfuse has quit (Remote host closed the connection).
16:13:47 -!- chiselfuse has joined.
16:18:58 <esolangs> [[User talk:ZCX islptng]] https://esolangs.org/w/index.php?diff=148130&oldid=148128 * Ractangle * (-1) stop
16:19:59 <esolangs> [[User talk:PrySigneToFry]] https://esolangs.org/w/index.php?diff=148131&oldid=148129 * Ractangle * (+204) /* User talk page vandalism */
16:21:34 <esolangs> [[User:ZCX islptng/Sandbox]] https://esolangs.org/w/index.php?diff=148132&oldid=148107 * Ractangle * (-29) /* Hello World */
17:36:07 -!- tromp has joined.
17:39:50 -!- wib_jonas has quit (Quit: Client closed).
18:13:00 -!- Lord_of_Life_ has joined.
18:13:48 -!- Lord_of_Life has quit (Ping timeout: 252 seconds).
18:15:58 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
18:23:31 -!- __monty__ has joined.
18:24:32 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
18:37:23 -!- tromp has joined.
19:06:30 -!- Sgeo has joined.
19:12:52 <korvo> Soni: The way git does it is the obvious one: it recurses through parent directories, looking for a .git/ sibling.
19:30:43 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
19:31:13 <esolangs> [[Queue-based esolang]] https://esolangs.org/w/index.php?diff=148133&oldid=148025 * Ractangle * (+132) /* Hello, world! */
19:31:44 <esolangs> [[Queue-based esolang]] https://esolangs.org/w/index.php?diff=148134&oldid=148133 * Ractangle * (+39) /* Interpreters */
19:55:23 -!- A_Dragon has changed nick to Festive.
19:57:00 -!- m0ther has joined.
20:08:59 <esolangs> [[true]] https://esolangs.org/w/index.php?diff=148135&oldid=147622 * Ractangle * (+47) /* Commands */
20:12:48 <esolangs> [[true]] https://esolangs.org/w/index.php?diff=148136&oldid=148135 * Ractangle * (+8) /* Hello, world! */
20:13:09 <esolangs> [[true]] https://esolangs.org/w/index.php?diff=148137&oldid=148136 * Ractangle * (+13) /* Examples */
20:14:08 <esolangs> [[true]] https://esolangs.org/w/index.php?diff=148138&oldid=148137 * Ractangle * (+50)
20:15:49 <esolangs> [[true]] https://esolangs.org/w/index.php?diff=148139&oldid=148138 * Ractangle * (-33) /* Infinite loop */
20:29:52 -!- m0ther has quit (K-Lined).
20:30:03 <b_jonas> korvo: I don't think that's right. if I create a bare repository (one with no workspace) with (git clone --bare sourcedir destdir) then that doesn't have a .git directory but git does recognize it as a repository if you run (cd destdir; git config -l --local)
20:36:50 <korvo> b_jonas: Ah, I wasn't thinking of bare repos, good point.
20:52:11 <esolangs> [[Church numeral]] https://esolangs.org/w/index.php?diff=148140&oldid=148120 * Corbin * (+901) Unstub.
21:01:49 <esolangs> [[Church numeral]] https://esolangs.org/w/index.php?diff=148141&oldid=148140 * Corbin * (+306) /* Definition */ Clarify an awkward paragraph.
21:13:40 <esolangs> [[User talk:PrySigneToFry]] https://esolangs.org/w/index.php?diff=148142&oldid=148131 * ColorfulGalaxy's CA discoveries * (+291)
21:33:13 <esolangs> [[Scott numeral]] https://esolangs.org/w/index.php?diff=148143&oldid=148121 * Corbin * (+917) Unstub.
21:38:35 <esolangs> [[Church numeral]] M https://esolangs.org/w/index.php?diff=148144&oldid=148141 * Corbin * (+261) Quote myself, because I think it's an apt remark.
22:15:00 <esolangs> [[Scott numeral]] M https://esolangs.org/w/index.php?diff=148145&oldid=148143 * Aadenboy * (+50) remove wikipedia: prefix, make extenal link
22:15:43 <esolangs> [[Church numeral]] M https://esolangs.org/w/index.php?diff=148146&oldid=148144 * Aadenboy * (+34) consistency
22:40:24 -!- tromp has joined.
22:41:35 <zzo38> I have some bare git repositories, so I can see that it doesn't have a .git directory. I use the --bare flag with the commands in that repository but I don't know if that is required.
22:45:18 <b_jonas> zzo38: it's not required if the bare repository directory is the working directory. I think you need --bare if you give an explicit --git-dir option or the equivalent environment variable instead of just letting git detect the git directory and the workspace directory from the working directory.
23:11:48 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
23:15:22 -!- __monty__ has quit (Quit: leaving).
23:40:58 -!- ais523 has joined.
23:46:56 <esolangs> [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=148147&oldid=148124 * ZCX islptng * (+820) /* Please ban User:ColorfulGalaxy's CA discoveries. */ new section
23:47:05 <esolangs> [[User talk:ColorfulGalaxy's CA discoveries]] https://esolangs.org/w/index.php?diff=148148&oldid=147754 * Ais523 * (+467) /* Please try to keep your content more ontopic */ new section
23:48:55 <esolangs> [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=148149&oldid=148147 * Ais523 * (+262) /* Please ban User:ColorfulGalaxy's CA discoveries. */ I already limited what the account could do, while you were writing the message
23:53:04 <ais523> korvo: I'm surprised you think Church numerals are easier to define in terms of simply typed lambda calculus, at least from the esolanging point of view untyped Church numerals are more common, and the most natural definition is probably in terms of concatenative languages
23:53:42 <ais523> 0 maps x to x composed 0 times (i.e. the identity function), 1 maps x to one composed copy of x, 2 maps x to 2 composed copies of x (x . x), 3 maps x to 3 composed copies of x (x . x . x), and so on
23:59:47 <esolangs> [[Feed the Chaos]] M https://esolangs.org/w/index.php?diff=148150&oldid=141726 * Ais523 * (-1) /* Computational class */ formatting