00:29:10 -!- imode has quit (Ping timeout: 272 seconds).
00:35:15 <esowiki> [[Jeeves]] M https://esolangs.org/w/index.php?diff=75819&oldid=73529 * PythonshellDebugwindow * (+59) Cats
00:35:37 <esowiki> [[Turing-complete]] M https://esolangs.org/w/index.php?diff=75820&oldid=22780 * PythonshellDebugwindow * (-4)
00:36:06 -!- Arcorann has joined.
00:36:46 <esowiki> [[(PTM)]] M https://esolangs.org/w/index.php?diff=75821&oldid=62878 * PythonshellDebugwindow * (+55) /* External resources */ cats
00:37:22 <esowiki> [[Pyth]] M https://esolangs.org/w/index.php?diff=75822&oldid=65771 * PythonshellDebugwindow * (+4) Link
00:37:39 <esowiki> [[Pyth]] M https://esolangs.org/w/index.php?diff=75823&oldid=75822 * PythonshellDebugwindow * (-2) Fix/* Documentation */
00:38:23 <esowiki> [[CJam]] M https://esolangs.org/w/index.php?diff=75824&oldid=53582 * PythonshellDebugwindow * (+4) /* Turing-completeness */
00:42:19 <esowiki> [[User:PythonshellDebugwindow]] M https://esolangs.org/w/index.php?diff=75825&oldid=75804 * PythonshellDebugwindow * (+19)
00:53:00 -!- imode has joined.
00:57:18 -!- adu has quit (Quit: adu).
00:57:40 -!- imode has quit (Ping timeout: 256 seconds).
01:09:20 -!- t20kdc has quit (Remote host closed the connection).
01:09:41 -!- imode has joined.
01:26:10 -!- Phantom_Hoover has quit (Ping timeout: 272 seconds).
01:33:20 -!- bangyen has quit (Quit: Ping timeout (120 seconds)).
02:03:10 -!- Phantom_Hoover has joined.
02:08:55 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds).
02:42:08 <esowiki> [[Movesum]] https://esolangs.org/w/index.php?diff=75826&oldid=72731 * Bangyen * (+129) /* Hello World ASCII values */
02:42:35 <esowiki> [[Movesum]] https://esolangs.org/w/index.php?diff=75827&oldid=75826 * Bangyen * (+0) /* Infinite numeric cat */
02:51:13 <esowiki> [[Movesum]] https://esolangs.org/w/index.php?diff=75828&oldid=75827 * Bangyen * (-3) /* Cat until EOF (0) */
02:56:19 <esowiki> [[Movesum]] https://esolangs.org/w/index.php?diff=75829&oldid=75828 * Bangyen * (+101)
02:56:46 <esowiki> [[Movesum]] https://esolangs.org/w/index.php?diff=75830&oldid=75829 * Bangyen * (-2)
03:03:17 -!- craigo has quit (Ping timeout: 265 seconds).
03:14:19 <esowiki> [[User:Bangyen]] https://esolangs.org/w/index.php?diff=75831&oldid=75806 * Bangyen * (+14) /* Implementations */
04:01:48 -!- aaaaaa has changed nick to yonderboi.
04:02:03 -!- yonderboi has changed nick to yonderboia.
04:02:05 -!- yonderboia has changed nick to yonderboi.
04:02:15 -!- yonderboi has changed nick to yonderboy.
04:02:18 -!- yonderboy has changed nick to yonderboi.
04:05:50 -!- adu has joined.
04:28:18 -!- bangyen has joined.
04:43:04 -!- deschutron has quit (Quit: Leaving).
04:46:14 -!- deschutron has joined.
04:55:52 -!- imode has quit (Ping timeout: 246 seconds).
04:56:30 -!- adu has quit (Quit: adu).
04:57:06 -!- imode has joined.
05:05:28 <esowiki> [[Esolangs]] N https://esolangs.org/w/index.php?oldid=75832 * RocketRace * (+1152) Create page (I'm sorry)
05:07:24 <esowiki> [[Esolangs]] M https://esolangs.org/w/index.php?diff=75833&oldid=75832 * RocketRace * (+4) Formatting
05:10:49 <esowiki> [[Esolangs]] M https://esolangs.org/w/index.php?diff=75834&oldid=75833 * RocketRace * (+126) Add Hello World
05:17:13 <esowiki> [[Joke language list]] M https://esolangs.org/w/index.php?diff=75835&oldid=75138 * RocketRace * (+102) add Esolangs
06:02:49 -!- struct has joined.
06:05:16 -!- dog_star_ has joined.
06:05:56 -!- dog_star has quit (Ping timeout: 256 seconds).
06:05:56 -!- deschutron has quit (Read error: Connection reset by peer).
06:05:57 -!- dog_star_ has changed nick to dog_star.
06:07:53 -!- struct has quit (Quit: Leaving).
06:08:24 -!- deschutron has joined.
06:23:45 <esowiki> [[The Temporary Stack]] https://esolangs.org/w/index.php?diff=75836&oldid=69245 * Bangyen * (-3) /* Cat */
06:25:30 <int-e> Oh, Schlock Mercenary is borrowing from Lord of the Rings now? :-)
06:27:47 <esowiki> [[The Temporary Stack]] https://esolangs.org/w/index.php?diff=75837&oldid=75836 * Bangyen * (+99)
06:33:23 <esowiki> [[User:Bangyen]] https://esolangs.org/w/index.php?diff=75838&oldid=75831 * Bangyen * (+75) /* Implementations */
06:36:16 -!- mniip has joined.
06:38:33 -!- TheLie has joined.
06:51:25 -!- spruit11 has quit (Ping timeout: 265 seconds).
06:57:31 <zzo38> I don't really like PDF and DjVu, so I wrote my own specification at http://sprunge.us/WIUtPk with my own ideas about how to make up a improved format.
06:59:32 <deschutron> What would you like to better than PDF and DjVu?
07:00:51 <zzo38> Well, read what I wrote and you can see how is better, I hope.
07:04:24 <Arcorann> I'd like a bit more explanation about what aspects of PDF and DjVu are considered problematic (also, insert XKCD Standards comic here)
07:07:02 <zzo38> Well, PDF is just really messy, I think.
07:07:56 <zzo38> But there are other things not very good with it. DjVu is better in many ways, but it has its own problems.
07:09:06 <zzo38> Some of the features I described in my document are based on features in PDF and DjVu, although they are made improved.
07:09:41 <zzo38> Such as, it is a raster format to be able to use compression to encode the same picture at multiple resolutions (you can also encode only one resolution, if wanted).
07:13:11 <zzo38> I also don't like how annotation highlighting works in PDF and DjVu, and as far as I can tell in DjVu there is the ambiguity of whether a number refers to a page number or a page name; my own specification avoids this ambiguity.
07:25:30 -!- bangyen has quit (Ping timeout: 245 seconds).
07:48:25 -!- rain1 has joined.
07:55:31 <int-e> rain1: look at this view: https://int-e.eu/~bf3/tmp/ssr-fire-exit.png
07:56:04 <rain1> ah I don't think I've reached that yet
07:56:29 <int-e> rain1: you're on that area to the north
07:56:35 <esowiki> [[Spare Change]] N https://esolangs.org/w/index.php?oldid=75839 * The Esolanger * (+780) Created ny first esolang! WIP
07:56:38 <int-e> shachaf: afraid so
07:56:52 <int-e> it seems easier the second time
07:57:26 <int-e> rain1: so you may have seen that blue tower to the far left
07:57:37 <int-e> rain1: that's where the sausage to unlock the area will be
07:58:09 <int-e> (you can see where the sausage goes as wel)
07:58:52 <int-e> shachaf: though I wouldn't have had to... SSR keeps savegames after each completed level.
07:59:01 <int-e> So loading the one at 110 points would've worked.
07:59:32 <rain1> I am not sure about the blue tower, i don't remember that
08:01:18 <int-e> rain1: well I'm sure you can reach it, if the 105 point number is correct.
08:01:34 <int-e> but maybe you've just not explored this far
08:03:40 <moony> bought physical manuals for the PDP-11 and VAX. I think I've got too absorbed with emulating them
08:06:15 <esowiki> [[Efghij]] https://esolangs.org/w/index.php?diff=75840&oldid=47121 * The Esolanger * (+83) A new object
08:08:58 -!- imode has quit (Ping timeout: 272 seconds).
08:09:32 <esowiki> [[Efghij]] M https://esolangs.org/w/index.php?diff=75841&oldid=75840 * The Esolanger * (+22) Added category
09:04:00 -!- Sgeo has quit (Read error: Connection reset by peer).
09:04:24 <b_jonas> moony: what? why do you need physical manuals?
09:05:14 <b_jonas> ok... how thick are they?\
09:05:43 <b_jonas> and how much of that describes hardware repairs that you don't have to do in emulation
09:06:15 <moony> not that big, the VAX and PDP-11 Architecture Handbooks
09:06:39 <moony> the VAX-11/780 Maintenance handbook is thick, but it's not exactly a "how 2 repair" guidebook
09:06:49 <moony> it's entirely documentation
09:08:00 <moony> I got a ton of them for about $2.5 a book so not exactly a bad deal
09:08:20 <b_jonas> also you have seen the PDP-11 emulator that is an appendix to the IOCCC 2018/mills entry, right?
09:08:29 <b_jonas> just in case you want to emulate it in an awkward way
09:08:38 <moony> no thanks, VAX is a mess as it is
09:09:20 <b_jonas> no, that is a PDP-11 emulator, not a VAX emulator
09:09:50 <moony> I only need to do a subset of the PDP-11
09:09:54 <moony> not the whole thing
09:10:03 <moony> (VAX has a PDP-11 compat mode)
09:24:29 -!- craigo has joined.
09:27:59 -!- TheLie has quit (Remote host closed the connection).
09:48:12 <HackEso> 1/1:964) <elliott> it's such a shame the inventor of lisp was um <elliott> ok i give up \ 265) <monqy> I've only watched bad movies about video game. I enjoyed every second of it.
09:48:16 <fungot> int-e: i hate vine at each other? other than the usualy fnord. most superheroes start by getting: fnord and settings/ js/ fnord mission editor thingy was creating lots of tables.)
10:32:41 -!- arseniiv has joined.
10:41:47 -!- Lord_of_Life_ has joined.
10:42:33 -!- Lord_of_Life has quit (Ping timeout: 258 seconds).
10:43:07 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
11:02:10 -!- Phantom_Hoover has joined.
11:36:45 -!- t20kdc has joined.
12:42:26 -!- sprocklem has quit (Ping timeout: 246 seconds).
12:43:20 -!- sprocklem has joined.
14:03:41 -!- adu has joined.
14:16:46 -!- arseniiv has quit (Ping timeout: 256 seconds).
14:22:21 -!- arseniiv has joined.
14:26:14 -!- Phantom_Hoover has quit (Ping timeout: 265 seconds).
15:04:51 <esowiki> [[Special:Log/newusers]] create * Inxanedesu * New user account
15:25:31 -!- adu has quit (Quit: adu).
15:27:48 -!- Arcorann has quit (Read error: Connection reset by peer).
15:32:35 -!- t20kdc has quit (Remote host closed the connection).
15:32:59 -!- t20kdc has joined.
16:14:04 -!- sprocklem has quit (Ping timeout: 256 seconds).
16:15:32 -!- sprocklem has joined.
16:54:45 -!- Sgeo has joined.
17:11:56 -!- spruit11 has joined.
17:28:29 <arseniiv> I accidentally started writing a specification for a SAT solver :o
17:28:31 -!- adu has joined.
17:29:50 <arseniiv> was dumping ideas to a friend who wanted to write game rules for their backgammon impl declaratively and ended up with something in this vein
17:38:50 <arseniiv> there you have several user-specified types, some of which are iterable and others are “too big”, then you have user-specified primitive predicates with functional dependencies between their arguments specified, and finally user can define other predicates using these, boolean ops and ∀, ∃ and ∀! (and ∃! but for tic-tac-toe I ended up not using this one), where ∀!x. e means “∀x and it’s known statically that there are
17:38:50 <arseniiv> no more than one x such that e”
17:38:50 <arseniiv> now, for each n-ary predicate, there exist 2^n potential implementations which take some arguments and iterate over tuples of remaining arguments which satisfy the predicate. The user can specify only some of them for the primitives, and they also should specify all kinds of goals they may want. Then the thing should compile all the necessary implementations or signal when there is no, including the case if a type needs to be iterated but
17:39:23 <arseniiv> that’s pretty complex at this state and I don’t want to implement even a draft
17:43:28 <arseniiv> I ended up advicing to investigate an existing SAT solver with bindings for the chosen language (which is Common Lisp)
17:44:37 <adu> I like lisp
17:49:11 <arseniiv> ah, also I saw partial-functional dependencies are maybe even more useful than the “total-functional” ones, as for example there can be no winner for a position, but there is certanly no more than one, or there is no more than one possible move for each position (in tic-tac-toe, and that proven itself a good example to flesh the specification out and to investigate how it can be compiled concret
17:49:48 <arseniiv> wait, I mixed two different position senses
17:50:35 <arseniiv> in the first it means the full state of the board and in the second a board is given and what we’re choosing is a place on it
18:04:04 <esowiki> [[Spare Change]] https://esolangs.org/w/index.php?diff=75842&oldid=75839 * Bangyen * (-3)
18:09:54 -!- sprocklem has quit (Ping timeout: 240 seconds).
18:10:19 -!- sprocklem has joined.
18:39:51 -!- adu has quit (Quit: adu).
19:02:32 -!- adu has joined.
19:07:47 -!- sebbu has quit (Ping timeout: 258 seconds).
19:34:26 -!- adu has quit (Quit: adu).
19:53:40 -!- adu has joined.
20:24:18 <esowiki> [[RAM0]] https://esolangs.org/w/index.php?diff=75843&oldid=57234 * Bangyen * (+99)
20:25:00 -!- imode has joined.
20:33:39 -!- adu has quit (Quit: adu).
20:33:57 <esowiki> [[User:Bangyen]] https://esolangs.org/w/index.php?diff=75844&oldid=75838 * Bangyen * (+12) /* Implementations */
20:34:48 <esowiki> [[User:Bangyen]] https://esolangs.org/w/index.php?diff=75845&oldid=75844 * Bangyen * (+33)
21:00:18 -!- sebbu has joined.
21:22:38 <esowiki> [[Special:Log/newusers]] create * Canismajoriswiki * New user account
21:27:32 -!- TheLie has joined.
21:31:09 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=75846&oldid=75723 * Canismajoriswiki * (+270)
21:36:20 <esowiki> [[MindReadingFuck]] https://esolangs.org/w/index.php?diff=75847&oldid=73463 * Canismajoriswiki * (+79)
22:41:59 -!- Lord_of_Life_ has joined.
22:44:53 -!- Lord_of_Life has quit (Ping timeout: 272 seconds).
22:44:59 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
23:11:05 -!- TheLie has quit (Remote host closed the connection).
23:31:28 <esowiki> [[Kov]] https://esolangs.org/w/index.php?diff=75848&oldid=68260 * Bangyen * (+33) /* In algorithmic information theory (a subfield of computer science), the Kolmogorov complexity of an object, such as a piece of text, is a measure of the computational resources needed to specify the object. */
23:38:42 -!- arseniiv has quit (Ping timeout: 272 seconds).