←2020-05-23 2020-05-24 2020-05-25→ ↑2020 ↑all
00:01:03 <esowiki> [[There Once was an Esolang Named Fred]] M https://esolangs.org/w/index.php?diff=72766&oldid=72765 * Baidicoot * (+9)
00:01:26 <esowiki> [[There Once was an Esolang Named Fred]] M https://esolangs.org/w/index.php?diff=72767&oldid=72766 * Baidicoot * (-12)
00:03:24 <esowiki> [[Fred]] N https://esolangs.org/w/index.php?oldid=72768 * Baidicoot * (+50) Redirected page to [[There Once was an Esolang Named Fred]]
00:06:36 <Mysteryhunter> are there actually any german speaking/understanding here?
00:07:31 <b_jonas> `? wegian
00:07:33 <HackEso> A wegian is an equivalence class of #esoteric regulars. There are two main wegians, the Nor (from Finland) and the Glas (from Hexham). There's also the hypothetical Gal, which hasn't been observed yet so we're not sure where it's from.
00:16:25 -!- adu has quit (Ping timeout: 264 seconds).
00:17:44 <shachaf> `dowg wegian
00:17:46 <HackEso> 9774:2016-11-26 <oerjän> learn_append wegian There\'s also the hypothetical Gal, which hasn\'t been observed yet so we\'re not sure where it\'s from. \ 8971:2016-08-24 <hppavilion[1̈]> learn A wegian is an equivalence class of #esoteric regulars. There are two main wegians, the Nor (from Finland) and the Glas (from Hexham). \ 8315:2016-06-04 <shachäf> rm wisdom/wegian \ 8314:2016-06-04 <shachäf> sedlast s/member/regular/ \ 8313:2016-06-
00:17:59 <shachaf> `2 dowg wegian
00:18:02 <HackEso> 2/2:-06-04 <shachäf> learn A wegian is an equivalence class of #esoteric members. There are two main wegians, the Nor (from Finland) and the Glas (from Hexham).
00:23:39 -!- Arcorann has joined.
00:37:38 <esowiki> [[Interprogck8]] M https://esolangs.org/w/index.php?diff=72769&oldid=72740 * PythonshellDebugwindow * (+170) /* Dice roll */
00:39:48 -!- Lord_of_Life_ has joined.
00:40:10 -!- Mysteryhunter has quit (Quit: Mysteryhunter).
00:40:29 -!- Mysteryhunter has joined.
00:42:38 -!- Lord_of_Life has quit (Ping timeout: 260 seconds).
00:42:46 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
00:43:48 <Mysteryhunter> if anyone wannajoin our new channel #MysteryNewsTV feel free to
00:44:25 <zzo38> What are you discussing there?
00:44:39 <Mysteryhunter> everything mystery
00:44:41 <Mysteryhunter> also esoteric
00:45:30 <Mysteryhunter> but we havent many users there yet thats why I asked to come over
01:18:10 <Arcorann> `? esoteric
01:18:11 <HackEso> This channel is about programming -- for the other kind of esoterica, try #esoteric on EFnet or DALnet.
01:18:32 <Arcorann> (had to dig through my scrollback for this)
01:27:50 <Mysteryhunter> ah i confused that again
01:28:02 <Mysteryhunter> anyway you can join
01:28:24 <Mysteryhunter> we talkin bout any kind of stuff
01:28:29 <Mysteryhunter> its not esoteric o
01:28:41 <Mysteryhunter> its not esoteric i justmean
01:29:32 <Mysteryhunter> its not esoteric i just meant if u wanna talk about esoteric we also do we keep with anything interresting
01:30:13 -!- Antebrationist has joined.
01:30:19 <Mysteryhunter> its not esoteric i just meant if u wanna talk about esoteric we also can talk about it we do we keep with anything interresting
01:31:04 <Mysteryhunter> its not esoteric i just meant if u wanna talk about esoteric we also can talk about it we keep with anything interresting
01:31:29 <Antebrationist> zzo38, I've made a little progress on the MTG fermat's last theorem.
01:31:33 <Mysteryhunter> now the message is finally right
01:31:44 -!- Antebrationist has quit (Remote host closed the connection).
01:32:08 -!- LKoen has quit (Quit: Leaving).
01:32:24 -!- adu has joined.
01:58:54 -!- adu has quit (Quit: leaving).
02:00:22 -!- adu has joined.
02:00:52 -!- adu has quit (Client Quit).
02:01:51 -!- adu has joined.
02:04:46 -!- adu has quit (Client Quit).
02:06:12 -!- adu has joined.
02:14:45 -!- imode has joined.
04:32:08 <zzo38> How big is IINL^[IINL(3)](0) compared with Skewes's number and other big numbers like that?
04:32:13 <Mysteryhunter> hi
04:33:43 <Arcorann> What's IINL stand for?
04:36:32 <zzo38> Increment in nested loops
04:37:48 <Arcorann> Is there a link to the function definition?
04:40:22 <zzo38> Article <1589825967.bystand@zzo38computer.org> on sci.math gives a description. I also described it before on this IRC (although I didn't call it "IINL" yet by that time).
04:41:24 <zzo38> Make a number of nested "repeat X times" loops where the number of nesting is the initial value of X (the input of the function), and inside of the innermost loop is "increment X" command. The output is the final value of X after all of those loops are finished.
04:46:12 <Arcorann> IINL(x) = f_omega(x) in the fast-growing hierarchy, if my understanding is correct
04:48:20 <zzo38> Yes, that is what I thought (or at least its Grzegorczyk index is omega), although I have not proven this.
04:50:55 <Arcorann> Which means IINL^[IINL(3)](0) lies between f_{omega+1}(3) and f_{omega+1}(f_{omega}(3)) (haven't done the full calculation)
04:53:09 <zzo38> Ah, OK.
04:56:23 <Arcorann> If we let f_0(x) = x+1 and f_k(x) be defined by repeat X times { x := f_{k-1}(x) } then f_k(x) = f_{k-1}^x(x) which is the definition of FGH
04:58:35 <zzo38> O, OK. That makes sense now
05:26:19 <zzo38> But when you get into infinite ordinals, then what? Some ordinals are limit ordinals and have no predecessor.
05:29:03 <Arcorann> Each ordinal alpha is assigned a fundamental sequence -- a sequence of ordinals which is increasing and has limit alpha
05:29:41 <Arcorann> For example, the fundamental sequence for omega (for the Wainer hierarchy) is given by omega[n] = n
05:29:48 <Arcorann> Thus, f_omega(n) = f_n(n)
05:30:46 <Arcorann> Then we have f_{omega+1}(n) = f_{omega}^{n}(n) and so on
05:31:16 <zzo38> O, OK.
05:34:44 <zzo38> Yes, I expected that f_{omega+1}(n) = f_{omega}^{n}(n), just I didn't know how to do according to your definition when a limit ordinal is involved because you defined it in terms of its predecessor and a limit ordinal has no predecessor.
05:55:15 -!- Mysteryhunter has quit (Quit: Join our new channel in freenode #MysteryNewsTV).
05:59:43 -!- Mysteryhunter has joined.
06:16:14 -!- adu has quit (Ping timeout: 240 seconds).
07:02:49 -!- arseniiv has joined.
07:12:01 -!- adu has joined.
07:16:28 -!- adu has quit (Ping timeout: 246 seconds).
08:15:14 -!- imode has quit (Ping timeout: 256 seconds).
08:38:14 -!- adu has joined.
08:43:04 -!- adu has quit (Ping timeout: 272 seconds).
08:50:18 -!- LKoen has joined.
09:31:11 -!- Sgeo has quit (Read error: Connection reset by peer).
09:47:28 -!- spruit11 has quit (Quit: Lost terminal).
09:59:53 -!- spruit11 has joined.
10:26:19 -!- Melvar has quit (Quit: WeeChat 2.8).
10:36:14 -!- Melvar has joined.
11:20:11 -!- zseri has joined.
11:36:35 -!- Frater_EST has joined.
11:38:24 <esowiki> [[Special:Log/newusers]] create * MartinAsdf * New user account
11:41:50 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=72770&oldid=72720 * MartinAsdf * (+133) /* Introductions */
11:42:11 <esowiki> [[User:MartinAsdf]] N https://esolangs.org/w/index.php?oldid=72771 * MartinAsdf * (+7) Created page with "ITS ME."
11:42:23 <esowiki> [[User:MartinAsdf]] https://esolangs.org/w/index.php?diff=72772&oldid=72771 * MartinAsdf * (+162)
11:43:36 <esowiki> [[Esolang:Sandbox]] https://esolangs.org/w/index.php?diff=72773&oldid=72200 * MartinAsdf * (+6166)
12:03:43 -!- rain1 has joined.
12:11:27 -!- TheLie has joined.
12:31:05 <esowiki> [[Eval]] M https://esolangs.org/w/index.php?diff=72774&oldid=72759 * PythonshellDebugwindow * (+55) /* Commands */
12:31:14 <esowiki> [[Eval]] M https://esolangs.org/w/index.php?diff=72775&oldid=72774 * PythonshellDebugwindow * (-110) /* Commands */
12:31:29 <esowiki> [[Eval]] M https://esolangs.org/w/index.php?diff=72776&oldid=72775 * PythonshellDebugwindow * (-12)
12:40:07 -!- Lord_of_Life_ has joined.
12:43:25 -!- Lord_of_Life has quit (Ping timeout: 264 seconds).
12:43:30 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
12:53:06 <esowiki> [[Sclipting]] M https://esolangs.org/w/index.php?diff=72777&oldid=45239 * PythonshellDebugwindow * (-4) /* Interpreter */ update link
13:02:37 <esowiki> [[There Once was an Esolang Named Fred]] M https://esolangs.org/w/index.php?diff=72778&oldid=72767 * Baidicoot * (+91)
13:03:12 <esowiki> [[Thue Symbol Sorting Theorem]] M https://esolangs.org/w/index.php?diff=72779&oldid=8097 * PythonshellDebugwindow * (+49) /* External resources */ wayback
13:10:35 <esowiki> [[Collatz function]] M https://esolangs.org/w/index.php?diff=72780&oldid=56726 * Baidicoot * (+122) Added link for Wikipedia resource
13:28:44 <esowiki> [[User:PythonshellDebugwindow/(Unnamed language)]] M https://esolangs.org/w/index.php?diff=72781&oldid=72761 * PythonshellDebugwindow * (-40)
13:30:22 <esowiki> [[Graverage]] M https://esolangs.org/w/index.php?diff=72782&oldid=67301 * PythonshellDebugwindow * (-18) fix link
13:39:32 <esowiki> [[User:PythonshellDebugwindow/(Unnamed language)]] M https://esolangs.org/w/index.php?diff=72783&oldid=72781 * PythonshellDebugwindow * (-3926) Blanked the page
13:39:39 <esowiki> [[Grapheme]] N https://esolangs.org/w/index.php?oldid=72784 * PythonshellDebugwindow * (+3926) Created page with "'''Grapheme''' is an esolang by [[User:PythonshellDebugwindow]] where the only valid characters are uppercase Latin letters. ==Memory== Grapheme uses an unbounded stack, whic..."
13:40:09 <esowiki> [[Language list]] M https://esolangs.org/w/index.php?diff=72785&oldid=72741 * PythonshellDebugwindow * (+15) /* G */
13:41:36 <esowiki> [[User:PythonshellDebugwindow]] M https://esolangs.org/w/index.php?diff=72786&oldid=72760 * PythonshellDebugwindow * (+74) /* Languages */
13:41:57 <esowiki> [[Language list]] M https://esolangs.org/w/index.php?diff=72787&oldid=72785 * PythonshellDebugwindow * (+11) /* E */
13:48:14 -!- andrew_esolang has joined.
13:51:46 -!- zseri has quit (Quit: zseri).
13:56:27 <esowiki> [[Grapheme]] M https://esolangs.org/w/index.php?diff=72788&oldid=72784 * PythonshellDebugwindow * (+96) /* Edge cases */
14:03:49 -!- andrew_esolang has quit (Ping timeout: 245 seconds).
14:07:34 -!- TheLie has quit (Remote host closed the connection).
14:10:11 -!- TheLie has joined.
14:47:23 -!- Arcorann has quit (Read error: Connection reset by peer).
14:48:59 -!- tromp has quit (Remote host closed the connection).
14:58:56 -!- Frater_EST has quit (Read error: Connection reset by peer).
15:02:20 -!- tromp has joined.
15:16:25 -!- myname has quit (Ping timeout: 264 seconds).
15:34:33 -!- adu has joined.
15:42:38 -!- rain1 has quit (Quit: leaving).
15:44:38 <esowiki> [[Grapheme]] M https://esolangs.org/w/index.php?diff=72789&oldid=72788 * PythonshellDebugwindow * (+59) /* Normal mode and funcmode */
15:51:37 <esowiki> [[Grapheme]] M https://esolangs.org/w/index.php?diff=72790&oldid=72789 * PythonshellDebugwindow * (+0) /* Normal mode and funcmode */
15:52:32 -!- zseri has joined.
15:56:42 -!- kspalaiologos has joined.
16:05:34 -!- gnu-nobody has joined.
16:08:24 -!- zseri has quit (Quit: zseri).
16:18:58 -!- kspalaiologos has quit (Quit: Leaving).
16:19:24 -!- kspalaiologos has joined.
16:24:13 -!- andrew_esolnag has joined.
16:41:44 -!- andrew_esolnag has quit (Ping timeout: 245 seconds).
16:41:47 -!- gnu-nobody has quit (Ping timeout: 260 seconds).
16:51:41 -!- myname has joined.
16:57:35 <esowiki> [[There Once was an Esolang Named Fred]] https://esolangs.org/w/index.php?diff=72791&oldid=72778 * Baidicoot * (+213) PROVEN TC
16:59:59 <esowiki> [[ Encrypted ]] N https://esolangs.org/w/index.php?oldid=72792 * Hakerh400 * (+9804) +[[ Encrypted ]]
17:00:10 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=72793&oldid=72787 * Hakerh400 * (+26) +[[ Encrypted ]]
17:00:20 <esowiki> [[User:Hakerh400]] https://esolangs.org/w/index.php?diff=72794&oldid=71500 * Hakerh400 * (+26) +[[ Encrypted ]]
17:03:39 <esowiki> [[There Once was an Esolang Named Fred]] https://esolangs.org/w/index.php?diff=72795&oldid=72791 * Baidicoot * (+8) /* Turing-Completeness */
17:03:53 <myname> i like that name
17:09:30 -!- gnu-nobody has joined.
17:17:40 -!- tromp has quit (Remote host closed the connection).
17:40:35 -!- TheLie has quit (Ping timeout: 260 seconds).
17:42:25 -!- gnu-nobody has quit (Quit: Konversation terminated!).
17:42:41 -!- gnu-nobo1y has joined.
17:43:10 -!- gnu-nobo1y has quit (Client Quit).
17:47:19 -!- imode has joined.
17:48:46 <esowiki> [[User:Orby/Term rewriting metalanguage]] N https://esolangs.org/w/index.php?oldid=72796 * Orby * (+1544) Created page with "[[Thue]] is a string rewriting [[matrioshka language]]. That is, it is possible to define TC string rewriting languages within it. Many of the languages I have been tinkering..."
17:49:37 <esowiki> [[User:Orby]] M https://esolangs.org/w/index.php?diff=72797&oldid=72695 * Orby * (+84)
17:56:44 <esowiki> [[There Once was an Esolang Named Fred]] https://esolangs.org/w/index.php?diff=72798&oldid=72795 * Baidicoot * (+611) added 'add' example
17:58:47 <esowiki> [[User:Orby/Term rewriting metalanguage]] https://esolangs.org/w/index.php?diff=72799&oldid=72796 * Orby * (+43) /* Example */
17:59:08 <esowiki> [[User:Orby/Term rewriting metalanguage]] M https://esolangs.org/w/index.php?diff=72800&oldid=72799 * Orby * (+2) /* Example */
17:59:16 <esowiki> [[There Once was an Esolang Named Fred]] https://esolangs.org/w/index.php?diff=72801&oldid=72798 * Baidicoot * (+34) /* Example Programs */
18:01:34 -!- Sgeo has joined.
18:02:16 <esowiki> [[There Once was an Esolang Named Fred]] M https://esolangs.org/w/index.php?diff=72802&oldid=72801 * Baidicoot * (+135) /* Syntax */
18:02:27 <esowiki> [[There Once was an Esolang Named Fred]] https://esolangs.org/w/index.php?diff=72803&oldid=72802 * Baidicoot * (-10)
18:02:56 <esowiki> [[There Once was an Esolang Named Fred]] M https://esolangs.org/w/index.php?diff=72804&oldid=72803 * Baidicoot * (-13) /* Example Programs */
18:13:08 <esowiki> [[There Once was an Esolang Named Fred]] M https://esolangs.org/w/index.php?diff=72805&oldid=72804 * Baidicoot * (+96) /* Turing-Completeness */
18:17:27 <esowiki> [[There Once was an Esolang Named Fred]] https://esolangs.org/w/index.php?diff=72806&oldid=72805 * Baidicoot * (+15) /* Syntax */
18:18:23 <esowiki> [[There Once was an Esolang Named Fred]] M https://esolangs.org/w/index.php?diff=72807&oldid=72806 * Baidicoot * (-36)
18:27:15 <esowiki> [[B^2]] M https://esolangs.org/w/index.php?diff=72808&oldid=72764 * UltimateProGrammer * (+172) Added run support note.
18:31:02 <esowiki> [[B^2]] https://esolangs.org/w/index.php?diff=72809&oldid=72808 * UltimateProGrammer * (+146) Added link to editor
18:33:44 -!- tromp has joined.
18:34:32 <esowiki> [[Special:Log/upload]] upload * UltimateProGrammer * uploaded "[[File:B^2 Editor New.png]]"
18:35:10 <esowiki> [[B^2]] M https://esolangs.org/w/index.php?diff=72811&oldid=72809 * UltimateProGrammer * (-22)
18:44:26 <esowiki> [[Talk:B^2]] N https://esolangs.org/w/index.php?oldid=72812 * Palaiologos * (+221) Created page with "Is this an esoteric language? Looking at the goals and claims about efficiency, maybe the language doesn't really belong here? --~~~~"
18:45:47 <esowiki> [[Talk:B^2]] M https://esolangs.org/w/index.php?diff=72813&oldid=72812 * Palaiologos * (+117) computational class?
19:02:39 <esowiki> [[Funciton/Quine]] M https://esolangs.org/w/index.php?diff=72814&oldid=46122 * PythonshellDebugwindow * (+28) link
19:03:02 -!- rain1 has joined.
19:06:48 <esowiki> [[UniCode]] M https://esolangs.org/w/index.php?diff=72815&oldid=32083 * PythonshellDebugwindow * (+34) cat + style
19:11:06 <esowiki> [[User:PythonshellDebugwindow/XShell]] M https://esolangs.org/w/index.php?diff=72816&oldid=71918 * PythonshellDebugwindow * (+171)
19:11:20 <esowiki> [[User:PythonshellDebugwindow/XShell]] M https://esolangs.org/w/index.php?diff=72817&oldid=72816 * PythonshellDebugwindow * (+0) /* Builtins */
19:14:50 <esowiki> [[User:PythonshellDebugwindow/XShell]] M https://esolangs.org/w/index.php?diff=72818&oldid=72817 * PythonshellDebugwindow * (+62) /* Examples */
19:16:34 -!- zseri has joined.
19:38:49 <esowiki> [[User:Orby/Term rewriting metalanguage]] https://esolangs.org/w/index.php?diff=72819&oldid=72800 * Orby * (+534)
19:45:02 -!- kspalaiologos has quit (Quit: Leaving).
20:10:21 -!- robert_eo has joined.
20:14:16 -!- robert_eo has left ("Leaving").
20:24:43 -!- zseri has quit (Quit: zseri).
20:30:28 -!- andrewtheircer__ has joined.
20:32:24 -!- andrewtheircer__ has quit (Remote host closed the connection).
20:33:35 -!- tromp has quit (Remote host closed the connection).
20:48:25 -!- tromp has joined.
21:11:24 -!- rain1 has quit (Quit: leaving).
21:14:52 -!- baidicoot has joined.
21:16:14 <baidicoot> How does one go about relabeling a language so that it *vaguely, kind of* represents natural language? any tips/references?
21:18:07 <baidicoot> also, `multinational league for esoteric programming proliferation, protection, and protestation`?
21:25:44 -!- sprocklem has quit (Ping timeout: 256 seconds).
21:31:17 <esowiki> [[User:Orby/Term rewriting metalanguage]] https://esolangs.org/w/index.php?diff=72820&oldid=72819 * Orby * (+1254)
21:31:58 <orbitaldecay> baidicoot: There is a category on the wiki called psuedonatural. That might be a good place to start.
21:32:13 -!- sprocklem has joined.
21:33:55 <esowiki> [[(1) Grace sent you a message]] N https://esolangs.org/w/index.php?oldid=72821 * Hakerh400 * (+1868) +[[(1) Grace sent you a message]]
21:34:03 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=72822&oldid=72793 * Hakerh400 * (+35) +[[(1) Grace sent you a message]]
21:34:08 <esowiki> [[User:Hakerh400]] https://esolangs.org/w/index.php?diff=72823&oldid=72794 * Hakerh400 * (+35) +[[(1) Grace sent you a message]]
21:36:11 <esowiki> [[User:Orby/Term rewriting metalanguage]] M https://esolangs.org/w/index.php?diff=72824&oldid=72820 * Orby * (+6)
21:41:26 -!- arseniiv has quit (Ping timeout: 272 seconds).
21:42:40 -!- adu has quit (Ping timeout: 256 seconds).
21:53:12 <esowiki> [[User:Orby/Term rewriting metalanguage]] https://esolangs.org/w/index.php?diff=72825&oldid=72824 * Orby * (+643)
21:54:01 <esowiki> [[User:Orby/Term rewriting metalanguage]] M https://esolangs.org/w/index.php?diff=72826&oldid=72825 * Orby * (+15) /* Examples */
21:57:46 <esowiki> [[User:Orby/Term rewriting metalanguage]] M https://esolangs.org/w/index.php?diff=72827&oldid=72826 * Orby * (+8) /* As a Thue extension */
21:57:59 <esowiki> [[User:Orby/Term rewriting metalanguage]] M https://esolangs.org/w/index.php?diff=72828&oldid=72827 * Orby * (-3) /* As a Thue extension */
22:09:05 -!- adu has joined.
22:17:05 <imode> is there any language/esolang that consists exclusively of parentheses? don't say lisp. :P
22:19:33 -!- tromp has quit (Remote host closed the connection).
22:26:23 <b_jonas> imode: brainfuck. it has three types of parenthesis: [] <> and +-
22:27:22 <b_jonas> or Incident, where every identifier appears three times like < | > with the three doing different things, and they match up and know where the other two are
22:28:25 <imode> sorry, I guess I should specify: balanced parentheses.
22:28:41 <imode> no other characters other than ( and ).
22:30:46 <imode> + and - aren't strictly balanced, neither are < and >.
22:48:55 <fizzie> https://esolangs.org/wiki/() -- it's not the easiest-to-parse description, but looking at the JS implementation, it looks somewhat likely that it requires the balance.
22:49:09 -!- tromp has joined.
22:50:26 -!- tromp_ has joined.
22:53:55 -!- tromp has quit (Ping timeout: 272 seconds).
22:55:11 -!- tromp_ has quit (Ping timeout: 272 seconds).
23:01:53 -!- Arcorann has joined.
23:02:21 -!- Arcorann has quit (Remote host closed the connection).
23:02:48 -!- Arcorann has joined.
23:17:43 <b_jonas> imode: I guess you could consider Amicus, since its only data types is (finite) lists that can have any length and can have any list at every element, so if you write them with just parenthesis without the commas it's unambiguous, and any balanced parenthesis sequence is a valid object
23:17:58 <b_jonas> (some of them won't work as programs, but you can only find that out in runtime)
23:18:41 <b_jonas> (there are some undefined cases in the syntax that could be used for extensions, but you can't predict without running the program if you run onto one, and any object is valid as data)
23:19:15 <b_jonas> Amycus even more so, because it has some operations to compose lists
23:21:25 <b_jonas> it still can't decompose lists, so you mostly use them to compose lists that happen to be parts of programs
23:21:29 <b_jonas> but still
23:21:49 <imode> neat!
23:27:52 -!- tromp has joined.
23:32:12 <spruit11> Shouldn't be hard? () = S, ()() or (()) = K, anything else braces.
23:32:47 -!- tromp has quit (Ping timeout: 260 seconds).
23:33:49 <esowiki> [[User:PythonshellDebugwindow/XShell]] M https://esolangs.org/w/index.php?diff=72829&oldid=72818 * PythonshellDebugwindow * (+1) /* Truth-machine */
23:35:42 <b_jonas> hmm no, apparently Amycus does have some ways to deconstruct lists (if you have a bound on their length)
23:35:57 <b_jonas> I don't know how that works. probably magic.
23:38:01 <imode> is the guy who did the postfix/"forth-like" combinatory logic interpreter still here?
23:41:35 <orbitaldecay> I am
23:41:58 <imode> made any progress with it?
23:42:30 <orbitaldecay> I did. See the skiforth page. There is now a bootable iso.
23:43:15 <imode> interesting. what made you use postfix instead of prefix?
23:44:40 <orbitaldecay> Though I''ve since moved on to so called concatenative combinators, which are better suited for the task (see clementine). I used postfix because I thought it worked more nicely with the forth-like word definitions.
23:46:18 <imode> interesting, are you intending on using quotes or stringing stuff together via apply.
23:47:02 <orbitaldecay> The later. It has a strong postfix unlambda feel to it.
23:48:38 <imode> interesting.
23:48:45 <orbitaldecay> Though at this point I really consider skiforth an intellectual stepping stone to clementine, which I find much more elegant
23:49:30 <imode> been trying to find the "elegance" in combinators lately, concatenative or otherwise.
23:50:06 <orbitaldecay> As skiforth doesn't support arbitrary stack manipulation, but clementine does while maintaining roughly the same level of simplicity
23:50:18 <orbitaldecay> I really like combinators
23:50:36 <imode> I don't have the headspace for them, I guess.
23:51:30 <orbitaldecay> I find it useful to think of them as term rewriting languages
23:52:41 <imode> trying to reconcile the imperative part of my brain with the expression-oriented part of my brain and then tack combinators on to that is a hassle. I have a rewriting language but I don't like it, because it presupposes the idea of lists of things.
23:54:07 <orbitaldecay> I started with lambda calculus and learned combinators as a simplification of that, which I think is an easier step to take
23:56:22 <orbitaldecay> I'm currently working on something that I think is going to end up being a term rewriting extension to thue
23:56:38 <imode> you'd like my language then.
23:57:01 <orbitaldecay> Do you have anything documented?
23:57:06 <imode> one sec.
23:57:11 <imode> will give you my sketch.
23:57:27 <orbitaldecay> Cool
23:58:10 <imode> https://hatebin.com/nfyprzklqo
23:59:09 <imode> https://repl.it/repls/ShorttermGrimProjections
23:59:31 <imode> it's a rewrite language in the style of thue (no vars, just replacement rules).
←2020-05-23 2020-05-24 2020-05-25→ ↑2020 ↑all