00:13:03 -!- xelxebar has quit (Ping timeout: 240 seconds).
00:29:13 -!- xelxebar has joined.
00:53:01 -!- shinh_ has quit (Ping timeout: 264 seconds).
00:56:46 -!- mniip_ has joined.
01:02:53 -!- mniip has quit (Ping timeout: 619 seconds).
01:04:58 -!- shinh_ has joined.
01:08:02 -!- arseniiv has quit (Ping timeout: 256 seconds).
01:52:12 -!- Frater_EST has joined.
02:11:07 -!- FreeFull has joined.
03:00:07 -!- Phantom_Hoover has joined.
03:09:06 <zzo38> So far I have managed to reduce the size of ZZT by more than 10K.
03:09:26 <zzo38> (This makes more memory available for game worlds.)
03:11:04 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds).
04:42:22 -!- sebbu has quit (Read error: Connection reset by peer).
04:42:41 -!- sebbu has joined.
05:03:45 -!- sprocklem has quit (Ping timeout: 250 seconds).
05:05:30 -!- sprocklem has joined.
05:10:34 -!- sprocklem has quit (Ping timeout: 240 seconds).
05:11:28 -!- sprocklem has joined.
05:41:18 -!- MDude has quit (Quit: Going offline, see ya! (www.adiirc.com)).
05:49:43 -!- xelxebar has quit (Ping timeout: 240 seconds).
05:54:52 -!- xelxebar has joined.
06:03:25 -!- moony has quit (Remote host closed the connection).
06:03:45 -!- moony has joined.
06:29:01 -!- imode has quit (Ping timeout: 264 seconds).
07:11:33 <esowiki> [[User:Oklomsy]]  https://esolangs.org/w/index.php?diff=70491&oldid=69235 * Oklomsy * (-57) 
07:11:37 <b_jonas> oh no
07:32:25 <esowiki> [[SdofgOS]] N https://esolangs.org/w/index.php?oldid=70492 * D * (+152) Created page with "[[SdofgOs]] contains [[SdofgOS Deleter]] as a component of the operating system. == See also == [[SdofgOS Deleter]] [[Category:2020]] [[Category:Stubs]]"
07:33:08 <esowiki> [[SdofgOS]]  https://esolangs.org/w/index.php?diff=70493&oldid=70492 * A * (+0) 
07:34:57 <esowiki> [[Talk:Esoteric Operating System/File System]] N https://esolangs.org/w/index.php?oldid=70494 * D * (+197) Created page with "* [[SdofgOS Deleter]] is a component of [[SdofgOS]], and it is capable of deleting folders without deleting the files in the folder. --~~~~"
07:40:22 <esowiki> [[SdofgOS]]  https://esolangs.org/w/index.php?diff=70495&oldid=70493 * D * (+368) 
07:40:30 <esowiki> [[SdofgOS]]  https://esolangs.org/w/index.php?diff=70496&oldid=70495 * D * (+2) /* = Deleting a folder */
07:41:09 -!- Frater_EST has quit (Remote host closed the connection).
07:42:11 <esowiki> [[SdofgOS Deleter]]  https://esolangs.org/w/index.php?diff=70497&oldid=70481 * D * (+22) 
07:50:33 -!- rain1 has joined.
07:59:31 -!- sprocklem has quit (Ping timeout: 265 seconds).
08:00:19 -!- sprocklem has joined.
08:56:32 -!- LKoen has joined.
09:17:51 -!- Lord_of_Life_ has joined.
09:18:50 -!- Lord_of_Life has quit (Ping timeout: 256 seconds).
09:19:11 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
09:49:04 -!- laerlingSAP has joined.
10:21:51 -!- arseniiv has joined.
10:34:17 <int-e> `? password
10:34:23 <HackEso> The password of the month was fought for, and stomped on, but it remains unreconciled with
10:35:20 <int-e> `"
10:35:24 <HackEso> 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
11:01:24 -!- ArthurStrong has joined.
11:07:14 -!- ArthurStrong has left.
11:36:38 -!- MDude has joined.
11:42:22 -!- LKoen has 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.”).
12:37:51 -!- xkapastel has joined.
13:14:02 <rain1> hi
13:14:23 <rain1> arseniiv: nice!
13:15:09 <arseniiv> int-e: april is near, I lay my hands off the password I swear
14:15:18 -!- xelxebar has quit (Remote host closed the connection).
14:17:00 -!- xelxebar has joined.
15:22:36 -!- kspalaiologos has joined.
16:03:49 -!- JessiWilde has joined.
16:03:54 -!- sprocklem has quit (Ping timeout: 240 seconds).
16:05:25 <esowiki> [[Procedure]] N https://esolangs.org/w/index.php?oldid=70498 * PythonshellDebugwindow * (+1086) Will finish later
16:05:30 -!- sprocklem has joined.
16:05:41 <esowiki> [[User:PythonshellDebugwindow]] M https://esolangs.org/w/index.php?diff=70499&oldid=70444 * PythonshellDebugwindow * (+16) /* Languages */
16:06:07 <esowiki> [[Language list]] M https://esolangs.org/w/index.php?diff=70500&oldid=70410 * PythonshellDebugwindow * (+16) /* P */
16:07:25 -!- JessiWilde has quit (Client Quit).
16:33:00 -!- imode has joined.
17:53:30 -!- Phantom_Hoover has joined.
18:07:30 -!- xkapastel has quit (Quit: Connection closed for inactivity).
18:14:17 <Taneb> So, Agatha's being reminded of the waters of the Dyne in today's GG, right?
18:31:24 <Sgeo> "Every programming language has literals to encode values of certain types, and so does Pony."
18:31:27 <Sgeo> LIES
18:49:42 <Sgeo> Pony apparently uses one's complement for overflow. I'm confused as to why
18:58:22 -!- xkapastel has joined.
19:41:17 -!- rain1 has quit (Quit: leaving).
19:44:23 -!- xelxebar has quit (Ping timeout: 240 seconds).
19:44:43 -!- xelxebar has joined.
19:45:33 -!- Hooloo42 has joined.
19:45:40 -!- Hooloovo0 has quit (Ping timeout: 265 seconds).
20:24:01 -!- kspalaiologos has quit (Quit: Leaving).
20:44:14 <int-e> \w h a t i s.a(\l.i t(\e r.a l))
20:47:31 <myname> so... poy is basically rust?
20:47:42 <myname> pony
20:53:44 <arseniiv> @type \w h a t i s.a(\l.i t(\e r.a l))
20:53:46 <lambdabot> error: parse error on input ‘.’
20:54:06 <arseniiv> @type \w h a t i s -> a(\l -> i t(\e r -> a l))
20:54:08 <lambdabot> error:
20:54:08 <lambdabot>     • Occurs check: cannot construct the infinite type: t ~ t -> t3
20:54:08 <lambdabot>     • In the first argument of ‘a’, namely
20:54:26 <arseniiv> int-e: lambdabot caught you
20:54:39 <int-e> arseniiv: at what? I knew it wasn't typeable.
20:55:00 <arseniiv> hm right wrom the start?
20:55:05 <arseniiv> from*
20:56:17 <int-e> I did have to think about it.
20:57:24 <int-e> But a(\l. [...] (a l)) is sufficient to rule out simple types
20:58:17 <int-e> (because then l must be a function from its own type to something)
20:58:52 <int-e> but typeability is overrated
21:16:56 -!- Lord_of_Life_ has joined.
21:20:01 -!- Lord_of_Life has quit (Ping timeout: 264 seconds).
21:20:04 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
21:23:27 <arseniiv> <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
21:23:59 -!- arseniiv has quit (Quit: gone too far).
21:24:11 <int-e> . o O ( But single-typed = untyped )
21:31:35 -!- Hooloo42 has quit (Quit: Temporarily refracted into a free-standing prism.).
21:32:23 -!- Hooloovo0 has joined.
21:44:43 <zzo38> Do you know the format of the Turbo Pascal help file?
21:50:59 <int-e> . o O ( ask me 30 years ago )
21:51:07 <int-e> err
21:51:10 <int-e> 20 years, sorry
21:53:37 <int-e> 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.
21:55:33 -!- rodgort has quit (Quit: Leaving).
21:56:53 <int-e> 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).
21:59:30 -!- rodgort has joined.
22:00:31 <zzo38> 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.)
22:05:21 -!- rodgort has quit (Ping timeout: 265 seconds).
22:07:04 <int-e> Some people have (almost) certainly figured out the format. http://pascal.toom.su/The+Edit+Window
22:12:47 <zzo38> Now I fixed ZZT so that the restore game menu displays the date/time of the files. Fortunately, it is Y2K compliant.
22:13:42 -!- rodgort has joined.
22:14:28 <zzo38> Do you like ZZT?
22:15:21 <int-e> `quot hate
22:15:22 <HackEso> quot? No such file or directory
22:15:23 <int-e> `quote hate
22:15:24 <HackEso> 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
22:17:28 <int-e> `quote 1306
22:17:29 <HackEso> 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.
22:38:42 -!- imode has quit (Quit: WeeChat 2.7.1).
23:09:53 -!- imode has joined.
23:17:39 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
23:44:45 <esowiki> [[Procedure]] M https://esolangs.org/w/index.php?diff=70501&oldid=70498 * PythonshellDebugwindow * (+107) 
23:53:03 -!- mniip_ has changed nick to mniip.