00:11:55 [[Decorat]] N https://esolangs.org/w/index.php?oldid=153651 * I am islptng * (+1301) Created page with "Decorat is a type of assembly language designed by islptng. == Syntax == Each line is: keyword argument For example: put 15 To define a label, write labelname: put 15 To use a label, enclose it in <> : jnz Comment, like other assembly, is a 00:20:41 [[Decorat]] https://esolangs.org/w/index.php?diff=153652&oldid=153651 * I am islptng * (+368) 00:21:22 [[Decorat]] https://esolangs.org/w/index.php?diff=153653&oldid=153652 * I am islptng * (+11) 00:57:47 -!- amby has quit (Quit: so long suckers! i rev up my motorcylce and create a huge cloud of smoke. when the cloud dissipates im lying completely dead on the pavement). 01:14:06 -!- Everything has joined. 02:59:54 -!- Everything has quit (Ping timeout: 272 seconds). 03:01:10 -!- Everything has joined. 03:36:15 -!- craigo has joined. 03:54:29 -!- lynndotpy6 has quit (Quit: bye bye). 03:55:43 -!- lynndotpy6 has joined. 04:00:00 -!- Taneb0 has quit (Quit: I seem to have stopped.). 04:01:11 -!- Taneb has joined. 05:03:46 -!- mtm has quit (Ping timeout: 248 seconds). 05:06:40 -!- mtm has joined. 05:28:41 [[User talk:]] https://esolangs.org/w/index.php?diff=153654&oldid=153524 * * (+157) /* Bad news */ 05:37:21 [[StormScript]] https://esolangs.org/w/index.php?diff=153655&oldid=153213 * I am islptng * (-1886) Replaced content with "{{Distinguish/Confusion|StormLang}} {{WIP}}" 06:28:08 -!- ski has joined. 06:59:55 -!- Sgeo has quit (Read error: Connection reset by peer). 07:08:32 -!- craigo has quit (Read error: Connection reset by peer). 07:08:50 -!- craigo has joined. 07:12:18 -!- Lord_of_Life_ has joined. 07:12:39 -!- Lord_of_Life has quit (Ping timeout: 260 seconds). 07:13:41 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 08:15:14 -!- craigo has quit (Quit: Leaving). 08:16:03 -!- craigo has joined. 08:37:59 [[Ixth]] https://esolangs.org/w/index.php?diff=153656&oldid=133280 * Stkptr * (+1754) Turing complete 08:39:41 [[Ixth]] M https://esolangs.org/w/index.php?diff=153657&oldid=153656 * Stkptr * (+56) /* Commands */ 09:16:18 -!- Everything has quit (Ping timeout: 276 seconds). 10:56:40 -!- FreeFull has quit. 11:02:57 [[10 digits, 100 digytes]] https://esolangs.org/w/index.php?diff=153658&oldid=153637 * PrySigneToFry * (-6) "It supports infinity cell" "3 and 4 means variable" 12:24:29 Hi 13:17:44 [[User talk:I am islptng]] https://esolangs.org/w/index.php?diff=153659&oldid=153475 * Hotcrystal0 * (+123) /* A new esolang */ new section 13:17:55 [[User talk:I am islptng]] https://esolangs.org/w/index.php?diff=153660&oldid=153659 * Hotcrystal0 * (+93) 13:45:58 -!- amby has joined. 13:56:25 [[User talk:Zopium]] N https://esolangs.org/w/index.php?oldid=153661 * MihaiEso * (+407) Created page with "==Quote== :''Please note that I'm not from an English speaking country'' - What non-English speaking country? France? Germany? Italy? ~~~~" 15:05:43 [[Pointing]] M https://esolangs.org/w/index.php?diff=153662&oldid=153085 * Calculus is fun * (+57) /* Operators & variables */ 15:29:53 -!- craigo has quit (Quit: Leaving). 16:29:29 -!- yayimhere has joined. 16:29:52 hello I haven't been here for a long time. so hi. 16:49:15 -!- yayimhere has quit (Quit: Ping timeout (120 seconds)). 16:53:10 -!- yayimhere has joined. 16:59:37 -!- yayimhere has quit (Quit: Ping timeout (120 seconds)). 17:00:12 -!- yayimhere has joined. 17:02:48 -!- yayimhere has quit (Client Quit). 17:05:09 -!- mtm has quit (Ping timeout: 252 seconds). 17:06:29 -!- mtm has joined. 17:10:07 -!- yayimhere has joined. 17:11:05 I wonder... 17:11:07 hmmm 17:11:19 ok so we all know that the more rules a system has the more complex it is 17:11:25 the less complex it can behave 17:11:54 but is it possible to make an esolang that with approximate exponential rate will, with increase in rules increase complexity 17:12:03 like the more rules you add the more complexity 17:12:17 and that relation is approx exponetial 17:17:34 -!- yayimhere has quit (Quit: Ping timeout (120 seconds)). 17:21:12 [[User:RocketRace]] https://esolangs.org/w/index.php?diff=153663&oldid=149674 * RocketRace * (+44) 17:40:24 -!- yayimhere has joined. 17:46:48 hmmmmmmm 17:47:49 wait that would mean (I think) that at a finite amount of rules it would be Turing complete 17:48:02 AND that at any amount higher than that I would be more than Turing complete 17:48:03 right? 17:48:58 yayimhere: Welcome back. 17:49:10 thanks korvo :) 17:49:53 It depends on exactly what you mean by "complexity". If you're thinking of space and time resources, then yes. 17:51:30 I mean complexity as in like, how many states are achivable 17:51:56 Trivially yes. 17:52:22 For example, a dictionary is exponentially big in the number of letters in the underlying alphabet. 17:53:00 Think of words as (accepting) states of automata over that alphabet. 17:56:33 yayimhere: None of this has much to do with Turing-completeness though; a TC system must have infinitely many states. 17:56:39 true 17:57:09 well that would be uninteresting 17:57:12 whatever 18:03:14 wait. oho im getting ideas agian 18:03:16 what if you 18:03:17 like 18:03:34 most musical things you can make into drive 18:03:47 like if you have an effect you can usually make it some sort of drive 18:03:51 but what if you like 18:03:56 did that with the values in a language 18:04:01 mad all the operators into drive 18:04:08 wtf am I even saying 18:04:12 i gotta think about dis 18:14:31 -!- lynndotpy6 has quit (Quit: bye bye). 18:15:46 -!- lynndotpy6 has joined. 18:22:06 -!- yayimhere has quit (Ping timeout: 240 seconds). 18:29:42 -!- molson_ has quit (Remote host closed the connection). 18:30:09 -!- molson has joined. 18:32:18 -!- molson has quit (Remote host closed the connection). 18:34:45 -!- molson has joined. 18:37:19 -!- molson has quit (Remote host closed the connection). 18:37:42 -!- molson has joined. 18:41:34 -!- molson has quit (Remote host closed the connection). 18:45:41 -!- molson has joined. 18:47:39 -!- molson has quit (Remote host closed the connection). 18:50:19 -!- molson has joined. 19:01:58 -!- molson has quit (Remote host closed the connection). 19:17:24 -!- molson has joined. 19:32:32 -!- molson has quit (Quit: Leaving). 19:34:26 -!- molson has joined. 19:37:22 -!- molson_ has joined. 19:42:43 -!- molson has quit (Quit: Leaving). 19:52:38 [[User talk:I am islptng]] https://esolangs.org/w/index.php?diff=153664&oldid=153660 * I am islptng * (+549) /* A new esolang */ 20:02:51 [[User:Aadenboy]] https://esolangs.org/w/index.php?diff=153665&oldid=152723 * Aadenboy * (+1127) rehaul 20:41:57 [[User talk:I am islptng]] https://esolangs.org/w/index.php?diff=153666&oldid=153664 * Hotcrystal0 * (+135) 20:42:27 [[User:Hotcrystal0/Deep]] N https://esolangs.org/w/index.php?oldid=153667 * Hotcrystal0 * (+3) Created page with "WIP" 20:42:54 [[User:Hotcrystal0]] https://esolangs.org/w/index.php?diff=153668&oldid=153585 * Hotcrystal0 * (+40) 20:43:35 [[User:Hotcrystal0]] https://esolangs.org/w/index.php?diff=153669&oldid=153668 * Hotcrystal0 * (+6) 20:45:18 [[Talk:]] N https://esolangs.org/w/index.php?oldid=153670 * Hotcrystal0 * (+223) Created page with "Can I add hotcrystal0s version which replaces the ** with [] for improved readability and being interpreted easier? ~~~~" 20:45:53 [[User talk:I am islptng]] https://esolangs.org/w/index.php?diff=153671&oldid=153666 * Hotcrystal0 * (+54) /* A new esolang */ 20:49:34 [[Rotate-Flak]] N https://esolangs.org/w/index.php?oldid=153672 * Hotcrystal0 * (+38) Created page with "{{lowercase}} #REDIRCT [[afefoj-Flak]]" 20:49:50 [[Rotate-Flak]] https://esolangs.org/w/index.php?diff=153673&oldid=153672 * Hotcrystal0 * (+1) 20:49:59 [[Rotate-Flak]] https://esolangs.org/w/index.php?diff=153674&oldid=153673 * Hotcrystal0 * (+0) Redirected page to [[Afefoj-Flak]] 20:50:22 [[User:Aadenboy]] M https://esolangs.org/w/index.php?diff=153675&oldid=153665 * Aadenboy * (-119) /* other esolangs */ 20:51:36 [[User talk:PkmnQ]] https://esolangs.org/w/index.php?diff=153676&oldid=152603 * Hotcrystal0 * (+132) 21:04:38 [[User:Hotcrystal0/Deep]] https://esolangs.org/w/index.php?diff=153677&oldid=153667 * Hotcrystal0 * (+76) 21:05:05 [[User:Hotcrystal0/Deep]] https://esolangs.org/w/index.php?diff=153678&oldid=153677 * Hotcrystal0 * (+2) 21:06:15 [[Language list]] M https://esolangs.org/w/index.php?diff=153679&oldid=153645 * Buckets * (+11) 21:07:51 [[User:Buckets]] M https://esolangs.org/w/index.php?diff=153680&oldid=153646 * Buckets * (+10) 21:08:08 [[HAps]] N https://esolangs.org/w/index.php?oldid=153681 * Buckets * (+840) Created page with "HAps is an Esoteric programming language created by [[User:Buckets]] in 2021. (It can Only Register 12 commands at a time and only 2 cells and starts with 1.) {| class="wikitable" |- ! Commands !! Instructions |- | 0 || +1. |- | 1 || -1. |- | 2 || Flip to the other cell. |- 21:14:23 -!- molson_ has quit (Quit: Leaving). 21:21:33 -!- molson has joined. 21:22:09 -!- ski has quit (Ping timeout: 260 seconds). 21:41:57 -!- molson has quit (Quit: Leaving). 22:00:57 My idea of the operating system design involved, one of the things it is, is that it is expect that if all inputs of a program are the same (regardless of how much time it takes to send those inputs) then the observable behaviour of the program will also be the same. Furthermore, you can filter and redirect I/O like on UNIX but this applies to all I/O rather than only standard I/O. 22:01:11 I think there are many advantages of doing these things in these ways. 22:04:51 Also, I found a weather by finger (graph.no; send a blank line to port 79 for a description) 22:36:01 -!- Sgeo has joined. 22:48:41 zzo38: define input 22:50:07 is getting the current time an input 22:50:20 zzo38: complete determinism for the programs is probably not possible to implement efficiently on current hardware 22:51:18 Yes. Getting the current time is an input, too. A program needs permission to determine the current date/time, like it does for any other I/O. 22:51:49 is thread scheduling an input 22:52:42 e.g. if i do local=global++ from two different threads and global is an atomic counter 22:53:26 Threads handled by the operating system cannot share memory like that, although you can have threads that are not handled by the operating system. 22:54:37 threads cannot share memory? 22:56:16 In order to handle these security guarantees, it will be necessary to disallow threads from sharing memory, although you can use "green threads" instead, in which case they can share memory. (Alternatively, shared memory may be restricted by the use of locks, etc; even then, it will be necessary to handle by the I/O system so that this can be overridden.) 22:56:53 there are things like rdrand 22:57:13 or equivalent things on other architectures 22:57:15 is that disabled? 22:57:30 Yes, they would have to be disabled. 22:57:45 cpu perf counters? 22:57:59 Those would be disabled too. 22:58:39 so what do we do once we have this 22:59:24 all forms of async io also disabled? unix signals disabled? 22:59:57 (And, if the program tries to execute an unimplemented instruction, the operating system might be able to emulate it, e.g. bit manipulation extensions.) 23:00:57 It is not UNIX, so it does not have UNIX signals (although it might have something similar). Async is still possible, although you can use proxies or modify the operating system to guarantee the order if necessary. 23:03:59 (Asynchronous I/O is sometimes necessary; there are reasons why it will be necessary to keep it, although there will be ways to work around it.) 23:16:04 b_jonas: Which specific details will make it inefficient? (On some systems, using a hypervisor might help, maybe.) (Also, as I said there are a few compromises necessary but it will be needed to be possible to work around these easily.) 23:20:49 zzo38: last time I looked, I had the impression that CPUs are built such that it's hard to eliminate all the non-determinacy from programs that deliberately try to be non-deterministic by doing weird things, and I think the only way around that would be some kind of overkill like a whole virtual machine. but I could be wrong. 23:21:21 or perhaps you'd need some kind of compiler 23:29:14 deterministic compilation is an area of study 23:29:58 I once was called into a meeting with weird C behavior and the only thing I could tell them is that you don't have any guarantees whatsoever 23:30:06 which was the wrong answer :/ 23:30:58 https://blog.conan.io/2019/09/02/Deterministic-builds-with-C-C++.html 23:34:09 so, not only do we have non-deterministic cpus at this point, we also have non-deterministic compilers 23:34:21 but industry has been pushing back on that 23:41:37 Making different CPU designs (and other details of the computer hardware) might be another possible consideration (although it can also be emulated on other types of computers, perhaps) 23:53:16 Makes me think of Galois theory for programs. Like, the input-determines-output requirement is merely requiring a program to implement a function, right? 23:59:47 [[StackBBQ]] https://esolangs.org/w/index.php?diff=153682&oldid=153474 * Stkptr * (+901) Total