01:35:49 -!- inhahe has quit (Read error: Connection reset by peer).
01:35:51 -!- Guest75 has joined.
01:36:02 -!- Guest75 has quit (Client Quit).
01:38:50 -!- inhahe has joined.
02:13:55 -!- svm has changed nick to msv.
02:55:56 <esolangs> [[Befunge]] https://esolangs.org/w/index.php?diff=184913&oldid=183135 * JeffCalc84 * (+139)
03:05:49 -!- MizMahem_ has joined.
03:25:26 -!- sprock has joined.
04:16:54 <esolangs> [[Insanity]] https://esolangs.org/w/index.php?diff=184914&oldid=154718 * PythonshellDebugwindow * (+481) Add interpreter and examples
05:09:34 -!- lisbeths has joined.
05:20:25 <esolangs> [[Special:Log/newusers]] create * C16D6 * New user account
06:07:59 -!- tetsuo-cpp has quit (Ping timeout: 272 seconds).
06:10:22 -!- tetsuo-cpp has joined.
06:11:38 -!- lisbeths has quit (Ping timeout: 252 seconds).
06:15:14 -!- lisbeths has joined.
06:37:18 -!- hypha_ has joined.
06:38:10 -!- Sgeo has quit (Read error: Connection reset by peer).
06:39:02 -!- hypha has quit (Ping timeout: 259 seconds).
06:39:02 -!- hypha_ has changed nick to hypha.
06:42:49 -!- sprock has quit (Ping timeout: 245 seconds).
06:57:06 -!- azul_ has joined.
07:18:54 -!- lisbeths has quit (Quit: Connection closed for inactivity).
07:36:52 -!- ais523 has joined.
07:37:54 <esolangs> [[Talk:Cubik]] M https://esolangs.org/w/index.php?diff=184915&oldid=184910 * Fabiot * (+192)
07:42:11 <esolangs> [[Cubik]] M https://esolangs.org/w/index.php?diff=184916&oldid=184909 * Fabiot * (+38)
07:49:05 -!- rodgort has quit (Ping timeout: 252 seconds).
08:01:46 -!- rodgort has joined.
08:21:55 -!- b_jonas has quit (Quit: leaving).
08:37:47 <esolangs> [[User talk:I am islptng/On PSTF's Plagiarism]] M https://esolangs.org/w/index.php?diff=184917&oldid=184458 * Ractangle * (+2)
08:48:06 <esolangs> [[Turing machine++]] N https://esolangs.org/w/index.php?oldid=184918 * Fabiot * (+1372) Created page with "[[User:Fabiot]], the creator of [[Cubik]], presents: Turing Machine++! I know that this is obiously Turing complete. But lets see the: == Commands!!! == (Yeah, i maked a reference to Cubik) There's '''3''' types of commands: * The program unique command * The
08:49:16 <esolangs> [[User:Fabiot]] M https://esolangs.org/w/index.php?diff=184919&oldid=184902 * Fabiot * (+13) /* Fabiot */
08:59:11 <esolangs> [[Closed lambda term]] https://esolangs.org/w/index.php?diff=184920&oldid=180884 * Blashyrkh * (+228) /* Completeness */ Expressions for K,B,C,W,S in Tromp's Alpha and my Beta bases
09:01:49 <esolangs> [[Turing machine++]] M https://esolangs.org/w/index.php?diff=184921&oldid=184918 * Fabiot * (+30)
09:14:23 <esolangs> [[Crazy J]] https://esolangs.org/w/index.php?diff=184922&oldid=184675 * Blashyrkh * (-10) /* BCS+ */ Shortest IJ expression for V* in unlambda-style syntax
09:34:38 <esolangs> [[Qadi]] https://esolangs.org/w/index.php?diff=184923&oldid=184886 * ChuckEsoteric08 * (+1923)
09:35:25 <esolangs> [[Qadi]] https://esolangs.org/w/index.php?diff=184924&oldid=184923 * ChuckEsoteric08 * (+74) /* PositiveJump syntax and TC proof */
09:35:42 <esolangs> [[Qadi]] https://esolangs.org/w/index.php?diff=184925&oldid=184924 * ChuckEsoteric08 * (+0) /* Computational class */
09:36:01 <esolangs> [[User:ChuckEsoteric08]] https://esolangs.org/w/index.php?diff=184926&oldid=182106 * ChuckEsoteric08 * (+10) /* Turing-completness Proofs */
09:39:12 <APic> Morning ais523 ☺
09:39:24 <ais523> it is the morning here too
09:51:31 <esolangs> [[Industryscript]] https://esolangs.org/w/index.php?diff=184927&oldid=183860 * Mrtli08 * (+486)
10:05:23 -!- Lymia has quit (Quit: No Ping reply in 180 seconds.).
10:06:46 -!- Lymia has joined.
10:08:39 <ais523> I think I've come up with a new manual memory management primitive, which solves a problem I've been trying to solve for years
10:08:51 <ais523> imagine a Haskell-like let…in construct, that's used to bind the result of a function call
10:09:00 <ais523> i.e. let a = function_call() in { … }
10:09:33 <ais523> now, suppose that the function's pointable stack memory (i.e. its local variables that you can form pointers to) doesn't get deallocated at the end of the function
10:09:49 <ais523> instead, it gets deallocated at the end of the block where the let…in binds the value
10:10:08 <ais523> this means that the function can return a reference to its own local variables, and the caller will be able to use it
10:11:00 <ais523> normally languages like C and Rust require you to use heap memory to do this sort of thing, but in this case, the pointable stack memory does in fact form a stack – its pushes and pops don't match calls and returns any more but they are still well-nested
10:12:40 <ais523> so, all you need is two stacks, one for calls and spills (i.e. local variables that can't be pointed to and that can't be stored in a register for some reason), and one for allocas (i.e. pointable stack memory), and you have a model in which functions can return data without heap allocations and without the caller needing to supply a buffer (which makes variable-size returns possible, which they aren't when the caller supplies a buffer)
10:13:36 <ais523> this is interestingly related to a number of other computer science concepts, e.g. you can imagine the let…in block as a closure used as a callback, and the return statement of the called function as calling it
10:13:48 <ais523> or you can imagine the called function as a coroutine which yields the value it's returnign
10:14:16 <ais523> (the former of these is related to continuation-passing style except it isn't made entirely out of tailcalls)
10:14:56 <ais523> and although I'm not 100% sure, I *think* this technique can only lead to unbounded stack usage (assuming finitely large allocas) if the functions are recursive, which is a situation already known to lead to unbounded stack usage
10:15:32 <ais523> (I am reminded of something korvo said a while ago, about calls and returns not necessarily being the right abstraction – this is *similar* to calls and returns but doesn't exactly map onto it, and the underlying memory discipline is different)
10:20:51 <esolangs> [[User:None1/InDev]] https://esolangs.org/w/index.php?diff=184928&oldid=184752 * None1 * (+489)
10:21:01 <esolangs> [[User:None1/InDev]] https://esolangs.org/w/index.php?diff=184929&oldid=184928 * None1 * (+1)
10:47:04 <esolangs> [[User:None1/InDev]] https://esolangs.org/w/index.php?diff=184930&oldid=184929 * None1 * (+541)
11:32:42 -!- Lord_of_Life has quit (Ping timeout: 252 seconds).
12:09:48 -!- Lord_of_Life has joined.
13:57:54 <esolangs> [[NFOS]] https://esolangs.org/w/index.php?diff=184931&oldid=179111 * Yayimhere2(school) * (+43) /* Extension */
14:34:20 <esolangs> [[DODO]] M https://esolangs.org/w/index.php?diff=184932&oldid=182242 * QuantumV * (+201) add label generation instructions
14:38:18 -!- azul_ has quit (Quit: Leaving).
14:43:46 <esolangs> [[Talk:See Two]] N https://esolangs.org/w/index.php?oldid=184933 * Yayimhere2(school) * (+233) Created page with "would be nice to have the page actually describe the esolang with human language(and so with many other of your pages). --~~~~"
14:52:44 <esolangs> [[Talk:See Two]] https://esolangs.org/w/index.php?diff=184934&oldid=184933 * Miui * (+74)
14:53:00 <esolangs> [[Talk:See Two]] https://esolangs.org/w/index.php?diff=184935&oldid=184934 * Miui * (+70)
14:53:53 <esolangs> [[Talk:See Two]] https://esolangs.org/w/index.php?diff=184936&oldid=184935 * Blashyrkh * (+115)
15:00:45 <esolangs> [[Talk:See Two]] https://esolangs.org/w/index.php?diff=184937&oldid=184936 * Miui * (+203)
15:12:52 -!- tromp has joined.
15:14:42 <esolangs> [[Talk:See Two]] https://esolangs.org/w/index.php?diff=184938&oldid=184937 * Yayimhere2(school) * (+253)
15:27:20 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
15:54:20 -!- tromp has joined.
16:05:43 <korvo> ais523: Interesting. Reminds me of C-- code emission in OCaml and Haskell, where `let` indicates dynamic allocations.
16:05:57 <ais523> huh, I didn't know OCaml used C--
16:06:38 <korvo> It doesn't. Don't know why I said that, sorry.
16:07:12 <ais523> stack allocations are underused primarily because runtimes like to put small limits on the stack (which is partly to catch runaway recursions and partly to simplify things when multiple stacks are in use, e.g. with stackful coroutines or multiple threads)
16:07:51 <ais523> I find it frustrating when I have come up with an elegant recursive algorithm, then have to rewrite it to use a manually-managed stack on the heap because the hardware stack isn't doing its job properly
16:14:51 -!- Lord_of_Life has quit (Excess Flood).
16:16:43 -!- Lord_of_Life has joined.
16:23:34 -!- MizMahem_ has quit (Quit: Connection closed for inactivity).
16:46:41 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
16:58:46 -!- tromp has joined.
17:10:14 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
17:12:20 -!- tromp has joined.
17:47:48 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
18:02:33 -!- tromp has joined.
18:04:13 -!- ais523 has quit (Quit: quit).
18:23:58 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
18:35:19 -!- Sgeo has joined.
19:07:29 -!- MizMahem_ has joined.
19:08:12 <esolangs> [[Fun2]] N https://esolangs.org/w/index.php?oldid=184939 * AndrewBayly * (+12333) Created Fun2 Initial Page
19:13:18 <esolangs> [[User:AndrewBayly]] https://esolangs.org/w/index.php?diff=184940&oldid=184858 * AndrewBayly * (+82) Added Fun2
19:14:24 <esolangs> [[User:AndrewBayly]] https://esolangs.org/w/index.php?diff=184941&oldid=184940 * AndrewBayly * (-1) typo
19:15:02 <esolangs> [[User:AndrewBayly]] M https://esolangs.org/w/index.php?diff=184942&oldid=184941 * AndrewBayly * (+4) fixed link
19:18:14 -!- azul_ has joined.
19:19:50 <esolangs> [[Fun2]] M https://esolangs.org/w/index.php?diff=184943&oldid=184939 * AndrewBayly * (+116)
19:37:47 -!- GregorR2 has joined.
19:41:18 -!- GregorR2 has quit (Client Quit).
19:42:35 -!- GregorR2 has joined.
20:49:30 -!- azul_ has quit (Quit: q).
20:58:21 <esolangs> [[User talk:Truttle1]] https://esolangs.org/w/index.php?diff=184944&oldid=166562 * Fabiot * (+172)
21:18:26 -!- tromp has joined.
22:08:28 -!- Lord_of_Life has quit (Excess Flood).
22:10:05 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
22:10:30 -!- Lord_of_Life has joined.
22:12:49 -!- Lord_of_Life has quit (Excess Flood).
22:55:01 -!- Lord_of_Life has joined.