< 1635897632 820561 :delta23!~delta23@user/delta23 QUIT :Ping timeout: 268 seconds > 1635898411 448866 PRIVMSG #esolangs :14[[07Nondescript14]]4 10 02https://esolangs.org/w/index.php?diff=89295&oldid=89284 5* 03PixelatedStarfish 5* (+92) 10 > 1635898432 777654 PRIVMSG #esolangs :14[[07Nondescript14]]4 10 02https://esolangs.org/w/index.php?diff=89296&oldid=89295 5* 03PixelatedStarfish 5* (+25) 10/* External Links */ > 1635898454 427354 PRIVMSG #esolangs :14[[07User:PixelatedStarfish14]]4 10 02https://esolangs.org/w/index.php?diff=89297&oldid=89278 5* 03PixelatedStarfish 5* (-67) 10/* Unimplemented Languages */ > 1635898478 355307 PRIVMSG #esolangs :14[[07User:PixelatedStarfish14]]4 10 02https://esolangs.org/w/index.php?diff=89298&oldid=89297 5* 03PixelatedStarfish 5* (+68) 10/* Implemented Languages */ > 1635898500 107115 PRIVMSG #esolangs :14[[07User:PixelatedStarfish14]]4 10 02https://esolangs.org/w/index.php?diff=89299&oldid=89298 5* 03PixelatedStarfish 5* (-1) 10/* Unimplemented Languages */ > 1635898522 602903 PRIVMSG #esolangs :14[[07User:PixelatedStarfish14]]4 10 02https://esolangs.org/w/index.php?diff=89300&oldid=89299 5* 03PixelatedStarfish 5* (+18) 10/* Nondescript */ < 1635898891 43248 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 268 seconds < 1635898907 48350 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord > 1635899127 169770 PRIVMSG #esolangs :14[[07CLE14]]4 M10 02https://esolangs.org/w/index.php?diff=89301&oldid=89292 5* 03Not applicable 5* (+232) 10fix mathjax < 1635899136 455042 :Kit!~NotApplic@2603-6010-a141-6fa3-f20d-b9c2-68e9-3c5d.res6.spectrum.com PRIVMSG #esolangs :hey look its me < 1635900029 605626 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN #esolangs oerjan :Ørjan Johansen < 1635900231 457746 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :I'm just happy the math works at all, I seem to recall setting it up was a little... vague. < 1635900671 301179 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :(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.) < 1635903156 376120 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot QUIT :Read error: Connection reset by peer < 1635903169 826047 :simcop2387!~simcop238@perlbot/patrician/simcop2387 QUIT :Read error: Connection reset by peer < 1635903247 248646 :simcop2387!~simcop238@perlbot/patrician/simcop2387 JOIN #esolangs simcop2387 :ZNC - https://znc.in < 1635903489 358940 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot JOIN #esolangs perlbot :ZNC - https://znc.in < 1635903642 229357 :archenoth!~archenoth@2604:3d09:681:f00:d4f8:f807:7083:7ced QUIT :Quit: Leaving < 1635903663 572115 :archenoth!~archenoth@2604:3d09:681:f00:7003:2de4:2fd7:db55 JOIN #esolangs Archenoth :archenoth < 1635904091 767999 :lifthrasiir!~lifthrasi@ec2-52-79-98-81.ap-northeast-2.compute.amazonaws.com QUIT :Quit: No Ping reply in 180 seconds. < 1635904108 534385 :lifthrasiir!~lifthrasi@ec2-52-79-98-81.ap-northeast-2.compute.amazonaws.com JOIN #esolangs lifthrasiir :Kang Seonghoon > 1635905210 385016 PRIVMSG #esolangs :14[[07Nondescript14]]4 10 02https://esolangs.org/w/index.php?diff=89302&oldid=89296 5* 03PixelatedStarfish 5* (+68) 10/* External Links */ > 1635905218 957220 PRIVMSG #esolangs :14[[07Nondescript14]]4 10 02https://esolangs.org/w/index.php?diff=89303&oldid=89302 5* 03PixelatedStarfish 5* (+1) 10/* External Links */ > 1635905265 856430 PRIVMSG #esolangs :14[[07User:PixelatedStarfish14]]4 10 02https://esolangs.org/w/index.php?diff=89304&oldid=89300 5* 03PixelatedStarfish 5* (+56) 10/* Nondescript */ > 1635905276 365123 PRIVMSG #esolangs :14[[07User:PixelatedStarfish14]]4 10 02https://esolangs.org/w/index.php?diff=89305&oldid=89304 5* 03PixelatedStarfish 5* (+1) 10/* Nondescript */ > 1635905477 548320 PRIVMSG #esolangs :14[[07Nondescript14]]4 10 02https://esolangs.org/w/index.php?diff=89306&oldid=89303 5* 03PixelatedStarfish 5* (+4) 10/* Truth Machine */ > 1635905491 970736 PRIVMSG #esolangs :14[[07Nondescript14]]4 10 02https://esolangs.org/w/index.php?diff=89307&oldid=89306 5* 03PixelatedStarfish 5* (+4) 10/* Hello World */ < 1635905603 45807 :delta23!~delta23@user/delta23 JOIN #esolangs delta23 :delta23__ < 1635906033 689578 :delta23!~delta23@user/delta23 QUIT :Remote host closed the connection < 1635906052 812697 :delta23!~delta23@user/delta23 JOIN #esolangs delta23 :delta23__ < 1635906069 300414 :brettgilio!~brettgili@x-node.gq QUIT :Quit: Leaving... < 1635906123 808977 :brettgilio!~brettgili@x-node.gq JOIN #esolangs brettgilio :Brett Gilio < 1635906259 36187 :sprout_!~quassel@2a02:a467:ccd6:1:58cd:ccc2:f66c:e3b JOIN #esolangs * :anon < 1635906350 623305 :sprout!~quassel@2a02:a467:ccd6:1:8872:6fff:30a7:51e0 QUIT :Ping timeout: 260 seconds > 1635909362 500462 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=89308&oldid=89247 5* 03PixelatedStarfish 5* (+18) 10/* N */ < 1635910880 405018 :sprout_!~quassel@2a02:a467:ccd6:1:58cd:ccc2:f66c:e3b QUIT :Quit: https://quassel-irc.org - Chat comfortably. Anywhere. < 1635910897 33290 :sprout!~quassel@2a02:a467:ccd6:1:58cd:ccc2:f66c:e3b JOIN #esolangs * :anon < 1635911609 879917 :monoxane!~monoxane@162.43.233.220.static.exetel.com.au QUIT :Read error: Connection reset by peer < 1635911660 260862 :monoxane!~monoxane@162.43.233.220.static.exetel.com.au JOIN #esolangs monoxane :monoxane < 1635911803 798932 :monoxane!~monoxane@162.43.233.220.static.exetel.com.au CHGHOST ~monoxane :user/monoxane < 1635912436 612860 :mla!~mla@162.253.176.229 JOIN #esolangs mla :mla < 1635912559 1468 :SGautam!uid286066@id-286066.ilkley.irccloud.com JOIN #esolangs SGautam :Siddharth Gautam < 1635915360 26446 :dyeplexer!~dyeplexer@user/dyeplexer JOIN #esolangs dyeplexer :t b k ky jt h bc < 1635917131 328648 :^[!~user@user//x-8473491 QUIT :Ping timeout: 245 seconds < 1635917262 30937 :^[!~user@user//x-8473491 JOIN #esolangs ^[ :user > 1635918811 99127 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03LegendaryFartMaster 5* 10New user account > 1635919233 941447 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=89309&oldid=89294 5* 03LegendaryFartMaster 5* (+53) 10 > 1635919347 638044 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=89310&oldid=89309 5* 03LegendaryFartMaster 5* (+98) 10 > 1635919362 69609 PRIVMSG #esolangs :14[[07Whitespace14]]4 10 02https://esolangs.org/w/index.php?diff=89311&oldid=87167 5* 03LegendaryFartMaster 5* (+12) 10/* Arithmetic */ Corrected the order of operands for arithmetic operators. > 1635919964 371889 PRIVMSG #esolangs :14[[07Whitespace14]]4 10 02https://esolangs.org/w/index.php?diff=89312&oldid=89311 5* 03LegendaryFartMaster 5* (+160) 10Updated Heap Access description, correcting order of operands, and explaining in a little more detail. < 1635920093 901320 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Legendary? Pfft. < 1635920494 467703 :delta23!~delta23@user/delta23 QUIT :Quit: Leaving < 1635920527 782418 :delta23!~delta23@user/delta23 JOIN #esolangs delta23 :delta23__ < 1635921096 785269 :arseniiv!~arseniiv@94.41.2.66.dynamic.ufanet.ru JOIN #esolangs * :the chaotic arseniiv > 1635922384 53852 PRIVMSG #esolangs :14[[07User:Squidmanescape14]]4 10 02https://esolangs.org/w/index.php?diff=89313&oldid=89223 5* 03Squidmanescape 5* (+72) 10 < 1635922734 108161 :SGautam!uid286066@id-286066.ilkley.irccloud.com QUIT :Quit: Connection closed for inactivity < 1635923809 903337 :Guest95!~Guest95@out-207-49.elettra.trieste.it JOIN #esolangs * :[https://web.libera.chat] Guest95 > 1635923823 586378 PRIVMSG #esolangs :14[[07User talk:LegendaryFartMaster14]]4 N10 02https://esolangs.org/w/index.php?oldid=89314 5* 03LegendaryFartMaster 5* (+223) 10Created 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..." > 1635924081 65942 PRIVMSG #esolangs :14[[07User:Squidmanescape14]]4 10 02https://esolangs.org/w/index.php?diff=89315&oldid=89313 5* 03Squidmanescape 5* (+105) 10 > 1635924147 348972 PRIVMSG #esolangs :14[[07User:Squidmanescape14]]4 10 02https://esolangs.org/w/index.php?diff=89316&oldid=89315 5* 03Squidmanescape 5* (-5) 10 > 1635924160 27260 PRIVMSG #esolangs :14[[07User:Squidmanescape14]]4 10 02https://esolangs.org/w/index.php?diff=89317&oldid=89316 5* 03Squidmanescape 5* (-1) 10 < 1635924502 562377 :Guest95!~Guest95@out-207-49.elettra.trieste.it QUIT :Quit: Client closed > 1635924829 536859 PRIVMSG #esolangs :14[[07User:Squidmanescape14]]4 10 02https://esolangs.org/w/index.php?diff=89318&oldid=89317 5* 03Squidmanescape 5* (+100) 10 < 1635925285 43414 :Sgeo_!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer > 1635925364 844098 PRIVMSG #esolangs :14[[07User:ManiPM14]]4 10 02https://esolangs.org/w/index.php?diff=89319&oldid=89254 5* 03ManiPM 5* (+78) 10 < 1635925443 325964 :delta23!~delta23@user/delta23 QUIT :Quit: Leaving > 1635926299 689568 PRIVMSG #esolangs :14[[07BS14]]4 M10 02https://esolangs.org/w/index.php?diff=89320&oldid=54227 5* 03Corbin 5* (+414) 10Link to presentation on YT, add infobox and categories, redlink related languages, and clean up code snippet. < 1635926728 633152 :hendursa1!~weechat@user/hendursaga JOIN #esolangs hendursaga :weechat < 1635926955 630493 :hendursaga!~weechat@user/hendursaga QUIT :Ping timeout: 276 seconds < 1635928841 747563 :monoxane0!~monoxane@user/monoxane JOIN #esolangs monoxane :monoxane < 1635928972 44448 :monoxane!~monoxane@user/monoxane QUIT :Ping timeout: 268 seconds < 1635928972 493431 :monoxane0!~monoxane@user/monoxane NICK :monoxane < 1635929696 600520 :p_____!~dyeplexer@user/dyeplexer JOIN #esolangs dyeplexer :t b k ky jt h bc < 1635929714 143217 :p_____!~dyeplexer@user/dyeplexer QUIT :Remote host closed the connection < 1635929897 28686 :dyeplexer!~dyeplexer@user/dyeplexer QUIT :Ping timeout: 268 seconds < 1635930233 766449 :b_jonas!~x@catv-176-63-4-98.catv.broadband.hu QUIT :Quit: leaving > 1635935530 938079 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Vinetwigs 5* 10New user account < 1635935761 44443 :SGautam!uid286066@id-286066.ilkley.irccloud.com JOIN #esolangs SGautam :Siddharth Gautam < 1635936585 442442 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu JOIN #esolangs b_jonas :[https://web.libera.chat] wib_jonas < 1635937670 965320 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs : int-e: can you think of a function to convert "SK numerals" S^n K into Church numerals? < 1635938367 891598 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca QUIT :Ping timeout: 260 seconds > 1635939734 171719 PRIVMSG #esolangs :14[[07BrainSoup14]]4 N10 02https://esolangs.org/w/index.php?oldid=89321 5* 03PixelatedStarfish 5* (+71) 10Created page with "[[BrainSoup]] is a language that translates any bf equivalents into bf." < 1635940682 605207 :monoxane!~monoxane@user/monoxane QUIT :Ping timeout: 260 seconds < 1635942327 564056 :tech_exorcist!~tech_exor@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN > 1635945635 902563 PRIVMSG #esolangs :14[[07BrainSoup14]]4 10 02https://esolangs.org/w/index.php?diff=89322&oldid=89321 5* 03PixelatedStarfish 5* (+245) 10 < 1635946446 150246 :tech_exorcist!~tech_exor@user/tech-exorcist/x-0447479 QUIT :Remote host closed the connection < 1635946478 40648 :tech_exorcist!~tech_exor@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN > 1635946843 433794 PRIVMSG #esolangs :14[[07BrainSoup14]]4 10 02https://esolangs.org/w/index.php?diff=89323&oldid=89322 5* 03PixelatedStarfish 5* (+941) 10 > 1635946938 756531 PRIVMSG #esolangs :14[[07BrainSoup14]]4 10 02https://esolangs.org/w/index.php?diff=89324&oldid=89323 5* 03PixelatedStarfish 5* (+2) 10 > 1635947327 232616 PRIVMSG #esolangs :14[[07BrainSoup14]]4 10 02https://esolangs.org/w/index.php?diff=89325&oldid=89324 5* 03PixelatedStarfish 5* (+6) 10 > 1635947436 788779 PRIVMSG #esolangs :14[[07BrainSoup14]]4 10 02https://esolangs.org/w/index.php?diff=89326&oldid=89325 5* 03PixelatedStarfish 5* (+9) 10 > 1635947443 229093 PRIVMSG #esolangs :14[[07User:Pandaqwanda/Pandaqwanda's sandbox14]]4 N10 02https://esolangs.org/w/index.php?oldid=89327 5* 03Pandaqwanda 5* (+127) 10Created page with "This is a sandbox page for [[User:Pandaqwanda|Pandaqwanda]]." < 1635947885 595604 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname > 1635948596 743753 PRIVMSG #esolangs :14[[07User:Pandaqwanda14]]4 10 02https://esolangs.org/w/index.php?diff=89328&oldid=89258 5* 03Pandaqwanda 5* (+104) 10 > 1635948657 827155 PRIVMSG #esolangs :14[[07User talk:Pandaqwanda14]]4 10 02https://esolangs.org/w/index.php?diff=89329&oldid=89257 5* 03Pandaqwanda 5* (+109) 10 > 1635948770 164710 PRIVMSG #esolangs :14[[07User:Pandaqwanda/Pandaqwanda's sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=89330&oldid=89327 5* 03Pandaqwanda 5* (+114) 10 > 1635948865 169406 PRIVMSG #esolangs :14[[07User talk:Pandaqwanda/Pandaqwanda's sandbox14]]4 N10 02https://esolangs.org/w/index.php?oldid=89331 5* 03Pandaqwanda 5* (+274) 10Created page with "{{wrongtitle|title=Tak:Pandaqwanda's sandbox}}
This is a talk page for User:Pandaqwanda/Pandaqwanda's_..." > 1635949526 385856 PRIVMSG #esolangs :14[[07User talk:Ataberk14]]4 N10 02https://esolangs.org/w/index.php?oldid=89332 5* 03Pandaqwanda 5* (+235) 10Created page with "Hello Ataberk, I'm YouYou from Discord. How's it doing?
- ~~~~
" < 1635951348 185102 :tech_exorcist!~tech_exor@user/tech-exorcist/x-0447479 QUIT :Quit: brb < 1635951376 553131 :tech_exorcist!~tech_exor@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN < 1635952134 192808 :SGautam!uid286066@id-286066.ilkley.irccloud.com QUIT :Quit: Connection closed for inactivity > 1635954808 645358 PRIVMSG #esolangs :14[[07Esolang:Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=89333&oldid=88994 5* 03Pandaqwanda 5* (+124) 10 < 1635955365 804181 :FreeFull!~freefull@user-5-173-157-81.play-internet.pl JOIN #esolangs FreeFull :FreeFull > 1635955933 329938 PRIVMSG #esolangs :14[[07User talk:Pandaqwanda/pixeLang14]]4 N10 02https://esolangs.org/w/index.php?oldid=89334 5* 03Pandaqwanda 5* (+340) 10Created page with "{{wrongtitle|title=Talk:pixeLang}}
This is a talk page for 1635955971 950291 PRIVMSG #esolangs :14[[07User:Pandaqwanda/pixeLang14]]4 N10 02https://esolangs.org/w/index.php?oldid=89335 5* 03Pandaqwanda 5* (+796) 10Created page with "{{wrongtitle|title=pixeLang}}
pixeLang 1635956010 823260 PRIVMSG #esolangs :14[[07User talk:Pandaqwanda/pixeLang14]]4 10 02https://esolangs.org/w/index.php?diff=89336&oldid=89334 5* 03Pandaqwanda 5* (+30) 10 > 1635956106 788575 PRIVMSG #esolangs :14[[07User:Pandaqwanda14]]4 10 02https://esolangs.org/w/index.php?diff=89337&oldid=89328 5* 03Pandaqwanda 5* (+1583) 10 > 1635956169 464472 PRIVMSG #esolangs :14[[07User talk:Pandaqwanda/qwandalang14]]4 N10 02https://esolangs.org/w/index.php?oldid=89338 5* 03Pandaqwanda 5* (+416) 10Created page with "{{wrongtitle|title=Talk:qwandalang}}
This is a talk page for User:Pandaqwanda/qwandalang| 1635958329 801518 PRIVMSG #esolangs :14[[07List of ideas14]]4 10 02https://esolangs.org/w/index.php?diff=89339&oldid=88059 5* 03Pandaqwanda 5* (+206) 10/* Joke/Silly Ideas */ < 1635959122 761272 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :int-e: i found some very elegant functions for pred and iszero that can do it < 1635959162 616671 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :pred is even simpler than for church numerals > 1635959514 461029 PRIVMSG #esolangs :14[[07List of ideas14]]4 10 02https://esolangs.org/w/index.php?diff=89340&oldid=89339 5* 03Pandaqwanda 5* (+653) 10/* Joke/Silly Ideas */ > 1635959811 410912 PRIVMSG #esolangs :14[[07Works in progress14]]4 10 02https://esolangs.org/w/index.php?diff=89341&oldid=88273 5* 03Pandaqwanda 5* (+118) 10 < 1635961055 910030 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu QUIT :Ping timeout: 256 seconds < 1635962072 509848 :arseniiv!~arseniiv@94.41.2.66.dynamic.ufanet.ru PRIVMSG #esolangs :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 < 1635962209 591675 :arseniiv!~arseniiv@94.41.2.66.dynamic.ufanet.ru PRIVMSG #esolangs :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 > 1635963724 352920 PRIVMSG #esolangs :14[[07BrainSoup14]]4 10 02https://esolangs.org/w/index.php?diff=89342&oldid=89326 5* 03PixelatedStarfish 5* (+34) 10 > 1635963754 480894 PRIVMSG #esolangs :14[[07BrainSoup14]]4 10 02https://esolangs.org/w/index.php?diff=89343&oldid=89342 5* 03PixelatedStarfish 5* (+2) 10 > 1635964018 219989 PRIVMSG #esolangs :14[[07FFRISC14]]4 10 02https://esolangs.org/w/index.php?diff=89344&oldid=87652 5* 03PixelatedStarfish 5* (+0) 10 < 1635964085 19799 :sprock!~sprock@user/sprock QUIT :Ping timeout: 268 seconds < 1635964277 130017 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :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. < 1635964373 377987 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :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. < 1635965108 891976 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca JOIN #esolangs zzo38 :zzo38 < 1635965389 411539 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :i wouldn't call λn.λf.λx.n(λg.λh.h(g f))(λu.x)(λu.u) monstrous... < 1635965463 681198 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :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. < 1635965481 273388 :imode!~imode@user/imode PRIVMSG #esolangs :lots of indirection hurts the head. < 1635965492 149371 :imode!~imode@user/imode PRIVMSG #esolangs :because we strain our necks to keep track of the wires. < 1635965498 868389 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :The variable names help a lot. Seeing `\nfx.` at the beginning is a clue. < 1635965584 48618 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :the cute thing about SK-numerals is that pred 0 gives you a genuine -1. such that succ -1 is 0 again... < 1635965626 778117 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :but the iszero test only works on nonnegative SK-numerals < 1635966564 27763 :sprout!~quassel@2a02:a467:ccd6:1:58cd:ccc2:f66c:e3b QUIT :Ping timeout: 268 seconds < 1635966887 224175 :SGautam!uid286066@id-286066.ilkley.irccloud.com JOIN #esolangs SGautam :Siddharth Gautam < 1635966894 230922 :b_jonas!~x@catv-176-63-3-164.catv.broadband.hu JOIN #esolangs * :b_jonas < 1635966922 908907 :Yes!~Yes@212-75-236-148.broadband.sbor.net JOIN #esolangs * :[https://web.libera.chat] Yes < 1635966944 130506 :Yes!~Yes@212-75-236-148.broadband.sbor.net PRIVMSG #esolangs :hello everyone < 1635966949 307998 :Yes!~Yes@212-75-236-148.broadband.sbor.net PRIVMSG #esolangs :how's it going < 1635966960 901184 :riv!river@tilde.team/user/river PRIVMSG #esolangs :jo < 1635966962 765077 :riv!river@tilde.team/user/river PRIVMSG #esolangs :hi < 1635966969 221272 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :Trying to figure out why Lilypond won't draw my staves. < 1635966974 216131 :Yes!~Yes@212-75-236-148.broadband.sbor.net PRIVMSG #esolangs :what < 1635967006 176794 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :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. < 1635967010 104835 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :How are you? < 1635967025 918939 :Yes!~Yes@212-75-236-148.broadband.sbor.net PRIVMSG #esolangs :i'm fine, what about you? < 1635967064 744981 :b_jonas!~x@catv-176-63-3-164.catv.broadband.hu PRIVMSG #esolangs :Corbin: so it's also not drawing anything that would go on the staffs, like the notes and bars? < 1635967082 481500 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :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. < 1635967083 559109 :Yes!~Yes@212-75-236-148.broadband.sbor.net QUIT :Client Quit < 1635967121 425436 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :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. < 1635967622 932321 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :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. < 1635967638 796536 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :Lilypond is so simple when it works, but it's so brittle and breaks easily. Just like playing music, I guess~ < 1635968088 55733 :sprout!~quassel@2a02:a467:ccd6:1:58cd:ccc2:f66c:e3b JOIN #esolangs * :anon < 1635968377 28110 :sprout!~quassel@2a02:a467:ccd6:1:58cd:ccc2:f66c:e3b QUIT :Ping timeout: 268 seconds < 1635969206 41746 :sprock!~sprock@user/sprock JOIN #esolangs sprock :Maeve Sproule < 1635969360 781514 :APic!apic@apic.name PRIVMSG #esolangs :Gute Nacht! > 1635969433 212956 PRIVMSG #esolangs :14[[07Lananang14]]4 N10 02https://esolangs.org/w/index.php?oldid=89345 5* 03Heptor 5* (+597) 10Created page with " '''Lananang''' is a ==Overview== {| class="wikitable" |- ! Instruction !! Description |- | n<128> || A number variable with the value 128. Number..." > 1635969627 163701 PRIVMSG #esolangs :14[[07Lananang14]]4 10 02https://esolangs.org/w/index.php?diff=89346&oldid=89345 5* 03Heptor 5* (+154) 10 > 1635969951 474085 PRIVMSG #esolangs :14[[07Lananang14]]4 10 02https://esolangs.org/w/index.php?diff=89347&oldid=89346 5* 03Heptor 5* (+332) 10 < 1635972225 36142 :sprout!~quassel@2a02:a467:ccd6:1:58cd:ccc2:f66c:e3b JOIN #esolangs * :anon < 1635972557 97111 :tech_exorcist!~tech_exor@user/tech-exorcist/x-0447479 QUIT :Quit: see you tomorro < 1635973113 42389 :sprock!~sprock@user/sprock QUIT :Ping timeout: 268 seconds < 1635973849 998691 :riv!river@tilde.team/user/river PRIVMSG #esolangs :a non fungeoid token language < 1635973852 801819 :FreeFull!~freefull@user-5-173-157-81.play-internet.pl QUIT :Ping timeout: 268 seconds > 1635974134 157308 PRIVMSG #esolangs :14[[07Lananang14]]4 10 02https://esolangs.org/w/index.php?diff=89348&oldid=89347 5* 03Heptor 5* (+3424) 10 > 1635974452 406002 PRIVMSG #esolangs :14[[07Lananang14]]4 10 02https://esolangs.org/w/index.php?diff=89349&oldid=89348 5* 03Heptor 5* (+3) 10 < 1635974592 47812 :FreeFull!~freefull@user-5-173-152-113.play-internet.pl JOIN #esolangs FreeFull :FreeFull < 1635976278 470883 :arseniiv!~arseniiv@94.41.2.66.dynamic.ufanet.ru QUIT :Quit: gone too far < 1635977658 373204 :SGautam!uid286066@id-286066.ilkley.irccloud.com QUIT :Quit: Connection closed for inactivity < 1635982612 532300 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN #esolangs oerjan :Ørjan Johansen < 1635982850 702659 :velik!~velik@nakilon.pro QUIT :Remote host closed the connection