00:00:32 -!- delta23 has quit (Ping timeout: 268 seconds). 00:13:31 [[Nondescript]] https://esolangs.org/w/index.php?diff=89295&oldid=89284 * PixelatedStarfish * (+92) 00:13:52 [[Nondescript]] https://esolangs.org/w/index.php?diff=89296&oldid=89295 * PixelatedStarfish * (+25) /* External Links */ 00:14:14 [[User:PixelatedStarfish]] https://esolangs.org/w/index.php?diff=89297&oldid=89278 * PixelatedStarfish * (-67) /* Unimplemented Languages */ 00:14:38 [[User:PixelatedStarfish]] https://esolangs.org/w/index.php?diff=89298&oldid=89297 * PixelatedStarfish * (+68) /* Implemented Languages */ 00:15:00 [[User:PixelatedStarfish]] https://esolangs.org/w/index.php?diff=89299&oldid=89298 * PixelatedStarfish * (-1) /* Unimplemented Languages */ 00:15:22 [[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 [[CLE]] M https://esolangs.org/w/index.php?diff=89301&oldid=89292 * Not applicable * (+232) fix mathjax 00:25:36 hey look its me 00:40:29 -!- oerjan has joined. 00:43:51 I'm just happy the math works at all, I seem to recall setting it up was a little... vague. 00:51:11 (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 [[Nondescript]] https://esolangs.org/w/index.php?diff=89302&oldid=89296 * PixelatedStarfish * (+68) /* External Links */ 02:06:58 [[Nondescript]] https://esolangs.org/w/index.php?diff=89303&oldid=89302 * PixelatedStarfish * (+1) /* External Links */ 02:07:45 [[User:PixelatedStarfish]] https://esolangs.org/w/index.php?diff=89304&oldid=89300 * PixelatedStarfish * (+56) /* Nondescript */ 02:07:56 [[User:PixelatedStarfish]] https://esolangs.org/w/index.php?diff=89305&oldid=89304 * PixelatedStarfish * (+1) /* Nondescript */ 02:11:17 [[Nondescript]] https://esolangs.org/w/index.php?diff=89306&oldid=89303 * PixelatedStarfish * (+4) /* Truth Machine */ 02:11:31 [[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 [[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 [[Special:Log/newusers]] create * LegendaryFartMaster * New user account 06:00:33 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=89309&oldid=89294 * LegendaryFartMaster * (+53) 06:02:27 [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=89310&oldid=89309 * LegendaryFartMaster * (+98) 06:02:42 [[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 [[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 [[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 [[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 [[User:Squidmanescape]] https://esolangs.org/w/index.php?diff=89315&oldid=89313 * Squidmanescape * (+105) 07:22:27 [[User:Squidmanescape]] https://esolangs.org/w/index.php?diff=89316&oldid=89315 * Squidmanescape * (-5) 07:22:40 [[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 [[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 [[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 [[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 [[Special:Log/newusers]] create * Vinetwigs * New user account 10:36:01 -!- SGautam has joined. 10:49:45 -!- wib_jonas has joined. 11:07:50 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 [[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 [[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 [[BrainSoup]] https://esolangs.org/w/index.php?diff=89323&oldid=89322 * PixelatedStarfish * (+941) 13:42:18 [[BrainSoup]] https://esolangs.org/w/index.php?diff=89324&oldid=89323 * PixelatedStarfish * (+2) 13:48:47 [[BrainSoup]] https://esolangs.org/w/index.php?diff=89325&oldid=89324 * PixelatedStarfish * (+6) 13:50:36 [[BrainSoup]] https://esolangs.org/w/index.php?diff=89326&oldid=89325 * PixelatedStarfish * (+9) 13:50:43 [[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|Pandaqwanda]]." 13:58:05 -!- Sgeo has joined. 14:09:56 [[User:Pandaqwanda]] https://esolangs.org/w/index.php?diff=89328&oldid=89258 * Pandaqwanda * (+104) 14:10:57 [[User talk:Pandaqwanda]] https://esolangs.org/w/index.php?diff=89329&oldid=89257 * Pandaqwanda * (+109) 14:12:50 [[User:Pandaqwanda/Pandaqwanda's sandbox]] https://esolangs.org/w/index.php?diff=89330&oldid=89327 * Pandaqwanda * (+114) 14:14:25 [[User talk:Pandaqwanda/Pandaqwanda's sandbox]] N https://esolangs.org/w/index.php?oldid=89331 * Pandaqwanda * (+274) Created page with "{{wrongtitle|title=Tak:Pandaqwanda's sandbox}}
This is a talk page for User:Pandaqwanda/Pandaqwanda's_..." 14:25:26 [[User talk:Ataberk]] N https://esolangs.org/w/index.php?oldid=89332 * Pandaqwanda * (+235) Created page with "Hello Ataberk, I'm YouYou from Discord. How's it doing?
- ~~~~
" 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 [[Esolang:Sandbox]] M https://esolangs.org/w/index.php?diff=89333&oldid=88994 * Pandaqwanda * (+124) 16:02:45 -!- FreeFull has joined. 16:12:13 [[User talk:Pandaqwanda/pixeLang]] N https://esolangs.org/w/index.php?oldid=89334 * Pandaqwanda * (+340) Created page with "{{wrongtitle|title=Talk:pixeLang}}
This is a talk page for [[User:Pandaqwanda/pixeLang]] N https://esolangs.org/w/index.php?oldid=89335 * Pandaqwanda * (+796) Created page with "{{wrongtitle|title=pixeLang}}
pixeLang [[User talk:Pandaqwanda/pixeLang]] https://esolangs.org/w/index.php?diff=89336&oldid=89334 * Pandaqwanda * (+30) 16:15:06 [[User:Pandaqwanda]] https://esolangs.org/w/index.php?diff=89337&oldid=89328 * Pandaqwanda * (+1583) 16:16:09 [[User talk:Pandaqwanda/qwandalang]] N https://esolangs.org/w/index.php?oldid=89338 * Pandaqwanda * (+416) Created page with "{{wrongtitle|title=Talk:qwandalang}}
This is a talk page for User:Pandaqwanda/qwandalang| [[List of ideas]] https://esolangs.org/w/index.php?diff=89339&oldid=88059 * Pandaqwanda * (+206) /* Joke/Silly Ideas */ 17:05:22 int-e: i found some very elegant functions for pred and iszero that can do it 17:06:02 pred is even simpler than for church numerals 17:11:54 [[List of ideas]] https://esolangs.org/w/index.php?diff=89340&oldid=89339 * Pandaqwanda * (+653) /* Joke/Silly Ideas */ 17:16:51 [[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 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 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 [[BrainSoup]] https://esolangs.org/w/index.php?diff=89342&oldid=89326 * PixelatedStarfish * (+34) 18:22:34 [[BrainSoup]] https://esolangs.org/w/index.php?diff=89343&oldid=89342 * PixelatedStarfish * (+2) 18:26:58 [[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 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 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 i wouldn't call λn.λf.λx.n(λg.λh.h(g f))(λu.x)(λu.u) monstrous... 18:51:03 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 lots of indirection hurts the head. 18:51:32 because we strain our necks to keep track of the wires. 18:51:38 The variable names help a lot. Seeing `\nfx.` at the beginning is a clue. 18:53:04 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 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 hello everyone 19:15:49 how's it going 19:16:00 jo 19:16:02 hi 19:16:09 Trying to figure out why Lilypond won't draw my staves. 19:16:14 what 19:16:46 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:16:50 How are you? 19:17:05 i'm fine, what about you? 19:17:44 Corbin: so it's also not drawing anything that would go on the staffs, like the notes and bars? 19:18:02 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 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 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 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:56:00 Gute Nacht! 19:57:13 [[Lananang]] N https://esolangs.org/w/index.php?oldid=89345 * Heptor * (+597) Created page with " '''Lananang''' is a ==Overview== {| class="wikitable" |- ! Instruction !! Description |- | n<128> || A number variable with the value 128. Number..." 20:00:27 [[Lananang]] https://esolangs.org/w/index.php?diff=89346&oldid=89345 * Heptor * (+154) 20:05:51 [[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 a non fungeoid token language 21:10:52 -!- FreeFull has quit (Ping timeout: 268 seconds). 21:15:34 [[Lananang]] https://esolangs.org/w/index.php?diff=89348&oldid=89347 * Heptor * (+3424) 21:20:52 [[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).