←2020-07-12 2020-07-13 2020-07-14→ ↑2020 ↑all
00:17:04 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds).
00:28:59 -!- t20kdc has quit (Remote host closed the connection).
00:46:09 <esowiki> [[APL]] M https://esolangs.org/w/index.php?diff=75916&oldid=75905 * Amakukha * (+4) /* Example code */
00:55:42 -!- zzo38 has quit (Disconnected by services).
00:55:46 -!- zzo38 has joined.
00:56:33 <esowiki> [[Lightlang]] https://esolangs.org/w/index.php?diff=75917&oldid=75915 * Bangyen * (+46) /* Hello, world! */
01:04:29 <esowiki> [[Game of Life]] https://esolangs.org/w/index.php?diff=75918&oldid=57564 * Amakukha * (+253)
01:30:31 <zzo38> I thought of a idea of Magic: the Gathering card: Enchant permanent attached to another permanent ;; Enchanted permanent has totem armor. ;; Recover {2} But, I don't know what name or what mana cost.
01:41:02 <Cale> Hyena Umbra costs a single white mana, so maybe it could even be free? Unless there's something super-broken about it that I'm not seeing...
01:46:15 -!- struct has quit (Remote host closed the connection).
01:48:46 <Cale> The cost is having to draw it at times when you don't have a suitable target
01:50:04 <Cale> Other options might be making it an equipment or giving it cycling
01:50:53 <Cale> oh, I guess it can't be an equipment exactly...
01:51:30 <zzo38> Yes, cycling might be worth to add, or otherwise changing recover to other stuff
01:52:26 <zzo38> Equipment doesn't work of course, but it can be attached to Equipment (if that Equipment is currently attached to a creature)
01:53:19 <Cale> I guess if you wanted to make it an equipment you could have it attach to a creature and then target another permanent attached to that creature when equipped
01:53:46 <Cale> But that's kinda awkward
01:53:58 <zzo38> Yes, but then it would be restricted to creatures that you control; it can't be used on stuff other than creatures or that you do not control.
01:54:02 <Cale> I was just thinking it would be nice to be able to move it around in response to stuff
01:54:25 <Cale> for some cost
01:55:08 <zzo38> Yes, maybe. Possibly retrace instead of recover was the other idea I thought of
01:56:55 <esowiki> [[Losescript]] https://esolangs.org/w/index.php?diff=75919&oldid=74822 * Bangyen * (+59)
02:13:05 -!- Phantom_Hoover has joined.
02:20:37 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds).
03:00:00 -!- Taneb has quit (Quit: I seem to have stopped.).
03:01:31 -!- Taneb has joined.
03:16:29 -!- bangyen has joined.
03:27:56 -!- bangyen has quit (Remote host closed the connection).
03:32:29 -!- MDude has quit (Quit: Going offline, see ya! (www.adiirc.com)).
04:31:31 -!- adu has quit (Quit: Konversation terminated!).
04:45:01 <esowiki> [[6-5]] https://esolangs.org/w/index.php?diff=75920&oldid=75894 * The Esolanger * (+372) New Instructions
04:45:59 <esowiki> [[6-5]] M https://esolangs.org/w/index.php?diff=75921&oldid=75920 * The Esolanger * (+0) /* Instructions */
05:13:30 -!- t20kdc has joined.
05:38:45 <esowiki> [[6-5]] M https://esolangs.org/w/index.php?diff=75922&oldid=75921 * The Esolanger * (+574) Added hello world program
05:39:46 <esowiki> [[6-5]] M https://esolangs.org/w/index.php?diff=75923&oldid=75922 * The Esolanger * (+8) /* Sample Programs */
05:56:18 <esowiki> [[Suffolk]] https://esolangs.org/w/index.php?diff=75924&oldid=20028 * Bangyen * (+1638)
06:06:00 <esowiki> [[Talk:6-5]] N https://esolangs.org/w/index.php?oldid=75925 * Bangyen * (+184) Created page with "==Future Changes== Is it likely that the commands will change again? If not, I can write an interpreter. ~~~~"
06:06:47 <esowiki> [[User:Bangyen]] https://esolangs.org/w/index.php?diff=75926&oldid=75912 * Bangyen * (+15) /* Implementations */
06:07:37 <esowiki> [[Suffolk]] https://esolangs.org/w/index.php?diff=75927&oldid=75924 * Bangyen * (+29) /* Hello, world! */
06:25:33 <esowiki> [[Suffolk]] https://esolangs.org/w/index.php?diff=75928&oldid=75927 * Bangyen * (-2)
06:49:05 <int-e> Hmm, caught up with myself in SSR. Still no clue about the next level.
06:50:57 <int-e> But I've found a list of levels. Apparently there are 86 in total. rain1's 105 sausages are around the 43 solved levels mark. I have 73.
06:51:30 <int-e> Maybe I should cheat and watch a solution video. This is annoying :)
06:56:42 <esowiki> [[Polynomial]] https://esolangs.org/w/index.php?diff=75929&oldid=75910 * Bangyen * (+262)
06:58:52 <shachaf> What's the level you're on?
06:59:12 <shachaf> I think I didn't get as far as you, though.
07:01:30 -!- b_jonas has quit (Quit: leaving).
07:04:55 <int-e> The Backbone. https://www.speedrun.com/stephenssausageroll/individual_levels has a full list and the order is pretty forced around this point.
07:06:11 <int-e> Or 174 sausages, which may be easier to compare.
07:07:33 <int-e> (The past dozen or so levels I've played have a forced order.)
07:15:49 -!- imode has quit (Ping timeout: 264 seconds).
07:17:29 -!- imode has joined.
07:22:32 <esowiki> [[BF+BF]] https://esolangs.org/w/index.php?diff=75930&oldid=73695 * Bangyen * (+28)
07:39:48 <esowiki> [[BF+BF]] https://esolangs.org/w/index.php?diff=75931&oldid=75930 * Bangyen * (+194)
07:40:13 <zzo38> Many years ago, someone told me that Hewlett-Packard was going to change its name to Windows-Packard, but I think they haven't change it. The same person told me that "tvm" is German for "TV monitor".
07:41:31 <myname> as a german, i have no idea what tvm is supposed to mean
07:44:29 <zzo38> I am not German, but I think probably "tvm" isn't a German word at all.
07:46:27 <int-e> https://de.wikipedia.org/wiki/TVM "Tunnelvortriebsmaschine" is good :-)
07:47:20 <zzo38> O, that is what it means in German (at least when it is written in uppercase letters).
07:47:21 <int-e> it sounds about as artificial as "tunnel advancement machine"
07:48:08 <int-e> zzo38: Honestly, no. I guess if you work in construction it may be, but I don't recall ever seeing that abbreviation... up until just now.
07:48:37 <zzo38> O, OK.
07:51:42 -!- imode has quit (Ping timeout: 256 seconds).
08:20:11 <esowiki> [[BF+BF]] https://esolangs.org/w/index.php?diff=75932&oldid=75931 * Bangyen * (-6)
08:44:55 -!- Sgeo has quit (Read error: Connection reset by peer).
08:50:38 -!- craigo has quit (Ping timeout: 256 seconds).
08:53:02 -!- wib_jonas has joined.
09:03:03 <esowiki> [[Polynomial]] M https://esolangs.org/w/index.php?diff=75933&oldid=75929 * Bangyen * (+10)
09:09:07 <esowiki> [[Rui]] https://esolangs.org/w/index.php?diff=75934&oldid=74846 * Sinthorion * (+329) /* Examples */ Added e.rui
09:18:03 -!- sprocklem has quit (Ping timeout: 265 seconds).
09:18:21 -!- sprocklem has joined.
09:24:41 <esowiki> [[Rui]] M https://esolangs.org/w/index.php?diff=75935&oldid=75934 * Sinthorion * (-4) Links to Daniel Cristofani
09:40:25 <int-e> more SSR progress metrix, I'm at 54 minutes out of 1:17:33 https://www.youtube.com/watch?v=6UAamG6cg5I
09:40:33 <int-e> cs ->x
09:40:41 <int-e> that saved a lot of typing effort
09:41:05 -!- Phantom_Hoover has joined.
10:09:59 -!- Lord_of_Life has quit (Read error: Connection reset by peer).
10:11:43 -!- Lord_of_Life has joined.
10:13:28 -!- TheLie has joined.
10:45:27 -!- Lord_of_Life_ has joined.
10:47:08 -!- Lord_of_Life has quit (Ping timeout: 258 seconds).
10:48:18 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
11:15:20 -!- rain1 has joined.
11:20:19 <esowiki> [[HQ9+]] https://esolangs.org/w/index.php?diff=75936&oldid=74656 * A * (+2)
11:32:14 -!- TheLie has quit (Remote host closed the connection).
11:40:15 <esowiki> [[Keta]] https://esolangs.org/w/index.php?diff=75937&oldid=75810 * A * (+1) /* Chain Rules */
11:59:06 -!- arseniiv has joined.
12:01:55 <esowiki> [[EGSHEL]] https://esolangs.org/w/index.php?diff=75938&oldid=74232 * A * (-63) Isn't it prefix + infix (as per documentation)?
12:37:52 -!- sprocklem has quit (Ping timeout: 256 seconds).
12:39:25 -!- sprocklem has joined.
12:56:35 <wib_jonas> hey guys, some rubber duck style questions about designing a toy language that probably counts as esoteric.
12:59:52 <wib_jonas> firstly, in this language, I probably want to allow functions with multiple return values, even though probably none of the builtins or functions in the standard library will really use multiple returns. this can still make sense, right? I think it can because (1) scheme does this, (2) multiple returns can still be useful in functions for a larger
12:59:53 <wib_jonas> projects.
13:04:19 <Taneb> You have to think about how to define and how to use functions that return multiple values
13:05:40 <Taneb> And if a function can return a varying number of values
13:09:55 <wib_jonas> Taneb: yes, I did think of both of that, and that's why I think multiple return value functions would be a good match for the core language of this esoteric language. eg. you can imagine a stack-based language: multiple returns are trivial since it can just return on the stack. my language is not stack-based, but it's also not one where you use
13:09:55 <wib_jonas> algol/C-style nested parenthisized function calls, which is where multiple return values are hard.
13:10:21 <wib_jonas> multiple return values are also easy in a prolog-style language, where every intermediate result has a (local) name.
13:11:00 <wib_jonas> it may be easy or hard in a register-based low-level machine, depending on what sort of instructions you want.
13:26:39 <wib_jonas> I might have more questions, but I'm not sure how to ask them yet
13:26:39 <arseniiv> wib_jonas: hi! I agree multiple returns, if done right, are fairly indispensable
13:26:40 <arseniiv> they simplify matters even in μ-recursive functions formalism
13:26:40 <wib_jonas> may depend on what kind of language you have, but yeah
13:27:44 -!- ocharles has quit (*.net *.split).
13:27:45 -!- lambdabot has quit (*.net *.split).
13:28:04 <arseniiv> you might even remember that simplified formalism has function concatenation which takes N^n → N^m1 and N^n → N^m2 to N^n → N^(m1 + m2), and that composition there becomes just plain composition of two functions A → B → C because of allowing concatenation
13:28:11 -!- ocharles has joined.
13:28:11 -!- lambdabot has joined.
13:30:49 <arseniiv> hm have I dumped my version of it somewhere? I extended projection functions into very handy π_{i1 … im}(a1, …, an) = (a(i1), …, a(im)) with which you can now duplicate and permute values, not only project
13:32:12 <arseniiv> I don’t know why Manin haven’t seen this extension (I have seen the concatenative approach only in his writings so far), it lifts handiness further
13:36:38 -!- sprocklem has quit (Ping timeout: 265 seconds).
13:37:14 <wib_jonas> I see
13:37:26 -!- sprocklem has joined.
15:20:03 -!- Arcorann has quit (Read error: Connection reset by peer).
15:20:24 <myname> petri nets are TC, right? are there known lower bounds that need to be present for that?
15:21:39 <myname> like, is a petri net with only inhibitor arcs and transitions with 2 inputs and one output already tc?
15:57:02 -!- wib_jonas has quit (Quit: Connection closed).
16:10:59 <arseniiv> once I was a bit interested in their languages and was pointed to Jörg P. Bachmann, Characterization of Petri Net Languages. Maybe that would be of some use
16:12:27 <myname> i will have a look, thx
16:12:36 <arseniiv> hm it seems there are only basic Petri nets discussed, no inhibitor arcs if I remember what they are
16:12:46 <arseniiv> this is a small article
16:13:37 <arseniiv> though I never read it thoroughly
17:03:57 -!- sftp has joined.
17:04:36 -!- sftp has quit (Remote host closed the connection).
17:05:18 -!- craigo has joined.
17:07:13 -!- sftp has joined.
17:31:43 -!- Sgeo has joined.
17:34:10 <esowiki> [[Brainflak]] N https://esolangs.org/w/index.php?oldid=75939 * Sinthorion * (+24) Redirected page to [[Brain-Flak]]
17:43:22 -!- imode has joined.
18:12:03 -!- b_jonas has joined.
18:17:27 <int-e> Oh I figured out "The Backbone"... in retrospect, how did I ever get stuck on this one?
18:28:29 -!- Sgeo has quit (Quit: Leaving).
18:31:49 -!- Sgeo has joined.
18:45:13 <esowiki> [[Q]] https://esolangs.org/w/index.php?diff=75940&oldid=73167 * Amakukha * (+140)
18:48:11 <esowiki> [[APL]] https://esolangs.org/w/index.php?diff=75941&oldid=75916 * Amakukha * (+17) /* Example code */
19:16:51 <esowiki> [[Talk:Snowflake]] https://esolangs.org/w/index.php?diff=75942&oldid=74916 * Orisphera * (+497)
19:20:22 <esowiki> [[Snowflake (Orisphera's edition)]] https://esolangs.org/w/index.php?diff=75943&oldid=74641 * Orisphera * (+13)
19:22:19 <esowiki> [[User:Bangyen]] https://esolangs.org/w/index.php?diff=75944&oldid=75926 * Bangyen * (+43)
19:33:56 <esowiki> [[Bitdeque]] https://esolangs.org/w/index.php?diff=75945&oldid=74395 * Bangyen * (+1192)
20:06:26 -!- arseniiv has quit (Ping timeout: 256 seconds).
20:21:45 <esowiki> [[Bitdeque]] https://esolangs.org/w/index.php?diff=75946&oldid=75945 * Bangyen * (-53)
20:51:13 <imode> does anybody have any information on TRAC at all?
21:10:55 <esowiki> [[User:Bangyen]] https://esolangs.org/w/index.php?diff=75947&oldid=75944 * Bangyen * (+596) /* Implementations */
21:18:02 <esowiki> [[User:Bangyen]] https://esolangs.org/w/index.php?diff=75948&oldid=75947 * Bangyen * (-283) /* Implementations */
21:19:34 -!- TheLie has joined.
21:21:54 <esowiki> [[User:Bangyen]] https://esolangs.org/w/index.php?diff=75949&oldid=75948 * Bangyen * (-7) /* Implementations */
21:26:40 <esowiki> [[User:Bangyen]] https://esolangs.org/w/index.php?diff=75950&oldid=75949 * Bangyen * (-16)
21:47:39 -!- Sgeo has quit (Read error: Connection reset by peer).
21:49:03 -!- Sgeo has joined.
22:03:53 -!- rodgort` has quit (Quit: Leaving).
22:04:42 -!- rodgort has joined.
22:09:04 -!- Sgeo has quit (Quit: Leaving).
22:10:27 -!- Sgeo has joined.
22:14:50 -!- t20kdc has quit (Remote host closed the connection).
22:31:00 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds).
22:45:06 -!- Lord_of_Life_ has joined.
22:47:14 -!- Lord_of_Life has quit (Ping timeout: 240 seconds).
22:47:14 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
22:48:53 <int-e> Phew, finished SSR.
23:08:21 -!- TheLie has quit (Ping timeout: 272 seconds).
23:10:20 -!- Arcorann has joined.
23:10:52 -!- Arcorann has quit (Remote host closed the connection).
23:11:20 -!- Arcorann has joined.
23:11:53 <esowiki> [[Piet]] M https://esolangs.org/w/index.php?diff=75951&oldid=74695 * NotVeryGoodAtThis * (+0) aesthetic
23:48:22 -!- MDude has joined.
23:56:36 -!- budonyc has joined.
←2020-07-12 2020-07-13 2020-07-14→ ↑2020 ↑all