< 1582246735 115001 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 255 seconds < 1582247105 88597 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I don't see the parser error. :/ Maybe tomorrow. < 1582247108 192138 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :o/ < 1582247570 938844 :mich181189!sid268336@gateway/web/irccloud.com/x-shyidpowcgnmlqlq QUIT :Ping timeout: 246 seconds < 1582247654 969321 :lynn!sid154965@gateway/web/irccloud.com/x-zsghdotvaymzdoeo QUIT :Ping timeout: 246 seconds < 1582247709 182429 :mich181189!sid268336@gateway/web/irccloud.com/x-iimvhbicguaoxjaw JOIN :#esoteric < 1582247751 292495 :lynn!sid154965@gateway/web/irccloud.com/x-dznxhkhsrpaqtgpd JOIN :#esoteric > 1582248819 924162 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Owocean 5* 10New user account < 1582249452 132572 :Frater_EST!adrianbibl@172.242.0.73 QUIT :Read error: Connection reset by peer < 1582249463 273544 :Frater_EST!adrianbibl@172.242.0.73 JOIN :#esoteric < 1582249523 692208 :Frater_EST!adrianbibl@172.242.0.73 QUIT :Read error: Connection reset by peer < 1582249663 274771 :Frater_EST!adrianbibl@172.242.0.73 JOIN :#esoteric < 1582249671 870274 :Frater_EST!adrianbibl@172.242.0.73 QUIT :Remote host closed the connection < 1582251488 513455 :tromp!~tromp@2a02:a210:ca3:2800:68cd:9a34:66fa:9e24 QUIT :Remote host closed the connection < 1582251605 948586 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1582252942 110068 :tromp!~tromp@2a02:a210:ca3:2800:dc59:4f6:2eee:ad0b JOIN :#esoteric < 1582253231 116121 :tromp!~tromp@2a02:a210:ca3:2800:dc59:4f6:2eee:ad0b QUIT :Ping timeout: 272 seconds < 1582254369 848400 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1582254595 903861 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` ls ../ka* < 1582254597 128880 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​../karma \ ../karma.orig \ ../karma.rej < 1582254611 821393 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`t doag karma.orig < 1582254621 66697 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :12249:2019-12-06 undo 12128 < 1582254629 211735 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`t doag karma.rej < 1582254632 242514 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :12249:2019-12-06 undo 12128 < 1582254637 100183 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :huh < 1582254652 347716 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`t hurl karma.orig < 1582254653 426876 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :https://hack.esolangs.org/repo/log/tip/karma.orig < 1582254761 983640 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's weird. is undo broken? < 1582254999 920865 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` t rm karma.* < 1582255001 51382 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :rm: missing operand \ Try 'rm --help' for more information. < 1582255013 563241 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`t ` rm karma.* < 1582255016 127975 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1582255028 551816 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` ls ../ka* < 1582255029 624957 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​../karma < 1582255320 680025 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`doag ../karma < 1582255328 414923 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :12248:2019-12-05 karma+ fizzie \ 12128:2019-11-17 karma+ fizzie \ 7828:2016-05-06 ` echo "hppavilion[1] has -i karma" >> karma \ 7812:2016-05-06 ` sed -i \'s/now //\' karma \ 7319:2016-03-30 karma+ oren \ 7318:2016-03-30 karma+ \\oren\\ \ 3389:2013-08-07 rm karma \ 3193:2013-06-20 karma+ GregoR \ 1529:2013-01-15 karma+ karma \ 1 < 1582255328 754120 :egelbot!~egelbot@ip56522cc1.speed.planet.nl QUIT :Read error: Connection reset by peer < 1582255456 228448 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`undo 12128 < 1582255460 722320 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :patching file karma \ Hunk #1 FAILED at 1. \ 1 out of 1 hunk FAILED -- saving rejects to file karma.rej < 1582255494 611831 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`url ../bin/undo < 1582255495 586894 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :https://hack.esolangs.org/repo/file/tip/bin/undo < 1582255565 116871 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and i had modified undo to ignore the usual HackEso cd to tmp < 1582255613 97351 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`1 hg diff -c 12128 < 1582255614 922466 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :1/1:diff -r a8288b8b34ca -r 89f3cb7bc99f karma \ --- a/karma Sun Nov 17 00:56:47 2019 +0000 \ +++ b/karma Sun Nov 17 00:58:16 2019 +0000 \ @@ -1,2 +1,1 @@ \ -oren has 1 karma. \ -hppavilion[1] has -i karma \ +fizzie now has 1 karma. < 1582255666 222224 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` hg diff -c 12128 | patch -p1 -R < 1582255667 733010 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :patching file karma < 1582255678 948304 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`doag ../karma < 1582255680 835429 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :12248:2019-12-05 karma+ fizzie \ 12128:2019-11-17 karma+ fizzie \ 7828:2016-05-06 ` echo "hppavilion[1] has -i karma" >> karma \ 7812:2016-05-06 ` sed -i \'s/now //\' karma \ 7319:2016-03-30 karma+ oren \ 7318:2016-03-30 karma+ \\oren\\ \ 3389:2013-08-07 rm karma \ 3193:2013-06-20 karma+ GregoR \ 1529:2013-01-15 karma+ karma \ 1 < 1582255698 403499 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`lastfiles < 1582255700 55156 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​/hackenv/karma.orig \ /hackenv/karma.rej < 1582255751 310777 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it says patching yet did nothing < 1582255767 265492 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`t ` hg diff -c 12128 | patch -p1 -R < 1582255768 869498 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :patching file karma \ Hunk #1 FAILED at 1. \ 1 out of 1 hunk FAILED -- saving rejects to file karma.rej < 1582255846 772331 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`cat ../karma < 1582255847 618026 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :fizzie now has 2 karma. < 1582255879 907356 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh... < 1582255953 524192 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`url ../karma < 1582255954 537515 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :https://hack.esolangs.org/repo/file/tip/karma < 1582256125 415328 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*sigh* it's just the repo viewer confusing me because the file logs shown depend on revision you're in < 1582256154 716326 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`t ` rm karma.* < 1582256156 997344 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1582256250 169040 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which is presumably what happened back when i did the original undo too < 1582256265 66646 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :MOVE ALONG < 1582257838 114784 :tromp!~tromp@2a02:a210:ca3:2800:a5ab:e442:9f94:9424 JOIN :#esoteric < 1582258133 135383 :tromp!~tromp@2a02:a210:ca3:2800:a5ab:e442:9f94:9424 QUIT :Ping timeout: 272 seconds < 1582259486 966677 :arseniiv!~arseniiv@136.169.210.57 JOIN :#esoteric < 1582261802 852734 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 240 seconds > 1582263208 816480 PRIVMSG #esoteric :14[[07Talk:Alphabet Stew14]]4 10 02https://esolangs.org/w/index.php?diff=69988&oldid=54962 5* 03A 5* (+315) 10 > 1582263828 743655 PRIVMSG #esoteric :14[[07Husk14]]4 10 02https://esolangs.org/w/index.php?diff=69989&oldid=65582 5* 03A 5* (+271) 10 > 1582263855 597041 PRIVMSG #esoteric :14[[07Husk14]]4 10 02https://esolangs.org/w/index.php?diff=69990&oldid=69989 5* 03A 5* (+18) 10 > 1582263907 159744 PRIVMSG #esoteric :14[[07Element14]]4 10 02https://esolangs.org/w/index.php?diff=69991&oldid=58587 5* 03A 5* (+96) 10 > 1582264112 725590 PRIVMSG #esoteric :14[[07W (A)14]]4 10 02https://esolangs.org/w/index.php?diff=69992&oldid=69484 5* 03A 5* (+158) 10 > 1582264194 125519 PRIVMSG #esoteric :14[[07W (A)14]]4 10 02https://esolangs.org/w/index.php?diff=69993&oldid=69992 5* 03A 5* (+146) 10 > 1582264263 773222 PRIVMSG #esoteric :14[[07W (A)14]]4 10 02https://esolangs.org/w/index.php?diff=69994&oldid=69993 5* 03A 5* (+64) 10I've already implemented it. Silly me! > 1582264310 766593 PRIVMSG #esoteric :14[[07W (A)14]]4 10 02https://esolangs.org/w/index.php?diff=69995&oldid=69994 5* 03A 5* (+1) 10 < 1582264337 120160 :tromp!~tromp@2a02:a210:ca3:2800:a5ab:e442:9f94:9424 JOIN :#esoteric < 1582264586 116270 :tromp_!~tromp@2a02:a210:ca3:2800:812c:b0a9:b447:e06f JOIN :#esoteric < 1582264613 88625 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1582264631 127025 :tromp!~tromp@2a02:a210:ca3:2800:a5ab:e442:9f94:9424 QUIT :Ping timeout: 272 seconds < 1582264846 980319 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1582264897 125929 :tromp_!~tromp@2a02:a210:ca3:2800:812c:b0a9:b447:e06f QUIT :Ping timeout: 272 seconds < 1582265036 81769 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 265 seconds < 1582265118 540664 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1582265880 727936 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: Do you want to have good looks, too? < 1582265880 814682 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: fnord esoteric fnord this work: int main() < 1582265900 709665 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: Well, ouch. You could've just said "no", you know. < 1582265900 829054 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: so you create a new file, and be able to actually use < 1582266142 236591 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungoteeth? < 1582266142 330649 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :oerjan: ( figured that since he already got his phd dissertation was written on irix :) < 1582266234 207190 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And now it's mocking my age? < 1582266239 701126 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot's so mean. < 1582266239 809706 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: i'm not going to debate any more with a nicer syntax. < 1582266266 190703 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net JOIN :#esoteric < 1582266277 366438 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION swats fungot -----### < 1582266277 465631 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :oerjan: ( trust me, it seems viznut really likes it. < 1582266357 193234 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think fungot has been hanging out with the wrong crowd < 1582266357 292249 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :oerjan: how about just making every function call an actor thingy in the other < 1582266526 88559 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net QUIT :Ping timeout: 255 seconds < 1582268952 922903 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Quit: Leaving < 1582269064 88010 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 255 seconds < 1582269965 133370 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1582270013 494853 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 258 seconds < 1582270045 422179 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1582271215 118384 :tromp!~tromp@2a02:a210:ca3:2800:4bd:103e:e73e:444f JOIN :#esoteric < 1582272147 970897 :xkapastel!uid17782@gateway/web/irccloud.com/x-sxzdmoxvttbbgvdh JOIN :#esoteric < 1582272321 119176 :tromp_!~tromp@2a02:a210:ca3:2800:d67:fbb5:f12:1ea5 JOIN :#esoteric < 1582272535 145160 :tromp!~tromp@2a02:a210:ca3:2800:4bd:103e:e73e:444f QUIT :Ping timeout: 272 seconds < 1582272635 577919 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1582273503 801393 :tromp_!~tromp@2a02:a210:ca3:2800:d67:fbb5:f12:1ea5 QUIT :Remote host closed the connection < 1582274337 665553 :tromp!~tromp@2a02:a210:ca3:2800:d67:fbb5:f12:1ea5 JOIN :#esoteric < 1582278021 171999 :cpressey!~cpressey@5.133.242.4 JOIN :#esoteric < 1582278050 721193 :b_jonas!~x@catv-176-63-14-24.catv.broadband.hu QUIT :Quit: leaving < 1582278201 479707 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Apparently I cannot spell "hereditary"... the number of times I've now changed the second letter from 'i' to 'e' is getting embarrassing. < 1582278875 427288 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :hi int-e < 1582278882 968755 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :Do you like zygohistomorphic prepromorphisms? < 1582279607 258182 :jix!~jix@static.71.5.69.159.clients.your-server.de QUIT :Quit: restart < 1582279618 190549 :jix!~jix@static.71.5.69.159.clients.your-server.de JOIN :#esoteric < 1582279859 275839 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Not today. < 1582279902 356987 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(Another day I might at least try to find out what they are.) < 1582280035 854415 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :"Used when you really need both semi-mutual recursion and history and to repeatedly apply a natural transformation as you get deeper into the functor." > 1582280062 235397 PRIVMSG #esoteric :14[[07Sunny morning14]]4 10 02https://esolangs.org/w/index.php?diff=69996&oldid=69987 5* 03Hakerh400 5* (+538) 10Added a new example and explained computational class < 1582280214 638822 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :Y'know, I find it hard to say if I've ever really needed that or not < 1582280249 221213 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Well, we have explicit recursion. < 1582280265 391458 :int-e!~noone@int-e.eu PRIVMSG #esoteric :So I usually lose interest soon after cata- and anamorphisms. > 1582280271 981388 PRIVMSG #esoteric :14[[07Sunny morning14]]4 10 02https://esolangs.org/w/index.php?diff=69997&oldid=69996 5* 03Hakerh400 5* (+268) 10Revert the accidentally deleted paragraph > 1582280324 380327 PRIVMSG #esoteric :14[[07Sunny morning14]]4 M10 02https://esolangs.org/w/index.php?diff=69998&oldid=69997 5* 03Hakerh400 5* (-4) 10 < 1582280434 922391 :int-e!~noone@int-e.eu PRIVMSG #esoteric :cpressey: Does anybody outside of compiler theory for deforestation need such terminology? > 1582280478 147798 PRIVMSG #esoteric :14[[07Sunny morning14]]4 M10 02https://esolangs.org/w/index.php?diff=69999&oldid=69998 5* 03Hakerh400 5* (+8) 10 < 1582280560 612469 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :int-e: There seem to be lots of people who take pointfree-ness very seriously. < 1582280676 821123 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :There's a whole game show on BBC about expressing Haskell functions without binding names < 1582280679 685663 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :It's called Pointless < 1582281965 148303 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1582282034 944775 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`? zygohistomorphic prepromorphisms < 1582282036 694060 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :A zygohistomorphic prepromorphism is used when you really need both semi-mutual recursion and history and to repeatedly apply a natural transformation as you get deeper into the functor. < 1582282041 286259 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :yes < 1582282097 418403 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :int-e: that makes sense, since the verb form is "inherit", not "inheret". but apparently the adjective doesn't inherit the spelling. < 1582282131 122422 :int-e!~noone@int-e.eu PRIVMSG #esoteric :wib_jonas: Tell that to my fingers. < 1582282193 338672 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :"talk to the hand" < 1582282253 632519 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Hmm, I guess that was implied. < 1582282477 512544 :egelbot!~egelbot@ip56522cc1.speed.planet.nl JOIN :#esoteric < 1582282486 978906 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: 2*3/2 < 1582282487 128717 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :3 < 1582282505 760972 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :It seems it was just a mistake in priorities. < 1582282510 71281 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I guess. < 1582282589 954601 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :spruit: no, it's a mistake in associativity. (*) and (/) should have the same precedence, and whatever associativity/fixity is the opposite that the power operator should have < 1582282603 330161 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: {2}*{3}/{4} < 1582282603 760826 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:/ (System:* (System:cons 2 System:nil) (System:cons 3 System:nil)) (System:cons 4 System:nil)) < 1582282610 248467 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: {2}*{3}*{4} < 1582282610 638257 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:* (System:* (System:cons 2 System:nil) (System:cons 3 System:nil)) (System:cons 4 System:nil)) < 1582282624 164760 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :ok, that looks correct < 1582282636 145725 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: 100/2/2 < 1582282636 483802 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :25 < 1582282646 664095 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Egel doesn't have same precedence operators. < 1582282664 622874 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :well it should < 1582282669 73022 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Sorry. < 1582282676 570184 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: 10*10/2*2 < 1582282677 37585 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :25 < 1582282692 16745 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: 10/2*2/10 < 1582282692 549350 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :0 < 1582282700 352403 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: ((10/2)*2)/10 < 1582282700 735714 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :1 < 1582282724 109743 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`python3 -cprint(10//2*2//10) < 1582282725 304933 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :1 < 1582282739 307298 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :spruit11: now you're misparsing that < 1582282747 935067 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Right. < 1582282765 986613 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :C parses (10/2*2/10) as (((10/2)*2)/10) < 1582282780 682561 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :admittedly I think there are interpreters where / has a higher precedence < 1582282800 407154 :tromp!~tromp@2a02:a210:ca3:2800:d67:fbb5:f12:1ea5 QUIT :Remote host closed the connection < 1582282822 287749 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :but I think almost all of those were written before our prophets K&R declared the table of precedence of C < 1582282908 468513 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Yah. I'll note it but I don't think I'll change it, yet. < 1582282921 959942 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :It wouldn't be too hard, I just like the scheme I have now. < 1582282923 571506 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :sure, we'll just parenthisize everything then < 1582282948 21974 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric ::/ < 1582282954 802929 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Yahyah. < 1582283220 946384 :tromp!~tromp@2a02:a210:ca3:2800:d67:fbb5:f12:1ea5 JOIN :#esoteric > 1582283630 21102 PRIVMSG #esoteric :14[[07Talk:Sunny morning14]]4 N10 02https://esolangs.org/w/index.php?oldid=70000 5* 03IFcoltransG 5* (+179) 10Created page with "I look forward to the next instalment. "Glimmering Noon", perhaps, and declarative? ~~~~" < 1582284252 19110 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Nah, I'll document it but I don't see a pressing reason to change it. < 1582284275 431389 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :The idea is that you can introduce ++ and ** operators yourself and deduce the priorities. < 1582284283 71224 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I don't want to give that up. < 1582284470 377146 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1582284840 243862 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :spruit: I don't see why that would stop you from having equal precedences < 1582284882 571115 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :spruit: haskell and prolog lets you introduce custom infix operators, and declare their precedence and fixity < 1582284898 320218 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :it's not even too complicated to parse it < 1582284918 373942 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :as long as you don't have other insane syntax rules like haskell does > 1582285105 145490 PRIVMSG #esoteric :14[[07User:IFcoltransG14]]4 10 02https://esolangs.org/w/index.php?diff=70001&oldid=69709 5* 03IFcoltransG 5* (+177) 10Formatted and added a list of concepts and serious languages I've worked on pages for > 1582285140 119603 PRIVMSG #esoteric :14[[07User:IFcoltransG14]]4 M10 02https://esolangs.org/w/index.php?diff=70002&oldid=70001 5* 03IFcoltransG 5* (+32) 10/* Other */ Made links to pages < 1582285194 148882 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Nono, it isn't that much more complicated, I agree. < 1582285257 799587 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :But I never liked the scheme of introducing your own priorities. That can break a lot of stuff. < 1582285289 669600 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :You're right that if my aim was to implement a GHC I would need to. > 1582285303 604726 PRIVMSG #esoteric :14[[07User:IFcoltransG14]]4 M10 02https://esolangs.org/w/index.php?diff=70003&oldid=70002 5* 03IFcoltransG 5* (+0) 10/* Other */ Reordered priority list < 1582285315 211050 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :But Egel isn't a GHC, a 'real' language, but a playground. > 1582285328 168792 PRIVMSG #esoteric :14[[07User:IFcoltransG14]]4 M10 02https://esolangs.org/w/index.php?diff=70004&oldid=70003 5* 03IFcoltransG 5* (+1) 10Fixed link < 1582285339 760297 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :sure > 1582285346 96197 PRIVMSG #esoteric :14[[07User:IFcoltransG14]]4 M10 02https://esolangs.org/w/index.php?diff=70005&oldid=70004 5* 03IFcoltransG 5* (-1) 10Actually fixed the link formatting this time < 1582285355 967300 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I.e., I want to see how this simple scheme works out in practice. < 1582285551 840229 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :The problem with priority introduction is (often) that it's very prone to errors, let alone modification. (What happens accross module boundaries, what happens to your source code after you find out you need to swap two operators.) < 1582285581 84329 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Sometimes a simple scheme is best. So I'll just document it as a 'best effort' solution. < 1582285585 408034 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Ah well. < 1582286319 901402 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd egel-scripts; >a0.eg echo $'import "/hackenv/tmp/egel-master/include/prelude-hackeso.eg"\nusing System\nusing Math\nusing String\nusing IO\ndef main = ''[F->F F tuple 2 111][F B L U->[false->B|true->F F([T->T T 2][T C->[true->B|false->[false->B L|true->T T(C+1)](C*C<=L)](0==L%C)])(L+1)U](La0.eg echo $'import "/hackenv/tmp/egel-master/include/prelude-hackeso.eg"\nusing System\nusing Math\nusing String\nusing IO\ndef main = ''[F->F F tuple 2 777][F B L U->[false->B|true->F F([T->T T 2][T C->[true->B|false->[false->B L|true->T T(C+1)](C*C<=L)](0==L%C)])(L+1)U](L "/hackenv/interps/egel/readme-hackeso.txt" [1] < 1582286460 796053 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :Weeks ago, I puzzled over what it meant for Frege to be "a Haskell", now I'm going to puzzle over what it means to implement "a GHC". < 1582286501 142944 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :For instance, to implement a GHC, must you be physically located in Glasgow? Is it a strict requirement? < 1582286560 894776 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :cpressey: I don't know. there was an esoteric language featured on ICFP called GHC, but totally unrelated to the famous GHC < 1582286574 40236 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I don't know if it was implemented in Glasgow though < 1582286599 333878 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :ICFP 2014 > 1582286668 561374 PRIVMSG #esoteric :14[[07User:B jonas14]]4 10 02https://esolangs.org/w/index.php?diff=70006&oldid=68094 5* 03B jonas 5* (+11) 10 < 1582287135 573018 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I implemented a GHC once, the Grafwegen Hi Compiler. It was a language I made prior to Egel but it was way too much to get right. (A heterodox type system, compiled to C, ..) < 1582287142 698272 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Learned a lot from that. < 1582287170 325880 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :nice < 1582287185 503304 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Most I learned was: don't create 'real' languages by yourself. The point where that can be done as a one-man-effort is gone. < 1582287196 622408 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I want to test something < 1582287222 624267 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd egel-scripts; >a0.eg echo $'import "/hackenv/tmp/egel-master/include/prelude-hackeso.eg"\nusing System\nusing Math\nusing String\nusing IO\ndef main = ''(3,3*3)'; /hackenv/interps/egel/egel a0.eg < 1582287223 773020 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​(System:tuple 3 9) < 1582287265 194755 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd egel-scripts; d=/hackenv/tmp/egel-master/include/; mkdir -vp "$d"; echo BOO > "$d/prelude-hackeso.eg"; echo done < 1582287266 101636 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :done < 1582287270 664703 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd egel-scripts; >a0.eg echo $'import "/hackenv/tmp/egel-master/include/prelude-hackeso.eg"\nusing System\nusing Math\nusing String\nusing IO\ndef main = ''(3,3*3)'; /hackenv/interps/egel/egel a0.eg < 1582287271 561416 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​/hackenv/tmp/egel-master/include/prelude-hackeso.eg:1:1:syntactical:declaration or directive expected < 1582287277 947482 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :ok that's still buggy < 1582287338 702720 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :spruit11: if I give an absolute path (any path starting with a slash), you should not search for that file under the search path, you should only use the path as is < 1582287359 388412 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :spruit11: because as is, the interpreter can still be confused by files in the pwd, so you can't just run egel scripts in any pwd < 1582287400 257598 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :spruit11: this is important because it's darned hard to work it around properly by whoever invokes egel < 1582287453 275278 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :you'd need to temporarily chdir to a safe path, but pass a file descriptor to the old wd, start egel, then in the wrapper script, after loading libraries, fchdir to the old wd, so that the egel script itself can conveniently access files in the wd with relative names < 1582287483 957383 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Uh. Right? < 1582287497 418499 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :You need it to not search if the path start with '/ < 1582287501 966080 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :', right? < 1582287509 487427 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I can do that. < 1582287513 402825 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :yes, don't prepend stuff to absolute paths, < 1582287537 752932 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :and ideally also add command-line switches such that I can invoke egel with my own search path that doesn't include "." < 1582287554 143974 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1582287565 462019 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :so in this case I'd put /hackenv/interps/egel into the search path, but . shouldn't be in that search path < 1582287581 984710 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric < 1582287616 446607 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :or does the -I switch already do that? I haven't actually tested < 1582287650 55185 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd egel-scripts; >a0.eg echo $'import "prelude-hackeso.eg"\nusing System\nusing Math\nusing String\nusing IO\ndef main = ''(3,3*3)'; /hackenv/interps/egel/egel -I /hackenv/interps/egel/ a0.eg < 1582287651 110663 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​(System:tuple 3 9) < 1582287677 404034 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd egel-scripts; d=/hackenv/tmp/egel-master/include/; echo BOO > "$d/perlude-hackeso.eg"; echo done < 1582287678 280443 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :done < 1582287689 657882 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd egel-scripts; >a0.eg echo $'import "perlude-hackeso.eg"\nusing System\nusing Math\nusing String\nusing IO\ndef main = ''(3,3*3)'; /hackenv/interps/egel/egel -I /hackenv/interps/egel/ a0.eg < 1582287690 603708 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :a0.eg:1:1:input/output:file "perlude-hackeso.eg" not found < 1582287694 17277 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :oh great < 1582287700 6865 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I rescind my second objection < 1582287712 47993 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd egel-scripts; >a0.eg echo $'import "perlude-hackeso.eg"\nusing System\nusing Math\nusing String\nusing IO\ndef main = ''(3,3*3)'; /hackenv/interps/egel/egel a0.eg < 1582287713 149094 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :a0.eg:1:1:input/output:file "perlude-hackeso.eg" not found < 1582287718 579208 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :no wait < 1582287802 677901 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: If you're interested, I'd be happy to get some feedback on the introduction I wrote for https://int-e.eu/~bf3/tmp/Goodstein.pdf ... also, if there's a better way to cite BLC I'm all ears. < 1582287803 869047 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; >/hackenv/tmp/egel-scripts/hackenv/interps/egel/perlude-hackeso.eg" echo BOO; echo done < 1582287805 20199 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :bash: -c: line 0: unexpected EOF while looking for matching `"' \ bash: -c: line 1: syntax error: unexpected end of file < 1582287809 841351 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I committed the start with '/' exception. No idea whether it'll work. < 1582287811 396954 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; >/hackenv/tmp/egel-scripts/hackenv/interps/egel/perlude-hackeso.eg echo BOO; echo done < 1582287812 284960 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :bash: /hackenv/tmp/egel-scripts/hackenv/interps/egel/perlude-hackeso.eg: No such file or directory < 1582287838 427605 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; mkdir -pv /hackenv/tmp/egel-scripts/hackenv/interps/egel/ < 1582287839 308996 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :mkdir: created directory '/hackenv/tmp/egel-scripts/hackenv' \ mkdir: created directory '/hackenv/tmp/egel-scripts/hackenv/interps' \ mkdir: created directory '/hackenv/tmp/egel-scripts/hackenv/interps/egel/' < 1582287851 899853 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; >/hackenv/tmp/egel-scripts/hackenv/interps/egel/prelude-hackeso.eg echo BOO; echo done < 1582287854 782943 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :done < 1582287858 559468 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; >/hackenv/tmp/egel-scripts/hackenv/interps/egel/perlude-hackeso.eg echo BOO; echo done < 1582287859 428839 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :done < 1582287879 531478 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd egel-scripts; >a0.eg echo $'import "perlude-hackeso.eg"\nusing System\nusing Math\nusing String\nusing IO\ndef main = ''(3,3*4)'; /hackenv/interps/egel/egel a0.eg < 1582287880 553425 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :a0.eg:1:1:input/output:file "perlude-hackeso.eg" not found < 1582287883 906094 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: (My plan is to submit it to the AFP, https://www.isa-afp.org/ ) < 1582287904 947468 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; >/hackenv/tmp/egel-scripts/perlude-hackeso.eg echo BOO; echo done < 1582287906 117920 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :done < 1582287908 218012 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; >/hackenv/tmp/egel-scripts/prelude-hackeso.eg echo BOO; echo done < 1582287908 971787 :int-e!~noone@int-e.eu PRIVMSG #esoteric :ACTION kicks HackEso in the sheens. < 1582287909 141051 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :done < 1582287914 279927 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd egel-scripts; >a0.eg echo $'import "perlude-hackeso.eg"\nusing System\nusing Math\nusing String\nusing IO\ndef main = ''(3,3*5)'; /hackenv/interps/egel/egel a0.eg < 1582287915 252565 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :perlude-hackeso.eg:1:1:syntactical:declaration or directive expected < 1582287933 444695 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd egel-scripts; >a0.eg echo $'import "perlude-hackeso.eg"\nusing System\nusing Math\nusing String\nusing IO\ndef main = ''(3,3*5)'; /hackenv/interps/egel/egel -I /hackenv/interps/egel a0.eg < 1582287934 403671 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :perlude-hackeso.eg:1:1:syntactical:declaration or directive expected < 1582287939 599659 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd egel-scripts; >a0.eg echo $'import "prelude-hackeso.eg"\nusing System\nusing Math\nusing String\nusing IO\ndef main = ''(3,3*5)'; /hackenv/interps/egel/egel -I /hackenv/interps/egel a0.eg < 1582287940 513416 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :prelude-hackeso.eg:1:1:syntactical:declaration or directive expected < 1582287969 553627 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` rm -fv /hackenv/tmp/egel-scripts/prelude-hackeso.eg < 1582287971 233064 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :removed '/hackenv/tmp/egel-scripts/prelude-hackeso.eg' < 1582287979 998528 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd egel-scripts; >a0.eg echo $'import "prelude-hackeso.eg"\nusing System\nusing Math\nusing String\nusing IO\ndef main = ''(3,3*5)'; /hackenv/interps/egel/egel -I /hackenv/interps/egel a0.eg < 1582287981 117734 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​(System:tuple 3 15) < 1582287990 31616 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :yes, my second object is still there < 1582287998 803750 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :spruit: thanks < 1582288035 322638 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :spruit11: ideally, make it so that if you give -I options from command line, then egel doesn't search in . , unless of course you give -I . in the command line. if you don't want that, for compatibility, then add some other switch to not search in . < 1582288056 549891 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :because it would be better to also not have to use absolute paths < 1582288080 805552 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I'll look at it. < 1582288089 922468 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :thank you < 1582288138 593370 :int-e!~noone@int-e.eu PRIVMSG #esoteric :@unignore HackEso < 1582288138 868339 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Plugin `system' failed with: user error (invalid usage) < 1582288144 237650 :int-e!~noone@int-e.eu PRIVMSG #esoteric :err < 1582288301 763880 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Heh maybe I can induce cpressey to give feedback too if I claim that it's all about the power of folds. < 1582288407 89459 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I can change it but I am not sure what it'll break.. It'll take a bit to surpress '.'. < 1582288419 395914 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Do you really need it? < 1582288420 970432 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(The fold angle is not a lie but I'm really not framing it in this way.) < 1582288533 195397 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :spruit: I don't need it implicitly, it can be a different switch. I don't need it in the master version, I can make a fork. and I don't need it in a HackEso toy language, but I would need it in a serious language. < 1582288594 285006 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :spruit: for quite a while I ran perl with a wrapper script that removes . from the search path (that's just a switch -M-lib=. or some such, I don't recall the exact syntax), until eventually perl removed it by default in some major version update < 1582288620 934698 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Ah well. I hacked something. Fingers crossed. < 1582288626 476221 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :thanks < 1582288633 132322 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :also I probably won't look at it today < 1582288654 404304 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :and every time I say "I won't look at it today" there's some chance that I get bored and never get back to experimenting with the language < 1582288787 176548 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I committed the change which should surpress '.' when -I is used. < 1582288791 132168 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Untested. < 1582288824 854469 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :thanks < 1582288827 686553 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :No problem. You already gave Egel a lot of attention. < 1582288837 344583 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :It's about time to wrap it up? < 1582288868 323259 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I mean, you want to create a wrapper around an installation, right? < 1582288883 624497 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(BTW, comment is #, missed that yesterday.) < 1582289172 251359 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Real life takes over here too. BBL. < 1582289173 829501 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :o/ < 1582289271 311372 :egelbot!~egelbot@ip56522cc1.speed.planet.nl JOIN :#esoteric < 1582289606 556371 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :spruit11: I'll definitely create a wrapper, and if you fixed those two mistakes then the wrapper will be able to work well < 1582289622 585701 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I just won't create it now, because I have to do real payed work too, or pretend to or whatever < 1582289643 168311 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I make my own crazy tools there < 1582289653 54940 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I don't plan to use egel for that < 1582289658 588444 :tromp!~tromp@2a02:a210:ca3:2800:d67:fbb5:f12:1ea5 QUIT :Remote host closed the connection < 1582289704 155869 :tromp!~tromp@2a02:a210:ca3:2800:d67:fbb5:f12:1ea5 JOIN :#esoteric < 1582290046 264144 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :int-e: I'm flattered but also fairly sure that any feedback I have would not be useful to you < 1582290136 310165 :int-e!~noone@int-e.eu PRIVMSG #esoteric :cpressey: Well I wouldn't know. But you were not really involved in this :) < 1582290404 556303 :tromp!~tromp@2a02:a210:ca3:2800:d67:fbb5:f12:1ea5 PRIVMSG #esoteric :int-e in explaining hereditary notation, i wouldn't change 1 to 2^0, as 1 is alrd a digit in base 2. https://en.wikipedia.org/wiki/Goodstein%27s_theorem#Hereditary_base-n_notation doesn't do that either < 1582290566 176127 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But this way it's closer to how the code works. Though I guess I should put the digits last (3^0 * 2 rather than 2 * 3^0) for the same reason... < 1582290828 675567 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh whatever, I changed it < 1582290832 473687 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(both things) < 1582290876 749911 :tromp!~tromp@2a02:a210:ca3:2800:d67:fbb5:f12:1ea5 PRIVMSG #esoteric :maybe explain that later when you get to the code. for reader's initial understanding it's better to stop at digits below b, i think < 1582290893 470031 :tromp!~tromp@2a02:a210:ca3:2800:d67:fbb5:f12:1ea5 PRIVMSG #esoteric :and limit notational clutter < 1582290929 302482 :tromp!~tromp@2a02:a210:ca3:2800:d67:fbb5:f12:1ea5 PRIVMSG #esoteric :for BLC reference, use instead (or in addition) the reference 1 on https://tromp.github.io/cl/Binary_lambda_calculus.html < 1582290951 105240 :tromp!~tromp@2a02:a210:ca3:2800:d67:fbb5:f12:1ea5 PRIVMSG #esoteric :which might survive my website:) < 1582291086 333982 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Hmm, the links are both on tromp.github.io. The Binary_lambda_calculus.html doesn't have a page title :/ < 1582291124 474718 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But I'll pretend it's "Binary lambda calculus". < 1582291147 676915 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(And it links to the playground anyway, if the reader makes it to the bottom.) < 1582291291 496987 :tromp!~tromp@2a02:a210:ca3:2800:d67:fbb5:f12:1ea5 PRIVMSG #esoteric :i mean your paper should containt the reference to John Tromp, Binary Lambda Calculus and Combinatory Logic, in Randomness And Complexity, from Leibniz To Chaitin, ed. Cristian S. Calude, World Scientific Publishing Company, October 2008. (The last reference, to an initial Haskell implementation, is dated 2004) < 1582291696 62316 :tromp!~tromp@2a02:a210:ca3:2800:d67:fbb5:f12:1ea5 PRIVMSG #esoteric : than the ordinal*s* themselves. < 1582291821 477469 :tromp!~tromp@2a02:a210:ca3:2800:d67:fbb5:f12:1ea5 PRIVMSG #esoteric :as trees (nested lists) < 1582292136 310325 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: Tweaked references. Do you have page numbers for your chapter? (I now actually cite Goodstein too) < 1582292178 973354 :int-e!~noone@int-e.eu PRIVMSG #esoteric :1944. Who knew people were interested in stuff like that back then. ;) > 1582292287 985745 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Vorov2 5* 10New user account < 1582292290 166178 :tromp!~tromp@2a02:a210:ca3:2800:d67:fbb5:f12:1ea5 PRIVMSG #esoteric :pages 237-260 > 1582292429 267322 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=70007&oldid=69975 5* 03Vorov2 5* (+218) 10/* Introductions */ > 1582292683 832848 PRIVMSG #esoteric :14[[07User:Vorov214]]4 N10 02https://esolangs.org/w/index.php?oldid=70008 5* 03Vorov2 5* (+215) 10Created page with "I am a software developer from Russia. I am interested in programming language design. I have developed two programming languages: [https://github.com/vorov2/ela Ela] and [htt..." < 1582292706 301929 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: Oh and I've added an acknowledgement. < 1582292728 845307 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :int-e: what is this you're working on? < 1582292840 626840 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Taneb: A formalization of the Goodstein function in connection with lambda calculus; https://int-e.eu/~bf3/tmp/Goodstein.pdf is the current draft document. < 1582292865 340671 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :Aha! < 1582292889 795961 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :I don't understand this but luckly you have linked me the perfect thing to begin learning with < 1582292912 442556 :int-e!~noone@int-e.eu PRIVMSG #esoteric :hrm, with a broken reference, *fixes* < 1582293074 709860 :tromp!~tromp@2a02:a210:ca3:2800:d67:fbb5:f12:1ea5 PRIVMSG #esoteric :"we start counting at 1" -> "the first argument is one less than base, so 0 is not valid" < 1582293194 730522 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: Hmm. Yeah I can add that. But one could change c+2 and c+1 to c+3 and c+2 below and start counting at 0. < 1582293348 682679 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1582293610 352380 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :int-e: thank you, this is interesting < 1582295053 255112 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection > 1582295571 63957 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow14]]4 M10 02https://esolangs.org/w/index.php?diff=70009&oldid=69899 5* 03PythonshellDebugwindow 5* (+0) 10/* "Hello" program */ > 1582295615 418276 PRIVMSG #esoteric :14[[07Exp14]]4 M10 02https://esolangs.org/w/index.php?diff=70010&oldid=69840 5* 03PythonshellDebugwindow 5* (+2) 10/* Cat program (1 character) */ > 1582295635 70610 PRIVMSG #esoteric :14[[07Exp14]]4 M10 02https://esolangs.org/w/index.php?diff=70011&oldid=70010 5* 03PythonshellDebugwindow 5* (+6) 10/* Cat program (1 character) */ < 1582296073 644327 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Taneb: Ah does that mean you actually understand it (if you understand the introduction and maybe a bit of the Specification section I'll be quite happy.) < 1582296118 481716 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(Will be afk for a bit, but I will read replies.) < 1582296171 911541 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :" I don't understand this but luckly you have linked me the perfect thing to begin learning with Taneb: Ah does that mean you actually understand it" hmm, is that quote material? < 1582296564 125400 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`addquоte I don't understand this but luckly you have linked me the perfect thing to begin learning with Taneb: Ah does that mean you actually understand it [...] < 1582296564 861528 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :addquоte? No such file or directory < 1582297120 304980 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :uh-oh > 1582297552 367010 PRIVMSG #esoteric :14[[07Nybblang14]]4 M10 02https://esolangs.org/w/index.php?diff=70012&oldid=69898 5* 03PythonshellDebugwindow 5* (+771) 10 > 1582297574 599022 PRIVMSG #esoteric :14[[07Nybblang14]]4 M10 02https://esolangs.org/w/index.php?diff=70013&oldid=70012 5* 03PythonshellDebugwindow 5* (+0) 10/* Turing-Complete Nybblang */ < 1582297849 830601 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Quit: quit < 1582298164 937935 :int-e!~noone@int-e.eu PRIVMSG #esoteric :wib_jonas: I thought they were different "this". < 1582298390 71648 :int-e!~noone@int-e.eu PRIVMSG #esoteric :wib_jonas: You also misassigned context, fwiw. < 1582298413 339001 :int-e!~noone@int-e.eu PRIVMSG #esoteric :wib_jonas: I was replying to the "the perfect thing to begin learning with" part. < 1582298674 178175 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :int-e: so Taneb understands a different article that your article references? < 1582298761 480857 :int-e!~noone@int-e.eu PRIVMSG #esoteric :wib_jonas: I thought the scope of "this" was just the IRC line... in particular, the reference to the Goodstein function. < 1582298779 870753 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But w/e. < 1582299042 234122 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :To actually answer the question, I'm afraid I was a little confused so I looked at the Wikipedia page for the Goodstein function to clarify things < 1582299065 85750 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :(I had in my head that you always went base 2 to base 3, rather than base n to base n + 1) < 1582299126 348580 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh. < 1582299216 226921 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Yeah I'll add "The next step is the same with $b$ incremented by $1$, and so on." < 1582299250 950246 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric ::) < 1582299273 829924 :int-e!~noone@int-e.eu PRIVMSG #esoteric :The other thing *probably* wouldn't terminate. < 1582299274 598587 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :Looking back it it, I thought your explanation had all the bits I needed, I just misunderstood < 1582299303 769562 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Yeah but I can also see how it could be misunderstood. This kind of feedback is valuable! < 1582299334 852947 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Basically it was ambiguous without the example and that's less than ideal. < 1582299887 223197 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And I made another small update to the pdf. < 1582300991 935581 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1582304305 973165 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh well. I guess I'll just submit it now :) < 1582304958 434829 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :nooo! < 1582304981 837330 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :if you made changes, always sleep a day on it, read it again, and submit it only if you haven't made changes for a day, unless you're in a real time pressure < 1582305026 290936 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I've slept on it once already ;-) < 1582305090 246257 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And besides, it's done. < 1582305101 47140 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :yes, but then you made a small update on it afterwards. sleep until it reaches a fixed point. < 1582305112 517526 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Uhm. < 1582305140 941004 :int-e!~noone@int-e.eu PRIVMSG #esoteric :That process would terminate, but only because my life time is finite. < 1582305160 798993 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :yeah < 1582305177 374687 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I guess it doesn't matter, even if it seems to be in a fixed point, you'll find an error soon after you submit it < 1582305180 547763 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :we can't fight that < 1582305203 249393 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :hopefully just a small error < 1582305226 519219 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :bye now < 1582305229 902946 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Also, the good news is that AFP entries can be updated. < 1582305230 279466 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Remote host closed the connection < 1582305256 188984 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And... the material is formalized, the the substance of it must be correct. < 1582305959 615668 :cpressey!~cpressey@5.133.242.4 QUIT :Quit: A la prochaine. < 1582306425 935713 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 240 seconds < 1582307956 550406 :xkapastel!uid17782@gateway/web/irccloud.com/x-sxzdmoxvttbbgvdh QUIT :Quit: Connection closed for inactivity < 1582308708 858406 :ddmm_!atrapmatri@gateway/shell/matrix.org/x-sypjadpngjovtjyv QUIT :Ping timeout: 248 seconds < 1582308719 186474 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-ficagzxnwsveanrz QUIT :Ping timeout: 245 seconds < 1582308719 202097 :xylochoron[m]!xylochoron@gateway/shell/matrix.org/x-mjfymvemmoekalyf QUIT :Ping timeout: 245 seconds < 1582308722 410225 :wmww!wmwwmatrix@gateway/shell/matrix.org/x-fgmambrhebwcgsef QUIT :Ping timeout: 260 seconds < 1582308842 905541 :j-bot!eldis4@firefly.nu QUIT :Ping timeout: 240 seconds < 1582309669 266172 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1582311932 223249 :wmww!wmwwmatrix@gateway/shell/matrix.org/x-kijgoanadpdjjmcp JOIN :#esoteric < 1582313211 698595 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1582313317 171050 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 255 seconds < 1582313317 338129 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1582313441 376916 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1582314614 321885 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1582314692 240175 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-xloafmsaqqcxywxr JOIN :#esoteric < 1582314692 405779 :ddmm_!atrapmatri@gateway/shell/matrix.org/x-mcwwvykiocubqqag JOIN :#esoteric < 1582314692 540450 :xylochoron[m]!xylochoron@gateway/shell/matrix.org/x-kszpummbxhoztbro JOIN :#esoteric < 1582315267 270445 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 240 seconds < 1582315269 141302 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric > 1582315849 62353 PRIVMSG #esoteric :14[[07User talk:Vorov214]]4 N10 02https://esolangs.org/w/index.php?oldid=70014 5* 03Hex96 5* (+99) 10Created page with "hoi ~~~~" < 1582316090 108916 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric > 1582316704 150095 PRIVMSG #esoteric :14[[07Grid14]]4 M10 02https://esolangs.org/w/index.php?diff=70015&oldid=65985 5* 03Hakerh400 5* (+6) 10Update links < 1582316925 134719 :b_jonas!~x@catv-176-63-14-178.catv.broadband.hu JOIN :#esoteric < 1582317135 221698 :b_jonas!~x@catv-176-63-14-178.catv.broadband.hu PRIVMSG #esoteric :hi all < 1582317313 291404 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :Hello < 1582317523 465542 :b_jonas!~x@catv-176-63-14-178.catv.broadband.hu PRIVMSG #esoteric :``` cat /hackenv/bin/ls < 1582317524 222803 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​#!/bin/bash \ if /bin/ls -id "$@" 2>/dev/null | grep -q ^"$(/bin/ls -id /hackenv/wisdom | cut -d\ -f 1)" && [[ "$IRC_TARGET" == \#* ]]; then echo 'As the wisdom directory contains many files named after nicks, listing it in public annoys people. Try listing it in private instead.'; else exec -a ls /bin/ls "$@"; fi < 1582317799 152088 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: sorry for my connection < 1582317812 349342 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric > 1582318295 182928 PRIVMSG #esoteric :14[[07Mindwhipper14]]4 10 02https://esolangs.org/w/index.php?diff=70016&oldid=69986 5* 03Asasnat 5* (+25) 10Redirected page to [[Asswhipper]] > 1582318312 246806 PRIVMSG #esoteric :14[[07Mindwhipper14]]4 10 02https://esolangs.org/w/index.php?diff=70017&oldid=70016 5* 03Asasnat 5* (-25) 10Removed redirect to [[Asswhipper]] > 1582318336 854346 PRIVMSG #esoteric :14[[07Asswhipper14]]4 N10 02https://esolangs.org/w/index.php?oldid=70018 5* 03Asasnat 5* (+25) 10Redirected page to [[Mindwhipper]] > 1582318855 925200 PRIVMSG #esoteric :14[[07Mindwhipper14]]4 10 02https://esolangs.org/w/index.php?diff=70019&oldid=70017 5* 03Asasnat 5* (+4) 10 < 1582319921 136037 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 272 seconds < 1582320825 936219 :arseniiv!~arseniiv@136.169.210.57 QUIT :Ping timeout: 240 seconds < 1582322645 106530 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1582324972 106639 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: quit < 1582328038 643511 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1582328509 260472 :longname!~airbouy@75-26-238-119.lightspeed.glvwil.sbcglobal.net QUIT :Read error: Connection reset by peer < 1582328617 853048 :longname!~airbouy@75-26-238-119.lightspeed.glvwil.sbcglobal.net JOIN :#esoteric < 1582329314 834330 :LKoen!~LKoen@81.255.219.130 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.”