00:31:35 -!- inhahe has quit (Ping timeout: 250 seconds).
00:33:30 -!- inhahe has joined.
01:05:04 -!- somefan has quit (Remote host closed the connection).
01:18:24 -!- somefan has joined.
01:18:24 -!- somefan has changed hostmask to ~somefan@user/somefan.
01:22:04 -!- amby has quit (Read error: Connection reset by peer).
01:33:27 -!- lisbeths has joined.
02:21:42 <esolangs> [[User talk:Zopium]] https://esolangs.org/w/index.php?diff=185134&oldid=185125 * PrySigneToFry * (+110)
02:40:49 <esolangs> [[Talk:Mecrisp-Ternary]] N https://esolangs.org/w/index.php?oldid=185135 * Miui * (+109) Created page with "External resource says "access denied." ~~~~"
03:09:44 -!- somefan has quit (Ping timeout: 252 seconds).
03:30:00 -!- somefan has joined.
03:42:23 -!- lisbeths has quit (Quit: Connection closed for inactivity).
04:30:12 <esolangs> [[Esolang:Featured languages/Candidates]] M https://esolangs.org/w/index.php?diff=185136&oldid=178889 * JHSHernandez-ZBH * (+77) /* List of candidates */
04:50:25 -!- sprock has joined.
05:01:23 -!- somefan has quit (Remote host closed the connection).
05:30:12 -!- Sgeo has quit (Read error: Connection reset by peer).
05:32:15 -!- somefan has joined.
05:51:47 -!- MizMahem_ has joined.
06:07:43 -!- sprock has quit (Ping timeout: 248 seconds).
06:42:41 -!- Yayimhereaswell has joined.
06:49:12 <korvo> I'm actually doing great. I'm writing notes for my business partners before I sleep. Next to me is a vine I'm trying to propagate; it's a sweet potato, which has the adorable name Ipomoea batatas.
06:49:46 <korvo> Say it like a minion: ee-poe-moe-EE-a. bah-TAH-tahss. BAH-tah-tahss.
06:51:02 <Yayimhereaswell> me myself have been trying to read up on more esolangs in hope of finding something interesting.
06:51:20 <korvo> I have a larger-than-typical number of plants. Also next to me is Aloe vera. Fun fact: "Aloe" is actually Arabic, for, uh. "The loeh." And "Aloe vera" just means "truly, the loeh."
06:53:18 <korvo> This was a lot funnier in the 2000s when everybody had seen a particular Chris Farley sketch. But hey, it works this year, because there's a weather pattern out in the ocean called El Niño. Which is Spanish for, uh. "The niño."
06:54:32 <korvo> Had an utterly surreal experience this week talking to a centaur on IRC. That's a person who is basically not talking to me directly, but talking to a chatbot, and pasting whatever I say into the chatbot's box.
06:55:04 <korvo> So, like, I knew I was effectively talking to Claude. But also I had to address the human even though the human was not thinking at all.
06:55:49 <Yayimhereaswell> what was the topic? (im interested in what topic of conversation would lead sommebody to need claude to think for them)
06:56:06 <korvo> The thing that they wanted to do happens to be really well-aligned with existing community needs, so I basically proposed that we should all agree to a common protocol. Claude's like "Agreed — a common protocol will allow everybody to find their own way of speaking and contributing." Not literally, but y'kno.
06:56:36 <korvo> In the Lojban community, somebody vibecoded a little reasoning engine https://github.com/dhilipsiva/nibli and is thinking of writing a book. Or, rather, prompting a book.
06:57:45 <Yayimhereaswell> ah. im kinda surprised, would assume this kinda thing only would happen in like programming circles, but seems that assumption is wrong.
06:58:33 <korvo> These sorts of projects are perennial; what happens is that they set up basic first-order logic, do some modal reasoning, maybe add some definitions, and then hit an incredibly steep wall somewhere around dependent or second-order types. I'm going to export data from https://brismu.systems/ which has much stronger logical powers at the expense of harder proofs; it's all handwritten.
07:00:12 <korvo> Oh, Lojban's a programming community. Lojban is a fork of TLI Loglan that is computer-parseable with a grammar. The Lojban words were computer-generated. There's an algorithm for fusing words together.
07:01:00 <Yayimhereaswell> oh wait, yea it is. I was thinking of a conlang for some god forsaken reason
07:01:49 <Yayimhereaswell> was a little confused on the amount of formality used if that was the topic(not that conlangs cant be formal). But that does sound interesting. Maybe I'll look into it some day
07:02:01 <korvo> Lojban's a conlang! The terminology that people use is awful. Lots of folks want to distinguish between artlangs and engelangs, or engineered languages. They say that Lojban's not a conlang because it's an engelang, or something like that. Don't worry about it.
07:09:02 <korvo> Oh! Fun. Feel free to leave notes on the talk page; I'm always interested in ways to make category theory more intuitive.
07:14:51 -!- tromp has joined.
07:47:56 <esolangs> [[Talk:Cammy]] N https://esolangs.org/w/index.php?oldid=185137 * Yayimhere2(school) * (+318) Created page with "My only criticism rlly, is that the doc itself could include the like "human language" definitions for each command, which I think would make it easier to see like "oh thats how that correlates" and such. --~~~~"
07:56:41 <esolangs> [[User talk:Zopium]] https://esolangs.org/w/index.php?diff=185138&oldid=185134 * Yayimhere2(school) * (+257) /* Quote */
07:57:29 <APic> Yayimhereaswell: Fine
07:57:59 * APic has an introductory Online-Meeting at the Company AKDB.De at 11:30h today
07:58:04 <APic> Yayimhereaswell: Please wish me Luck 😌
07:58:07 <APic> Yayimhereaswell: And You?
07:58:46 <Yayimhereaswell> im fine, thinking of something like a "partially ordered list"
08:00:15 <Yayimhereaswell> i have an idea but that idea would in principle be a way to mmake it into something to describe a language
08:03:13 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
08:07:30 -!- tromp has joined.
08:21:39 -!- somefan has quit (Ping timeout: 270 seconds).
08:28:39 -!- Yayimhereaswell has quit (Quit: Client closed).
08:31:27 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
08:45:19 -!- Lord_of_Life has quit (Excess Flood).
08:49:36 -!- Lord_of_Life has joined.
09:03:04 -!- recursive_error has quit (Remote host closed the connection).
09:49:48 -!- tromp has joined.
09:52:30 -!- inhahe has quit (Ping timeout: 255 seconds).
10:03:05 <esolangs> [[Und grau mann]] N https://esolangs.org/w/index.php?oldid=185139 * OfficialWatchOS7Alt * (+841) Created page with "'''Und grau mann''' is a [[Joke language list|joke language]] created by [[User:OfficialWatchOS7Alt]]. Its name is German for and gray man. == Commands == Und grau manns commands need to be by themselves, or the interpreter would return the error Nicht.
10:05:00 <esolangs> [[Joke language list]] M https://esolangs.org/w/index.php?diff=185140&oldid=184238 * OfficialWatchOS7Alt * (+100)
10:06:10 <esolangs> [[Und grau mann]] M https://esolangs.org/w/index.php?diff=185141&oldid=185139 * OfficialWatchOS7Alt * (+45) /* Commands */
10:08:13 <esolangs> [[User:OfficialWatchOS7Alt]] https://esolangs.org/w/index.php?diff=185142&oldid=181060 * OfficialWatchOS7Alt * (+82) lol
10:09:28 <esolangs> [[Talk:Main Page]] https://esolangs.org/w/index.php?diff=185143&oldid=182911 * OfficialWatchOS7Alt * (+327) /* Protect */ new section
10:11:02 -!- Yayimhereaswell has joined.
10:11:21 -!- inhahe has joined.
10:19:05 -!- FreeFull has joined.
10:23:26 -!- FreeFull has quit (Client Quit).
10:31:09 -!- Yayimhereaswell has quit (Quit: Ping timeout (120 seconds)).
10:33:53 <esolangs> [[Talk:Closed lambda term]] https://esolangs.org/w/index.php?diff=185144&oldid=185063 * PkmnQ * (+3465) /* Proof(?) that Fokker size seven is the minimum */ new section
10:35:31 -!- FreeFull has joined.
10:56:59 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
10:57:02 <esolangs> [[]] N https://esolangs.org/w/index.php?oldid=185145 * Mrtli08 * (+1456) Created page with "{{VIP}} is a language that only uses and for commands. <br> Commands are made by combining and . <br> === Commands === ... stands for a integrer. (i.e. = 3) ... stands for a char. (i.e. = 65 's = "A")<br> Strings are made by combining s together with and are terminated
10:57:55 <esolangs> [[]] https://esolangs.org/w/index.php?diff=185146&oldid=185145 * Mrtli08 * (+0)
11:02:50 <esolangs> [[Talk:Leftbracket]] N https://esolangs.org/w/index.php?oldid=185147 * Mrtli08 * (+95) Created page with "<code>[</code> --~~~~"
11:09:44 -!- tromp has joined.
11:20:39 -!- amby has joined.
11:33:38 -!- Lord_of_Life has quit (Ping timeout: 265 seconds).
11:35:38 -!- Lord_of_Life has joined.
11:37:26 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
11:38:00 -!- Lord_of_Life has quit (Excess Flood).
11:59:55 -!- Lord_of_Life has joined.
12:13:30 -!- lisbeths has joined.
12:59:40 -!- tromp has joined.
13:37:35 <esolangs> [[Talk:Closed lambda term]] https://esolangs.org/w/index.php?diff=185148&oldid=185144 * Blashyrkh * (+607) /* Proof(?) that Fokker size seven is the minimum */
13:45:09 <esolangs> [[Talk:Closed lambda term]] https://esolangs.org/w/index.php?diff=185149&oldid=185148 * Blashyrkh * (+260) /* Proof(?) that Fokker size seven is the minimum */
13:53:10 <esolangs> [[Und grau mann]] M https://esolangs.org/w/index.php?diff=185150&oldid=185141 * OfficialWatchOS7Alt * (+87) /* Commands */
13:55:05 <esolangs> [[Und grau mann]] M https://esolangs.org/w/index.php?diff=185151&oldid=185150 * OfficialWatchOS7Alt * (+128) lol
14:18:43 <esolangs> [[Talk:Closed lambda term]] https://esolangs.org/w/index.php?diff=185152&oldid=185149 * Blashyrkh * (+318) /* Proof(?) that Fokker size seven is the minimum */ \x. \y. \z. x z (\w. z) ?
15:04:30 -!- amby has quit (Read error: Connection reset by peer).
15:08:02 -!- myname has quit (Ping timeout: 252 seconds).
15:09:06 -!- myname has joined.
15:10:23 <esolangs> [[XYScript]] https://esolangs.org/w/index.php?diff=185153&oldid=171227 * PrySigneToFry * (+1177)
15:25:51 -!- Lord_of_Life has quit (Excess Flood).
15:27:51 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
15:29:17 <esolangs> [[Talk:Closed lambda term]] https://esolangs.org/w/index.php?diff=185154&oldid=185152 * PkmnQ * (+373)
15:37:59 -!- vival has quit (Read error: Connection reset by peer).
15:40:11 -!- amby has joined.
15:40:35 -!- vival has joined.
15:48:22 -!- Lord_of_Life has joined.
15:52:21 -!- Lord_of_Life has quit (Excess Flood).
15:57:02 <esolangs> [[Monky]] https://esolangs.org/w/index.php?diff=185155&oldid=183771 * Menguinponky * (-1)
16:12:23 -!- tromp has joined.
16:13:28 -!- somefan has joined.
16:13:28 -!- somefan has changed hostmask to ~somefan@user/somefan.
16:16:40 -!- Lord_of_Life has joined.
16:36:37 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
16:52:56 -!- tromp has joined.
17:01:03 <esolangs> [[NS!]] https://esolangs.org/w/index.php?diff=185156&oldid=177494 * Zopium * (-57) it's not turing complete lol
17:01:45 -!- ais523 has joined.
17:03:06 <esolangs> [[NS!]] https://esolangs.org/w/index.php?diff=185157&oldid=185156 * Zopium * (+48) /* XKCD Random Number */
17:03:14 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
17:12:49 -!- ajal has joined.
17:15:39 -!- amby has quit (Ping timeout: 272 seconds).
17:17:21 -!- tromp has joined.
17:32:32 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
17:32:49 -!- lisbeths has quit (Quit: Connection closed for inactivity).
17:52:07 -!- tromp has joined.
17:53:55 -!- ais523 has quit (Quit: quit).
17:59:41 -!- ajal has quit (Read error: Connection reset by peer).
18:01:19 -!- ajal has joined.
18:19:54 -!- ajal has quit (Read error: Connection reset by peer).
18:59:42 -!- amby has joined.
19:10:35 <esolangs> [[Talk:Closed lambda term]] https://esolangs.org/w/index.php?diff=185158&oldid=185154 * Blashyrkh * (+156) /* Proof(?) that Fokker size seven is the minimum */ May you demonstrate the same transformations on \x. \y. \z. x (\w. z z) ?
19:19:07 <int-e> `learn A crawler is a piece of software designed to slow down websites to a crawl.
19:19:18 <HackEso> Learned 'crawler': A crawler is a piece of software designed to slow down websites to a crawl.
19:54:02 -!- GlitchSyndicate has joined.
19:54:07 -!- GlitchSyndicate has left.
19:58:39 <esolangs> [[User:FluixMakesEsolangs]] M https://esolangs.org/w/index.php?diff=185159&oldid=182490 * FluixMakesEsolangs * (+0) I forgor to change it :P
20:04:07 -!- lisbeths has joined.
20:17:02 -!- DHeadshot has joined.
20:27:35 -!- tromp has quit (Ping timeout: 272 seconds).
21:22:19 -!- ajal has joined.
21:25:04 -!- amby has quit (Ping timeout: 255 seconds).
21:38:52 -!- Observer has joined.
21:39:51 -!- Observer has left.
22:10:43 -!- Sgeo has joined.
22:54:41 -!- DHeadshot has quit (Remote host closed the connection).
23:03:29 <esolangs> [[Special:Log/newusers]] create * Liagova0 * New user account
23:12:54 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=185160&oldid=185130 * Liagova0 * (+251) introduction
23:22:48 <esolangs> [[Texthell]] N https://esolangs.org/w/index.php?oldid=185161 * Liagova0 * (+289) start
23:23:22 -!- lisbeths has quit (Quit: Connection closed for inactivity).
23:25:38 <esolangs> [[Texthell]] https://esolangs.org/w/index.php?diff=185162&oldid=185161 * Liagova0 * (+87) added compiler url
23:41:45 -!- emery has quit (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.).