< 1585267983 698135 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Ping timeout: 240 seconds
< 1585268953 129402 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric
< 1585270381 769709 :shinh_!~i@129.EC0234U.cyberhome.ne.jp QUIT :Ping timeout: 264 seconds
< 1585270606 247306 :mniip_!mniip@freenode/staff/mniip JOIN :#esoteric
< 1585270973 222934 :mniip!mniip@freenode/staff/mniip QUIT :Ping timeout: 619 seconds
< 1585271098 49328 :shinh_!~i@129.EC0234U.cyberhome.ne.jp JOIN :#esoteric
< 1585271282 803072 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru QUIT :Ping timeout: 256 seconds
< 1585273932 288133 :Frater_EST!~adrianbib@172.242.0.73 JOIN :#esoteric
< 1585275067 791807 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric
< 1585278007 875406 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
< 1585278546 79971 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :So far I have managed to reduce the size of ZZT by more than 10K.
< 1585278566 698108 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :(This makes more memory available for game worlds.)
< 1585278664 778908 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 256 seconds
< 1585284142 28519 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Read error: Connection reset by peer
< 1585284161 383840 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric
< 1585285425 211269 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 250 seconds
< 1585285530 399846 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric
< 1585285834 289277 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 240 seconds
< 1585285888 56062 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric
< 1585287678 241152 :MDude!~MDude@97-127-171-136.cdrr.qwest.net QUIT :Quit: Going offline, see ya! (www.adiirc.com)
< 1585288183 720649 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Ping timeout: 240 seconds
< 1585288492 593890 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric
< 1585289005 276083 :moony!moony@hellomouse/dev/moony QUIT :Remote host closed the connection
< 1585289025 965232 :moony!moony@hellomouse/dev/moony JOIN :#esoteric
< 1585290541 769760 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 264 seconds
> 1585293093 567475 PRIVMSG #esoteric :14[[07User:Oklomsy14]]4 10 02https://esolangs.org/w/index.php?diff=70491&oldid=69235 5* 03Oklomsy 5* (-57) 10
< 1585293097 477380 :b_jonas!~x@catv-176-63-11-200.catv.broadband.hu PRIVMSG #esoteric :oh no
> 1585294345 158412 PRIVMSG #esoteric :14[[07SdofgOS14]]4 N10 02https://esolangs.org/w/index.php?oldid=70492 5* 03D 5* (+152) 10Created page with "[[SdofgOs]] contains [[SdofgOS Deleter]] as a component of the operating system. == See also == [[SdofgOS Deleter]] [[Category:2020]] [[Category:Stubs]]"
> 1585294388 869944 PRIVMSG #esoteric :14[[07SdofgOS14]]4 10 02https://esolangs.org/w/index.php?diff=70493&oldid=70492 5* 03A 5* (+0) 10
> 1585294497 157225 PRIVMSG #esoteric :14[[07Talk:Esoteric Operating System/File System14]]4 N10 02https://esolangs.org/w/index.php?oldid=70494 5* 03D 5* (+197) 10Created page with "* [[SdofgOS Deleter]] is a component of [[SdofgOS]], and it is capable of deleting folders without deleting the files in the folder. --~~~~"
> 1585294822 66851 PRIVMSG #esoteric :14[[07SdofgOS14]]4 10 02https://esolangs.org/w/index.php?diff=70495&oldid=70493 5* 03D 5* (+368) 10
> 1585294830 842926 PRIVMSG #esoteric :14[[07SdofgOS14]]4 10 02https://esolangs.org/w/index.php?diff=70496&oldid=70495 5* 03D 5* (+2) 10/* = Deleting a folder */
< 1585294869 901391 :Frater_EST!~adrianbib@172.242.0.73 QUIT :Remote host closed the connection
> 1585294931 736165 PRIVMSG #esoteric :14[[07SdofgOS Deleter14]]4 10 02https://esolangs.org/w/index.php?diff=70497&oldid=70481 5* 03D 5* (+22) 10
< 1585295433 93557 :rain1!~debian@unaffiliated/rain1 JOIN :#esoteric
< 1585295971 54292 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 265 seconds
< 1585296019 327660 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric
< 1585299392 63918 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric
< 1585300671 826771 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
< 1585300730 926496 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 256 seconds
< 1585300751 790487 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life
< 1585302544 203640 :laerlingSAP!~laerlings@unaffiliated/laerlingsap JOIN :#esoteric
< 1585304511 763272 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru JOIN :#esoteric
< 1585305257 426266 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`? password
< 1585305263 531182 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :The password of the month was fought for, and stomped on, but it remains unreconciled with
< 1585305320 869914 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`"
< 1585305324 210707 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :1/1:111) <fungot> ais523: elf corpses are not considered expensive health food. but the most expensive. \ 271) <Sgeo_> I think she either likes me, is neutral towards me, or dislikes me
< 1585306884 319447 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net JOIN :#esoteric
< 1585307234 113062 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net PART :#esoteric
< 1585308998 531630 :MDude!~MDude@97-127-171-136.cdrr.qwest.net JOIN :#esoteric
< 1585309342 62922 :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.”
< 1585312671 32069 :xkapastel!uid17782@gateway/web/irccloud.com/x-nmqqxeixfvfzgjga JOIN :#esoteric
< 1585314842 23206 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :hi
< 1585314863 943769 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :arseniiv: nice!
< 1585314909 802803 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru PRIVMSG #esoteric :int-e: april is near, I lay my hands off the password I swear
< 1585318518 875889 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Remote host closed the connection
< 1585318620 710546 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric
< 1585322556 681127 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric
< 1585325029 782038 :JessiWilde!2ff0551a@gateway/web/cgi-irc/kiwiirc.com/ip.47.240.85.26 JOIN :#esoteric
< 1585325034 354365 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 240 seconds
> 1585325125 995299 PRIVMSG #esoteric :14[[07Procedure14]]4 N10 02https://esolangs.org/w/index.php?oldid=70498 5* 03PythonshellDebugwindow 5* (+1086) 10Will finish later
< 1585325130 64727 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric
> 1585325141 774409 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow14]]4 M10 02https://esolangs.org/w/index.php?diff=70499&oldid=70444 5* 03PythonshellDebugwindow 5* (+16) 10/* Languages */
> 1585325167 246751 PRIVMSG #esoteric :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=70500&oldid=70410 5* 03PythonshellDebugwindow 5* (+16) 10/* P */
< 1585325245 873973 :JessiWilde!2ff0551a@gateway/web/cgi-irc/kiwiirc.com/ip.47.240.85.26 QUIT :Client Quit
< 1585326780 60531 :imode!~linear@unaffiliated/imode JOIN :#esoteric
< 1585331610 205035 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
< 1585332450 985611 :xkapastel!uid17782@gateway/web/irccloud.com/x-nmqqxeixfvfzgjga QUIT :Quit: Connection closed for inactivity
< 1585332857 618844 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :So, Agatha's being reminded of the waters of the Dyne in today's GG, right?
< 1585333884 299789 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net PRIVMSG #esoteric :"Every programming language has literals to encode values of certain types, and so does Pony."
< 1585333887 229149 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net PRIVMSG #esoteric :LIES
< 1585334982 233208 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net PRIVMSG #esoteric :Pony apparently uses one's complement for overflow. I'm confused as to why
< 1585335502 33547 :xkapastel!uid17782@gateway/web/irccloud.com/x-qetbiajlfjjufrsp JOIN :#esoteric
< 1585338077 431608 :rain1!~debian@unaffiliated/rain1 QUIT :Quit: leaving
< 1585338263 722942 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Ping timeout: 240 seconds
< 1585338283 138904 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric
< 1585338333 423467 :Hooloo42!Hooloovoo@sorunome.de JOIN :#esoteric
< 1585338340 214133 :Hooloovo0!Hooloovoo@sorunome.de QUIT :Ping timeout: 265 seconds
< 1585340641 887988 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Quit: Leaving
< 1585341854 125183 :int-e!~noone@int-e.eu PRIVMSG #esoteric :\w h a t i s.a(\l.i t(\e r.a l))
< 1585342051 724106 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :so... poy is basically rust?
< 1585342062 681142 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :pony
< 1585342424 962809 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru PRIVMSG #esoteric :@type \w h a t i s.a(\l.i t(\e r.a l))
< 1585342426 668778 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :error: parse error on input ‘.’
< 1585342446 985975 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru PRIVMSG #esoteric :@type \w h a t i s -> a(\l -> i t(\e r -> a l))
< 1585342448 675285 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :error:
< 1585342448 778322 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :    • Occurs check: cannot construct the infinite type: t ~ t -> t3
< 1585342448 778361 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :    • In the first argument of ‘a’, namely
< 1585342466 108897 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru PRIVMSG #esoteric :int-e: lambdabot caught you
< 1585342479 640354 :int-e!~noone@int-e.eu PRIVMSG #esoteric :arseniiv: at what? I knew it wasn't typeable.
< 1585342500 306446 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru PRIVMSG #esoteric :hm right wrom the start?
< 1585342505 681785 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru PRIVMSG #esoteric :from*
< 1585342577 824547 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I did have to think about it.
< 1585342644 360180 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But a(\l. [...] (a l)) is sufficient to rule out simple types
< 1585342697 50108 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(because then l must be a function from its own type to something)
< 1585342732 841357 :int-e!~noone@int-e.eu PRIVMSG #esoteric :but typeability is overrated
< 1585343816 426970 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
< 1585344001 821528 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 264 seconds
< 1585344004 527726 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life
< 1585344207 60335 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru PRIVMSG #esoteric :<int-e> but typeability is overrated => I agree typeability in a single-typed lambda calculus is overrated but I’m not sure about very complex type systems :D
< 1585344239 416216 :arseniiv!~arseniiv@94.41.34.174.dynamic.ufanet.ru QUIT :Quit: gone too far
< 1585344251 886144 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( But single-typed = untyped )
< 1585344695 48649 :Hooloo42!Hooloovoo@sorunome.de QUIT :Quit: Temporarily refracted into a free-standing prism.
< 1585344743 422544 :Hooloovo0!Hooloovoo@sorunome.de JOIN :#esoteric
< 1585345483 8634 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :Do you know the format of the Turbo Pascal help file?
< 1585345859 219454 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( ask me 30 years ago )
< 1585345867 394770 :int-e!~noone@int-e.eu PRIVMSG #esoteric :err
< 1585345870 448177 :int-e!~noone@int-e.eu PRIVMSG #esoteric :20 years, sorry
< 1585346017 867733 :int-e!~noone@int-e.eu PRIVMSG #esoteric :There's a precursor text format, and a "help compiler", hc, possibly shipped with turbo pascal. I think the text format was documented somewhere as well.
< 1585346133 180660 :rodgort!~rodgort@static.38.6.217.95.clients.your-server.de QUIT :Quit: Leaving
< 1585346213 798353 :int-e!~noone@int-e.eu PRIVMSG #esoteric :So I guess I never looked at the format in any detail; I do remember making and using some custom help files (because the `thelp` TSR was pretty slick).
< 1585346370 69746 :rodgort!~rodgort@static.38.6.217.95.clients.your-server.de JOIN :#esoteric
< 1585346431 382347 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :I looked at THELP.DOC and it explains I can paste and save help screens, so it is possible to copy individual help screens that I want. I also found it comes with a few other plain text documentation files which may be helpful. (They weren't installed, but I found there is a DOC.ARC file so I loaded it and found these files.)
< 1585346721 50323 :rodgort!~rodgort@static.38.6.217.95.clients.your-server.de QUIT :Ping timeout: 265 seconds
< 1585346824 376253 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Some people have (almost) certainly figured out the format. http://pascal.toom.su/The+Edit+Window
< 1585347167 495678 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :Now I fixed ZZT so that the restore game menu displays the date/time of the files. Fortunately, it is Y2K compliant.
< 1585347222 85325 :rodgort!~rodgort@static.38.6.217.95.clients.your-server.de JOIN :#esoteric
< 1585347268 503358 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :Do you like ZZT?
< 1585347321 174604 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`quot hate
< 1585347322 927617 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :quot? No such file or directory
< 1585347323 599267 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`quote hate
< 1585347324 975239 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :68) <scarf> and an AMICED literal would presumably /add/ info to the source  <scarf> whatever info gets added, that's the value that the AMICED doesn't contain  <scarf> it's all falling into place \ 77) <ais523> (still, whatever possessed anyone to invent the N-Gage?) \ 228) <zzo38> Lymia: I put big spider in my bed already. So if you have no more left you do not have to worry about it anymore. You can just take a cold shower or hot acid or wh
< 1585347448 935194 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`quote 1306
< 1585347449 848491 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :1306) <shachaf> int-e: Do you like this?  <int-e> It depends on the context. In the context of "Do you like _?", I hate it.
< 1585348722 622405 :imode!~linear@unaffiliated/imode QUIT :Quit: WeeChat 2.7.1
< 1585350593 48474 :imode!~linear@unaffiliated/imode JOIN :#esoteric
< 1585351059 18485 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer
> 1585352685 813176 PRIVMSG #esoteric :14[[07Procedure14]]4 M10 02https://esolangs.org/w/index.php?diff=70501&oldid=70498 5* 03PythonshellDebugwindow 5* (+107) 10
< 1585353183 681469 :mniip_!mniip@freenode/staff/mniip NICK :mniip