00:01:37 <esolangs> [[110010000100110110010]] https://esolangs.org/w/index.php?diff=147808&oldid=147805 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (-1) /* Syntax */
00:02:12 -!- mtm has quit (Ping timeout: 244 seconds).
00:03:52 <esolangs> [[,()]] https://esolangs.org/w/index.php?diff=147809&oldid=146726 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (-1) /* APLWSI interpreter */
00:05:50 -!- mtm has joined.
00:46:35 -!- craigo has quit (Quit: Leaving).
01:01:12 -!- ais523 has quit (Quit: quit).
01:38:39 -!- ^[ has quit (Quit: ^[).
01:49:24 -!- 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).
02:15:01 -!- ^[ has joined.
02:57:07 -!- ski has quit (Remote host closed the connection).
02:58:41 -!- earend1 has quit (Quit: Connection closed for inactivity).
02:59:30 <esolangs> [[6 trits, 243 trytes]] https://esolangs.org/w/index.php?diff=147810&oldid=147699 * ZCX islptng * (+398)
03:06:07 <esolangs> [[6 trits, 243 trytes]] https://esolangs.org/w/index.php?diff=147811&oldid=147810 * ZCX islptng * (+256)
03:17:43 <esolangs> [[6 trits, 243 trytes]] https://esolangs.org/w/index.php?diff=147812&oldid=147811 * ZCX islptng * (+160)
03:35:50 <esolangs> [[6 trits, 243 trytes]] https://esolangs.org/w/index.php?diff=147813&oldid=147812 * ZCX islptng * (+393)
04:45:10 <esolangs> [[User talk:PrySigneToFry]] https://esolangs.org/w/index.php?diff=147814&oldid=147769 * ColorfulGalaxy's CA discoveries * (+271) /* Shidinn wiki */ Another problem) (----
05:29:26 -!- Sgeo_ has joined.
05:32:28 -!- Sgeo has quit (Ping timeout: 245 seconds).
07:05:31 -!- Sgeo_ has quit (Read error: Connection reset by peer).
07:36:37 <esolangs> [[InterWOEven]] N https://esolangs.org/w/index.php?oldid=147815 * RacistCat * (+1304) Created page with "InterWOEven is an esoteric programming language designed to have a really unique execution style and really difficult to use. Programs in InterWOEven are, as the name suggests, just woven parentheses and brackets. = Syntax = The program is converted to a graph. M
07:37:42 <esolangs> [[InterWOEven]] https://esolangs.org/w/index.php?diff=147816&oldid=147815 * RacistCat * (+5)
07:38:22 <esolangs> [[InterWOEven]] https://esolangs.org/w/index.php?diff=147817&oldid=147816 * RacistCat * (-7)
07:39:20 <esolangs> [[InterWOEven]] https://esolangs.org/w/index.php?diff=147818&oldid=147817 * RacistCat * (+39)
07:45:22 <esolangs> [[User:RacistCat]] https://esolangs.org/w/index.php?diff=147819&oldid=147241 * RacistCat * (+129)
07:45:54 <esolangs> [[User:RacistCat]] https://esolangs.org/w/index.php?diff=147820&oldid=147819 * RacistCat * (-1)
07:46:15 <esolangs> [[User:RacistCat]] https://esolangs.org/w/index.php?diff=147821&oldid=147820 * RacistCat * (+0)
07:47:54 <esolangs> [[User:RacistCat]] https://esolangs.org/w/index.php?diff=147822&oldid=147821 * RacistCat * (+2)
07:49:08 <esolangs> [[InterWOEven]] https://esolangs.org/w/index.php?diff=147823&oldid=147818 * RacistCat * (+18)
07:58:13 -!- tromp has joined.
08:28:17 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
08:35:39 -!- tromp has joined.
10:44:00 -!- chiselfuse has quit (Ping timeout: 264 seconds).
10:45:39 -!- chiselfuse has joined.
10:58:44 -!- __monty__ has joined.
11:01:36 <esolangs> [[Special:Log/newusers]] create * Plcc * New user account
11:09:34 <esolangs> [[User talk:PrySigneToFry]] https://esolangs.org/w/index.php?diff=147824&oldid=147814 * PrySigneToFry * (+694)
11:15:45 -!- wib_jonas has joined.
11:59:58 -!- wib_jonas has quit (Quit: Client closed).
12:04:08 -!- mtm has quit (Ping timeout: 252 seconds).
12:05:19 <esolangs> [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=147825&oldid=147611 * PrySigneToFry * (+833) /* Bug report */ new section
12:05:26 -!- mtm has joined.
12:36:12 <esolangs> [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=147826&oldid=147825 * Int-e * (+184) /* Bug report */ (not a bug)
13:24:11 <esolangs> [[An unusable esolang made with an one-line interpreter and a long name]] https://esolangs.org/w/index.php?diff=147827&oldid=103374 * PrySigneToFry * (+111)
13:25:54 <esolangs> [[InterWOEven]] https://esolangs.org/w/index.php?diff=147828&oldid=147823 * RacistCat * (+201)
13:27:50 <esolangs> [[InterWOEven]] https://esolangs.org/w/index.php?diff=147829&oldid=147828 * RacistCat * (+2)
14:08:50 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
14:55:12 <esolangs> [[Esolang talk:Introduce yourself]] https://esolangs.org/w/index.php?diff=147830&oldid=146928 * ColorfulGalaxy's CA discoveries * (+300) /* Abuse filter paradox */ ) (----
14:56:42 -!- olsner_ has joined.
14:58:29 -!- olsner has quit (Ping timeout: 248 seconds).
15:17:54 -!- tromp has joined.
15:35:44 -!- Sgeo has joined.
15:46:28 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
15:49:18 -!- tromp has joined.
16:08:57 <esolangs> [[User:Qawtykit]] https://esolangs.org/w/index.php?diff=147831&oldid=138351 * Qawtykit * (-19) made things look better, and started a looping counter collection
16:16:03 <esolangs> [[User:Qawtykit]] M https://esolangs.org/w/index.php?diff=147832&oldid=147831 * Qawtykit * (+195) added Lua looping counter
16:34:23 <esolangs> [[User:XKCD Random Number]] M https://esolangs.org/w/index.php?diff=147833&oldid=146347 * Qawtykit * (+97) added FALSE implementation
16:53:07 <esolangs> [[User:XKCD Random Number]] M https://esolangs.org/w/index.php?diff=147834&oldid=147833 * Qawtykit * (+6) fixed mistake in FALSE implementation
16:54:10 <esolangs> [[User:XKCD Random Number]] M https://esolangs.org/w/index.php?diff=147835&oldid=147834 * Qawtykit * (+0) corrected capitalization error
17:41:21 -!- molson_ has joined.
17:44:24 -!- molson has quit (Ping timeout: 260 seconds).
18:10:50 -!- Lord_of_Life_ has joined.
18:11:51 -!- Lord_of_Life has quit (Ping timeout: 244 seconds).
18:13:46 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
18:24:10 -!- Noisytoot has quit (Remote host closed the connection).
18:25:52 -!- Noisytoot has joined.
18:35:19 -!- Noisytoot has quit (Remote host closed the connection).
18:40:39 -!- Noisytoot has joined.
18:40:54 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
18:50:21 <korvo> esolangs: What are some examples of languages that reimagine shell scripting?
18:50:39 <esolangs> korvo: Several languages reimagine shell scripting, offering features beyond basic command-line interaction. **Examples:** * **Lua:** Provides a scripting language for system administration tasks, often used in conjunction with shell scripts. * **Python:** Offers powerful scripting capabilities, allowing for complex logic and data manipulation, often used...
18:50:39 <esolangs> for automation. * **Ruby:** Emphasizes readability and expressiveness, making it suitable for scripting system administration tasks. * **Perl:** Known for its powerful text processing capabilities, often used for system administration and data manipulation. * **Rust:** Offers a safe and efficient way to write system-level scripts, focusing on...
18:50:39 <esolangs> performance and reliability. These languages offer a more robust and expressive way to interact with the system.
18:50:49 <korvo> esolangs: What are some examples of languages that reimagine UNIX shells?
18:51:03 <esolangs> korvo: Several languages reimagine the UNIX shell, focusing on different aspects: * **Lisp-based:** **Common Lisp** and **Scheme** allow for powerful scripting and macro-based manipulation of the shell's environment. * **Functional:** **Haskell** and **Clojure** offer a functional paradigm, enabling concise and expressive shell scripts. *...
18:51:03 <esolangs> **Domain-specific:** Languages like **Racket** and **Erlang** provide specialized tools for system administration and automation. These languages offer unique ways to interact with the shell, often with a focus on clarity, expressiveness, and abstraction.
18:51:31 <korvo> Curious. The heavy Markdown formatting suggests that this is memorized. Probably a low-RAG response.
18:51:41 <korvo> esolangs: What are some examples of esoteric languages that reimagine shell scripting?
18:56:41 <esolangs> korvo: [500 Internal Server Error] augmenting prompt with wiki page "Brainfuck" (961): context deadline exceeded [#628dadaf6d0db]
18:58:04 <korvo> esolangs: What are some examples of esoteric languages that reimagine UNIX shells?
18:58:23 <korvo> fizzie: ^^ Large pages are a problem, maybe?
18:59:33 -!- tromp has joined.
19:01:43 <esolangs> korvo: Here are some examples of esoteric languages that reimagine UNIX shells: * **WalrusOS/Walc:** A calculator-focused language designed for the WalrusOS shell, utilizing RPN for expression manipulation. * **Brainfuck:** A minimalist language that uses a limited set of characters to control memory and manipulate data. * **Orca:** A language that uses a...
19:01:43 <esolangs> unique character set and a simple syntax to create complex programs. * **JQuery:** While not strictly a shell language, it's a JavaScript library that can be used to manipulate the DOM and create interactive elements, offering a unique approach to web development. These languages often focus on unconventional syntax and offer a different way to...
19:01:43 <esolangs> interact with the shell environment.
19:02:52 <korvo> Interesting. Bad, but interesting. Also the Markdown syntax appears to not be indicative of RAG functionality.
19:03:32 <korvo> esolangs: What's the most important theorem in category theory?
19:04:13 <korvo> This is a standard knowledge-check prompt I use to gauge the training corpus. There is only one correct answer, Yoneda's lemma.
19:04:18 <esolangs> korvo: There isn't one single "most important" theorem in category theory. It's a vast and interconnected field, and its power lies in its flexibility and ability to unify seemingly disparate concepts. However, a foundational theorem is the **Yoneda Lemma**, which establishes a powerful correspondence between objects and their morphisms. It allows us to...
19:04:18 <esolangs> understand the structure of categories through their "morphisms" and their relationships.
19:05:10 <korvo> esolangs: In esoteric programming languages, what's the most important theorem in category theory?
19:05:18 <korvo> Forcing the RAG to find *something*.
19:05:55 <esolangs> korvo: The most important theorem in category theory for esoteric programming languages is the **codensity monad**. It states that every functor, when extended along itself, generates a monad. This concept is crucial for understanding how to generate semantics for languages based on categories. It's a foundational principle for exploring effects,...
19:05:55 <esolangs> contexts, and other powerful abstractions in esoteric languages.
19:07:12 <korvo> Okay, that's fairly coherent, because the RAG slurped up the English-WP-flavored pages I've written, and everybody's training includes English WP. It's remarkable how aggressively RAG distorts the response, but that's presumably what we want.
19:09:36 <fizzie> The timeout is kind of a guess based on how long few queries took. I don't think large pages should always be a problem (the token limit is such that even mid-sized pages completely fill it, at which point IIRC it'll currently just keep what it can from the start and end of the page), but of course they'll definitely hit the cap.
19:10:14 <fizzie> I was going to make it first try selecting relevant sections (by some non-LLM fashion) before truncating the text, but didn't get around to it.
19:11:26 <fizzie> Vaguely Markdown-y output seems to come quite naturally to the model (which is the instruction-tuned 2B variant of Gemma 2).
19:12:38 <fizzie> The text as presented to the model goes through a really half-assed "wiki-generated HTML to plaintext" step, which also was tested on like three wiki pages and *definitely* "renders" some things completely horribly.
19:15:02 <fizzie> I would also like to use a better search and ranking system than the current "prompt the LLM for a single keyword and use the default MediaWiki search on it" solution.
19:52:37 <korvo> I've implemented a couple RAG search pipelines during the recent gold rush. The best technique I've seen is to chop up everything into sentences/lines, group them into overlapping paragraphs of 3-5 sentences/lines per paragraph, and build a cosine-similarity vector index on them with something like FAISS.
19:53:13 <korvo> This gives a fairly decent semantic search for cheap. The main effort was learning the concepts TBH.
19:59:24 <korvo> I suppose here there is the additional effort of indexing and searching MW, and updating that index when edits are made. One would have to either build a new index, or attach a vector index to the existing database somehow.
20:06:32 <esolangs> [[Snakel/Compatibility methods]] https://esolangs.org/w/index.php?diff=147836&oldid=147783 * Ractangle * (+4) moved repo
20:08:00 -!- amby has joined.
20:52:11 <esolangs> [[Die Deutsche Programmiersprache]] M https://esolangs.org/w/index.php?diff=147837&oldid=116260 * NotLe0n * (-31) update domains
21:01:47 <esolangs> [[User talk:Ractangle]] https://esolangs.org/w/index.php?diff=147838&oldid=147474 * Ractangle * (+270) /* I kinda miss that one theme */ new section
21:05:10 <esolangs> [[Die Deutsche Programmiersprache]] M https://esolangs.org/w/index.php?diff=147839&oldid=147837 * NotLe0n * (-17) forgot one url
21:09:37 <esolangs> [[User:Ractangle/Sandbox]] https://esolangs.org/w/index.php?diff=147840&oldid=147251 * Ractangle * (-53) /* Stuff to continue */
21:20:53 <zzo38> How many bits are needed for stateless-ISO-2022 encoding?
21:29:43 <esolangs> [[XENBLN]] https://esolangs.org/w/index.php?diff=147841&oldid=104213 * PythonshellDebugwindow * (+744) /* Datatypes */ Migrate type conversions
21:33:48 <esolangs> [[Guh]] https://esolangs.org/w/index.php?diff=147842&oldid=146555 * Ractangle * (+339)
21:34:02 <esolangs> [[Guh]] https://esolangs.org/w/index.php?diff=147843&oldid=147842 * Ractangle * (-327) /* Other variants */
21:34:12 <esolangs> [[Guh]] https://esolangs.org/w/index.php?diff=147844&oldid=147843 * Ractangle * (+328) /* Commands */
21:37:06 <esolangs> [[InterWOEven]] M https://esolangs.org/w/index.php?diff=147845&oldid=147829 * PythonshellDebugwindow * (+16) Formatting, category
21:39:14 <esolangs> [[Guh]] https://esolangs.org/w/index.php?diff=147846&oldid=147844 * Ractangle * (+99) /* Hello World */
21:39:37 <esolangs> [[Guh]] https://esolangs.org/w/index.php?diff=147847&oldid=147846 * Ractangle * (-9) /* tab */
22:19:36 <esolangs> [[User talk:PrySigneToFry]] https://esolangs.org/w/index.php?diff=147848&oldid=147824 * ColorfulGalaxy's CA discoveries * (+227) /* Shidinn wiki */
22:35:12 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
22:37:51 <b_jonas> korvo: "What are some examples of esoteric languages that reimagine UNIX shells?" tcsh . definitely tcsh . it supports labels and goto in interactive command line, including going back to before commands that it has already executed.
22:38:38 <b_jonas> I haven't seen any other interpreter that does that, shell or not shell.
22:42:24 -!- tromp has joined.
22:54:25 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
23:03:02 <zzo38> One of my ideas relating to command shell (although not UNIX but a different operating system design), is that objects can be moved between the command window and other windows.
23:04:32 <zzo38> For example, you could write a loop and put a command button from a GUI window into the loop, so that the command that button represents will be executed during the loop. Another case is using a data table in another window, to make commands in the command window to sort, filter, etc the data.
23:06:43 <zzo38> Another thing would be that the command shell uses the same Common Data Format (which is somewhat like ASN.1 DER, but with many different types, and also a little bit like TRON Application Databus) as most other stuff in the system, allowing them to be used together with other things in many ways (including the data example above, but also such things like i18n).
23:12:27 <esolangs> [[Analogia]] https://esolangs.org/w/index.php?diff=147849&oldid=140560 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+22) /* Computational class */
23:12:37 <esolangs> [[Analogia]] https://esolangs.org/w/index.php?diff=147850&oldid=147849 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+1) /* Computational class */
23:20:57 -!- __monty__ has quit (Quit: leaving).