00:00:32 -!- delta23 has quit (Ping timeout: 268 seconds).
00:13:31 <esolangs> [[Nondescript]] https://esolangs.org/w/index.php?diff=89295&oldid=89284 * PixelatedStarfish * (+92)
00:13:52 <esolangs> [[Nondescript]] https://esolangs.org/w/index.php?diff=89296&oldid=89295 * PixelatedStarfish * (+25) /* External Links */
00:14:14 <esolangs> [[User:PixelatedStarfish]] https://esolangs.org/w/index.php?diff=89297&oldid=89278 * PixelatedStarfish * (-67) /* Unimplemented Languages */
00:14:38 <esolangs> [[User:PixelatedStarfish]] https://esolangs.org/w/index.php?diff=89298&oldid=89297 * PixelatedStarfish * (+68) /* Implemented Languages */
00:15:00 <esolangs> [[User:PixelatedStarfish]] https://esolangs.org/w/index.php?diff=89299&oldid=89298 * PixelatedStarfish * (-1) /* Unimplemented Languages */
00:15:22 <esolangs> [[User:PixelatedStarfish]] https://esolangs.org/w/index.php?diff=89300&oldid=89299 * PixelatedStarfish * (+18) /* Nondescript */
00:21:31 -!- Lord_of_Life has quit (Ping timeout: 268 seconds).
00:21:47 -!- Lord_of_Life has joined.
00:25:27 <esolangs> [[CLE]] M https://esolangs.org/w/index.php?diff=89301&oldid=89292 * Not applicable * (+232) fix mathjax
00:25:36 <Kit> hey look its me
00:40:29 -!- oerjan has joined.
00:43:51 <fizzie> I'm just happy the math works at all, I seem to recall setting it up was a little... vague.
00:51:11 <fizzie> (In particular, it's using the WikiMedia Mathoid service, which I couldn't really find a clear statement on whether it's okay or not, or if you should always be running your own Mathoid server, which seemed like a pretty big hassle.)
01:32:36 -!- perlbot has quit (Read error: Connection reset by peer).
01:32:49 -!- simcop2387 has quit (Read error: Connection reset by peer).
01:34:07 -!- simcop2387 has joined.
01:38:09 -!- perlbot has joined.
01:40:42 -!- archenoth has quit (Quit: Leaving).
01:41:03 -!- archenoth has joined.
01:48:11 -!- lifthrasiir has quit (Quit: No Ping reply in 180 seconds.).
01:48:28 -!- lifthrasiir has joined.
02:06:50 <esolangs> [[Nondescript]] https://esolangs.org/w/index.php?diff=89302&oldid=89296 * PixelatedStarfish * (+68) /* External Links */
02:06:58 <esolangs> [[Nondescript]] https://esolangs.org/w/index.php?diff=89303&oldid=89302 * PixelatedStarfish * (+1) /* External Links */
02:07:45 <esolangs> [[User:PixelatedStarfish]] https://esolangs.org/w/index.php?diff=89304&oldid=89300 * PixelatedStarfish * (+56) /* Nondescript */
02:07:56 <esolangs> [[User:PixelatedStarfish]] https://esolangs.org/w/index.php?diff=89305&oldid=89304 * PixelatedStarfish * (+1) /* Nondescript */
02:11:17 <esolangs> [[Nondescript]] https://esolangs.org/w/index.php?diff=89306&oldid=89303 * PixelatedStarfish * (+4) /* Truth Machine */
02:11:31 <esolangs> [[Nondescript]] https://esolangs.org/w/index.php?diff=89307&oldid=89306 * PixelatedStarfish * (+4) /* Hello World */
02:13:23 -!- delta23 has joined.
02:20:33 -!- delta23 has quit (Remote host closed the connection).
02:20:52 -!- delta23 has joined.
02:21:09 -!- brettgilio has quit (Quit: Leaving...).
02:22:03 -!- brettgilio has joined.
02:24:19 -!- sprout_ has joined.
02:25:50 -!- sprout has quit (Ping timeout: 260 seconds).
03:16:02 <esolangs> [[Language list]] https://esolangs.org/w/index.php?diff=89308&oldid=89247 * PixelatedStarfish * (+18) /* N */
03:41:20 -!- sprout_ has quit (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.).
03:41:37 -!- sprout has joined.
03:53:29 -!- monoxane has quit (Read error: Connection reset by peer).
03:54:20 -!- monoxane has joined.
03:56:43 -!- monoxane has changed hostmask to ~monoxane@user/monoxane.
04:07:16 -!- mla has joined.
04:09:19 -!- SGautam has joined.
04:56:00 -!- dyeplexer has joined.
05:25:31 -!- ^[ has quit (Ping timeout: 245 seconds).
05:27:42 -!- ^[ has joined.
05:53:31 <esolangs> [[Special:Log/newusers]] create * LegendaryFartMaster * New user account
06:00:33 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=89309&oldid=89294 * LegendaryFartMaster * (+53)
06:02:27 <esolangs> [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=89310&oldid=89309 * LegendaryFartMaster * (+98)
06:02:42 <esolangs> [[Whitespace]] https://esolangs.org/w/index.php?diff=89311&oldid=87167 * LegendaryFartMaster * (+12) /* Arithmetic */ Corrected the order of operands for arithmetic operators.
06:12:44 <esolangs> [[Whitespace]] https://esolangs.org/w/index.php?diff=89312&oldid=89311 * LegendaryFartMaster * (+160) Updated Heap Access description, correcting order of operands, and explaining in a little more detail.
06:14:53 -!- oerjan has quit (Quit: Legendary? Pfft.).
06:21:34 -!- delta23 has quit (Quit: Leaving).
06:22:07 -!- delta23 has joined.
06:31:36 -!- arseniiv has joined.
06:53:04 <esolangs> [[User:Squidmanescape]] https://esolangs.org/w/index.php?diff=89313&oldid=89223 * Squidmanescape * (+72)
06:58:54 -!- SGautam has quit (Quit: Connection closed for inactivity).
07:16:49 -!- Guest95 has joined.
07:17:03 <esolangs> [[User talk:LegendaryFartMaster]] N https://esolangs.org/w/index.php?oldid=89314 * LegendaryFartMaster * (+223) Created page with "Hello! I'm a professional software engineer, who doesnt get enough coding-high from my work alone. I program primarily in Scala, which is an amazing language to write inte..."
07:21:21 <esolangs> [[User:Squidmanescape]] https://esolangs.org/w/index.php?diff=89315&oldid=89313 * Squidmanescape * (+105)
07:22:27 <esolangs> [[User:Squidmanescape]] https://esolangs.org/w/index.php?diff=89316&oldid=89315 * Squidmanescape * (-5)
07:22:40 <esolangs> [[User:Squidmanescape]] https://esolangs.org/w/index.php?diff=89317&oldid=89316 * Squidmanescape * (-1)
07:28:22 -!- Guest95 has quit (Quit: Client closed).
07:33:49 <esolangs> [[User:Squidmanescape]] https://esolangs.org/w/index.php?diff=89318&oldid=89317 * Squidmanescape * (+100)
07:41:25 -!- Sgeo_ has quit (Read error: Connection reset by peer).
07:42:44 <esolangs> [[User:ManiPM]] https://esolangs.org/w/index.php?diff=89319&oldid=89254 * ManiPM * (+78)
07:44:03 -!- delta23 has quit (Quit: Leaving).
07:58:19 <esolangs> [[BS]] M https://esolangs.org/w/index.php?diff=89320&oldid=54227 * Corbin * (+414) Link to presentation on YT, add infobox and categories, redlink related languages, and clean up code snippet.
08:05:28 -!- hendursa1 has joined.
08:09:15 -!- hendursaga has quit (Ping timeout: 276 seconds).
08:40:41 -!- monoxane0 has joined.
08:42:52 -!- monoxane has quit (Ping timeout: 268 seconds).
08:42:52 -!- monoxane0 has changed nick to monoxane.
08:54:56 -!- p_____ has joined.
08:55:14 -!- p_____ has quit (Remote host closed the connection).
08:58:17 -!- dyeplexer has quit (Ping timeout: 268 seconds).
09:03:53 -!- b_jonas has quit (Quit: leaving).
10:32:10 <esolangs> [[Special:Log/newusers]] create * Vinetwigs * New user account
10:36:01 -!- SGautam has joined.
10:49:45 -!- wib_jonas has joined.
11:07:50 <tromp> int-e: can you think of a function to convert "SK numerals" S^n K into Church numerals?
11:19:27 -!- zzo38 has quit (Ping timeout: 260 seconds).
11:42:14 <esolangs> [[BrainSoup]] N https://esolangs.org/w/index.php?oldid=89321 * PixelatedStarfish * (+71) Created page with "[[BrainSoup]] is a language that translates any bf equivalents into bf."
11:58:02 -!- monoxane has quit (Ping timeout: 260 seconds).
12:25:27 -!- tech_exorcist has joined.
13:20:35 <esolangs> [[BrainSoup]] https://esolangs.org/w/index.php?diff=89322&oldid=89321 * PixelatedStarfish * (+245)
13:34:06 -!- tech_exorcist has quit (Remote host closed the connection).
13:34:38 -!- tech_exorcist has joined.
13:40:43 <esolangs> [[BrainSoup]] https://esolangs.org/w/index.php?diff=89323&oldid=89322 * PixelatedStarfish * (+941)
13:42:18 <esolangs> [[BrainSoup]] https://esolangs.org/w/index.php?diff=89324&oldid=89323 * PixelatedStarfish * (+2)
13:48:47 <esolangs> [[BrainSoup]] https://esolangs.org/w/index.php?diff=89325&oldid=89324 * PixelatedStarfish * (+6)
13:50:36 <esolangs> [[BrainSoup]] https://esolangs.org/w/index.php?diff=89326&oldid=89325 * PixelatedStarfish * (+9)
13:50:43 <esolangs> [[User:Pandaqwanda/Pandaqwanda's sandbox]] N https://esolangs.org/w/index.php?oldid=89327 * Pandaqwanda * (+127) Created page with "This is a sandbox page for [[User:Pandaqwanda|<b style="border: 5px solid orange; color: orange;"><big>Pandaqwanda</big></b>]]."
13:58:05 -!- Sgeo has joined.
14:09:56 <esolangs> [[User:Pandaqwanda]] https://esolangs.org/w/index.php?diff=89328&oldid=89258 * Pandaqwanda * (+104)
14:10:57 <esolangs> [[User talk:Pandaqwanda]] https://esolangs.org/w/index.php?diff=89329&oldid=89257 * Pandaqwanda * (+109)
14:12:50 <esolangs> [[User:Pandaqwanda/Pandaqwanda's sandbox]] https://esolangs.org/w/index.php?diff=89330&oldid=89327 * Pandaqwanda * (+114)
14:14:25 <esolangs> [[User talk:Pandaqwanda/Pandaqwanda's sandbox]] N https://esolangs.org/w/index.php?oldid=89331 * Pandaqwanda * (+274) Created page with "{{wrongtitle|title=<b style="border: 5px solid orange; color: orange;">Tak:<big>Pandaqwanda</big>'s sandbox</b>}} <br>This is a talk page for User:Pandaqwanda/Pandaqwanda's_..."
14:25:26 <esolangs> [[User talk:Ataberk]] N https://esolangs.org/w/index.php?oldid=89332 * Pandaqwanda * (+235) Created page with "Hello <span style="color:skyblue;">Ataberk</span>, I'm <span style="color:deepPink;">YouYou</span> from Discord. How's it doing? <br> - ~~~~ <br>"
14:55:48 -!- tech_exorcist has quit (Quit: brb).
14:56:16 -!- tech_exorcist has joined.
15:08:54 -!- SGautam has quit (Quit: Connection closed for inactivity).
15:53:28 <esolangs> [[Esolang:Sandbox]] M https://esolangs.org/w/index.php?diff=89333&oldid=88994 * Pandaqwanda * (+124)
16:02:45 -!- FreeFull has joined.
16:12:13 <esolangs> [[User talk:Pandaqwanda/pixeLang]] N https://esolangs.org/w/index.php?oldid=89334 * Pandaqwanda * (+340) Created page with "{{wrongtitle|title=<b style="border: 5px solid olive; color:olive;">Talk:<big>pixeLang</big></b>}} <br>This is a talk page for <span style="border: 5px solid olive; color:oliv..."
16:12:51 <esolangs> [[User:Pandaqwanda/pixeLang]] N https://esolangs.org/w/index.php?oldid=89335 * Pandaqwanda * (+796) Created page with "{{wrongtitle|title=<b style="border: 5px solid olive; color:olive;"><big>pixeLang</big></b>}} <br><span style="border: 5px solid olive; color:olive;"><b><big>pixeLang</big></b..."
16:13:30 <esolangs> [[User talk:Pandaqwanda/pixeLang]] https://esolangs.org/w/index.php?diff=89336&oldid=89334 * Pandaqwanda * (+30)
16:15:06 <esolangs> [[User:Pandaqwanda]] https://esolangs.org/w/index.php?diff=89337&oldid=89328 * Pandaqwanda * (+1583)
16:16:09 <esolangs> [[User talk:Pandaqwanda/qwandalang]] N https://esolangs.org/w/index.php?oldid=89338 * Pandaqwanda * (+416) Created page with "{{wrongtitle|title=<b style="border: 5px solid black; color:black;">Talk:<big>qwandalang</big></b>}} <br>This is a talk page for User:Pandaqwanda/qwandalang|<span style="bor..."
16:22:16 -!- hendursa1 has quit (Quit: hendursa1).
16:23:05 -!- hendursaga has joined.
16:52:09 <esolangs> [[List of ideas]] https://esolangs.org/w/index.php?diff=89339&oldid=88059 * Pandaqwanda * (+206) /* Joke/Silly Ideas */
17:05:22 <tromp> int-e: i found some very elegant functions for pred and iszero that can do it
17:06:02 <tromp> pred is even simpler than for church numerals
17:11:54 <esolangs> [[List of ideas]] https://esolangs.org/w/index.php?diff=89340&oldid=89339 * Pandaqwanda * (+653) /* Joke/Silly Ideas */
17:16:51 <esolangs> [[Works in progress]] https://esolangs.org/w/index.php?diff=89341&oldid=88273 * Pandaqwanda * (+118)
17:37:35 -!- wib_jonas has quit (Ping timeout: 256 seconds).
17:54:32 <arseniiv> tromp: IIRC pred for Church numerals is monstrous but that’s fixed when moving to Church—Scott, they recurse providing both f(n−1) as Church ones do and n−1 as Scott ones do, so we can use that last plain n−1 for simplest pred in the world
17:56:49 <arseniiv> of course CS is more complex than C or S alone but I’d think that’s not a bit of complexity to shy from, for instance I have seen the same way in usual formulations of primitive recursive framework, where prim. recursion operator provides both f(n−1) and n−1 in recursive step
18:22:04 <esolangs> [[BrainSoup]] https://esolangs.org/w/index.php?diff=89342&oldid=89326 * PixelatedStarfish * (+34)
18:22:34 <esolangs> [[BrainSoup]] https://esolangs.org/w/index.php?diff=89343&oldid=89342 * PixelatedStarfish * (+2)
18:26:58 <esolangs> [[FFRISC]] https://esolangs.org/w/index.php?diff=89344&oldid=87652 * PixelatedStarfish * (+0)
18:28:05 -!- sprock has quit (Ping timeout: 268 seconds).
18:31:17 <Corbin> This inspired me to look at what Cammy does. I have (comp (pr (comp zero (pair id id)) (comp fst (pair succ id))) snd) for pred. The outside is (comp (pr X F) snd); it's taking the right-hand side of a pair made with primitive recursion.
18:32:53 <Corbin> The inner arrows are \x.(0,0) and \(x,y).(succ x,x) passing a pair of nats through the recursion. The left-hand side of the pair is always n, and the right-hand side is effectively n-1.
18:45:08 -!- zzo38 has joined.
18:49:49 <tromp> i wouldn't call λn.λf.λx.n(λg.λh.h(g f))(λu.x)(λu.u) monstrous...
18:51:03 <Corbin> Ow. Lots of lambdas hurt my head. But I bet that lots of pointfree code hurts everybody else's head, so I shouldn't complain.
18:51:21 <imode> lots of indirection hurts the head.
18:51:32 <imode> because we strain our necks to keep track of the wires.
18:51:38 <Corbin> The variable names help a lot. Seeing `\nfx.` at the beginning is a clue.
18:53:04 <tromp> the cute thing about SK-numerals is that pred 0 gives you a genuine -1. such that succ -1 is 0 again...
18:53:46 <tromp> but the iszero test only works on nonnegative SK-numerals
19:09:24 -!- sprout has quit (Ping timeout: 268 seconds).
19:14:47 -!- SGautam has joined.
19:14:54 -!- b_jonas has joined.
19:15:22 -!- Yes has joined.
19:15:44 <Yes> hello everyone
19:15:49 <Yes> how's it going
19:16:09 <Corbin> Trying to figure out why Lilypond won't draw my staves.
19:16:46 <Corbin> Lilypond is a music typesetter. For some reason, it's not drawing all of the staves of music notation. It's drawing the title and the footer and the chords, but not the notes.
19:17:05 <Yes> i'm fine, what about you?
19:17:44 <b_jonas> Corbin: so it's also not drawing anything that would go on the staffs, like the notes and bars?
19:18:02 <Corbin> I'm trying to get Lilypond to draw music files that I haven't touched in nearly a decade. Past Corbin did not leave any notes, which is typical.
19:18:03 -!- Yes has quit (Client Quit).
19:18:41 <Corbin> b_jonas: Exactly, yes. I figure that the header layout has changed, and now I have to explicitly include stuff that used to be implicit.
19:27:02 <Corbin> Yep, removing about half the header causes everything to work. Just gotta read the manual and see exactly how to fix it up, but I guess I'm in business.
19:27:18 <Corbin> Lilypond is so simple when it works, but it's so brittle and breaks easily. Just like playing music, I guess~
19:34:48 -!- sprout has joined.
19:39:37 -!- sprout has quit (Ping timeout: 268 seconds).
19:53:26 -!- sprock has joined.
19:57:13 <esolangs> [[Lananang]] N https://esolangs.org/w/index.php?oldid=89345 * Heptor * (+597) Created page with " '''Lananang''' is a <fill me in> ==Overview== {| class="wikitable" |- ! Instruction !! Description |- | <code>n<128></code> || A number variable with the value 128. Number..."
20:00:27 <esolangs> [[Lananang]] https://esolangs.org/w/index.php?diff=89346&oldid=89345 * Heptor * (+154)
20:05:51 <esolangs> [[Lananang]] https://esolangs.org/w/index.php?diff=89347&oldid=89346 * Heptor * (+332)
20:43:45 -!- sprout has joined.
20:49:17 -!- tech_exorcist has quit (Quit: see you tomorro).
20:58:33 -!- sprock has quit (Ping timeout: 268 seconds).
21:10:49 <riv> a non fungeoid token language
21:10:52 -!- FreeFull has quit (Ping timeout: 268 seconds).
21:15:34 <esolangs> [[Lananang]] https://esolangs.org/w/index.php?diff=89348&oldid=89347 * Heptor * (+3424)
21:20:52 <esolangs> [[Lananang]] https://esolangs.org/w/index.php?diff=89349&oldid=89348 * Heptor * (+3)
21:23:12 -!- FreeFull has joined.
21:51:18 -!- arseniiv has quit (Quit: gone too far).
22:14:18 -!- SGautam has quit (Quit: Connection closed for inactivity).
23:36:52 -!- oerjan has joined.
23:40:50 -!- velik has quit (Remote host closed the connection).