> 1769388250 199957 PRIVMSG #esolangs :14[[07Talk:MIBBLLII14]]4 10 02https://esolangs.org/w/index.php?diff=174308&oldid=174304 5* 03Blashyrkh 5* (+209) 10/* Byte IO is preferrable */ new section > 1769392769 600710 PRIVMSG #esolangs :14[[07User talk:Blashyrkh/Between IJ and SK14]]4 10 02https://esolangs.org/w/index.php?diff=174309&oldid=174231 5* 03PkmnQ 5* (+447) 10/* Solution for X x = x (K x) x */ new section > 1769392937 987344 PRIVMSG #esolangs :14[[07User talk:Blashyrkh/Between IJ and SK14]]4 10 02https://esolangs.org/w/index.php?diff=174310&oldid=174309 5* 03PkmnQ 5* (+26) 10/* Solution for X x = x (K x) x */ > 1769393316 169535 PRIVMSG #esolangs :14[[07Drw14]]4 10 02https://esolangs.org/w/index.php?diff=174311&oldid=169835 5* 03Phidas 5* (+3078) 10Updated to match the new stuff that exists < 1769393397 780096 :agl_404!~agl@user/agl-404:33272 JOIN #esolangs agl_404 :agl < 1769393464 260319 :agl_404!~agl@user/agl-404:33272 PART :#esolangs < 1769396226 664900 :ski!~ski@remote11.chalmers.se QUIT :Remote host closed the connection < 1769400757 600983 :ski!~ski@remote11.chalmers.se JOIN #esolangs ski :Stefan Ljungstrand < 1769403569 392541 :ais523!~ais523@user/ais523 QUIT :Quit: quit < 1769404098 349669 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name) > 1769404945 849705 PRIVMSG #esolangs :14[[07User:Dragoneater6714]]4 10 02https://esolangs.org/w/index.php?diff=174312&oldid=174146 5* 03Dragoneater67 5* (+11) 10 > 1769405094 508670 PRIVMSG #esolangs :14[[07User:Dragoneater67/issue14]]4 N10 02https://esolangs.org/w/index.php?oldid=174313 5* 03Dragoneater67 5* (+28) 10Created page with "#REDIRECT User:Dragoneater67" > 1769405106 509022 PRIVMSG #esolangs :14[[07User:Dragoneater67/issue14]]4 10 02https://esolangs.org/w/index.php?diff=174314&oldid=174313 5* 03Dragoneater67 5* (+0) 10 > 1769405145 317376 PRIVMSG #esolangs :14[[07User:Dragoneater67/issue14]]4 10 02https://esolangs.org/w/index.php?diff=174315&oldid=174314 5* 03Dragoneater67 5* (+4) 10Redirected page to [[User:Dragoneater67]] < 1769406450 357626 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :hmm, I'm trying to find a BF syntax substitution where the commands have consecutive character codes < 1769406474 417788 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :so far I have found *two* BF equivalents which write the commands as digits of an octal number and then the program is that number converted to decimal, but none that do it directly < 1769406510 465717 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(note: this isn't important enough that anyone should be bothered trying to help, was more an out-of-curiosity thing upon thinking about how to golf BF quines) < 1769406548 514356 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :`unidecode !@#$%^&* < 1769406551 402660 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :​[U+0021 EXCLAMATION MARK] [U+0040 COMMERCIAL AT] [U+0023 NUMBER SIGN] [U+0024 DOLLAR SIGN] [U+0025 PERCENT SIGN] [U+005E CIRCUMFLEX ACCENT] [U+0026 AMPERSAND] [U+002A ASTERISK] < 1769406577 105358 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :close, but apparently the keyboard's drifted too far from ASCII > 1769406639 740822 PRIVMSG #esolangs :14[[07Brainless14]]4 10 02https://esolangs.org/w/index.php?diff=174316&oldid=172370 5* 03Ais523 5* (-99) 10not BF-equivalent (it isn't TC or even capable of a loop) also remove a number of other incorrect categories > 1769406923 75631 PRIVMSG #esolangs :14[[07Self-modifying Brainfuck Sharp14]]4 10 02https://esolangs.org/w/index.php?diff=174317&oldid=114191 5* 03Ais523 5* (-35) 10not BF-equivalent (starting tape is not blank) < 1769407036 678105 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :OK, https://esolangs.org/wiki/Numberfuck works < 1769408335 313112 :int-e!~noone@int-e.eu PRIVMSG #esolangs :`` dc <<<6581840dnP < 1769408337 414910 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :6581840dnP < 1769408539 585858 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(that quine is old but there's a small thematic overlap between it and encoding Brainfuck in octal) > 1769408778 334535 PRIVMSG #esolangs :14[[07User talk:Blashyrkh/Between IJ and SK14]]4 10 02https://esolangs.org/w/index.php?diff=174318&oldid=174310 5* 03Blashyrkh 5* (+1378) 10/* Solution for X x = x (K x) x */ < 1769409141 691290 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :ais523: the UK layout is closer; the old layout used on Commodore 64 and similar machines is even closer < 1769409153 915725 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :b_jonas: yes < 1769409170 515173 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :in a way it's weird that the UK layout is closer, given that the A in ASCII stands for "American" < 1769409219 643752 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :the UK layout also has ¬ and two different vertical bar keys (which are mapped to the same character on my current keyboard, but traditionally were separate characters) < 1769409220 431090 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Did anybody else think about Blashyrkh's question? They wonder whether adding *any* cancellative combinator to the aristocratic system results in the complete system. < 1769409235 164118 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :korvo: I noticed it but didn't put much thought into it < 1769409238 800050 :zzo38!~zzo38@host-24-207-46-238.public.eastlink.ca PRIVMSG #esolangs :Yes, some old computers such as Commodore 64 and Nintendo Famicom work that SHIFT will toggle one bit < 1769409259 248250 :int-e!~noone@int-e.eu PRIVMSG #esolangs :. o O ( Facebook says AI will fix Facebook 3D popularity problem? ) < 1769409271 640042 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :can there be silly degenerate cases like a cancellative combinator that always returns an infinite loop? < 1769409288 21811 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I thought about it for a bit and my position is now "yeah probably true, seems quite hard to prove" < 1769409324 146964 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Heh, maybe? < 1769409333 836393 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :or, well, with closed lambda terms, adding Unlambda's `kv to a non-cancellative basis doesn't seem to help at all < 1769409361 505362 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :but that proof doesn't generalise to "proper" combinators < 1769409367 709118 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(Meanwhile, VRChat still exists. IIUC even Second Life is puttering along...) < 1769409419 430576 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :What I imagined is that, for any cancellative combinator, there's a linear combinator which turns it into an extended-rank stack of K by precomposition. So any time that K is required, we can build K by first permuting, then cancelling, then doing the rest of the combinator. < 1769409440 960734 :int-e!~noone@int-e.eu PRIVMSG #esolangs :UK layout... oh you must be talking about shift-digit, and shift-2 not being " in the US layout in particular? < 1769409481 683780 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :the UK keyboard layout moves a few keys around compared to US, but shift-2 and shift-' swapping is one of the most notable changes < 1769409511 592802 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :The main problem with this reasoning is that it uses the linear system and is too weak. For if this were valid then BCI+K, what the wiki calls BCKI, would be complete; but it's actually the affine system! So this reasoning might work for IJ in particular because of J but it can't go through in general. < 1769409540 375712 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :there are also a few keys where I don't know where they are on a US layout, like \ (is that to the right of left shift, like on a UK layout?) and ~ < 1769409570 182038 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :oh, ~ is shift-` < 1769409585 267646 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :where ¬ is on a UK keyboard < 1769409587 15845 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :...Last sentence got double-negated. I should have said that the reasoning *does* work in general, which is too strong; it should depend on properties of J specifically. < 1769409651 620354 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I am wondering whether UK keyboards were intended to be able to type all of EBCDIC – IIRC it has a ¬ < 1769409778 377746 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :ah, I found a US keyboard layout map in my computer settings < 1769409825 673997 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I didn't realise that US keyboards had a small Return key, like UK keyboards have (but in the US it's to make room for the \| key, not the #~ key) < 1769409953 466628 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :`unidecode •· < 1769409955 152705 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :​[U+2022 BULLET] [U+00B7 MIDDLE DOT] < 1769410038 763693 :int-e!~noone@int-e.eu PRIVMSG #esolangs :It's so funny that we've developed two versions of "small return key". Also annoying. But funny. < 1769410076 709620 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :`unidecode ||| < 1769410078 762859 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :​[U+007C VERTICAL LINE] [U+007C VERTICAL LINE] [U+007C VERTICAL LINE] < 1769410095 793941 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :…why are there *three* ways of typing that < 1769410112 467327 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :`unidecode ¦ < 1769410114 50427 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :​[U+00A6 BROKEN BAR] < 1769410127 285830 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :ooh, this one is here too – just in a weird place (altgr-shift-\) < 1769410246 816164 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :altgr is underrated, having twice as many characters on your keyboard is frequently useful < 1769410257 424049 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :although the actual selection isn't quite as good as it could be < 1769410280 915807 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(it's useful for typing Jelly, which uses 256 different characters but the vast majority of them are typable on this layout) < 1769410392 305887 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :it's weird, the UK layout has an altgr but the standard keycaps only show altgr combinations for ¦ and € (and the latter was only added fairly recently, the layout predates the euro) < 1769410413 994550 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :and ¦ isn't even in the same place as the keycaps indicate < 1769410437 366502 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :€ on altgr-4 has been standard for decades now, though < 1769410483 849606 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :ais523: so traditionally the US 101/104 key keyboard and the UK 102/105 key keyboard differ in two ways: one is that the 102/105 key keyboard has an extra key on the LEFT between left shift and Z, the other is that on the RIGHT the 101 key keyboard has a one-row wider enter and the backslash key is above enter in the QWERTY row, while on 102-key keyboard there's a two-row narrower enter and the < 1769410489 858004 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :backslash key is in the ASDFG row making enter harder to reach. that both layouts exists on the right is causing me a lot of trouble because I often keep hitting enter the wrong way for whatever keyboard I'm using. the 101-key layout is superior IMO, because both left shift and enter are easier to reach. these days you can find mixed keyboards where the left side and right side are from different < 1769410495 865125 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :layouts. < 1769410616 506853 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :well, most of the keyboards I've used were clearly designed so that the only thing you would need to change to change the layout (including 101 vs 102) would be the keys themselves – the sensors and the frame holding them is designed to work in either case < 1769410634 565328 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :in particular there are appropriately-shaped cutouts to make the keys easy to swap < 1769410657 510808 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I assume this is primarily to save on manufacturing costs by allowing most of the components to be shared between keyboards with different layouts < 1769410667 838680 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :you can use most layouts on either 101 or 102 key keyboards, usually there are third layer codes to enter the characters that would be missing otherwise on a 101-key layout < 1769410718 382889 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :having # occupy the space where an American would press their Return key is a bit of a flaw, though – it is very common to typo # at the end of the line because you hit # and Return near-simultaneously rather than hitting Return on its own < 1769410743 208479 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :and it's also somewhat common to typo Return rather than Backspace, placing a key between is helpful for stopping that too < 1769410761 956990 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :OTOH, a standard US layout doesn't even *have* a third level shift (AltGt serves that purpose in the UK) > 1769410798 724140 PRIVMSG #esolangs :14[[07EmojiCoder14]]4 M10 02https://esolangs.org/w/index.php?diff=174319&oldid=153441 5* 03Dragoneater67 5* (-4) 10remove broken link < 1769410821 398938 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :there's also the third possible layout, which is like the 102-key but the enter key is big and occupies the union of the 101 and 102 key layout enter, but the backslash key is small and the backspace key goes to the left half of the backspace key in the 23456 row < 1769410842 338979 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(the keys a UK layout has that a US layout doesn't are AltGr, £, €, ¬ and ¦ ­– € and ¦ require AltGr, the other keys don't) < 1769410847 179834 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :which is great because now your right hand 5th finger gets really confused between the three layouts < 1769410877 831016 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :ugh, I don't like the idea of a smaller backspace, I use it a lot and it's hard enough to hit as it si < 1769410879 690631 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :* is < 1769410938 958553 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :yes. smaller left shift, narrower enter, and smaller backspace are all bad ideas, which is why the traditional 101-key layout is the best, where the backslash key occupies the QWERT row part of the enter key, so you can hit enter easily on the ASDFG row. < 1769410976 422080 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I guess what you want is a 101-key layout but with a third level shift rather than right alt < 1769410980 828494 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :but the problem is, the layout where backslash is on the ASDFG row trains your right hand to hit the enter key in the QEWRT row where it's closer, and if you're used to that then on the good 101-key layout you will hit enter wrong < 1769411006 651800 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :well, that key is #~ on a UK layout, not \| < 1769411032 700349 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I don't think I'm usually hitting return on the QWERT row < 1769411059 663261 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :it's more like between the QWERT row and the ASDFG row < 1769411072 219174 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :would have to stretch to reach that part of the keyboard, my hands are normally in a position where my fingers can't reach that corner (which is part of the reason I have so much trouble hitting backspace) < 1769411083 811757 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :and I press return with my little finger but backspace with my ring finger < 1769411104 902921 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(because the little finger wouldn't reach) < 1769411115 422250 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :OK, I hit the top half of Return that time < 1769411120 594087 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :but given that keyboards differ in properties other than just the layout, I have made some compromises and have keyboards with different layouts < 1769411129 811802 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :probably because I had already moved my hand to be able to reach Backspace < 1769411170 728342 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :so I ended up with one layout at home and the other at work, which left my right hand eternally confused < 1769411238 869097 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :for a while at a past job I was using a French-layout keyboard < 1769411250 291737 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :presumably because it's what the previous employee using that computer was using < 1769411255 452373 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I think I set it to UK layout and just ignored the keycaps < 1769411269 361903 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(but I made sure to pick a password which would be the same in both layouts, just in case) < 1769411309 912469 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(that password is no longer valid, I wouldn't have specified the basis on which it was picked otherwise) < 1769411370 557177 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :I always ignore the keycaps, and I'm always confused by other people who *don't* ignore the keycaps and try to buy notebooks or mobile phones in a way where they care a lot about what's written on the keycaps < 1769411420 872806 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :(what's written on the buttons in the case of a mobile phone) < 1769411457 414705 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :there is just about enough light from the screen to read the keycaps of the keyboard atm < 1769411475 541886 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :but I would be very slow at typing if I tried to use them < 1769411496 442582 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I think my fingers have them all memorised apart from the punctuation on the numeric keypad < 1769411530 572728 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :and the spare vertical bar, I consciously know where that one is but have no reason to know it subconsciously because I can just use the main one < 1769411540 570396 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :yes, I always work in enough light, but that's mostly not because of the keyboard, and even on the keyboard looking at it helps regardless of which layout is written on the keycaps < 1769411618 72506 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I remember a story (possibly an urban legend) about someone who could log in to the computer while sitting down, but not while standing up < 1769411630 193329 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :and it turned out to be because while standing, they looked at the keycaps, and two of the keycaps were wrong < 1769411636 832477 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :that's quite believable < 1769411670 986674 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :I can type some passwords fast more easily than slowly, because I know the finger movement more easily than the characters in those passwords < 1769411696 272590 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :right, that would be the reason for me < 1769411717 562077 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :and standing just makes typing harder in general, unless you're using an adjustable height desk < 1769411731 883314 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :some of my passwords have to be particularly long and complex to reduce the risk of brute-forcing, typing them slowly is incredibly hard but I've muscle-memorized typing them quickly < 1769411751 949496 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :also I have to feel the keyboard under my fingers to type at all, not just passwords but words, otherwise my fingers get very confused and don't know where to press anything < 1769411785 82479 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :when I was a Wikipedia admin, I used a Wikipedia password so complex that I could only successfully type it 1 time in 3 even with the help of muscle memory < 1769411807 288679 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :the clearest demonstration for this was when I tried a keyboard with a rectangular layout, that is, the rows aren't staggered horizontally and Q is right above A: I could barely type on it even though in theory I just have to hit the keys almost the same as on a normal keyboard < 1769411810 204907 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(this was before two-factor auth was introduced for admins) < 1769411839 669220 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :the staggering exists for typewriter purposes, I think, so that the levers don't hit each other < 1769411897 16436 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :that's the traditional explanation, but I don't understand how it works, because it doesn't explain why the QWERT row is moved one quarter key to the left but the ZXCVB row one half key to the right < 1769411924 203269 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :wouldn't that put the 23545 keys straight above the ZXCVB keys so the levers collide? < 1769411946 875631 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :as in, if it was a typewriter < 1769412043 206294 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :left to right it's QA2ZWS3XED4C, etc., on this keyboard < 1769412067 815421 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :although this is a good point, I hadn't previously thought about the digits also needing to be in the sequence < 1769412084 495379 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :looking at the keyboard closely, though, all four rows do seem to be offset relative to each of the others < 1769412094 859691 :int-e!~noone@int-e.eu PRIVMSG #esolangs :b_jonas: no? You have W in the middle of 2 and 3, then S in the middle of W and 3 and Z in the middle of 2 and W. < 1769412098 982453 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(the bottom row doesn't count because space doesn't have a lever) < 1769412134 462879 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :this probably also means that the digits need to be taken into account when thinking about lever jams (i.e. two adjacent levers being hit at the same time, which QWERTY was designed to avoid) < 1769412188 549037 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :int-e: ok, but then wouldn't it have been more convenient to shift each row one quarter key to the right from the row above, with 2 one quarter key to the right of Z, so that the rows are more closely aligned and your fingers can reach the ZXC keys more easily without colliding into the previous finger on the same hnd? < 1769412202 865152 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :ACTION recalls that early typewriters didn't have a 0 or 1 key, you were supposed to use O and I instead < 1769412306 549853 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :so the levers would be ordered like QAZ2WSX3EDC4 instead of QA2ZWS3XED4C < 1769412314 212564 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :now I'm wondering whether the fact that I and O can be interpreted as either "input" and "output" or "1" and "0" is a coincidence that's somehow useful for creating an esolang < 1769412370 969400 :int-e!~noone@int-e.eu PRIVMSG #esolangs :b_jonas: I don't know whether there's a mechanical advantage to having even spacing for pairs of rows. < 1769412395 590532 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I do remember that it's a false-friend mnemonic for standard file descriptors (in that 0 is standard input and 1 is standard output rather than the other way round, which would fit the numbers better) < 1769412457 439810 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :b_jonas: oh, I've figured it out, keys on the Q row and Z row basically can't be hit simultaneously anyway (you would have to put your hand in a weird position) so staggering them next to each other has no downside < 1769412488 87475 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :I wonder maybe when they designed the QWERTY layout then QWERT was supposed to be the home row, not ASDFG, and so the ZXCVB row is moved more to the right so that you're supposed to hit Z with your W finger and X with your E finger < 1769412499 995301 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :the most potentially dangerous combinations are nu and mi and although I *can* hit those simultaneously it is not a natural thing to do < 1769412531 445852 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :there's a story, possibly an urban legend, that QWERTY is designed such that the QWERT row has all the keys for the word "typewriter" which is what vendors would type in a demo < 1769412558 226553 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :it does contain all the letters of "typewriter", the odds of that being a coincidence are fairly low < 1769412574 859440 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :although it may be that someone realised it had most of the letters naturally and tweaked the layout to put the rest in < 1769412659 492822 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :ais523: again the downside is that because ZXC are farther to the right from ASD, when you reach down to Z with your 5th finger while keeping your 4th finger on S then you have to reach farther to the right so your 5th and 4th finger collide more < 1769412674 705979 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :if they did want to put all the letters of "typewriter" on the same row, the home row would seem to be a more natural place (so that it would have eirt which are all very common) < 1769412688 935804 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :maybe the standard typing technique hadn't been invented yet at the time? < 1769412811 777788 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :ais523: yes, that's what I'm saying, that they concieved QWERT as the homerow. and you could say that that's why the AZERT layout tries to improve on it by putting one more vowel into that homerow and move away the less common Q and W from it, but then why would it put the also rare Z there? < 1769412844 502285 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :now I'm trying to remember how common Z is in French < 1769412880 449889 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :it's more common than in English, but even so it's not as common as S which could go there < 1769412928 884499 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :(or N or M) < 1769412989 804696 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :one thing I'm really curious about is the German layout – how did it end up being almost the same as the English layout for the English-alphabetical keys, but with Y and Z swapped? < 1769413048 56212 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :this conversation has made me realise how bad I am at typing QWERTY, the word is not a good fit for my typing style at all < 1769413195 560863 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :Wikipedia has some older versions of the QWERTY layout in the article about it, one of them is similar but swaps A and Z and swaps R and . < 1769413298 289523 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :about Y and Z, what keeps confusing me is that there are three letters that are common in hungarian but rare in english, namely KÁÉ, and two more that are uncommon in hungarian but rare in english, namely ZY, but only one letter that is common in english and rare in hungarian, H, and one that's uncommon in english but rare in hungarian, W, and no letters that are common in english but uncommon in < 1769413304 294803 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :hungarian, so it seems like the total frequency can't work out, hungarian must have more than 100% total frequency of letters intuitively if english has 100% < 1769413421 817075 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :one way to resolve this paradox is that A and E are common in both english and hungarian, but they're like even more common in english than in hungarian, so they are what give up some of that frequency < 1769413437 831453 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :but this seems unintuitive because A and E seem common enough in both languages so this is hard to imagine < 1769413514 81477 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :"the" throws off the statistics a lot < 1769413532 787998 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :it makes t and e super-common and is responsible for a significant part of the frequency of h < 1769413588 174297 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :maybe < 1769413809 619425 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :in the statistics I collected from Google Ngrams, there are around 467 billion tokens, of which around 23½ billion are "the", so it's around 5% of all tokens on its own (and both words and punctuation marks count as tokens here – comma has a similar frequency to "the") < 1769413886 89708 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :"The" with a capital T makes up another 2.7½ billion < 1769414237 693512 :int-e!~noone@int-e.eu PRIVMSG #esolangs :korvo: I assume that you've seen https://esolangs.org/wiki/User_talk:Blashyrkh/Between_IJ_and_SK < 1769414312 469794 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(the question what a combinator is rears its ugly head once again ;-) ) < 1769415546 751644 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :int-e: I think what birds exist is deliberately left open, we just have some axioms and prove some things from it but we don't know the full picture. in particular we don't assume that there aren't birds that can't be built from S and K because they examine other birds structurally rather than only by their effect on other birds, or birds that reliably solve computational problems that Turing-machines < 1769415552 758474 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :can't < 1769415694 74390 :int-e!~noone@int-e.eu PRIVMSG #esolangs :b_jonas: There are at least three variants of what you can consider a "combinator": 1) application of combinator to variables reduces to nested applications of variables. 2) like 1) but you also allow combinators in addition to variables, and 3) combinators abbreviate lambda terms < 1769415857 748700 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Hmm, are 2) and 3) actually different? If the combinators you're allowed to use are combinatorially complete... < 1769415913 683619 :int-e!~noone@int-e.eu PRIVMSG #esolangs :notably, iota doesn't fit into the first category of combinators < 1769416189 876355 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(there's a big formal distinction between 2) and 3) of course; 2) is a first-order rewrite system, whereas 3) relies on embedding stuff into lambda calculus which is not) < 1769416278 958767 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1769416296 985903 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :int-e: so (1) would exclude combinators like \y.(y(\x.x)) ? < 1769416302 330116 :int-e!~noone@int-e.eu PRIVMSG #esolangs :yes < 1769416352 38885 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :so what does the (2) definition mean exactly? it's a recursive definition, do you take the smallest fixed point? < 1769416367 637477 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :and would it allow a combinator where if you apply anything to it it always diverges? < 1769416385 582752 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Ah, my intention was that it's non-recursive when it comes to referring combinators. < 1769416408 574817 :int-e!~noone@int-e.eu PRIVMSG #esolangs :So no Y f = f (Y f) < 1769416418 751365 :int-e!~noone@int-e.eu PRIVMSG #esolangs :But it would cover iota. < 1769416484 726513 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :no, I'm thinking more of \p.((\x.xx)(\x.xx)), because then it diverges even if invoking p would have some side effect < 1769416496 931523 :int-e!~noone@int-e.eu PRIVMSG #esolangs :But you could allow that Y definition. So there are more distinctions to make. < 1769416523 987932 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :like non-local exiting out from your combinator with unlambda c < 1769416556 296836 :int-e!~noone@int-e.eu PRIVMSG #esolangs :b_jonas: I'd have no issue with W x = x x, then M p = W W < 1769416599 576819 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(I'm not using lambda because pretty much the whole point of 2) is to not use lambda calculus) < 1769416727 774509 :int-e!~noone@int-e.eu PRIVMSG #esolangs :One of the questions you'd have to ask is whether you want the set of combinators to be closed under application. < 1769416762 61437 :int-e!~noone@int-e.eu PRIVMSG #esolangs :If you do, you get a very liberal version of 2) (or just go straight to 3) = lambda calculus) < 1769416896 597694 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :int-e: I'm not sure how explicit it is on this, but I think the bird book take is that birds are closed under application, even if an application would diverge in traditional lamdba calculus it gives a bird as result, and I think there's a proof outside that you can make a consistent extension to lambda calculus like that (even while some specific pairs of birds are distinguishable) < 1769416924 824611 :int-e!~noone@int-e.eu PRIVMSG #esolangs :TBH I don't really care about the bird book. < 1769416949 730815 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :the book explicitly says that bird sociologists can always find birds from their name in finite time, but I don't know if it is explicit in that birds always answer in finite time when you invoke them < 1769416988 535631 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :ok, but this is still the problem that you get if you want combinators to be closed under application, unless you make them always terminate with a type system trick < 1769417198 597687 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Sure but you could also just accept that not all terms are combinators. < 1769417243 357352 :int-e!~noone@int-e.eu PRIVMSG #esolangs :. o O ( I didn't make the rules, I just picked the ones I liked. ) < 1769417530 375825 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :ok, the way I read the book it does say that a bird always gives an answer when invoked. < 1769417729 562901 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :in retrospect it has to say that, because that's how it can prove any of the several existence theorems < 1769417739 386733 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :like that all lambda terms exist as a bird < 1769417777 45995 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :but I think it doesn't require that birds give consistent answers, so eg. there could be birds that read mutable global variables, and other birds that write them < 1769417862 203500 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :or maybe they do have to be consistent? I don't know > 1769423838 484403 PRIVMSG #esolangs :14[[07User talk:Blashyrkh/Between IJ and SK14]]4 10 02https://esolangs.org/w/index.php?diff=174320&oldid=174318 5* 03Blashyrkh 5* (+141) 10/* Solution for X x = x (K x) x */ < 1769424769 979137 :APic!apic@apic.name PRIVMSG #esolangs :Hi < 1769430639 295034 :sorear!sid184231@id-184231.uxbridge.irccloud.com PRIVMSG #esolangs :is combinator equality even decidable? < 1769431305 758101 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I suspect it's semidecidable – it seems hard/impossible to prove that two combinators are equal when they are, but you should be able to brute-force find a proof of inequality when they're different < 1769431755 165819 :SGautam!uid286066@id-286066.ilkley.irccloud.com JOIN #esolangs SGautam :Siddharth Gautam > 1769434533 572675 PRIVMSG #esolangs :14[[07Talk:14]]4 10 02https://esolangs.org/w/index.php?diff=174321&oldid=174243 5* 03Yayimhere2(school) 5* (+15) 10add lowercase > 1769434542 605971 PRIVMSG #esolangs :14[[07Talk:14]]4 10 02https://esolangs.org/w/index.php?diff=174322&oldid=174321 5* 03Yayimhere2(school) 5* (-1) 10 < 1769434913 298780 :amby!~ambylastn@host-81-178-158-197.as13285.net JOIN #esolangs * :realname < 1769435210 504514 :ais523!~ais523@user/ais523 QUIT :Quit: quit < 1769436961 61458 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name) > 1769438549 166833 PRIVMSG #esolangs :14[[07Brainfucker14]]4 10 02https://esolangs.org/w/index.php?diff=174323&oldid=169409 5* 03Kaveh Yousefi 5* (+1582) 10Introduced a section elucidating the memory model, improved the command table's formatting, supplemented further example programs, and added a hyperlink to my interpreter implementation, concomitant to the Implemented page category tag. > 1769439346 21655 PRIVMSG #esolangs :14[[07Talk:14]]4 10 02https://esolangs.org/w/index.php?diff=174324&oldid=174322 5* 03Yayimhere2(school) 5* (+164) 10/* turing completeness? */ > 1769443906 145146 PRIVMSG #esolangs :14[[07Category talk:Zero-dimensional14]]4 N10 02https://esolangs.org/w/index.php?oldid=174325 5* 03Yayimhere2(school) 5* (+170) 10Created page with "this doesnt seem well defined, can somebody explain? --~~~~" < 1769445346 687448 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Yeah, it's semi-decidable. Sometimes combinators have different ranks, for example. Invariants allow for decisions. < 1769445481 84652 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :b_jonas: After last time, I hacked up the page [[closed lambda term]] for documenting the difference between combinators and lambda terms. That should clear up (3). < 1769445529 920036 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :When we say "complete" here, we mean that any other object *which exists* is constructible from primitives. SK is complete for combinators which really exist: they have to have rank, they have to generate an applicative tree, they have to cleanly rewrite. < 1769445587 755979 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Bases for closed lambda terms are able to generate any legal closed lambda term. It doesn't imply that the base encodes every Turing machine, for example. < 1769445663 268303 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :int-e: I've been watching, mostly. I need to clean up [[Lazy K]] and [[Crazy J]] at some point. > 1769447419 544739 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Terrapixel 5* 10New user account > 1769447849 520395 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=174326&oldid=174278 5* 03Terrapixel 5* (+189) 10/* Introductions */ < 1769447967 340807 :impomatic!~impomatic@2a00:23c7:5fc6:3201:94f7:257a:d65f:a67b JOIN #esolangs * :[https://web.libera.chat] impomatic < 1769448324 956241 :ClarityMonkey!~ClarityMo@user/ClarityMonkey JOIN #esolangs ClarityMonkey :[https://web.libera.chat] ClarityMonkey < 1769448339 639578 :ClarityMonkey!~ClarityMo@user/ClarityMonkey PART :#esolangs < 1769449112 148479 :SGautam!uid286066@id-286066.ilkley.irccloud.com QUIT :Quit: Connection closed for inactivity < 1769449770 748661 :xelxebar_!~xelxebar@42.203.199.104.bc.googleusercontent.com QUIT :Ping timeout: 245 seconds < 1769449780 951184 :FireFly!~firefly@glowbum/gluehwuermchen/firefly QUIT :Ping timeout: 256 seconds < 1769449793 308009 :xelxebar!~xelxebar@42.203.199.104.bc.googleusercontent.com JOIN #esolangs xelxebar :ZNC - https://znc.in < 1769449807 795999 :ursa-major!114efe6c39@2a03:6000:1812:100::11f3 QUIT :Ping timeout: 264 seconds < 1769449808 65799 :ManDeJan!3da94070ba@user/mandejan QUIT :Ping timeout: 264 seconds < 1769449905 808691 :FireFly!~firefly@glowbum/gluehwuermchen/firefly JOIN #esolangs FireFly :firefly < 1769449979 827771 :ursa-major!114efe6c39@2a03:6000:1812:100::11f3 JOIN #esolangs ursa-major :Bailey Bjornstad < 1769450007 347876 :ManDeJan!3da94070ba@user/mandejan JOIN #esolangs ManDeJan :ManDeJan < 1769450046 255968 :Thelie!~Thelie@2a0a-a543-4fd6-0-1116-f9f7-2193-bfa1.ipv6dyn.netcologne.de JOIN #esolangs Thelie :Thelie < 1769451019 919268 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 QUIT :Remote host closed the connection > 1769451487 627492 PRIVMSG #esolangs :14[[07User:A()/How Big Can We Go?14]]4 N10 02https://esolangs.org/w/index.php?oldid=174327 5* 03A() 5* (+470) 10Created page with "[[User:A()]] created a monster, a monster of brackets. == Syntax == A+1=(A)A 1 = () == Expansion == First, we have two brackets: () Then we expand: (())() And we can keep expanding, forever. Until your computer crashes. We had one pair, then we had a > 1769451664 796283 PRIVMSG #esolangs :14[[07User:A()/How Big Can We Go?14]]4 10 02https://esolangs.org/w/index.php?diff=174328&oldid=174327 5* 03A() 5* (+83) 10Stuff > 1769451778 939952 PRIVMSG #esolangs :14[[07User:A()/How Big Can We Go?14]]4 10 02https://esolangs.org/w/index.php?diff=174329&oldid=174328 5* 03A() 5* (+33) 10More Equations > 1769452368 56834 PRIVMSG #esolangs :14[[07User:Aadenboy14]]4 10 02https://esolangs.org/w/index.php?diff=174330&oldid=174139 5* 03Aadenboy 5* (-17) 10change gradient > 1769452825 871397 PRIVMSG #esolangs :14[[07User:A()/How Big Can We Go?14]]4 10 02https://esolangs.org/w/index.php?diff=174331&oldid=174329 5* 03A() 5* (+370) 10 > 1769453134 513162 PRIVMSG #esolangs :14[[07User:A()/How Big Can We Go?/Large Group of Pairs14]]4 N10 02https://esolangs.org/w/index.php?oldid=174332 5* 03A() 5* (+4131) 10Created page with "Here is a large group of pairs: :''((((((((((())())(())())((())())(())())(((())())(())())((())())(())())((((())())(())())((())())(())())(((())())(())())((())())(())())(((((())())(())())((())())(())())(((())())(())())((())())(())())(( > 1769453229 124870 PRIVMSG #esolangs :14[[07User:A()/How Big Can We Go?14]]4 10 02https://esolangs.org/w/index.php?diff=174333&oldid=174331 5* 03A() 5* (+71) 10 > 1769453268 5564 PRIVMSG #esolangs :14[[07User:A()/How Big Can We Go?14]]4 10 02https://esolangs.org/w/index.php?diff=174334&oldid=174333 5* 03A() 5* (+3) 10 > 1769453335 15048 PRIVMSG #esolangs :14[[07User:A()14]]4 10 02https://esolangs.org/w/index.php?diff=174335&oldid=174033 5* 03A() 5* (+34) 10/* Non-esolang pages */ < 1769454624 273352 :Thelie!~Thelie@2a0a-a543-4fd6-0-1116-f9f7-2193-bfa1.ipv6dyn.netcologne.de QUIT :Ping timeout: 252 seconds < 1769455216 776653 :ais523!~ais523@user/ais523 QUIT :Quit: quit < 1769456433 520092 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1769456478 233713 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :`olist 1339 < 1769456478 937976 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 256 seconds < 1769456481 135880 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :olist : shachaf oerjan Sgeo boily nortti b_jonas Noisytoot < 1769456512 561575 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life > 1769457837 102287 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03LavaSalt402 5* 10New user account > 1769457985 323648 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=174336&oldid=174326 5* 03LavaSalt402 5* (+115) 10I made my first edit > 1769458063 941284 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=174337&oldid=174336 5* 03LavaSalt402 5* (+95) 10I fixed a mistake of mine > 1769458166 476919 PRIVMSG #esolangs :14[[07User:LavaSalt40214]]4 N10 02https://esolangs.org/w/index.php?oldid=174338 5* 03LavaSalt402 5* (+72) 10Created page User:LavaSalt402 > 1769458240 970728 PRIVMSG #esolangs :14[[07User:LavaSalt40214]]4 M10 02https://esolangs.org/w/index.php?diff=174339&oldid=174338 5* 03LavaSalt402 5* (+41) 10 < 1769458959 986051 :mich181189!sid268336@londonhackspace/mich181189 QUIT :Read error: Connection reset by peer < 1769458964 720635 :ProofTechnique_!sid79547@id-79547.ilkley.irccloud.com QUIT :Read error: Connection reset by peer < 1769458967 147515 :jgardner!sid553797@user/meow/jgardner QUIT :Read error: Connection reset by peer < 1769458977 271435 :tetsuo-cpp!sid672509@id-672509.hampstead.irccloud.com QUIT :Read error: Connection reset by peer < 1769458978 665472 :sorear!sid184231@id-184231.uxbridge.irccloud.com QUIT :Read error: Connection reset by peer < 1769459012 879687 :mich181189!sid268336@londonhackspace/mich181189 JOIN #esolangs mich181189 :Michael < 1769459016 887075 :jgardner!sid553797@user/meow/jgardner JOIN #esolangs jgardner :Wryl < 1769459019 66933 :ProofTechnique_!sid79547@id-79547.ilkley.irccloud.com JOIN #esolangs * :ptech < 1769459030 602440 :sorear!sid184231@id-184231.uxbridge.irccloud.com JOIN #esolangs sorear :sorear < 1769459033 673752 :tetsuo-cpp!sid672509@id-672509.hampstead.irccloud.com JOIN #esolangs tetsuo-cpp :tetsuo-cpp < 1769459489 297674 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1769461941 720691 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name) < 1769461947 737336 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :`olist 1339 < 1769461950 148038 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :olist : shachaf oerjan Sgeo boily nortti b_jonas Noisytoot < 1769463651 956931 :ais523!~ais523@user/ais523 QUIT :Quit: quit > 1769464356 384978 PRIVMSG #esolangs :14[[07Category talk:Zero-dimensional14]]4 M10 02https://esolangs.org/w/index.php?diff=174340&oldid=174325 5* 03Ractangle 5* (+182) 10 < 1769464494 439163 :APic!apic@apic.name PRIVMSG #esolangs :Good Night > 1769465634 269298 PRIVMSG #esolangs :14[[07Category talk:Zero-dimensional14]]4 10 02https://esolangs.org/w/index.php?diff=174341&oldid=174340 5* 03Aadenboy 5* (+364) 10 > 1769467023 698697 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Restruct. 5* 10New user account > 1769467257 205977 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=174342&oldid=174337 5* 03Restruct. 5* (+269) 10introduced myself > 1769467565 262912 PRIVMSG #esolangs :14[[07User:A()14]]4 10 02https://esolangs.org/w/index.php?diff=174343&oldid=174335 5* 03A() 5* (+89) 10 < 1769467713 120344 :impomatic!~impomatic@2a00:23c7:5fc6:3201:94f7:257a:d65f:a67b QUIT :Quit: Client closed > 1769468452 788866 PRIVMSG #esolangs :14[[07User:A()14]]4 10 02https://esolangs.org/w/index.php?diff=174344&oldid=174343 5* 03A() 5* (+4) 10/* Stuff about me */