00:15:45 -!- 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.”).
00:24:48 -!- xkapastel has quit (Quit: Connection closed for inactivity).
00:26:29 -!- tromp has quit (Remote host closed the connection).
00:48:08 <esowiki> [[MangularJS]] M https://esolangs.org/w/index.php?diff=71461&oldid=71460 * PythonshellDebugwindow * (+527) Finish pop()
00:48:47 <esowiki> [[Language list]] M https://esolangs.org/w/index.php?diff=71462&oldid=71421 * PythonshellDebugwindow * (+17) /* M */
00:59:44 <zzo38> Can a dictionary be installed with both Canadian spelling? "aptitude show ispell-dictionary" mentions American and British, but not Canadian (which uses a combination of American and British spellings; in most cases, Canadian spelling matches whichever spelling is older, which is often British but not always).
02:09:17 -!- imode has joined.
02:13:04 -!- Phantom_Hoover has joined.
02:56:18 -!- Phantom__Hoover has joined.
02:59:34 -!- Bowserinator_ has joined.
02:59:37 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds).
03:01:01 -!- iovoid has joined.
03:01:18 -!- Bowserinator_ has quit (Client Quit).
03:01:18 -!- iovoid has quit (Client Quit).
03:40:16 -!- Train has joined.
03:41:44 <Train> Wow. You seem like you are always online.
03:42:20 <pikhq> easy enough these days
03:42:26 <pikhq> what else is there to do, I guess
03:52:52 <zzo38> Do you like GURPS game?
03:54:19 <pikhq> Haven't played it since, like, 2010, but I did enjoy it
03:57:54 <zzo38> I played the GURPS on Sunday on the computer, and also a few weeks ago also on the computer. I also recorded all of them on the computer I rewrote it to write the story to read it
04:00:26 <zzo38> They are readable on a Fossil wiki at http://zzo38computer.org/gurpsgame/1.ui but you can also download the Hamster archive with the files. If you find any mistake in it, please notify me.
04:01:29 <zzo38> The link I made to the figlet text from before is also from the GURPS game; since there is only one player I can use a direct connection and don't need IRC, and that is what the GM sent; I suppose he used a figlet text.
04:03:50 <zzo38> Train: I think that you should write about your esolang in the esolang wiki
04:04:55 <zzo38> (You can access http://zzo38computer.org/gurpsgame/1.har if you want to download the Hamster archive file. A Hamster archive is a sequence of lumps, where each lump consists of the null-terminated ASCII filename, 32-bit PDP-endian data size, and then the data.)
04:05:37 <pikhq> Why am I not surprised you have a bespoke archive format.
04:06:06 <shachaf> I appreciate the PDP-endian size.
04:06:20 <pikhq> It is amusing, to be sure.
04:06:47 <Train> zzo38, I don't know if I should write about my esolang. It needs some tidying up.
04:08:03 <zzo38> I didn't invent it. (If I did, I probably would have used big-endian or small-endian instead of PDP-endian. The format is otherwise good though, and keeping the same format allows better compatibility with other programs using the same format.)
04:09:32 <zzo38> (PDP-endian isn't so bad either, since it is just as easy to work with, so I am not complaining about it.)
04:11:35 <zzo38> Train: What you wrote on sprunge seem like good enough to me
04:12:10 <Train> There are a few cases of undefined behaviour.
04:13:11 <zzo38> Ah, yes, such as you don't specify what happen in case of end of file.
04:13:23 <Train> It can never reach EOF.
04:13:46 <zzo38> In the case of the "d" command, the input might reach EOF, though.
04:14:21 <Train> no, because it only takes 1 byte of input, which is the first byte of input from the input
04:14:50 <zzo38> O, well, you didn't mention that in the document.
04:15:06 <zzo38> (Nor does that make much sense to me.)
04:15:12 <Train> Yeah, that's why the documentation is incomplete.
04:15:56 <Train> And if the lines are different lengths, the interpreter is just like:
04:15:57 <Train> https://i.imgflip.com/36qm8e.png
04:16:19 <zzo38> It doesn't specify the range of values in cells either, although based on what we discussed before it should be unlimited.
04:16:42 <Train> Yes. It has to be unlimited to be Turing complete.
04:17:21 <zzo38> And, yes, about the program lines being different lengths; presumably the program is not valid if the lines are of different lengths, although one thing that it could be made to do is to pad them with spaces on the right.
04:17:56 <Train> I thought about that, but then it does have some interesting repercussions on the complexity.
04:18:29 <zzo38> Another possibility is just to display an error message.
04:18:37 <zzo38> (and refuse to execute the program)
04:18:49 <Train> For example, it can either crash the interpreter or undefined behaviour.
04:19:19 <zzo38> You could also just explicitly specify that it is undefined behaviour if such a program is given.
04:19:54 <Train> I think I'll do the error messages and tidy up the interpreter now.
04:23:17 -!- Train has quit (Remote host closed the connection).
04:27:55 -!- Train has joined.
05:05:06 -!- Train has quit (Remote host closed the connection).
05:39:46 -!- Phantom__Hoover has quit (Ping timeout: 260 seconds).
05:45:44 -!- imode has quit (Ping timeout: 244 seconds).
06:33:21 <zzo38> Now I invented a chess variant, which is: If you en-passan an opponent's pawn, then you may optionally take any piece from off of the board (regardless of colour; you may even take the pawn that was just captured) and put it in the place of the captured pawn. You also must take a queen/knight/rook/bishop from off of the board for promotation; you can't have more than you started with.
06:50:23 -!- tromp has joined.
07:44:03 -!- cpressey has joined.
07:48:59 <cpressey> So I guess what it is, is this: in an applicative setting you can have combinators that operate on combinators to obtain new combinators; in a concatenative setting, you have, um, concatenatees, that operate on states to obtain new states, and which you concatenate together to produce new concatenatees.
07:51:02 <cpressey> If you insist on looking at concatenatees as combinators, each one takes exactly one other combinator, and produces a new combinator, but this has to terminate somewhere, and in the end you still have something that takes states to states instead
07:53:43 <cpressey> And if you say something like "states are combinators too", then that just sort of begs the question of where you draw the boundary between the combinators that are part of "the state" and the combinators that are part of "the program".
07:54:56 -!- Sgeo_ has quit (Read error: Connection reset by peer).
07:55:24 -!- Sgeo_ has joined.
08:00:30 -!- TheLie has joined.
08:11:33 -!- LKoen_ has joined.
08:16:11 -!- LKoen_ has changed nick to LKoen.
08:30:39 <cpressey> Oh dear, joining #proglangdesign now requires "identification with services".
08:35:48 * cpressey is not sure it's worth setting that up just for a channel where most of the content is people trying to prove they have deeper understandings of substructal logics than other people
08:45:38 -!- TheLie has quit (Ping timeout: 265 seconds).
09:00:29 <shachaf> cpressey: A bunch of channels turned that on temporarily becaue of some spam.
09:02:49 <cpressey> Oh hi shachaf. Hadn't seen you around for a while, wondered if you had given up on IRC.
09:06:42 -!- arseniiv has joined.
09:34:33 -!- ArthurStrong has joined.
09:48:39 -!- kspalaiologos has joined.
10:24:00 -!- rain1 has joined.
10:40:20 -!- HackEso has quit (Remote host closed the connection).
10:40:26 -!- HackEso has joined.
10:58:53 -!- ArthurStrong has quit (Quit: leaving).
11:06:02 -!- lynn_ has quit (Quit: Connection closed for inactivity).
11:15:05 -!- LKoen has quit (Remote host closed the connection).
11:16:23 -!- cpressey has quit (Quit: WeeChat 1.9.1).
11:24:32 -!- Lord_of_Life_ has joined.
11:27:15 -!- Lord_of_Life has quit (Ping timeout: 244 seconds).
11:27:20 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
11:32:52 -!- LKoen has joined.
11:43:52 -!- Phantom__Hoover has joined.
12:31:34 -!- cpressey has joined.
12:46:11 <rain1> ive got into studying maths again
12:49:30 <rain1> its hard to know the right thing to study though
12:50:02 <esowiki> [[MangularJS]] M https://esolangs.org/w/index.php?diff=71463&oldid=71461 * PythonshellDebugwindow * (+65) /* Stack class */
12:53:10 <cpressey> Springer just made a number of their textbooks free to download as e-books: https://github.com/alexgand/springer_free_books
12:53:56 <cpressey> In particular there's Kozen's "Automata and Computability": https://link.springer.com/book/10.1007%2F978-1-4612-1844-9
13:02:19 <cpressey> rain1: Do you have any favourite parts of mathematics?
13:02:51 <rain1> yeah algebra, number theory, codes and groups ithink
13:03:30 <rain1> ill try that springer book, i grabbed 'proofs from teh book'
13:05:05 <int-e> Proofs from THE BOOK is on the list, interesting.
13:05:51 <myname> interesting, i didn't know out uni president wrote something like that
13:07:02 <int-e> Oh, rain1 beat me to that observation. Anyway, link: http://doi.org/10.1007/978-3-662-57265-8
13:07:34 -!- FreeFull has joined.
13:20:25 <esowiki> [[User:PythonshellDebugwindow]] M https://esolangs.org/w/index.php?diff=71464&oldid=71424 * PythonshellDebugwindow * (+44) /* Languages */
13:22:23 <int-e> "Introduction to Programming with Fortran"
14:00:40 <b_jonas> cpressey: ah yes, a lot of publishers advertised such a deal with books. And when I follow them, it usually turns out that it only applies to a few uninteresting books, not the ones I'm looking for.
14:01:20 <b_jonas> But I can be fooled once more, so I'll look at this Springer deal.
14:16:25 <esowiki> [[MangularJS]] M https://esolangs.org/w/index.php?diff=71465&oldid=71463 * PythonshellDebugwindow * (+177) /* Restrictions */
14:56:30 -!- LKoen has quit (Read error: Connection reset by peer).
14:57:31 -!- LKoen has joined.
16:06:34 -!- cpressey has quit (Quit: WeeChat 1.9.1).
17:26:39 -!- TheLie has joined.
17:36:57 -!- tromp has quit (Remote host closed the connection).
17:41:34 -!- TheLie has quit (Remote host closed the connection).
17:41:42 -!- tromp has joined.
17:51:54 -!- TheLie has joined.
18:09:47 <esowiki> [[Skiforth]] https://esolangs.org/w/index.php?diff=71466&oldid=71459 * Orby * (+32)
18:20:51 -!- imode has joined.
18:36:42 <esowiki> [[User:PythonshellDebugwindow/RandomNameGenerator]] M https://esolangs.org/w/index.php?diff=71467&oldid=71336 * PythonshellDebugwindow * (+272) try it online
18:53:28 -!- Sgeo_ has quit (Ping timeout: 246 seconds).
19:03:15 -!- imode has quit (Ping timeout: 272 seconds).
19:21:23 -!- Sgeo has joined.
19:28:55 -!- arseniiv has quit (Ping timeout: 256 seconds).
19:31:31 -!- kspalaiologos has quit (Quit: Leaving).
19:50:45 -!- Sgeo has quit (Ping timeout: 240 seconds).
19:52:42 -!- Sgeo has joined.
19:58:34 -!- rain1 has quit (Quit: leaving).
20:37:39 -!- tromp has quit (Remote host closed the connection).
20:41:26 -!- tromp has joined.
21:15:57 -!- atehwa has quit (Ping timeout: 250 seconds).
21:17:36 -!- atehwa has joined.
21:18:49 -!- Phantom__Hoover has quit (Ping timeout: 264 seconds).
21:18:59 <zzo38> I wrote this http://sprunge.us/jdR90S which is my current plan how to make the random pack generation working for TeXnicard. Do you think it is good enough? Do you have other comments of it please?
21:27:55 -!- tromp has quit (Remote host closed the connection).
21:56:41 -!- Sgeo_ has joined.
21:58:18 -!- Sgeo has quit (Ping timeout: 256 seconds).
22:22:55 -!- opticnerve has joined.
22:31:35 <zzo38> A file I found mentions "simulated collation", which is simulating the printing and packaging process of official sets. This is something I have thought of for TeXnicard too, although I forgot when writing the document I linked, although I can easily add it; if you specify a name with / at first then it is a sheet name.
22:33:07 <zzo38> It says "Due to the required effort on the set designer's part of making card lists of the print sheets, no custom sets use this method so far", although with TeXnicard it will be easy enough to make card lists of print sheets, since rendering templates use the "setsheets" PostScript procedure to specify which sheet to print it on.
22:47:30 <zzo38> I found another set of documents about the card collation in Magic: the Gathering.
22:51:10 -!- imode has joined.
22:58:42 <zzo38> I do not entirely understand it, though.
22:59:19 <zzo38> http://www.lethe.xyz/mtg/collation/
22:59:22 <orbitaldecay> I decided to add automatic church numerals to skiforth and I have mixed feelings about it
22:59:25 <zzo38> I am reading it though to see how it is working
22:59:32 <orbitaldecay> I think it's kind of useful, but not strictly necessary
22:59:51 <zzo38> orbitaldecay: I expect adding automatic numbers would make the program run more efficiently
23:00:10 <esowiki> [[Minimal operation language]] M https://esolangs.org/w/index.php?diff=71468&oldid=71214 * Hakerh400 * (-13) /* Resources */ No longer dead
23:00:31 <orbitaldecay> yes, definitely, I've been trying to strike a balance between some kind of usability and keeping it minimal
23:00:56 <orbitaldecay> especially if I add RAM access, automatic numbers will be very handy
23:04:33 <pikhq> I imagine that would be hard to use without them, yeah
23:04:40 -!- tromp has joined.
23:04:50 <orbitaldecay> zzo38:: what piqued your interest in collation?
23:05:27 <zzo38> orbitaldecay: Well, I want to make the random pack generation working for TeXnicard. One way to do it would be simulated collation, although there is other way too.
23:05:49 <zzo38> I intend it can be supported both ways.
23:06:12 <zzo38> See http://zzo38computer.org/fossil/texnicard.ui for a description of TeXnicard.
23:06:29 <zzo38> Are you interested in custom cards for Magic: the Gathering or other card games?
23:07:55 <orbitaldecay> huh, interesting. I am interested in making card games, so it looks useful in that context.
23:08:13 -!- TheLie has quit (Remote host closed the connection).
23:08:47 <zzo38> If you have further questions after reading the documentation, please tell me so that I may add them into the documentation and/or the frequently asked questions section. You can ask me here, or on my NNTP server, or in the Fossil ticketing system.
23:09:21 -!- tromp has quit (Ping timeout: 265 seconds).
23:09:54 <zzo38> (Although the ticketing system is meant mainly for bug reports and feature requests. General discussion should preferably use the NNTP.)
23:11:23 <orbitaldecay> I have a friend who is especially into making games (even moreso than myself) and would also find it very interesting
23:12:20 <LKoen> zzo38: would your texnicard software be recommended for card games other than magic?
23:12:35 <LKoen> say I want to make cards for dominion
23:13:03 <LKoen> orbitaldecay: you would probably be interested in Dvorak as well
23:13:17 <zzo38> LKoen: Yes, it is intended to be generic and not specific to Magic: the Gathering.
23:15:49 <LKoen> orbitaldecay: see https://boardgamegeek.com/boardgame/9010/dvorak and http://www.dvorakgame.co.uk/index.php/Main_Page
23:17:18 <LKoen> the idea of the game is usually to make cards as the game goes
23:17:29 <LKoen> but the second link is a wiki full of pre-made decks
23:18:17 <zzo38> I should probably implement the paragraph formatting. (If you want to use it now, you would have to use PostScript text rendering instead, although I intend to implement TeX-like paragraph formatting too, using TeX fonts. PostScript text rendering will remain available, though, since that feature is included "for free".)
23:24:52 -!- Lord_of_Life_ has joined.
23:27:10 -!- Lord_of_Life has quit (Ping timeout: 246 seconds).
23:27:45 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
23:32:37 -!- opticnerve has quit (Ping timeout: 264 seconds).
23:55:14 <esowiki> [[CopyPasta Language]] https://esolangs.org/w/index.php?diff=71469&oldid=70456 * Rerednaw * (+99)