00:04:57 [[User:YamTokWae/Sandbox]] https://esolangs.org/w/index.php?diff=57350&oldid=57349 * YamTokWae * (+748) /* Commands */ 00:13:00 [[User:YamTokWae/Sandbox]] https://esolangs.org/w/index.php?diff=57351&oldid=57350 * YamTokWae * (+4) 00:18:43 -!- bradcomp has quit (Ping timeout: 244 seconds). 00:22:23 -!- \oren\_ has quit (Quit: leaving). 00:24:20 -!- Phantom__Hoover has quit (Read error: Connection reset by peer). 00:32:00 -!- Xenthys28 has joined. 00:32:00 -!- Xenthys28 has quit (Killed (Sigyn (Spam is off topic on freenode.))). 00:48:19 -!- XorSwap has joined. 01:04:07 -!- imode has quit (Quit: WeeChat 2.2). 01:08:53 -!- brandonson has quit (Ping timeout: 260 seconds). 01:09:02 -!- brandonson has joined. 01:14:32 -!- nodist has joined. 01:56:07 -!- Compu has joined. 01:57:51 -!- Compu has quit (Killed (Sigyn (Spam is off topic on freenode.))). 02:10:02 -!- bradcomp has joined. 02:10:05 -!- clog has quit (Ping timeout: 240 seconds). 02:18:48 -!- imode has joined. 02:19:36 -!- tromp has quit (Remote host closed the connection). 02:32:09 I don't know if there are similar ideas from other philosophers like my ideas of dual free will and transcendental deterministic free will. 02:33:39 what is that idea? 02:33:41 i never heard that 02:35:50 My ideas are: Dual free will assumes a nondeterministic universe, and there are two kind of free will, being classical free will and quantum free will; quantum free will is more free but is also less effective than classical free will. Transcendental deterministic free will means a deterministic universe that uses transcendental numbers in the initial state in order to make a kind of free will. 02:36:27 (This argument does not prove the existence of free will, but it allows it to be possible.) 02:52:05 -!- XorSwap has quit (Ping timeout: 272 seconds). 03:06:07 -!- bradcomp has quit (Ping timeout: 244 seconds). 03:07:19 -!- XorSwap has joined. 03:33:01 -!- nodist has quit (Quit: Leaving). 03:39:37 -!- Guest56478 has joined. 03:40:13 -!- Guest56478 has quit (Killed (Sigyn (Spam is off topic on freenode.))). 03:43:17 I still don't see how the Greeks thought it was a good idea to have free will be in opposition to determinism, what with determinism meaning your actions are determined by your own traits? 03:43:52 pikhq, halp I seem to be mentally designing yet another Tcl OO system 03:44:12 can you design my language instead 03:44:13 twh 03:44:17 {*}$foo somemethod to call a non-mutating method, mut foo somemethod to call a mutating method 03:44:34 Mutation requires a variable name just like incr does 03:46:01 Is that what determinism means? Wikipedia says: "Determinism is the philosophical theory that all events, including moral choices, are completely determined by previously existing causes. Determinism is usually understood to preclude free will because it entails that humans cannot act otherwise than they do. The theory holds that the universe is utterly rational [...]" 03:46:49 O, there is also a list of the varieties 03:48:20 (Of course then you have to define free will too, I suppose.) 03:55:12 Sgeo: Friends don't let friends do yet another Tcl object system. 03:56:01 I think the one I'm imagining sort of takes inspiration from both that transparent one + a bit of Rust (distinction between mutation and not) 03:57:21 -!- Brace15 has joined. 03:57:57 -!- Brace15 has quit (Killed (Unit193 (Spam is not permitted on freenode.))). 03:58:57 -!- yar29 has joined. 03:59:55 Incidentally, is there a way to pass a variable name to a proc without forcing the proc to use upvar? 03:59:55 -!- yar29 has quit (Killed (Sigyn (Spam is off topic on freenode.))). 04:00:07 I mean, "previously existing causes" could be taken to invlude personal traits. 04:00:39 Yes, that is part of it. But even in case of nondeterminism, there is partial determinism. 04:01:21 Sgeo: Don't think so honestly 04:01:50 Suppose I could make my own proc-like that does it automatically, for convenience sake 04:04:50 -!- kamkran22 has joined. 04:05:28 -!- kamkran22 has quit (Killed (Unit193 (Spam is not permitted on freenode.))). 04:05:52 -!- clog has joined. 04:11:28 -!- nodist has joined. 04:13:50 -!- nodist has quit (Client Quit). 04:23:26 -!- WhitePhosphorus2 has joined. 04:24:27 -!- WhitePhosphorus2 has quit (Read error: Connection reset by peer). 04:28:56 Although Tcl has too many ways to represent anonymous functions, command prefixes remind me of currying which is nice 04:48:15 -!- bradcomp has joined. 04:56:00 -!- tromp has joined. 05:00:28 -!- tromp has quit (Ping timeout: 260 seconds). 05:06:27 -!- atslash has quit (Ping timeout: 240 seconds). 05:29:09 -!- EdSaperia3 has joined. 05:29:48 -!- xkapastel has quit (Quit: Connection closed for inactivity). 05:31:08 -!- EdSaperia3 has quit (Killed (Unit193 (Spam is not permitted on freenode.))). 05:49:28 -!- bradcomp has quit (Ping timeout: 260 seconds). 06:06:02 -!- bradcomp has joined. 06:11:07 -!- bradcomp has quit (Ping timeout: 268 seconds). 06:19:03 -!- tktech21 has joined. 06:19:15 -!- tktech21 has quit (Killed (Sigyn (Spam is off topic on freenode.))). 06:19:41 The Free Hero Mesh file format, although it splits the puzzle set into four files rather than only one, the class definitions are stored in text format rather than binary, and the additional headers needed for each level and picture as well as the extra copy of the class and user message list required in the level file, it is still less than a third of the original file size. 06:22:29 I have now documented the format of the .xclass .level .solution files, although the .class file still is not yet documented. 06:31:58 -!- tromp has joined. 06:36:32 -!- tromp has quit (Ping timeout: 256 seconds). 07:04:36 -!- tromp has joined. 07:08:01 -!- S_Gautam has joined. 07:21:14 -!- XorSwap has quit (Ping timeout: 272 seconds). 07:48:18 -!- AnotherTest has joined. 07:50:45 -!- LKoen has joined. 07:54:22 -!- bradcomp has joined. 07:58:27 -!- bradcomp has quit (Ping timeout: 240 seconds). 08:20:39 -!- xkapastel has joined. 08:30:35 -!- imode has quit (Ping timeout: 244 seconds). 08:37:27 -!- AnotherTest has quit (Ping timeout: 240 seconds). 09:06:10 -!- Shinobi has joined. 09:06:26 -!- Shinobi has quit (Remote host closed the connection). 09:09:03 -!- LKoen has quit (Remote host closed the connection). 09:20:36 -!- AnotherTest has joined. 09:23:06 -!- LKoen has joined. 09:38:55 -!- cwre has joined. 09:42:36 -!- bradcomp has joined. 09:47:28 -!- bradcomp has quit (Ping timeout: 260 seconds). 09:47:34 -!- cwre has quit (Ping timeout: 244 seconds). 09:48:02 -!- tromp has quit (Remote host closed the connection). 09:51:44 -!- Vorpal has joined. 09:51:44 -!- Vorpal has quit (Changing host). 09:51:44 -!- Vorpal has joined. 09:55:05 -!- because has joined. 09:56:53 -!- L23516 has joined. 10:00:21 -!- L23516 has quit (Remote host closed the connection). 10:00:31 -!- because has quit (Ping timeout: 268 seconds). 10:05:54 -!- Vorpal has quit (Ping timeout: 272 seconds). 10:09:51 -!- kiera8 has joined. 10:11:12 -!- kiera8 has quit (Remote host closed the connection). 10:12:29 -!- atslash has joined. 10:29:59 -!- tromp has joined. 10:32:59 -!- LKoen has quit (Remote host closed the connection). 10:34:27 -!- tromp has quit (Ping timeout: 240 seconds). 10:39:24 -!- tromp has joined. 10:39:38 -!- zseri has joined. 10:40:44 -!- LKoen has joined. 10:46:03 -!- S_Gautam has quit (Quit: Connection closed for inactivity). 10:47:41 -!- Liara- has joined. 10:48:39 -!- Liara- has quit (Killed (Sigyn (Spam is off topic on freenode.))). 10:51:09 -!- Vorpal has joined. 10:51:10 -!- Vorpal has quit (Changing host). 10:51:10 -!- Vorpal has joined. 10:57:39 -!- crayfishx has joined. 11:01:35 -!- AlexZ12 has joined. 11:03:02 -!- AlexZ12 has quit (Killed (Sigyn (Spam is off topic on freenode.))). 11:06:05 -!- crayfishx has quit (Ping timeout: 240 seconds). 11:18:57 -!- arseniiv has joined. 11:20:47 -!- stoner1922 has joined. 11:22:17 -!- stoner1922 has quit (Read error: Connection reset by peer). 11:31:00 -!- bradcomp has joined. 11:35:05 -!- bradcomp has quit (Ping timeout: 240 seconds). 11:43:56 -!- Phantom_Hoover has joined. 11:48:56 -!- totallymoony has changed nick to moony. 12:26:32 -!- NvpkD1y7Ez has joined. 12:29:04 -!- NvpkD1y7Ez has quit (Killed (Sigyn (Spam is off topic on freenode.))). 12:33:58 -!- wgma has joined. 12:35:01 -!- wgma has quit (Killed (Sigyn (Spam is off topic on freenode.))). 12:35:05 -!- SopaXorzTaker has joined. 12:53:02 -!- Minkar has joined. 12:53:19 -!- Minkar has quit (Killed (Sigyn (Spam is off topic on freenode.))). 13:01:40 -!- zseri_ has joined. 13:02:51 -!- zseri__ has joined. 13:04:42 -!- zseri has quit (Ping timeout: 256 seconds). 13:05:54 -!- zseri has joined. 13:06:45 -!- zseri_ has quit (Ping timeout: 268 seconds). 13:08:36 -!- zseri__ has quit (Ping timeout: 268 seconds). 13:12:58 -!- By has joined. 13:13:11 -!- By has quit (Killed (Sigyn (Spam is off topic on freenode.))). 13:15:50 -!- vespaper has joined. 13:19:15 -!- bradcomp has joined. 13:19:47 -!- vespaper has quit (Remote host closed the connection). 13:23:32 -!- bradcomp has quit (Ping timeout: 244 seconds). 13:27:56 -!- Corvus`0 has joined. 13:28:09 -!- Corvus`0 has quit (Killed (Sigyn (Spam is off topic on freenode.))). 13:45:08 -!- pixdamix3 has joined. 13:45:43 -!- pixdamix3 has quit (Killed (Sigyn (Spam is off topic on freenode.))). 14:03:36 -!- sh4nks24 has joined. 14:03:54 -!- sh4nks24 has quit (Killed (Sigyn (Spam is off topic on freenode.))). 14:12:14 -!- ais523 has joined. 14:27:08 -!- Omnious has joined. 14:29:01 -!- Omnious has quit (Remote host closed the connection). 14:37:18 -!- nesthib has joined. 14:40:24 -!- nesthib has quit (Remote host closed the connection). 14:43:45 -!- apollo1324 has joined. 14:45:43 -!- apollo1324 has quit (Killed (Sigyn (Spam is off topic on freenode.))). 14:57:44 -!- bradcomp has joined. 15:02:35 https://github.com/rust-lang-nursery/error-chain/pull/252 15:04:44 -!- Guest3871 has joined. 15:09:18 -!- Guest3871 has quit (Remote host closed the connection). 15:26:22 -!- bradcomp has quit (Ping timeout: 272 seconds). 15:43:00 [[Unfedern]] M https://esolangs.org/w/index.php?diff=57352&oldid=57323 * Zseri * (+23) 2018 15:57:45 -!- sebbu2 has joined. 16:01:22 -!- sebbu has quit (Ping timeout: 256 seconds). 16:47:46 -!- RussellB2819 has joined. 16:49:53 -!- LEI3 has joined. 16:50:49 -!- sebbu2 has changed nick to sebbu. 16:52:23 -!- RussellB2819 has quit (Remote host closed the connection). 16:52:28 -!- LEI3 has quit (Read error: Connection reset by peer). 17:24:02 -!- tromp has quit (Remote host closed the connection). 17:25:09 -!- meffe has joined. 17:25:33 -!- meffe has changed nick to Guest45640. 17:26:02 -!- Guest45640 has quit (Killed (Sigyn (Spam is off topic on freenode.))). 17:28:09 -!- tromp has joined. 17:36:43 * int-e wonders whether tromp has been up to anything interesting (for this channel) recently. 17:41:07 -!- gsdg has joined. 17:44:06 -!- gsdg has quit (Remote host closed the connection). 17:46:08 there was a new BLC paper 17:46:16 https://tromp.github.io/cl/LC.pdf 17:46:50 -!- tromp has quit (Remote host closed the connection). 17:53:15 Ah, nice, though technically there's nothing really new in there... 17:54:11 yaeh 17:58:52 -!- LKoen has quit (Remote host closed the connection). 17:59:48 -!- bradcomp has joined. 18:02:16 -!- felt has joined. 18:08:57 -!- felt has quit (Ping timeout: 240 seconds). 18:10:40 -!- nodist has joined. 18:14:05 -!- bradcomp has quit (Ping timeout: 240 seconds). 18:16:21 rain1: also I'm wondering whether there's anything new in that paper since 2014 :) 18:20:42 And at a glance (scrolling through two PDFs) the answer is "no". 18:24:29 -!- LKoen has joined. 18:25:43 -!- tromp has joined. 18:26:15 -!- nodist has quit (Quit: Leaving). 18:27:22 zzo38: they finally settled on “rēvērā id nōn vīs” and “jam tibi dīxī tē id nōlle” resp.; wait a second and I tell you in how many ways it could be written 18:29:14 -!- bradcomp has joined. 18:30:27 -!- tromp has quit (Ping timeout: 240 seconds). 18:30:48 -!- felt has joined. 18:31:26 macrons (ā) here aren’t a classical diacritic to indicate vowel length, so you would possibly want one of the following things: 18:33:49 -!- tromp has joined. 18:34:17 (a) to omit it altogether, (b) to replace it with https://en.wikipedia.org/wiki/Apex_(diacritic) (in that article, it’s also said that Í is written as a so-called long I, but you could write an apex anyway, as I am unsure if this form of I is in Unicode) 18:36:45 also, with apices you could use a small caps lettering and J → I, U → V. If you don’t want to mark vowel lengths, it’s probably better to leave all as it is, only to capitalize first letters of phrases if you wish 18:38:12 in these cases it should look AFAIR more like a classical inscription (apices, small caps, no JU) or a medieval/renaissance one (no apices) 18:42:57 -!- felt has quit (Ping timeout: 240 seconds). 18:43:20 -!- subleq_ has quit (Ping timeout: 272 seconds). 18:43:36 -!- subleq has joined. 18:46:50 -!- felt has joined. 18:49:22 -!- maxalt11 has joined. 18:51:09 -!- felt has quit (Remote host closed the connection). 18:53:32 OK, but what are the meaning of those? I don't know Latin so well. Then I can add them into the proper places 18:57:33 -!- maxalt11 has quit (Ping timeout: 260 seconds). 18:57:50 -!- Matthew_19 has joined. 18:58:01 Thank you to figure it out though 19:04:08 -!- change has joined. 19:04:20 -!- Matthew_19 has quit (Ping timeout: 276 seconds). 19:08:53 -!- bradcomp has quit (Ping timeout: 276 seconds). 19:12:17 -!- change has quit (Ping timeout: 244 seconds). 19:15:15 [[Talk:Unassignable-ABCDXYZ equivalency proof]] https://esolangs.org/w/index.php?diff=57353&oldid=11581 * Zseri * (+375) 19:17:38 -!- tromp has quit (Remote host closed the connection). 19:19:20 -!- oerjan has joined. 19:20:34 zzo38: the first for the first in the text and the second for the second 19:21:01 first on the outside of the box and second inside 19:21:28 I’ll relay your thanks :) 19:25:30 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds). 19:33:10 OK 19:40:11 -!- tromp has joined. 19:51:34 -!- jcline12 has joined. 19:51:36 -!- nodist has joined. 19:53:19 -!- SopaXorzTaker has quit (Remote host closed the connection). 19:53:38 * oerjan sort of thought latin used fewer pronouns than that 19:53:48 pro-drop and all 19:54:38 -!- jcline12 has quit (Remote host closed the connection). 19:55:20 -!- felt has joined. 19:58:59 -!- felt has quit (Remote host closed the connection). 19:59:17 I don't know if it is or not, using fewer pronouns than that. 19:59:34 -!- bradcomp has joined. 20:01:30 it's rare to use pronouns in Latin except for emphasis, as verbs have "implied" pronouns along with them 20:01:35 -!- nodist has quit (Quit: Leaving). 20:01:37 which they default to if no subject is reasonable 20:01:44 I think you can use pronouns for the object reasonably enough 20:01:51 *if no subject is given 20:05:39 What is the case in the Latin inscriptions mentioned in my story? 20:06:30 i suppose the only actual finite verb there is dixi, whose pronoun _is_ missing. 20:06:39 -!- mlhess has joined. 20:06:52 -!- bradcomp has quit (Ping timeout: 256 seconds). 20:08:08 the first sentence seems to have dropped the verb for to be instead of the pronoun (which may also be common) 20:08:48 oh well i'm no expert. 20:11:02 -!- mlhess has quit (Remote host closed the connection). 20:11:39 -!- bradcomp has joined. 20:13:23 -!- eir17 has joined. 20:19:13 -!- eir17 has quit (Ping timeout: 260 seconds). 20:20:20 -!- sebbu has quit (Ping timeout: 256 seconds). 20:22:53 -!- earlz5 has joined. 20:22:54 -!- bradcomp has quit (Read error: Connection timed out). 20:23:00 -!- earlz5 has quit (Killed (Sigyn (Spam is off topic on freenode.))). 20:23:19 -!- bradcomp has joined. 20:23:43 Is there variant of OpenID which can be used without a HTML document or stuff like that, making it independent of the user interface? (How exactly you then identify will depend on the server working. Of course there can still be protocols, e.g. HTTP(S) or FTP or Gopher can be used to automatically download an information file.) 20:27:24 -!- sebbu has joined. 20:32:48 -!- nikivi11 has joined. 20:38:05 -!- Phantom_Hoover has joined. 20:41:58 -!- nikivi11 has quit (Ping timeout: 260 seconds). 21:01:57 -!- atslash has quit (Ping timeout: 240 seconds). 21:07:20 -!- themill2 has joined. 21:07:36 -!- themill2 has quit (K-Lined). 21:24:42 -!- atslash has joined. 21:25:03 -!- XorSwap has joined. 21:52:04 -!- ais523 has quit (Quit: quit). 21:56:13 -!- atslash has quit (Quit: This computer has gone to sleep). 21:57:14 -!- bradcomp has quit (Ping timeout: 276 seconds). 21:59:02 -!- AnotherTest has quit (Ping timeout: 272 seconds). 21:59:19 -!- Shibe19 has joined. 22:01:32 -!- pj7 has joined. 22:03:29 -!- Shibe19 has quit (Remote host closed the connection). 22:10:38 -!- pj7 has quit (Ping timeout: 260 seconds). 22:12:33 -!- siso_10 has joined. 22:15:38 -!- siso_10 has quit (Killed (Sigyn (Spam is off topic on freenode.))). 22:16:19 -!- grumble has quit (Remote host closed the connection). 22:20:02 -!- grumble has joined. 22:20:24 -!- xkapastel has quit (Quit: Connection closed for inactivity). 22:23:29 -!- bradcomp has joined. 22:27:35 -!- bradcomp has quit (Ping timeout: 240 seconds). 22:28:14 -!- imode has joined. 22:37:23 -!- bradcomp has joined. 22:48:29 -!- kline17 has joined. 22:52:34 -!- yaewa has joined. 22:53:11 -!- kline17 has quit (Remote host closed the connection). 22:53:38 -!- yaewa has quit (Client Quit). 22:54:08 -!- moei has quit (Ping timeout: 272 seconds). 22:56:07 -!- zseri has quit (Quit: Leaving). 22:56:29 -!- \oren\ has joined. 22:56:36 -!- xkapastel has joined. 22:56:39 <\oren\> https://steamuserimages-a.akamaihd.net/ugc/954088127500733730/34060460FB95C746608C9E2C3930A1CAA668E9D7/ 23:03:43 -!- bradcomp has quit (Ping timeout: 260 seconds). 23:04:44 -!- evil has joined. 23:05:48 -!- evil has quit (Remote host closed the connection). 23:12:14 -!- bradcomp has joined. 23:14:45 -!- moei has joined. 23:20:56 -!- Phanes has joined. 23:28:57 -!- Phanes has quit (Ping timeout: 240 seconds). 23:30:32 -!- oerjan has quit (Quit: Nite). 23:34:10 -!- LKoen has quit (Remote host closed the connection). 23:39:06 -!- bradcomp has quit (Ping timeout: 272 seconds).