< 1456877235 909755 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :YESS < 1456877238 312591 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :YEEEEEEEES < 1456877269 900112 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: are you able to predict questions before they're asked of you? < 1456877288 955429 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :Also, I have a brainfuck program that generates ASCII art banners! < 1456877304 988390 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1456877319 93902 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :`? weather < 1456877328 186673 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :b_jonas, thanks! :D < 1456877329 133027 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :lambdabot: @@ @@ (@where weather) CYUL ENVA ESSB KOAK < 1456877331 983742 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : CYUL 020000Z 03010KT 10SM -SN OVC052 M10/M13 A3006 RMK SC8 SLP183 \ ENVA 012350Z 17020G34KT CAVOK 01/M07 Q0994 RMK WIND AT 670FT 17035G47KT \ ESSB 012350Z AUTO 12006KT 9999 OVC021/// M01/M05 Q1009 \ KOAK 012353Z 27010KT 10SM FEW100 FEW180 20/10 A3013 RMK AO2 SLP202 T02000100 10217 20167 56006 < 1456877350 405792 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@massages-loud < 1456877352 613740 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :shachaf said 3h 36m 23s ago: do not @messages-loud this message twh < 1456877367 668786 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :hellochaf. too late. < 1456877369 631645 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1456877382 143642 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :izabera, would you mind terribly if I use arin.ga to paste a rather large amount of brainfuck? < 1456877531 150401 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :Screw it, it's better to ask forgiveness than permission < 1456877574 152536 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Taneb: Yeah, but it's only easier if you don't explicitly say that to the person you would be getting permission (and will be asking for forgiveness) from < 1456877582 988601 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :So here's a project to recruit more people to the #esoteric empire < 1456877666 180239 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :ACTION waits patiently for someone to respond so he knows that he's talking to something other than an empty room < 1456877784 724671 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :why, are you afraid of echoes? < 1456877867 86231 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :hppavellon[1]. there's tofu in my mouth; I can't answer readily. < 1456877875 47616 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : echoes? < 1456877880 437165 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :int-e: Yes. < 1456877898 76965 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :int-e: I'd rather not talk at all that talk and have it get buried and ignored < 1456877900 357623 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric : choes? < 1456877908 182891 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's what usually happens. < 1456877910 802327 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :ACTION claps for shachaf and Taneb < 1456877914 363236 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric : ...oes... < 1456877922 547467 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :ACTION adds boily < 1456877938 238523 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Oh, I got some intuition for par the other day. < 1456877948 233454 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but it turned out to be kind of scow tdnh < 1456877959 294789 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :ACTION does not mapole shachaf < 1456877965 34928 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :So the idea is to create some simple (not 100% insane, but strange enough to be intriguing) esolangs that are practical to use < 1456877970 914831 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :brainfuck program I "wrote": https://arin.ga/FQLSPy/ < 1456877978 723630 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric : ...lap ...ap < 1456878001 240899 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :And publish them together with some project revolving around tehm < 1456878009 513477 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :And watch what people do < 1456878060 578696 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :They would be published on some blog (as opposed to esolangs.org, which defeats the purpose) with hopes of attracting new people, eventually to the point that we can do esolangs4charity or something like that < 1456878086 897318 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Also, because that way we get MOAR BRAINS. < 1456878092 832562 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :To make MOAR ESOLANGS < 1456878124 754528 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :. o O ( moaronic spelling ) < 1456878137 723319 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :An example of a language is a declarative language/machine called TurMinsFuck, which is exactly what it sounds like < 1456878178 387551 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :we will Conquer the World, one Eggplant at a Time! < 1456878186 226868 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yum. < 1456878188 268359 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :A side effect is that esolangs will show people how to implement languages, so we'll get MOAR non-esoteric languages too < 1456878196 629762 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :boily: That's the plan < 1456878240 518965 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :The aforementioned language is JSON-based, to ease implementation. The goal of users is to write a simple pseudo-OS in it < 1456878267 394686 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Or something, not sure yet < 1456878313 40080 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so how many of hppavilion[1]'s ideas have materialized so far? < 1456878321 332541 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :int-e: Thoof. < 1456878325 183178 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :int-e: That's about it. < 1456878335 933837 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :int-e: And it's unpublished as of yet < 1456878696 553172 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1456878712 153885 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :I'm really proud I got his program working < 1456878794 882403 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Taneb: that looks horrible :) < 1456878821 794461 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :also... <> ... doesn't look so useful :) < 1456878829 520668 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :It's generated < 1456878840 539930 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :I've been focusing on getting it working, not getting it looking nice < 1456878848 484469 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :There's a whole bunch of <> and I think some +- < 1456878861 243191 :lambda-11235!~lambda-11@47.208.113.50 JOIN :#esoteric < 1456878873 786371 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :what does it do? < 1456878882 309089 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :Generates ASCII art banners < 1456878948 505445 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :It takes a string in input and prints a rendering of that string using just space and # < 1456878952 229601 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I see. < 1456879010 806148 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :Using the font b_jonas is designing < 1456879171 481731 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :One type of brainfuck derivative I could never hate is one that uses novel data structures or types as its primitive- either instead of the tape or instead of the integers < 1456879362 436211 :idyllei!~idyllei@cpe-67-240-233-37.rochester.res.rr.com JOIN :#esoteric < 1456879655 929445 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :What's the font? < 1456879674 621572 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :prooftechnique, one b_jonas designed and shared with me < 1456879684 958646 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Taneb: At least run bf.replace('<>', '') on the program... < 1456879685 569927 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :I'm afraid I've lost the appropriate links < 1456879701 704260 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Aww. Is it as nice as \oren\'s? :D < 1456879720 413409 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :At the very least, it was more immediately available < 1456879767 225670 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :prooftechnique: What do you think would be good for an esolang practical enough that people can use it, but esoteric enough to be interesting? < 1456879767 359191 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :I really hope I win this competition < 1456879780 693981 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Taneb: Competition? < 1456879788 617631 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Taneb: Sounds like you have a good shot :) < 1456879806 836401 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :hppavilion[1]: Humo sounds neat. < 1456879812 294013 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :hppavilion[1], my uni's electronics society is running a brainfuck programming competition < 1456879821 147370 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :prooftechnique: Humo? < 1456879823 693110 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :My ego demanded I demonstrate I'm the best in my uni at brainfuck < 1456879827 479246 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Taneb: Awesome xD < 1456879835 464884 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :https://github.com/fpetrola/humo < 1456879839 284867 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Taneb: I don't see how you could lose < 1456879848 399474 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Also https://esolangs.org/wiki/Humo < 1456879853 703859 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :prooftechnique: I made a proof assistant based on s/// notation already :) < 1456879871 795727 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :hppavilion[1], well, the deadline is just listed as "the 2nd of March", and I submitted this at 00:15 < 1456879882 448842 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Taneb: Ah < 1456879898 634068 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :I've submitted solutions for all the easier challenges, though < 1456879911 309571 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Taneb: Wait, but does that mean at the beginning or end of march 2? < 1456879918 816210 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :I've got no idea < 1456879921 55413 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Taneb: Oh, this wasn't your own project? < 1456879934 355122 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Taneb: As in, your own idea for a freestyle competition < 1456879935 584740 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :I presume not the latter as the winner is announced at 2 < 1456879942 347971 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Ah < 1456879956 880098 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :tsk, the program overflows when given a 0xFF character as input < 1456879969 709028 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :DISQUALIFIED < 1456879971 736063 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :It wasn't my idea, but I think I'm the only person who attempted it < 1456879980 192499 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Ah < 1456879986 313559 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Taneb: How'd you generate it? < 1456879996 913981 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :hppavilion[1], Haskell script < 1456880002 829445 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Ah < 1456880022 982979 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :It's got a fairly regular structure, it's just really tedious and finicky < 1456880035 524534 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :There's a whole load of improvements I can make < 1456880038 86260 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Taneb: Did the competition include specifications about the particular bf dialect? < 1456880063 446105 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Taneb: I recommend you start maintaining it as FOSS and get it included in some distribution of Linux as a standard command xD < 1456880067 893195 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :32 bit word size, EOF is no change, 30000-length tape aborting on memory error < 1456880080 150687 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Ah < 1456880080 827727 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :characters 3,4,5,6 look so asymmetric < 1456880094 615374 :idyllei!~idyllei@cpe-67-240-233-37.rochester.res.rr.com QUIT :Quit: Leaving < 1456880109 48030 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :I'm tempted to feed it to tryitonline < 1456880162 530044 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :I now must wait a year for it to output < 1456880191 988665 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(I did this: for i in $(seq 255); do echo $i; echo ${i}P | dc | ./a.out banner.bf; done ... where a.out is a brainfuck interpreter) < 1456880202 422522 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :hppavilion[1], for the purpose of this competition the reference interpreter is https://copy.sh/brainfuck/ < 1456880203 80590 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I should use printf. < 1456880241 466081 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(but it's an 8 bit version) < 1456880255 661409 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :int-e, it should work fine on an 8-bit interpreter < 1456880282 585395 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Taneb: it does, except for character 255 < 1456880299 453418 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :Ah, shit, I can see why that would happen < 1456880301 470297 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Taneb: Do I pass it input with ! or what? < 1456880313 178376 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :hppavilion[1], depends on your brainfuck implementation < 1456880325 794116 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :Give it input as normal for your implementation < 1456880328 793479 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Taneb: With the reference < 1456880352 239695 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :There's a little input box under the output box < 1456880374 982844 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1456880375 116116 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Oh! < 1456880401 849294 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :That's amazing < 1456880420 220902 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Taneb: Bookmarked the paste < 1456880437 245028 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric ::) < 1456880444 476345 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :prooftechnique: An example of a language of that form is a TM+MM+BF description language < 1456880447 707400 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :It's for now All Rights Reserved probably < 1456880453 848523 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Taneb: xD < 1456880477 557609 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :Please don't redistribute it without asking me < 1456880481 222876 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :OK < 1456880492 889871 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Taneb: You should FOSS it when the competition ends and start actively maintaining it as a joke. < 1456880514 717824 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Taneb: What strategies are used to generate BF as such? Is there something I could read on this? < 1456880537 394991 :Opodeldoc!~Opodeldoc@208.114.92.193 JOIN :#esoteric < 1456880551 561811 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :hppavilion[1], I'm using a couple things from around the internet and a lot of things on the inside of my head < 1456880562 149638 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :OK < 1456880588 507261 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :bf program is not very hard to write (assuming you know some essential tricks like [-]) as long as you don't need arrays < 1456880590 712136 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :I linked something this afternoon about brainfuck control structures < 1456880602 39375 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :lifthrasiir, this... this uses arrays < 1456880642 802953 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :Taneb: to be exact, free-form arrays? I guess you store your text up somewhere and seek to the beginning or end by [<] or [>] < 1456880652 904062 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Was it oerjan who determined that 3-cell BF is Turing complete? < 1456880654 5581 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :lifthrasiir, sort of ish < 1456880658 613580 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :prooftechnique, yeah < 1456880663 477573 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :That was a fun day :) < 1456880670 648776 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Taneb: If one were to make a brainfuck that was made for much easier development (while still remaining esoteric), what instructions and changes do you think would be crucial? < 1456880673 994682 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :explicit arrays are harder, and multiple arrays at once are much harder < 1456880676 556977 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :lifthrasiir, I'm actually storing 20 copies of each character, with a bunch of cells of working space < 1456880677 421615 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :(This is turning into an interview xD) < 1456880694 170815 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :Taneb: is your banner 20 lines high? :p < 1456880697 714083 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :lifthrasiir, yeah < 1456880700 474507 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :great < 1456880721 699008 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :hppavilion[1], I think it would require enough changes to be not brainfuck at all any more before it's easy to use < 1456880731 442597 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :I guess I would have used a pair of cells instead, but yeah, that shouldn't really matter < 1456880734 994837 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :I don't program in brainfuck because it's easy < 1456880740 480336 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :I program in it because it's hard < 1456880752 855435 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Taneb: Not "easy", but "easier" < 1456880760 96359 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :lifthrasiir, and then I'm doing [<<...<<] with 200 or so to apply an axiom/theorem/lemma as a fixpoint, which applies it to the string until it stops changing < 1456882036 767113 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :And there's ?, which yields the set of the current string AND the current string when you apply thelemax < 1456882052 281382 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :(thelemax is short for theorem/lemma/axiom, and is used a lot in the docs) < 1456882075 186603 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: So you prove things by substituting using PCRE regexes on a known string, and you get new strings that represent your proof < 1456882109 901415 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Though future versions will support regex styles other than PCRE- e.g. Pure Kleene Regexes and standard regexes < 1456882115 594412 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :And, of course, raw strings < 1456882168 165537 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett? < 1456882177 252368 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Lemme see. < 1456882184 926280 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Best of all, I even have a Thoof interpreter working, partially < 1456882189 286946 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :OK, one sec, let me publish it < 1456882214 42873 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :All right, I see what you're doing here. < 1456882221 960101 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Do you know what a formal system is? < 1456882237 676772 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : tswett: I think someone did that already <-- pikhq's bfm which was renamed to something else - pickle? < 1456882345 702945 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: https://github.com/ZodiacWorkingGroup/Thoof < 1456882369 934193 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Yes, yes I do < 1456882371 178933 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :I think < 1456882382 124516 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Note that y/// and ? don't yet work; I just added them today < 1456882391 785174 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :(well, y/// might not have been today, but I think it was) < 1456882402 759131 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :(To the docs, that is, not to the code) < 1456882437 34782 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: construct.thoof is the file with the working, tested code in it < 1456882473 419552 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Now, Thue is already a language for specifying formal systems. < 1456882486 996439 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Yes, yes it is < 1456882506 757869 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Semi-thue systems < 1456882531 19927 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Did I do something wrong? xD < 1456882541 467130 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Nah, lemme keep typing. < 1456882546 225284 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :OK < 1456882555 500820 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :You've taken Thue, extended it, and also built a system for specifying specific Thue derivations. < 1456882573 954070 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :So if you want to do the analogous thing for brainfuck, you'll build a system for specifying specific brainfuck derivations. < 1456882574 87472 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :(One problem with IRC: None of the "x is typing" stuff fancy new chat things have) < 1456882582 101479 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Oh no... < 1456882587 198219 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : (thelemax is short for theorem/lemma/axiom, and is used a lot in the docs) <-- i'm pretty sure that word belongs in the other #esoterics hth < 1456882587 484476 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :And that raises a question: what is a brainfuck derivation? < 1456882621 2967 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: So "specific Thue derivations" means what exactly? < 1456882637 898783 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Specific ways of following the rules with a given start string in order to end with a given end string. < 1456882638 73029 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Also, note that you have to call substitution rules manually; they aren't automated < 1456882650 177928 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Ah < 1456882650 731172 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Right. The derivation is the sequence of calls. < 1456882668 517529 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :There are two "problems" with the idea of a brainfuck derivation. < 1456882676 318303 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :You can still call them in Thue-like fashion, by putting the desired ruleset in a theorem and fixpointing it (@) < 1456882687 183127 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: I'm sure one is that BF is imperative < 1456882693 40469 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :One is that brainfuck, unlike Thue, is deterministic. Given a starting state and a program, there's only one way that you can proceed. < 1456882704 546570 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Ah, yes < 1456882716 732008 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: I think there's another word for that < 1456882736 552327 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Unless you mean Thue is probabilistic, which is implementation-defined < 1456882795 464533 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :And the other "problem" is that brainfuck code works by taking a starting tape state (or tape segment state) and ending with another tape (segment) state. < 1456882826 220919 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Now, resolving the first "problem" seems easy, I think. Just add more instructions, which are nondeterministic. < 1456882848 520793 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: I can't tell what you mean by "deterministic" and "nondeterministic" here, based on what I assume they mean < 1456882856 829023 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :As for the second "problem"... I'll tell you what I can tell you and I'll let you run with it. < 1456882894 119555 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :"Deterministic" means "given the state for a time step, there is at most one possible state for the following time step". < 1456882915 225682 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Ah < 1456882938 229025 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: I was thinking deterministic was non-probabilistic, but a search tells me probabilistic is a subset of nondeterministic < 1456882975 733331 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Yeah. A nondeterministic system simply says something like "proceed to either A or B". A probabilistic system, on the other hand, says something like "proceed to A with probability 0.5, B otherwise". < 1456882979 418500 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: So in this case, nondeterministic is like Algebra where you can rewrite in multiple different ways? < 1456882998 333087 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Yeah, I'd say algebra is an example of a nondeterministic system. < 1456883003 34574 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :OK < 1456883041 616665 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Thue and brainfuck both involve a concept which is ubiquitous in programming, and also elsewhere in mathematics. They both involve specifying ways of going from one state to another state. < 1456883059 127293 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: So can you clarify the second problem? I don't quite get it < 1456883090 523941 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :In Thue, what the "states" are and what the "ways of going" are are pretty straightforward. The "states" are the various strings that you can have as... y'know, the program state. < 1456883095 440865 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :And the "ways of going" are the individual rules. < 1456883130 780224 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :OK < 1456883133 358081 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :In brainfuck, it's a little more subtle. The "states" are states of the tape... but are they states of the entire tape, or states of just pieces of the tape? < 1456883146 578712 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Ah... < 1456883158 323293 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :The easiest answer is "they're states of the entire tape". And that's a totally valid answer. < 1456883167 84991 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :So it's like how different code will use different areas of the tape? < 1456883179 621906 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Something like that... probably. < 1456883205 664822 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :But the problem with "they're states of the entire tape" is that... well, it's that every single piece of code has to be seen as affecting the entire tape. < 1456883212 216102 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Which might be a little inflexible. < 1456883220 827408 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: I mean the fact that, without running code, you can't determine what cells will and will not be used < 1456883228 536430 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :(Even if we exclude ,) < 1456883245 692851 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Perhaps I could do something with a 2-tape < 1456883246 131065 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :That is true... < 1456883248 428431 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Well. < 1456883255 544802 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Lemme work with an example. < 1456883261 870419 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Consider the following piece of brainfuck code: + < 1456883282 130328 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Where you have 8 cells that each rule can use, and at the end (and only at the end) of a rule, you transition to another group of 8 cells < 1456883293 814126 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Here's what that code does, under the "states of the entire tape" choice: < 1456883334 288836 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :That way, you can guarantee that the code will only use those 8 cells < 1456883336 817179 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :It takes a tape, and returns a tape where the active cell is the same cell as in the original tape, and all of the cells have the same value, except that the active cell contains a value equal to one plus its prior value. < 1456883346 904365 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Here's what that code does, under the "states of just pieces of the tape" choice: < 1456883355 912569 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :It's not just brainfuck that lets you do math, the idea is it's something novel that is vaguely inspired by brainfuck < 1456883360 388797 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :It takes a tape cell, and returns a cell containing a value equal to one plus the prior value. < 1456883378 979253 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Yes, I get it. I think that's what I said earlier < 1456883392 233348 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :The latter style is easier to talk about because it just doesn't mention the rest of the tape at all. < 1456883453 680971 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :So, here's how I think it's going to look. < 1456883454 721880 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :With BF\IO, you pretty much can't determine what cells a fragment of code will modify (given the current active cell number and the fragment) short of running the code < 1456883470 646778 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :And especially if the area of the tape has potentially been modified before < 1456883470 992491 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Dis14]]4 10 02https://esolangs.org/w/index.php?diff=46482&oldid=30820 5* 0394.12.170.129 5* (-2) 10fixed the wayback link < 1456883473 372871 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Axioms are pieces of extended-brainfuck code. < 1456883478 168315 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :OK < 1456883483 461638 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :That's what I was thinking < 1456883485 440573 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Theorems have three pieces. < 1456883491 29913 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Listening < 1456883519 324881 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :First, the starting state of the tape segment. Second, the ending state of the tape segment. Third, a way of using axioms to get from the starting state to the ending state. < 1456883532 920211 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Yep? < 1456883547 48848 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :And that's pretty much that. < 1456883550 306992 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Starting state and ending state? < 1456883558 748659 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :What about them? < 1456883560 516344 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :One sec < 1456883576 31885 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Let me read back, I may have accidentally expunged crucial information from my short-term memory < 1456883592 292872 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Now, there are two ways of taking theorems and getting new theorems. First, you can take a theorem with a given ending state, and another theorem whose starting state is the same, and string those two theorems together. < 1456883614 966055 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: The "state" is the values on a tape fragment, correct? < 1456883619 280856 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Second, you can take a theorem and add additional cells to the beginning and/or end of the starting and ending states. < 1456883620 873551 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Right. < 1456883636 93473 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :So if (0) -> (3) is a theorem, then (0,42) -> (3,42) is also a theorem. < 1456883637 524368 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Interesting... < 1456883669 821081 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: So the start -> end part isn't stored, because of the large number of possible transitions? < 1456883699 991084 :FreeFull!~freefull@defocus/sausage-lover QUIT :Remote host closed the connection < 1456883715 789978 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Well, like I said, a theorem has those three pieces: starting state, ending state, and sequence of... steps. Storing the theorem means storing all three of those pieces. < 1456883726 604676 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Oh < 1456883769 511423 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: So a theorem stores a relation between two values and a list of thelemax references? < 1456883781 466420 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Sounds right. < 1456883792 135248 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Basically, a constrained in value and an equation that you run on that value to calculate the out value < 1456883826 691073 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Right, except I don't think the word "equation" is the right word there. < 1456883832 530149 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Formula? < 1456883849 791302 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :It'll be a program, or a sequence of programs, where you specify choices for all of the nondeterministic bits of the program. < 1456883852 15296 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: That message just referred to the relation < 1456883869 383913 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Ah. < 1456883877 707061 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Not to the list of axioms < 1456883880 156839 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :In that case, yeah, exactly. < 1456883893 374640 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :You're actually getting ahead of what I was saying—which is good. < 1456883906 393704 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Yay! < 1456883917 759644 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Also, do you have any suggestions for things to make Thoof better (based on what you've heard), or any other languages that could be made into proof assistants after I do this? < 1456883919 807448 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :So far I'd only mentioned theorems with one specific in value and one specific out value. But it makes sense to extend that as much as you like. < 1456883932 129323 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Thoof is the proof system inspired by Thue? < 1456883941 756766 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Yes, forgot to mention that < 1456883966 476697 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Hmm. Not sure about Thoof, but let me think about other languages to make into proof assistants. < 1456883976 836648 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :If you're insane, try ///. < 1456883993 917959 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Whose wiki page is, of course: http://esolangs.org/wiki//// < 1456884018 498600 :AlexR42!~textual@94.41.128.148 JOIN :#esoteric < 1456884024 674383 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Isn't that what I did? Or is /// self-modifying? < 1456884027 256746 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Consider doing it for Unlambda. < 1456884032 326790 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :/// is self-modifying. < 1456884058 600995 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Unlambda and /// are both deterministic. But, as always, it's easy to make a deterministic language non-deterministic: just add additional instructions. < 1456884082 583248 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Or, here's how I'd suggest making /// nondeterministic. < 1456884092 380509 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: I'm definitely making an Unlambda one xD < 1456884106 59252 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Currently, the specification says that when you're performing a substitution, you find the first instance of the pattern string and replace it with the replacement string. < 1456884106 713134 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Then again, unlambda practically already /is/ a proof assistant < 1456884125 726402 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Here's the nondeterministic version: find *any* instance of the pattern string and replace it with the replacement string. < 1456884136 772958 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Oooh... < 1456884150 836298 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :And let the mathgrammer choose which instance it is? < 1456884158 454569 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :So the program "/***/zebra/*****" could output "zebra**", "*zebra*", or "**zebra". < 1456884160 122811 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Exactly. < 1456884177 987814 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :In /// as it is, there's only one possible output: "zebra**". < 1456884181 111740 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Perhaps I should just put that in Thoof? For simplicity? < 1456884191 492651 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: I mean, thoof isn't meant to be uber-minimal < 1456884200 732747 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :It's meant to be usable, but non-conventional < 1456884204 726896 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Put what in Thoof? < 1456884213 159188 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: The ability to choose which is replace < 1456884214 218093 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :d < 1456884227 611815 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I assumed that you already had that as a feature, actually. < 1456884239 403490 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: As it is, thoof just replaces the first instance of the regex with its substitution when it's called < 1456884242 11258 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Ah < 1456884252 630616 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Well, when an axiom is called/applied < 1456884271 468711 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :So what do you do if you want to replace a different instance instead? < 1456884288 940662 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: You make sure the regexes and strings are set up so that you don't xD < 1456884295 907106 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: But that's a good point that I didn't think of < 1456884303 536020 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: I was already considering a {} notation < 1456884315 375824 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Yeah, I'd definitely put that in Thoof for simplicity. < 1456884320 388469 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :OK < 1456884333 108517 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Unless, of course, you like the complications produced by not having that in Thoof. < 1456884340 11990 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :I don't xD < 1456884342 599110 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Not completely < 1456884367 732718 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :thelemax{n} replaces the nth instance, thelemax{:n} replaces all up to the nth instance, thelemax{n:} replaces all starting with the nth instance, and thelemax{n} replaces the nth instance, thelemax{:n} replaces all up to the nth instance, thelemax{n:m} replaces all starting at n and ending at m? < 1456884382 654254 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :All :x are not inclusive, and x: are inclusive < 1456884431 374792 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: That syntax look good? < 1456884465 94599 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I think I like that. Also allow the user to specify multiple non-contiguous instances: {1,6,7,10000} < 1456884470 963211 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Ah, yes < 1456884476 908837 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: And, of course, specify from the end < 1456884480 822463 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Here's a question: how many instances of "***" are there in "******"? < 1456884484 888470 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :In my opinion, there are four. < 1456884491 802314 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: 4 < 1456884518 441693 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Likewise, three instances of "abba" in "abbabbabba". < 1456884523 445213 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: The thing will go with overlapping matches, for generality < 1456884548 6642 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :If the user tries to replace two overlapping instances simultaneously, that's probably an error. < 1456884561 610472 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: I thought of letting Thoof use a small unix-like filesystem to store data too xD < 1456884573 623732 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :(And, while we're at it, possibly thelemaxes) < 1456884584 676235 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Yeah, probably < 1456884609 430617 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Now, what happens if, in the string "abbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabba", I use thelemax{3:5}, where my thelemax turns "abba" into "jonsi"? < 1456884617 839666 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :replace what thou wilt shall be the whole of the instance < 1456884632 579634 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Is that an error, since instances 3 and 4, and likewise 4 and 5, are overlapping? < 1456884687 269359 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: The third and fourth instances of abba are replaced with jonsi. What else would happen? < 1456884697 532109 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Oh, right < 1456884699 245511 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Overlap < 1456884716 670564 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Note that it terminates one instance early, like in Python < 1456884718 571894 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Actually, no < 1456884729 66376 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :I should make it index from 1 for logic's sake < 1456884742 651336 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :You could say it's an error. You could also say that, going from left to right, it chooses all of the instances that don't overlap with a previously chosen instance. < 1456884755 108749 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :In which case you could have syntax for deciding whether you want to go from left to right, or from right to left. < 1456884776 778930 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: negative numbers work from the right, like in Python < 1456884787 336740 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Because it makes sense and there's no reason not to < 1456884824 112267 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :(There's no confusion because you can't use a variable or anything in {}, as the only variables are theorems/lemmas/axioms, which can't be numbers) < 1456884857 917502 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: That idea's good too... < 1456884863 162989 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I guess it could just be a matter of {3:5} versus {5:3}. < 1456884875 879861 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Perhaps [] should be non-overlapping, while- oh, yeah, good point < 1456884896 344526 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Wait, no, that was unrelated, wasn't it < 1456884904 162245 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :[] will not overlap, but {} will < 1456884914 431234 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :{} will raise an error on overlaps < 1456885328 48565 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :. o O ( banananananananana... ) < 1456885349 883783 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :boily: I once wrote a program with the express purpose of doing that < 1456885651 525200 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :Mr. Hppavilion[1]'s Patented Banana Proliferaton Programme, Enhanced With the Purest of Potassiums. Guaranteed to Cure your Personal Ailments! < 1456885685 15634 :andrew_!~andrew@119.137.99.104 JOIN :#esoteric < 1456885715 871677 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :surely that should be Dr. Hppavilion[1] < 1456885733 363927 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :hppavilion[1]: are you a doctor? are you even a mister? < 1456885750 101606 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :he does look misterious < 1456885758 384068 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :ACTION lightly prods hppavilion[1] with his mapole, just to make sure < 1456885773 741508 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :ACTION thwacks oerjan < 1456885818 393013 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :how brutal < 1456885858 947600 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :that pun registered at least 0.8 shachafs. < 1456886207 692516 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :I think hppavilion[1]'s secret is now uncovered. he isn't human, or at least appröximatively human. < 1456886245 261289 :boily!~alexandre@96.127.201.149 QUIT :Quit: CYCLOPEAN CHICKEN < 1456886887 520307 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net QUIT :Ping timeout: 252 seconds < 1456887038 65962 :andrew_!~andrew@119.137.99.104 QUIT :Ping timeout: 248 seconds < 1456887636 489678 :bender|_!~benderx2@2404:e800:e61a:41d:ddbf:f4cc:366d:c672 JOIN :#esoteric < 1456887847 427362 :andrew_!~andrew@14.154.164.129 JOIN :#esoteric < 1456888441 392373 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net JOIN :#esoteric < 1456888488 701181 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: I'm back < 1456888654 270220 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :`unidecode ḧ < 1456888665 919625 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+1E27 LATIN SMALL LETTER H WITH DIAERESIS] < 1456888715 224704 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Ḧëllö, ḧppävïlïön[1]. < 1456888735 519926 :AlexR42!~textual@94.41.128.148 QUIT :Ping timeout: 252 seconds < 1456889038 657264 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1456889599 383555 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Hi < 1456889604 127362 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Forgot to respond xD < 1456890472 11282 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1456891680 608571 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: leaving < 1456891953 780225 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :helloerjan, helloily, tswello, heppavellolion[1] :) < 1456893698 9538 :augur!~augur@50-1-126-214.dsl.static.fusionbroadband.com JOIN :#esoteric < 1456894164 802424 :bender|_!~benderx2@2404:e800:e61a:41d:ddbf:f4cc:366d:c672 NICK :bender < 1456894173 769377 :bender!~benderx2@2404:e800:e61a:41d:ddbf:f4cc:366d:c672 QUIT :Changing host < 1456894173 902632 :bender!~benderx2@unaffiliated/bender/x-9459530 JOIN :#esoteric < 1456894244 405644 :bender!~benderx2@unaffiliated/bender/x-9459530 PRIVMSG #esoteric :It's been a long time since I did esoteric stuff < 1456894268 446189 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`welcome bender < 1456894273 427279 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bender: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) < 1456894609 522832 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net QUIT :Ping timeout: 252 seconds < 1456894720 469749 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Which one did you do in past (if any)? < 1456894749 449182 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzhello38 < 1456894776 17913 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do you have any tricks for linear logic? < 1456894895 842900 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :I don't think so < 1456895080 768870 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :I would want to add into JavaScript a goto command which can implement a kind of "evasive exception", for example: function test() { again: xyzzy(()=>{goto again;}); return 1; } It cannot be caught by "catch" blocks, but "finally" can still partially catch it. What is your opinion of this? < 1456895127 295466 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Seems dubious to me. < 1456895131 756802 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :(Of course it won't work if the that function that does goto again is called after test function returns; it such case it is error and is caught by a catch block.) < 1456895154 700890 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Why not make it work the second time, so you get a continuation thing? < 1456895248 36873 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :I think JavaScript does not use continuations? But if it can be made to do so, then it might. However, then there is the case if a different part of the program does not want it to work a second time. < 1456895367 379447 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :For generator functions it is a bit more easily though < 1456895564 392022 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :(Jumping into any block is also going to be error, but depending how it is written it may be a syntax error which is seen before the program is executed.) < 1456895713 994468 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Anyways, "return" means the function is finished and is not allowed to continue, isn't it? < 1456895913 156265 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Note that in the example given, the "again" is local to the instance of the function call, as if it was "var x" and it passed a function that mentions "x", it is the "x" of this function call, too (but that is a variable and doesn't need the function to continue after it returns in order to use that variable) < 1456895968 905560 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :If you would write "goto again;" outside of the function definition then the label called "again" is not in scope so it is an error. < 1456895976 315487 :impomatic!~impomatic@79.16.114.87.dyn.plus.net QUIT :Ping timeout: 246 seconds < 1456896039 211347 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Having "goto" would also make it easier for a JavaScript program to compile other stuff into a JavaScript program (such as with "new Function"). < 1456896094 34513 :impomatic_!~digital_w@79.16.114.87.dyn.plus.net QUIT :Ping timeout: 248 seconds < 1456896129 857019 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :How else would you do it? One idea would be to first convert the other code into basic blocks, but and then what? < 1456896337 158363 :augur!~augur@50-1-126-214.dsl.static.fusionbroadband.com QUIT :Remote host closed the connection < 1456896642 498847 :augur!~augur@50-1-126-214.dsl.static.fusionbroadband.com JOIN :#esoteric < 1456896931 375127 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net JOIN :#esoteric < 1456897031 396516 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: whoa whoa whoa, the whole !A -o B and !A -o ?B thing makes perfect sense < 1456897043 69688 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and also presumably A -o ?B for dual intuitionistic logic < 1456897092 668619 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :I want to start implementing software in abstract machines... < 1456897553 254037 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :What kind of abstract machines? < 1456897748 246981 :andrew__!~andrew@113.97.177.247 JOIN :#esoteric < 1456897851 959941 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :zzo38: Tag systems, for example < 1456897871 73724 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Perhaps in some way augmented, but it's doubtful < 1456897929 365228 :andrew_!~andrew@14.154.164.129 QUIT :Ping timeout: 246 seconds < 1456898311 486983 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Perhaps a programming language for constructing pseudo-operating systems where various components are first-class objects? < 1456898319 759020 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Nah, that's stupid and I don't understand OSes < 1456899154 686237 :pdxleif!znc@ec2-54-68-166-10.us-west-2.compute.amazonaws.com JOIN :#esoteric < 1456899619 827819 :MoALTz!~no@78-11-180-214.static.ip.netia.com.pl JOIN :#esoteric < 1456899699 281928 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: You're still online. Is this because you never log off but are currently sleeping, or are you actually on? < 1456900471 632917 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be JOIN :#esoteric < 1456900490 632972 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Ugh, with my current setup it'll be a huge pain in the ass to properly make Thoof work < 1456900905 668660 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be QUIT :Ping timeout: 276 seconds < 1456901450 248236 :augur!~augur@50-1-126-214.dsl.static.fusionbroadband.com QUIT :Remote host closed the connection < 1456901613 468620 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Taneb: do you properly do unicode CNF normalization on the string before you get the glyphs from the font? < 1456901744 485295 :heroux!sandroco@gateway/shell/insomnia247/x-trxjjqzakeduegsm QUIT :Ping timeout: 260 seconds < 1456901870 164533 :heroux!~heroux@gateway/shell/insomnia247/x-yladneeucqbbtpzm JOIN :#esoteric < 1456901934 187790 :lambda-11235!~lambda-11@47.208.113.50 QUIT :Quit: Bye < 1456902359 289741 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: re evasive exceptions: perl has exactly that. there are some compications if you want to exit through xs functions (depending on how exactly they call back to perl), sort blocks, regex code blocks, and other strange constructs. You may be able to leave with an exception, a goto, both, or neither, depending on the construct and the version of perl. < 1456902409 915486 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: ruby also sort of has something like this, in that there are more things than exceptions that you can throw, and a catch catches only exceptions, but I'm not sure there's a finally construct that catches all the others. There's no full-powered goto though. < 1456902626 585644 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: specifically, things you can throw are exceptions, four loop control statements which act on the function that got passed the lexically curretn ruby-like yield callback block as a yield argument (break (=perl's last), next, redo, retry (jumps to before the function call)), function return, plus internal fatal error thingies like out of memory that you can't catch. < 1456902675 642565 :lynn!~lynn@unaffiliated/lynn JOIN :#esoteric < 1456902785 296764 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: there's also a callcc, which is nastier. I think it makes a copy of the C stack or something. I think it still tries to run some finalize blocks, but I'm not sure if there's a corresponding scheme-like on-enter block too. < 1456902800 127220 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :For search, finally is called ensure in ruby. < 1456902847 182792 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Ruby's non-exact gc (at least in ruby 1.8, I don't know if they replaced it) helps this sort of thing of course. < 1456904423 76032 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :b_jonas: Taneb mentioned your font, and I was curious to see it < 1456904440 785325 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :If you don't mind :) < 1456904689 339564 :earendel!~earendel@unaffiliated/earendel QUIT :Ping timeout: 248 seconds < 1456904689 798428 :staffehn!~quassel@92.222.23.218 QUIT :Ping timeout: 248 seconds < 1456904743 23480 :staffehn!~quassel@2001:41d0:52:d00::1d3 JOIN :#esoteric < 1456904841 312031 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1456905106 364568 :earendel!~earendel@unaffiliated/earendel JOIN :#esoteric < 1456905202 383018 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :OK < 1456905241 37229 :bender!~benderx2@unaffiliated/bender/x-9459530 QUIT :Ping timeout: 250 seconds < 1456905268 524123 :mroman!~mroman@160.85.232.90 JOIN :#esoteric < 1456905472 986205 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :prooftechnique: It's jsut the font in the program < 1456906213 429864 :bender!~benderx2@2404:e800:e61a:41d:ddbf:f4cc:366d:c672 JOIN :#esoteric < 1456906223 837038 :bender!~benderx2@2404:e800:e61a:41d:ddbf:f4cc:366d:c672 QUIT :Changing host < 1456906223 976653 :bender!~benderx2@unaffiliated/bender/x-9459530 JOIN :#esoteric < 1456906267 489585 :lynn!~lynn@unaffiliated/lynn QUIT :Read error: Connection reset by peer < 1456906536 397567 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :prooftechnique: Do you do a lot of stuff with Proof Assistants? Your name implies you might < 1456906602 529553 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :prooftechnique: I wouldn't say a lot. I do like to play with them, though. < 1456906638 495814 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :I actually work at a design firm, right now, so the use case for proof assistants rarely comes up. :| < 1456907491 945338 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Though if GSS were a little more ready, I could conceivably make use of a constraint solver :D < 1456907618 708122 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :prooftechnique: GSS? < 1456907636 451799 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Sorry, you didn't ping me so I missed the messages xD < 1456908231 906262 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :hppavilion[1]: http://gridstylesheets.org/ < 1456908242 616240 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Oooh < 1456908244 835826 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Sounds fancy < 1456908308 120872 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :b_jonas, hell no, I just take the first 256 glyphs in the font and hope they're in the right order < 1456908376 934759 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :prooftechnique: I'm looking for something novel to prove with, I was just seeing if you could help xD < 1456908469 243729 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1456908754 713301 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :hppavilion[1]: I'm still kind of fascinated by Lemuridae, to be honest. < 1456908783 240789 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 276 seconds < 1456908964 530467 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net QUIT :Ping timeout: 252 seconds < 1456910187 657626 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 276 seconds < 1456912009 445492 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be JOIN :#esoteric < 1456912760 49569 :jaboja64!~jaboja@ejb123.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1456913711 506547 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net JOIN :#esoteric < 1456914178 424340 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net QUIT :Ping timeout: 252 seconds < 1456915306 59774 :primo!~primo@122.155.138.138 JOIN :#esoteric < 1456915713 839616 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1456915971 809002 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 248 seconds < 1456916255 494639 :lynn!~lynn@unaffiliated/lynn JOIN :#esoteric < 1456917907 525716 :J_Arcane!~chatzilla@37-219-153-193.nat.bb.dnainternet.fi QUIT :Ping timeout: 252 seconds < 1456917923 363772 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1456918742 507366 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@massages-loud < 1456918742 678409 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :You don't have any messages < 1456918773 940553 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :question of the day: if I don't have any massages, did shachaf write anything? < 1456918871 47746 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :@tell boily yes < 1456918871 181291 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1456918879 885816 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :Tanelle < 1456918886 732248 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@massages-quiet < 1456918886 875042 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Unknown command, try @list < 1456918889 878455 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@massages < 1456919071 127002 :primo!~primo@122.155.138.138 PART #esoteric :"Leaving" < 1456919361 528578 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1456919623 406213 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 252 seconds < 1456919681 996633 :mtve!~mtve@10130.x.rootbsd.net JOIN :#esoteric < 1456919801 19472 :bender!~benderx2@unaffiliated/bender/x-9459530 QUIT :Ping timeout: 250 seconds < 1456919941 925984 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1456920170 441278 :jaboja!~jaboja@aak26.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1456920318 10569 :jaboja64!~jaboja@ejb123.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 248 seconds < 1456920854 497264 :jaboja!~jaboja@aak26.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 260 seconds < 1456921321 942696 :boily!~alexandre@96.127.201.149 QUIT :Quit: PACKET CHICKEN < 1456921711 662318 :bender!~benderx2@2404:e800:e61a:41d:ddbf:f4cc:366d:c672 JOIN :#esoteric < 1456922788 927172 :jaboja!~jaboja@aak26.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1456922846 196336 :andrew__!~andrew@113.97.177.247 QUIT :Remote host closed the connection < 1456923088 562456 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be QUIT :Ping timeout: 252 seconds < 1456923766 960635 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 244 seconds < 1456924777 547415 :bender!~benderx2@2404:e800:e61a:41d:ddbf:f4cc:366d:c672 QUIT :Ping timeout: 240 seconds < 1456924832 25849 :bender!~benderx2@2404:e800:e61a:41d:ddbf:f4cc:366d:c672 JOIN :#esoteric < 1456926313 56155 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1456927042 42818 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1456927205 481807 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/newusers14]]4 create10 02 5* 03RaHorakhti 5* 10New user account < 1456927847 998515 :p34k!~p34k@nat-wh-wz4-12.rz.uni-karlsruhe.de JOIN :#esoteric < 1456928033 380453 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1456928261 928557 :jaboja!~jaboja@aak26.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 244 seconds < 1456929305 153213 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :I think that brainfuck program I shared in the early hours of this morning may be one of the longest ones in existence < 1456930076 183244 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Taneb: Was it generated? < 1456930155 384772 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1456930565 6940 :bender!~benderx2@2404:e800:e61a:41d:ddbf:f4cc:366d:c672 QUIT :Ping timeout: 250 seconds < 1456930671 405747 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1456930942 362284 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 252 seconds < 1456931011 2132 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1456931313 579515 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :Taneb: what did it do? < 1456931622 37459 :MaskedFox!ad267542@gateway/web/freenode/ip.173.38.117.66 JOIN :#esoteric < 1456932067 306098 :spiette!~spiette@206.167.243.3 JOIN :#esoteric < 1456932420 455979 :MaskedFox!ad267542@gateway/web/freenode/ip.173.38.117.66 QUIT :Ping timeout: 252 seconds < 1456932426 32418 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :Taneb: https://arin.ga/FQLSPy/ ? it is just over 200K, which is not really the biggest < 1456932444 43646 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :Lost Kingdom BF edition is about 2MB < 1456932483 843240 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : oerjan: whoa whoa whoa, the whole !A -o B and !A -o ?B thing makes perfect sense <-- i fear that we have lost shachaf < 1456932507 898570 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Q14]]4 N10 02https://esolangs.org/w/index.php?oldid=46483 5* 03RaHorakhti 5* (+2813) 10Created page with "The Qabalah language ('''Q''') is not only an esoteric programming language, but it is also an [[Category:Occult languages|occult programming language]]. The first version of..." < 1456932559 712243 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :oooh, an esoteric esoteric programming language < 1456932634 991678 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :...which only looks esoteric, not esoteric esoteric < 1456932690 516226 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :what is esoteric esoteric? < 1456932694 851824 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Q14]]4 10 02https://esolangs.org/w/index.php?diff=46484&oldid=46483 5* 03RaHorakhti 5* (+1) 10 < 1456932746 555135 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :like, esoteric in both senses < 1456932787 696878 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Category:Occult languages14]]4 N10 02https://esolangs.org/w/index.php?oldid=46485 5* 03RaHorakhti 5* (+83) 10Created page with "Occult languages are esoteric languages that also has an occult focus of some kind." < 1456932831 210593 :idris-bot!~idris-bot@dslb-092-072-190-108.092.072.pools.vodafone-ip.de JOIN :#esoteric < 1456932892 724528 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/delete14]]4 delete10 02 5* 03Oerjan 5* 10deleted "[[02Category:Occult languages10]]": Creating category without discussion against [[Esolang:Policy]] < 1456932902 266744 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the foot, it came down hth < 1456932939 702980 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=46486&oldid=46472 5* 03RaHorakhti 5* (+8) 10 < 1456933320 792020 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Q14]]4 10 02https://esolangs.org/w/index.php?diff=46487&oldid=46484 5* 03RaHorakhti 5* (-1) 10 < 1456933499 954068 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :@tell hppavilion[1] I never log off (if I can help it). < 1456933500 87514 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1456933542 130615 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:RaHorakhti14]]4 N10 02https://esolangs.org/w/index.php?oldid=46488 5* 03RaHorakhti 5* (+135) 10Created page with "My name is Per Löwgren, you can find some of my work at [https://bitbucket.org/perlowgren BitBucket]. I've created the language [[Q]]." < 1456933587 352874 :earendel!~earendel@unaffiliated/earendel QUIT :Ping timeout: 246 seconds < 1456933857 508519 :lambda-11235!~lambda-11@47.208.113.50 JOIN :#esoteric < 1456934814 456853 :mroman!~mroman@160.85.232.90 QUIT :Quit: Lost terminal < 1456934836 561641 :spiette_!~spiette@x-132-204-251-254.xtpr.umontreal.ca JOIN :#esoteric < 1456934875 846556 :p34k!~p34k@nat-wh-wz4-12.rz.uni-karlsruhe.de QUIT : < 1456934883 26349 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Q14]]4 10 02https://esolangs.org/w/index.php?diff=46489&oldid=46487 5* 03RaHorakhti 5* (-62) 10 < 1456934884 362817 :spiette!~spiette@206.167.243.3 QUIT :Disconnected by services < 1456934892 696876 :spiette_!~spiette@x-132-204-251-254.xtpr.umontreal.ca NICK :spiette < 1456935115 248091 :p34k!~p34k@nat-wh-wz4-12.rz.uni-karlsruhe.de JOIN :#esoteric < 1456935170 817466 :haavardp!freebsd@haavard.me JOIN :#esoteric < 1456935246 355009 :shikhin_!shikhin@unaffiliated/shikhin JOIN :#esoteric < 1456935268 741221 :sewilton_!sid32560@gateway/web/irccloud.com/x-tsswuvdhbntvxenf JOIN :#esoteric < 1456935332 995831 :sewilton!sid32560@gateway/web/irccloud.com/x-mexroarmzsbbzblv QUIT :Ping timeout: 264 seconds < 1456935333 270119 :lambdabot!~lambdabot@haskell/bot/lambdabot QUIT :Read error: Connection reset by peer < 1456935333 436873 :zgrep!sid43445@gateway/web/irccloud.com/x-ugnldacvsdtlqwyx QUIT :Ping timeout: 264 seconds < 1456935334 29005 :shikhin!shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1456935334 412706 :Elronnd!elronnd@znc.dank.ninja QUIT :Ping timeout: 264 seconds < 1456935334 546005 :haavard!freebsd@haavard.me QUIT :Ping timeout: 264 seconds < 1456935334 831831 :zgrep!sid43445@gateway/web/irccloud.com/session JOIN :#esoteric < 1456935343 520970 :zgrep!sid43445@gateway/web/irccloud.com/session QUIT :Changing host < 1456935343 654625 :zgrep!sid43445@gateway/web/irccloud.com/x-oevbiojbkxyvopgg JOIN :#esoteric < 1456935439 620506 :sewilton_!sid32560@gateway/web/irccloud.com/x-tsswuvdhbntvxenf NICK :sewilton < 1456935474 25330 :Elronnd!elronnd@znc.dank.ninja JOIN :#esoteric < 1456935520 609426 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN :#esoteric < 1456936413 764807 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Esolang:Policy14]]4 10 02https://esolangs.org/w/index.php?diff=46490&oldid=43620 5* 03Oerjan 5* (+8) 10Make it clearer this points to where discussions should happen < 1456936474 925245 :augur!~augur@50-1-126-214.dsl.static.fusionbroadband.com JOIN :#esoteric < 1456937250 492748 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Later < 1456937725 473051 :augur!~augur@50-1-126-214.dsl.static.fusionbroadband.com QUIT :Remote host closed the connection < 1456937760 57410 :augur!~augur@50-1-126-214.dsl.static.fusionbroadband.com JOIN :#esoteric < 1456937860 177074 :augur!~augur@50-1-126-214.dsl.static.fusionbroadband.com QUIT :Read error: Connection reset by peer < 1456937881 387111 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1456937895 676928 :augur!~augur@50-1-126-214.dsl.static.fusionbroadband.com JOIN :#esoteric < 1456937905 833606 :augur!~augur@50-1-126-214.dsl.static.fusionbroadband.com QUIT :Remote host closed the connection < 1456938144 323024 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 246 seconds < 1456939550 241151 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be JOIN :#esoteric < 1456939740 317108 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 246 seconds < 1456940445 57194 :Opodeldoc!~Opodeldoc@208.114.92.193 QUIT :Ping timeout: 250 seconds < 1456940614 67771 :jaboja!~jaboja@aak26.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1456941756 528332 :hppavilion[1]!~DevourerO@74-114-87-65.dynamic.asdk12.org JOIN :#esoteric < 1456942264 11821 :earendel!~earendel@unaffiliated/earendel JOIN :#esoteric < 1456942855 362398 :hppavilion[1]!~DevourerO@74-114-87-65.dynamic.asdk12.org QUIT :Ping timeout: 252 seconds < 1456942967 23277 :spiette!~spiette@x-132-204-251-254.xtpr.umontreal.ca QUIT :Ping timeout: 250 seconds < 1456943005 291895 :spiette!~spiette@x-132-204-251-254.xtpr.umontreal.ca JOIN :#esoteric < 1456943051 134712 :Opodeldoc!~Opodeldoc@208.114.92.193 JOIN :#esoteric < 1456944634 422254 :zadock!~outsider@81.180.208.252 JOIN :#esoteric < 1456945526 502190 :hppavilion[1]!~DevourerO@74-114-87-65.dynamic.asdk12.org JOIN :#esoteric < 1456945823 348719 :hppavilion[1]!~DevourerO@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :tswett: Greetings < 1456945830 633150 :hppavilion[1]!~DevourerO@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :@messages-lud < 1456945830 766516 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :tswett said 3h 25m 30s ago: I never log off (if I can help it). < 1456945976 242257 :augur!~augur@12.251.228.138 JOIN :#esoteric < 1456946320 387109 :hppavilion[1]!~DevourerO@74-114-87-65.dynamic.asdk12.org QUIT :Ping timeout: 252 seconds < 1456947031 524942 :hppavilion[1]!~DevourerO@74-114-87-65.dynamic.asdk12.org JOIN :#esoteric < 1456947224 863727 :hppavilion[1]!~DevourerO@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :Are there any x/// expressions other than s and y? < 1456947302 230488 :hppavilion[1]!~DevourerO@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :tswett? < 1456947471 244716 :augur!~augur@12.251.228.138 QUIT :Ping timeout: 276 seconds < 1456947529 545879 :augur!~augur@12.251.228.138 JOIN :#esoteric < 1456947678 16959 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1456949059 568924 :hppavilion[1]!~DevourerO@74-114-87-65.dynamic.asdk12.org QUIT :Ping timeout: 252 seconds < 1456949488 731106 :Nithogg!~ethiraric@jrc16-h01-176-150-43-109.dsl.sta.abo.bbox.fr JOIN :#esoteric < 1456949493 516881 :shikhin_!shikhin@unaffiliated/shikhin NICK :shikhin < 1456949519 87941 :jaboja!~jaboja@aak26.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 250 seconds < 1456949764 798888 :jaboja!~jaboja@aak26.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1456950021 31070 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 244 seconds < 1456950147 780948 :jaboja!~jaboja@aak26.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 248 seconds < 1456950426 431332 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Did anyone else just have the whole ban list dumped to channel? < 1456950434 991147 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :And by just, I mean two hours ago? < 1456950453 467866 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Maybe irssi's just being weird < 1456950622 953941 :lambda-11235!~lambda-11@47.208.113.50 QUIT :Quit: Bye < 1456950656 833340 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :prooftechnique: you probably sent /mode #esoteric +b < 1456950705 483700 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :I wonder why I'd have done that :| < 1456950720 70095 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :My whole status buffer was full of /who lists at that time, too < 1456950741 720518 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :I hope my poor ZNC didn't have a seizure < 1456950911 664654 :jaboja!~jaboja@aak26.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1456950999 137230 :hppavilion[1]!~DevourerO@74-114-87-65.dynamic.asdk12.org JOIN :#esoteric < 1456951169 624222 :jaboja!~jaboja@aak26.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 244 seconds < 1456951198 871375 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Now what else I should need to add into my JavaScript Xlib? < 1456951244 334254 :hppavilion[1]!~DevourerO@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :zzo38: What does it do? < 1456951250 820250 :hppavilion[1]!~DevourerO@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :zzo38: Is Xlib for X? < 1456951254 707285 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Would it need a command to draw a stack of pictures? < 1456951256 581360 :hppavilion[1]!~DevourerO@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :(The windowing system)? < 1456951260 17137 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Yes Xlib for X window system < 1456951271 362396 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Meh I HATE pulseaudio. < 1456951282 862235 :hppavilion[1]!~DevourerO@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :zzo38: Is this on the desktop for JS, or is it an emulator that runs in-browser? < 1456951297 290385 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :It is a JavaScript program to access Xlib (and also the C program) < 1456951302 966221 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :hppavilion[1]: It is for use with Node.js < 1456951305 712697 :hppavilion[1]!~DevourerO@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :zzo38: OK < 1456951314 269599 :hppavilion[1]!~DevourerO@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :zzo38: What do you mean by "A stack of pictures"? < 1456951321 721540 :hppavilion[1]!~DevourerO@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :zzo38: Do you mean like save() and restore()? < 1456951365 27020 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :There is a function X.Drawable.prototype.drawPicture but I would mean, a command to draw multiple pictures in the same place all at once (if it doesn't have it you can still just use drawPicture multiple times, but as a single command might be more efficient?) < 1456951381 483505 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Just wasted 3 hours of my life on figuring out a) that I need it b) how to start it (it was stumbling over a leftover socket file in /var/run... but of course I got a descriptive error message: bind(): socket already in use) and c) why I need it... to play videos with sound in Firefox. < 1456951431 867150 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(the answer to c) is that the HTML5 stuff uses libpulse to play audio, which will only talk to a pulseaudio server) < 1456951457 895370 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(but apparently isn't smart enough to start one when none is running) < 1456951492 344218 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :I do not really like pulseaudio either, although it is already set up in my computer anyways so I do not need to do anything. < 1456951515 179955 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :to me it's cruft that solves a non-problem < 1456951525 115874 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :int-e: I agree < 1456951526 962303 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(playing sound from different sources simultaneously) < 1456951542 967727 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Other commands I would be planning to add are X.Drawable.prototype.pushGC, X.Drawable.prototype.popGC, and X.Drawable.prototype.drawMacro < 1456952173 928453 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ARGH! In HTML webpages, why don't people use images with alt text versus images with empty alt text versus background images the semantically right way? < 1456952181 886486 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :It's just so stupid. < 1456952236 113913 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`wisdom < 1456952241 523021 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ /The final frontier. < 1456952285 502912 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :wisdom < 1456952287 799553 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :scow < 1456952293 574500 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`wisdom < 1456952293 997862 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`wisdom < 1456952294 224169 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`wisdom < 1456952320 391792 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :irc/IRC is short for "Internet Relay Chat". It is named so because all the servers are constructed from relays. < 1456952320 525221 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :btw/btw is short for "bury the weasel" < 1456952321 831858 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :cpressey/cpressey invented the esolang, the pipe cleaner and the electrical mousse. < 1456952353 609116 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :would mousse be a sharp rodent? < 1456952457 780282 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? mousse < 1456952459 184663 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :mousse? ¯\(°​_o)/¯ < 1456952560 421327 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :And ratatouille could be a stuttering rodent. < 1456952877 567928 :augur!~augur@12.251.228.138 QUIT :Remote host closed the connection < 1456952952 555476 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :They say dash (in Magic: the Gathering) can only go on creatures, but it is untrue; cards could be made that are not creatures and have dash (as long as it is not an instant, sorcery, or land). The haste is mostly meaningless in such case but still has it and in some cases can be used. < 1456953116 761042 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :(The same is true of megamorph, although the +1/+1 counter in such case would ordinarily do nothing, when combined with undying, graft, and/or modular, it can do such thing even though it is not a creature.) < 1456953237 821362 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Exploit also does not have to go only on creatures < 1456953337 605016 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Is that also true of super haste? < 1456953508 569054 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :I suppose so, although it is irrelevant since super haste is not a standard rule for the normal game and is only for Un-cards. < 1456953584 8317 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If a card isn't a creature can you still put it on the battlefield with super haste? < 1456953648 417611 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :There is no such rule as super haste. < 1456953743 263998 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://gatherer.wizards.com/Pages/Card/Details.aspx?multiverseid=74324 has it. < 1456953761 224696 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do you refuse to play with Un-cards? < 1456953889 899432 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Not necessarily, although people would need to agree a different kind of game, sometimes it is necessary to argue about the rules, etc. < 1456953926 652849 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Necessary to argue about the rules? < 1456953938 156323 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That makes it completely different from a regular Magic: The Gathering game. < 1456953943 977330 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Consider a card such as: {3} Artifact ;; Undying ;; Megamorph {1} ;; {T}, Sacrifice ~: Target player gains 2 life. < 1456953950 9102 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :shachaf: I know! < 1456953959 925059 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :But I said "sometimes"! < 1456954138 604139 :zadock!~outsider@81.180.208.252 QUIT :Quit: Leaving < 1456954149 919928 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :For example, my own ideas about how R&D's Secret Lair is working is different than what other people say (and they are also different from each other), but there is no rule to make such an effect work, so you have to argue about it. < 1456954258 567628 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :(My own opinion that the old Lightning Bolt with R&D's Secret Lair allows you to target any player, object, or zone; if the object is not a permanent, or is a permanent that isn't a creature or planeswalker, or is a zone other than the battlefield, nothing happens; if the target is the battlefield, each non-token creature and non-token planeswalker (including ones with shroud/hexproof, but not if it has protection from red) takes 3 points of damag < 1456954438 363347 :hppavilion[1]!~DevourerO@74-114-87-65.dynamic.asdk12.org QUIT :Ping timeout: 252 seconds < 1456954483 361921 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1456954534 647621 :zzo38!~zzo38@24-207-50-123.eastlink.ca QUIT :Remote host closed the connection < 1456954566 442192 :hppavilion[1]!~DevourerO@74-114-87-65.dynamic.asdk12.org JOIN :#esoteric < 1456954642 496954 :hppavilion[1]!~DevourerO@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :relation < 1456954646 81142 :hppavilion[1]!~DevourerO@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :Whoops < 1456954649 36022 :hppavilion[1]!~DevourerO@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :Meant to ctrl+f < 1456954959 540429 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :*reads about the ending phase* ... could there be an infinite loop of cleanup steps... < 1456955080 864998 :J_Arcane!~chatzilla@37-219-40-115.nat.bb.dnainternet.fi JOIN :#esoteric < 1456955270 997168 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1456955331 695535 :hppavilion[1]!~DevourerO@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :tswett: Ugh, trying to figure out BrainProof < 1456955916 127439 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be QUIT :Quit: ZNC - http://znc.in < 1456956976 925558 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1456957244 172743 :spiette!~spiette@x-132-204-251-254.xtpr.umontreal.ca QUIT :Ping timeout: 244 seconds < 1456957548 790705 :jaboja!~jaboja@aak26.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1456957579 804916 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: [ < 1456957827 849675 :jaboja!~jaboja@aak26.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 248 seconds < 1456958215 500521 :spiette!~spiette@x-132-204-251-254.xtpr.umontreal.ca JOIN :#esoteric < 1456958742 685114 :Opodeldoc!~Opodeldoc@208.114.92.193 QUIT :Quit: Leaving < 1456959183 970752 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1456959576 434288 :spiette!~spiette@x-132-204-251-254.xtpr.umontreal.ca QUIT :Quit: :qa! < 1456959619 446439 :hppavilion[1]!~DevourerO@74-114-87-65.dynamic.asdk12.org QUIT :Ping timeout: 252 seconds < 1456959762 439219 :lambda-11235!~lambda-11@47-208-113-50.erkacmtk03.res.dyn.suddenlink.net JOIN :#esoteric < 1456960064 928263 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`? mousse < 1456960070 254520 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :mousse? ¯\(°​_o)/¯ < 1456960112 144534 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : would mousse be a sharp rodent? <-- i'm not quite sure where you get "sharp" twh < 1456960163 879890 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1456960190 989244 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1456960221 899698 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I guess you got it, but anyway: a mousssse would be super extra sharp. < 1456960243 724590 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :int-ello. sharp mousse? < 1456960268 39263 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :check the logss < 1456960360 504952 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`learn A mousse is a sharp rodent. "A mousse once bit my sister." < 1456960369 316528 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :I logsschecked. I still don't grok it. < 1456960369 890031 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'mousse': A mousse is a sharp rodent. "A mousse once bit my sister." < 1456960376 650050 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i hope the quote is accurate twh < 1456960385 460018 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :hellørjan. you seem to be having understood it. < 1456960404 120407 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it's a pun on ß, often written "ss". < 1456960445 322522 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it's really just an s with a scarf < 1456960463 361466 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I'll readily admit that it wasn't very inspired < 1456960474 633443 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :ACTION lightly thwacks int-e < 1456960478 451957 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :0.3 shachafs. < 1456960488 770434 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`? ß < 1456960490 88903 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ß? ¯\(°​_o)/¯ < 1456960499 88768 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`learn ß is not a beta. < 1456960502 835894 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'ß': ß is not a beta. < 1456960508 87461 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :darn < 1456960576 376701 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`learn_append ß It's a "scharfes S", aka s with a scarf. < 1456960581 896691 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'ß': ß is not a beta. It's a "scharfes S", aka s with a scarf. < 1456960609 657850 :zgrep!sid43445@gateway/web/irccloud.com/x-oevbiojbkxyvopgg PRIVMSG #esoteric :Err... with a scharf. < 1456960626 192631 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :with a schacharf. < 1456960634 870820 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: also, i didn't actually get it, i just got a different idea. < 1456960636 402542 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Would omegpsi be a co-alphabet? < 1456960654 772813 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: i got it hth < 1456960678 826904 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: thanks, always a pleasure to drag people down to my level < 1456960690 678121 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :zgrep: no, we have to consider the sk -> sch sound change in german hth < 1456960701 580298 :zgrep!sid43445@gateway/web/irccloud.com/x-oevbiojbkxyvopgg PRIVMSG #esoteric :Ah. < 1456960723 498665 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :schlerosis? < 1456960757 673229 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :int-e: what's an omegpsi? < 1456960766 440570 :zgrep!sid43445@gateway/web/irccloud.com/x-oevbiojbkxyvopgg PRIVMSG #esoteric :I do not Deutsch sprechen. < 1456960815 709120 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :boily: just musing about the etymology of "alphabet" < 1456960832 682829 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :boily: I mean I don't even know what a co-alphabet would be. < 1456960844 760639 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :coal phab et al. < 1456960872 195406 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: it may be a little older than the borrowing of that medical term hth < 1456960894 693990 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :int-e: oh. makes sense. tdh < 1456960931 113833 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :moi neither, je speake not le Deutsch. < 1456960932 216808 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :boily: hoily < 1456960937 692934 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :shachaf: hellochaf. < 1456960943 437135 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`? ratatouille < 1456960946 333359 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :ratatouille? ¯\(°​_o)/¯ < 1456960950 22808 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :eye of newt and toe of frog / wing of bat and pooch of dog < 1456960953 710291 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hmm < 1456960956 701159 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :eye of newt and toe of frog / wool of bat and pooch of dog < 1456960981 513369 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`learn A ratatouille is a stuttering rodent. < 1456960985 144866 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'ratatouille': A ratatouille is a stuttering rodent. < 1456961014 472043 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: you can add your own wisdom you know hth < 1456961044 824657 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :In the game Lost Vikings 2, you collect a wing of bat to give to the witch to bring you home. < 1456961069 266465 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? til < 1456961072 278035 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :TIL that TIL means Today I Learned < 1456961075 527822 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :wait. you give a wing to bring back a bat??? < 1456961101 218134 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :til is also the most confusingest Norwegian word. < 1456961124 281831 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it's cognate to german "Ziel", which means goal, iirc < 1456961143 336644 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :but somehow it got press ganged into a preposition. < 1456961177 932797 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`translatefromto en no wisdom/til | sponge wisdom/til < 1456961183 499867 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that doesn't even make sense < 1456961191 637458 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(for a while it thus governed the genitive case, while our prepositions still did that sort of thing.) < 1456961215 295170 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and a few stock phrases still do that. "til sjøs" = at sea < 1456961233 705141 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :«tille cheusse». < 1456961235 592894 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or to the sea < 1456961244 239950 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it can mean both, i think. < 1456961248 213978 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or wait < 1456961255 197983 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? norwegian < 1456961257 112306 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :norwegian? ¯\(°​_o)/¯ < 1456961353 654026 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i may be confusing it with "til lands og til vanns" (a stock phrased used about a magical boat in a fairy tale that could sail on the ground or on the water, or even fly) < 1456961357 679944 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*phrase < 1456961383 338327 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? shachaf < 1456961384 796287 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :shachaf sprø som selleri and cosplays Nepeta Leijon on weekends. He hates bell peppers with a passion. < 1456961397 547517 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :spr/o som selleri < 1456961407 825526 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :spr(/) < 1456961408 590049 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh and "til fots", by foot < 1456961428 116916 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: have you considered that english is simpler than norwegian < 1456961429 13034 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :shachaf: your wisdom lacks pooches hth < 1456961446 348130 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :boily; then it reflects me < 1456961467 328771 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :: < 1456961580 462 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : «tille cheusse». <-- that's pretty accurate pronunciationwise, i think < 1456961624 415211 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-aziaqzvnlkibwbaq QUIT :Excess Flood < 1456961632 251113 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i think that's debatable. < 1456961672 883751 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the spelling isn't quite as insane as english, anyway < 1456961689 395826 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :although still not exactly a bijection < 1456961724 169182 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the genders don't help, i guess. otoh we have less verb inflection. < 1456961737 617307 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-nbvrrgwccsxtcwbh JOIN :#esoteric < 1456961770 465342 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(no pesky progressive, and no person/number suffixes) < 1456961789 955618 :nzt-fish!~nzt@unaffiliated/nzt PRIVMSG #esoteric :oh my god, your language suck so hard! < 1456961792 380089 :nzt-fish!~nzt@unaffiliated/nzt PRIVMSG #esoteric :it's not even useful < 1456961797 132956 :nzt-fish!~nzt@unaffiliated/nzt PRIVMSG #esoteric :delete irc please < 1456961811 103513 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`welcome nzt-fish < 1456961812 280130 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :nzt-fish: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) < 1456961835 782894 :nzt-fish!~nzt@unaffiliated/nzt PRIVMSG #esoteric :oerjan: I'm homosexual. Is that okay? < 1456961848 797254 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :nzt-fish: you seem confused. and yes, that's okay. < 1456961865 481259 :nzt-fish!~nzt@unaffiliated/nzt PRIVMSG #esoteric :I suck a lot of dicks. If you ban me, you're a homophobe < 1456961883 955020 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but trolling is not okay. < 1456961896 257529 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :indeed. < 1456961907 966873 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: What about when you do it? < 1456961921 175778 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i mean boring trolling of course, duh < 1456961925 665413 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh. < 1456961930 327103 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sure, no one wants that. < 1456962013 332870 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net JOIN :#esoteric < 1456962054 203274 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :hppavellon[1]. < 1456962058 219151 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@metar LOWI < 1456962058 489810 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :LOWI 022320Z AUTO VRB02KT 9999 FEW007 BKN010 02/01 Q1003 < 1456962071 313223 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@@ @@ (@where weather) LOWI < 1456962072 884126 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : LOWI 022320Z AUTO VRB02KT 9999 FEW007 BKN010 02/01 Q1003 < 1456962075 164149 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :much better tdh < 1456962087 700877 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`learn_append shachaf The unit of bad punnery is named after him. < 1456962091 983927 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'shachaf': shachaf sprø som selleri and cosplays Nepeta Leijon on weekends. He hates bell peppers with a passion. The unit of bad punnery is named after him. < 1456962098 160721 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :ahoily, boily < 1456962106 829411 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Is there a wisdom entry for the unit of bad punnery? < 1456962122 688856 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Hey, you never made the temperature thing for lambdabot work. < 1456962137 769487 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1456962142 238616 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: well given that the unit is named "shachaf"... < 1456962158 545496 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? schaf < 1456962160 165882 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :schaf? ¯\(°​_o)/¯ < 1456962171 772876 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, I thought it was "shachafs". < 1456962208 360944 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` cd wisdom; for f in *; do [ -e "$f"s ] && echo "$f"; done < 1456962209 829306 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :log \ math \ monad \ monoid \ the u < 1456962212 153019 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? log < 1456962214 132775 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :I think you might mean !logs < 1456962215 762917 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? logs < 1456962217 62568 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​1113I05 08thin13k13 y09o10u06 05m02i12g08h05t14 m03ea10n08 02!11l06og09s11 < 1456962220 500606 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? math < 1456962222 193671 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Math class is tough! < 1456962223 187858 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? maths < 1456962224 479169 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Maths stands for Mathematical Anti-Telharsic Harfatum Septomin. < 1456962226 84731 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: hm maybe < 1456962229 121127 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? monad < 1456962230 407876 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Monads are just monoids in the category of endofunctors. < 1456962233 316398 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? monads < 1456962234 585101 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Monads are just free monad monad monad algebras. < 1456962238 716427 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? the u < 1456962240 18660 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :The U are a very mad people. < 1456962241 540442 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? the us < 1456962243 139041 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :The US is the country opposed to the THEM. < 1456962262 747051 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :that's way too accurate < 1456962271 360710 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :oerjan: it's shachafs hth < 1456962277 560322 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: well it would 1 shachaf, anyway. < 1456962295 916940 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: no, it's like flops < 1456962297 204118 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :1 flops < 1456962300 68848 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :10 flops < 1456962305 956742 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :boily: that doesn't sound like a proper SI unit < 1456962312 448361 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :you don't pluralize those < 1456962316 338375 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :shachaf isn't very standard hth < 1456962344 217692 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or wait, maybe english does < 1456962356 94446 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :is it 2.3 newton or newtons < 1456962358 59261 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`le/rn schaf/"Schaf" is german for "sheep". There is absolutely no relation to shachaf. < 1456962363 814750 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned «schaf» < 1456962373 212298 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: why didn't you use `learn tdnh hth < 1456962382 626575 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: because of the quotes < 1456962422 933804 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`learn " is a double quote, added to wisdom as a test. < 1456962428 152173 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned '"': " is a double quote, added to wisdom as a test. < 1456962432 844427 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`revert < 1456962433 7742 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, I thought `learn handled those. < 1456962438 320251 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess not. < 1456962440 570985 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done. < 1456962447 541726 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: See, that's why no one trusts `learn. < 1456962470 531732 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :In the category of numbers, what are the morphisms? Does such a category even make sense (I have a feeling it might not)? < 1456962487 251586 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's up to you. < 1456962496 744004 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: Me? < 1456962507 937879 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :There are lots of categories where the objects are numbers, but you don't specify a category by specifying the objects. < 1456962511 20892 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: you cannot use `revert to remove files hth < 1456962517 66270 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :There are also categories where the arrows are numbers. < 1456962519 724869 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? " < 1456962520 776456 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​"? ¯\(°​_o)/¯ < 1456962525 478425 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :numbers are scalars, AKA 1×1 matrices, so you're in the Mat category. < 1456962527 621539 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: Thought that might be the case < 1456962531 166988 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`touch test2 < 1456962533 254113 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1456962534 564402 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :boily: Good point < 1456962535 874426 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`cat test2 < 1456962536 591125 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1456962537 679722 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But you need to talk about which one you're talking about. < 1456962540 796381 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`? " < 1456962542 245801 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​" is a double quote, added to wisdom as a test. < 1456962546 748998 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: hth < 1456962555 518421 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`rm wisdom/" < 1456962555 677708 :nzt-fish!~nzt@unaffiliated/nzt PRIVMSG #esoteric :no op in here? < 1456962556 684074 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: What are some examples of common morphisms in categories with numbers as the elements? < 1456962557 245959 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :pah < 1456962558 99725 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1456962565 245738 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hppavilion[1]: That's up to you. < 1456962571 413175 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :nzt-fish: it's up to you to guess who's a chanop. < 1456962576 221025 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :And while we're at it, what about where the arrows are numbers < 1456962578 172848 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: it's particularly insidious in that it seems to work until the next repository change (iiuc) < 1456962578 903883 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hppavilion[1]: I'll give you three examples and then you go figure them out and tell me things about them. < 1456962593 518384 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :All of these categories have natural numbers as objects. < 1456962594 638908 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`rm test2 < 1456962595 987780 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :nzt-fish: We have ops, but they have to make ChanServ op themselves to be ops < 1456962596 534558 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1456962600 43059 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :nzt-fish: THen they deop < 1456962603 951745 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i'm a chanop and so is my wife < 1456962609 314511 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or wait, was that spartacus < 1456962613 262568 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :A: There's an arrow between X and Y iff X <= Y < 1456962615 525569 :nzt-fish!~nzt@unaffiliated/nzt PRIVMSG #esoteric :okay, how about this < 1456962628 878554 :nzt-fish!~nzt@unaffiliated/nzt PRIVMSG #esoteric :ACTION pulls out his huge donger and dicks every single one of you, you and you and you. < 1456962631 205741 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :B: An arrow between N and M is an NxM matrix. Composition is matrix multiplcation. < 1456962645 775147 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :nzt-fish: surely you can be more creative than that < 1456962650 27645 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :oerjan: can I be op momentarily and mapole the fish into oblivion? pretty please? < 1456962657 913390 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : oerjan: See, that's why no one trusts `learn. <-- well i added documentation. < 1456962658 94086 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :C: An arrow : N -> M is an M-tuple of numbers smaller than N. Composition is pointwise indexing. < 1456962661 688664 :nzt-fish!~nzt@unaffiliated/nzt PRIVMSG #esoteric :int-e: yes, but it's enough to get banned. now where are the ops < 1456962666 691134 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`learn < 1456962667 525081 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/hackenv/bin/learn: line 3: wisdom/: Is a directory \ Learned '': < 1456962676 8871 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :shachaf: heh, nice one :D < 1456962691 645776 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :boily: ? < 1456962710 141849 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :did you just `learn the empty file with an empty name? < 1456962713 832287 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hppavilion[1]: Now go figure out what those categories are and tell oerjan when you're done. < 1456962716 946546 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :or am I grossly mistaken... < 1456962719 716209 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I was trying to see oerjan's documentation. < 1456962732 352804 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: Yep, working on that < 1456962733 932477 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`le/rn /foo < 1456962734 834990 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1456962752 118303 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` le/rn '/foo'; echo $? < 1456962752 888914 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1 < 1456962758 622959 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I guess it checks that. < 1456962789 50357 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :ACTION rolls a d20 for a charm/diplomacy check against oerjan < 1456962810 345583 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :I got 18. < 1456962834 89016 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@dice d20 < 1456962834 223021 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :int-e: 1 < 1456962837 479046 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hah! < 1456962843 255692 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: What kind of matrix is the NxM matrix? < 1456962863 560070 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: As in, is it N^nxm? < 1456962866 973030 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Or R^nxm < 1456962871 668985 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Or I^nxm < 1456962876 960455 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so what would a critical charm/diplomacy failure look like... < 1456962883 862353 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :int-e fumbles, grips hppavilion[1] by the arm and they both tumble down a sudden cliff that materialized out of nowhere < 1456962900 319738 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :a, straight to hell? convenient... < 1456962917 916365 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hppavilion[1]: Let's say reals. < 1456962924 970662 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: OK < 1456962937 803687 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :boily: personally I was thinking of bursting mirrors < 1456962942 115508 :ChanServ!ChanServ@services. MODE #esoteric +o :boily > 1456962942 123459 NAMES :#esoteric < 1456962952 71503 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :thoerjan ^^ < 1456962957 328620 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :got to respect the dice < 1456962980 955209 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :d20 < 1456962981 88366 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :shachaf: 18 < 1456962985 940912 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh man < 1456962997 216885 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :damn, that contextual match is still there? < 1456963002 577959 :boily!~alexandre@96.127.201.149 MODE #esoteric +b :*!~nzt@unaffiliated/nzt > 1456963002 598991 NAMES :#esoteric < 1456963004 716395 :boily!~alexandre@96.127.201.149 KICK #esoteric nzt-fish :*THWACK* too doo doo doo doo doooo ♪ IT'S A HOMERUN! < 1456963010 811994 :boily!~alexandre@96.127.201.149 MODE #esoteric -o :boily > 1456963010 823241 NAMES :#esoteric < 1456963071 124822 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hppavilion[1]: The real point of this exercise is to realize that the objects of a category are pretty irrelevant. < 1456963088 565016 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: Yes, but now I'm invested < 1456963112 525835 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That third category is a very obscure one you've probably never heard of. < 1456963118 551107 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so you can have completely pointless categories and the theory will still work just as well as before < 1456963132 477101 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It has the property that products are products and sums are sums. < 1456963148 508846 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can probably figure out some more properties. < 1456963151 753357 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`? learn < 1456963153 22286 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​`learn creates a wisdom entry and tries to guess which word is the key. Syntax (case insensitive): `learn [a|an|the] [s][punctuation] [...]