< 1581898854 139460 :xkapastel!uid17782@gateway/web/irccloud.com/x-meyiotyrldzcyqiq JOIN :#esoteric < 1581899306 189221 :tromp!~tromp@2a02:a210:ca3:2800:605b:971e:7785:f295 QUIT :Read error: Connection reset by peer < 1581899679 685703 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net JOIN :#esoteric < 1581901010 137877 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1581901521 50624 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 265 seconds < 1581901559 938944 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net QUIT :Read error: Connection timed out < 1581901780 763148 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net JOIN :#esoteric < 1581902284 944759 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1581902697 507591 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net QUIT :Read error: Connection timed out < 1581905995 919661 :tromp!~tromp@2a02:a210:ca3:2800:914b:fcf4:3859:c532 JOIN :#esoteric < 1581906074 267207 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1581906257 930851 :tromp!~tromp@2a02:a210:ca3:2800:914b:fcf4:3859:c532 QUIT :Ping timeout: 246 seconds < 1581907240 11986 :xkapastel!uid17782@gateway/web/irccloud.com/x-meyiotyrldzcyqiq QUIT :Quit: Connection closed for inactivity < 1581908913 139397 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 272 seconds < 1581909633 983517 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1581911554 931970 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1581911556 725223 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 268 seconds < 1581911634 334601 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life > 1581912047 385938 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Superloach 5* 10New user account > 1581912502 113501 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=69900&oldid=69876 5* 03Superloach 5* (+252) 10add my intro < 1581912508 135011 :tromp!~tromp@2a02:a210:ca3:2800:914b:fcf4:3859:c532 JOIN :#esoteric < 1581912789 117112 :tromp!~tromp@2a02:a210:ca3:2800:914b:fcf4:3859:c532 QUIT :Ping timeout: 272 seconds > 1581912945 327744 PRIVMSG #esoteric :14[[07Chevron14]]4 N10 02https://esolangs.org/w/index.php?oldid=69901 5* 03Superloach 5* (+4031) 10converted from github with pandoc > 1581913019 629503 PRIVMSG #esoteric :14[[07Chevron14]]4 M10 02https://esolangs.org/w/index.php?diff=69902&oldid=69901 5* 03Superloach 5* (+119) 10add more of a description > 1581913089 78479 PRIVMSG #esoteric :14[[07Chevron14]]4 M10 02https://esolangs.org/w/index.php?diff=69903&oldid=69902 5* 03Superloach 5* (+1) 10s/gt/gt;/ > 1581915266 826491 PRIVMSG #esoteric :14[[07Chevron14]]4 M10 02https://esolangs.org/w/index.php?diff=69904&oldid=69903 5* 03IFcoltransG 5* (+120) 10Added some categories > 1581915430 725616 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=69905&oldid=69891 5* 03IFcoltransG 5* (+14) 10/* C */ Added chevron < 1581915685 903304 :aloril!~aloril@mobile-access-b0485d-206.dhcp.inet.fi QUIT :Read error: Connection reset by peer > 1581915886 860299 PRIVMSG #esoteric :14[[07STXTRM14]]4 M10 02https://esolangs.org/w/index.php?diff=69906&oldid=36755 5* 03IFcoltransG 5* (+23) 10Disambiguated link > 1581916330 139025 PRIVMSG #esoteric :14[[07STXTRM14]]4 M10 02https://esolangs.org/w/index.php?diff=69907&oldid=69906 5* 03IFcoltransG 5* (+1) 10Confusing word choice 'revert' -> 'reverse' < 1581916546 634701 :aloril!~aloril@mobile-access-b0485e-211.dhcp.inet.fi JOIN :#esoteric > 1581916917 697374 PRIVMSG #esoteric :14[[07QaSaC14]]4 M10 02https://esolangs.org/w/index.php?diff=69908&oldid=50689 5* 03IFcoltransG 5* (+135) 10Added categories > 1581917014 7592 PRIVMSG #esoteric :14[[07STXTRM14]]4 M10 02https://esolangs.org/w/index.php?diff=69909&oldid=69907 5* 03IFcoltransG 5* (+23) 10/* See also */ Disambiguate another link > 1581917338 25375 PRIVMSG #esoteric :14[[07MESON14]]4 M10 02https://esolangs.org/w/index.php?diff=69910&oldid=69555 5* 03IFcoltransG 5* (-4) 10/* Commands */ No idea why that was italicised. > 1581917375 24627 PRIVMSG #esoteric :14[[07MESON14]]4 10 02https://esolangs.org/w/index.php?diff=69911&oldid=69910 5* 03IFcoltransG 5* (+6) 10/* Commands */ Made the notation a bit clearer for tuples < 1581918981 919848 :tromp!~tromp@2a02:a210:ca3:2800:914b:fcf4:3859:c532 JOIN :#esoteric < 1581919235 919655 :tromp!~tromp@2a02:a210:ca3:2800:914b:fcf4:3859:c532 QUIT :Ping timeout: 246 seconds < 1581919402 247520 :MDude!~MDude@97-127-171-136.cdrr.qwest.net QUIT :Quit: Going offline, see ya! (www.adiirc.com) < 1581921093 138880 :tromp!~tromp@2a02:a210:ca3:2800:4843:8941:d47e:436a JOIN :#esoteric < 1581921377 112506 :tromp!~tromp@2a02:a210:ca3:2800:4843:8941:d47e:436a QUIT :Ping timeout: 272 seconds < 1581921396 567578 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Read error: Connection reset by peer < 1581923163 55103 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :now i wonder what martellus sees in the kitchen cat < 1581923612 920176 :tromp!~tromp@2a02:a210:ca3:2800:4843:8941:d47e:436a JOIN :#esoteric < 1581927531 272840 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 260 seconds < 1581927569 748089 :int-e!~noone@int-e.eu PRIVMSG #esoteric :it it food? < 1581928337 927919 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i doubt it hth < 1581928569 848263 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1581929025 77456 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1581929299 240938 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: I've been spending too much time trying to formalize that Goodstein sequence implementation in Isabelle/HOL. It's easy to define (just take the Haskell code). It's fairly easy to show that the translation to lambda calculus plus the fancy inlining is correct (which is probably the most error-prone step, so that's nice to hav). But I'm still exploring how to best show that it faithfully... < 1581929305 178692 :int-e!~noone@int-e.eu PRIVMSG #esoteric :...implements the Goodstein sequence. (I have no doubt that it does, but the proofs get delicate and easily explode into a mess of case distinctions which I'd like to avoid.) < 1581929511 461350 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :i had a dream i found what was apparently the holy grail for trekkies (in the dream): Alexander Siddig's email addr. < 1581929547 322468 :tromp!~tromp@2a02:a210:ca3:2800:4843:8941:d47e:436a PRIVMSG #esoteric :I assumed your computation was based on Cichon's 1983 paper that relates G(n) to the Hardy hierarchy, as noted in Wikipedia < 1581929748 547817 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Hmm. I knew a bit of the theory (mainly the idea of replacing the base by \omega to get a termination proof). I also knew a bit about representing countable ordinals. < 1581929755 569590 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I kind of filled in the gaps myself back then. < 1581929854 105447 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And yes, this is intimately connected to the Hardy function. In fact if you are willing to accept a result that is larger by 2, you can save a couple of bits, by getting rid of the succ (succ n) thing, and starting at 3 instead of 1. < 1581929864 317 :tromp!~tromp@2a02:a210:ca3:2800:4843:8941:d47e:436a PRIVMSG #esoteric :you probably rediscovered Cichon's relation by yourself then < 1581929921 213442 :tromp!~tromp@2a02:a210:ca3:2800:4843:8941:d47e:436a PRIVMSG #esoteric :yeah, those succs suck:-) < 1581930001 747245 :tromp!~tromp@2a02:a210:ca3:2800:4843:8941:d47e:436a PRIVMSG #esoteric :i also revisited our programs on Laver tables < 1581930019 709467 :tromp!~tromp@2a02:a210:ca3:2800:4843:8941:d47e:436a PRIVMSG #esoteric :those are even more fun than goodstein < 1581930053 717182 :tromp!~tromp@2a02:a210:ca3:2800:4843:8941:d47e:436a PRIVMSG #esoteric :and have a natural killer big number (first time period exceeds 16) < 1581930082 111873 :tromp!~tromp@2a02:a210:ca3:2800:4843:8941:d47e:436a PRIVMSG #esoteric :which takes almost exacty same number of bits as G(16) < 1581930198 822119 :int-e!~noone@int-e.eu PRIVMSG #esoteric :We have h_\alpha(n+2) - 2 = G_\alpha(n). The shift comes from the fact that the Goodstein sequence basically starts evaluation in base 3 (given the heriditary base 2 representation of the starting value in the form of an ordinal). But subtraction is awkward on Church numerals, so if you want G(16) rather than G(16)+2, it's easier to do the shift by 2 inside of the function... hence the two succ-s. < 1581930263 354502 :tromp!~tromp@2a02:a210:ca3:2800:4843:8941:d47e:436a PRIVMSG #esoteric :i'm just as happy with G()+2 ... < 1581930307 754111 :int-e!~noone@int-e.eu PRIVMSG #esoteric :You came from a different angle, just trying to make big numbers. I wanted to have the Goodstein function. < 1581930391 45714 :tromp!~tromp@2a02:a210:ca3:2800:4843:8941:d47e:436a PRIVMSG #esoteric :best to just define both variants < 1581930429 870977 :int-e!~noone@int-e.eu PRIVMSG #esoteric :8 bits is what it saves < 1581930674 717058 :int-e!~noone@int-e.eu PRIVMSG #esoteric :and... pushed < 1581931145 597346 :tromp!~tromp@2a02:a210:ca3:2800:4843:8941:d47e:436a PRIVMSG #esoteric :thanks < 1581931197 862255 :int-e!~noone@int-e.eu PRIVMSG #esoteric :The expw part looks funny in diagrammatic form. < 1581931425 302043 :TheLie!~TheLie@ip5b428f85.dynamic.kabel-deutschland.de JOIN :#esoteric < 1581931496 736351 :b_jonas!~x@catv-176-63-14-160.catv.broadband.hu QUIT :Remote host closed the connection < 1581931658 672127 :TheLie!~TheLie@ip5b428f85.dynamic.kabel-deutschland.de QUIT :Remote host closed the connection < 1581932203 29498 :int-e!~noone@int-e.eu PRIVMSG #esoteric :@free o :: r -> (r -> r) -> ((N -> r) -> r) -> r < 1581932203 312529 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :f . g = h . f => f . k = p . (.) f => f (o x g k) = o (f x) h p < 1581932466 467009 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(These free theorems are one way to formally justify pulling applications into folds: consider f = ($ x)) < 1581933092 531334 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Which after some renaming and rephrasing becomes (forall n. s n x = s' (n x)) ==> (forall f. l f x = l' (\i -> f i x)) ==> o z s l x = o (z x) s' l' < 1581933277 171255 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And I've realized that I've been down this path (free theorems and optimizing folds) before. It's always fun to rediscover such things, though I'd prefer to remember them... < 1581935115 242710 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Quit: Leaving < 1581935415 153777 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric > 1581937411 66829 PRIVMSG #esoteric :14[[07MESON14]]4 10 02https://esolangs.org/w/index.php?diff=69912&oldid=69911 5* 03IFcoltransG 5* (+0) 10/* Commands */ Fixed an off-by-two error (an off-by-one in the wrong direction) > 1581937474 742516 PRIVMSG #esoteric :14[[07ESON14]]4 10 02https://esolangs.org/w/index.php?diff=69913&oldid=69556 5* 03IFcoltransG 5* (+1) 10/* Commands */ Fixed tuple size spec, assuming tuples are meant to be like the Haskell constructors > 1581938663 579321 PRIVMSG #esoteric :14[[07MESON14]]4 10 02https://esolangs.org/w/index.php?diff=69914&oldid=69912 5* 03IFcoltransG 5* (+85) 10Added link to implementation > 1581939122 160665 PRIVMSG #esoteric :14[[07KEMURI14]]4 10 02https://esolangs.org/w/index.php?diff=69915&oldid=68912 5* 03YamTokTpaFa 5* (+26) 10 < 1581940784 921744 :arseniiv!~arseniiv@136.169.210.57 JOIN :#esoteric > 1581944728 367191 PRIVMSG #esoteric :14[[07Chevron14]]4 10 02https://esolangs.org/w/index.php?diff=69916&oldid=69904 5* 03Superloach 5* (+106) 10keep docs up to date > 1581944784 485746 PRIVMSG #esoteric :14[[07XENBLN14]]4 M10 02https://esolangs.org/w/index.php?diff=69917&oldid=69832 5* 03PythonshellDebugwindow 5* (+46) 10/* Truth-machine (3 bytes) */ > 1581944921 198100 PRIVMSG #esoteric :14[[07Chevron14]]4 M10 02https://esolangs.org/w/index.php?diff=69918&oldid=69916 5* 03Superloach 5* (+0) 10everyone hates backticks > 1581944923 302607 PRIVMSG #esoteric :14[[07XENBLN14]]4 M10 02https://esolangs.org/w/index.php?diff=69919&oldid=69917 5* 03PythonshellDebugwindow 5* (+1) 10/* Datatypes */ < 1581945266 113962 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric > 1581945368 667127 PRIVMSG #esoteric :14[[07Chevron14]]4 10 02https://esolangs.org/w/index.php?diff=69920&oldid=69918 5* 03Superloach 5* (+64) 10mention label vars < 1581945400 589371 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric < 1581945759 161984 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`fetch /hackenv/tmp/egel.zip https://github.com/egel-lang/egel/archive/master.zip < 1581945761 613074 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :2020-02-17 13:22:41 URL:https://codeload.github.com/egel-lang/egel/zip/master [145943] -> "/hackenv/tmp/egel.zip" [1] < 1581945856 923770 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd /hackenv/tmp; rm -rv egel-master < 1581945858 228948 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :removed 'egel-master/lib/io/Makefile' \ removed 'egel-master/lib/io/channel.hpp' \ removed 'egel-master/lib/io/io.cpp' \ removed directory 'egel-master/lib/io' \ removed 'egel-master/lib/regex/regex.cpp' \ removed 'egel-master/lib/regex/Makefile' \ removed directory 'egel-master/lib/regex' \ removed 'egel-master/lib/fs/Makefile' \ removed 'egel-master/lib/fs/fs.cpp' \ removed directory 'egel-master/lib/fs' \ removed 'egel-master/lib/random/Mak < 1581945887 447964 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd /hackenv/tmp; unzip egel.zip < 1581945888 462111 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Archive: egel.zip \ 1074f699606e00ca151cf5a4916b9a4c052d1d9f \ creating: egel-master/ \ inflating: egel-master/.gitignore \ inflating: egel-master/LICENSE.md \ inflating: egel-master/NOTES.md \ inflating: egel-master/README.md \ inflating: egel-master/TODO.md \ inflating: egel-master/VERSION.md \ creating: egel-master/bugs/ \ inflating: egel-master/bugs/bug0-fixed.eg \ inflating: egel-master/bugs/bug1 < 1581945929 306341 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd /hackenv/tmp/egel-master; make -C src &>> buildlog < 1581945940 552047 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd /hackenv/tmp/egel-master; url buildlog < 1581945942 421625 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :https://hack.esolangs.org/tmp/egel-master/buildlog < 1581945966 666068 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1581946051 277000 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd /hackenv/tmp/egel-master; rm -v src/desugar.o; make -C src &>> buildlog # the rm is just in case the compiler got interrupted during writing the object file < 1581946052 229945 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :rm: cannot remove 'src/desugar.o': No such file or directory < 1581946064 47594 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd /hackenv/tmp/egel-master; rm -vf src/desugar.o; make -C src &>> buildlog # the rm is just in case the compiler got interrupted during writing the object file < 1581946099 805181 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1581946121 677392 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd /hackenv/tmp/egel-master; ( rm -vf src/math.o; make -C src &>> buildlog ) < 1581946154 208579 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. > 1581946191 292226 PRIVMSG #esoteric :14[[07XENBLN14]]4 M10 02https://esolangs.org/w/index.php?diff=69921&oldid=69919 5* 03PythonshellDebugwindow 5* (+46) 10/* Number separation */ < 1581946227 999913 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd /hackenv/tmp/egel-master; ( cd src; c++ --std=c++17 -Werror utils.o lexical.o operators.o syntactical.o ast.o transform.o semantical.o desugar.o lift.o emit.o builtin/system.o builtin/math.o builtin/string.o builtin/evaluate.o builtin/thread.o egel.o -ldl -lpthread -licuio -licui18n -licuuc -licudata -o egel ) &>>buildlog < 1581946232 211429 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1581946316 25966 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; f=/hackenv/tmp/egel-master/a0.eg; echo $'using System\n using Math\ndef main = (3+5)' > "$f"; cd /; /hackenv/tmp/egel-master/src/egel "$f" < 1581946317 37379 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :8 < 1581946470 681737 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd /hackenv/tmp/egel-master; make -C lib/io LIBS="-ldl -lpthread -licuio -licui18n -licuuc -licudata" &>> buildlog < 1581946476 525305 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1581946535 853383 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd /hackenv/tmp/egel-master; mkdir stag; cp -vi lib/io/io.ego src/egel stag/ < 1581946536 769370 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :cp: cannot stat 'lib/io/io.ego': No such file or directory \ 'src/egel' -> 'stag/egel' > 1581946768 476780 PRIVMSG #esoteric :14[[07Chevron14]]4 M10 02https://esolangs.org/w/index.php?diff=69922&oldid=69920 5* 03Superloach 5* (+500) 10add relative hop/skp/jmp < 1581946797 660848 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd /hackenv/tmp/egel-master; mkdir stag; cp -vi lib/io/io.o stag/ < 1581946798 645201 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :mkdir: cannot create directory 'stag': File exists < 1581946809 652656 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd /hackenv/tmp/egel-master; cp -vi lib/io/io.o stag/ < 1581946813 995389 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​'lib/io/io.o' -> 'stag/io.o' < 1581946857 669371 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :no < 1581946877 300691 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd /hackenv/tmp/egel-master; rm -vf stag/io.o; cp -v lib/io.ego stag/ < 1581946878 254922 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :removed 'stag/io.o' \ 'lib/io.ego' -> 'stag/io.ego' < 1581946902 306458 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd /hackenv/tmp/egel-master/stag; echo $'using System\nusing Math\nusing IO\ndef main = print "hello, world"' > a0.eg; ./egel io.ego a0.eg < 1581946903 248481 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1581946912 337353 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :that's better, no longer an error, though it doesn't seem to print anything < 1581947031 372866 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd /hackenv/tmp/egel-master; (for d in io fs random regex; do make -C lib/$d LIBS="-ldl -lpthread -licuio -licui18n -licuuc -licudata"; done) &>> buildlog < 1581947057 144782 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1581947103 611761 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd /hackenv/tmp/egel-master; cp -vi lib/*.ego stag < 1581947104 533793 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :cp: overwrite 'stag/io.ego'? 'lib/fs.ego' -> 'stag/fs.ego' \ 'lib/random.ego' -> 'stag/random.ego' \ 'lib/regex.ego' -> 'stag/regex.ego' < 1581947119 813034 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd /hackenv/tmp/egel-master/stag; echo $'using System\nusing Math\nusing IO\ndef main = (print "hello, world", 2)' > a0.eg; ./egel io.ego a0.eg < 1581947120 728839 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1581947172 540262 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :oh, I think it only loads io.ego, not the second argument < 1581947399 806776 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd /hackenv/tmp/egel-master/stag; echo $'import "io.ego"\nusing System\nusing Math\nusing IO\ndef main = print(String:unescape"hello\\nworld")' > a0.eg; ./egel a0.eg < 1581947400 724236 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :hello \ world < 1581947407 665183 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :^ that. I've been missing an import statement < 1581947434 318914 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd /hackenv/tmp/egel-master/stag; echo $'import "io.ego"\nusing System\nusing Math\nusing IO\ndef main = (print "hello\\nworld)"' > a0.eg; ./egel a0.eg < 1581947435 317385 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :a0.eg:6:1:syntactical:) expected < 1581947475 930586 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd /hackenv/tmp/egel-master/stag; echo $'import "io.ego"\nusing System\nusing Math\nusing IO\n''def main = print "hello\nworld"' > a0.eg; ./egel a0.eg < 1581947476 810373 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :hello \ world < 1581947494 398707 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :ok, now I need a wrapper with a prelude, and install this thing < 1581947560 679574 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1581948314 863626 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :It worked? < 1581948316 781571 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Neat. < 1581948715 939576 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :spruit11: there's still the problem that the interpreter doesn't seem to accept an absolute path for the script filename. I wonder if you could fix that. < 1581948731 830166 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd /hackenv/tmp/egel-master/stag; echo $'import "io.ego"\nusing System\nusing Math\nusing IO\n''def main = print "hello\nworld"' > a0.eg; ./egel /hackenv/tmp/egel-master/stag/a0.eg < 1581948733 303065 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :input/output:file "/hackenv/tmp/egel-master/stag/a0.eg" not found < 1581948782 389804 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :alternately, give a way to take the script from standard input, but without printing the prompts < 1581948787 125057 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd /hackenv/tmp/egel-master/stag; echo $'import "io.ego"\nusing System\nusing Math\nusing IO\n''def main = print "hello\nworld"' > a0.eg; ./egel > >> >> >> >> >> < 1581948804 892457 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd /hackenv/tmp/egel-master/stag; echo $'import "io.ego"\nusing System\nusing Math\nusing IO\n''def main = print "hello\nworld"\nmain' > a0.eg; ./egel > >> >> >> >> internal:1:32:syntactical:\ unexpected \ >> < 1581948814 606604 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd /hackenv/tmp/egel-master/stag; echo $'import "io.ego"\nusing System\nusing Math\nusing IO\n''def main = print "hello\nworld"'$'\nmain' > a0.eg; ./egel > >> >> >> >> >> hello \ world>> < 1581949710 690702 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Try ./a0.eg? < 1581949725 308603 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I'll look it up. < 1581949763 793763 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :spruit: ./a0.eg did work, yes. but an absolute path didn't work. < 1581949846 932354 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :spruit: this is a problem because . is in the search path by default, so you can't just execute scripts with any wd, you risk accidentally running files from the wd, which could be malicious. this is not such a big problmem on HackEso of course. < 1581949928 627754 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Oh, right. I'll check < 1581949968 794674 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :You're correct. Bug. < 1581950095 482701 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I assume I only programmed it to look at extensions of paths. I.e., only look in the -I dirs. < 1581950103 24547 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :See if I can add a clause. < 1581950143 337386 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :thanks < 1581950158 158335 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :The code is already there but I commented it out... < 1581950288 395478 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Ah, I get it. The .ego files need absolute paths to run a dlopen(). < 1581950440 667811 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Hmm, I just removed the comments and everything seems to work anyway? < 1581950443 623411 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :spruit11: and .eg script files need an absolute path to open(). sure. < 1581950458 750878 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I pushed the commit. < 1581950467 17887 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Hope it didn't break anything. < 1581950476 248122 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Seems to work on my end. < 1581950477 213861 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :oh wait no, ignore the above one line < 1581950536 316557 :egelbot!~egelbot@ip56522cc1.speed.planet.nl JOIN :#esoteric < 1581950548 90672 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: eval "[X->X]" 1 < 1581950548 418047 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :1 < 1581950554 270043 :MDude!~MDude@97-127-171-136.cdrr.qwest.net JOIN :#esoteric < 1581950558 20080 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :That still seems to work too. < 1581950573 52715 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :You should be fine. *Fingers crossed* < 1581950674 309905 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I guess a problem might arise since Egel's -I is different from the path dlopen() uses to search for files. < 1581950682 203599 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :But it works for now. < 1581950744 977715 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :thank you < 1581950769 521683 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I'll hack a check on '.ego' extensions later. < 1581950783 302569 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :np < 1581952771 374812 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Quit: Leaving < 1581953564 202947 :rain1!~debian@unaffiliated/rain1 JOIN :#esoteric < 1581954853 647319 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1581954914 933523 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 240 seconds < 1581955024 66577 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1581956333 989122 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Quit: quit < 1581956520 44493 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1581958706 791491 :xelxebar_!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric < 1581958743 802294 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Ping timeout: 240 seconds < 1581959202 48521 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 265 seconds < 1581959283 965774 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Remote host closed the connection > 1581959694 648057 PRIVMSG #esoteric :14[[07Chevron14]]4 M10 02https://esolangs.org/w/index.php?diff=69923&oldid=69922 5* 03Superloach 5* (+92) 10add github < 1581960402 335683 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric > 1581961215 691312 PRIVMSG #esoteric :14[[07Rouedeux14]]4 10 02https://esolangs.org/w/index.php?diff=69924&oldid=66632 5* 03Matthew 5* (+1) 10 < 1581961232 111819 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection > 1581961263 456059 PRIVMSG #esoteric :14[[07Rouedeux14]]4 10 02https://esolangs.org/w/index.php?diff=69925&oldid=69924 5* 03Matthew 5* (+1) 10/* If statement */ < 1581961343 85675 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1581961768 240768 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( Pet peeve: People linking to PDFs on arxiv.org, rather than the abstract. ) < 1581961872 890612 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1581962187 949438 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1581962332 865816 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1581962450 431987 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1581962705 970616 :wmww!wmwwmatrix@gateway/shell/matrix.org/x-eylamrtjkqtypljj QUIT :Ping timeout: 246 seconds < 1581962738 990506 :j-bot!eldis4@firefly.nu QUIT :Ping timeout: 240 seconds < 1581962768 499540 :ddmm_!atrapmatri@gateway/shell/matrix.org/x-fzkthdvxihnutyqk QUIT :Ping timeout: 245 seconds < 1581962782 680424 :xylochoron[m]!xylochoron@gateway/shell/matrix.org/x-azglffwmwtzdmuhr QUIT :Ping timeout: 240 seconds < 1581962812 6079 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-rcalwmruyczqievr QUIT :Ping timeout: 240 seconds < 1581962827 329899 :haavard!root@haavard.me QUIT :Ping timeout: 265 seconds < 1581962960 798825 :xelxebar_!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Remote host closed the connection < 1581963057 701633 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric < 1581963515 172463 :rain1!~debian@unaffiliated/rain1 QUIT :Quit: Lost terminal < 1581963526 162469 :wmww!wmwwmatrix@gateway/shell/matrix.org/x-zzrjrmgcsxpxfejn JOIN :#esoteric < 1581963618 755813 :wmww!wmwwmatrix@gateway/shell/matrix.org/x-zzrjrmgcsxpxfejn QUIT :Read error: Connection timed out < 1581963639 416873 :haavard!root@haavard.me JOIN :#esoteric < 1581963665 907429 :b_jonas!~x@catv-176-63-14-111.catv.broadband.hu JOIN :#esoteric < 1581964292 33799 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-aehgxombvlpsyzgk JOIN :#esoteric < 1581964302 277182 :xylochoron[m]!xylochoron@gateway/shell/matrix.org/x-taygorvpinnmahsp JOIN :#esoteric < 1581964382 134892 :ddmm_!atrapmatri@gateway/shell/matrix.org/x-dxevtmbnuspkpajj JOIN :#esoteric < 1581964968 217072 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1581965171 660097 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1581965378 622678 :wmww!wmwwmatrix@gateway/shell/matrix.org/x-qetghjigoecdhdgv JOIN :#esoteric < 1581965827 195208 :b_jonas!~x@catv-176-63-14-111.catv.broadband.hu PRIVMSG #esoteric :`olist 1192 < 1581965828 281895 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :olist 1192: shachaf oerjan Sgeo FireFly boily nortti b_jonas < 1581968803 518132 :wmww!wmwwmatrix@gateway/shell/matrix.org/x-qetghjigoecdhdgv QUIT :Quit: killed < 1581968803 696147 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-aehgxombvlpsyzgk QUIT :Quit: killed < 1581968814 459251 :ddmm_!atrapmatri@gateway/shell/matrix.org/x-dxevtmbnuspkpajj QUIT :Quit: killed < 1581968819 822686 :xylochoron[m]!xylochoron@gateway/shell/matrix.org/x-taygorvpinnmahsp QUIT :Quit: killed > 1581969559 884815 PRIVMSG #esoteric :14[[07Brainfuck implementations14]]4 M10 02https://esolangs.org/w/index.php?diff=69926&oldid=67223 5* 03Wright 5* (+4) 10Updated my GitHub username < 1581970847 819111 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-ficagzxnwsveanrz JOIN :#esoteric > 1581972220 278801 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03WonderedLamb256 5* 10New user account < 1581972685 614991 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :Does PDF or DjVu allow specifying the first page number in the document? (If so, it doesn't seems to work.) (DVI supports up to ten 32-bit numbers associated with each page; normally the first one is the page number and the restare zero.) < 1581973076 915655 :b_jonas!~x@catv-176-63-14-111.catv.broadband.hu PRIVMSG #esoteric :zzo38: PDF definitely does, I think it allows you to specify the page number of each page > 1581973084 293749 PRIVMSG #esoteric :14[[07Chevron14]]4 10 02https://esolangs.org/w/index.php?diff=69927&oldid=69923 5* 03Superloach 5* (-4558) 10simplify < 1581973123 495287 :b_jonas!~x@catv-176-63-14-111.catv.broadband.hu PRIVMSG #esoteric :zzo38: I think postscript does this only with the EPS-like postscript comments that you use to make individual pages of the postscript viewable, not in postscript code by the way < 1581973130 486553 :b_jonas!~x@catv-176-63-14-111.catv.broadband.hu PRIVMSG #esoteric :I don't know about DjVu < 1581973172 406843 :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.” < 1581973258 863813 :b_jonas!~x@catv-176-63-14-111.catv.broadband.hu PRIVMSG #esoteric :zzo38: that said, many PDFs of course don't have the right page numbers. eg. the version of my MSC thesis that you find online has the page numbers shifted by one. < 1581973442 686016 :ddmm_!atrapmatri@gateway/shell/matrix.org/x-sdvbsqkuskwdqztp JOIN :#esoteric < 1581973442 742137 :xylochoron[m]!xylochoron@gateway/shell/matrix.org/x-mjfymvemmoekalyf JOIN :#esoteric < 1581973442 753493 :wmww!wmwwmatrix@gateway/shell/matrix.org/x-ajqertfrywxjhgjw JOIN :#esoteric < 1581973738 713698 :TheLie!~TheLie@ip5b428f85.dynamic.kabel-deutschland.de JOIN :#esoteric < 1581973908 273267 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That's the case with my PhD thesis as well, because the printed page numbers don't count the cover, but the PDF includes the cover, and hasn't had the numbering corrected. < 1581973977 392866 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think this isn't the PDF I made personally, because the cover was provided separately in the printing company's web thing, I think this PDF came out of their system. < 1581974004 767944 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :How can I adjust the page numbers of a PDF? < 1581974007 88090 :b_jonas!~x@catv-176-63-14-111.catv.broadband.hu PRIVMSG #esoteric :In my case I can only blame myself for this, I made the PDF < 1581974032 987083 :b_jonas!~x@catv-176-63-14-111.catv.broadband.hu PRIVMSG #esoteric :zzo38: I don't know sadly < 1581974132 688260 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, I did make the printed numbers, I could've set those up properly. I didn't do the thing where the front matter is numbered with lowercase Roman numerals either. < 1581974167 466187 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :You mention "the EPS-like postscript comments that you use to make individual pages of the postscript viewable", which I am guessing means DSC. I don't use DSC myself, because I use PostScript only as a programming language and not as a document storage format. Still I would think it to be sometimes useful to specify (depending on the output format), possibly by adding an entry named /PageNumber to the page device dictionary for this pur < 1581974167 894573 :egelbot!~egelbot@ip56522cc1.speed.planet.nl QUIT :Read error: Connection reset by peer < 1581974209 632599 :egelbot!~egelbot@ip56522cc1.speed.planet.nl JOIN :#esoteric > 1581975584 993816 PRIVMSG #esoteric :14[[07XENBLN14]]4 M10 02https://esolangs.org/w/index.php?diff=69928&oldid=69921 5* 03PythonshellDebugwindow 5* (+70) 10/* Examples */ < 1581977106 514351 :b_jonas!~x@catv-176-63-14-111.catv.broadband.hu PRIVMSG #esoteric :fungot, have you ever mowed the lawn on a golf court or raked the pebbles in a castle garden? < 1581977106 725825 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :b_jonas: i include the time zone in the date that it records ( actually the sign at the current rate everyone but the implementations that you'd usually use a calculator... < 1581979062 795358 :b_jonas!~x@catv-176-63-14-111.catv.broadband.hu PRIVMSG #esoteric :fungot, would you like some tea? < 1581979062 912410 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :b_jonas: or just about anything can be disconnected from with fnord. i rarely do. i think he is < 1581980948 133662 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1581981758 510692 :TheLie!~TheLie@ip5b428f85.dynamic.kabel-deutschland.de QUIT :Remote host closed the connection < 1581982095 248317 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :fizzie: Did you ever submit anything to Arxiv? I am a bit tempted to place my last musings there but it might be too lightweight. < 1581982122 700310 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I'll have another look at it. Maybe it's not so bad. > 1581982514 171388 PRIVMSG #esoteric :14[[07Harp14]]4 10 02https://esolangs.org/w/index.php?diff=69929&oldid=42665 5* 03Rdococ 5* (-2341) 10old and bad language of mine, wouldn't want the name to go to waste > 1581982537 470533 PRIVMSG #esoteric :14[[07User:Rdococ14]]4 M10 02https://esolangs.org/w/index.php?diff=69930&oldid=69746 5* 03Rdococ 5* (-18) 10 < 1581982613 523185 :b_jonas!~x@catv-176-63-14-111.catv.broadband.hu PRIVMSG #esoteric :spruit11: I haven't submitted them, but preprints of two of my research articles are on arXiv as a coauthor submitted them there. > 1581982617 751087 PRIVMSG #esoteric :14[[07Upsilon14]]4 10 02https://esolangs.org/w/index.php?diff=69931&oldid=51699 5* 03Rdococ 5* (-3492) 10another bad language with a good name > 1581982642 584296 PRIVMSG #esoteric :14[[07User:Rdococ14]]4 10 02https://esolangs.org/w/index.php?diff=69932&oldid=69930 5* 03Rdococ 5* (-73) 10 > 1581982780 681056 PRIVMSG #esoteric :14[[07Mindscrew14]]4 10 02https://esolangs.org/w/index.php?diff=69933&oldid=52877 5* 03Rdococ 5* (-5142) 10Redirected page to [[Brainfuck]] > 1581982800 666681 PRIVMSG #esoteric :14[[07User:Rdococ14]]4 M10 02https://esolangs.org/w/index.php?diff=69934&oldid=69932 5* 03Rdococ 5* (-160) 10 < 1581982838 447495 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Ah, right. Scientists abound. < 1581982849 410977 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :b_jonas: Nice. < 1581982870 366410 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Maybe I'll try to figure out how this all works. < 1581983340 26639 :Hooloovo0!Hooloovoo@sorunome.de QUIT :Quit: Temporarily refracted into a free-standing prism. < 1581983356 425129 :Hooloovo0!Hooloovoo@sorunome.de JOIN :#esoteric