< 1572480938 992721 :mniip!mniip@freenode/staff/mniip QUIT :Ping timeout: 612 seconds < 1572481136 503563 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 QUIT :*.net *.split < 1572481136 581734 :zemhill_________!bfjoust@selene.zem.fi QUIT :*.net *.split < 1572481344 615639 :mniip!mniip@freenode/staff/mniip JOIN :#esoteric < 1572481479 595172 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 JOIN :#esoteric < 1572481479 595231 :zemhill_________!bfjoust@selene.zem.fi JOIN :#esoteric < 1572482000 663392 :mniip!mniip@freenode/staff/mniip QUIT :Remote host closed the connection < 1572482084 356823 :mniip!mniip@freenode/staff/mniip JOIN :#esoteric < 1572483034 939988 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1572487000 676583 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :forthers seem to be really against new concepts. must be a religion. < 1572487078 9743 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net PRIVMSG #esoteric :imode: forthers? < 1572492728 421391 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :ArthurStrong: people who use forth. < 1572492880 27395 :pikhq!uid394595@gateway/web/irccloud.com/x-putygvflmnyxxsta PRIVMSG #esoteric :It's a fine religion, really < 1572493325 852459 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :it's like, nothing makes sense unless it's _explicitly two stacks and ANSI Forth words_. < 1572493360 68097 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :and they hate anything that deviates from that. despite, you know, the main theme of the language is that it's relatively amorphic. < 1572494724 710638 :Bowserinator!Bowserinat@hellomouse/dev/Bowserinator QUIT :Quit: Blame iczero something happened < 1572494736 148306 :iovoid!iovoid@hellomouse/dev/iovoid QUIT :Quit: iovoid has quit! < 1572494739 117063 :probability!iczero@hellomouse/dev/iczero QUIT :Quit: rip < 1572494945 723342 :moony!moony@hellomouse/dev/moony QUIT :Ping timeout: 268 seconds < 1572495184 660975 :Bowserinator!Bowserinat@hellomouse/dev/Bowserinator JOIN :#esoteric < 1572495344 526810 :iovoid!iovoid@hellomouse/dev/iovoid JOIN :#esoteric < 1572495363 515274 :wlp1s1!iczero@hellomouse/dev/iczero JOIN :#esoteric < 1572495414 539696 :moony!moony@hellomouse/dev/moony JOIN :#esoteric < 1572495426 132409 :wlp1s1!iczero@hellomouse/dev/iczero NICK :probability < 1572495785 868924 :zzo38!~zzo38@24-207-15-213.eastlink.ca JOIN :#esoteric < 1572495893 663790 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Quit: Leaving < 1572496275 101700 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1572496291 122772 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :What wording should I use at the top of the source file if it is meant to be public domain? Currently I just wrote "// This program is public domain." but someone complained (article on Usenet). < 1572498788 161783 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net PRIVMSG #esoteric :OIC < 1572499251 975605 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 252 seconds < 1572499780 837386 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :I found the answer < 1572499864 492288 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The domain is public, but what's the codomain? < 1572500034 440161 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :I don't know. < 1572500082 169417 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net PRIVMSG #esoteric :shachaf: you have to find inverse function? < 1572500571 156475 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What? < 1572500667 426394 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net PRIVMSG #esoteric :shachaf: you want to find a codomain of f(public)? < 1572501348 71064 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Since sometimes there is a kernel panic when I use the printer with my computer, would it work if instead I use a Raspberry Pi computer as the printing server and then connect it to the router? Will that allow me to print properly? < 1572501514 768963 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Nothing will allow you to print properly. Printers don't work. < 1572501535 855072 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Though a kernel panic sounds like a particularly bad failure. < 1572501544 258581 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(But I empathize with the kernel.) < 1572501901 475001 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :I wonder if it is a problem with the USB interface of the printer. This printer also has wireless internet, although I have been unable to get it to work. < 1572501904 83561 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :zzo38: it's worth a shot. i guess the question is whether the raspberry pi will encounter the same kernel panic < 1572501959 314436 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :kmc: Yes, now I thought maybe it will. But sometimes it works. So, even if it does, at least that way it will not shut down the entire computer and only the printing server will be shut down in that case, I suppose. < 1572501985 532364 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :that does seem like an improvement < 1572502155 527818 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Can you run a virtual machine or userspace process and have that run the printer drivers? < 1572502187 261061 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :If it is a hardware problem then I do not expect that to work. < 1572502974 96572 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :shachaf: I was going to suggest that but it seemed too silly even for here < 1572503003 409001 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :but it's true, it would isolate the kernel panics the same as the rpi would < 1572503041 65240 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :higan < 1572503055 221448 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo you should invent my fancy programming language for me < 1572503087 26587 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :I think it if is a problem with the hardware such as with the power or whatever, I am not so sure that it would isolate the kernel panics then. < 1572503138 868264 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I would expect that it's a driver problem. < 1572503158 458014 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What sort of nonsense could be going over the USB cable to cause a kernel panic? < 1572503189 453839 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's my best bet for doing ELF linking? < 1572503192 837324 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :I don't know, but I think that someone suggested here before it might be some kind of hardware problem < 1572503204 569189 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is doing it myself too much trouble because of things like link-time optimization and C++? < 1572503232 818721 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe I can use ld to do link-time optimization of libraries by prelinking them into one object file. < 1572503433 74472 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :shachaf: less than 3 hours left in my first gigasecond of life < 1572503440 185519 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :we made cake < 1572503446 696383 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa < 1572503453 743844 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i want cake < 1572503487 241419 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :
ACTION hands shachaf a piece of cake
< 1572503508 405116 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i want edible cake and not just words < 1572503525 423638 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :do I actually want to stay up until 02:12 < 1572503530 586101 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :today i made myself delicious noncake food < 1572503535 667293 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :do you have a choice < 1572503551 158693 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :i'm (to borrow a phrase you once used) pregretting this decision < 1572503584 655118 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Did I say that? < 1572503591 303076 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :yes < 1572503600 895995 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :i think you were going to go with me to the flea market at butt o' clock in cupertino < 1572503607 331923 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :and said you were pregretting the decision to do so < 1572503617 457182 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :but in the end you didn't, so I guess that pregret was for naught? < 1572503620 100121 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I must've pregretted it so much that I didn't do it. < 1572503628 501397 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That sounds like the most useful kind of pregret. < 1572503647 806072 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Why regret -- or pregret -- things if it has no effect on your actions? That's just useless suffering. < 1572503665 633947 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :is the concept of pregret related to the concept of type II fun? < 1572503677 299597 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :it's sort of the opposite < 1572503705 820769 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :type II fun is motivated by pre-reminiscing or something < 1572503721 62777 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :preminiscing? < 1572503738 352495 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :my friend carson mapped out the 8 combinations of positive or negative feelings before, during, and after an activity < 1572503742 72028 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :and gave each one a name < 1572503745 292462 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i'm going to preminisce a bunch of \rainbow{coins} for my big ico < 1572503746 200070 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :but i forgot what most of the names were < 1572503754 639768 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I met that human once! < 1572503772 133040 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :the name he used for enjoyment before/during, regret after was "hedonism" and I objected strongly < 1572503795 7427 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hedonism seems to be the entire subset of enjoyment during, or something? < 1572503803 753105 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :and cited hedonism-bot from futurama < 1572503847 986840 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :I think it's a subtype of enjoyment < 1572503855 456077 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :but perhaps a tricky-to-define one < 1572503940 80941 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :🍄 < 1572503953 437876 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :mushroom < 1572503969 41870 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I was invited on a mushroom foraging trip but it turns out I'll have an MRI on the same day so I can't go. :-( < 1572503972 916016 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :aw < 1572503974 947330 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :that's too bad < 1572503980 883520 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :what are the details of this trip? < 1572504166 841095 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :there's also the matter of short-term versus long-term regret < 1572504199 484829 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :i.e. a wild night out may result in a hangover but become a fond memory over time < 1572504276 428708 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :not sure about the details < 1572504375 390031 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :shachaf: i could bring you some cake on friday maybe < 1572504385 946146 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :after all you're the one who told me about my birthgigasecond in the first place < 1572504388 961955 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :<3 < 1572504396 793630 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :it has eggs and dairy btw < 1572504414 385187 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :and a little beer < 1572504430 891512 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa, did I? < 1572504476 443940 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess I should keep track of people who are around your age who also have their birthgigasecond coming up. < 1572504770 705374 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :I made ZZ Zero, it is a bit similar to ZZT, but ZZ Zero has its own assembly language. Here is an assembly language code in ZZ Zero: http://zzo38computer.org/textfile/miscellaneous/example1 Now I noticed there is a few bugs and a few things which could be written better than it is, did you find it even though it is not explained? < 1572504945 106977 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: speaking of mushrooms are you mushroom pizzaing < 1572505396 435728 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Do you like ZZ Zero? < 1572505421 875966 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ZZZero38? < 1572505656 162202 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :No, it is just the game program similar to ZZT, therefore I called it ZZ Zero instead. < 1572505795 176330 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :How to improve the keyboard speed in BASIC? I did figure out a code to clear the keyboard buffer: DEF SEG = 0 : POKE &H41A, PEEK(&H41C) but this does not improve the speed of the keyboard, and only fixes it so that if the keys are held down to indicate movement, the move will stop as soon as the key is released, if the game speed is slower than the keys. < 1572505897 198146 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :shachaf: when is mushroom pizza < 1572505939 464855 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :I like to make plain pizza < 1572505943 914869 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :not announced yet < 1572505944 381742 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :(without mushrooms) < 1572505954 26472 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :zzo38: which machine is that for < 1572506011 484286 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :kmc: The BASIC code I posted is for PC. < 1572506032 222111 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :(As far as I know, DEF SEG does not apply to any other computer) < 1572506066 899762 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :and what does DEF SEG do? < 1572506083 939321 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :I wrote plenty of QBASIC code but very rarely used POKE/PEEK < 1572506098 701901 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Selects which segment to use for POKE/PEEK. < 1572506109 108825 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :OK < 1572506179 526759 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: What are the ingredients of plain pizza? < 1572506183 24005 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is it only dough? < 1572506206 503094 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :(For example, if you write DEF SEG = &HB800 then you can access the video memory.) < 1572506290 718955 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :shachaf: It is pizza dough, yes, although it is not entirely plain because I add oregano and oil on top too, usually, and sometimes also cheese (but not as much as the commercial pizzas). < 1572510093 688706 :b_jonas!~x@catv-176-63-14-87.catv.broadband.hu PRIVMSG #esoteric :shachaf: quickly get a metalic hip prothesis to get out of the MRI and be able to go to the trip < 1572510366 257237 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But I want the MRI. < 1572510613 835885 :b_jonas!~x@catv-176-63-14-87.catv.broadband.hu PRIVMSG #esoteric :shachaf: you'll have to organize another such trip then < 1572510630 928193 :b_jonas!~x@catv-176-63-14-87.catv.broadband.hu PRIVMSG #esoteric :at a more suitable time < 1572511254 983975 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru JOIN :#esoteric < 1572511388 578517 :cpressey!~cpressey@5.133.242.4 JOIN :#esoteric < 1572511796 846125 :b_jonas!~x@catv-176-63-14-87.catv.broadband.hu QUIT :Remote host closed the connection < 1572512979 59167 :tromp!~tromp@2a02:a210:1585:3200:e89e:4bea:fa20:ece9 QUIT :Remote host closed the connection < 1572513211 846752 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :woo, made it < 1572513215 38253 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :1e9 < 1572514667 597432 :tromp!~tromp@2a02:a210:1585:3200:e89e:4bea:fa20:ece9 JOIN :#esoteric < 1572514834 297439 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Read error: Connection reset by peer < 1572514882 787108 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1572517541 295069 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :kmc: congrats! < 1572517583 559118 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :let the second gigasecond be even more nice < 1572517633 46063 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :hm it seems no one @told me anything about HOAS, let’s logread to be sure < 1572518476 624793 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric : maye be should start using stub templates? => hehe < 1572518486 429738 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric : Nothing will allow you to print properly. Printers don't work. => sad but true < 1572518639 337571 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :an esolang where the print command behaves like a printer with all its quirks < 1572518693 463095 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :oh it hurts < 1572518759 503314 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :
ACTION is going to add some quotes to HackEso privately and no one will know if he’s done something wrong
< 1572518823 202240 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :sometimes, print will just put out some random emojis upside down < 1572518852 594911 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :other times, it will print white on black because somebody configured it to do so < 1572519326 649590 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1572519593 474501 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :oh pizzas. Now I want pizza < 1572519602 915056 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :I ate a croissaint today < 1572519651 417417 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :cut your pizzas into twelve~ < 1572519689 637404 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`hurl < 1572519690 490536 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :https://hack.esolangs.org/repo/ < 1572519706 323169 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :oh TIL it’s written “croissant”, no saints and crosses, just a crescent < 1572519710 227845 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh no < 1572519781 112369 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :I was discovered!! :o < 1572519801 490928 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :no more private talk with HackEso :′( < 1572519888 88033 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :myname: is it because 12 has so many divisors? < 1572519922 459408 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :arseniiv: yeah, there's a song from axis of awesome about it < 1572519932 11180 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :interesting < 1572519961 843095 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :an 8 slice pizza cannot be evenly shared by three < 1572519970 71942 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :hi < 1572520013 899173 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :mmm pizza < 1572520044 14794 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :Lykaina: hi < 1572520074 365335 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :woke up at 6:56am to someone knocking at either my or my neihbor's door < 1572520119 183450 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :I want another croissaint, but it’s not healthy (and so delicious) and I don’t have any left < 1572520158 131523 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :damn, I wrote “croissaint” again < 1572520160 900036 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :eat pizza instead < 1572520172 294018 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :no pizza either! < 1572520187 571468 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :no anything, only tea and apples < 1572520194 766037 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :and a fridge < 1572520236 422578 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :(I’m not entirely serious but there’s no pastry-dough-things) < 1572520252 597786 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :i don't even get how you come to "croissaint", the pronounciation would be completely off < 1572520258 175597 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :go shopping, today because tomorrow is a holiday and every shop will be closed. or order food from the internet. < 1572520300 599997 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :tomorrow is a holiday? < 1572520424 865004 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :myname: I know only pieces of French orthography :D hm now if I to compare with something I remember, it would indeed obvious. Though before today I hadn’t even write it in latin script at all < 1572520493 437900 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :and yesterday eating the previous croissant I thought it was connected with saints, not thinking too much about what it would entail for pronunciation < 1572520524 115538 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :that one I think was the reason the second i emerged today < 1572520576 189145 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :wib_jonas: hm what holiday, is it international enough?.. < 1572520634 393670 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :I have enough food but I want croissant but you may remember that I said donuts are the devil or something, and croissants definitely aren’t so far < 1572520705 843721 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :Lykaina: yes, it will be --11-01, that's been a holiday for about ten years now < 1572520716 920411 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :it is somewhat international < 1572520747 788594 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :what? < 1572521044 113148 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :all saints day? < 1572521091 751055 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` hg log -T "{rev}:{date|shortdate}:{files}:{desc}\n" -r 11995: < 1572521092 672007 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :11995:2019-10-31:quotes: addquote The domain is public, but what\'s the codomain? < 1572521149 960018 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :Lykaina: dunno. I don't care about the significance or name of the holiday. that's for other people. it only matters that it's a holiday when most people don't work. < 1572521167 77881 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :i'm only awake cause some moron was knocking on doors < 1572521176 642770 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :go back to sleep < 1572521194 49318 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :can't < 1572521216 483562 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :have to wake in an hour < 1572521377 946806 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :perfect time for youtube < 1572521602 532864 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :arseniiv: lambdabot did not msg me! But I read the logs. HOAS is intriguing (I've been reading about it) but it sounds like you have to apply higher-order unification to use it, which sounds a bit heavyweight "just for syntax". Also I'm not yet clear on what exactly makes it better than de Bruijn indexes. < 1572521712 682999 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :I find de Bruijn indexes hard to read, but you could always pretty-print them into variable names when dumping out a structure. < 1572529059 699171 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :hm I think I made my HOAS best it could be without dependent types. I bet it allows false-positive “proofs” (of first-order statements, as propositionally the thing should work as expected), though I’m lazy to search for them; https://repl.it/repls/ImpartialWaterloggedFolder < 1572529168 144113 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :cpressey: on de Bruijn indices: agree < 1572529568 919439 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :hmmm could I write something like `Ex :: (Term t -> F (a t)) -> F (forall t. (Term t, a t))` < 1572529583 469615 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :I don’t even know what it is < 1572529599 238137 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :this should be akin to runST < 1572529795 165376 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :and then `ExI :: Term t -> I (a t) -> I (forall t. (Term t, a t)` and ``ExE :: I (forall t. (Term t, a t)) -> (Term t -> I (a t) -> I b) -> I b` or something < 1572529863 92399 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :would the code typecheck if this is a valid syntax at all < 1572532259 350703 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :fungot, what's better for turning undead, a lathe or a turntable? < 1572532259 441066 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :wib_jonas: a lot to the paladins and a full line, much like this go board and replace it with the same way that i, myself, can hear?? < 1572532294 71676 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :a lot of paladins for turning undead? yes, that could work < 1572533762 517710 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1572533832 616088 :tromp!~tromp@2a02:a210:1585:3200:e89e:4bea:fa20:ece9 QUIT :Remote host closed the connection < 1572533927 235152 :Cale!~cale@2607:fea8:9960:35:15ca:67bf:6980:12ef PRIVMSG #esoteric :`ysac Garlic Bread Guide - You Suck at Cooking (episode 98) https://www.youtube.com/watch?v=UPuV52ydBfU < 1572533927 893871 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​/srv/hackeso-code/multibot_cmds/lib/limits: line 5: exec: ysac: not found < 1572533935 120833 :Cale!~cale@2607:fea8:9960:35:15ca:67bf:6980:12ef PRIVMSG #esoteric :`ysaclist < 1572533935 870249 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :ysaclist: boily shachaf < 1572534570 983407 :tromp!~tromp@2a02:a210:1585:3200:e89e:4bea:fa20:ece9 JOIN :#esoteric < 1572537449 279746 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Remote host closed the connection < 1572538408 444055 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :arseniiv: Interesting, I should try to wrap my head around https://repl.it/repls/ImpartialWaterloggedFolder sometime (I'll need more practice with GADTs first I think) < 1572538414 227438 :cpressey!~cpressey@5.133.242.4 QUIT :Quit: WeeChat 1.4 < 1572539325 869769 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :ironic that I’m not so easy about GADTs still. It seems they are simple, but who knows what I could be missing. What GHC desugars them into wasn’t obvious to me when I read about that a week(?) ago < 1572540575 791915 :lf94!~lf94@unaffiliated/lf94 PRIVMSG #esoteric :arseniiv: GADTs are not magic... < 1572540579 852422 :lf94!~lf94@unaffiliated/lf94 PRIVMSG #esoteric :it's a fancy work < 1572540582 64052 :lf94!~lf94@unaffiliated/lf94 PRIVMSG #esoteric :word < 1572540599 360560 :lf94!~lf94@unaffiliated/lf94 PRIVMSG #esoteric :First you start with ADT - what IS an ADT? < 1572540679 947797 :lf94!~lf94@unaffiliated/lf94 PRIVMSG #esoteric :(If I remember correctly) An ADT is a type with no parameters: type LoL = Int | String < 1572540695 944572 :lf94!~lf94@unaffiliated/lf94 PRIVMSG #esoteric :A GADT is a type that can take parameters (Generalized) < 1572540704 256689 :lf94!~lf94@unaffiliated/lf94 PRIVMSG #esoteric :Type LoL a = Int | a < 1572540711 872823 :lf94!~lf94@unaffiliated/lf94 PRIVMSG #esoteric :boom done < 1572540715 404610 :lf94!~lf94@unaffiliated/lf94 PRIVMSG #esoteric :nothing else to it < 1572540731 953639 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :lf94: the implementation is fairly complicated < 1572540738 433847 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :because when you pattern match on a GADT, you refine its type < 1572540745 808677 :lf94!~lf94@unaffiliated/lf94 PRIVMSG #esoteric :what matters is how to use it. < 1572540747 234647 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :and this can be used on the RHS < 1572540760 51122 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :iirc, GHC had to add type equalities as another kind of typeclass-ish constraint < 1572540760 249508 :lf94!~lf94@unaffiliated/lf94 PRIVMSG #esoteric :kmc what is the implementation of quantum mechanics? < 1572540765 191866 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :(a ~ b) => ... < 1572540768 552381 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :lf94: this is of some debate < 1572540777 909001 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :but also it is philosophical in nature < 1572540805 449209 :lf94!~lf94@unaffiliated/lf94 PRIVMSG #esoteric :It's very nice to understand the inner workings of anything < 1572540816 989692 :lf94!~lf94@unaffiliated/lf94 PRIVMSG #esoteric :but in many cases, you need to understand the usage of the thing < 1572540900 923747 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :sure < 1572540910 693459 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :I thought that arseniiv was asking about implementation < 1572540914 174932 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :because they mentioned desugaring < 1572540930 649778 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :iirc the features needed to typecheck those equality constraints are also needed for type families < 1572540936 179687 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :gadt can accomplish a lot of the same things < 1572540940 116151 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :GADTs are neat though < 1572540952 929877 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :they get you a lot of the power associated with dependently typed languages < 1572540967 314761 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :and allow you to implement much more correctenss properties in the type system < 1572541005 901095 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :when using Haskell as a metalangauge, it allows to put the object language's type system into the haskell type system < 1572541185 564137 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric < 1572541347 46298 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :lf94: hehe no, GADTs are trickier than simply adding a parameter. For example a DSL for simple expressions: < 1572541347 125862 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :data Expr a where < 1572541347 208652 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric : Num :: Int -> Expr Int < 1572541347 244812 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric : Add :: Expr Int -> Expr Int -> Expr Int < 1572541347 244866 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric : Eq :: Expr Int -> Expr Int -> Expr Bool < 1572541348 2770 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric : IfThenElse :: Expr Bool -> Expr a -> Expr a -> Expr a < 1572541348 2836 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :we couldn’t write something as refined by using plain ADTs where we only can return `Expr a`, not `Expr Int` or `Expr Bool` < 1572541404 668295 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :yeah < 1572541420 920859 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric : iirc, GHC had to add type equalities as another kind of typeclass-ish constraint => yeah, I was talking about that precisely :) < 1572541421 983878 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :there are weird ways to do it without GADTs < 1572541424 299024 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :but they're not as nice < 1572541433 608835 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :arseniiv: I forgot the name but there's a paper on basically how they did it < 1572541451 554488 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 276 seconds < 1572541583 393841 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric : but in many cases, you need to understand the usage of the thing => I join with kmc, surely, though ultimately an average human like me learns not by discovering representation nor by grasping API but by many many examples; how are these generated in each case is another question < 1572541701 54613 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :kmc: hm I can’t remember what I read too, why GADTs impl was even mentioned there, it seems that was a text on another topic < 1572541904 275857 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Quit: This computer has gone to sleep < 1572541956 159250 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :ah I remembered: http://dev.stephendiehl.com/hask/#gadts-1 < 1572542148 571756 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :somewhat cluttered but there are lots of useful notes someone may have overlooked < 1572542165 386457 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1572543122 870587 :zzo38!~zzo38@24-207-15-213.eastlink.ca QUIT :Ping timeout: 240 seconds < 1572543430 520668 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1572543485 540550 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :arseniiv: your perspective is refreshing. < 1572543855 842096 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :also happy halloween. < 1572543864 570034 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :feed your jack-o-lanterns plenty of fire. < 1572544350 869211 :zzo38!~zzo38@24-207-15-213.eastlink.ca JOIN :#esoteric < 1572544737 60015 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :imode: some years ago, I made an imrovised jack-o-lantern from a clementine and a clever(?) lighting < 1572544738 926966 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :happy halloween < 1572544742 254723 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :lol < 1572544756 963289 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :maybe I’ll find it and post a link < 1572544825 789010 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :arseniiv: tiny pumpkin! < 1572544862 766708 :lf94!~lf94@unaffiliated/lf94 PRIVMSG #esoteric :arseniiv: that sounds cool < 1572544955 738797 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :imode: lf94: kmc: here: https://i.postimg.cc/5t3RY22v/DSC-1154.jpg < 1572544994 896357 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :as you see it wasn’t carved too deep but has a charming grin < 1572544996 736217 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :it's so happy. ;~; < 1572545108 232691 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :very very happy < 1572545119 603357 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :I ate it after some time and was too < 1572545124 721000 :lf94!~lf94@unaffiliated/lf94 PRIVMSG #esoteric :hahaha < 1572545126 717974 :lf94!~lf94@unaffiliated/lf94 PRIVMSG #esoteric :so nice < 1572546031 278710 :b_jonas!~x@catv-176-63-13-230.catv.broadband.hu JOIN :#esoteric < 1572547145 536647 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 276 seconds < 1572548658 970770 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1572548770 29066 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1572549035 76600 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :shachaf: OK I looked at the fmt.h now. I think that the "c" format should not use UTF-8 and that UTF-8 should be a separate format (perhaps "u"). < 1572549199 633435 :b_jonas!~x@catv-176-63-13-230.catv.broadband.hu PRIVMSG #esoteric :zzo38: definitely not u, that's already used. I recommend c with some prefix, like lc or Lc or qc < 1572549351 311781 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :I started working on the disassembler for real, in Java < 1572549359 18125 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :and I've got something set up for now < 1572549366 611251 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :+>+[>>>>[-]++++++++++ < 1572549370 371279 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :is getting translated back into < 1572549370 993547 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :; -> frs < 1572549371 163871 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :; -> imc r1 < 1572549371 163915 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :; -> imm r1 += 10 < 1572549393 715142 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :just to note, these are not the formal asm2bf/bfasm instructions, just the building blocks the other part of disassembler will take care of < 1572549403 801351 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :if I went ahead with < 1572549413 764514 :b_jonas!~x@catv-176-63-13-230.catv.broadband.hu PRIVMSG #esoteric :kspalaiologos: that has an unbalanced bracket < 1572549417 932650 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :`` asm2bf <<<"mov r2, 0" < 1572549418 685645 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​/hackenv/bin/`: line 5: asm2bf: command not found < 1572549425 640356 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :b_jonas, yes, that's right < 1572549431 912239 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :but there are a lot of assumptions now < 1572549436 370510 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :because of early stage of the program < 1572549442 725860 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :b_jonas: Yes, that would do. Yes, you are right, but fmt.h does not use the "u" format for anything, or most other formats supported by printf(). < 1572549448 509033 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :`` bfasm <<<"mov r2, 0" < 1572549449 238302 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​+>+[<[>>+>+<<<-]>>[<<+>>-]>[[-]>>>[-]<<<]<<<[>>+>+<<<-]>>[<<+>>-]>[[-]<<<[-]>[-]>>]<<] < 1572549454 505422 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :perfect < 1572549464 123880 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :so this will get translated to some longer code because most isn't yet implemented < 1572549476 77139 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :so instead of outputting mov r2, 0 it would output something like < 1572549506 543668 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :frs, imc t1, mov < 1572549515 644540 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :so a lot of data isn't preserved by now < 1572549565 411633 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :btw, I remember that I've added a newline preserving wrapper over bfasm, but it seems like somebody has removed it < 1572549568 552410 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :`? bfasm < 1572549569 635248 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :bfasm is the brainfuck assembler. Documentation and samples: https://raw.githubusercontent.com/KrzysztofSzewczyk/asmbf/master/doc/bfasm.doc < 1572549573 638506 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :`? asmbf < 1572549574 732637 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Wrapper around bfasm, that automatically converts slashes to newlines and feeds it into original compiler < 1572549589 562506 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :nevermind, I named it the other way round < 1572549663 167163 :b_jonas!~x@catv-176-63-13-230.catv.broadband.hu PRIVMSG #esoteric :kspalaiologos: name thme both bfasm, but use the ! framework for the wrapper one? < 1572549691 944851 :b_jonas!~x@catv-176-63-13-230.catv.broadband.hu PRIVMSG #esoteric :also, I think I'm not esoteric enough because I don't see the point of a brainfuck disassembler < 1572549712 514314 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :well, I made a brainfuck assembler once < 1572549715 487111 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :and it's listed here as bfasm < 1572549723 818275 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :but now, I've got a few programs with the source code lost < 1572549727 5711 :b_jonas!~x@catv-176-63-13-230.catv.broadband.hu PRIVMSG #esoteric :yes, I sort of understand the assembler < 1572549735 401243 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :and I can reverse engineer them by hand to check how are they made < 1572549738 652540 :b_jonas!~x@catv-176-63-13-230.catv.broadband.hu PRIVMSG #esoteric :ah < 1572549740 827541 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :but for 40+ programs it takes too much time < 1572549749 705148 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :so I'm trying to write something to help me out < 1572549754 143953 :b_jonas!~x@catv-176-63-13-230.catv.broadband.hu PRIVMSG #esoteric :ok, that is an esoteric enough goal < 1572549768 411695 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :that presumes, I dumped all the assembly source code with my trash and it's long gone by now lol < 1572549844 411810 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1572550117 26768 :quintopia!~quintopia@unaffiliated/quintopia QUIT :Ping timeout: 240 seconds < 1572550250 66683 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: It could also be {c|u} or something else. < 1572550279 169325 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :shachaf: Yes, that could be another possibility I suppose < 1572550284 729731 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I defined a show() macro so I can type show(x) to print out the type-aware value of x and also the variable name. < 1572550287 648952 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1572550287 891849 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So convenient. < 1572551191 113023 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Now I released ZZ Zero (although it is incomplete): http://zzo38computer.org/prog/zzzero.zip I also set up a NNTP to discuss it. < 1572551417 729014 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :what's this beauty < 1572551732 580177 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Do you mean the file I linked to? It is ZZ Zero; the read me file explains it. < 1572553117 52187 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1572553250 420208 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr JOIN :#esoteric < 1572553652 565457 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1572554273 987586 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 252 seconds < 1572554411 644170 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Quit: Leaving > 1572554951 990609 PRIVMSG #esoteric :14[[07User talk:Zzo3814]]4 10 02https://esolangs.org/w/index.php?diff=66900&oldid=65855 5* 03Moon 5* (+52) 10/* Dottyweb? */ new section > 1572554969 271475 PRIVMSG #esoteric :14[[07User talk:Zzo3814]]4 10 02https://esolangs.org/w/index.php?diff=66901&oldid=66900 5* 03Moon 5* (+76) 10i am a derp who forgot to sign < 1572555367 748627 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1572556809 688145 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 268 seconds < 1572557497 867952 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1572557863 687892 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr QUIT :Remote host closed the connection < 1572558006 468161 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :rust tempts me once again. < 1572558044 167565 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :I shouldn't use it. every year or so I get tempted to. < 1572558389 147441 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :I completed writing out the definition of generalized Minsky machine, at last < 1572558473 564962 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :it ended up pretty natural, though match+destruct commands end up with quite many arguments < 1572558556 461543 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :generalized minsky machine, huh? < 1572558697 567211 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :for example a machine for { data Nat = Z | S Nat; data List = Nil | Cons Nat } would have following commands (`−t` input register of type t, `+t` output register of type t, `s` state): < 1572558697 652822 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :Z +Nat s; S −Nat +Nat s; Nat −Nat s +Nat s; Nil +List s; Cons −Nat −List +List s; List −List s +Nat +List s < 1572558710 946333 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :ah. < 1572558713 799461 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :neat. < 1572558733 913170 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :imode: yeah, its instruction set is based on several possibly interdependent algebraic types < 1572558738 638130 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Why does arin.ga doesn't works now? < 1572558851 184604 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru PRIVMSG #esoteric :s/Cons Nat/Cons Nat List < 1572559180 132141 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1572559850 871923 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 240 seconds < 1572560084 518630 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1572560870 904153 :LKoen!~LKoen@81.255.219.130 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.” < 1572561398 967636 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1572561848 518016 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 276 seconds < 1572564456 870618 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1572564613 973366 :arseniiv!~arseniiv@94.41.13.149.dynamic.ufanet.ru QUIT :Ping timeout: 252 seconds