< 1733961822 476412 :mtm!~textual@47.202.75.129 QUIT :Ping timeout: 252 seconds < 1733961945 297627 :mtm!~textual@47.202.75.129 JOIN #esolangs mtm :Textual User > 1733966146 767554 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=148073&oldid=133296 5* 03Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 5* (+5) 10/* rules for 2D */ > 1733966161 801497 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=148074&oldid=148073 5* 03Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 5* (+1) 10/* rules for 2D */ > 1733966408 232332 PRIVMSG #esolangs :14[[07TC14]]4 10 02https://esolangs.org/w/index.php?diff=148075&oldid=126263 5* 03Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 5* (+42) 10 < 1733967225 414279 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net QUIT :Remote host closed the connection > 1733968980 426697 PRIVMSG #esolangs :14[[07Windmill14]]4 M10 02https://esolangs.org/w/index.php?diff=148076&oldid=146923 5* 03RainbowDash 5* (+74) 1001 > 1733971306 592823 PRIVMSG #esolangs :14[[07Deadfish14]]4 10 02https://esolangs.org/w/index.php?diff=148077&oldid=145816 5* 03Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 5* (+37) 10/* Variants of deadfish */ < 1733976335 785524 :chiselfuse!~chiselfus@user/chiselfuse QUIT :Remote host closed the connection < 1733976351 877546 :chiselfuse!~chiselfus@user/chiselfuse JOIN #esolangs chiselfuse :chiselfuse < 1733982515 998136 :zenmov!~zenmov@user/zenmov JOIN #esolangs zenmov :zenmov < 1733985002 268733 :olsner!~olsner@c83-252-234-66.bredband.tele2.se JOIN #esolangs olsner :olsner? < 1733987947 710944 :dnm!sid401311@id-401311.lymington.irccloud.com QUIT :*.net *.split < 1733987947 755546 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 QUIT :*.net *.split < 1733987947 804191 :leah2!~leah@vuxu.org QUIT :*.net *.split < 1733987948 195359 :Hooloovoo!~Hooloovoo@hax0rbana.org QUIT :*.net *.split < 1733987948 424161 :HackEso!~h@techne.zem.fi QUIT :*.net *.split < 1733987948 469759 :dbohdan!~dbohdan@user/dbohdan QUIT :*.net *.split < 1733987948 832776 :slavfox!~slavfox@193.28.84.183 QUIT :*.net *.split < 1733987948 904713 :m5zs7k!aquares@web10.mydevil.net QUIT :*.net *.split < 1733987949 765601 :pikhq!sid394595@user/meow/pikhq QUIT :*.net *.split < 1733987949 804205 :integral!sid296274@user/integral QUIT :*.net *.split < 1733987955 882231 :m5zs7k_!aquares@web10.mydevil.net JOIN #esolangs m5zs7k :m5zs7k < 1733988258 307456 :dnm!sid401311@id-401311.lymington.irccloud.com JOIN #esolangs dnm :dnm < 1733988258 307694 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 JOIN #esolangs Corbin :korvo < 1733988258 307711 :leah2!~leah@vuxu.org JOIN #esolangs leah2 :Leah Neukirchen < 1733988258 307723 :Hooloovoo!~Hooloovoo@hax0rbana.org JOIN #esolangs hooloovoo :Hooloovoo < 1733988258 307736 :HackEso!~h@techne.zem.fi JOIN #esolangs HackEso :HackEso < 1733988258 307748 :dbohdan!~dbohdan@user/dbohdan JOIN #esolangs dbohdan :ZNC - https://znc.in < 1733988258 307779 :slavfox!~slavfox@193.28.84.183 JOIN #esolangs slavfox :slavfox < 1733988258 307791 :pikhq!sid394595@user/meow/pikhq JOIN #esolangs pikhq :Ada Worcester < 1733988258 307802 :integral!sid296274@user/integral JOIN #esolangs integral :bsmith < 1733988504 787975 :m5zs7k_!aquares@web10.mydevil.net NICK :m5zs7k > 1733988907 311233 PRIVMSG #esolangs :14[[07Recs14]]4 N10 02https://esolangs.org/w/index.php?oldid=148078 5* 03Jan jelo 5* (+5068) 10Created 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

 1733988924 532375 PRIVMSG #esolangs :14[[07Recs14]]4 10 02https://esolangs.org/w/index.php?diff=148079&oldid=148078 5* 03Jan jelo 5* (+1) 10
