00:29:10 -!- imode has quit (Ping timeout: 272 seconds). 00:35:15 [[Jeeves]] M https://esolangs.org/w/index.php?diff=75819&oldid=73529 * PythonshellDebugwindow * (+59) Cats 00:35:37 [[Turing-complete]] M https://esolangs.org/w/index.php?diff=75820&oldid=22780 * PythonshellDebugwindow * (-4) 00:36:06 -!- Arcorann has joined. 00:36:46 [[(PTM)]] M https://esolangs.org/w/index.php?diff=75821&oldid=62878 * PythonshellDebugwindow * (+55) /* External resources */ cats 00:37:22 [[Pyth]] M https://esolangs.org/w/index.php?diff=75822&oldid=65771 * PythonshellDebugwindow * (+4) Link 00:37:39 [[Pyth]] M https://esolangs.org/w/index.php?diff=75823&oldid=75822 * PythonshellDebugwindow * (-2) Fix/* Documentation */ 00:38:23 [[CJam]] M https://esolangs.org/w/index.php?diff=75824&oldid=53582 * PythonshellDebugwindow * (+4) /* Turing-completeness */ 00:42:19 [[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 [[Movesum]] https://esolangs.org/w/index.php?diff=75826&oldid=72731 * Bangyen * (+129) /* Hello World ASCII values */ 02:42:35 [[Movesum]] https://esolangs.org/w/index.php?diff=75827&oldid=75826 * Bangyen * (+0) /* Infinite numeric cat */ 02:51:13 [[Movesum]] https://esolangs.org/w/index.php?diff=75828&oldid=75827 * Bangyen * (-3) /* Cat until EOF (0) */ 02:56:19 [[Movesum]] https://esolangs.org/w/index.php?diff=75829&oldid=75828 * Bangyen * (+101) 02:56:46 [[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 [[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 [[Esolangs]] N https://esolangs.org/w/index.php?oldid=75832 * RocketRace * (+1152) Create page (I'm sorry) 05:07:24 [[Esolangs]] M https://esolangs.org/w/index.php?diff=75833&oldid=75832 * RocketRace * (+4) Formatting 05:10:49 [[Esolangs]] M https://esolangs.org/w/index.php?diff=75834&oldid=75833 * RocketRace * (+126) Add Hello World 05:17:13 [[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 [[The Temporary Stack]] https://esolangs.org/w/index.php?diff=75836&oldid=69245 * Bangyen * (-3) /* Cat */ 06:25:30 Oh, Schlock Mercenary is borrowing from Lord of the Rings now? :-) 06:27:47 [[The Temporary Stack]] https://esolangs.org/w/index.php?diff=75837&oldid=75836 * Bangyen * (+99) 06:33:23 [[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 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:12 Well it's a start. 06:59:32 What would you like to better than PDF and DjVu? 07:00:51 Well, read what I wrote and you can see how is better, I hope. 07:04:24 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 Well, PDF is just really messy, I think. 07:07:56 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 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 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 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 rain1: look at this view: https://int-e.eu/~bf3/tmp/ssr-fire-exit.png 07:56:04 ah I don't think I've reached that yet 07:56:29 int-e: Did you restart? 07:56:29 rain1: you're on that area to the north 07:56:35 [[Spare Change]] N https://esolangs.org/w/index.php?oldid=75839 * The Esolanger * (+780) Created ny first esolang! WIP 07:56:38 shachaf: afraid so 07:56:52 it seems easier the second time 07:57:26 rain1: so you may have seen that blue tower to the far left 07:57:37 rain1: that's where the sausage to unlock the area will be 07:58:09 (you can see where the sausage goes as wel) 07:58:11 *well. 07:58:52 shachaf: though I wouldn't have had to... SSR keeps savegames after each completed level. 07:59:01 So loading the one at 110 points would've worked. 07:59:32 I am not sure about the blue tower, i don't remember that 08:01:18 rain1: well I'm sure you can reach it, if the 105 point number is correct. 08:01:34 but maybe you've just not explored this far 08:01:49 * int-e shrugs 08:03:40 bought physical manuals for the PDP-11 and VAX. I think I've got too absorbed with emulating them 08:06:15 [[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 [[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 moony: what? why do you need physical manuals? 09:04:55 why /not/? 09:05:14 ok... how thick are they?\ 09:05:43 and how much of that describes hardware repairs that you don't have to do in emulation 09:06:15 not that big, the VAX and PDP-11 Architecture Handbooks 09:06:39 the VAX-11/780 Maintenance handbook is thick, but it's not exactly a "how 2 repair" guidebook 09:06:49 it's entirely documentation 09:08:00 I got a ton of them for about $2.5 a book so not exactly a bad deal 09:08:20 also you have seen the PDP-11 emulator that is an appendix to the IOCCC 2018/mills entry, right? 09:08:29 just in case you want to emulate it in an awkward way 09:08:32 heh 09:08:38 no thanks, VAX is a mess as it is 09:09:20 no, that is a PDP-11 emulator, not a VAX emulator 09:09:50 I only need to do a subset of the PDP-11 09:09:54 not the whole thing 09:10:03 (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:09 `" 09:48:12 1/1:964) it's such a shame the inventor of lisp was um ok i give up \ 265) I've only watched bad movies about video game. I enjoyed every second of it. 09:48:16 fungot: . 09:48:16 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.) 09:49:32 `8ball is it? 09:49:34 Don't count on it. 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 [[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 I accidentally started writing a specification for a SAT solver :o 17:28:31 -!- adu has joined. 17:29:50 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 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 no more than one x such that e” 17:38:50 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:38:50 declared too big 17:39:23 that’s pretty complex at this state and I don’t want to implement even a draft 17:43:28 I ended up advicing to investigate an existing SAT solver with bindings for the chosen language (which is Common Lisp) 17:44:37 I like lisp 17:49:11 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 wait, I mixed two different position senses 17:50:35 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 [[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 [[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 [[User:Bangyen]] https://esolangs.org/w/index.php?diff=75844&oldid=75838 * Bangyen * (+12) /* Implementations */ 20:34:48 [[User:Bangyen]] https://esolangs.org/w/index.php?diff=75845&oldid=75844 * Bangyen * (+33) 21:00:18 -!- sebbu has joined. 21:22:38 [[Special:Log/newusers]] create * Canismajoriswiki * New user account 21:27:32 -!- TheLie has joined. 21:31:09 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=75846&oldid=75723 * Canismajoriswiki * (+270) 21:36:20 [[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 [[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).