< 1641601345 567348 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Hmm. If you've got a female HDMI to a male DVI-D adapter, why's the DVI side have all the dual-link pins populated in the first place, when the HDMI connector has pins only for three data pairs? Are they just N/C? < 1641601465 646176 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :(I've got one cable that's HDMI on one end and DVI in the other, and it's missing the middle dual-link data pins, which makes sense. But I'd like to use the DVI output for a thing that's got an integrated HDMI cable, so I've been looking at adapters instead, and all the pictures I've seen have had fully populated DVI-D connectors on the DVI side.) < 1641601714 618244 :Hooloovoo!~Hooloovoo@hax0rbana.org PRIVMSG #esolangs :I believe they're n/c and that some adapters will omit those pins < 1641601720 734391 :warlock!~warlock@kryogeniks.dev JOIN #esolangs warlock :warlock < 1641601731 185480 :Hooloovoo!~Hooloovoo@hax0rbana.org PRIVMSG #esolangs :not positive though < 1641601868 299124 :kitbot!~kitbot@2603-6010-a141-6fa3-0204-5aff-fe53-846c.res6.spectrum.com JOIN #esolangs * :kitbot < 1641602138 500279 :kit!~u0_a391@2600:380:a420:9b:42e7:36e8:b201:ddbc NICK :Kit-ten < 1641602147 728005 :Kit_!~NotApplic@2603-6010-a141-6fa3-0000-db65-a0b3-920d.res6.spectrum.com NICK :Kit < 1641602402 999472 :Kit!~NotApplic@2603-6010-a141-6fa3-0000-db65-a0b3-920d.res6.spectrum.com QUIT :Quit: Leaving < 1641602421 589211 :NotApplicable!~NotApplic@2603-6010-a141-6fa3-0000-db65-a0b3-920d.res6.spectrum.com JOIN #esolangs * :realname < 1641602432 198160 :NotApplicable!~NotApplic@2603-6010-a141-6fa3-0000-db65-a0b3-920d.res6.spectrum.com NICK :Kit > 1641602717 73530 PRIVMSG #esolangs :14[[07Bitter14]]4 10 02https://esolangs.org/w/index.php?diff=91729&oldid=89853 5* 03DMC 5* (-12) 10/* Orthodox Bitter */ > 1641604875 503160 PRIVMSG #esolangs :14[[07Special:Log/upload14]]4 overwrite10 02 5* 03PixelatedStarfish 5* 10uploaded a new version of "[[02File:Mmm.png10]]" > 1641605372 410910 PRIVMSG #esolangs :14[[07Special:Log/upload14]]4 overwrite10 02 5* 03PixelatedStarfish 5* 10uploaded a new version of "[[02File:Mmm.png10]]" > 1641605813 746188 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91732&oldid=91725 5* 03PixelatedStarfish 5* (+2) 10 > 1641606048 489702 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91733&oldid=91732 5* 03PixelatedStarfish 5* (-2) 10 > 1641606345 643762 PRIVMSG #esolangs :14[[07THROW THIS TO THAT14]]4 N10 02https://esolangs.org/w/index.php?oldid=91734 5* 03Esolang1 5* (+2405) 10Created new page: THROW THIS TO THAT > 1641606403 125151 PRIVMSG #esolangs :14[[07User:Esolang114]]4 M10 02https://esolangs.org/w/index.php?diff=91735&oldid=91125 5* 03Esolang1 5* (+25) 10Added language: THROW THIS TO THAT > 1641606604 734251 PRIVMSG #esolangs :14[[07THROW THIS TO THAT14]]4 M10 02https://esolangs.org/w/index.php?diff=91736&oldid=91734 5* 03Esolang1 5* (+19) 10Added Category: 2022 > 1641606772 535078 PRIVMSG #esolangs :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=91737&oldid=91590 5* 03Esolang1 5* (+25) 10Added language: THROW THIS TO THAT < 1641606831 924442 :Esolang1!~Esolang1@124.54.169.69 JOIN #esolangs * :[https://web.libera.chat] Esolang1 < 1641606864 313693 :Esolang1!~Esolang1@124.54.169.69 QUIT :Client Quit > 1641606984 414248 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91738&oldid=91733 5* 03PixelatedStarfish 5* (+18) 10/* Errors */ < 1641607802 970071 :FreeFull!~freefull@user-94-254-235-104.play-internet.pl QUIT : < 1641608292 632136 :kit_ten!~u0_a391@2603-6010-a141-6fa3-950d-0150-5311-7e6b.res6.spectrum.com JOIN #esolangs * :u0_a391 < 1641608545 767239 :Kit-ten!~u0_a391@2600:380:a420:9b:42e7:36e8:b201:ddbc QUIT :Ping timeout: 268 seconds > 1641608803 380933 PRIVMSG #esolangs :14[[07HyperGolf14]]4 N10 02https://esolangs.org/w/index.php?oldid=91739 5* 03DoggyDogWhirl 5* (+1881) 10Created page with "'''HyperGolf''' is an idea for an esoteric programming language by [[User:DoggyDogWhirl]]. HyperGolf would act like a golfing language, except that it would completely lack b..." < 1641609237 583658 :dyeplexer!~dyeplexer@user/dyeplexer JOIN #esolangs dyeplexer :t b k ky jt h bc > 1641609278 597825 PRIVMSG #esolangs :14[[07User:DoggyDogWhirl14]]4 M10 02https://esolangs.org/w/index.php?diff=91740&oldid=90716 5* 03DoggyDogWhirl 5* (+16) 10Added HyperGolf < 1641609284 655980 :razetime!~quassel@49.207.213.63 JOIN #esolangs * :razetime < 1641610244 632179 :kitbot!~kitbot@2603-6010-a141-6fa3-0204-5aff-fe53-846c.res6.spectrum.com QUIT :Remote host closed the connection > 1641610871 48588 PRIVMSG #esolangs :14[[07THROW THIS TO THAT14]]4 M10 02https://esolangs.org/w/index.php?diff=91741&oldid=91736 5* 03PythonshellDebugwindow 5* (+89) 10Add categories, see also > 1641610906 677452 PRIVMSG #esolangs :14[[07FROM HERE TO THERE14]]4 M10 02https://esolangs.org/w/index.php?diff=91742&oldid=88969 5* 03PythonshellDebugwindow 5* (+39) 10/* External links */ See also < 1641611165 87899 :dbohdan3!~dbohdan@user/dbohdan QUIT :Read error: Connection reset by peer < 1641611235 822634 :dbohdan!~dbohdan@user/dbohdan JOIN #esolangs dbohdan :ZNC - https://znc.in < 1641612172 957423 :kit_ten!~u0_a391@2603-6010-a141-6fa3-950d-0150-5311-7e6b.res6.spectrum.com QUIT :Read error: No route to host < 1641612200 563494 :kit_ten!~u0_a391@2603-6010-a141-6fa3-950d-0150-5311-7e6b.res6.spectrum.com JOIN #esolangs * :u0_a391 < 1641613759 241816 :razetime!~quassel@49.207.213.63 QUIT :Read error: No route to host < 1641614650 74219 :razetime!~quassel@49.207.213.63 JOIN #esolangs * :razetime > 1641616823 276780 PRIVMSG #esolangs :14[[07Haczyk14]]4 10 02https://esolangs.org/w/index.php?diff=91743&oldid=91557 5* 03Squidmanescape 5* (+639) 10/* Description */ < 1641618606 785472 :earendel!uid498179@user/earendel QUIT :Quit: Connection closed for inactivity < 1641621845 69633 :int-e!~noone@int-e.eu PRIVMSG #esolangs :https://jalopnik.com/honda-clocks-are-stuck-20-years-in-the-past-and-this-mi-1848306970 is mind-boggling. what could they have plausibly messed up that breaks this on 2022-01-01 and fixes itself again (I guess; that's how you get a date in August) 1024 weeks after 2002-01-01? < 1641623399 102347 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User < 1641624059 849957 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1641624978 722458 :sknebel!~quassel@v22016013254630973.happysrv.de QUIT :Quit: sknebel < 1641625000 95702 :sknebel!~quassel@v22016013254630973.happysrv.de JOIN #esolangs sknebel :sknebel < 1641625422 915808 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User < 1641627657 529358 :Bowserinator!Bowserinat@hellomouse/dev/bowserinator QUIT :Remote host closed the connection < 1641627674 816125 :Bowserinator!Bowserinat@hellomouse/dev/bowserinator JOIN #esolangs Bowserinator :No VPS :( < 1641627697 606068 :BarryNL!~BarryNL@2a02:a468:ae45:1:a1b4:1e60:dae6:311b QUIT :Ping timeout: 240 seconds < 1641627775 840201 :BarryNL!~BarryNL@2a02:a468:ae45:1:a1b4:1e60:dae6:311b JOIN #esolangs * :BarryNL < 1641628191 642601 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1641628214 971071 :impomatic!~impomatic@host86-153-132-230.range86-153.btcentralplus.com JOIN #esolangs * :[https://web.libera.chat] impomatic < 1641628685 172177 :razetime!~quassel@49.207.213.63 QUIT :Ping timeout: 256 seconds < 1641628702 85380 :razetime!~quassel@49.207.213.63 JOIN #esolangs * :razetime < 1641631719 214753 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User > 1641632767 197902 PRIVMSG #esolangs :14[[07User:A casual user14]]4 10 02https://esolangs.org/w/index.php?diff=91744&oldid=91693 5* 03A casual user 5* (+0) 10 > 1641632819 549715 PRIVMSG #esolangs :14[[07Oxon14]]4 10 02https://esolangs.org/w/index.php?diff=91745&oldid=91705 5* 03A casual user 5* (-11) 10 < 1641633113 84549 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN #esolangs oerjan :Ørjan Johansen < 1641633488 893353 :razetime!~quassel@49.207.213.63 QUIT :Read error: Connection reset by peer < 1641633781 594417 :razetime!~quassel@49.207.213.63 JOIN #esolangs * :razetime > 1641633962 60259 PRIVMSG #esolangs :14[[07Oxon14]]4 10 02https://esolangs.org/w/index.php?diff=91746&oldid=91745 5* 03A casual user 5* (+626) 10 > 1641634088 203832 PRIVMSG #esolangs :14[[07Oxon14]]4 10 02https://esolangs.org/w/index.php?diff=91747&oldid=91746 5* 03A casual user 5* (+28) 10 > 1641634178 472931 PRIVMSG #esolangs :14[[07Oxon14]]4 10 02https://esolangs.org/w/index.php?diff=91748&oldid=91747 5* 03A casual user 5* (+18) 10 < 1641634249 9168 :b_jonas!~x@catv-176-63-3-122.catv.broadband.hu PRIVMSG #esolangs :fizzie: that might be because both video cards and monitors have female sockets, but that cable only works one way (out of DVI card to HDMI monitor or HDMI card to DVI monitor) and the extra plugs in the cable makes it less likely that you can plug it in backwards? < 1641634282 231712 :b_jonas!~x@catv-176-63-3-122.catv.broadband.hu PRIVMSG #esolangs :fizzie: alternately it's for mechanical stability so the plug doesn't easily get pulled off < 1641634291 734897 :b_jonas!~x@catv-176-63-3-122.catv.broadband.hu PRIVMSG #esolangs :although that would make more sense for the HDMI side than the DVI < 1641634301 527460 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN > 1641634601 768338 PRIVMSG #esolangs :14[[07Oxon14]]4 10 02https://esolangs.org/w/index.php?diff=91749&oldid=91748 5* 03A casual user 5* (+209) 10 > 1641635062 148834 PRIVMSG #esolangs :14[[07Oxon14]]4 10 02https://esolangs.org/w/index.php?diff=91750&oldid=91749 5* 03A casual user 5* (+133) 10 > 1641635077 68805 PRIVMSG #esolangs :14[[07Oxon14]]4 10 02https://esolangs.org/w/index.php?diff=91751&oldid=91750 5* 03A casual user 5* (+7) 10 > 1641635103 861310 PRIVMSG #esolangs :14[[07Oxon14]]4 10 02https://esolangs.org/w/index.php?diff=91752&oldid=91751 5* 03A casual user 5* (+19) 10 > 1641635132 152834 PRIVMSG #esolangs :14[[07Oxon14]]4 10 02https://esolangs.org/w/index.php?diff=91753&oldid=91752 5* 03A casual user 5* (+0) 10 > 1641635223 85717 PRIVMSG #esolangs :14[[07Oxon14]]4 10 02https://esolangs.org/w/index.php?diff=91754&oldid=91753 5* 03A casual user 5* (+6) 10 > 1641635295 227208 PRIVMSG #esolangs :14[[07Oxon14]]4 M10 02https://esolangs.org/w/index.php?diff=91755&oldid=91754 5* 03A casual user 5* (+1) 10 > 1641635442 752686 PRIVMSG #esolangs :14[[07Oxon14]]4 M10 02https://esolangs.org/w/index.php?diff=91756&oldid=91755 5* 03A casual user 5* (+0) 10 > 1641635702 795142 PRIVMSG #esolangs :14[[07Oxon14]]4 10 02https://esolangs.org/w/index.php?diff=91757&oldid=91756 5* 03A casual user 5* (-1) 10 < 1641637156 19142 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1641637388 516473 :blu256!~blu256@2a02:85f:f00c:ac00:a4a2:3c7a:abc4:dc50 QUIT :Ping timeout: 252 seconds < 1641637486 75119 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User < 1641637910 827979 :blu256!~blu256@2a02:85f:f00c:ac00:a4a2:3c7a:abc4:dc50 JOIN #esolangs * :Mavridis Philippe < 1641638057 587538 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1641638112 563393 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 256 seconds < 1641638135 717516 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life < 1641638334 3847 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer > 1641639052 211218 PRIVMSG #esolangs :14[[07Oxon14]]4 10 02https://esolangs.org/w/index.php?diff=91758&oldid=91757 5* 03A casual user 5* (+86) 10 < 1641640291 849971 :BarryNL!~BarryNL@2a02:a468:ae45:1:a1b4:1e60:dae6:311b QUIT :Ping timeout: 268 seconds < 1641640463 667077 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Later < 1641641231 67159 :BarryNL!~BarryNL@2a02:a468:ae45:1:a1b4:1e60:dae6:311b JOIN #esolangs * :BarryNL < 1641641688 58648 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown < 1641644985 548931 :earendel!uid498179@user/earendel JOIN #esolangs earendel :AmoreFS < 1641648193 612088 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 QUIT :Quit: see you tomorrow or in 2 days > 1641649298 641034 PRIVMSG #esolangs :14[[07Haczyk14]]4 M10 02https://esolangs.org/w/index.php?diff=91759&oldid=91743 5* 03PythonshellDebugwindow 5* (+0) 10/* Description */ fix typo < 1641650241 923900 :impomatic!~impomatic@host86-153-132-230.range86-153.btcentralplus.com QUIT :Ping timeout: 256 seconds < 1641650275 116058 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot QUIT :Ping timeout: 256 seconds < 1641650275 116126 :simcop2387!~simcop238@perlbot/patrician/simcop2387 QUIT :Ping timeout: 256 seconds > 1641650474 629788 PRIVMSG #esolangs :14[[07Context.js14]]4 M10 02https://esolangs.org/w/index.php?diff=91760&oldid=90052 5* 03PythonshellDebugwindow 5* (+24) 10Add category < 1641650943 502291 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1641651182 614041 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User < 1641651795 626741 :simcop2387!~simcop238@perlbot/patrician/simcop2387 JOIN #esolangs simcop2387 :ZNC - https://znc.in < 1641651853 607498 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot JOIN #esolangs perlbot :ZNC - https://znc.in < 1641653685 762645 :blu256!~blu256@2a02:85f:f00c:ac00:a4a2:3c7a:abc4:dc50 QUIT :Ping timeout: 268 seconds < 1641653841 108743 :Everything!~Everythin@37.115.210.35 JOIN #esolangs * :Everything < 1641653868 95978 :blu256!~blu256@62.74.46.230 JOIN #esolangs * :Mavridis Philippe > 1641654644 882162 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91761&oldid=91738 5* 03PixelatedStarfish 5* (+2) 10/* Errors */ > 1641654663 688471 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91762&oldid=91761 5* 03PixelatedStarfish 5* (-4) 10/* Errors */ > 1641655120 145718 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91763&oldid=91762 5* 03PixelatedStarfish 5* (+1) 10/* Errors */ > 1641655147 423332 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91764&oldid=91763 5* 03PixelatedStarfish 5* (-1) 10/* Errors */ > 1641655728 939225 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91765&oldid=91764 5* 03PixelatedStarfish 5* (+3) 10/* Errors */ > 1641655747 32059 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91766&oldid=91765 5* 03PixelatedStarfish 5* (-2) 10/* Errors */ > 1641656969 677608 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91767&oldid=91766 5* 03PixelatedStarfish 5* (-35) 10/* Errors */ < 1641657721 134380 :blu256!~blu256@62.74.46.230 QUIT :Ping timeout: 256 seconds < 1641657820 94104 :blu256!~blu256@62.74.8.136 JOIN #esolangs * :Mavridis Philippe < 1641658231 76425 :blu256!~blu256@62.74.8.136 QUIT :Ping timeout: 256 seconds < 1641658257 85065 :blu256!~blu256@62.74.37.25 JOIN #esolangs * :Mavridis Philippe < 1641658944 919619 :blu256!~blu256@62.74.37.25 QUIT :Read error: Connection reset by peer < 1641658975 954803 :blu256!~blu256@2a02:85f:f00c:ac00:a4a2:3c7a:abc4:dc50 JOIN #esolangs blu256 :Mavridis Philippe < 1641659171 48090 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :I guess one more explanation is, it's cheaper to make just one kind of DVI-D connector, so it's also cheaper for the people making the adapters to buy the dual-link ones even though they've got extra pins. < 1641659651 924795 :impomatic!~impomatic@host86-153-132-230.range86-153.btcentralplus.com JOIN #esolangs * :[https://web.libera.chat] impomatic < 1641661002 923563 :Guest5123!~Guest51@202.184.26.232 JOIN #esolangs * :[https://web.libera.chat] Guest51 < 1641661165 125388 :Guest5123!~Guest51@202.184.26.232 PRIVMSG #esolangs :Hi im new to IRC, I just wanna ask, does esolangs.org accept non-english esolangs as submissions? < 1641661244 252400 :razetime!~quassel@49.207.213.63 PRIVMSG #esolangs :what exactly does that mean? < 1641661246 134049 :kit_ten!~u0_a391@2603-6010-a141-6fa3-950d-0150-5311-7e6b.res6.spectrum.com PRIVMSG #esolangs :i think there was a toki pona esolang so ya < 1641661263 401251 :Guest5123!~Guest51@202.184.26.232 PRIVMSG #esolangs :I have a plan to make an esolang, but i need it to be in Malay cuz english just doesn't have the linguistic features needed for this esolang < 1641661269 26310 :razetime!~quassel@49.207.213.63 PRIVMSG #esolangs :go ahead < 1641661270 953768 :Guest5123!~Guest51@202.184.26.232 PRIVMSG #esolangs :ohh ok nice < 1641661281 87745 :Guest5123!~Guest51@202.184.26.232 PRIVMSG #esolangs :But the documentation has to be in English? < 1641661315 577962 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Yeah, the wiki language is english. < 1641661343 344457 :Guest5123!~Guest51@202.184.26.232 PRIVMSG #esolangs :Ok! thanks for the replies! < 1641661462 123787 :vyv!~vyv@bras-vprn-nrbaon0452w-lp130-16-76-68-64-112.dsl.bell.ca JOIN #esolangs vyv :vyv verver < 1641661501 806195 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :what is a minimal base in Combinatory Logic? < 1641661570 620821 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :rather, what is the shortest one? < 1641661606 678226 :razetime!~quassel@49.207.213.63 QUIT :Ping timeout: 256 seconds < 1641661767 923762 :Guest5123!~Guest51@202.184.26.232 QUIT :Ping timeout: 256 seconds < 1641661882 445139 :riv!river@tilde.team/user/river PRIVMSG #esolangs :there are one combinator basis < 1641661892 388597 :riv!river@tilde.team/user/river PRIVMSG #esolangs :XX = S, X(XX) = K stuff like that < 1641662186 157214 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :but what is the smallest possible X? < 1641662229 87707 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :can X be smaller than the sumsize of S and K ? < 1641662261 280141 :riv!river@tilde.team/user/river PRIVMSG #esolangs :oh smallest as a lambda term you mean < 1641662270 272906 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :exactly < 1641662272 727843 :riv!river@tilde.team/user/river PRIVMSG #esolangs :I never thought about that < 1641662281 684117 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :whose size we can measure in bits < 1641662303 12364 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :S is 30 bits, K is 7 bits < 1641662312 616274 :riv!river@tilde.team/user/river PRIVMSG #esolangs :interesting question < 1641662312 796415 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :oops, I mean S is 23 bits < 1641662328 793671 :riv!river@tilde.team/user/river PRIVMSG #esolangs :it could be a small lambda term that you can make S and K out of using a complex exprsesion < 1641662334 283287 :riv!river@tilde.team/user/river PRIVMSG #esolangs :(hypothetically) < 1641662337 660614 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :sumsize of {S,K} is 30 bits < 1641662344 190751 :int-e!~noone@int-e.eu PRIVMSG #esolangs :tromp: so you're measuring in BLC size? < 1641662349 662011 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :yep < 1641662352 733317 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I see. < 1641662357 853214 :riv!river@tilde.team/user/river PRIVMSG #esolangs :so we need to prove small lambda terms are not basis' < 1641662364 451512 :riv!river@tilde.team/user/river PRIVMSG #esolangs :obviously the identity is not one > 1641662438 492302 PRIVMSG #esolangs :14[[07Oxon14]]4 10 02https://esolangs.org/w/index.php?diff=91768&oldid=91758 5* 03A casual user 5* (+28) 10 > 1641662445 187100 PRIVMSG #esolangs :14[[07Oxon14]]4 10 02https://esolangs.org/w/index.php?diff=91769&oldid=91768 5* 03A casual user 5* (+2) 10 < 1641662483 120353 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :what is an absolute lower bound on the size of a minimal base? < 1641662501 86738 :riv!river@tilde.team/user/river PRIVMSG #esolangs :we also know K is not one on its own < 1641662507 522865 :riv!river@tilde.team/user/river PRIVMSG #esolangs :do you have a list of the lambda terms in size order < 1641662511 803756 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :it would be larger than S... < 1641662523 169044 :riv!river@tilde.team/user/river PRIVMSG #esolangs :how do you know that? < 1641662593 22085 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :because it needs at least 3 lambdas < 1641662606 999584 :Everything!~Everythin@37.115.210.35 QUIT :Quit: leaving < 1641662610 366928 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :and one duplicated variable < 1641662635 694112 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :and 2 more preserved ones < 1641662709 153587 :riv!river@tilde.team/user/river PRIVMSG #esolangs :I see < 1641662724 534563 :riv!river@tilde.team/user/river PRIVMSG #esolangs :that's a great point < 1641662776 890350 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :also needs an unpreserved variable < 1641662896 616328 :iovoid!iovoid@hellomouse/dev/iovoid QUIT :Ping timeout: 245 seconds < 1641662914 240634 :iovoid!~iovoid@hellomouse/dev/iovoid JOIN #esolangs iovoid :probably iovoid? < 1641663190 483960 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :spoller: smaller than sumsize of S and K is possible < 1641664257 528201 :kit_ten!~u0_a391@2603-6010-a141-6fa3-950d-0150-5311-7e6b.res6.spectrum.com QUIT :Ping timeout: 240 seconds < 1641664397 88337 :kit_ten!~u0_a391@cpe-76-190-178-139.neo.res.rr.com JOIN #esolangs * :u0_a391 < 1641664487 336396 :riv!river@tilde.team/user/river PRIVMSG #esolangs ::O nice < 1641664495 721081 :riv!river@tilde.team/user/river PRIVMSG #esolangs :that's already an exciting result > 1641666510 733095 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91770&oldid=91767 5* 03PixelatedStarfish 5* (+72) 10/* Errors */ > 1641666564 198477 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91771&oldid=91770 5* 03PixelatedStarfish 5* (-2) 10/* Errors */ > 1641666580 995332 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91772&oldid=91771 5* 03PixelatedStarfish 5* (+1) 10/* Errors */ > 1641666632 383339 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91773&oldid=91772 5* 03PixelatedStarfish 5* (-22) 10/* Errors */ > 1641666673 704726 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91774&oldid=91773 5* 03PixelatedStarfish 5* (-1) 10/* Errors */ > 1641666689 892493 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91775&oldid=91774 5* 03PixelatedStarfish 5* (+5) 10/* Errors */ > 1641666757 79987 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91776&oldid=91775 5* 03PixelatedStarfish 5* (+0) 10/* Error Codes */ < 1641666975 274433 :dyeplexer!~dyeplexer@user/dyeplexer QUIT :Remote host closed the connection > 1641666978 217449 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91777&oldid=91776 5* 03PixelatedStarfish 5* (+40) 10/* Error Codes */ < 1641668057 947964 :impomatic!~impomatic@host86-153-132-230.range86-153.btcentralplus.com QUIT :Ping timeout: 256 seconds > 1641668138 476732 PRIVMSG #esolangs :14[[07Oxon14]]4 M10 02https://esolangs.org/w/index.php?diff=91778&oldid=91769 5* 03A casual user 5* (-6) 10 > 1641668176 393094 PRIVMSG #esolangs :14[[07Oxon14]]4 M10 02https://esolangs.org/w/index.php?diff=91779&oldid=91778 5* 03A casual user 5* (+6) 10 > 1641668258 476131 PRIVMSG #esolangs :14[[07Oxon14]]4 M10 02https://esolangs.org/w/index.php?diff=91780&oldid=91779 5* 03A casual user 5* (-64) 10 > 1641668329 172891 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91781&oldid=91777 5* 03PixelatedStarfish 5* (+8) 10/* Proof of Turing Completeness */ > 1641668385 213334 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Peter 5* 10New user account > 1641669048 666153 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91782&oldid=91781 5* 03PixelatedStarfish 5* (+57) 10/* Error Codes */ > 1641669112 966361 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91783&oldid=91782 5* 03PixelatedStarfish 5* (+75) 10 > 1641669245 58738 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91784&oldid=91783 5* 03PixelatedStarfish 5* (+18) 10/* Error Codes */ < 1641669895 170220 :vyv!~vyv@bras-vprn-nrbaon0452w-lp130-16-76-68-64-112.dsl.bell.ca QUIT :Quit: Konversation terminated! > 1641670523 21006 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91785&oldid=91784 5* 03PixelatedStarfish 5* (+332) 10 > 1641670746 684958 PRIVMSG #esolangs :14[[07APOL14]]4 10 02https://esolangs.org/w/index.php?diff=91786&oldid=91664 5* 03GingerIndustries 5* (+105) 10/* Instruction table */ < 1641671245 569527 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname > 1641671620 188611 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91787&oldid=91785 5* 03PixelatedStarfish 5* (+1) 10/* Instruction Set */ > 1641673242 791184 PRIVMSG #esolangs :14[[07Deadfish14]]4 M10 02https://esolangs.org/w/index.php?diff=91788&oldid=91678 5* 03GingerIndustries 5* (+114) 10/* Commands */ > 1641673269 897779 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91789&oldid=91787 5* 03PixelatedStarfish 5* (+365) 10 > 1641673487 152453 PRIVMSG #esolangs :14[[07Deadfish14]]4 M10 02https://esolangs.org/w/index.php?diff=91790&oldid=91788 5* 03GingerIndustries 5* (+129) 10/* Commands */ > 1641673668 536477 PRIVMSG #esolangs :14[[075D 5D Brainfuck With Multiverse Time Travel With Multiverse Time Travel14]]4 10 02https://esolangs.org/w/index.php?diff=91791&oldid=89618 5* 03Otesunki 5* (-12) 10Redundancy error-- it's turing complete. > 1641673900 433605 PRIVMSG #esolangs :14[[07RAMDISP14]]4 10 02https://esolangs.org/w/index.php?diff=91792&oldid=83900 5* 03Otesunki 5* (+42) 10 > 1641673941 392444 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91793&oldid=91789 5* 03PixelatedStarfish 5* (+377) 10 > 1641673978 535245 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=91794&oldid=91793 5* 03PixelatedStarfish 5* (-4) 10 < 1641674357 755606 :earendel!uid498179@user/earendel QUIT :Quit: Connection closed for inactivity < 1641675311 374284 :zegalch!~zegalch@178.128.75.133 QUIT :Remote host closed the connection < 1641675337 193695 :zegalch!~zegalch@178.128.75.133 JOIN #esolangs zegalch :The Lounge User < 1641678379 249278 :__monty__!~toonn@user/toonn QUIT :Quit: leaving > 1641678516 820433 PRIVMSG #esolangs :14[[07Talk:14]]4 10 02https://esolangs.org/w/index.php?diff=91795&oldid=89952 5* 03Otesunki 5* (+720) 10/* Shouldn't level 5 be TC? */ new section < 1641680528 309701 :blu256!~blu256@2a02:85f:f00c:ac00:a4a2:3c7a:abc4:dc50 QUIT :Quit: Gone < 1641680878 565984 :earendel!uid498179@user/earendel JOIN #esolangs earendel :AmoreFS > 1641684642 952579 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Kg583 5* 10New user account > 1641684795 313028 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=91796&oldid=91675 5* 03Kg583 5* (+118) 10 < 1641684955 155561 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… > 1641685105 326896 PRIVMSG #esolangs :14[[07For(T,R,A,N14]]4 M10 02https://esolangs.org/w/index.php?diff=91797&oldid=91535 5* 03Kg583 5* (+85) 10I invented this, so that's cool < 1641685301 121954 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User < 1641686031 700106 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1641686082 18372 :joast!~rick@cpe-98-146-112-4.natnow.res.rr.com JOIN #esolangs joast :purple