< 1640044917 669664 :oerjan!~oerjan@sprocket.nvg.ntnu.no JOIN #esolangs oerjan :Ørjan Johansen < 1640045329 791502 :sprout!~quassel@2a02:a467:ccd6:1:d0f9:15ce:3995:401b JOIN #esolangs * :anon < 1640045628 771701 :sprout!~quassel@2a02:a467:ccd6:1:d0f9:15ce:3995:401b QUIT :Ping timeout: 268 seconds < 1640046259 845371 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :int-e: fizzie: i really don't agree with the idea of putting anything in /hackenv/tmp/ that cannot be deleted without breaking commands < 1640046285 323953 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :in fact, we used to have a tradition of regularly wiping the thing < 1640046292 726557 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :*irregularly < 1640046529 967949 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Fair, but I don't really like the idea of multi-megabyte files in the hg repository either. It's already a little unwieldy (~800M). < 1640046632 829534 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :ic < 1640046657 423475 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Then again, it wouldn't be the worst offender, and if it rarely gets updated maybe it's not so bad. < 1640046670 561276 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :`` ls -l /hackenv/src/factor* # there's things like this already < 1640046672 68937 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :​-rw-r--r-- 1 1000 1000 33944136 Jul 8 2017 /hackenv/src/factor-linux-x86-64-0.95.tar.gz < 1640046708 379850 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :`culprits /hackenv/src/factor-linux-x86-64-0.95.tar.gz < 1640046711 159617 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :oerjän < 1640046793 751474 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :That's the second-biggest single file there; the biggest I think was powershell__6.0.0-alpha.10-1ubuntu1.16.04.1__amd64.deb (40M) which has been deleted since then, but of course nothing ever actually gets deleted. < 1640046793 842011 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :`doag /hackenv/src/factor-linux-x86-64-0.95.tar.gz < 1640046796 132127 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :2140:2013-02-15 mv factor-* src < 1640046816 677289 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :`doag /hackenv/factor-linux-x86-64-0.95.tar.gz < 1640046819 92814 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :2140:2013-02-15 mv factor-* src \ 1175:2012-12-17 fetch http://downloads.factorcode.org/releases/0.95/factor-linux-x86-64-0.95.tar.gz < 1640046833 576143 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :this may have been pre-tmp < 1640046844 455479 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :2012-2013, probably. < 1640046875 75708 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :`` ls -l /hackenv/factor/factor.image # also biggish < 1640046876 660045 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :​-rw-r--r-- 1 1000 1000 10485760 Jul 8 2017 /hackenv/factor/factor.image < 1640046927 652816 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :And 50M in five removed-since-then ten-megabyte files in paste/. < 1640047080 579343 :disfrutar-conchi!uid498179@user/earendel PRIVMSG #esolangs :for lost revisions, ask the nsa for a backup. < 1640047262 743628 :disfrutar-conchi!uid498179@user/earendel PRIVMSG #esolangs :that's all non tmp directories. < 1640047335 520223 :sprout!~quassel@2a02:a467:ccd6:1:d0f9:15ce:3995:401b JOIN #esolangs * :anon < 1640047436 204993 :disfrutar-conchi!uid498179@user/earendel PRIVMSG #esolangs :is there paste function on HackEso? < 1640047462 622406 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :ACTION swats FireFly out of purée malice -----### < 1640047504 888231 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Yes, but the paste function no longer commits to version control. < 1640047505 89591 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :`` echo yes | paste < 1640047506 722278 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :https://hack.esolangs.org/tmp/paste/paste.19105 < 1640047513 347028 :disfrutar-conchi!uid498179@user/earendel PRIVMSG #esolangs :thank. < 1640047646 512440 :sprout!~quassel@2a02:a467:ccd6:1:d0f9:15ce:3995:401b QUIT :Ping timeout: 252 seconds < 1640048357 360319 :sprout!~quassel@2a02:a467:ccd6:1:d0f9:15ce:3995:401b JOIN #esolangs * :anon < 1640048612 353162 :sprout!~quassel@2a02:a467:ccd6:1:d0f9:15ce:3995:401b QUIT :Ping timeout: 240 seconds < 1640049237 552230 :sprout!~quassel@2a02:a467:ccd6:1:d0f9:15ce:3995:401b JOIN #esolangs * :anon > 1640049356 85964 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91076&oldid=91067 5* 03PixelatedStarfish 5* (+176) 10 > 1640049491 456517 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91077&oldid=91076 5* 03PixelatedStarfish 5* (+81) 10 < 1640049497 564884 :sprout!~quassel@2a02:a467:ccd6:1:d0f9:15ce:3995:401b QUIT :Ping timeout: 240 seconds > 1640049712 881755 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91078&oldid=91077 5* 03PixelatedStarfish 5* (+214) 10 < 1640050352 84167 :sprout!~quassel@2a02:a467:ccd6:1:d0f9:15ce:3995:401b JOIN #esolangs * :anon < 1640050698 47544 :sprout!~quassel@2a02:a467:ccd6:1:d0f9:15ce:3995:401b QUIT :Ping timeout: 268 seconds < 1640050807 915495 :Esolang1!~Esolang1@124.54.169.69 JOIN #esolangs * :[https://web.libera.chat] Esolang1 < 1640051005 765998 :Esolang1!~Esolang1@124.54.169.69 QUIT :Client Quit > 1640051047 882237 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91079&oldid=91078 5* 03PixelatedStarfish 5* (+95) 10/* Instruction Set */ > 1640051075 647435 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91080&oldid=91079 5* 03PixelatedStarfish 5* (+3) 10/* Instruction Set */ < 1640051371 582282 :sprout!~quassel@2a02:a467:ccd6:1:d0f9:15ce:3995:401b JOIN #esolangs * :anon < 1640051637 502798 :sprout!~quassel@2a02:a467:ccd6:1:d0f9:15ce:3995:401b QUIT :Ping timeout: 240 seconds < 1640052351 736100 :int-e!~noone@int-e.eu PRIVMSG #esolangs :oerjan: yeah it's not nice... we should have another non-tracked but writeable directory somewhere (assuming we don't want 3MB executables in hg, which I think is sensible) < 1640052426 862239 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(have only checked the nick highlight so far, will check out discussion) < 1640052434 582169 :sprout!~quassel@2a02:a467:ccd6:1:d0f9:15ce:3995:401b JOIN #esolangs * :anon < 1640052702 574571 :sprout!~quassel@2a02:a467:ccd6:1:d0f9:15ce:3995:401b QUIT :Ping timeout: 260 seconds < 1640052789 875215 :int-e!~noone@int-e.eu PRIVMSG #esolangs :. o O ( /volatile with a /volatile/interps subdirectory, in the interest of having something non-standard :P ) < 1640053070 747747 :disfrutar-conchi!uid498179@user/earendel PRIVMSG #esolangs :but should it be deleted irregularly? < 1640053097 306609 :disfrutar-conchi!uid498179@user/earendel PRIVMSG #esolangs :. o O ( was it double rr? ) < 1640053116 718224 :disfrutar-conchi!uid498179@user/earendel PRIVMSG #esolangs :i reparable .. no. one. < 1640053218 612115 :disfrutar-conchi!uid498179@user/earendel PRIVMSG #esolangs :adopting esoslang with da milk since 2012 < 1640053246 612297 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :In unrelated news, I just replaced the entirety of S2~-L[J-.rzJcp{J2.+r@jJ2.+r@cp{g2jd!}m[2ugg0j!!}m^jco with just 3CO{{3CO}m[tp{FL2ugg0j!!}m[}m[ which in retrospect was real obvious. < 1640053411 868433 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :(I was thinking "why isn't there the 2D equivalent of 3CO", but with a little bit of map and transpose it can serve.) < 1640053740 228356 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :`` Burlesque/blsq --no-stdin '25ro5co' < 1640053741 548733 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :​{{1 2 3 4 5} {6 7 8 9 10} {11 12 13 14 15} {16 17 18 19 20} {21 22 23 24 25}} < 1640053745 640498 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :`` Burlesque/blsq --no-stdin '25ro5co 3CO{{3CO}m[tp}m[' < 1640053746 874476 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :​{{{{1 2 3} {6 7 8} {11 12 13}} {{2 3 4} {7 8 9} {12 13 14}} {{3 4 5} {8 9 10} {13 14 15}}} {{{6 7 8} {11 12 13} {16 17 18}} {{7 8 9} {12 13 14} {17 18 19}} {{8 9 10} {13 14 15} {18 19 20}}} {{{11 12 13} {16 17 18} {21 22 23}} {{12 13 14} {17 18 19} {22 23 24}} {{13 14 15} {18 19 20} {23 24 25}}}} > 1640054084 319797 PRIVMSG #esolangs :14[[07DirectBrainFUCK14]]4 10 02https://esolangs.org/w/index.php?diff=91081&oldid=76875 5* 03Kaveh Yousefi 5* (+2105) 10Reformatted and extended the specification, added two example programs, and introduced an implementation in Common Lisp. > 1640054252 37197 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91082&oldid=91080 5* 03PixelatedStarfish 5* (+16) 10/* Instruction Set */ < 1640054459 608150 :sprout!~quassel@2a02:a467:ccd6:1:d0f9:15ce:3995:401b JOIN #esolangs sprout :anon > 1640054584 461828 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91083&oldid=91082 5* 03PixelatedStarfish 5* (+18) 10/* Instruction Set */ < 1640054659 982960 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :int-e: another non-tracked directory sounds like it would not solve the essential problem, which is that a single command could irretrievable lose information other commands need to function. < 1640054737 504366 :sprout!~quassel@2a02:a467:ccd6:1:d0f9:15ce:3995:401b QUIT :Ping timeout: 240 seconds < 1640054774 361622 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :mind you, since you've already mentioned upgrading debian is likely to break this Burlesque binary, even putting it _in_ the repository isn't really sufficient. < 1640054812 178133 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :*ly < 1640054970 600973 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :I could probably just put the Burlesque binaries in /usr/bin, but that doesn't exactly scale or crowdsource. < 1640054971 827328 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :which was one reason to put things in src/ > 1640055137 709519 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91084&oldid=91083 5* 03PixelatedStarfish 5* (-42) 10/* Instruction Set */ < 1640056495 552778 :sprout!~quassel@2a02:a467:ccd6:1:d0f9:15ce:3995:401b JOIN #esolangs * :anon < 1640056787 511266 :sprout!~quassel@2a02:a467:ccd6:1:d0f9:15ce:3995:401b QUIT :Ping timeout: 252 seconds < 1640057584 594368 :sprout!~quassel@2a02:a467:ccd6:1:d0f9:15ce:3995:401b JOIN #esolangs sprout :anon < 1640057857 568528 :sprout!~quassel@2a02:a467:ccd6:1:d0f9:15ce:3995:401b QUIT :Ping timeout: 240 seconds < 1640057909 366632 :int-e!~noone@int-e.eu PRIVMSG #esolangs :oerjan: the update /probably/ won't break it; glibcs tend to be downward compatible for some versions < 1640057973 85502 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(It works on a non-UML Debian stable (11).) < 1640058620 73416 :sprout!~quassel@2a02:a467:ccd6:1:d0f9:15ce:3995:401b JOIN #esolangs * :anon < 1640058912 45043 :sprout!~quassel@2a02:a467:ccd6:1:d0f9:15ce:3995:401b QUIT :Ping timeout: 268 seconds < 1640059439 954403 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :ah < 1640059673 791224 :sprout!~quassel@2a02:a467:ccd6:1:d0f9:15ce:3995:401b JOIN #esolangs * :anon < 1640063938 426534 :disfrutar-conchi!uid498179@user/earendel PRIVMSG #esolangs :<3 < 1640064114 854646 :disfrutar-conchi!uid498179@user/earendel PRIVMSG #esolangs :mount and linkem < 1640064140 363701 :disfrutar-conchi!uid498179@user/earendel PRIVMSG #esolangs :agh burzum ishi krimpatul < 1640064242 196427 :int-e!~noone@int-e.eu PRIVMSG #esolangs :`relcome disfrutar-conchi < 1640064247 376781 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :​09disfrutar-conchi: 02Welcome 06to 13the 04international 07hub 08for 09esoteric 02programming 06language 13design 04and 07deployment! 08For 09more 02information, 06check 13out 04our 07wiki: 08. 09(For 02the 06other 13kind 04of 07esoterica, 08try 09#esoteric 02on 06EFnet 13or 04DALnet.) < 1640064270 247075 :disfrutar-conchi!uid498179@user/earendel PRIVMSG #esolangs :dank u well < 1640065958 548492 :int-e!~noone@int-e.eu PRIVMSG #esolangs :fizzie: finally, an effective twist < 1640068803 169634 :BarryNL!~BarryNL@2a02:a468:ae45:1:8883:add:1e1a:ac8d PRIVMSG #esolangs :disfrutar-conchi: hey Nederlands < 1640069825 632805 :BarryNL!~BarryNL@2a02:a468:ae45:1:8883:add:1e1a:ac8d PRIVMSG #esolangs :Are there more people from the Netherlands active on esolangs.org? < 1640070011 748780 :sprout!~quassel@2a02:a467:ccd6:1:d0f9:15ce:3995:401b QUIT :Ping timeout: 268 seconds < 1640070309 343907 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User < 1640070491 702536 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Read error: Connection reset by peer < 1640070518 45373 :oerjan!~oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1640071641 582359 :sprout!~quassel@2a02:a467:ccd6:1:d0f9:15ce:3995:401b JOIN #esolangs * :anon < 1640073328 514439 :disfrutar-conchi!uid498179@user/earendel NICK :earendel > 1640073497 355773 PRIVMSG #esolangs :14[[07User:Zzo38/Programming languages with unusual features14]]4 10 02https://esolangs.org/w/index.php?diff=91085&oldid=90657 5* 03Zzo38 5* (+159) 10 < 1640074022 494087 :Koen!~Koen@2a01cb0407597a00592e1bbfbe46c814.ipv6.abo.wanadoo.fr JOIN #esolangs * :Koen < 1640074040 850900 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User < 1640074313 869363 :Koen!~Koen@2a01cb0407597a00592e1bbfbe46c814.ipv6.abo.wanadoo.fr QUIT :Remote host closed the connection < 1640074424 538970 :Koen!~Koen@lfbn-idf2-1-778-198.w86-247.abo.wanadoo.fr JOIN #esolangs * :Koen < 1640074749 123384 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1640075642 459904 :riv!river@tilde.team/user/river PRIVMSG #esolangs :https://justine.lol/sectorlisp2/ < 1640075734 555511 :riv!river@tilde.team/user/river PRIVMSG #esolangs :Dirac Dice.. < 1640075746 392783 :riv!river@tilde.team/user/river PRIVMSG #esolangs :doesn't even have input? < 1640075760 176237 :riv!river@tilde.team/user/river PRIVMSG #esolangs :nvm im not logged in < 1640078497 83110 :Koen!~Koen@lfbn-idf2-1-778-198.w86-247.abo.wanadoo.fr QUIT :Read error: Connection reset by peer < 1640080146 558282 :dyeplexer!~dyeplexer@user/dyeplexer JOIN #esolangs dyeplexer :t b k ky jt h bc < 1640081974 324056 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1640081998 822582 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 256 seconds < 1640082140 635319 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life < 1640083366 832787 :earendel!uid498179@user/earendel QUIT :Quit: Connection closed for inactivity < 1640084013 776278 :Koen!~Koen@lfbn-idf2-1-778-198.w86-247.abo.wanadoo.fr JOIN #esolangs * :Koen < 1640086388 527375 :BarryNL!~BarryNL@2a02:a468:ae45:1:8883:add:1e1a:ac8d QUIT :Ping timeout: 252 seconds < 1640087030 578030 :BarryNL!~BarryNL@2a02:a468:ae45:1:8883:add:1e1a:ac8d JOIN #esolangs * :BarryNL < 1640089948 150001 :Koen!~Koen@lfbn-idf2-1-778-198.w86-247.abo.wanadoo.fr QUIT :Remote host closed the connection < 1640091684 965730 :sprout!~quassel@2a02:a467:ccd6:1:d0f9:15ce:3995:401b PRIVMSG #esolangs :https://ibb.co/KxsFb2Z <- AoC, day 21, task 2 - egel code with impure memoization. spend most time figuring out generators < 1640093449 320248 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1640093500 564019 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User < 1640093548 663376 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Client Quit < 1640094510 571138 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User < 1640094960 34787 :Koen!~Koen@2a01cb0407597a00d4a11e3780b57a96.ipv6.abo.wanadoo.fr JOIN #esolangs * :Koen < 1640095864 532620 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :I did WD5enri{10rocyj-..-}m[100rocy3co{0 0}{3jx/g_++4MVp^x/.-Jx/bxj[+j-]3MVp^x/.+_+x/j}{>]999<=}w!/v/v<]Cll_++.* for part 1, but now I'm kind of regretting the choice of keeping track of everything on the stack. < 1640095955 815794 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :100rocy3co is a nice way of doing that 100-sided deterministic die though, then doing a roll is just a single g_++. > 1640096633 648607 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Ginger Industries 5* 10New user account > 1640096701 792631 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=91086&oldid=91022 5* 03Ginger Industries 5* (+174) 10 > 1640096849 193793 PRIVMSG #esolangs :14[[07APOL14]]4 10 02https://esolangs.org/w/index.php?diff=91087&oldid=90925 5* 03Ginger Industries 5* (+146) 10Added @ < 1640097456 571335 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :WD5enri{10rocyj-..-}MPjPp0Pp0S0100rocy3coPp{g03.+s0p\g_++jPpx/.-J-]x/.+}{999<=}w!p\jitg0.* if I keep the two different players' states on the two different stacks. Extra code in setup and having to use a map variable for counting rolls (`g03.+s0`) was more than compensated by a much improved score update. < 1640097802 804274 :sprout!~quassel@2a02:a467:ccd6:1:d0f9:15ce:3995:401b PRIVMSG #esolangs :+2 < 1640097950 51226 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Three characters less if I add a roll counter to the die (100rocy3co → 100rocyzi3co); extracting the current roll gets harder (g_++ → g_)[~++), but it gets rid of the g03.+s0 entirely. > 1640098368 694165 PRIVMSG #esolangs :14[[07APOL14]]4 10 02https://esolangs.org/w/index.php?diff=91088&oldid=91087 5* 03Ginger Industries 5* (+116) 10 < 1640100155 493923 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname > 1640101211 108920 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91089&oldid=91084 5* 03PixelatedStarfish 5* (+27) 10/* Grammar */ < 1640101219 875394 :Koen!~Koen@2a01cb0407597a00d4a11e3780b57a96.ipv6.abo.wanadoo.fr QUIT :Remote host closed the connection > 1640101229 91523 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91090&oldid=91089 5* 03PixelatedStarfish 5* (+13) 10/* Grammar */ < 1640101509 597380 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1640102776 626519 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User > 1640102963 16017 PRIVMSG #esolangs :14[[07Vyxaaaallalllalalallala14]]4 N10 02https://esolangs.org/w/index.php?oldid=91091 5* 03Ginger Industries 5* (+19) 10Redirected page to [[Vyxal]] < 1640105977 520303 :arseniiv!~arseniiv@94.41.38.240.dynamic.ufanet.ru JOIN #esolangs * :the chaotic arseniiv > 1640106486 509167 PRIVMSG #esolangs :14[[07APOL14]]4 10 02https://esolangs.org/w/index.php?diff=91092&oldid=91088 5* 03Ginger Industries 5* (+556) 10/* Instruction table */ > 1640106548 529061 PRIVMSG #esolangs :14[[07APOL14]]4 10 02https://esolangs.org/w/index.php?diff=91093&oldid=91092 5* 03Ginger Industries 5* (+4) 10/* Codepage */ < 1640106952 216200 :arseniiv!~arseniiv@94.41.38.240.dynamic.ufanet.ru PRIVMSG #esolangs :@messages-quiet < 1640106952 302342 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :Unknown command, try @list < 1640106956 535954 :arseniiv!~arseniiv@94.41.38.240.dynamic.ufanet.ru PRIVMSG #esolangs :@messages? < 1640106956 786347 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :Sorry, no messages today. < 1640106966 620717 :arseniiv!~arseniiv@94.41.38.240.dynamic.ufanet.ru PRIVMSG #esolangs :as always :D < 1640106975 400933 :riv!river@tilde.team/user/river PRIVMSG #esolangs :@tel arseniiv hello h appy christmas < 1640106975 671189 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :Consider it noted. < 1640106989 321612 :arseniiv!~arseniiv@94.41.38.240.dynamic.ufanet.ru PRIVMSG #esolangs :riv: hi :LD < 1640106993 815525 :riv!river@tilde.team/user/river PRIVMSG #esolangs ::) < 1640107137 604838 :kspalaiologos!~kspalaiol@user/kspalaiologos JOIN #esolangs kspalaiologos :Kamila < 1640107169 204635 :arseniiv!~arseniiv@94.41.38.240.dynamic.ufanet.ru PRIVMSG #esolangs :don’t like this time of year, dark dark awful. You’d think 45° N should be pretty sunny in winter but noo. Though probably climate matters a lot: at the start of the winter, we have almost only overcast days, and only towards spring anticyclones happen with more sun, though then daytime is way more enough than right now < 1640107205 280301 :riv!river@tilde.team/user/river PRIVMSG #esolangs :yes < 1640107216 769725 :arseniiv!~arseniiv@94.41.38.240.dynamic.ufanet.ru PRIVMSG #esolangs :btw dear guys how are esolang ideas these times? < 1640107283 174862 :Kit!~u0_a391@cpe-76-190-178-139.neo.res.rr.com JOIN #esolangs Kit :u0_a391 < 1640107853 69169 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Hmph. I got part 2 done with explicit memoization -- {}{22.*}4E!s0%DD={Jg0jd!J{vvJbc3ro3CB{++jg_x/.+10.%J#r+]l_#rj+..-J#r[+j{<-2co<-\[DD<-}j{vv1rz<-}j0.>ie}Z]tp)++g0#rJ#rD!s0}j{/v}jnuie}WD5enri?d21J_+_+DD>] -- but since Burlesque's allegedly a lazy language, I really wanted to avoid doing that. < 1640108024 849435 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Just couldn't quite figure it out. AFAICT, if you bind an infinite list to one of the map variables with `s0` (so that you could refer to it as part of that list's definition), it tries to fully evaluate it. Or something. And of course the list itself isn't on the stack for its definition. < 1640108261 148300 :kspalaiologos!~kspalaiol@user/kspalaiologos QUIT :Quit: Leaving < 1640109004 862975 :b_jonas!~x@catv-176-63-4-47.catv.broadband.hu PRIVMSG #esolangs :I have a question, guys. Suppose you have a finite set of bounded convex shapes in the 2-D plane, pairwise distinct from each other. You say that an object is above the other if any point of one is directly above any point of the other. For some reason, there can't be a cycle among objects, each above the previous one. Note that this would not be true in 3D. How can I prove this? Is there a constructive < 1640109010 865242 :b_jonas!~x@catv-176-63-4-47.catv.broadband.hu PRIVMSG #esolangs :proof that tells me how to sort the objects so neither is above any previous one? What you can't do is to sort them by a key that's derived from just the object, because there is a cycle of four potential objects each above the previous one, only two of those four intersect so you can't have all four in your set. < 1640109429 790273 :earendel!uid498179@user/earendel JOIN #esolangs earendel :AmoreFS < 1640109752 346721 :imode!~imode@user/imode QUIT :Ping timeout: 240 seconds < 1640110843 371544 :arseniiv!~arseniiv@94.41.38.240.dynamic.ufanet.ru PRIVMSG #esolangs :I think I see how a 3d counterexample may look like… < 1640110857 175647 :arseniiv!~arseniiv@94.41.38.240.dynamic.ufanet.ru PRIVMSG #esolangs :hm does it say anything to me about 2d < 1640111043 466751 :arseniiv!~arseniiv@94.41.38.240.dynamic.ufanet.ru PRIVMSG #esolangs :let axes x, y be horizontal and z vertical. Now we can rotate in xy in 3d and make a loop ≅ S¹ but we can’t do that in 2d, each time we’d get a segment which we retrace when we try to go from a point to itself only horizontally; might it be relevant? < 1640111119 724813 :arseniiv!~arseniiv@94.41.38.240.dynamic.ufanet.ru PRIVMSG #esolangs :that one “can’t not retrace” which is true for 2d but not 3d, doesn’t look constructive at all < 1640111217 644844 :arseniiv!~arseniiv@94.41.38.240.dynamic.ufanet.ru PRIVMSG #esolangs :trying to reformulate, in 3d there are nonintersecting horizontal paths between two points on the same horizontal plane but in 2d there is the only path between them—this looks constructive < 1640111253 383809 :kspalaiologos!~kspalaiol@user/kspalaiologos JOIN #esolangs kspalaiologos :Kamila < 1640111397 793409 :arseniiv!~arseniiv@94.41.38.240.dynamic.ufanet.ru PRIVMSG #esolangs :so if we go p: A=B then if we need to go q: B=A, we must go backwards, q ≡ p⁻¹; how to frame it constructively… and how to prove that constructively too… < 1640111407 589692 :arseniiv!~arseniiv@94.41.38.240.dynamic.ufanet.ru PRIVMSG #esolangs :b_jonas: is that of any help? < 1640111622 264573 :dyeplexer!~dyeplexer@user/dyeplexer QUIT :Remote host closed the connection < 1640111852 732298 :Koen!~Koen@2a01cb0407597a00f59525b754bdc14c.ipv6.abo.wanadoo.fr JOIN #esolangs * :Koen < 1640111938 496882 :imode!~imode@user/imode JOIN #esolangs imode :imode < 1640113440 70521 :Koen!~Koen@2a01cb0407597a00f59525b754bdc14c.ipv6.abo.wanadoo.fr QUIT :Remote host closed the connection < 1640113961 778189 :arseniiv!~arseniiv@94.41.38.240.dynamic.ufanet.ru PRIVMSG #esolangs :b_jonas: why not define for each shape S an above-set A(S) = {P' is above P | P ∈ S, P' ∈ plane} and then for all S1, S2 if A(S1) ∩ S2 is nonempty, have an edge S1 → S2, then topological-sort the resulting graph? < 1640114104 787073 :arseniiv!~arseniiv@94.41.38.240.dynamic.ufanet.ru PRIVMSG #esolangs :and while sorting, somehow use that fact that we can’t make a non-self-intersecting horizontal loop > 1640114268 340241 PRIVMSG #esolangs :14[[07APOL14]]4 M10 02https://esolangs.org/w/index.php?diff=91094&oldid=91093 5* 03Ginger Industries 5* (+108) 10/* Instruction table */ > 1640114287 122763 PRIVMSG #esolangs :14[[07APOL14]]4 M10 02https://esolangs.org/w/index.php?diff=91095&oldid=91094 5* 03Ginger Industries 5* (+3) 10/* Codepage */ < 1640114442 804787 :arseniiv!~arseniiv@94.41.38.240.dynamic.ufanet.ru PRIVMSG #esolangs :though I don’t see what form do you want the proof of no cycles be. If “a cycle exists ⇒ shapes intersect” then probably it shouldn’t be complicated? < 1640114461 747319 :arseniiv!~arseniiv@94.41.38.240.dynamic.ufanet.ru PRIVMSG #esolangs :ah wait they are pairwise distinct, not pairwise non-intersecting… < 1640114480 110798 :arseniiv!~arseniiv@94.41.38.240.dynamic.ufanet.ru PRIVMSG #esolangs :then how does it work at all given that intersecting / and \ make a loop < 1640114999 472517 :b_jonas!~x@catv-176-63-4-47.catv.broadband.hu PRIVMSG #esolangs :they are pairwise non-intersecting aka pairwise disjoint. if I wrote "distinct" that was a typo < 1640115019 229482 :b_jonas!~x@catv-176-63-4-47.catv.broadband.hu PRIVMSG #esolangs :yes, I wrote "distinct". sorry. > 1640115498 233724 PRIVMSG #esolangs :14[[07APOL14]]4 M10 02https://esolangs.org/w/index.php?diff=91096&oldid=91095 5* 03Ginger Industries 5* (-13) 10/* */ > 1640115573 836426 PRIVMSG #esolangs :14[[07APOL14]]4 10 02https://esolangs.org/w/index.php?diff=91097&oldid=91096 5* 03Ginger Industries 5* (+51) 10/* Instruction table */ < 1640115989 170369 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1640116228 983279 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User < 1640117572 388464 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1640117642 785173 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User < 1640118071 671996 :kspalaiologos!~kspalaiol@user/kspalaiologos QUIT :Quit: Leaving > 1640118140 472950 PRIVMSG #esolangs :14[[07Moaiscript14]]4 10 02https://esolangs.org/w/index.php?diff=91098&oldid=91017 5* 03Dtp09 5* (+23) 10 > 1640118161 895846 PRIVMSG #esolangs :14[[07Moaiscript14]]4 10 02https://esolangs.org/w/index.php?diff=91099&oldid=91098 5* 03Dtp09 5* (+0) 10 < 1640118477 353157 :arseniiv!~arseniiv@94.41.38.240.dynamic.ufanet.ru PRIVMSG #esolangs :b_jonas: no prob < 1640118674 206213 :arseniiv!~arseniiv@94.41.38.240.dynamic.ufanet.ru PRIVMSG #esolangs :ah, we probably should define above-sets more strictly, not as A_old(S) = {P' is above P | P ∈ S, P' ∈ plane} but as A(S) = A_old(S) \ S. Now S doesn’t precede itself and we probably can intersect various above-sets to show there can’t be a cycle as “(shape) is above (shape)” is transitive but irreflexive < 1640118679 44720 :arseniiv!~arseniiv@94.41.38.240.dynamic.ufanet.ru PRIVMSG #esolangs :? < 1640118796 59956 :arseniiv!~arseniiv@94.41.38.240.dynamic.ufanet.ru PRIVMSG #esolangs :oh no, not transitive < 1640118997 921947 :arseniiv!~arseniiv@94.41.38.240.dynamic.ufanet.ru PRIVMSG #esolangs :then the hard part is to show its transitive closure is still irreflexive when we consider just convex shapes < 1640119088 421095 :arseniiv!~arseniiv@94.41.38.240.dynamic.ufanet.ru PRIVMSG #esolangs :ah wait we just need to show antisymmetry. It seems if a shape intersects the above-set A(S) then it can’t intersect the below-set B(S) defined accordingly < 1640119107 769528 :arseniiv!~arseniiv@94.41.38.240.dynamic.ufanet.ru PRIVMSG #esolangs :yes, as the shape is convex and it will then intersect S itself < 1640119159 947299 :arseniiv!~arseniiv@94.41.38.240.dynamic.ufanet.ru PRIVMSG #esolangs :so we have antisymmetry which IIRC tells us the transitive closure can’t add reflexivity? < 1640119182 192118 :arseniiv!~arseniiv@94.41.38.240.dynamic.ufanet.ru PRIVMSG #esolangs :then that’s all, as any cycles prior to it will give us reflexivity < 1640119192 50806 :arseniiv!~arseniiv@94.41.38.240.dynamic.ufanet.ru PRIVMSG #esolangs :b_jonas is this that? < 1640119278 993756 :arseniiv!~arseniiv@94.41.38.240.dynamic.ufanet.ru PRIVMSG #esolangs :sorry I’m a bit intrusive I missed this channel though I don’t think I can start to write something useful regularly so I clutched an interesting question < 1640119618 382486 :arseniiv!~arseniiv@94.41.38.240.dynamic.ufanet.ru PRIVMSG #esolangs :and it will then intersect S itself => at the second glance, this is not all that obvious. We have a point PS ∈ S below PX ∈ X in our other shape X, and a point QS ∈ S above QX ∈ X, now just because [PS; QS] ⊂ S doesn’t mean by itself that [PX; QX] intersects S but it should after some argument I don’t see immediately < 1640119870 373235 :arseniiv!~arseniiv@94.41.38.240.dynamic.ufanet.ru PRIVMSG #esolangs :I think [PX; QX] always intersects [PS; QS], but then why is that?—but this one should be easier to show < 1640121691 853925 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… > 1640121838 93725 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91100&oldid=91090 5* 03PixelatedStarfish 5* (+43) 10 < 1640121995 809836 :u0_a391!~u0_a391@2600:380:8a15:2de3:e3:e81a:ec7d:cfdb JOIN #esolangs * :u0_a391 < 1640122213 39791 :Kit!~u0_a391@cpe-76-190-178-139.neo.res.rr.com QUIT :Ping timeout: 240 seconds > 1640122257 104466 PRIVMSG #esolangs :14[[07Macron14]]4 10 02https://esolangs.org/w/index.php?diff=91101&oldid=81952 5* 03PixelatedStarfish 5* (+21) 10 > 1640122335 413963 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91102&oldid=91100 5* 03PixelatedStarfish 5* (+1) 10 < 1640122370 171567 :u0_a391!~u0_a391@2600:380:8a15:2de3:e3:e81a:ec7d:cfdb NICK :Kit > 1640122685 962596 PRIVMSG #esolangs :14[[07Whopper14]]4 M10 02https://esolangs.org/w/index.php?diff=91103&oldid=83344 5* 03PythonshellDebugwindow 5* (+35) 10Add categories > 1640123087 908683 PRIVMSG #esolangs :14[[07Unilot14]]4 M10 02https://esolangs.org/w/index.php?diff=91104&oldid=79049 5* 03PythonshellDebugwindow 5* (+0) 10Fix user link > 1640123193 150899 PRIVMSG #esolangs :14[[07The Insane Esolang14]]4 M10 02https://esolangs.org/w/index.php?diff=91105&oldid=68141 5* 03PythonshellDebugwindow 5* (+35) 10/* External resources */ Add categories > 1640123316 193405 PRIVMSG #esolangs :14[[07MacroBeep14]]4 M10 02https://esolangs.org/w/index.php?diff=91106&oldid=91102 5* 03PythonshellDebugwindow 5* (+12) 10Add categories and use wikilinks < 1640123336 765962 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User > 1640124025 209085 PRIVMSG #esolangs :14[[07Varigen14]]4 M10 02https://esolangs.org/w/index.php?diff=91107&oldid=90766 5* 03PythonshellDebugwindow 5* (+83) 10Graphical output < 1640124249 386315 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1640124324 795989 :Koen!~Koen@2a01cb0407597a007dd0734cc94f0e23.ipv6.abo.wanadoo.fr JOIN #esolangs * :Koen < 1640124886 574940 :sprout!~quassel@2a02:a467:ccd6:1:d0f9:15ce:3995:401b QUIT :Ping timeout: 260 seconds < 1640125097 60295 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User < 1640125466 77830 :sprout!~quassel@2a02:a467:ccd6:1:bc5b:dbe0:79e5:a909 JOIN #esolangs * :anon < 1640125717 51446 :sprout!~quassel@2a02:a467:ccd6:1:bc5b:dbe0:79e5:a909 QUIT :Ping timeout: 240 seconds > 1640126089 924159 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91108&oldid=91106 5* 03PixelatedStarfish 5* (+207) 10/* Grammar */ > 1640126393 210413 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91109&oldid=91108 5* 03PixelatedStarfish 5* (+58) 10/* Grammar */ < 1640126470 74111 :sprout!~quassel@2a02:a467:ccd6:1:bc5b:dbe0:79e5:a909 JOIN #esolangs * :anon > 1640126508 409641 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91110&oldid=91109 5* 03PixelatedStarfish 5* (+49) 10/* Grammar */ > 1640126532 66670 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91111&oldid=91110 5* 03PixelatedStarfish 5* (+1) 10/* Grammar */ > 1640126622 406490 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91112&oldid=91111 5* 03PixelatedStarfish 5* (+66) 10/* Grammar */ > 1640126661 675212 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91113&oldid=91112 5* 03PixelatedStarfish 5* (+6) 10 > 1640126716 215825 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91114&oldid=91113 5* 03PixelatedStarfish 5* (+0) 10/* Grammar */ > 1640126760 697930 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91115&oldid=91114 5* 03PixelatedStarfish 5* (+70) 10/* Grammar */ < 1640126770 122194 :sprout!~quassel@2a02:a467:ccd6:1:bc5b:dbe0:79e5:a909 QUIT :Ping timeout: 268 seconds > 1640126798 287132 PRIVMSG #esolangs :14[[07User:PixelatedStarfish14]]4 10 02https://esolangs.org/w/index.php?diff=91116&oldid=90941 5* 03PixelatedStarfish 5* (+14) 10/* In Chronological Order */ > 1640126892 868027 PRIVMSG #esolangs :14[[07User:PixelatedStarfish14]]4 10 02https://esolangs.org/w/index.php?diff=91117&oldid=91116 5* 03PixelatedStarfish 5* (+108) 10/* Unimplemented Languages */ > 1640126909 471557 PRIVMSG #esolangs :14[[07User:PixelatedStarfish14]]4 10 02https://esolangs.org/w/index.php?diff=91118&oldid=91117 5* 03PixelatedStarfish 5* (+2) 10/* MacroBeep */ > 1640127178 248393 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91119&oldid=91115 5* 03PixelatedStarfish 5* (-66) 10/* Instruction Set */ > 1640127199 666012 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91120&oldid=91119 5* 03PixelatedStarfish 5* (+3) 10/* Instruction Set */ > 1640127453 926311 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91121&oldid=91120 5* 03PixelatedStarfish 5* (+3) 10/* Grammar in EBNF */ < 1640127533 760825 :sprout!~quassel@2a02:a467:ccd6:1:bc5b:dbe0:79e5:a909 JOIN #esolangs * :anon < 1640127842 771236 :sprout!~quassel@2a02:a467:ccd6:1:bc5b:dbe0:79e5:a909 QUIT :Ping timeout: 268 seconds > 1640128014 442405 PRIVMSG #esolangs :14[[07Snak14]]4 10 02https://esolangs.org/w/index.php?diff=91122&oldid=90971 5* 03Quintopia 5* (+9863) 10actual content > 1640128039 966001 PRIVMSG #esolangs :14[[07Snak14]]4 M10 02https://esolangs.org/w/index.php?diff=91123&oldid=91122 5* 03Quintopia 5* (+1) 10should've caught that < 1640128096 597557 :sprock!~sprock@user/sprock QUIT :Ping timeout: 245 seconds < 1640128491 58902 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1640128532 586084 :sprout!~quassel@2a02:a467:ccd6:1:bc5b:dbe0:79e5:a909 JOIN #esolangs * :anon < 1640128717 507831 :arseniiv!~arseniiv@94.41.38.240.dynamic.ufanet.ru QUIT :Ping timeout: 240 seconds < 1640128806 574621 :sprout!~quassel@2a02:a467:ccd6:1:bc5b:dbe0:79e5:a909 QUIT :Ping timeout: 260 seconds < 1640128813 770465 :Koen!~Koen@2a01cb0407597a007dd0734cc94f0e23.ipv6.abo.wanadoo.fr QUIT :Quit: Leaving... < 1640128842 521582 :NotApplicable!~NotApplic@2603-6010-a141-6fa3-0000-db65-a0b3-920d.res6.spectrum.com JOIN #esolangs * :realname > 1640129520 149189 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=91124&oldid=91071 5* 03Quintopia 5* (+11) 10/* S */ < 1640129557 47551 :NotApplicable!~NotApplic@2603-6010-a141-6fa3-0000-db65-a0b3-920d.res6.spectrum.com QUIT :Quit: Leaving < 1640130608 625390 :sprock!~sprock@user/sprock JOIN #esolangs sprock :Maeve Sproule < 1640130997 546387 :sprock!~sprock@user/sprock QUIT :Ping timeout: 240 seconds < 1640131129 588820 :sprock!~sprock@user/sprock JOIN #esolangs sprock :Maeve Sproule