←2025-04-03 2025-04-04 ↑2025 ↑all
00:59:15 -!- 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:38:59 <esolangs> [[Talk:PAL]] https://esolangs.org/w/index.php?diff=155045&oldid=154935 * I am islptng * (+65) /* RACTANGLE!TELL ME WHAT YOU DID WITH MY INTERPRETER */ new section
02:24:43 <esolangs> [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=155046&oldid=154941 * BigGreenHat * (+39)
02:24:49 <esolangs> [[Nah bro]] N https://esolangs.org/w/index.php?oldid=155047 * BigGreenHat * (+2646) Created page with "Nah-bro is a [[esoteric programming language]] created by [[User:BigGreenHat]] Comments start with # Top value of the stack is 0 Uses the .nah file extension == Instructions == <code> * (number) my ass # Append to stack * (index) go touch grass # Print * make (o
02:24:57 <esolangs> [[User:BigGreenHat]] N https://esolangs.org/w/index.php?oldid=155048 * BigGreenHat * (+3) Created page with "hoi"
02:28:19 <esolangs> [[Nah bro]] https://esolangs.org/w/index.php?diff=155049&oldid=155047 * BigGreenHat * (+94)
03:05:09 <esolangs> [[SeeLlash]] N https://esolangs.org/w/index.php?oldid=155050 * AnotherUser05 * (+4157) Created page with "'''SeeLlash''' is an esolang that is created by [[User:AnotherUser05]], which she finally wrote an interpreter for an esolang before making the page for it. ==Overview== The language is somewhat inspired by [[Brainfuck]], but only uses 2 values, which one of th
03:11:37 <esolangs> [[Tskastic/Command Table]] N https://esolangs.org/w/index.php?oldid=155051 * PrySigneToFry * (+4250) Created page with "{{WIP}} {{Back|Tskastic}} We have a tape, several registers(like [[Apollo (PSTF)]]), an accumulator, a stack, and can manipulate memory. We use both base-10 and base-20. Here is the base-20 table: 0123456789. = Ascii = <pre style='font-family:Cons
03:12:00 <esolangs> [[Tskastic]] https://esolangs.org/w/index.php?diff=155052&oldid=155037 * PrySigneToFry * (-5)
03:13:17 <esolangs> [[EternalGolf]] https://esolangs.org/w/index.php?diff=155053&oldid=154676 * None1 * (+49) /* Basic area */
03:13:26 <esolangs> [[EternalGolf]] https://esolangs.org/w/index.php?diff=155054&oldid=155053 * None1 * (-1) /* Basic area */
03:35:05 -!- nitrix has quit (Quit: ZNC 1.9.1 - https://znc.in).
04:36:19 <Sgeo> Watching a video about differentiation as an infinite matrix, and it shows that D^-1 * D != I, but D * D^-1 = I. This isn't possible with finite matrices, right?
04:41:54 <Sgeo> The video used D', I changed it to D^-1, but that's wrong of me, oops
05:15:17 <esolangs> [[Language list]] https://esolangs.org/w/index.php?diff=155055&oldid=155033 * C0ffee * (+9)
05:17:38 -!- Hooloovoo has quit (Ping timeout: 252 seconds).
05:18:40 <esolangs> [[Sb]] https://esolangs.org/w/index.php?diff=155056&oldid=154291 * C0ffee * (+26)
05:21:42 <esolangs> [[Sb]] https://esolangs.org/w/index.php?diff=155057&oldid=155056 * C0ffee * (+128)
05:33:28 -!- Hooloovoo has joined.
05:35:30 <esolangs> [[Sb]] https://esolangs.org/w/index.php?diff=155058&oldid=155057 * C0ffee * (-4)
05:57:05 <Sgeo> https://math.stackexchange.com/questions/816863/matrices-whose-product-is-identity-but-do-not-commute finite matrices of different sizes
07:16:38 -!- Lord_of_Life has quit (Ping timeout: 245 seconds).
07:16:43 -!- Lord_of_Life_ has joined.
07:18:06 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
07:26:17 <esolangs> [[Talk:PAL]] https://esolangs.org/w/index.php?diff=155059&oldid=155045 * Ractangle * (+254) /* RACTANGLE!TELL ME WHAT YOU DID WITH MY INTERPRETER */
07:33:07 <esolangs> [[BitChanger Busy beaver/Proof]] https://esolangs.org/w/index.php?diff=155060&oldid=154674 * C++DSUCKER * (+1496)
07:43:58 -!- Sgeo has quit (Read error: Connection reset by peer).
07:44:17 <esolangs> [[User:JIT]] https://esolangs.org/w/index.php?diff=155061&oldid=154948 * JIT * (+59)
07:44:44 -!- nitrix has joined.
07:51:05 <esolangs> [[MetaInterpreter]] M https://esolangs.org/w/index.php?diff=155062&oldid=154947 * JIT * (+68)
07:54:10 <esolangs> [[Talk:(,!)]] https://esolangs.org/w/index.php?diff=155063&oldid=133377 * JIT * (+1)
09:12:19 <esolangs> [[Blindfolded Arithmetic]] https://esolangs.org/w/index.php?diff=155064&oldid=153971 * B jonas * (+1) /* Compiling individual steps */
09:31:43 <APic> Hi
09:59:15 -!- craigo has quit (Quit: Leaving).
10:13:06 <esolangs> [[Special:Log/newusers]] create * KMorgan * New user account
11:14:53 <esolangs> [[Talk:ight]] https://esolangs.org/w/index.php?diff=155065&oldid=154761 * JIT * (+267)
11:17:59 -!- amadaluzia has joined.
11:22:00 <esolangs> [[Talk:ight]] M https://esolangs.org/w/index.php?diff=155066&oldid=155065 * JIT * (+6)
11:24:50 <esolangs> [[User:Hotcrystal0]] https://esolangs.org/w/index.php?diff=155067&oldid=154433 * Hotcrystal0 * (-21)
11:27:00 -!- amby has joined.
11:30:00 <esolangs> [[User:Hotcrystal0/Sandbox]] https://esolangs.org/w/index.php?diff=155068&oldid=154925 * Hotcrystal0 * (+343)
11:30:19 <esolangs> [[User:Hotcrystal0/Sandbox]] https://esolangs.org/w/index.php?diff=155069&oldid=155068 * Hotcrystal0 * (+1)
11:30:27 <esolangs> [[User:Hotcrystal0/Sandbox]] https://esolangs.org/w/index.php?diff=155070&oldid=155069 * Hotcrystal0 * (-1)
11:30:37 <esolangs> [[User:Hotcrystal0/Sandbox]] https://esolangs.org/w/index.php?diff=155071&oldid=155070 * Hotcrystal0 * (-2)
11:31:07 <esolangs> [[User:Hotcrystal0/Sandbox]] https://esolangs.org/w/index.php?diff=155072&oldid=155071 * Hotcrystal0 * (+0)
11:34:56 <esolangs> [[Works in progress]] M https://esolangs.org/w/index.php?diff=155073&oldid=155026 * JHSHernandez-ZBH * (-35)
11:35:28 <esolangs> [[Leocode]] https://esolangs.org/w/index.php?diff=155074&oldid=119567 * JIT * (+130)
11:35:48 <esolangs> [[Esolang talk:Community portal]] M https://esolangs.org/w/index.php?diff=155075&oldid=154870 * JHSHernandez-ZBH * (+0) /* I made a template for april fools */
11:37:02 <esolangs> [[User:JHSHernandez-ZBH/templates/April]] M https://esolangs.org/w/index.php?diff=155076&oldid=154871 * JHSHernandez-ZBH * (-59)
11:37:20 <esolangs> [[User:JHSHernandez-ZBH/templates/April]] M https://esolangs.org/w/index.php?diff=155077&oldid=155076 * JHSHernandez-ZBH * (+3)
11:39:10 <esolangs> [[User:I am islptng/Silicon dioxide in a polypropylene box]] https://esolangs.org/w/index.php?diff=155078&oldid=155030 * PrySigneToFry * (+852)
11:47:18 <esolangs> [[BitChanger Busy beaver/Proof]] https://esolangs.org/w/index.php?diff=155079&oldid=155060 * C++DSUCKER * (-1495) I messes up and the ode returns all as looping
11:56:31 <esolangs> [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=155080&oldid=155046 * JHSHernandez-ZBH * (+121)
11:56:59 <esolangs> [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=155081&oldid=155080 * JHSHernandez-ZBH * (-2)
12:10:23 <esolangs> [[Tskastic/Command Table]] https://esolangs.org/w/index.php?diff=155082&oldid=155051 * PrySigneToFry * (+13)
12:13:16 <esolangs> [[User:AnotherUser05]] https://esolangs.org/w/index.php?diff=155083&oldid=123863 * AnotherUser05 * (+24)
12:52:00 <esolangs> [[Piet]] https://esolangs.org/w/index.php?diff=155084&oldid=154806 * JHSHernandez-ZBH * (+52) /* Notes */
13:08:45 <esolangs> [[MSFE++]] https://esolangs.org/w/index.php?diff=155085&oldid=151858 * Cycwin * (+981) /* Interpreter */
13:13:36 <esolangs> [[User:I am islptng/Silicon dioxide in a polypropylene box]] https://esolangs.org/w/index.php?diff=155086&oldid=155078 * I am islptng * (+910)
13:15:42 <esolangs> [[MSFE++]] https://esolangs.org/w/index.php?diff=155087&oldid=155085 * Cycwin * (+181) /* Introduce&Syntax */
13:19:39 <esolangs> [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=155088&oldid=155038 * I am islptng * (+685) /* New category */
13:53:30 <esolangs> [[User talk:I am islptng]] https://esolangs.org/w/index.php?diff=155089&oldid=154960 * Hotcrystal0 * (+174) /* New signature for me */ new section
14:07:13 <esolangs> [[Rhombitrihexagonal]] N https://esolangs.org/w/index.php?oldid=155090 * 5anz * (+4721) Created page with "Hi, I'm 5anz, and this is my 5th esolang (counting [[brainXXXXXXXXXXx]] as one), and this one is about the Rhombitrihexagonal (or 3.4.6.4) Tiling, my personal favourite tiling, due to all the shapes it uses in a way that makes a dodecagon. It *IS* recommended yo
14:16:20 <esolangs> [[Rhombitrihexagonal]] https://esolangs.org/w/index.php?diff=155091&oldid=155090 * 5anz * (+41)
14:25:08 <esolangs> [[User:I am islptng/Silicon dioxide in a polypropylene box]] https://esolangs.org/w/index.php?diff=155092&oldid=155086 * PrySigneToFry * (+1159)
14:26:05 <esolangs> [[User:I am islptng/Silicon dioxide in a polypropylene box]] https://esolangs.org/w/index.php?diff=155093&oldid=155092 * PrySigneToFry * (+2)
14:26:48 <esolangs> [[User:I am islptng/Silicon dioxide in a polypropylene box]] https://esolangs.org/w/index.php?diff=155094&oldid=155093 * PrySigneToFry * (+54)
14:28:03 <esolangs> [[User:I am islptng/Silicon dioxide in a polypropylene box]] https://esolangs.org/w/index.php?diff=155095&oldid=155094 * PrySigneToFry * (-22)
14:28:38 <esolangs> [[User:I am islptng/Silicon dioxide in a polypropylene box]] https://esolangs.org/w/index.php?diff=155096&oldid=155095 * PrySigneToFry * (+17)
14:32:38 <esolangs> [[User:5anz]] https://esolangs.org/w/index.php?diff=155097&oldid=148216 * 5anz * (+109) /* brainXXXXXXXXXXx */
14:32:58 <esolangs> [[User:5anz]] https://esolangs.org/w/index.php?diff=155098&oldid=155097 * 5anz * (-1) /* print("Hello, World!") */
14:35:05 <esolangs> [[Tskastic/Command Table]] https://esolangs.org/w/index.php?diff=155099&oldid=155082 * PrySigneToFry * (+110)
14:39:06 <esolangs> [[User:5anz/Sandbox]] N https://esolangs.org/w/index.php?oldid=155100 * 5anz * (+1685) Created page with "== Question 1 == === Question 1a === ==== Question 1ai ==== ===== Question 1aiA ===== ====== Question 1aiAI ====== ====== Question 1aiAII ====== ===== Question 1aiB ===== ====== Question 1aiBI ====== ====== Question 1aiBII ====== ==== Question 1aii ==== ===== Que
14:41:50 -!- Sgeo has joined.
14:44:51 <esolangs> [[User talk:Hotcrystal0]] https://esolangs.org/w/index.php?diff=155101&oldid=154896 * I am islptng * (+731)
14:49:47 <esolangs> [[User talk:Hotcrystal0]] https://esolangs.org/w/index.php?diff=155102&oldid=155101 * Hotcrystal0 * (+148)
14:54:38 <esolangs> [[Talk:ight]] https://esolangs.org/w/index.php?diff=155103&oldid=155066 * JIT * (+328) /* Interpreters? */ new section
14:57:07 -!- Arty has changed nick to Artea.
15:00:36 <esolangs> [[User:I am islptng/Sandbox]] https://esolangs.org/w/index.php?diff=155104&oldid=151907 * I am islptng * (+98) Redirected page to [[User:I am islptng/Silicon dioxide in a polypropylene box]]
15:02:24 <esolangs> [[User talk:Hotcrystal0]] https://esolangs.org/w/index.php?diff=155105&oldid=155102 * Hotcrystal0 * (+246)
15:03:39 <esolangs> [[User talk:Hotcrystal0]] https://esolangs.org/w/index.php?diff=155106&oldid=155105 * Hotcrystal0 * (+0)
15:06:18 <esolangs> [[User:I am islptng/Silicon dioxide in a polypropylene box]] https://esolangs.org/w/index.php?diff=155107&oldid=155096 * I am islptng * (+77) /* The of , by T. , */
15:08:57 <esolangs> [[User:I am islptng/Silicon dioxide in a polypropylene box]] https://esolangs.org/w/index.php?diff=155108&oldid=155107 * I am islptng * (+147)
15:10:14 <esolangs> [[User talk:Hotcrystal0]] https://esolangs.org/w/index.php?diff=155109&oldid=155106 * Hotcrystal0 * (-1)
15:10:30 <esolangs> [[User talk:Hotcrystal0]] https://esolangs.org/w/index.php?diff=155110&oldid=155109 * Hotcrystal0 * (+1)
15:14:56 <esolangs> [[User:Hotcrystal0]] https://esolangs.org/w/index.php?diff=155111&oldid=155067 * Hotcrystal0 * (+459)
15:15:04 <esolangs> [[User:Hotcrystal0]] https://esolangs.org/w/index.php?diff=155112&oldid=155111 * Hotcrystal0 * (-459)
15:28:06 <esolangs> [[Print("Hello, World!")]] https://esolangs.org/w/index.php?diff=155113&oldid=150655 * MihaiEso * (+118) /* Implementations */
15:51:38 -!- amadaluzia has quit (Ping timeout: 245 seconds).
15:51:56 -!- amadaluzia has joined.
16:10:33 <esolangs> [[User:Hotcrystal0]] https://esolangs.org/w/index.php?diff=155114&oldid=155112 * Hotcrystal0 * (+261)
16:10:51 <esolangs> [[User:Hotcrystal0]] https://esolangs.org/w/index.php?diff=155115&oldid=155114 * Hotcrystal0 * (-261)
16:11:46 -!- amadaluzia has quit (Ping timeout: 252 seconds).
16:17:43 <esolangs> [[Moed]] https://esolangs.org/w/index.php?diff=155116&oldid=155015 * Dhzb * (+168) /* Dexterimperae */
16:18:53 <esolangs> [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=155117&oldid=155088 * Hotcrystal0 * (+212) /* Signature */ new section
16:19:32 <esolangs> [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=155118&oldid=155117 * Hotcrystal0 * (+0)
16:20:21 <esolangs> [[Moed]] https://esolangs.org/w/index.php?diff=155119&oldid=155116 * Dhzb * (+87) /* Special operations */
16:20:25 <esolangs> [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=155120&oldid=155118 * Hotcrystal0 * (+126)
16:20:58 <esolangs> [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=155121&oldid=155120 * Hotcrystal0 * (-27)
16:21:00 <esolangs> [[Moed]] M https://esolangs.org/w/index.php?diff=155122&oldid=155119 * Dhzb * (+44) /* Sinisterimperae */
16:22:06 <esolangs> [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=155123&oldid=155121 * Hotcrystal0 * (+35)
16:22:39 <esolangs> [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=155124&oldid=155123 * Hotcrystal0 * (-1)
16:23:11 <esolangs> [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=155125&oldid=155124 * Hotcrystal0 * (-2)
16:24:29 <esolangs> [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=155126&oldid=155125 * Hotcrystal0 * (-13)
16:26:07 <esolangs> [[Moed]] M https://esolangs.org/w/index.php?diff=155127&oldid=155122 * Dhzb * (+52) /* Future additions */
16:29:01 <esolangs> [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=155128&oldid=155126 * Hotcrystal0 * (+278)
16:32:43 <esolangs> [[User talk:Hotcrystal0]] https://esolangs.org/w/index.php?diff=155129&oldid=155110 * Hotcrystal0 * (+35)
16:34:25 <esolangs> [[Moed/Examples]] M https://esolangs.org/w/index.php?diff=155130&oldid=155014 * Dhzb * (+101)
16:35:46 <esolangs> [[Moed]] M https://esolangs.org/w/index.php?diff=155131&oldid=155127 * Dhzb * (+245)
16:37:52 <esolangs> [[User talk:PrySigneToFry]] https://esolangs.org/w/index.php?diff=155132&oldid=154794 * Hotcrystal0 * (+296)
16:38:35 <esolangs> [[User talk:ColorfulGalaxy's CA discoveries]] M https://esolangs.org/w/index.php?diff=155133&oldid=153523 * Corbin * (-32) Remove non-main-namespace article from main-namespace category.
16:40:01 -!- tromp has joined.
16:40:31 -!- FreeFull has joined.
16:44:15 <esolangs> [[User:Unname4798]] https://esolangs.org/w/index.php?diff=155134&oldid=151221 * Hotcrystal0 * (+717) Adding more to the mirror
16:44:28 <esolangs> [[User:Unname4798]] https://esolangs.org/w/index.php?diff=155135&oldid=155134 * Hotcrystal0 * (+2)
16:50:35 <esolangs> [[W110]] https://esolangs.org/w/index.php?diff=155136&oldid=142529 * Corbin * (+624) Fix credits and explain what was done. This is a notorious case of plagiarism where we should thoughtfully avoid crediting the plagiarist.
16:50:46 <korvo> esolangs: Who proved that Rule 110 is Turing-complete?
16:51:14 <esolangs> korvo: Matthew Cook proved that Rule 110 is Turing-complete. He did this around 1998, after a legal battle with his employer. His proof involved demonstrating that Rule 110 could simulate a glider system, making it undecidable whether a given glider would appear.
16:51:35 <korvo> Ooh, that's satisfying.
16:52:05 <int-e> "He did this around 1998, after a legal battle with his employer."
16:52:28 <korvo> Yeah, I'm looking to see if I can find a reputable source with a tighter date.
16:53:37 <korvo> Also yeah, the bot got the causality slightly wrong. I'm told that Transformers don't really understand the ordering of words; it's yet another parameter which they only respect to a degree. If true, then very frustrating, since it means that implications are always coded incorrectly as bi-implications.
16:54:45 <int-e> https://www.courtlistener.com/docket/4155086/wolfram-research-inc-v-cook/
16:56:17 <korvo> Haha, yeah, okay. I'm on-board with that.
16:58:59 <korvo> Nope, no good details there. But I can still cite it since it happened.
16:59:17 <int-e> TBH I can't even tell if that's the right Cook :P
16:59:32 -!- nitrix has quit (Quit: ZNC 1.9.1 - https://znc.in).
16:59:54 <int-e> oh I can
17:01:20 <int-e> Ah, this helps: https://en.wikipedia.org/wiki/Matthew_Cook#Work_with_Stephen_Wolfram
17:04:37 <esolangs> [[W110]] https://esolangs.org/w/index.php?diff=155137&oldid=155136 * Corbin * (+250) Add another reference and rephrase for precision.
17:05:03 <korvo> Yeah. WP is being gentle to avoid getting sued, but here on the West Coast it's well-known that Wolfram is a plagiarist.
17:05:27 <korvo> The general understanding is that Wolfram wanted credit for everything his grad students did. Adjunctification but without a teaching load.
17:06:26 <korvo> As such, if there's anything in a Wolfram book like NKoS which isn't cited or credited, it's reasonable to assume that he plagiarized it from one of his employee-students, didn't pay them fairly, isn't going to credit them, and might well sue them for trying to publish honestly.
17:08:39 <int-e> I wasn't sure how the timeline fit together. Now I have a 1998 date for announcing the result, a 2000/2001 lawsuit, a 2002 book, and a 2004 paper, in a sequence that makes sense.
17:10:54 <korvo> Ah, yeah. And this is all over a decade after the mid-80s work that Wolfram *should* be credited for, like the Wolfram coding for the family that Rule 110 belongs.
17:14:10 <korvo> esolangs: Who proved that Rule 110 is Turing-complete?
17:14:39 <esolangs> korvo: Matthew Cook proved that Rule 110 is Turing-complete. He did so around 1998, after initially conjecturing its Turing-completeness in 1985. Cook's proof involved demonstrating that Rule 110 could simulate a glider system, where the outcome of a glider's movement is undecidable.
17:14:54 <int-e> LOL
17:15:01 <korvo> Amazing! Even more wrong.
17:15:22 <korvo> Feel free to poke at this. I'm done editing for now, I think.
17:15:38 <int-e> I mean it's technically possible I guess? Cook turned 15 in 1985
17:15:45 <int-e> ;)
17:16:02 <int-e> I don't interact with LLMs if I can help it.
17:19:05 <korvo> I gave consulting advice to a few RAG startups a few years ago. The biggest lesson I learned was that a RAG pipeline needs a good language model (which is expensive) and good input data (which requires work); this is also why most of those startups cratered.
17:19:41 <int-e> . o O ( I only use rags for cleaning. )
17:19:59 <int-e> (I did look up the acronym the other day.)
17:24:07 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
17:25:53 <fizzie> I should probably stick the [LLM] prefix in the output per https://libera.chat/news/llm-etiquette -- and add some botloop avoidance to the general output format.
17:26:04 <fizzie> FTR, if the bot produces an answer in less than a minute, chances are there was no or very little esowiki sources involved in the response.
17:26:22 <fizzie> Though looks like for that query it has in fact generated "Rule 110 Turing complete" as the wiki search query, found the pages "Shorter code Burn", "W110", "CA-1" as a result, and fed all three articles in as-is since they were all short enough.
17:52:27 -!- tromp has joined.
18:01:32 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
18:11:38 <esolangs> [[User:Ractangle]] https://esolangs.org/w/index.php?diff=155138&oldid=154740 * Ractangle * (-50)
18:12:26 <esolangs> [[User talk:Gilbert189]] https://esolangs.org/w/index.php?diff=155139&oldid=154897 * Hotcrystal0 * (+450)
18:13:20 <esolangs> [[User talk:Gilbert189]] https://esolangs.org/w/index.php?diff=155140&oldid=155139 * Hotcrystal0 * (+79)
18:15:18 <esolangs> [[User:PrySigneToFry/Sandbox/Users that is also on other place]] https://esolangs.org/w/index.php?diff=155141&oldid=152947 * Hotcrystal0 * (+31)
18:17:00 <esolangs> [[User:Ractangle/Debating]] https://esolangs.org/w/index.php?diff=155142&oldid=152540 * Ractangle * (-298) /* CONSUMOR BUILD */
18:18:58 -!- tromp has joined.
18:19:09 <esolangs> [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=155143&oldid=155128 * Ractangle * (+55) /* Page in need of deletion */
18:37:55 <esolangs> [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=155144&oldid=155143 * Ractangle * (+176) /* Page in need of deletion */
19:04:46 <korvo> https://gist.github.com/MostAwesomeDude/f31eff9e483a9e0223f14fb629c55755 I have made three conjectures, apparently.
19:05:00 <korvo> First one is "if it weren't for call/return — if it weren't for general recursion — we could compile to classic CPUs via superoptimization"
19:05:15 <korvo> Third one is "when we want to refine a function by choosing an algorithm which isn't going to overflow the stack at runtime, we can't do it merely by inspecting the function's structure and deterministically assigning a pile of loops to it"
19:11:29 <korvo> I don't know if I have a further point. I feel like I've sketched why Brand P, Brand A, and Brand F are different ways of building systems, and also why everything tends towards Brand A. I don't know if I have any interesting insights though. For all I know, it's all bunk.
←2025-04-03 2025-04-04 ↑2025 ↑all