> 1733988954 453491 PRIVMSG #esolangs :14[[07Recs14]]4 10 02https://esolangs.org/w/index.php?diff=148080&oldid=148079 5* 03Jan jelo 5* (+0) 10/* Function */
> 1733988985 939882 PRIVMSG #esolangs :14[[07Recs14]]4 10 02https://esolangs.org/w/index.php?diff=148081&oldid=148080 5* 03Jan jelo 5* (+13) 10/* Function */
> 1733989101 581726 PRIVMSG #esolangs :14[[07Recs14]]4 10 02https://esolangs.org/w/index.php?diff=148082&oldid=148081 5* 03Jan jelo 5* (-41) 10/* Partial Recursive Function */
> 1733989146 6282 PRIVMSG #esolangs :14[[07Recs14]]4 10 02https://esolangs.org/w/index.php?diff=148083&oldid=148082 5* 03Jan jelo 5* (+2) 10/* = lam */
> 1733989174 201003 PRIVMSG #esolangs :14[[07Recs14]]4 10 02https://esolangs.org/w/index.php?diff=148084&oldid=148083 5* 03Jan jelo 5* (-1) 10/* Lambda */
> 1733989393 18673 PRIVMSG #esolangs :14[[07Recs14]]4 10 02https://esolangs.org/w/index.php?diff=148085&oldid=148084 5* 03Jan jelo 5* (-117) 10/* pair left right */
> 1733989428 565888 PRIVMSG #esolangs :14[[07Recs14]]4 10 02https://esolangs.org/w/index.php?diff=148086&oldid=148085 5* 03Jan jelo 5* (+117) 10Undo revision [[Special:Diff/148085|148085]] by [[Special:Contributions/Jan jelo|Jan jelo]] ([[User talk:Jan jelo|talk]])
> 1733989588 472584 PRIVMSG #esolangs :14[[07Recs14]]4 10 02https://esolangs.org/w/index.php?diff=148087&oldid=148086 5* 03Jan jelo 5* (+33) 10
< 1733989706 892322 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
> 1733989710 966382 PRIVMSG #esolangs :14[[07Recs14]]4 10 02https://esolangs.org/w/index.php?diff=148088&oldid=148087 5* 03Jan jelo 5* (+2) 10/* fn */
> 1733989804 273393 PRIVMSG #esolangs :14[[07Recs14]]4 10 02https://esolangs.org/w/index.php?diff=148089&oldid=148088 5* 03Jan jelo 5* (-1) 10/* Turing Completeness */
> 1733989818 948191 PRIVMSG #esolangs :14[[07Recs14]]4 10 02https://esolangs.org/w/index.php?diff=148090&oldid=148089 5* 03Jan jelo 5* (-2) 10/* Example */
> 1733989913 731517 PRIVMSG #esolangs :14[[07User:Jan jelo14]]4 10 02https://esolangs.org/w/index.php?diff=148091&oldid=147924 5* 03Jan jelo 5* (+10) 10/* Esolang */
> 1733989924 450544 PRIVMSG #esolangs :14[[07User:Jan jelo14]]4 10 02https://esolangs.org/w/index.php?diff=148092&oldid=148091 5* 03Jan jelo 5* (+1) 10/* Esolangs */
< 1733990378 106350 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer
> 1733992668 290196 PRIVMSG #esolangs :14[[07Recs14]]4 10 02https://esolangs.org/w/index.php?diff=148093&oldid=148090 5* 03Jan jelo 5* (+6340) 10
> 1733992887 664796 PRIVMSG #esolangs :14[[07Recs14]]4 10 02https://esolangs.org/w/index.php?diff=148094&oldid=148093 5* 03Jan jelo 5* (-93) 10/* Interpreter */
> 1733993096 62738 PRIVMSG #esolangs :14[[07Recs14]]4 10 02https://esolangs.org/w/index.php?diff=148095&oldid=148094 5* 03Jan jelo 5* (+25) 10/* Interpreter */
> 1733993419 139508 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=148096&oldid=148001 5* 03Jan jelo 5* (+11) 10/* R */
> 1733993661 722349 PRIVMSG #esolangs :14[[07Recs14]]4 10 02https://esolangs.org/w/index.php?diff=148097&oldid=148095 5* 03Jan jelo 5* (+4) 10
< 1733994245 907993 :ais523!~ais523@user/ais523 QUIT :Read error: Connection reset by peer
< 1733994347 588502 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1733994757 899593 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
> 1733995306 110597 PRIVMSG #esolangs :14[[07Recs14]]4 10 02https://esolangs.org/w/index.php?diff=148098&oldid=148097 5* 03Jan jelo 5* (+56) 10/* Interpreter */
< 1733995664 916170 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Read error: Connection reset by peer
> 1733995755 92096 PRIVMSG #esolangs :14[[07User talk:Jan jelo14]]4 N10 02https://esolangs.org/w/index.php?oldid=148099 5* 03Jan jelo 5* (+17) 10Created page with "Here is talk page"
> 1733996268 266649 PRIVMSG #esolangs :14[[07Recs14]]4 10 02https://esolangs.org/w/index.php?diff=148100&oldid=148098 5* 03Jan jelo 5* (-15) 10/* Interpreter */
> 1734000879 662859 PRIVMSG #esolangs :14[[07Recs14]]4 10 02https://esolangs.org/w/index.php?diff=148101&oldid=148100 5* 03Jan jelo 5* (+80) 10
< 1734000999 968790 :zenmov!~zenmov@user/zenmov QUIT :Ping timeout: 252 seconds
< 1734001103 412703 :zenmov!~zenmov@user/zenmov JOIN #esolangs zenmov :zenmov
> 1734001221 918859 PRIVMSG #esolangs :14[[07Recs14]]4 10 02https://esolangs.org/w/index.php?diff=148102&oldid=148101 5* 03Jan jelo 5* (+1) 10/* Function */
> 1734001297 407117 PRIVMSG #esolangs :14[[07Recs14]]4 10 02https://esolangs.org/w/index.php?diff=148103&oldid=148102 5* 03Jan jelo 5* (+3) 10/* Function */
> 1734001359 806943 PRIVMSG #esolangs :14[[07User talk:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=148104&oldid=148069 5* 03None1 5* (+288) 10/* Can you help fix this mess */
< 1734002578 262066 :int-e!~noone@int-e.eu PRIVMSG #esolangs :wtf, why is today's AoC so "twisty" (10k : 9.3k right now)
> 1734002675 174315 PRIVMSG #esolangs :14[[07User:ZCX islptng/Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=148105&oldid=147918 5* 03PrySigneToFry 5* (+284) 10
> 1734002795 445234 PRIVMSG #esolangs :14[[07User:ZCX islptng/Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=148106&oldid=148105 5* 03PrySigneToFry 5* (+55) 10
< 1734002826 294259 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(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.)
> 1734002860 256226 PRIVMSG #esolangs :14[[07User:ZCX islptng/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=148107&oldid=148106 5* 03PrySigneToFry 5* (-29) 10Web pages allow Chinese as titles, but each Chinese character occupies three bytes.
> 1734003059 691622 PRIVMSG #esolangs :14[[07User:Translated ORK/Translated ORK Mihai2714]]4 10 02https://esolangs.org/w/index.php?diff=148108&oldid=148040 5* 03PrySigneToFry 5* (+204) 10
> 1734003263 97734 PRIVMSG #esolangs :14[[07User talk:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=148109&oldid=148104 5* 03PrySigneToFry 5* (+1074) 10/* I'm stopped to creating new more translated ORK. */ new section
> 1734003385 497506 PRIVMSG #esolangs :14[[07User talk:MihaiEso14]]4 10 02https://esolangs.org/w/index.php?diff=148110&oldid=147235 5* 03PrySigneToFry 5* (+125) 10/* About translated ORK */ new section
> 1734003739 507369 PRIVMSG #esolangs :14[[07Wasaya14]]4 10 02https://esolangs.org/w/index.php?diff=148111&oldid=147753 5* 03PrySigneToFry 5* (+242) 10
< 1734003799 491258 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(Oh I also had some bugs on day 9 and debugging is SLOW.)
> 1734004096 998883 PRIVMSG #esolangs :14[[07Amo gus14]]4 10 02https://esolangs.org/w/index.php?diff=148112&oldid=145871 5* 03PrySigneToFry 5* (+204) 10
> 1734004468 394914 PRIVMSG #esolangs :14[[07BFInfinity14]]4 10 02https://esolangs.org/w/index.php?diff=148113&oldid=147937 5* 03PrySigneToFry 5* (+258) 10
< 1734005042 39081 :mtm!~textual@47.202.75.129 QUIT :Ping timeout: 248 seconds
< 1734005142 453704 :mtm!~textual@47.202.75.129 JOIN #esolangs mtm :Textual User
> 1734005905 375120 PRIVMSG #esolangs :14[[07I Refuse14]]4 10 02https://esolangs.org/w/index.php?diff=148114&oldid=148045 5* 03Hexahedron1 5* (+94) 10
< 1734006127 176179 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu JOIN #esolangs b_jonas :[https://web.libera.chat] wib_jonas
< 1734006317 884473 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :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.
< 1734006318 372644 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :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.
< 1734006489 263593 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :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
< 1734006489 754904 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :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.
< 1734006695 180352 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :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.
< 1734007102 935345 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :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
< 1734007103 435919 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :column number divisible by 8.
< 1734007148 302346 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :(that's the default, the programmer may be able to define custom tab stop positions)
> 1734009587 457871 PRIVMSG #esolangs :14[[07Scott numeral14]]4 N10 02https://esolangs.org/w/index.php?oldid=148115 5* 03Jan jelo 5* (+1342) 10Created page with "'''Scott numeral'''(Mogensen-Scott encoding) is a representation of natural number in [[Lambda calculus]]  numbers  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)) 
 successor function and precedence function  succ = n.s.z
> 1734009702 285881 PRIVMSG #esolangs :14[[07Scott numeral14]]4 10 02https://esolangs.org/w/index.php?diff=148116&oldid=148115 5* 03Jan jelo 5* (+19) 10
> 1734009731 702701 PRIVMSG #esolangs :14[[07Scott numeral14]]4 10 02https://esolangs.org/w/index.php?diff=148117&oldid=148116 5* 03Jan jelo 5* (+1) 10/* Predicate */
> 1734010609 427022 PRIVMSG #esolangs :14[[07Scott numeral14]]4 10 02https://esolangs.org/w/index.php?diff=148118&oldid=148117 5* 03Jan jelo 5* (+360) 10
> 1734010707 486399 PRIVMSG #esolangs :14[[07Scott numeral14]]4 10 02https://esolangs.org/w/index.php?diff=148119&oldid=148118 5* 03Jan jelo 5* (-25) 10
> 1734010763 263352 PRIVMSG #esolangs :14[[07Church numeral14]]4 10 02https://esolangs.org/w/index.php?diff=148120&oldid=67747 5* 03Jan jelo 5* (+3) 10/* Arithmetic */
> 1734010791 953862 PRIVMSG #esolangs :14[[07Scott numeral14]]4 10 02https://esolangs.org/w/index.php?diff=148121&oldid=148119 5* 03Jan jelo 5* (+4) 10/* Convert between Church numeral */
> 1734012211 979133 PRIVMSG #esolangs :14[[07User talk:MihaiEso14]]4 10 02https://esolangs.org/w/index.php?diff=148122&oldid=148110 5* 03Ractangle 5* (+203) 10/* About translated ORK */
> 1734012642 200579 PRIVMSG #esolangs :14[[07User talk:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=148123&oldid=148109 5* 03None1 5* (+363) 10/* I'm stopped to creating new more translated ORK. */
< 1734012698 180313 :Soni!~quassel@sodapop.autistic.space PRIVMSG #esolangs :how do you test if a path is in a git repo?
> 1734012851 420505 PRIVMSG #esolangs :14[[07User talk:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=148124&oldid=148123 5* 03Ractangle 5* (+202) 10/* I'm stopped to creating new more translated ORK. */
< 1734013426 173518 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net JOIN #esolangs * :realname
> 1734017727 838663 PRIVMSG #esolangs :14[[07MarkupL14]]4 10 02https://esolangs.org/w/index.php?diff=148125&oldid=145821 5* 03Ractangle 5* (-20) 10/* MarkupL syntax */
> 1734017748 861221 PRIVMSG #esolangs :14[[07MarkupL14]]4 10 02https://esolangs.org/w/index.php?diff=148126&oldid=148125 5* 03Ractangle 5* (-9) 10/* MarkupL add-ons */
> 1734017766 339267 PRIVMSG #esolangs :14[[07MarkupL14]]4 10 02https://esolangs.org/w/index.php?diff=148127&oldid=148126 5* 03Ractangle 5* (-10) 10/* Examples */
< 1734017812 523599 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot QUIT :Ping timeout: 252 seconds
< 1734017890 266080 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot JOIN #esolangs perlbot :ZNC - https://znc.in
< 1734018632 577495 :A_Dragon!A_D@libera/staff/dragon JOIN #esolangs ad :Roy Mustang, The Flame Alchemist
< 1734019044 535970 :Festive!A_D@libera/staff/dragon QUIT :Ping timeout: 608 seconds
> 1734019130 163270 PRIVMSG #esolangs :14[[07User talk:ZCX islptng14]]4 M10 02https://esolangs.org/w/index.php?diff=148128&oldid=147863 5* 03ColorfulGalaxy's CA discoveries 5* (+1) 10/* I'm thinking to made a Brainfuck derivative Esolang. */
> 1734019176 5825 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=148129&oldid=147975 5* 03ColorfulGalaxy's CA discoveries 5* (+308) 10/* User talk page vandalism */ new section
< 1734019616 486973 :craigo!~craigo@user/craigo QUIT :Ping timeout: 252 seconds
< 1734020012 997147 :chiselfuse!~chiselfus@user/chiselfuse QUIT :Remote host closed the connection
< 1734020027 71072 :chiselfuse!~chiselfus@user/chiselfuse JOIN #esolangs chiselfuse :chiselfuse
> 1734020338 145271 PRIVMSG #esolangs :14[[07User talk:ZCX islptng14]]4 10 02https://esolangs.org/w/index.php?diff=148130&oldid=148128 5* 03Ractangle 5* (-1) 10stop
> 1734020399 933042 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=148131&oldid=148129 5* 03Ractangle 5* (+204) 10/* User talk page vandalism */
> 1734020494 958481 PRIVMSG #esolangs :14[[07User:ZCX islptng/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=148132&oldid=148107 5* 03Ractangle 5* (-29) 10/* Hello World */
< 1734024967 487613 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
< 1734025190 592890 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu QUIT :Quit: Client closed
< 1734027180 902223 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
< 1734027228 494614 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 252 seconds
< 1734027358 649997 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life
< 1734027811 485398 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown
< 1734027872 863544 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1734028643 974847 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
< 1734030390 964670 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
< 1734030772 656494 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Soni: The way git does it is the obvious one: it recurses through parent directories, looking for a .git/ sibling.
< 1734031843 675700 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
> 1734031873 980998 PRIVMSG #esolangs :14[[07Queue-based esolang14]]4 10 02https://esolangs.org/w/index.php?diff=148133&oldid=148025 5* 03Ractangle 5* (+132) 10/* Hello, world! */
> 1734031904 526553 PRIVMSG #esolangs :14[[07Queue-based esolang14]]4 10 02https://esolangs.org/w/index.php?diff=148134&oldid=148133 5* 03Ractangle 5* (+39) 10/* Interpreters */
< 1734033323 278617 :A_Dragon!A_D@libera/staff/dragon NICK :Festive
< 1734033420 497173 :m0ther!~utoneq@user/utoneq JOIN #esolangs zut :utoneq
> 1734034139 517033 PRIVMSG #esolangs :14[[07true14]]4 10 02https://esolangs.org/w/index.php?diff=148135&oldid=147622 5* 03Ractangle 5* (+47) 10/* Commands */
> 1734034368 307212 PRIVMSG #esolangs :14[[07true14]]4 10 02https://esolangs.org/w/index.php?diff=148136&oldid=148135 5* 03Ractangle 5* (+8) 10/* Hello, world! */
> 1734034389 657421 PRIVMSG #esolangs :14[[07true14]]4 10 02https://esolangs.org/w/index.php?diff=148137&oldid=148136 5* 03Ractangle 5* (+13) 10/* Examples */
> 1734034448 755688 PRIVMSG #esolangs :14[[07true14]]4 10 02https://esolangs.org/w/index.php?diff=148138&oldid=148137 5* 03Ractangle 5* (+50) 10
> 1734034549 781443 PRIVMSG #esolangs :14[[07true14]]4 10 02https://esolangs.org/w/index.php?diff=148139&oldid=148138 5* 03Ractangle 5* (-33) 10/* Infinite loop */
< 1734034581 869328 :Soni!~quassel@sodapop.autistic.space PRIVMSG #esolangs :hmm okay
< 1734035392 816780 :m0ther!~utoneq@user/utoneq QUIT :K-Lined
< 1734035403 868290 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :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) 
< 1734035810 979094 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :b_jonas: Ah, I wasn't thinking of bare repos, good point.
> 1734036731 672468 PRIVMSG #esolangs :14[[07Church numeral14]]4 10 02https://esolangs.org/w/index.php?diff=148140&oldid=148120 5* 03Corbin 5* (+901) 10Unstub.
> 1734037309 550198 PRIVMSG #esolangs :14[[07Church numeral14]]4 10 02https://esolangs.org/w/index.php?diff=148141&oldid=148140 5* 03Corbin 5* (+306) 10/* Definition */ Clarify an awkward paragraph.
> 1734038020 693591 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=148142&oldid=148131 5* 03ColorfulGalaxy's CA discoveries 5* (+291) 10
> 1734039193 142238 PRIVMSG #esolangs :14[[07Scott numeral14]]4 10 02https://esolangs.org/w/index.php?diff=148143&oldid=148121 5* 03Corbin 5* (+917) 10Unstub.
> 1734039515 791775 PRIVMSG #esolangs :14[[07Church numeral14]]4 M10 02https://esolangs.org/w/index.php?diff=148144&oldid=148141 5* 03Corbin 5* (+261) 10Quote myself, because I think it's an apt remark.
> 1734041700 817723 PRIVMSG #esolangs :14[[07Scott numeral14]]4 M10 02https://esolangs.org/w/index.php?diff=148145&oldid=148143 5* 03Aadenboy 5* (+50) 10remove wikipedia: prefix, make extenal link
> 1734041743 952264 PRIVMSG #esolangs :14[[07Church numeral14]]4 M10 02https://esolangs.org/w/index.php?diff=148146&oldid=148144 5* 03Aadenboy 5* (+34) 10consistency
< 1734043224 925772 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
< 1734043295 328973 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :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.
< 1734043518 902781 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :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.
< 1734045108 751858 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1734045322 913420 :__monty__!~toonn@user/toonn QUIT :Quit: leaving
< 1734046858 232592 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
> 1734047216 616565 PRIVMSG #esolangs :14[[07User talk:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=148147&oldid=148124 5* 03ZCX islptng 5* (+820) 10/* Please ban User:ColorfulGalaxy's CA discoveries. */ new section
> 1734047225 929722 PRIVMSG #esolangs :14[[07User talk:ColorfulGalaxy's CA discoveries14]]4 10 02https://esolangs.org/w/index.php?diff=148148&oldid=147754 5* 03Ais523 5* (+467) 10/* Please try to keep your content more ontopic */ new section
> 1734047335 638048 PRIVMSG #esolangs :14[[07User talk:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=148149&oldid=148147 5* 03Ais523 5* (+262) 10/* Please ban User:ColorfulGalaxy's CA discoveries. */ I already limited what the account could do, while you were writing the message
< 1734047584 116735 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :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
< 1734047622 580417 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :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
> 1734047987 559619 PRIVMSG #esolangs :14[[07Feed the Chaos14]]4 M10 02https://esolangs.org/w/index.php?diff=148150&oldid=141726 5* 03Ais523 5* (-1) 10/* Computational class */ formatting