←2021-05-30 2021-05-31 2021-06-01→ ↑2021 ↑all
00:07:12 <esowiki> [[Esolang:Sandbox]] M https://esolangs.org/w/index.php?diff=83722&oldid=83707 * PythonshellDebugwindow * (+61) Make better title
00:13:43 <esowiki> [[Esolang:Sandbox]] M https://esolangs.org/w/index.php?diff=83723&oldid=83722 * PythonshellDebugwindow * (+301) .
00:15:51 <esowiki> <salpynx> :( I have just realised my WIP omega-word language that was meant to be sub-TC and in the category of FSM + some strange but still limited infinite extension is a super set of oracle machines pretty much by definition, so is apparently super-TC
00:17:20 <esowiki> <salpynx> at least, unlike other haha-halting problems langs on the wiki, this thing can at least implement and play real low level FSMs with minimal syntax.
00:18:57 <esowiki> <b_jonas> shachaf: but isn't it like you have two ways to find repeats, the slow and fast movement that Pollard traditionally uses and the values with a hash ending in zero that you traditionally use for finding hash collisions, but in theory you can use either for a prime factoring algorithm similar to Pollard or for finding hash collisions?
00:35:46 -!- delta23 has quit (Quit: Leaving).
00:50:53 <esowiki> <b_jonas> why not? just hash the points and distinguish them if the hash is low enough
00:51:06 <esowiki> <b_jonas> I could be wrong here
00:51:32 <esowiki> <b_jonas> I have implemented Pollard rho prime decomposition once but don't quite remember how it works, and hash collision finding very few times
01:08:25 <esowiki> <b_jonas> oh! yes, that's how Pollard worked
01:08:30 <esowiki> <b_jonas> then what I said is stupid
01:08:38 <esowiki> <b_jonas> sorry
01:09:21 <esowiki> <b_jonas> anyway, I have a very different programming question
01:12:01 <esowiki> <b_jonas> you know how in C++ or rust, you can use constructors and destructors to implement an interface for reference-counted smart pointers such that they automatically increment the refcount when you copy the pointer and decrement it when you get rid of it
01:12:10 <esowiki> <b_jonas> this works well and is proven technology
01:14:19 <esowiki> <b_jonas> you can also do something similar, but not quite the same, for a garbage collector. there the problem is that the collector has to be able to access not only structure on your heap but also your local variables on the stack. there are two methods for this: conservative garbage collectors that just scan the stack and assume that any word might be a pointer, in which case they have to be able to validate
01:14:25 <esowiki> <b_jonas> what numbers are valid pointers, and normal ones where you have to keep track of which variables are pointers
01:16:07 <esowiki> <b_jonas> my question is, how much harder does such a natural interface get between moving/generational garbage collectors compared to garbage collectors where the pointer value never has to change? I have seen two interfaces for moving garbage collectors: the one in Lua where you can effectively only store pointers only on the Lua stack and you have to index them, and the mzscheme one that I haven't looked at
01:16:13 <esowiki> <b_jonas> for a long time and can't remember how it works
01:18:39 <esowiki> <b_jonas> ghc has a garbage collector too, but no proper interface for extensions where they can easily own pointers. they can create stable pointers, or store pointers in normal haskell algebraic type values, but neither is really convenient from C code.
01:19:48 <esowiki> <b_jonas> ruby 1.6 has a conservative garbage collector so you can just use plain pointers, as long as you don't try xor trick on them or store them anywhere other than on ruby's heap or the stack
01:20:15 <esowiki> <b_jonas> I don't know if recent ruby 2 still has that
01:20:23 <esowiki> <b_jonas> they have changed a lot of details about the core
01:20:56 <esowiki> <b_jonas> well, they also changed a lot about the language
01:22:07 <esowiki> <b_jonas> perl uses refcounting of course
01:25:18 <esowiki> <b_jonas> ah yes, tortoise and hare, that's what it's called!
01:26:07 <esowiki> <b_jonas> shachaf: dunno but it's probably not worth because if you want something more complex than pollard, there are much faster prime factoring algorithms these days
01:30:47 <esowiki> <b_jonas> hmm, I wrote a pollard rho prime factorizer for the Sharp EL-5120 calculator, but I can't find it in my records of EL-5120 programs. but then, I wrote way more programs for that than I have records for, in particular I have written a rudimentary minesweeper program that I don't have the source code for.
01:30:50 -!- delta23 has joined.
01:33:08 <esowiki> <b_jonas> also a program that implements McCulloch's 2nd machine, but that's sort of useless because it only handles values up to between 10 and 12 digits long (12 digit should work I think, but I'm not sure, because there's some peculiar behavior that makes anything longer than 10 digits hard to handle, specifically if you subtract two numbers and the exponent of the result would be ten orders of magnitude less
01:33:14 <esowiki> <b_jonas> than the inputs than the result is forcibly zero, even though there are two significant digits that the operation could return)
01:44:26 <esowiki> <b_jonas> I do have the source of my two trial division prime factorization programs for the EL-5120, and they're called FELB.4+ and FELB.5 so they aren't the first such programs that I wrote
01:44:35 <esowiki> <b_jonas> I don't know why I don't have the pollard one preserved
01:45:17 <esowiki> <b_jonas> ISTR that was by far the best prime factorizer I wrote for that calculator
01:45:59 <esowiki> <b_jonas> unless perhaps this FELB.5 is a Pollard program and I just have no idea how it works
01:46:29 <esowiki> <b_jonas> but that seems unlikely because I'm pretty sure "if =fpart(V/Wgoto 5;if =fpart(V/(W+2goto 5;W=W+6" is trial division
01:48:17 <esowiki> <b_jonas> apart form the two factorizers, I have a quadratic equation solver and the maze game
01:49:53 <esowiki> [[User:Salpynx/Galveston]] https://esolangs.org/w/index.php?diff=83724&oldid=83667 * Salpynx * (+3441) /* Computational class */ musings, trying to classify this thing
01:58:19 <esowiki> <b_jonas> int-e: TAOCP might answer that about the history
02:04:49 <esowiki> [[Esolang:Sandbox]] https://esolangs.org/w/index.php?diff=83725&oldid=83723 * ColorfulGalaxy (disambiguation) * (+136)
02:43:09 -!- metcalf has joined.
02:47:17 -!- metcalf has quit (Client Quit).
02:48:02 -!- metcalf has joined.
03:05:34 <esowiki> <zzo38> Is there a video codec for making screenshots of computer programs including games with 2D graphics?
03:06:05 <esowiki> <keegan> why should a special codec be needed?
03:12:36 <esowiki> <keegan> i see. so you want a lossless video codec? those exist
03:15:11 <esowiki> <keegan> or you want it to be lossy but in a different way? that's trickier
03:17:52 <esowiki> <nakilon> zzo38 "video" codec for making "screenshots"? I guess ffmpeg can make png screenshots in a loop
03:18:35 <esowiki> <nakilon> since when does #esolangs learned to make screenshots in png though
03:19:26 <esowiki> <keegan> int-e: good idea
03:19:42 <esowiki> <keegan> I'm sure someone has already made tools to record and play back VNC streams
03:24:57 -!- Noisytoot has quit (Quit: ZNC 1.8.2 - https://znc.in).
03:25:45 -!- Noisytoot has joined.
04:02:00 <esowiki> <zzo38> Yes I did mean copying rectangles can be very useful, possibly also fonts, icons, etc that may reappear in another frame later after it is absent for some frames, or multiples of the same icon or font, too
04:18:35 <esowiki> [[Special:Log/newusers]] create * Doridian * New user account
04:25:21 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=83726&oldid=83702 * Doridian * (+195)
04:43:54 -!- metcalf has quit (Quit: metcalf).
04:57:06 -!- ornxka has quit (Quit: ornxka).
05:11:01 <esowiki> [[Channeler]] N https://esolangs.org/w/index.php?oldid=83727 * Doridian * (+4890) Created page with "'''Channeler''' is an [[esoteric programming language]] created by [[User:Doridian]]. It is based around the idea of messaging channels (essentially function calls). '''Chann..."
05:42:06 <esowiki> [[Channeler]] https://esolangs.org/w/index.php?diff=83728&oldid=83727 * Doridian * (+4)
05:48:47 <esowiki> <pikhq> shachaf: i'll have a feud about screenshots wherever i feel like tyvm
06:01:35 -!- delta23 has quit (Quit: Leaving).
06:07:44 <esowiki> [[User:Salpynx/Galveston]] https://esolangs.org/w/index.php?diff=83729&oldid=83724 * Salpynx * (+338) /* External resources */ something I need to finish reading. Good because it talks about more than just accepting automata
06:16:15 <esowiki> [[Line]] https://esolangs.org/w/index.php?diff=83730&oldid=83716 * ColorfulGalaxy (disambiguation) * (+34) /* Conditional turn */
06:18:08 <esowiki> [[Line]] https://esolangs.org/w/index.php?diff=83731&oldid=83730 * ColorfulGalaxy (disambiguation) * (+156) /* Brainfuck compatibility */
06:22:40 -!- ornxka has joined.
07:06:22 <esowiki> [[Line]] https://esolangs.org/w/index.php?diff=83732&oldid=83731 * ColorfulGalaxy (disambiguation) * (+62) Recategorization
07:52:45 <esowiki> <b_jonas> shachaf: rabbits are bred for eating. we don't eat their eggs or milk, they don't pull carts or herd sheep or guard your house, their hide isn't too useful either. there's a limit on how cute you want an animal like that to be, above that people wouldn't be willing to eat them.
07:56:13 <esowiki> [[Talk:Line]] N https://esolangs.org/w/index.php?oldid=83733 * ColorfulGalaxy (disambiguation) * (+122) Created page with "==Crossover== The multiplication program mentioned signal crossover. Could you tell me how it works? <pre> | -+- |</pre>"
07:59:10 <esowiki> [[Line]] https://esolangs.org/w/index.php?diff=83734&oldid=83732 * ColorfulGalaxy (disambiguation) * (+41) Recategorization
07:59:11 <esowiki> <b_jonas> whereas we don't eat cats, they're bred to hunt rats and other pest animals. and I guess that's the evolutional reason why they offer you animals that they hunt: that lets the breeders actually evaluate how successful each cat is in at hunting. either that, or the egyptian gods did give some rewards for sacrificing lots of very low XP animals.
07:59:53 <esowiki> <ais523> zzo38: there's https://wiki.multimedia.cx/index.php?title=DosBox_Capture_Codec which was designed for making video recordings of 2D video game gameplay
08:00:17 <esowiki> <ais523> the format seems to have a few shortcomings, but it's supported widely enough that you can, e.g., upload a ZMBV-encoded video to YouTube and it understands it
08:00:34 <esowiki> <ais523> (and it replays in my computer's video player, too)
08:02:42 <esowiki> <ais523> I think it would be possible to do better using some sort of sprite+background encoding, like most 2D computer games actually use
08:02:52 <esowiki> <ais523> for communicating with the graphics card
08:08:44 <esowiki> [[Talk:Line]] https://esolangs.org/w/index.php?diff=83735&oldid=83733 * Relt * (+119)
08:23:21 <esowiki> [[Line]] https://esolangs.org/w/index.php?diff=83736&oldid=83734 * Relt * (-225)
10:21:12 -!- rodgort has quit (Quit: Leaving).
10:21:55 -!- rodgort has joined.
10:56:29 -!- LKoen has joined.
11:49:14 <esowiki> <fizzie> b_jonas: I don't think it's likely true, but a cat book suggested the thing about bringing you little offerings (often half-alive) is because they've noticed you kind of suck at the hunting part, and are trying to sort of get you started.
12:19:13 <esowiki> <arseniiv> :D
12:22:23 <esowiki> [[Esolang:Sandbox]] M https://esolangs.org/w/index.php?diff=83737&oldid=83725 * PythonshellDebugwindow * (+11) /* OK */ /* OK */
12:24:05 <esowiki> [[Esolang:Sandbox]] M https://esolangs.org/w/index.php?diff=83738&oldid=83737 * PythonshellDebugwindow * (+76) /* OK */ /* OK */ /* OK */
12:24:34 <esowiki> [[Esolang:Sandbox]] M https://esolangs.org/w/index.php?diff=83739&oldid=83738 * PythonshellDebugwindow * (+23) ;
13:00:16 <esowiki> <nakilon> now I wonder about rabbit milk
13:12:00 <esowiki> <nakilon> looks like there is not only nitter for twitter written in nim but also invidious for youtube written in crystal
13:13:46 <esowiki> <nakilon> chrome doesn't open https://nitter.net/
13:16:38 <esowiki> <nakilon> and since "As of September 1st 2020, invidio.us has closed down" looks like there is no other domain that would be always up according to https://stats.uptimerobot.com/89VnzSKAn (those green are just mirror lists)
13:17:41 <esowiki> [[Talk:Line]] M https://esolangs.org/w/index.php?diff=83740&oldid=83735 * PythonshellDebugwindow * (+68) Unsigned
13:20:11 -!- metcalf has joined.
13:23:03 -!- metcalf has quit (Client Quit).
13:23:20 -!- metcalf has joined.
13:26:00 <esowiki> <nakilon> someone should make an instance that would consume APIs of all those instances rotating them when they are down
13:29:16 <esowiki> <nakilon> also two days ago I've learned there is RSS in Youtube
13:30:29 <esowiki> [[Special:Log/newusers]] create * Arcane * New user account
13:34:49 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=83741&oldid=83726 * Arcane * (+167) /* Introductions */
13:35:19 <esowiki> [[User:Arcane]] N https://esolangs.org/w/index.php?oldid=83742 * Arcane * (+12) Created page with "Hello There!"
13:39:35 -!- metcalf has quit (Quit: metcalf).
13:39:50 <esowiki> <fizzie> fungot: You okay in there?
13:39:50 <esowiki> <fungot> fizzie: i think it was
13:39:54 <esowiki> <fizzie> Sounds good.
13:40:59 -!- metcalf has joined.
13:42:53 <esowiki> <hanif> ^style
13:42:53 <esowiki> <fungot> Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp ukparl youtube
13:45:58 -!- metcalf has quit (Ping timeout: 265 seconds).
14:17:21 -!- zeroed has joined.
14:19:04 <esowiki> <nakilon> how are styles being added?
14:19:20 <esowiki> <nakilon> there should be a Terry A. Davis style
14:21:17 <esowiki> <nakilon> I see some mention in repo but I see no examples in it, I guess it's a server configuration
14:21:22 <esowiki> <arseniiv> nakilon: fizzie markov-chains a corpus in an unspecified way and then feeds it to fungot through a big alchemical funnel. I didn’t say anything
14:21:22 <esowiki> <fungot> arseniiv: they are? i see a wiki as a collaborative enterprise when quality emerges out of iterative editing by various contributors. it's not like i'm going to an oriental philosophy class, only in a very very subset of) bf.
14:27:21 <esowiki> <nakilon> arseniiv damn mages
14:27:21 <esowiki> <fizzie> The *process* itself isn't unspecified, it's all defined step-by-step in https://github.com/fis/fungot/blob/master/varikn/readme.txt
14:27:21 <esowiki> <fungot> fizzie: there have been some problem in my c/ c++ compiled scheme would integrate much better with an expression that the evaluator just needs to know what is a explorbation?
15:00:06 <esowiki> <nakilon> the only quotes list I've found contains 177 and it does not contain random ones that I find elsewhere (
15:02:00 <esowiki> <fizzie> The department VariKN is from, which I think at the time was probably the Department of Information and Computer Science at the Helsinki University of Technology, but both of those names have changed since then.
15:02:26 <esowiki> <fizzie> http://hack.esolangs.org/repo/file/tip/quotes is what `quote looks at in.
15:02:28 <esowiki> <fizzie> Off for a bit.
15:03:45 <esowiki> <nakilon> I mean terry's quotes
15:04:35 <esowiki> [[Deadfish]] https://esolangs.org/w/index.php?diff=83743&oldid=82781 * Tux1 * (+374)
15:09:30 <esowiki> [[Channeler]] https://esolangs.org/w/index.php?diff=83744&oldid=83728 * Doridian * (+430) Add memory cell specifications
15:20:29 <esowiki> <nakilon> the second most annoying bug that I can't do anything about is in Github repo Insights tab the Network tab doesn't show the tree until you refresh the page
15:21:45 <esowiki> <nakilon> it's been years already and is not my local problem because I started seeing it on machine in the office
16:25:44 -!- esowiki has joined.
17:27:13 -!- orbitaldecay has quit (*.net *.split).
17:27:13 -!- mla has quit (*.net *.split).
17:27:14 -!- naivesheep has quit (*.net *.split).
17:27:15 -!- ornxka has quit (*.net *.split).
17:27:15 -!- stux|RC has quit (*.net *.split).
17:27:16 -!- paul2520_ has quit (*.net *.split).
17:27:16 -!- rodgort has quit (*.net *.split).
17:27:16 -!- harha_ has quit (*.net *.split).
17:28:04 <esowiki> <nakilon> "I only maintain the accursed thing, I don't actually read it. " (c) Chris Pressey about Trefunge-98
17:28:24 <esowiki> <nakilon> *Trefunge-98 specification
17:31:11 <esowiki> <b_jonas> fizzie: yes, that's the traditional explanation (giving you food as an offer of friendship and to help you). nor is that exclusive with the evolutionary perspective really.
17:32:00 -!- orbitaldecay has joined.
17:32:00 -!- mla has joined.
17:33:26 -!- rodgort has joined.
17:33:26 -!- ornxka has joined.
17:33:26 -!- harha_ has joined.
17:33:26 -!- stux|RC has joined.
17:33:26 -!- naivesheep has joined.
17:33:26 -!- paul2520_ has joined.
17:33:48 <esowiki> <b_jonas> nakilon: .pl is a confusing extension that means either perl or prolog. you can use .pm as extension for your perl files instead if that's confusing. pascal does not use .pl extension.
18:06:07 <esowiki> <fizzie> Pascal uses .pas, was it?
18:06:38 <esowiki> [[NDBall]] https://esolangs.org/w/index.php?diff=83745&oldid=82580 * Tux1 * (-136)
18:07:25 <esowiki> [[NDBall]] M https://esolangs.org/w/index.php?diff=83746&oldid=83745 * Tux1 * (+0)
18:08:05 <esowiki> [[NDBall]] M https://esolangs.org/w/index.php?diff=83747&oldid=83746 * Tux1 * (+1) /* First Method: Point */
18:10:36 <esowiki> [[User talk:100.1.142.136]] N https://esolangs.org/w/index.php?oldid=83748 * Hypocritical * (+5) Created page with "hello"
18:14:10 <esowiki> <b_jonas> fizzie: yes, usually
18:14:22 <esowiki> [[Channeler]] https://esolangs.org/w/index.php?diff=83749&oldid=83744 * Doridian * (+287) Add lowercase h for numeric channels
18:17:30 <esowiki> [[Channeler]] https://esolangs.org/w/index.php?diff=83750&oldid=83749 * Doridian * (-281) Remove jump opcode, not in the spirit of this really
18:24:56 <esowiki> [[User:PythonshellDebugwindow/Sandbox]] M https://esolangs.org/w/index.php?diff=83751&oldid=75210 * PythonshellDebugwindow * (+142) /* 1 */
18:26:41 <esowiki> <nakilon> I don't see an article on this one https://github.com/Property404/hdbf
18:34:07 -!- LKoen has quit (Remote host closed the connection).
19:01:29 <esowiki> [[Channeler]] https://esolangs.org/w/index.php?diff=83752&oldid=83750 * Doridian * (+98) Forgot documenting pow
19:07:50 -!- delta23 has joined.
19:14:25 <esowiki> [[123]] https://esolangs.org/w/index.php?diff=83753&oldid=67469 * Bangyen * (+85) /* External resources */
19:45:51 <esowiki> <fizzie> 20:41 !irc.invalid pounce is GPLv3 fwee softwawe ^w^ code is avaiwable fwom https://git.causal.agency/pounce
19:45:54 <esowiki> <fizzie> I'm potentially having some second doubts about this bouncer, but maybe I'll still give it a go.
19:46:06 <esowiki> <fizzie> (Trying to migrate away from bip.)
19:47:25 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=83754&oldid=83708 * Aspwil * (+8) /* Non-alphabetic */
19:52:58 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=83755&oldid=83754 * Aspwil * (+97) /* Non-alphabetic */
19:53:39 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=83756&oldid=83755 * Aspwil * (+1) /* Non-alphabetic */
20:11:28 <esowiki> [[NDBall]] https://esolangs.org/w/index.php?diff=83757&oldid=83747 * Tux1 * (-222) formalized
20:18:09 <esowiki> <oren> pʰ
20:21:53 <esowiki> [[Channeler]] M https://esolangs.org/w/index.php?diff=83758&oldid=83752 * Doridian * (+0) Fix wrong channel name
20:23:39 <esowiki> [[Channeler]] M https://esolangs.org/w/index.php?diff=83759&oldid=83758 * Doridian * (+52)
20:23:48 <esowiki> [[Channeler]] M https://esolangs.org/w/index.php?diff=83760&oldid=83759 * Doridian * (-107)
20:24:45 <esowiki> [[Channeler]] https://esolangs.org/w/index.php?diff=83761&oldid=83760 * Doridian * (+133) Restore accidental removal
20:47:13 -!- LKoen has joined.
20:47:56 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”).
20:55:27 <esowiki> [[Special:Log/newusers]] create * Loris redstone * New user account
20:56:40 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=83762&oldid=83741 * Loris redstone * (+38)
21:18:19 <esowiki> <imode> thinking about petri nets.
21:35:47 <esowiki> <Taneb> imode: petri nets are neat
21:41:14 <esowiki> <imode> they are. but they're pretty limited.
21:42:13 <oren> Oh my god, I just want the CSS incantation for "centred horizontally but aligned to the pixel grid so its not blurry"
21:43:07 <oren> -moz-stop-blurring-my-text: yes;
21:43:54 <esowiki> <oren> oh neat it gets echoed to here
22:01:10 <esowiki> <imode> what would an analogue to the pi calculus as the turing machine is to lambda calculus?
22:11:25 <esowiki> <river> nondeterministic turing machine maybe?
22:18:30 <esowiki> <arseniiv> something with many submachines interacting?..
22:20:04 <esowiki> <imode> it's interesting that there's no direct analogue.
22:20:10 <esowiki> <arseniiv> though like in a normal TM, all the lambdas don’t correspond to anything specially defined inside it, then maybe π processes shouldn’t give submachines too
22:20:39 <esowiki> <arseniiv> maybe register machines or other formalisms would pave the way more easily?
22:21:36 <esowiki> <arseniiv> and then it might become obvious if there’s a natural Turing-like analogy and then what it is
22:21:58 <esowiki> <zzo38> I think that objects (including text) should always be drawn aligned to the pixel grid, regardless of the CSS. Non-blurry text should be the user setting, probably.
22:22:06 <esowiki> <imode> I was thinking in that sense. but encoding data structures in register machines is tedious.
22:22:22 <esowiki> <imode> and rather computationally expensive.
22:23:26 <esowiki> <arseniiv> tried generative art through SVG and Python with package svgwrite to lessen boilerplate. Made some fractal-y thing though not too interesting
22:24:22 <esowiki> <arseniiv> imode: that’s why I came up with generalized Minsky machines wink wink
22:24:48 <esowiki> <arseniiv> okay I’m going to sleep
22:25:00 <esowiki> <imode> lol.
22:25:36 <esowiki> <imode> sweet dreams.
22:25:59 <esowiki> <arseniiv> (but seriously. using terms represented as trees should be not as expensive as reparsing natural numbers)
22:26:00 <esowiki> <arseniiv> thanks
22:26:51 <esowiki> <imode> I've been trying to figure out what constitutes a model of "mobile agents", where there are some "places" that pieces of self-contained code can move between in order to interact with their local environment.
22:28:31 <esowiki> <imode> but there's this separation between the "places" that things exist at and the processes that are actually moving between them.
22:29:58 <esowiki> <imode> the processes need some kind of behavior, and a way to interact with their surrounding environment, but this means that the behavior of the process (its state) is all munged along a barrier that separates the inside of the process from the outside.
22:31:30 <esowiki> <imode> imo "places" and "agents" should probably be the same kind of thing. but then you deal with the idea of communication between them, and all that other jazz, and it gets confusing, because you need multiple different rules that govern the inside and outside of agents.
22:32:21 <esowiki> <zzo38> In Magic: the Gathering, the text box may include ability text, flavor text, ability words, and reminder text; only the ability text is the part of the AST. What might be useful is also "descriptive text", which is not ability text but describes either some part of the AST which cannot easily be represented otherwise (e.g. if the mana cost or subtypes won't fit in those spaces) or something external to the game which normally affects it
22:33:38 <esowiki> <zzo38> Descriptive text is not a characteristic-defining ability, is not the "text box" part of the AST, and applies before anything else; it might define part of the card's initial text.
22:34:21 <esowiki> <imode> I guess my thinking is that the process/place split is inelegant because what goes on inside a process is not an extension of what goes on outside a process, and vice versa.
22:34:25 <esowiki> <zzo38> They wanted to reprint a card with a color indicator which is all five, but they didn't know how to do that and decided to write an ability to add that instead.
22:35:07 <esowiki> <zzo38> Another way would to be draw all five color indicators, but if that won't fit, then this idea (I don't know how it would be formatted) would make it so without being errata.
22:43:08 <esowiki> <imode> I have a feeling that the ideas I'm thinking of lie somewhere within dataflow models, state machines, and ring networks, but I can't prove it.
22:44:32 <esowiki> <salpynx> if you mean abstract spaces, the agents would 'extrude' the topology they inhabit by the possible relationships they have with each other.
22:45:12 <esowiki> <imode> right, but there always needs to be some kind of static background to determine what connections/relationships are possible.
22:45:15 <esowiki> <salpynx> ('extrude' is probably the wrong word, what is the term?) The topology would emerge from their behaviour
22:45:24 <esowiki> <imode> generative communication.
22:46:18 <esowiki> <imode> I imagine that at any point, where agents know and understand how to communicate with one another, there's a certain configuration of agents laid against a static background.
22:46:44 <esowiki> <imode> where that background contains the topology for all possible connections. in situations where all agents can communicate with eachother, you have the complete graph.
22:46:47 <esowiki> <salpynx> you could have dummy agents that enforce some particular structure and are just there to route
22:46:54 <esowiki> <imode> yup.
22:47:41 <esowiki> <imode> but what those agents are made of, their behavior, that's an entirely separate "theory" from how they behave and interact at the macro-scale.
22:47:52 <esowiki> <imode> it's like taking a look inside a cell vs. how that cell interacts with others. it's two separate models.
22:47:58 <esowiki> <imode> unifying it into one is difficult.
22:50:45 <esowiki> <salpynx> if you mean physical places, that's set by your hardware configuration, and you just have to accept that :)
22:51:06 <esowiki> <imode> nah. you're aiming for a model of computation.
22:51:20 <esowiki> <imode> abstract ones.
22:51:34 <esowiki> <imode> the rules for an agent moving around on a network are separate from the ones that allow an agent to compute things.
22:51:58 <esowiki> [[Channeler]] M https://esolangs.org/w/index.php?diff=83763&oldid=83761 * Doridian * (-25) Actually error on invalid ops
22:51:59 <esowiki> <imode> I guess the best analogy would be... if I shift to the left at a particular point on a turing machine tape, I end up in another "place".
22:52:15 <esowiki> <salpynx> sounds like is an addressing problem? How to locate = how to address?
22:52:17 <esowiki> <imode> say another computer over the network. but it'd be a logical place.
22:52:45 <esowiki> <imode> your program needs to travel along some topology to interact with another program and then carry some result back, for example.
22:53:33 <esowiki> <imode> what does your program carry on its back. nothing? then you'll have to leave your state "on the ground", per se, and come back to it at a particular point.
22:54:47 <esowiki> <imode> "travel in direction X until you see a box Y. then, pick up the box and head the opposite of direction X until you reach the place you started. put the box down and repeat."
22:54:51 <esowiki> <imode> hm.
22:55:38 <esowiki> <salpynx> In another tab I'm looking into the Cantor pairing function, to fold 2d coords into 1d, and was going to extend that to higher dimensions, each folded down... was wondering if there are other mappings to fold down dimensions
22:55:58 <esowiki> <imode> space-filling curves are probably what you're looking for.
22:58:20 <esowiki> <salpynx> comments above reminded me I was going to check whether that hdbf (hyperdimensional bf) link nakilon posted earlier had a sensible and consistent topology, i.e could you loop in an arbitrary 2d plane and end up in the same place.
22:59:03 <esowiki> <salpynx> hdby also made me wonder how you could 'order' dimensions, to incr and decr dimension in any kind of objective order
22:59:07 <esowiki> <salpynx> hdbf
23:00:42 <esowiki> <nakilon> IIRC salpynx https://www.reddit.com/r/programming/comments/4f78by/hyperdimensional_brainfuck_brainfuck_with/ this thread also had two links to other brainfuck variations
23:01:34 <esowiki> [[Channeler]] https://esolangs.org/w/index.php?diff=83764&oldid=83763 * Doridian * (+6) Fix comments to say more than just space is allowed for int termination
23:02:39 <esowiki> <imode> ohh yeah.
23:02:51 <esowiki> <imode> interdimensional travel lmao.
23:03:42 <esowiki> <salpynx> navigating on an arbitrary graph is nice because you don't have to worry about how many dimensions there are, as many as you need, but the problem is then you can't model using any predefined knowledge about what to expect if you move in a particular path
23:03:57 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=83765&oldid=83756 * Doridian * (+16) Add Channeler to language list
23:04:28 <esowiki> <imode> yeah.. the complexity explodes.
23:05:02 <esowiki> [[Program Number System]] N https://esolangs.org/w/index.php?oldid=83766 * Aspwil * (+1903) Created page with "'''Program Number System''' or PNS is a system designed by ~~~ to take every useable program in a language and turn it into a unique number, that can then be converted back. t..."
23:06:25 <esowiki> <salpynx> ... unless your edges are labelled with some kind of indicator of pre-defined notation, so there's a sub graph with a fixed and well defined topology
23:06:53 <esowiki> <imode> which at that point, why not go the reverse and embed whatever graph you want within a static topology.
23:06:53 <esowiki> [[User:Aspwil]] https://esolangs.org/w/index.php?diff=83767&oldid=77508 * Aspwil * (+88)
23:09:08 <esowiki> [[Program Number System]] https://esolangs.org/w/index.php?diff=83768&oldid=83766 * Aspwil * (+29)
23:09:27 <esowiki> <salpynx> I wonder if you can get the agents to fill in the gaps and find more direct routes by adding intermediate nodes, they can fill in the gaps and resolve inconsistencies?
23:10:20 <esowiki> <salpynx> Get the agents to decide if it's a ring or a hypercube or whatever, so you don't have to!
23:12:24 <esowiki> <imode> that's kind of the idea! the trick is picking a background. I figure something like a ring is good enough, but you have to push the power of calculating that curve onto the agents themselves.
23:14:07 <esowiki> [[Channeler]] https://esolangs.org/w/index.php?diff=83769&oldid=83764 * Doridian * (+182) Add better cat program
23:14:27 <esowiki> [[Channeler]] M https://esolangs.org/w/index.php?diff=83770&oldid=83769 * Doridian * (+7)
23:18:05 <esowiki> [[Channeler]] M https://esolangs.org/w/index.php?diff=83771&oldid=83770 * Doridian * (+46)
23:19:19 <esowiki> <salpynx> If agents could have any number of undirected labelled and directed (next, previous + id tag ) labelled edges you could create any topology, just with the optional notation of next, previous, and room for tagged dimensions, as well as 'wormhole' connections that bypass static topologies, then the network could sort itself out, resolve ambiguities,
23:19:20 <esowiki> <salpynx> and try optimisations
23:20:01 <esowiki> <salpynx> .. if you had some clever rules
23:24:06 <esowiki> <salpynx> hmm, all the agents would have to understand that the arbitrarily tagged 'dimension' x had evolved into a ring to use it consistently -- where would they store that knowledge, and how to share it, in order to make it consistent?
23:25:44 <esowiki> <imode> ding.
23:26:25 <esowiki> <salpynx> agents need to be able to model their environment, if you want them to modify their environment, explore it, and make community decisions to improve it, you're getting into AI territory
23:26:36 <esowiki> [[Program Number System]] https://esolangs.org/w/index.php?diff=83772&oldid=83768 * Aspwil * (+687)
23:27:34 <esowiki> <salpynx> That'll be why static topologies are good for dumb agents
23:30:46 <esowiki> <imode> if you pick a singular topology, I guarantee you there will be some kind of gradient related to how much state you allow individual elements of that topology to store and compute.
23:31:06 <esowiki> <imode> cellular automata are on one end. some form of mobile processes are on the other end.
23:32:44 <esowiki> <salpynx> Yes, even CA cells have an environment model (static)
23:33:22 <esowiki> <salpynx> fongot, how do you model your enviromment?
23:33:37 <esowiki> <salpynx> fungot, how do you model your enviromment?
23:33:37 <esowiki> <fungot> salpynx: the masamune! how can i do for you? thanks! it's about the missing queen. she still looks so much like leene, that they will take you to your place of execution?! strange, but!?
23:34:35 <esowiki> <salpynx> oh, someone changed the model (I think?), I was expecting something more likely to be on topic.
23:35:34 <esowiki> <b_jonas> welcome, oren
23:36:21 <esowiki> [[Talk:Uyjhmn n]] https://esolangs.org/w/index.php?diff=83773&oldid=65787 * Monochromeninja * (+111) /* File Extension */ new section
23:36:34 <esowiki> <imode> CA cells are finite state machines in nature, but depending on the CA, they either rely on the multiplicity of nearby types of cells, or on the specific arrangement of their neighbors.
23:37:19 <esowiki> <imode> so they can examine their locality, but they cannot be separated from their locality. if you're gonna program anything that travels, you need that to be a part of the rule set that _everything_ embodies.
23:37:40 <esowiki> <imode> meaning that every cell needs to understand how a data element can move left or right.
23:38:19 <esowiki> <imode> I wonder what would happen if you traveled slightly towards the "mobile processes" end of the gradient.
23:38:52 <esowiki> <imode> you'd probably get something like a turing machine.
23:40:09 <esowiki> <imode> I'm imagining that "transporting your state" at that point is like moving and managing a physical asset.
23:40:39 <esowiki> <imode> gotta move things one by one, and build barriers that prevent others from viewing what you don't want them to view.
23:43:54 <esowiki> <salpynx> I had an idea of making 'smart' CA agents as a kind of game, a cell could be an agent containing arbitrary code to interact with a CA API to read adjacent cells, modify adjacent cells, and set its next position, so it could try to survive and potentially build things to protect itself (or hunt opponent agents)
23:44:56 <esowiki> <imode> you'll find that that's what dave ackley's movable feast machine is.
23:47:34 <esowiki> <salpynx> all the cells are smart in that though aren't they? I wonder if that'd help to have some number of simple FSM agents that could be marshalled by smarter agents with higher level programming and goals
23:47:44 <esowiki> <imode> not all of them are smart.
23:48:04 <esowiki> <imode> each cell _can_ contain an agent.
23:48:15 <esowiki> <imode> and can spawn agents adjacently.
23:48:21 <esowiki> <imode> but they can't materialize things out of nowhere.
23:51:27 <esowiki> <salpynx> has anyone extended the idea of cellular automatons to graph automatons? (nodular automatons??) They could do 2d, 3d, but also less structured things. Would be hard to visualise, I imagine.
23:51:59 <esowiki> <imode> cellular automata on a graph?
23:53:04 <esowiki> <salpynx> yes, they'd need to extend their playfield, maybe that's not as easy to translate as I first thought
23:53:31 <esowiki> <imode> you could absolutely define CAs on arbitrary graphs, but they do need to be static.
←2021-05-30 2021-05-31 2021-06-01→ ↑2021 ↑all