< 1623542525 448238 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Quit: metcalf < 1623542572 569015 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623542797 93677 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Client Quit < 1623542815 388478 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john > 1623544077 669020 PRIVMSG #esoteric :14[[07Godencode14]]4 10 02https://esolangs.org/w/index.php?diff=84400&oldid=84395 5* 03ResU 5* (+17) 10 > 1623545199 926542 PRIVMSG #esoteric :14[[07Coeus14]]4 10 02https://esolangs.org/w/index.php?diff=84401&oldid=78485 5* 03Kaveh Yousefi 5* (+150) 10Added a section Interpreters with a reference to my implementation and changed the category to Implemented. < 1623545225 575799 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Quit: metcalf < 1623545239 41916 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623545796 618419 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Quit: metcalf < 1623545842 155897 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623545872 123300 :spruit11!~quassel@2a02:a467:ccd6:1:a14f:e2ec:e828:d73 JOIN #esoteric * :anon < 1623546125 348026 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Client Quit < 1623546156 123154 :spruit11!~quassel@2a02:a467:ccd6:1:a14f:e2ec:e828:d73 QUIT :Ping timeout: 260 seconds < 1623546172 511309 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623546396 706720 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Client Quit < 1623546444 42992 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john > 1623546970 877869 PRIVMSG #esoteric :14[[07Truth-machine14]]4 10 02https://esolangs.org/w/index.php?diff=84402&oldid=84357 5* 03Plasmath 5* (+2108) 10 < 1623547019 140801 :delta23!~deltaepsi@unaffiliated/deltaepsilon23 JOIN #esoteric deltaepsilon23 :delta23__ > 1623548019 383466 PRIVMSG #esoteric :14[[07User talk:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=84403&oldid=83539 5* 03Plasmath 5* (+400) 10/* Program too long to add into page */ new section > 1623548094 18107 PRIVMSG #esoteric :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=84404&oldid=84385 5* 03Plasmath 5* (+16) 10Added [[Godencode]]. < 1623548710 397091 :spruit11!~quassel@2a02:a467:ccd6:1:e832:95e8:fb15:4682 JOIN #esoteric * :anon > 1623548896 229181 PRIVMSG #esoteric :14[[07Godencode14]]4 10 02https://esolangs.org/w/index.php?diff=84405&oldid=84400 5* 03Plasmath 5* (+87) 10Added an infinite loop. First really simple program. > 1623548923 703702 PRIVMSG #esoteric :14[[07Godencode14]]4 M10 02https://esolangs.org/w/index.php?diff=84406&oldid=84405 5* 03Plasmath 5* (+1) 10Forgot the code formatting. < 1623548977 352382 :spruit11!~quassel@2a02:a467:ccd6:1:e832:95e8:fb15:4682 QUIT :Ping timeout: 245 seconds < 1623549425 416535 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Quit: metcalf < 1623549440 305355 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john > 1623549838 3905 PRIVMSG #esoteric : Why do they use YCoCg rather than YCgCo? < 1623549997 261616 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Quit: metcalf < 1623550042 489646 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john > 1623550217 410338 PRIVMSG #esoteric : (It seem to me that YCgCo is making a better prediction based on the valid range due to the value of the previous channels) > 1623550305 601565 PRIVMSG #esoteric :14[[07User talk:Plasmath14]]4 N10 02https://esolangs.org/w/index.php?oldid=84407 5* 03Ais523 5* (+1030) 10reply > 1623550470 523610 PRIVMSG #esoteric :14[[07User talk:Plasmath14]]4 10 02https://esolangs.org/w/index.php?diff=84408&oldid=84407 5* 03Ais523 5* (+269) 10what about linking to the language page? < 1623551735 120700 :spruit11!~quassel@2a02:a467:ccd6:1:a14f:e2ec:e828:d73 JOIN #esoteric * :anon < 1623552036 127964 :spruit11!~quassel@2a02:a467:ccd6:1:a14f:e2ec:e828:d73 QUIT :Ping timeout: 260 seconds > 1623552070 643206 PRIVMSG #esoteric :14[[07User talk:Plasmath14]]4 10 02https://esolangs.org/w/index.php?diff=84409&oldid=84408 5* 03Plasmath 5* (+124) 10 > 1623552406 860997 PRIVMSG #esoteric :14[[07User talk:Plasmath14]]4 10 02https://esolangs.org/w/index.php?diff=84410&oldid=84409 5* 03Plasmath 5* (+158) 10 < 1623552697 297106 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Quit: metcalf < 1623553905 391103 :spruit11!~quassel@2a02:a467:ccd6:1:a14f:e2ec:e828:d73 JOIN #esoteric spruit11 :anon < 1623554352 354352 :spruit11!~quassel@2a02:a467:ccd6:1:a14f:e2ec:e828:d73 QUIT :Ping timeout: 245 seconds > 1623554661 998478 PRIVMSG #esoteric : zzo38: you mean like how you order the information in jpeg and such formats? how it would work better if you ordered the channels differently? I don't even know what order it has the channels in. I guess you'd have to test whether it yields a better compression, and of course that may depend on the progressive JPEG scheme. you would have to use an encoder that can take the YUV values directly rather > 1623554668 12994 PRIVMSG #esoteric : than RGB though, and I'm not sure what encoder can do that -- I mean ffmpeg can but its jpeg encoder is also terrible and not configurable so it's not a fair test, maybe libjpeg can but I don't know how > 1623554724 776957 PRIVMSG #esoteric : though the YUV space that JPEG uses isn't quite the same as YCoCg apparently > 1623554737 904779 PRIVMSG #esoteric : I'm confused by so many different linear transformations of color spaces < 1623554748 897748 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john > 1623555057 893349 PRIVMSG #esoteric : I guess you'll have to ask the HAM enthusiasts of esolangs < 1623555352 123134 :spruit11!~quassel@2a02:a467:ccd6:1:a14f:e2ec:e828:d73 JOIN #esoteric * :anon < 1623556572 747549 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN #esoteric copumpkin :Gourdmeister > 1623558989 899375 PRIVMSG #esoteric : b_jonas: I don't mean JPEG, since I think JPEG doesn't take advantage of the order of the channels to make predictions and that stuff. But, it seems to me that the valid range of values for Cg can depend on Y, and the valid range of values for Co can depend on Cg and Y once they are known. > 1623559010 983497 PRIVMSG #esoteric : Actually I did make up a picture compression based on this, and it seems to work a bit better than PNG > 1623559047 344476 PRIVMSG #esoteric : (and, unlike PNG, does not require guessing things in order to improve the compression) > 1623561078 442385 PRIVMSG #esoteric : zzo38: oh yeah, it's Huffman compression after that linear transformation on blocks, you' > 1623561113 556966 PRIVMSG #esoteric : re right that it can't take advantage of that kind of thing. I guess I was thinking of PNG, where the deflate step *can* take advantage of correlation between channels > 1623561127 941925 PRIVMSG #esoteric : so JPEG was irrelevant > 1623561271 707188 PRIVMSG #esoteric : I should have known that, because I know how JPEG worked, but I didn't realize. oh well. > 1623561321 528520 PRIVMSG #esoteric : but still, if you think something like flipping the order of chroma channels can help, which I doubt, then you might want to experiment with that on more modern image/video compression formats, ones where it could matter > 1623561339 320263 PRIVMSG #esoteric : I doubt that just flipping two channels would help, but still > 1623561349 454138 PRIVMSG #esoteric : I'm not all that good about image compression > 1623561405 619624 PRIVMSG #esoteric : I had some ideas about them and thought about it enough to realize just how difficult the topic is > 1623561474 982437 PRIVMSG #esoteric : See the piccomp.c file (SHA-1 hash is c4e5438e358e174cde4b25ecd536d52f59beb702) in TeXnicard > 1623561591 664669 PRIVMSG #esoteric : basically I tried to think of how to design a good image compression algorithm, and I didn't find a way to get the properties that I want, anything I try would either be bad at compression or would be impossible to implement efficiently, and I have also experimented with existing video compression libraries and they're just too good > 1623561603 299936 PRIVMSG #esoteric : What properties do you think that you want? > 1623561624 417677 PRIVMSG #esoteric : it shouldn't stop me from thinking of course, but I haven't been able to think of a good enough design yet, so I want to think about it more before I can implement anything > 1623561786 309718 PRIVMSG #esoteric : zzo38: basically the problem is that decoding something variable width like Huffman is hard in a way that takes advantage of the SIMD capabilities of a CPU (or the same of a GPU). you can parallelize decompression and compression by handling individual large chunk of course, and all the other parts, as in color space transforms and DFT or other linear transforms and PNG-like prediction from previous > 1623561792 317968 PRIVMSG #esoteric : value and video compression's testing which neighboring block is the most similar or even estimating the motion delta more efficiently than trying every possible delta, those can be done in SIMD > 1623561820 730693 PRIVMSG #esoteric : but for the variable bit size huffman-like compression in the end (it doesn't necessarily need to be huffman, could be arithmetic coding) you have to iterate through individual values in series > 1623561833 885632 PRIVMSG #esoteric : I think what PNG does compressing the filter types together with the pixel data is a bad idea; it would be better to be separate > 1623561884 703227 PRIVMSG #esoteric : and if you want something that avoids that, better predicting how much to shift the input data or have a fixed width encoding, that is possible, but then you probably have to rearrange the output pixels in an unpredictable order which is even worse, or do some other intersting thing, > 1623561895 893668 PRIVMSG #esoteric : and I think it's probably possible to avoid this trap, but I couldn't yet think of a good way, > 1623561915 980337 PRIVMSG #esoteric : so I should read up if any existing algorithm does that and still manage to do not terrible compression < 1623561954 223344 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Quit: metcalf > 1623561965 338252 PRIVMSG #esoteric : and also think about how it could be done > 1623561996 561045 PRIVMSG #esoteric : because that's what I'd like to see form an algorithm, at least for *decompression*, it could be slower for compression perhaps, though it's also worth to have other compression methods that are also fast to encode > 1623562196 188602 PRIVMSG #esoteric : there is some balance between slower compression as a price for slightly smaller encoded form while keeping the same quality and decompression time, and a more important tradeoff of slower compression and decompression and much larger encoded size for better quality, and good image/video encodings already offer both tradeoffs as a somewhat tunable parameter > 1623562245 176748 PRIVMSG #esoteric : though there is something odd here now that I think of it > 1623562245 711699 PRIVMSG #esoteric : wait > 1623562292 781494 PRIVMSG #esoteric : hmm no, nothing < 1623564861 678950 :xelxebar_!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Ping timeout: 240 seconds > 1623564950 288356 PRIVMSG #esoteric :14[[07Column14]]4 M10 02https://esolangs.org/w/index.php?diff=84411&oldid=84366 5* 03Dominicentek 5* (-2) 10/* Truth Machine */ < 1623565198 743345 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN #esoteric xelxebar :ZNC - https://znc.in < 1623566253 678686 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Ping timeout: 240 seconds < 1623566279 739605 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN #esoteric xelxebar :ZNC - https://znc.in < 1623568822 745690 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623569062 996850 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Client Quit < 1623569078 192098 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623569221 126748 :spruit11!~quassel@2a02:a467:ccd6:1:a14f:e2ec:e828:d73 QUIT :Ping timeout: 260 seconds < 1623570417 828125 :metcalf_!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623570549 139892 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Ping timeout: 272 seconds < 1623570549 309983 :metcalf_!~metcalf@host86-162-128-62.range86-162.btcentralplus.com NICK :metcalf > 1623573038 422134 PRIVMSG #esoteric :14[[07Column14]]4 M10 02https://esolangs.org/w/index.php?diff=84412&oldid=84411 5* 03Dominicentek 5* (+12) 10/* Truth Machine */ < 1623574963 166242 :LKoen!~LKoen@132.161.9.109.rev.sfr.net JOIN #esoteric LKoen :LKoen > 1623575134 665324 PRIVMSG #esoteric :14[[07Column14]]4 M10 02https://esolangs.org/w/index.php?diff=84413&oldid=84412 5* 03Dominicentek 5* (+17) 10/* Fizz Buzz */ < 1623575473 161392 :spruit11!~quassel@2a02:a467:ccd6:1:a14f:e2ec:e828:d73 JOIN #esoteric spruit11 :anon > 1623576644 721004 PRIVMSG #esoteric : I don't get it > 1623576690 563073 PRIVMSG #esoteric : this is function k7*x**7+k6*x**6+k5*x**5+k4*x**4+k3*x**3+k2*x**2+k1*x+k0 and this should be its derivative, right? k7*x**6+k6*x**5+k5*x**4+k4*x**3+k3*x**2+k2*x+k1 > 1623576785 444904 PRIVMSG #esoteric : but the bottom line doesn't look like derivative of upper one https://i.imgur.com/Pljjzyq.png > 1623576804 898231 PRIVMSG #esoteric : it doesn't get above 0 in the middle > 1623576850 784648 PRIVMSG #esoteric : k0..k7 = [86.37483858758613, -4.3258409149187855, 0.13119312931328275, -0.0022258811427750126, 2.156489053721058e-05, -1.1221319014114155e-07, 2.8163872939164175e-10, -2.530165279150212e-13] < 1623576963 811385 :esowiki!~esowiki@unaffiliated/fizzie/bot/esowiki QUIT :Ping timeout: 265 seconds > 1623576971 102721 PRIVMSG #esoteric : oh no, forgot to multiply by 7, 6, ... < 1623577003 341620 :esowiki1!~esowiki@techne.zem.fi JOIN #esoteric * :esowiki < 1623577016 660331 :sdhand!~sam@runciman.hacksoc.org NICK :Guest97824 < 1623577333 402885 :user3456!user3456@gateway/shell/insomnia247/x-osycyzjqnmszuapn QUIT :*.net *.split < 1623577334 581870 :none30!none30matr@gateway/shell/matrix.org/x-xfwrvospomkgioju QUIT :*.net *.split < 1623577334 936978 :sdhandsucks!~sam@2001:41c8:51:10d:aaaa:0:aaaa:0 QUIT :*.net *.split < 1623577335 47745 :esowiki!~esowiki@unaffiliated/fizzie/bot/esowiki QUIT :*.net *.split < 1623577357 690036 :esowiki1!~esowiki@techne.zem.fi NICK :esowiki < 1623577462 617430 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Quit: metcalf < 1623577477 579143 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623577822 566101 :none30!none30matr@gateway/shell/matrix.org/x-rympjwekethlyxau JOIN #esoteric * :org.matrix:none30 > 1623578711 771287 PRIVMSG #esoteric : b_jonas I've got another example https://i.imgur.com/BlsjZrI.png -- problem here is that they use several different captcha generators and this one doesn't rotate but skews the letters > 1623579122 121002 PRIVMSG #esoteric : nakilon: yeah, that can help with the captchas > 1623579158 365803 PRIVMSG #esoteric : uhm, the derivative of k7*x^7 isn't k7*x^6 but 7*k7^6 > 1623579188 352629 PRIVMSG #esoteric : same issue with each other part of the sum except the last because x^1 will get a factor of 1 > 1623579214 494162 PRIVMSG #esoteric : also, bit surprise, captchas are made to be hard to read > 1623579334 180130 PRIVMSG #esoteric :14[[07Special:Log/move14]]4 move10 02 5* 03Ultlang 5* 10moved [[02Delta Salein Ao10]] to [[Delta Salein ]]: the actual name > 1623579352 49104 PRIVMSG #esoteric : this one is skewed too, not rotated https://i.imgur.com/dVMMdkT.png > 1623579382 336113 PRIVMSG #esoteric :14[[07Delta Salein 14]]4 M10 02https://esolangs.org/w/index.php?diff=84416&oldid=84414 5* 03Ultlang 5* (+5) 10 > 1623579450 168793 PRIVMSG #esoteric : gotta somehow differentiate them to switch the way of chosing the closest line dot -- using "min x1-x2" instead of "min hypot x1-x2, y1-y2" > 1623579526 503858 PRIVMSG #esoteric : or just try both ways until I see which one makes better results on the OCR stage > 1623580525 113821 PRIVMSG #esoteric :14[[07What's the dog doin?14]]4 10 02https://esolangs.org/w/index.php?diff=84417&oldid=84389 5* 03GreenThePear 5* (+827) 10Revamped the commands, all [x] input will be used as an index + fixing some mistakes > 1623583104 258607 PRIVMSG #esoteric : myname: yes, and nakilon corrected himself about the derivatives a few lines later, and this time I wasn't hasty enough to reply before reading that > 1623583362 508490 PRIVMSG #esoteric :14[[07Column14]]4 10 02https://esolangs.org/w/index.php?diff=84418&oldid=84413 5* 03Dominicentek 5* (+137) 10 > 1623583746 174412 PRIVMSG #esoteric :14[[07NumberPankackes14]]4 N10 02https://esolangs.org/w/index.php?oldid=84419 5* 03TinyGuy32 5* (+1110) 10Created page with "==NumberPankackes== NumberPankackes is a stack-based esoteric programing language what a stck is: https://esolangs.org/wiki/Stack ==Commands== 1X: pushes X to the st..." > 1623583784 817511 PRIVMSG #esoteric :14[[07User:TinyGuy3214]]4 10 02https://esolangs.org/w/index.php?diff=84420&oldid=84394 5* 03TinyGuy32 5* (-829) 10Blanked the page > 1623583808 681651 PRIVMSG #esoteric : is there a tool that lets me easily cut a picture from an image out/remove background > 1623583817 547652 PRIVMSG #esoteric : GIMPs 'intelligent scissors' aren't that great for it > 1623583848 290006 PRIVMSG #esoteric : I feel like with modern stuff.. it should be possible to just draw a rough outline and get a perfect cutout > 1623584094 667081 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=84421&oldid=84404 5* 03TinyGuy32 5* (+44) 10 > 1623584350 149364 PRIVMSG #esoteric :14[[07NumberPankackes14]]4 10 02https://esolangs.org/w/index.php?diff=84422&oldid=84419 5* 03TinyGuy32 5* (+2) 10 > 1623584363 31750 PRIVMSG #esoteric : riv: it really depends on the image, but try ones that require both a positive and negative sample, that is, points marked strictly inside and strictly outside the object, rather then a rough outline. try (1) GIMP's new foreground select tool, and (2) the GMIC QT gimp plugin's colorizer tools, which are intended to color black and white photos and black and white line art respectively (that's two > 1623584369 145777 PRIVMSG #esoteric : separate tools) based on another image with sample points of color in the objects, but you can ask them for the masks of which colors go exactly where and use that to get a selection mask that you use for something other than selecting an object > 1623584387 397023 PRIVMSG #esoteric : they aren't perfect, but I think they work better than GIMP intelligent scissors > 1623584419 459248 PRIVMSG #esoteric : http://gmic.eu/ to download the G'MIC QT Gimp plugin on windows; install from distro on debian > 1623584449 132854 PRIVMSG #esoteric : note that Gimp has a decent ABI so the same plugin compiled once can be reused for different minor versions of GIMP > 1623584516 709130 PRIVMSG #esoteric : which means you can install G'MIC QT from debian and it will work for a newer version of Gimp that you install from source, as I learned > 1623584541 418512 PRIVMSG #esoteric : that was back when Gimp 2 wasn't yet in debian and I really really wanted Gimp 2 so I installed from source > 1623584553 170037 PRIVMSG #esoteric : now Gimp 2 is in debian stable, and I love that < 1623585725 835997 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Quit: metcalf > 1623586087 844266 PRIVMSG #esoteric : now the correctness is limited by how well I apply dilations to make skeletonization go well https://i.imgur.com/ckuQeDp.png > 1623586151 333227 PRIVMSG #esoteric : riv there was online service > 1623586154 978998 PRIVMSG #esoteric : nakilon: yes, and that part is hard > 1623586182 60002 PRIVMSG #esoteric : this or maybe it's a clone https://www.remove.bg/ru > 1623586462 53478 PRIVMSG #esoteric : https://i.imgur.com/Ux0aQTH.png > 1623586512 430117 PRIVMSG #esoteric : thanks > 1623586578 182495 PRIVMSG #esoteric : I actually could apply the whole process twice but pixels are rotting < 1623586603 783815 :LKoen!~LKoen@132.161.9.109.rev.sfr.net PRIVMSG #esoteric :are you trying to teach bot to cheat at captchas? > 1623586641 728506 PRIVMSG #esoteric : yeah, script that would send me new vacancies from local job search site < 1623586664 685188 :LKoen!~LKoen@132.161.9.109.rev.sfr.net PRIVMSG #esoteric :note that there was a fun trick at some point where captchas consisted in two words; the first word was meant to tell whether the user was human or not; the second word was much easier to decipher and actually came from scanned books < 1623586686 948663 :LKoen!~LKoen@132.161.9.109.rev.sfr.net PRIVMSG #esoteric :and in two months they had digitalized an entire library without optical recognition software > 1623586704 435242 PRIVMSG #esoteric : yeah I guess that was recaptcha > 1623586723 190130 PRIVMSG #esoteric : now they are teaching self-driving cars > 1623586909 478751 PRIVMSG #esoteric : nakilon: and Google Maps to read house numbers from blurred photos, surely you noticed those captchas > 1623586960 722915 PRIVMSG #esoteric : blurred or just photos taken from the distance by self-driven cars to teach them navigate? < 1623587010 54867 :LKoen!~LKoen@132.161.9.109.rev.sfr.net PRIVMSG #esoteric :I don't remember house numbers > 1623587070 745681 PRIVMSG #esoteric : nakilon: not deliberately blurred, just taken from a distance either by the same cars that Google Maps uses to make street view, or more likely by the airplane cameras that they used to make the incredibly high resolution "satellite view" from five different camera directions that isn't actually from satellites > 1623587102 111518 PRIVMSG #esoteric : didn't know about airplanes > 1623587114 25769 PRIVMSG #esoteric : as in, satellite view _is_ from satellites in most areas of the map, but in those places it's also low resolution and only has one camera direction > 1623587139 869283 PRIVMSG #esoteric : so in more populated places that most people view on the map, they used airplane cameras, which can give much higher quality > 1623587146 432019 PRIVMSG #esoteric : that would explain how they made all the trees and buildings 3d in there > 1623587151 71718 PRIVMSG #esoteric : just because they're closer > 1623587193 894319 PRIVMSG #esoteric : nakilon: well that's only part of it, part of the 3D buildings are modeled from their street view photos and from random location-tagged photos from the internet corellated by really clever software, the same way as we model 3d objects from 2d photos except they do it better > 1623587247 994151 PRIVMSG #esoteric : and of course some of this is just speculation because they don't tell all the details about how they got every image, they only tell when that was a requirement to buy a license of pictures that other people made not specifically for them > 1623588034 832015 PRIVMSG #esoteric :14[[07NumberPankackes14]]4 M10 02https://esolangs.org/w/index.php?diff=84423&oldid=84422 5* 03PythonshellDebugwindow 5* (-45) 10Link to page directly > 1623588070 492384 PRIVMSG #esoteric :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=84424&oldid=84421 5* 03PythonshellDebugwindow 5* (-22) 10/* Non-alphabetic */ Remove duplicate > 1623588139 790246 PRIVMSG #esoteric : at first they were croudsourcing > 1623588158 829817 PRIVMSG #esoteric : it was called Warehouse 3d and people could make models of things in Sketchup > 1623588174 67570 PRIVMSG #esoteric : Sketchup was freeware and a great fun > 1623588242 156591 PRIVMSG #esoteric :14[[07What Mains Numbers?14]]4 M10 02https://esolangs.org/w/index.php?diff=84425&oldid=64983 5* 03PythonshellDebugwindow 5* (+35) 10/* Implementations */ Cat > 1623588248 497854 PRIVMSG #esoteric : so I made models for 2-3 buildings in my town, uploaded and they were in Google Earth since then; but now I can't even find them on their website, idk > 1623588281 664706 PRIVMSG #esoteric : you could create collections and become moderator of them, similar to how people build wikipedia > 1623588321 133504 PRIVMSG #esoteric :14[[07User:Soundandfury/ECLAIR14]]4 M10 02https://esolangs.org/w/index.php?diff=84426&oldid=33340 5* 03PythonshellDebugwindow 5* (+13) 10/* Implementation */ Deadlink < 1623589410 830759 :LKoen_!~LKoen@132.161.9.109.rev.sfr.net JOIN #esoteric * :LKoen < 1623589567 206538 :LKoen!~LKoen@132.161.9.109.rev.sfr.net QUIT :Ping timeout: 260 seconds > 1623590332 886066 PRIVMSG #esoteric :14[[07Column14]]4 M10 02https://esolangs.org/w/index.php?diff=84427&oldid=84418 5* 03Dominicentek 5* (-42) 10/* Interpreter */ < 1623590334 72869 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john > 1623590357 889845 PRIVMSG #esoteric :14[[07FolderCode14]]4 M10 02https://esolangs.org/w/index.php?diff=84428&oldid=84361 5* 03Dominicentek 5* (-41) 10/* Development Kit */ > 1623590450 991559 PRIVMSG #esoteric :14[[07User:Plasmath14]]4 10 02https://esolangs.org/w/index.php?diff=84429&oldid=84393 5* 03Plasmath 5* (-66) 10Added [[Godencode]]. > 1623590990 425683 PRIVMSG #esoteric :14[[07Hello world program in esoteric languages14]]4 M10 02https://esolangs.org/w/index.php?diff=84430&oldid=83967 5* 03Plasmath 5* (+20) 10I'm trying to add Godencode, but it hasn't been letting me. Making it a 2-step process might work? > 1623591338 346736 PRIVMSG #esoteric :14[[07Hello world program in esoteric languages14]]4 10 02https://esolangs.org/w/index.php?diff=84431&oldid=84430 5* 03Plasmath 5* (+47) 10 < 1623591570 546154 :contrapumpkin!~copumpkin@unaffiliated/copumpkin JOIN #esoteric copumpkin :Gourdmeister < 1623591696 785389 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 240 seconds > 1623593025 243841 PRIVMSG #esoteric :14[[07Cheese14]]4 M10 02https://esolangs.org/w/index.php?diff=84432&oldid=83055 5* 03Sanscicondos 5* (+49) 10 > 1623593049 570903 PRIVMSG #esoteric :14[[07Cheese14]]4 10 02https://esolangs.org/w/index.php?diff=84433&oldid=84432 5* 03Sanscicondos 5* (+13) 10Added Version 1.3.5 to Github < 1623594371 447326 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Quit: metcalf < 1623594385 448038 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623594642 464286 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Client Quit < 1623594656 421687 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623594971 252229 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Quit: metcalf < 1623594986 406230 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623595242 576540 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Client Quit < 1623595259 162368 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john > 1623595732 148117 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Kermek 5* 10New user account > 1623596102 280810 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=84434&oldid=84388 5* 03Kermek 5* (+407) 10 > 1623596153 767576 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=84435&oldid=84434 5* 03Kermek 5* (-76) 10 > 1623596182 375404 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=84436&oldid=84435 5* 03Kermek 5* (-6) 10 < 1623596984 575493 :LKoen_!~LKoen@132.161.9.109.rev.sfr.net QUIT :Remote host closed the connection < 1623597346 224042 :LKoen!~LKoen@132.161.9.109.rev.sfr.net JOIN #esoteric LKoen :LKoen < 1623598311 315559 :LKoen!~LKoen@132.161.9.109.rev.sfr.net QUIT :Remote host closed the connection < 1623598329 169590 :LKoen!~LKoen@132.161.9.109.rev.sfr.net JOIN #esoteric * :LKoen < 1623598358 812589 :LKoen!~LKoen@132.161.9.109.rev.sfr.net QUIT :Remote host closed the connection > 1623599370 456266 PRIVMSG #esoteric : made the second pass https://i.imgur.com/Jq2LUCj.png > 1623599941 520523 PRIVMSG #esoteric :14[[07Dick14]]4 M10 02https://esolangs.org/w/index.php?diff=84437&oldid=79507 5* 03Cybertelx 5* (+15) 10Added LongDick language < 1623600671 288728 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Quit: metcalf < 1623600689 175873 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john > 1623600807 471189 PRIVMSG #esoteric :14[[07LongDick14]]4 M10 02https://esolangs.org/w/index.php?diff=84438&oldid=83816 5* 03Cybertelx 5* (+19) 10link me < 1623600942 884734 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Client Quit < 1623600959 165850 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john > 1623601992 829074 PRIVMSG #esoteric :14[[07VBF14]]4 N10 02https://esolangs.org/w/index.php?oldid=84439 5* 03VilgotanL 5* (+2464) 10created the page > 1623602060 878032 PRIVMSG #esoteric :14[[07VBF14]]4 M10 02https://esolangs.org/w/index.php?diff=84440&oldid=84439 5* 03VilgotanL 5* (+15) 10add "and transpiler" to implementation link > 1623602416 884283 PRIVMSG #esoteric :14[[07For The Worthy14]]4 N10 02https://esolangs.org/w/index.php?oldid=84441 5* 03Kermek 5* (+5730) 10Created page with "'''For The Worthy''' is an esolang witch only interprets the '1' and '0' characters, thus enabling programmers to reach their final hackerman form. ==Language Overview== ===In..." < 1623602459 950248 :orbitaldecay72!cff466cb@207.244.102.203 JOIN #esoteric * :https://webchat.freenode.net < 1623602519 753252 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :Greetings all. I have a quick question. Is the sort of completeness that Godel talks about equivalent to TC under the Curry-Howard correspondence? > 1623602662 899058 PRIVMSG #esoteric :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=84442&oldid=84424 5* 03Kermek 5* (+21) 10 < 1623602702 98337 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :And, if so, is it fair to say that one way to describe the split between computer science and mathematics is in how each field responds to Godel's incompleteness theorem? i.e. mathematicians err on the side of consistency while computer scientists err on the side of completeness? < 1623602771 269405 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Quit: metcalf < 1623602785 429955 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john > 1623602951 980396 PRIVMSG #esoteric : Godels completeness theorem states that in a first order logic, if a formula is true in all models it is provable > 1623603005 432539 PRIVMSG #esoteric : Godels incompleteness theorem states that arithmetic (and extensions) contain statements that are neither provable or disprovable < 1623603042 710216 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Client Quit < 1623603058 481280 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john > 1623603097 680104 PRIVMSG #esoteric : the halting problem gives an explicit example of a problem that cannot be solved by a turing machine > 1623603113 787270 PRIVMSG #esoteric :14[[07User:VilgotanL14]]4 M10 02https://esolangs.org/w/index.php?diff=84443&oldid=83804 5* 03VilgotanL 5* (+10) 10add vbf to language list < 1623603134 617947 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :Right, and under the Curry-Howard correspondence, a type system is in some sense equivalent to a Hilbert style deductive system in logic. If a no non-normalizing expression is well typed, then the corresponding logic is consistent, right? > 1623603167 128488 PRIVMSG #esoteric : Curry-Howard correspondence equates proofs and programs < 1623603205 849571 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :Yes, and formulas as type definitions, among other things, right? > 1623603214 83015 PRIVMSG #esoteric : generally consistency of a typed lambda calculus based logic is proven by showing (A) strong normalization (B) False does not have a normal form - this implies consistency as inconsistency would let you prove False > 1623603235 289983 PRIVMSG #esoteric : orbitaldecay72: If you want the short answer, then yes, by Lawvere's fixed-point theorem: http://tac.mta.ca/tac/reprints/articles/15/tr15.pdf < 1623603266 512204 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :Yeah, looking for the short answer to test my intuition. Thanks for the link. < 1623603269 847383 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :Appreciate you both. > 1623603270 635382 PRIVMSG #esoteric : This is a very abstract category-theoretic statement. It can be specialized to get Gödel's Incompleteness, and also to get Turing's Halting. < 1623603303 210917 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :Looks like I need to learn category theory :) > 1623603346 91622 PRIVMSG #esoteric : The completeness that Godel talks about is not the same as turing completeness > 1623603364 887723 PRIVMSG #esoteric : the fact that there are problems a turing machine can't solve is a type of incompleteness < 1623603371 391773 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Quit: metcalf > 1623603383 820913 PRIVMSG #esoteric : I think that there were many different reactions to our discovery of computability theory. I don't think it's reasonable to cleave computer science from maths; computer science is the study of algorithms and data structures, which is a special case of studying abstraca. < 1623603385 456843 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john > 1623603388 143236 PRIVMSG #esoteric : turing completeness <- may be better referred to as turing equivalence > 1623603437 932589 PRIVMSG #esoteric : Oh, I misread the original question, sorry. > 1623603474 4939 PRIVMSG #esoteric : Gödel's Completeness is quite different from Gödel's Incompleteness! I don't know how the former relates to Turing's work, sorry. < 1623603493 114268 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :Okay, so in the Curry-Howard sense the halting problem corresponds to some theorem that can neither be proven nor disproven? < 1623603496 981102 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :Np, thanks Corbin < 1623603539 255708 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :Sorry for my vagueness < 1623603546 439905 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :Still learning > 1623603546 743073 PRIVMSG #esoteric : https://www.andrew.cmu.edu/user/avigad/Teaching/halting.pdf there is a direct proof here of godels first incompleteness theorem using the halting problem as the key element, rather than godels original proof which used a self referential formula as the key element < 1623603565 335002 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :riv: beautiful, this is exactly what I was looking for < 1623603566 458171 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :thanks < 1623603567 168848 :spruit11!~quassel@2a02:a467:ccd6:1:a14f:e2ec:e828:d73 QUIT :Ping timeout: 260 seconds > 1623603572 862374 PRIVMSG #esoteric : > in the Curry-Howard sense the halting problem corresponds to some theorem that can neither be proven nor disproven? > 1623603574 439923 PRIVMSG #esoteric : :1:1: error: parse error on input ‘in’ > 1623603585 187949 PRIVMSG #esoteric :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=84444&oldid=84442 5* 03VilgotanL 5* (+67) 10add my newest 5 languages > 1623603589 870426 PRIVMSG #esoteric : no, turing machines aren't a typed lambda calculi - so you cannot apply Curry-Howard here < 1623603637 827159 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :yeah, I get that, but typed lambda calculi are of course in some sense equivalent to turing machines, just wondering if it makes sense theoretically < 1623603642 505916 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Client Quit > 1623603654 749975 PRIVMSG #esoteric : a typed lambda calculus must not be turing equivalent < 1623603656 390642 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623603657 62705 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :or rather, lambda calculi in general are in some sense equivalent to turing machines < 1623603659 252928 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :yeah > 1623603670 353040 PRIVMSG #esoteric : the strong normalization condition says that every algorithm terminates in a finite number of steps < 1623603671 287963 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :I understand that simply typed lambda calculus is not tc < 1623603679 411459 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :right > 1623603683 9159 PRIVMSG #esoteric : neither is dependently typed, like Coq for example > 1623603697 602644 PRIVMSG #esoteric : this is what enables a consistency proof to be done > 1623603702 680084 PRIVMSG #esoteric : riv: Note that Curry-Howard-Lambek still applies, and typed lambda calculi each give a Cartesian closed category for a model, where we can try to apply Lawvere's fixed-point theorem. < 1623603761 209949 :LKoen!~LKoen@132.161.9.109.rev.sfr.net JOIN #esoteric * :LKoen > 1623603763 583067 PRIVMSG #esoteric : But yeah, generally when it *does* apply, there's enough data for a Turing category, where there's an object representing all of the untyped terms. < 1623603799 175457 :spruit11!~quassel@2a02:a467:ccd6:1:a14f:e2ec:e828:d73 JOIN #esoteric * :anon > 1623603811 685821 PRIVMSG #esoteric : the untyped lambda calculus is turing equivalent, but it doesn't have types that you can interpret as logical formulae - so no Curry-Howard bridge there > 1623603815 811532 PRIVMSG #esoteric : There's nice tables at https://ncatlab.org/nlab/show/computational+trilogy which are recently redone and looking nice. < 1623603897 214279 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :Okay, so, another related question, when Godel talks about incompleteness, is this in some sense equivalent to sub tc? Re: what Corbin was mentioning. > 1623603927 569917 PRIVMSG #esoteric : Turing showed that there's a computer program which, if given a program that could solve Halting, creates a contradiction. < 1623603994 668671 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :That is my understanding of how the halting problem is proven to be uncomputable > 1623603997 386688 PRIVMSG #esoteric : Let "Truth" be the question of whether a formula in arithmetic is true. Gödel showed that there's a proof which, if given a proof that could solve Truth, creates a contradiction. > 1623604029 354081 PRIVMSG #esoteric : (Technically Tarski showed this, and similarly we can't mention Turing without the far-more-useful Rice's Theorem; there's too many people to remember~) < 1623604050 475376 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :Of course, we all stand on the shoulders of history :) > 1623604130 296796 PRIVMSG #esoteric : What is the connection between Tarski's undefinability of truth and Godels incompleteness? > 1623604150 228862 PRIVMSG #esoteric : > The undefinability theorem is conventionally attributed to Alfred Tarski. Gödel also discovered the undefinability theorem in 1930, while proving his incompleteness theorems published in 1931, and well before the 1933 publication of Tarski's work > 1623604151 968965 PRIVMSG #esoteric : :1:124: error: parse error on input ‘in’ > 1623604153 790786 PRIVMSG #esoteric : oh that is funny I didn't know that > 1623604326 139472 PRIVMSG #esoteric : it doesn't seem to imply godels incompleteness > 1623604530 473088 PRIVMSG #esoteric : BTW, https://www.logicmatters.net/resources/pdfs/godelbook/GodelBookLM.pdf is quite good, for anybody wanting to understand all that Gödelian stuff. I had to take it slow, because the details are extremely nuanced. > 1623604695 240681 PRIVMSG #esoteric : If you just want to see how category theorists might apply Lawvere's work to simplify thinking about all of this, then https://arxiv.org/pdf/math/0305282.pdf is so good. > 1623605357 200032 PRIVMSG #esoteric :14[[07What's the dog doin?14]]4 10 02https://esolangs.org/w/index.php?diff=84445&oldid=84417 5* 03GreenThePear 5* (+47) 10Clarifications and fixes about the number system, plus other polishing > 1623605495 937205 PRIVMSG #esoteric : https://arxiv.org/pdf/math/0305282.pdf <- this is really cool! > 1623605726 430812 PRIVMSG #esoteric :14[[07Godencode14]]4 M10 02https://esolangs.org/w/index.php?diff=84446&oldid=84406 5* 03Plasmath 5* (+124) 10Forgot one small part of if command. > 1623605781 760091 PRIVMSG #esoteric : The Lob's Paradox one is a bit jarring < 1623605823 544752 :LKoen!~LKoen@132.161.9.109.rev.sfr.net QUIT :Remote host closed the connection < 1623605866 196764 :spruit11!~quassel@2a02:a467:ccd6:1:a14f:e2ec:e828:d73 QUIT :Ping timeout: 260 seconds < 1623606671 386088 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Quit: metcalf < 1623606684 164156 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john > 1623606933 875160 PRIVMSG #esoteric :14[[07Godencode14]]4 M10 02https://esolangs.org/w/index.php?diff=84447&oldid=84446 5* 03Plasmath 5* (-3) 10Made another mistake in the description. < 1623606942 710891 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Client Quit < 1623606956 199748 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623607271 283243 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Quit: metcalf < 1623607285 432074 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623607478 190331 :spruit11!~quassel@2a02:a467:ccd6:1:a14f:e2ec:e828:d73 JOIN #esoteric * :anon > 1623607516 849926 PRIVMSG #esoteric :14[[07Godencode14]]4 M10 02https://esolangs.org/w/index.php?diff=84448&oldid=84447 5* 03Plasmath 5* (+16) 10I think I finally worded this in a good way. < 1623607542 484115 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Client Quit < 1623607559 248082 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623607892 627877 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :Corbin: I'm thinking more about my comments on the distinction between computer science and mathematics. Most of my experience is as a software engineer. My education is in math, but I don't know a lot about proof theory. The thing I noticed is that, AFAIK, a program which does not halt corresponds to a proof of a contradiction in mathematics by < 1623607893 126593 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :Curry-Howard. In programming, we use languages that permit infinite loops, but in mathematics we don't use axiom systems that allow proving contradictions. < 1623607922 611632 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :On the surface, this makes sense because in classical logic if we permit a contradiction as a theorem, then everything entails. But in paraconsistent logics this is not true. < 1623607943 100440 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :As paraconsistent logics explicitly reject the principle of explosion. < 1623608012 814887 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :So, why don't mathematicians use paraconsistent logics to permit a small class of contradictions as theorems but software engineers use languages that permit infinite loops? > 1623608029 889174 PRIVMSG #esoteric :14[[07Godencode14]]4 10 02https://esolangs.org/w/index.php?diff=84449&oldid=84448 5* 03Plasmath 5* (+31) 10Forgot yet another thing about this command. This is it though. I've made sure. < 1623608029 975032 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :Does this make sense, or am I way off? < 1623608183 814467 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :I recognize that what I'm proposing is a totally reformulation of how math is done, but just wondering in the spirit of intellectual inquiry > 1623608249 469810 PRIVMSG #esoteric : Sure, and the philosophy of why logic is even a good idea is historically important. Frege and Quine had strong but inscrutable opinions on this sort of thing. > 1623608334 706147 PRIVMSG #esoteric : forbidding infinite loops would need you to solve the halting problem, doesn't it? > 1623608335 218081 PRIVMSG #esoteric :14[[07Meta Memes14]]4 M10 02https://esolangs.org/w/index.php?diff=84450&oldid=72253 5* 03Caenbe 5* (+9) 10Stubbify < 1623608342 887959 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :Okay, glad I'm making sense. I recently learned about paraconsistent logics and dialetheism and immediately sensed a correlation between what those philosophies are advocating and what I do as a software engineer. > 1623608345 420395 PRIVMSG #esoteric : doesn't sound like an easy task for me < 1623608356 615195 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :myname: nah, just make your language sub turing > 1623608365 273405 PRIVMSG #esoteric : There is an old question: Shouldn't contradictions be relevant to the proofs which use them? If I prove that the sky is simultaneously blue and not-blue, does that make 1=2? If so, *how*? > 1623608379 124557 PRIVMSG #esoteric :14[[07Godencode14]]4 10 02https://esolangs.org/w/index.php?diff=84451&oldid=84449 5* 03Plasmath 5* (+0) 10My documentation was hard to read. > 1623608380 285410 PRIVMSG #esoteric : great, have a language that probably cannot do the task you are trying to solve > 1623608430 773934 PRIVMSG #esoteric : Ah, sure. Note that a proper dialethist cannot refute a trivialist, who claims that all things are true. In particular, a dialethist cannot prove to them that anything is false; the law of non-contradiction is a missing logical lever they'd need. < 1623608483 312456 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :Corbin: Yeah, of course. There are definitely philosophical issues with dialetheism too, I just noticed that philosophically it was closer to what I was doing than classic logic was. > 1623608484 211300 PRIVMSG #esoteric : myname: Most GPU programs are not Turing-complete. Instead, a Turing-complete CPU program repeatedly takes bounded steps by submitting bounded programs to the GPU. > 1623608529 735326 PRIVMSG #esoteric : sure, you can have arbitrary many sub-tc sub-tasks, but you want to have a tc system at some point or another < 1623608532 193884 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :i.e. by using a language that allows for infinite loops I'm implicity rejecting non-contradiction > 1623608554 62193 PRIVMSG #esoteric : orbitaldecay72: I'm looking for a good reference, but a simple slogan is "there's no type of non-halting programs", along myname's lines. This means that it's not possible to use Curry-Howard to try to construct a family of usable contraditions. > 1623608615 203790 PRIVMSG #esoteric : also, at least in terms of semantics, an infinite loop is considered to have no semantical meaning. it's just one of the points where theory and practice diverge > 1623608616 646785 PRIVMSG #esoteric : In general, computers are constructive and effective, so while we don't have LEM or Choice, we do still have intuitionistic type theory, which is plenty powerful. < 1623608617 664404 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :this is where I don't know enough about formal type theory to recognize what is a limitation of classical logic, and what is a limitation of type theory > 1623608627 938916 PRIVMSG #esoteric : imperative programming makes things hard > 1623608660 805027 PRIVMSG #esoteric : orbitaldecay72: Lucky 10000: https://www.ams.org/journals/bull/2017-54-03/S0273-0979-2016-01556-4/S0273-0979-2016-01556-4.pdf < 1623608746 782280 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :Corbin: thanks! > 1623608780 122683 PRIVMSG #esoteric : Ha, don't thank me yet. It took me a while to personally overcome old beliefs about maths and accept topos theory as a reasonable way to get things done. < 1623608823 667211 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :My thinking is this. We can definitely construct a Hilbert style axiom system that allows us to prove a contradiction (we have to try hard to avoid this). If type systems are basically equivalent to these, then why can't we construct a type system in which a non-normalizing term is well typed? < 1623608832 303091 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :Corbin: I'm always trying to overcome old beliefs :) < 1623608881 166267 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :Again, I'm way out of my depth here. Just trying to develop some sort of intuition for the topic. > 1623608953 425294 PRIVMSG #esoteric : No worries. The answer I'd choose to keep going with Curry-Howard-Lambek, and do some category theory. We usually say that proofs of contradiction are rare because they can be shown to be categorically equivalent. > 1623609006 576801 PRIVMSG #esoteric : Categorically, an arrow into the initial object can only come from another initial object, and they're isomorphic. Logically, a proof of contradiction can only come from another contradiction, and they're equivalent. < 1623609017 328902 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :Cool. I'll follow up with the category theory. Whenever I start barking about these questions I almost universally hear, "See category theory". Unfortunately I haven't done that yet, so I suppose I should! > 1623609044 836843 PRIVMSG #esoteric : (Constructively, recally that a proof of contradiction ~P is literally something like "P -> false". Being able to logically entail falsity is the ur-contradiction.) < 1623609076 579388 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :Corbin: But doesn't this all presuppose classical logic? i.e. what if we are using a logic in which contradiction doesn't entail everything? < 1623609086 453110 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :Or am I missing the point? > 1623609114 951366 PRIVMSG #esoteric : Category theory's just so much neater for logic. Like, take *any* formal logic with rewrite rules. There's a category whose objects are equivalence classes of terms, and whose arrows embody the rewrite rules. > 1623609127 870915 PRIVMSG #esoteric :14[[07User:GreenThePear14]]4 N10 02https://esolangs.org/w/index.php?oldid=84452 5* 03GreenThePear 5* (+702) 10Created < 1623609136 846205 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :Got it. Alright, next stop category theory :) < 1623609143 378337 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :Thanks so much for your help. I really appreciate it. > 1623609215 300039 PRIVMSG #esoteric : This all presupposes some constructive logic, but not classical logic. That's the key change in POV. And yes, it's possible to build interesting paraconsistent models, and also to require relevance for contradictions, but we don't necessarily know how to implement those in computers. > 1623609243 128344 PRIVMSG #esoteric : No worries. Sorry for dumping so much information onto you; hopefully it makes a little sense. Bauer's paper is really eye-opening on its own. < 1623609485 336658 :orbitaldecay72!cff466cb@207.244.102.203 PRIVMSG #esoteric :The information is great. I come here whenever I have a question that I'm having trouble answering because invariably I get a ton of information dumped on me haha < 1623609569 595054 :contrapumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Quit: Bye! > 1623609890 112379 PRIVMSG #esoteric : if categories are great why aren't there 2-categories? < 1623609894 813295 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN #esoteric copumpkin :Gourdmeister > 1623609960 222127 PRIVMSG #esoteric : riv: there are > 1623610056 812802 PRIVMSG #esoteric : https://golem.ph.utexas.edu/category/ (note: i'm not really a follower but i've heard about it) > 1623610073 609856 PRIVMSG #esoteric : :O > 1623610095 724998 PRIVMSG #esoteric :14[[07What's the dog doin?14]]4 10 02https://esolangs.org/w/index.php?diff=84453&oldid=84445 5* 03GreenThePear 5* (-4) 10/* Examples */ > 1623610210 361685 PRIVMSG #esoteric :14[[07Python is Magic14]]4 N10 02https://esolangs.org/w/index.php?oldid=84454 5* 03Gilbert189 5* (+6954) 10Created page with "Python is Magic is a very restricted version of Python 3. On Python is Magic, only magic functions can be used. ==Warm-up== This is a valid Python is Magic code: __name__.__..." > 1623610224 971748 PRIVMSG #esoteric : https://en.wikipedia.org/wiki/Higher_category_theory might be more elucidating. (i haven't read that either.) > 1623610252 454768 PRIVMSG #esoteric : i was about to mention shachaf, i think he knows a lot more about it than i > 1623610278 505813 PRIVMSG #esoteric : if you can keep him from doing feline puns > 1623610301 752285 PRIVMSG #esoteric :14[[07User:Gilbert18914]]4 10 02https://esolangs.org/w/index.php?diff=84455&oldid=81403 5* 03Gilbert189 5* (-61) 10 > 1623610302 420117 PRIVMSG #esoteric : https://www.reddit.com/r/confusing_perspective/comments/c95247/siamese_twins_cats/ here is a 2-cat < 1623610571 355906 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Quit: metcalf < 1623610587 786032 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john > 1623610683 275569 PRIVMSG #esoteric : As a warmup, my housecat was yowling all last night. We got a little cat opera'd. > 1623610715 299225 PRIVMSG #esoteric : I still like "sets are 0-categories"; all of the structure of set theory is like a "decategorified" version of category theory. < 1623610842 908668 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Client Quit < 1623610860 404530 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john > 1623610901 294454 PRIVMSG #esoteric : O_O > 1623610906 358991 PRIVMSG #esoteric : is this true? > 1623610946 447436 PRIVMSG #esoteric :
ACTION wonders too
> 1623610985 824913 PRIVMSG #esoteric : one conversation about image processing and one about formal logic. I don't contribute much today, but I'm glad the channel is back to its old weird self > 1623610998 298363 PRIVMSG #esoteric : it slightly reminds me that certain definitions of dimension consider the empty set -1-dimensional > 1623611102 960412 PRIVMSG #esoteric : i'd have to look that up < 1623611171 267521 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Quit: metcalf < 1623611186 198920 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john > 1623611191 336290 PRIVMSG #esoteric : https://en.wikipedia.org/wiki/Dimension#Topological_spaces starts with the lebesgue covering dimension which is an example < 1623611352 704092 :delta23!~deltaepsi@unaffiliated/deltaepsilon23 QUIT :Quit: Leaving > 1623611388 376264 PRIVMSG #esoteric : b_jonas, thanks! > 1623611402 154720 PRIVMSG #esoteric : seems to be true for the inductive ones too < 1623611442 505388 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Client Quit < 1623611458 498412 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623612371 297078 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Quit: metcalf < 1623612385 417629 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623612642 641251 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Client Quit < 1623612658 368311 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john > 1623613977 756985 PRIVMSG #esoteric :14[[07Talk:Emoji-gramming14]]4 10 02https://esolangs.org/w/index.php?diff=84456&oldid=83822 5* 03Qwertyu63 5* (+563) 10/* Sign checking */ > 1623614339 113383 PRIVMSG #esoteric : and the weird thing is, half of the nicks I don't even recognize from earlier, and I wonder if people just took the opportunity at the network switch to choose new nicks and I'm so stupid as to not recognize them after that, but that probably isn't the case > 1623614392 548988 PRIVMSG #esoteric : this channel does somehow indeed manage to pull in new weird people, even though I have no idea how they find their way here because we don't advertise ourselves very much and I find it hard to find my way into these kinds of communities > 1623614417 993045 PRIVMSG #esoteric : also I have all sorts of personal problems and sometimes you help but sometimes you cause me to stay up at night when I really shoulnd't, not that I'm blaming you, just saying > 1623614448 852516 PRIVMSG #esoteric : and the sad part is when that happens and I know that the other people who I'm talking to are Europeans and have a messed up sleep cycle hurting them too > 1623614480 385198 PRIVMSG #esoteric : the "booleans are just -1-categories" thing sounds somehow wrong though > 1623614508 129830 PRIVMSG #esoteric : or at least not true in the literal sense but perhaps there's some interesting enough analogy there that might work even if not in the literal sense > 1623614516 91016 PRIVMSG #esoteric : b_jonas, i used to be rain1 > 1623614524 270889 PRIVMSG #esoteric : oh! > 1623614534 418146 PRIVMSG #esoteric : that explains part of it > 1623614545 664069 PRIVMSG #esoteric : and I knwo that moony renamed himself to, um, let me consult NAMES > 1623614599 987405 PRIVMSG #esoteric : b_jonas: i know at least keegan took that opportunity too > 1623614650 6627 PRIVMSG #esoteric : and perhaps some old people who left #esoteric for years but stayed on freenode, they took this oppurtunity to just CHECK on which old channels move there because they wanted to know just in case, and joined, and got stuck > 1623614659 928700 PRIVMSG #esoteric : because that's certainly something I'd do with other channels > 1623614691 158938 PRIVMSG #esoteric : anyway, moony took a short nick and I think I'll recognize him if he returns under that > 1623614701 410691 PRIVMSG #esoteric : I had to change my nickname to velik > 1623614708 562543 PRIVMSG #esoteric : and rename bot to nakilon > 1623614728 133846 PRIVMSG #esoteric : what? "had to" but renamed the bot to the old name? > 1623614758 57677 PRIVMSG #esoteric : I just realised that I had to > 1623614758 907007 PRIVMSG #esoteric : (well he's called "moon" now, but some people switch between nicks) > 1623614763 683227 PRIVMSG #esoteric : ah, that thing > 1623614764 221817 PRIVMSG #esoteric : to confuse b_jonas > 1623614792 788505 PRIVMSG #esoteric : yeah, that makes more sense even though I never felt the need, perhaps because I feel lucky for choosing b_jonas because it's a better name than I knew when I came up with it > 1623614798 712995 PRIVMSG #esoteric : i thought moon had always been switching nicks > 1623614805 254399 PRIVMSG #esoteric : I still don't know who's the pythondebugshell > 1623614806 70828 PRIVMSG #esoteric : oerjan: yeah > 1623614809 958823 PRIVMSG #esoteric : but usualy not very far > 1623614816 575048 PRIVMSG #esoteric : that's why I recognize him more easily > 1623614838 862765 PRIVMSG #esoteric : I still don't know who Corbin is, and of course sometimes wonder about people who I do recall but don't seem to come in anymore > 1623614864 125178 PRIVMSG #esoteric : although... there is a certain person who used to come in and I think used to ask about formal logic... I wonder > 1623614867 893736 PRIVMSG #esoteric : i know who Corbin is :> > 1623614899 297878 PRIVMSG #esoteric : no, probably no, because I think they're from another continent > 1623614907 690711 PRIVMSG #esoteric :
ACTION looks quizzically at Corbin
> 1623614909 951474 PRIVMSG #esoteric : orbitaldecay72 is the one who had that amazing stuff about bitfuck right? > 1623614923 364544 PRIVMSG #esoteric : "I have all sorts of personal problems" -- heh, I'm a meter away from losing a flat and being kicked out of the country, and it makes me have bad dreams every night now > 1623614937 460744 PRIVMSG #esoteric : omg that sounds horrible and stressful D: > 1623614945 987162 PRIVMSG #esoteric : it does, yes > 1623615031 268706 PRIVMSG #esoteric : ouch > 1623615050 857966 PRIVMSG #esoteric : also, don't take this the wrong way, but hearing that from other people also makes it seem like this is back to good old #esoteric, because they're willing to share more than I do > 1623615069 703332 PRIVMSG #esoteric : about their problems, that is, not that I'm too careful about letting private details on > 1623615279 164159 PRIVMSG #esoteric : and I think that one terrible time when I was in a psychiatric hospital in 2018, the one I don't talk about often, part of what helped me shrug some of it off (besides my parents' care and being lucky about which doctor happened to do urgent care that night) was that I recalled that at least two different people on #esoteric told me earlier about when they were in psychiatric hospital, and I wasn't > 1623615285 191604 PRIVMSG #esoteric : thinking they were in great state, but they survived being in a hospital, one even for an extended time and IRCing from there, and didn't seem to be completely broken even months after, > 1623615305 91401 PRIVMSG #esoteric : plus similar stories from other weird parts of the internet > 1623615344 983865 PRIVMSG #esoteric : although it also worked because at least I did learn what I really should pay attention to in order to not get back there again > 1623615395 223797 PRIVMSG #esoteric : I just rarely feel stupid enough to discuss it in logged and googleable parts of the internet, especially as I know my nick isn't all that secret > 1623615481 223937 PRIVMSG #esoteric : and it would have been wiser to use a disposable alternate nick, if not now, at least that one time when I posted about it to a forum > 1623615575 844869 PRIVMSG #esoteric : woah, there are at least three people here who were in psychiatric hospitals? > 1623615627 934416 PRIVMSG #esoteric : I do miss some of the people who used to come here > 1623615734 463442 PRIVMSG #esoteric : I would probably not mind to get stuck in anywhere as long as there are some family members or friends to take care of your home, bills, hypothetical cat, etc. > 1623615751 732920 PRIVMSG #esoteric : lol, hypothetical cat > 1623616319 908481 PRIVMSG #esoteric : nakilon: yes > 1623616334 294231 PRIVMSG #esoteric : at least if you count people who used to be here at some point but might not visit now > 1623616444 353150 PRIVMSG #esoteric : I wasn't *stuck*. it was a short time, I knew I'd get out soon, that's what the doctor said to me and she was right, and once she even allowed me to temporarily leave for a few hours in what she said was against the hospital's rules (not that I have illusions about those rules consistently being kept) because my family promised to bring me back > 1623616476 555559 PRIVMSG #esoteric : it's the at least one other user, the one who IRCed from the hospital, regularly, who was stuck > 1623616530 224680 PRIVMSG #esoteric : I don't pretend that I'm not stuck with a psychiatric condition that I'd have to be careful with for my whole life even if I managed to get my life mostly normal, but I was not stuck in the hospital > 1623617941 890779 PRIVMSG #esoteric : also hi future boss, who will probably find this months or years from now when searching for my name, I know you're listening and want to find out what I'm hiding by looking on the internet and asking previous employers' opinions, and you're going to pay me less money if you don't just reject me completely, but I think I wouldn't want to work in a company that has managers less diligent than that, I > 1623617947 864651 PRIVMSG #esoteric : couldn't trust that they could keep themselves in the business < 1623618088 110100 :harha_!~harha@ns356919.ip-91-121-144.eu QUIT :Quit: ZNC - https://znc.in < 1623618841 768959 :LKoen!~LKoen@132.161.9.109.rev.sfr.net JOIN #esoteric LKoen :LKoen < 1623619453 205641 :harha_!~harha@ns356919.ip-91-121-144.eu JOIN #esoteric * :harha < 1623619571 290269 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Quit: metcalf < 1623619586 221507 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623619660 970285 :contrapumpkin!~copumpkin@unaffiliated/copumpkin JOIN #esoteric copumpkin :Gourdmeister < 1623619984 415318 :harha!~harha@ns356919.ip-91-121-144.eu JOIN #esoteric * :harha > 1623620139 668598 PRIVMSG #esoteric : Does anyone by chance have a copy of the HaPyLi compiler? It's a Haskell/Python/Lisp-like language that compiles to Whitespace. < 1623620142 451222 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Quit: metcalf < 1623620155 331551 :harha_!~harha@ns356919.ip-91-121-144.eu QUIT :*.net *.split < 1623620155 442955 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :*.net *.split < 1623620157 739870 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john > 1623620201 173017 PRIVMSG #esoteric : The website went offline around 2012 and it wasn't completely archived on the Internet Archive. < 1623620505 213861 :harha_!~harha@ns356919.ip-91-121-144.eu JOIN #esoteric * :harha < 1623620657 761496 :Noisytoot_!noisytoot@fsf/member/Noisytoot JOIN #esoteric Noisytoot :Ron < 1623620774 485739 :harha!~harha@ns356919.ip-91-121-144.eu QUIT :Ping timeout: 258 seconds < 1623620775 152656 :Noisytoot!noisytoot@fsf/member/Noisytoot QUIT :Ping timeout: 258 seconds < 1623621106 500916 :Noisytoot_!noisytoot@fsf/member/Noisytoot NICK :Noisytoot > 1623621412 582132 PRIVMSG #esoteric :
ACTION counts herself very glad nobody else wants pikhq
> 1623621456 549824 PRIVMSG #esoteric : riv: yeah, i miss some people who used to be here too. still in touch with some though i don't talk with them much; also still frequently in touch with others > 1623621471 537362 PRIVMSG #esoteric : oh that's nice > 1623621503 556185 PRIVMSG #esoteric : and re: psych hospital. glad i've never been in one but fuck i've been close > 1623621603 197698 PRIVMSG #esoteric : turns out being into absolutely weird programming languages has a high overlap with just being weird as a person in one of a few different ways > 1623621713 148367 PRIVMSG #esoteric :14[[07User:Zzo38/Programming languages with unusual features14]]4 10 02https://esolangs.org/w/index.php?diff=84457&oldid=84358 5* 03Zzo38 5* (+94) 10The {edit} macro in Free Hero Mesh < 1623621789 527658 :orbitaldecay72!cff466cb@207.244.102.203 QUIT :Quit: Connection closed > 1623622285 258823 PRIVMSG #esoteric : i mean i am very much a weird person so :p > 1623622960 946944 PRIVMSG #esoteric : pikhq: yes, but how do so many of those kinds of people actually find their way here, that's what I don't understand > 1623623086 393157 PRIVMSG #esoteric : I don't understand that even after I just personally recommended this channel to someone and they came here > 1623623109 326009 PRIVMSG #esoteric : because how did I find them in first place > 1623623117 790894 PRIVMSG #esoteric : if you're that sort of weird you're gonna actively seek it out > 1623623219 136075 PRIVMSG #esoteric : I don't have a copy of the HaPyLi > 1623623521 976531 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Hjoker4 5* 10New user account < 1623623771 258477 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Quit: metcalf < 1623623787 489470 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623624042 540810 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Client Quit < 1623624058 470093 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john > 1623624553 796847 PRIVMSG #esoteric : Do you like the picture editor of Free Hero Mesh? < 1623624878 663248 :LKoen!~LKoen@132.161.9.109.rev.sfr.net QUIT :Remote host closed the connection < 1623624971 280357 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Quit: metcalf < 1623624989 213654 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623625547 564183 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Quit: metcalf < 1623625552 452779 :user3456_!user3456@gateway/shell/insomnia247/x-capzrqgezyryupba QUIT :Ping timeout: 245 seconds < 1623625562 429406 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john > 1623625662 217959 PRIVMSG #esoteric : Will they add the Quasijarus compression format into newer versions of GNU/Linux and/or non-Quasijarus BSD? < 1623625746 784772 :user3456!user3456@gateway/shell/insomnia247/x-xaxfidxdfqgvwoua JOIN #esoteric user3456 :user3456 < 1623625792 780505 :LKoen!~LKoen@132.161.9.109.rev.sfr.net JOIN #esoteric * :LKoen > 1623626091 749174 PRIVMSG #esoteric :14[[07Among Us14]]4 10 02https://esolangs.org/w/index.php?diff=84458&oldid=84356 5* 03Zero player rodent 5* (+211) 10 > 1623626283 865307 PRIVMSG #esoteric : if you ever dig into esolangs even a bit and want to talk to people into them this channel is hard to not find. the esolangs wiki is like the resource referenced everywhere after all > 1623626710 540733 PRIVMSG #esoteric : yep > 1623626788 738967 PRIVMSG #esoteric : hence how i found it when i was, like, 15 > 1623627642 118654 PRIVMSG #esoteric :14[[07Among Us14]]4 10 02https://esolangs.org/w/index.php?diff=84459&oldid=84458 5* 03Zero player rodent 5* (+99) 10 > 1623628021 427772 PRIVMSG #esoteric :14[[07VBF14]]4 M10 02https://esolangs.org/w/index.php?diff=84460&oldid=84440 5* 03PythonshellDebugwindow 5* (+53) 10/* Implementations */ Cats > 1623628071 510279 PRIVMSG #esoteric :14[[07Among Us14]]4 10 02https://esolangs.org/w/index.php?diff=84461&oldid=84459 5* 03Zero player rodent 5* (+149) 10 > 1623628104 440544 PRIVMSG #esoteric :14[[07GotoFuck14]]4 M10 02https://esolangs.org/w/index.php?diff=84462&oldid=83713 5* 03PythonshellDebugwindow 5* (+78) 10/* Implementations */ Cats, see also > 1623628121 208566 PRIVMSG #esoteric :14[[07Jumplang14]]4 M10 02https://esolangs.org/w/index.php?diff=84463&oldid=74090 5* 03PythonshellDebugwindow 5* (+15) 10/* See also */ See also. < 1623628172 75977 :LKoen!~LKoen@132.161.9.109.rev.sfr.net QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.” < 1623628271 351460 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Quit: metcalf < 1623628287 735723 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623628314 967624 :orbitaldecay17!cff466cb@207.244.102.203 JOIN #esoteric * :https://webchat.freenode.net < 1623628405 375683 :orbitaldecay17!cff466cb@207.244.102.203 PRIVMSG #esoteric :riv: yep! I was playing around with bitfuck a few years ago. < 1623628437 427054 :orbitaldecay17!cff466cb@207.244.102.203 PRIVMSG #esoteric :specifically messing around with the reversible variant, which permits some interesting minimizations < 1623628542 645083 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Client Quit < 1623628557 430482 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john