< 1576023104 876216 :FreeFull!~freefull@defocus/sausage-lover QUIT :Quit: Sleep < 1576024390 86577 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Axiom of Verge. < 1576025911 601695 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: do you plundervolt? < 1576025911 718217 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: not the nth? i didn't vote for either of these been used for any significant sites? < 1576026688 728646 :arseniiv!~arseniiv@94.41.35.79.dynamic.ufanet.ru PRIVMSG #esoteric :fungot: what is your nth-child? < 1576026688 932962 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :arseniiv: not if you stopped working on it, or lump it.' many compilers will optimize them to the site and got the most interesting code is in < 1576026717 114164 :arseniiv!~arseniiv@94.41.35.79.dynamic.ufanet.ru PRIVMSG #esoteric :a poor optimized child < 1576026766 465552 :arseniiv!~arseniiv@94.41.35.79.dynamic.ufanet.ru PRIVMSG #esoteric :int-e: I’d prefer an axiom of chocolate! < 1576026774 612587 :arseniiv!~arseniiv@94.41.35.79.dynamic.ufanet.ru PRIVMSG #esoteric :or maybe not < 1576026822 264445 :int-e!~noone@int-e.eu PRIVMSG #esoteric :axiom of chocolate: the darker the better < 1576026869 339893 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(Though honestly I'm not sure about the 90%+ area.) < 1576026889 4258 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Someone had left some super-bitter "98%" or whatever chocolate at the snack area, I think that was kind of overdoing it. < 1576026901 411807 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There were like six or eight different kinds, and they were all like that. < 1576026907 699186 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I'm sure it's healthty, but still. < 1576026944 107151 :int-e!~noone@int-e.eu PRIVMSG #esoteric :heh, I don't eat chocolate because it's healthy (or not) < 1576027010 635240 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But I just realized that I have some 85% chocolate around. < 1576027034 917557 :arseniiv!~arseniiv@94.41.35.79.dynamic.ufanet.ru QUIT :Ping timeout: 246 seconds < 1576027038 402558 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And that's quite good :) < 1576027225 995218 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That sounds reasonable enough. < 1576027269 315225 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I had some super high % chocolate and found that it was ... dry, almost dusty. < 1576027284 93989 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do you like B-trees? < 1576027302 868303 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't like dark chocolate. < 1576027310 83220 :int-e!~noone@int-e.eu PRIVMSG #esoteric :So yeah, I share some super dark chocolate skepticism. < 1576027338 583362 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: What's the difference between B+ and B* trees? < 1576027377 871002 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think there are a lot of different points in B-tree design space, and people named a few of those points, but mostly not the ones I actually want to use. < 1576027415 732794 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :B+ trees store values only in the leaves (reasonable), and also have links between leaf nodes (is that that important?). < 1576027439 337475 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :B* trees will share keys with both left and right siblings, I think, so nodes can be 2/3 full? < 1576027468 153083 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The point is: I thought B-trees were annoying and complicated until recently, when I thought about them. Now I think they're simple. < 1576027485 689030 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Hmm, is that that important --> for external storage, I imagine it may help for linear scans? < 1576027525 650987 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sure. I mean, it seems like a reasonable optimization for some uses, but you make lots of those when you implement things in practice. < 1576027528 725945 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(But I didn't really expect any answers.) < 1576027795 743499 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: do you like side-stepping questions? < 1576027795 831441 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: that wraps functions... and just eval it in some ways < 1576027807 75921 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Wait, which question did I side-step? < 1576027819 174710 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: that wasn't about you < 1576027837 126383 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I've realized that I've identified a thing that *I* like. < 1576027839 180490 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But everything is about me. < 1576027891 460137 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: Fine. You were the muse, the catalyst. < 1576027917 144297 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? shachaf < 1576027919 100431 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Queen Shachaf of the Dawn sprø som selleri and cosplays Nepeta Leijon on weekends. He hates bell peppers with a passion. He doesn't know when to stop asking questions. We don't like this. < 1576027938 5136 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`learn shachaf sprø som selleri and is the muse, the catalyst. < 1576027974 136908 :int-e!~noone@int-e.eu PRIVMSG #esoteric :No more passion fruits? < 1576028000 797373 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? bell pepper < 1576028002 120238 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :bell pepper? ¯\(°​_o)/¯ < 1576028015 368730 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa < 1576028021 394876 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Unicode has two code points with the same name? < 1576028039 725351 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :U+7 and U+1F514 < 1576028102 981600 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think I knew that once. < 1576028173 495708 :int-e!~noone@int-e.eu PRIVMSG #esoteric :No bell pepper? Only 🌶... < 1576028197 562154 :int-e!~noone@int-e.eu PRIVMSG #esoteric :@google 🔔🌶 < 1576028199 107817 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :http://www.google.com/url?q=https://www.dailykos.com/story/2019/4/19/1849291/-PWB-Freidai-Follies-and-Foolishness < 1576028199 114330 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Title: Уведомление о переадресации < 1576028267 499300 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Weird page. Oh well, I don't know what I was trying to find there anyway. < 1576028323 477371 :int-e!~noone@int-e.eu PRIVMSG #esoteric :``unidecode 🗭 # not for Democrats? < 1576028324 212221 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​`unidecode? No such file or directory < 1576028328 613377 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`` unidecode 🗭 # not for Democrats? < 1576028330 92652 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​[U+1F5ED RIGHT THOUGHT BUBBLE] < 1576028362 492457 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`` unidecode 🗬 # this one also exists, of course < 1576028364 230713 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​[U+1F5EC LEFT THOUGHT BUBBLE] < 1576028404 350640 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`` unidecode 🗯 # haha! < 1576028411 967127 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​[U+1F5EF RIGHT ANGER BUBBLE] < 1576028423 860927 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Where's my RIGHTEOUS ANGER BUBBLE? < 1576028513 465358 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`? shachaf < 1576028514 656369 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Queen Shachaf of the Dawn sprø som selleri and cosplays Nepeta Leijon on weekends. He hates bell peppers with a passion. He doesn't know when to stop asking questions. We don't like this. < 1576028528 757218 :int-e!~noone@int-e.eu PRIVMSG #esoteric :ACTION is missing something < 1576028617 104666 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Ah, a ^O. < 1576029311 747224 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1576029415 385406 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 265 seconds < 1576029415 511888 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1576033713 611389 :elliemae!~ellie@unaffiliated/elliemae JOIN :#esoteric < 1576036203 553724 :elliemae!~ellie@unaffiliated/elliemae QUIT :Remote host closed the connection < 1576036365 146048 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: hh and cc or hpp and cpp? < 1576036365 227190 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: someone is either up very late, which can be checked < 1576036681 353833 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :h and cc hth < 1576036764 733809 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :h++ and c++ hth < 1576036795 137099 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hmm < 1576036798 158234 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :h and c hth < 1576036880 145608 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: But I like a language strictly between C and C++... basically C++ without dynamic methods (and consequently, very limited inheritance). < 1576036899 256201 :int-e!~noone@int-e.eu PRIVMSG #esoteric :dynamic -> virtual < 1576036969 795885 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's the benefit of inheritance at all? < 1576037068 642314 :int-e!~noone@int-e.eu PRIVMSG #esoteric :You can still have some limited aggregation going on. < 1576037109 864489 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Only extending interfaces and functionality... no overloading of methods or things will quickly become insane. < 1576037166 396471 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(virtual methods are what keep this sane) < 1576037215 338538 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Wait, are you for or against virtual methods? < 1576037219 611641 :int-e!~noone@int-e.eu PRIVMSG #esoteric :The main thing I want is that every (struct/class) type has an associated namespace. < 1576037262 901993 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: It depends? They are essential for OO. I don't want to do OO though. < 1576037265 349896 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I've been wondering how important that is for a while. < 1576037292 449610 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is there a big advantage to x.f() over foo(x)? < 1576037329 494271 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I meant x.foo(), of course. < 1576037332 439387 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Little, if you can overload foo(). < 1576037405 5136 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But C can't overload functions either. < 1576037446 583096 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I think there's an advantage over having x.foo() or foo(x) vs. having to write type_foo(x) where 'type' happens to be the type of x. < 1576037504 482209 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I'm not a very fast typist, so that kind of redundancy really hurts. < 1576037651 159647 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I also find chaining of operations attractive... if you have struct T { T &set_foo(); T &set_bar(); }; T t; and do t.set_foo().set_bar(). < 1576037740 192375 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I like (T){.foo = x, .bar = y}; < 1576037753 509524 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which C has had for 20 years and maybe C++ is finally getting? < 1576037839 974104 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Anyway, if you were to add methods to structs in C I might consider using it again ;) ) < 1576037862 936904 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :type_foo has the benefit that you can search for it. < 1576037910 388125 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Yes, we all rationalize our own choices. < 1576037934 444461 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I said a few lines ago that I've been wondering about it for a while. < 1576037949 2120 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :In particular I mean that I'm not sure whether it's a good idea or not. < 1576038101 937947 :int-e!~noone@int-e.eu PRIVMSG #esoteric :It doesn't help C's case that it's largely a subset of C++. (The field initialisers are a good point, of course.) < 1576038140 118089 :int-e!~noone@int-e.eu PRIVMSG #esoteric :So basically the moment a person (like me) finds /anything/ they like in C++, they are tempted to switch. < 1576038211 451157 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa, I just realized how my own program worked. < 1576038218 269096 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Btw I also find the iostream and iomanip stuff cute. < 1576038220 148161 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I had a bug which turned out to be a clever trick. < 1576038237 401761 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It did exactly the right thing. I'm going to document it and pretend it was what I meant to do all along. < 1576038268 325110 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Wait a minute, no. Hmm. < 1576038268 922392 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Been a while since I've done that, but yeah... those are interesting experiences. < 1576038309 36725 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Well, the last time was actually code that I /knew/ couldn't work, that turned out to work /most/ of the time (much more often than it reasonably should), but not always :) < 1576038339 600893 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I was really glad when I finally discovered that it did, in fact, break. < 1576038380 983029 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(This was with last month's Ponder This, in code updating determinants which worked with insufficient precision... and still produced exact results most of the time.) < 1576038397 331502 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :https://slbkbs.org/tmp/b-trees.txt < 1576038500 40255 :int-e!~noone@int-e.eu PRIVMSG #esoteric :The time before that was an overzealous (by my understanding at the time of writing it) check in a combinatorial search procedure which I could later justify to actually be valid (for quite subtle reasons). < 1576038538 284217 :int-e!~noone@int-e.eu PRIVMSG #esoteric :"overzealous check" -- this was for pruning a search tree, so I pruned more than I thought I could. < 1576038657 365238 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: funny, I always think of B+-trees as 2-3-4-trees, only wider. < 1576038682 354690 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And 2-3-4-trees are 2-3-trees with lazier splitting. < 1576038699 679268 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I always think of red-black trees as 2-3-4 trees. < 1576038732 495923 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(Are B- -trees those that can have between n and 2n-1 children at each node?) < 1576038762 459891 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I usually don't think of red-black trees at all. < 1576038788 340845 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Did you know they just encode 2-3-4 trees? < 1576038835 469082 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway, I like this array perspective. < 1576038841 427452 :int-e!~noone@int-e.eu PRIVMSG #esoteric :but yeah, if I have to, I collapse it to a 2-3-4 tree. < 1576038862 284539 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think just about all the operations are obvious from this viewpoint. < 1576038876 17417 :int-e!~noone@int-e.eu PRIVMSG #esoteric :AVL trees make so much more sense to me. < 1576039028 189554 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: I think the array perspective is one of many possible views and it's impossible to say which view clicks for any particular person. < 1576039140 335470 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Obviously /some/ sort of array is inherent in any Bx-tree because a flat array is what you get for very small data sets. < 1576039168 815226 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean, I've written a bunch of B-tree code in the past, I was already familiar with the data structure. < 1576039182 495329 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And observing some sort of chunking at the leafs when you flatten the tree is also inevitable. < 1576039233 219813 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But whether you view the thing top-down, emphasizing the tree structure, or bottom-up, empahsizing the (chunked) flattened array... is up to you. < 1576039332 778565 :int-e!~noone@int-e.eu PRIVMSG #esoteric :If you do it bottom-up, you get intermediate forests as you group consecutive chunks under a common ancestor node. < 1576039358 497146 :int-e!~noone@int-e.eu PRIVMSG #esoteric :So it's arrays all the way up. ;) < 1576039366 586971 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But trees all the way down. < 1576039409 440742 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's plausibly reasonable to use different kinds of indexing for blocks and for values. < 1576039422 991623 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Since they're very different sizes. < 1576039570 756778 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Btw, I don't know if anything of what I just wrote made any sense. But I'm very happy with the last two lines. < 1576039694 653345 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Okay, bedtime. < 1576039810 65995 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :C++'s std::map is usually a red-black tree. < 1576039812 237425 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm not sure why. < 1576042312 923567 :Frater_EST!adrianbibl@172.242.0.73 JOIN :#esoteric < 1576043100 853332 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net QUIT :Quit: leaving < 1576044352 895424 :Frater_EST!adrianbibl@172.242.0.73 QUIT :Remote host closed the connection < 1576047194 188664 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net QUIT :Read error: Connection reset by peer < 1576047223 559750 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net JOIN :#esoteric > 1576047227 139518 PRIVMSG #esoteric :14[[07Special:Log/upload14]]4 upload10 02 5* 03Quadril-Is 5* 10uploaded "[[02File:Burn program.png10]]" > 1576047310 879502 PRIVMSG #esoteric :14[[07Special:Log/upload14]]4 upload10 02 5* 03Quadril-Is 5* 10uploaded "[[02File:Burn program resized.png10]]" > 1576047510 870021 PRIVMSG #esoteric :14[[07Talk:Burn14]]4 10 02https://esolangs.org/w/index.php?diff=67873&oldid=67839 5* 03Quadril-Is 5* (+324) 10/* PNG of the program */ new section < 1576051961 193971 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1576051987 648679 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric < 1576052403 802482 :hppavilion[1]!~omegasome@172.98.86.92 JOIN :#esoteric > 1576053166 481683 PRIVMSG #esoteric :14[[07User:Dart14]]4 10 02https://esolangs.org/w/index.php?diff=67874&oldid=67769 5* 03Dart 5* (+233) 10 < 1576054821 789681 :b_jonas!~x@catv-176-63-14-135.catv.broadband.hu PRIVMSG #esoteric :shachaf: C++ std::map interface is defined such that when you modify the tree, the address of the contained items doesn't change (unless you erase that specific item), nor can the iterator to items. that negates some of the advantages of better B-trees. it could still use a B-tree with the items accessible through an extra pointer or index, but it's easier to just put every item in a separate node that < 1576054827 796953 :b_jonas!~x@catv-176-63-14-135.catv.broadband.hu PRIVMSG #esoteric :never moves like a B-tree does. < 1576054957 302977 :b_jonas!~x@catv-176-63-14-135.catv.broadband.hu QUIT :Quit: leaving < 1576055066 606213 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, that's a good reason not to use std::map. < 1576055108 701543 :hppavilion[1]!~omegasome@172.98.86.92 QUIT :Quit: Leaving < 1576055590 60028 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :izabera: did you figure out graphs? < 1576057099 98281 :grumble!~grumble@freenode/staff/grumble QUIT :Quit: SOMEBODY ONCE TOLD ME < 1576057221 365890 :grumble!~grumble@freenode/staff/grumble JOIN :#esoteric < 1576058482 691 :cpressey!~cpressey@5.133.242.4 JOIN :#esoteric < 1576059409 728409 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :Good morning. Here's a kooky juxtaposition for y'all: The Löwenheim-Skolem theorem says that if a logic has an infinite model, it has a countable one. Meanwhile there's this folk theorem in programming: if a program requires a loop, then it can be written with a single loop. < 1576059429 146723 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :s/logic/theory/ < 1576059767 907143 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :heh < 1576060695 375694 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1576060764 486514 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :cpressey: I think that latter is Dijkstra's "Go To Statement Considered Harmful" theorem, though it was probably known before Dijkstra, because people had cpus with a single loop that fetches instructions then executes them < 1576060983 974081 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :cpressey: "https://esolangs.org/wiki/(0)" may be relevant for some infinite versions < 1576061553 660705 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Why is deletion so complicated? > 1576061585 78311 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Oklomsy 5* 10New user account < 1576061665 330508 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :shachaf: that's the tradeoff about AVL trees versus B-trees or related. AVL trees have more complicated algorithms in general, but fast and simple deletion; B-trees and red-black trees have simple algorithms, but deletion can take O(log(n)) time. < 1576061758 938147 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't care about about it being slow, right now, just complicated. < 1576061782 881419 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Surely AVL tree deletion takes logarithmic time, anyway. > 1576061861 298850 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=67875&oldid=67846 5* 03Oklomsy 5* (+251) 10/* Introductions */ < 1576061964 508877 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :shachaf: hmm, I might be misremembering, let me check the Knuth book < 1576062028 651913 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Man. < 1576062028 855775 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :shachaf: you should look at the Okasaki book's description of red-black trees if you want a simple one < 1576062033 572250 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe I shouldn't be doing B+ trees? < 1576062043 91855 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm not interested in red-black trees. < 1576062048 250555 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :red-black trees look very complicated to me at first, but when Okasaki explains them, they're simpler < 1576062087 882017 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :shachaf: well, what data structure you want depends on what you want it for. for storing on a disk that you read in sectors/clusters/blocks, some sort of B-tree with high degree is usually better < 1576062101 807683 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Binary trees are scow. < 1576062118 830305 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :shachaf: also you could try to use a library written by someone else, such as that B-tree library from the future that ais523 will write < 1576062143 91793 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Why? < 1576062342 431389 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :ok sorry, I was wrong. AVL tree deletion may require you to modify O(height) nodes < 1576062359 741077 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :its insertion of a single node into AVL trees that is faster, because it requires you to adjust only O(1) nodes < 1576062372 381986 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :whereas with a B-tree, an insertion may require you to adjust O(log n) nodes < 1576062407 590522 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :shachaf: because if someone else already wrote a good and well-tested library, it's less likely to be buggy than if you write one < 1576062423 311582 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :and there are a lot of balanced search tree libraries out there > 1576062613 424382 PRIVMSG #esoteric :14[[07Furcode14]]4 N10 02https://esolangs.org/w/index.php?oldid=67876 5* 03Oklomsy 5* (+36) 10Created page with "Furcode [[Category:Joke_languages]]" > 1576062651 559162 PRIVMSG #esoteric :14[[07Furcode14]]4 M10 02https://esolangs.org/w/index.php?diff=67877&oldid=67876 5* 03Oklomsy 5* (-36) 10Blanked the page > 1576062760 675952 PRIVMSG #esoteric :14[[07Dd14]]4 10 02https://esolangs.org/w/index.php?diff=67878&oldid=67864 5* 03Dart 5* (+275) 10Added a shorter implementation > 1576063213 295907 PRIVMSG #esoteric :14[[07Esolang:Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=67879&oldid=67276 5* 03Oklomsy 5* (+621) 10 > 1576063264 59769 PRIVMSG #esoteric :14[[07Esolang:Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=67880&oldid=67879 5* 03Oklomsy 5* (-584) 10 < 1576063666 14637 :arseniiv!~arseniiv@94.41.35.79.dynamic.ufanet.ru JOIN :#esoteric > 1576064121 730196 PRIVMSG #esoteric :14[[07Dd14]]4 M10 02https://esolangs.org/w/index.php?diff=67881&oldid=67878 5* 03Dart 5* (-3) 10 > 1576064334 984500 PRIVMSG #esoteric :14[[07Furcode14]]4 10 02https://esolangs.org/w/index.php?diff=67882&oldid=67877 5* 03Oklomsy 5* (+2023) 10 > 1576064565 800929 PRIVMSG #esoteric :14[[07Furcode14]]4 10 02https://esolangs.org/w/index.php?diff=67883&oldid=67882 5* 03Oklomsy 5* (+653) 10 > 1576064599 321368 PRIVMSG #esoteric :14[[07Furcode14]]4 M10 02https://esolangs.org/w/index.php?diff=67884&oldid=67883 5* 03Oklomsy 5* (+6) 10/* Bash interpreter */ > 1576065022 300301 PRIVMSG #esoteric :14[[07Furcode14]]4 10 02https://esolangs.org/w/index.php?diff=67885&oldid=67884 5* 03Dart 5* (-1486) 10There is no point copying the code to the page if there's already a link > 1576065457 20947 PRIVMSG #esoteric :14[[07Joke language list14]]4 10 02https://esolangs.org/w/index.php?diff=67886&oldid=67706 5* 03Oklomsy 5* (+71) 10 > 1576065610 239452 PRIVMSG #esoteric :14[[07Dd14]]4 M10 02https://esolangs.org/w/index.php?diff=67887&oldid=67881 5* 03Dart 5* (-20) 10 > 1576065612 92690 PRIVMSG #esoteric :14[[07User:Oklomsy14]]4 N10 02https://esolangs.org/w/index.php?oldid=67888 5* 03Oklomsy 5* (+148) 10Created page with "Hello! Welcome to my page, I am [[User:Oklomsy|Oklomsy]] I am the creator of [[Furcode]] I live in Denmark, and my life isn't interesting at all..." > 1576066147 247402 PRIVMSG #esoteric :14[[07Furcode14]]4 10 02https://esolangs.org/w/index.php?diff=67889&oldid=67885 5* 03Oklomsy 5* (+10) 10/* Interpreters */ > 1576066204 978524 PRIVMSG #esoteric :14[[07Furcode14]]4 10 02https://esolangs.org/w/index.php?diff=67890&oldid=67889 5* 03Oklomsy 5* (-1) 10Marked the broken intrepeter > 1576066512 454418 PRIVMSG #esoteric :14[[07Special:Log/upload14]]4 upload10 02 5* 03Oklomsy 5* 10uploaded "[[02File:Krazykat.png10]]": A picture of a crazy cat! > 1576066582 922796 PRIVMSG #esoteric :14[[07User:Oklomsy14]]4 10 02https://esolangs.org/w/index.php?diff=67892&oldid=67888 5* 03Oklomsy 5* (+77) 10 > 1576066887 671155 PRIVMSG #esoteric :14[[07User:Oklomsy14]]4 10 02https://esolangs.org/w/index.php?diff=67893&oldid=67892 5* 03Oklomsy 5* (+325) 10 > 1576066900 856719 PRIVMSG #esoteric :14[[07User:Oklomsy14]]4 10 02https://esolangs.org/w/index.php?diff=67894&oldid=67893 5* 03Oklomsy 5* (+1) 10 < 1576072572 137410 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1576072641 729903 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 250 seconds < 1576072653 620584 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1576077940 428666 :MDead!~MDude@97-127-187-59.cdrr.qwest.net JOIN :#esoteric < 1576078036 98058 :MDude!~MDude@97-127-187-59.cdrr.qwest.net QUIT :Ping timeout: 252 seconds < 1576078046 136468 :MDead!~MDude@97-127-187-59.cdrr.qwest.net NICK :MDude < 1576082959 936182 :divergence!~div@103.25.59.88 QUIT :Quit: ZNC 1.7.4 - https://znc.in < 1576083010 17879 :diverger!~div@103.25.59.88 JOIN :#esoteric < 1576083210 606215 :cpressey!~cpressey@5.133.242.4 QUIT :Quit: A la prochaine. > 1576083274 598280 PRIVMSG #esoteric :14[[07Long14]]4 N10 02https://esolangs.org/w/index.php?oldid=67895 5* 03Hex96 5* (+368) 10Created page with "Long is an esolang that really should not exist. The HELLO world program is this:
 Dwhhwxjwxgxshsxuxsysxhhaxhdhsxhsxhsxh print(string101010100101111001010101010101010101..."
> 1576083305 225582 PRIVMSG #esoteric :14[[07Long14]]4 10 02https://esolangs.org/w/index.php?diff=67896&oldid=67895 5* 03Hex96 5* (+1) 10
> 1576083331 70936 PRIVMSG #esoteric :14[[07Long14]]4 10 02https://esolangs.org/w/index.php?diff=67897&oldid=67896 5* 03Hex96 5* (-1) 10
> 1576083393 837376 PRIVMSG #esoteric :14[[07User:Hex9614]]4 10 02https://esolangs.org/w/index.php?diff=67898&oldid=67867 5* 03Hex96 5* (+11) 10/* List of esolangs */
< 1576083450 502358 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Remote host closed the connection
< 1576083811 467155 :int-e!~noone@int-e.eu PRIVMSG #esoteric :... so wrong, so nice: pl = read . ("[" ++) . (++ "]")
< 1576084560 170032 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :huh?
< 1576084576 526526 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :ah
< 1576085130 310331 :^[!sid43445@ircpuzzles/2015/april-fools/sixth/zgrep QUIT :
< 1576085162 556629 :^[!sid43445@ircpuzzles/2015/april-fools/sixth/zgrep JOIN :#esoteric
< 1576086895 456757 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric
< 1576087221 174446 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh yay, another variation on the intcode interpreter.
< 1576087289 408452 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(Purity means that synchronizing input and output takes extra effort... and as it turns out, that was not really required.)
< 1576087405 877850 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(while the description says that the hull painting robot can use input instructions all the time, the actual program nicely follows the patter of reading one input, then producing two outputs)
< 1576087508 95205 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection
< 1576087612 603590 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I've also started to abuse pattern guards a lot...
< 1576087632 57468 :int-e!~noone@int-e.eu PRIVMSG #esoteric :> let f x | x <- x+1, x <- x*2 = x in f 4
< 1576087636 311409 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 10
< 1576087769 369771 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric
< 1576087921 403710 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yeah, my prediction that we'd've seen all of Intcode got obsolete in record time.
< 1576088271 121017 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The one I have now has four I/O mechanisms. One to stdin/out with prompts for interactive use, one that's reads from / writes to a list for earlier problems, one which uses Python's thread-safe queues because I made that feedback loop actually run technically in parallel (I'm sure it's always 4/5 blocking for input though) and now one with just a pair of generic callback functions that do the robot.
< 1576088289 618485 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection
< 1576088470 75417 :int-e!~noone@int-e.eu PRIVMSG #esoteric :evolution: http://paste.debian.net/1120691/
< 1576088477 171745 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(very minor spoiler)
< 1576088660 225495 :LKoen!~LKoen@lstlambert-657-1-122-23.w92-154.abo.wanadoo.fr JOIN :#esoteric
< 1576088672 625552 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh the day 2 one didn't have a type signature, but it would've been Int -> [Int] -> [Int].
< 1576088719 365045 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Maybe we'll see Intcode every second day? :)
< 1576088748 930327 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric
< 1576088760 475369 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: do you like Langton's ant?
< 1576088760 586070 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: ( and t f)) if you prefer; the effect is unspecified.
> 1576088830 565366 PRIVMSG #esoteric :14[[07User:DmilkaSTD14]]4 10 02https://esolangs.org/w/index.php?diff=67899&oldid=67844 5* 03DmilkaSTD 5* (+119) 10
> 1576088917 188246 PRIVMSG #esoteric :14[[07User:DmilkaSTD14]]4 10 02https://esolangs.org/w/index.php?diff=67900&oldid=67899 5* 03DmilkaSTD 5* (-8) 10
< 1576089833 631528 :^[!sid43445@ircpuzzles/2015/april-fools/sixth/zgrep QUIT :
< 1576089902 396198 :^[!sid43445@ircpuzzles/2015/april-fools/sixth/zgrep JOIN :#esoteric
< 1576090318 669406 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Quit: Quittin'.
< 1576090394 136441 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric
> 1576090418 382635 PRIVMSG #esoteric :14[[07Intcode14]]4 10 02https://esolangs.org/w/index.php?diff=67901&oldid=67851 5* 03Int-e 5* (+244) 10/* Example Programs */ Langton's ant
> 1576090723 537907 PRIVMSG #esoteric :14[[07Intcode14]]4 M10 02https://esolangs.org/w/index.php?diff=67902&oldid=67901 5* 03Int-e 5* (+3) 10days
< 1576094482 7015 :b_jonas!~x@catv-176-63-13-234.catv.broadband.hu JOIN :#esoteric
< 1576094522 687310 :b_jonas!~x@catv-176-63-13-234.catv.broadband.hu PRIVMSG #esoteric :fungot, are raspberries better than strawberries?
< 1576094522 784513 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :b_jonas: i am using the fluid-let syntax ( very similar to fnord
< 1576094701 167087 :b_jonas!~x@catv-176-63-13-234.catv.broadband.hu PRIVMSG #esoteric :oh, that Intcode stuff, is that also about the Advent of Code? good for you. I'm busy doing ugly real-world stuff for work so I didn't bother with that now
< 1576096034 264006 :LKoen!~LKoen@lstlambert-657-1-122-23.w92-154.abo.wanadoo.fr 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.”
> 1576096725 703633 PRIVMSG #esoteric :14[[07Intcode14]]4 10 02https://esolangs.org/w/index.php?diff=67903&oldid=67902 5* 03Int-e 5* (-78) 10/* Hello, World! */ a working hello world (the previous version executed undefined opcodes, apparently assuming they would be skipped)
> 1576099905 871332 PRIVMSG #esoteric :14[[07Intcode14]]4 10 02https://esolangs.org/w/index.php?diff=67904&oldid=67903 5* 03Int-e 5* (+158) 10Restructure, improve consistency, reduce direct quotes from AoC site, and use less emphasis.
> 1576100011 318202 PRIVMSG #esoteric :14[[07Intcode14]]4 M10 02https://esolangs.org/w/index.php?diff=67905&oldid=67904 5* 03Int-e 5* (+3) 10missed a spot, as usual...
< 1576100573 828817 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Hrm, what are the alternatives to  https://esolangs.org/wiki/Category:Usability_unknown ?
< 1576100978 318394 :b_jonas!~x@catv-176-63-13-234.catv.broadband.hu PRIVMSG #esoteric :int-e: https://esolangs.org/wiki/Category:Unusable_for_programming
< 1576101177 562081 :b_jonas!~x@catv-176-63-13-234.catv.broadband.hu PRIVMSG #esoteric :int-e: the Categorization page seems to say to me that there's no special category for languages that are usable for programming, I assume because most esolangs should be usable for programming, notwithstanding the large amounts of "brainfuck with some extra instructions but the loops can't nest" nonsense that some users post
> 1576101179 810643 PRIVMSG #esoteric :14[[07Intcode14]]4 10 02https://esolangs.org/w/index.php?diff=67906&oldid=67905 5* 03Int-e 5* (+501) 10Computational class, sort categories.
> 1576101260 667751 PRIVMSG #esoteric :14[[07Intcode14]]4 10 02https://esolangs.org/w/index.php?diff=67907&oldid=67906 5* 03Int-e 5* (-31) 10I believe Intcode (as of now) is eminently usable for programming
< 1576101263 282117 :int-e!~noone@int-e.eu PRIVMSG #esoteric :b_jonas: thanks
< 1576101305 2919 :b_jonas!~x@catv-176-63-13-234.catv.broadband.hu PRIVMSG #esoteric :but, as always, I may just be inventing things, don't trust me when I talk about esolang community traditions
< 1576101366 800270 :int-e!~noone@int-e.eu PRIVMSG #esoteric :ACTION shrugs.
< 1576101389 867965 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I take responsibility for the edit, obviously. It's no big deal, it's a wiki, people can overrule things.
< 1576101431 997963 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( let's rename it to int-code )
< 1576102114 544509 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: How's your SAT learning experience going?
< 1576102158 198378 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: I was asleep the last few times you talked about it.
< 1576103128 210957 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: Haven't touched it since the last time I talked about it here, I think.
< 1576104100 996228 :b_jonas!~x@catv-176-63-13-234.catv.broadband.hu PRIVMSG #esoteric :for a change, I'm listening to such pop music where the lyrics is pronounced clearly so I can understand every word without refering to a transcript of the lyrics
< 1576104122 796111 :int-e!~noone@int-e.eu PRIVMSG #esoteric :"enunciates well"
< 1576104188 547477 :b_jonas!~x@catv-176-63-13-234.catv.broadband.hu PRIVMSG #esoteric :yes, that
< 1576104214 270454 :b_jonas!~x@catv-176-63-13-234.catv.broadband.hu PRIVMSG #esoteric :though it also slightly helps that these ones are in Hungarian
< 1576104235 348293 :int-e!~noone@int-e.eu PRIVMSG #esoteric :That's actually a remarkably awful google search term...
< 1576104246 711463 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Or at least duckduckgo search term.
< 1576104289 969485 :b_jonas!~x@catv-176-63-13-234.catv.broadband.hu PRIVMSG #esoteric :what is?
< 1576104299 614260 :int-e!~noone@int-e.eu PRIVMSG #esoteric :The thing in quotes.
< 1576104354 949251 :int-e!~noone@int-e.eu PRIVMSG #esoteric :"awful" in the sense that none of the hits look in any way interesting... rather they look like actual reviews of singers and speakers of no significance.
< 1576104382 983428 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Not "awful" in the goatse sense.
< 1576104443 135429 :b_jonas!~x@catv-176-63-13-234.catv.broadband.hu PRIVMSG #esoteric :well, it's not particularly specific
< 1576104451 922051 :b_jonas!~x@catv-176-63-13-234.catv.broadband.hu PRIVMSG #esoteric :there are lots of things you could enunciate well or badly
< 1576104655 939262 :b_jonas!~x@catv-176-63-13-234.catv.broadband.hu PRIVMSG #esoteric :some other times I like to Youtube binge for multiple performances of the same piece of music or poem. it can be interesting to compare them
< 1576104686 737726 :b_jonas!~x@catv-176-63-13-234.catv.broadband.hu PRIVMSG #esoteric :I mean multiple good performances by different bands or performers
< 1576105880 653878 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net JOIN :#esoteric
< 1576106009 472380 :b_jonas!~x@catv-176-63-13-234.catv.broadband.hu PRIVMSG #esoteric :the songs on this album vary a lot in how well the lyrics matches the rhythm of the music