< 1443139586 155155 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net JOIN :#esoteric < 1443140232 245092 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :No I was to make new kind of programming language for Magic: the Gathering, so not Python. If existing one is use then possibly Haskell, but I would think a new one so that the compiler can figure out what stuff can interfere and add all necessary checks in the proper places. < 1443140254 937754 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Quit: Leaving < 1443140296 192066 :mauris_!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :http://puu.sh/kn5vc/737a29bddb.png help, i can't do proofs < 1443140394 44343 :mauris_!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :what is that question mark trying to tell me < 1443140874 120689 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net PRIVMSG #esoteric :http://www.lefthandedtoons.com/1832/ < 1443141158 520164 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :mauris_: it's not clear what y_5 is supposed to be. < 1443141392 174722 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(from a slightly different perspective, there are two choices for P_5: P_5(x) = t_2(x), and P_5(x) = t_2(y_2)) < 1443141764 112450 :mauris_!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :ah < 1443142128 824830 :bender!~benderx2@2404:e800:e61a:41d:3508:d3e7:4eb6:fffe JOIN :#esoteric < 1443142129 55824 :bender!~benderx2@2404:e800:e61a:41d:3508:d3e7:4eb6:fffe QUIT :Changing host < 1443142129 55873 :bender!~benderx2@unaffiliated/bender/x-9459530 JOIN :#esoteric < 1443142824 592685 :mauris_!~mauris@unaffiliated/nooodl QUIT :Ping timeout: 255 seconds < 1443142835 316418 :mauris_!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1443143138 563289 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :zzo38: could you give an example of "stuff that can interfere" and the necessary checks? < 1443143259 857840 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :tswett: I think I gave a few examples above, but other examples can be text-editing effects, replacement effects, and other stuff. So the programming language must support the types of triggers, events, actions, overrides, replacements, etc. I thought to use extensible types for such things. < 1443143359 592702 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :RDF represents the data as a directed graph and allows adding nodes/edges anywhere in the graph, so I thought to represent the program as a RDF graph; you can have multiple graphs combined together (with duplicate edges removed afterward) and then macro processed (using Macro-RDF, which is something else I invented), and then finally is compiled into Haskell codes or C codes or whatever < 1443143380 534722 :mauris!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1443143423 325369 :bb010g!uid21050@gateway/web/irccloud.com/x-iekgpkabgcoqpawa JOIN :#esoteric < 1443143501 4990 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :There are a few similarities to rule-based and aspect-based programming too, but this is more of a declarative kind of system < 1443143505 983492 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Magic cards definitely seem more code-like than data-like to me. < 1443143513 504036 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Yeah, I can see why you'd want a specialized language. < 1443143530 286112 :mauris_!~mauris@unaffiliated/nooodl QUIT :Ping timeout: 244 seconds < 1443143618 623962 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Yes it is more code-like than data-like, although depending on programming languages you can treat them in similar ways. < 1443143648 43561 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I think a general-purpose programming language like Python, Haskell or C# would definitely do it, but a specialized language would do it more concisely. < 1443143652 522872 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I did show an example code above; what is your opinion of that one? < 1443143665 268707 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :tswett: Yes, that is how I meant; a specialized language would do it better < 1443143781 411150 :fowl!fowl@gateway/shell/elitebnc/x-hfvwzvgasvkdabgn PRIVMSG #esoteric :`wisdom < 1443143784 320917 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :cyberdrone/cyberdrone is a drone flying in cyberspace. < 1443144164 520183 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :A cyberspace is a space object in the category of cyber algebras. < 1443144187 202696 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :A cyberdrone is a drone object in the category of cyber algebras. < 1443144198 634030 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :A Pop Tart is a Tart object in the category of Pop algebras. < 1443144236 124276 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :A Tart object is an object object in the category of Tart algebras. < 1443144245 978101 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :An object object is an object object in the category of object algebras. < 1443144260 570294 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :An object algebra is an algebra object in the category of object algebras. < 1443144275 988760 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :An algebra object is an algebra object in the category of algebra algebras. < 1443144279 792718 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :You get the idea. < 1443144348 442357 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :A pepperoni pizza is a pizza object in the category of pepperoni algebras. < 1443144386 876287 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :we got the idea a long time ago hth < 1443144749 467423 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :fellowl. long time no see. < 1443144758 973906 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :`wisdom < 1443144760 173290 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :unicide/Unicide is when people can't read your suicide note because they lack the proper font. < 1443144767 540171 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :`wisdom < 1443144769 747112 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :indentity function/indentity function is the function that measures how indented source code is. < 1443144912 921658 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :`wisdom < 1443144914 272625 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :welkom/Welkom bij het internationaal centrum voor het ontwerpen en implementeren van esoterische programmeertalen! Voor meer informatie, bezoek de wiki: http://esolangs.org/wiki/Main_Page. (Voor de andere soort esoterie is er #esoteric op irc.dal.net.) < 1443144937 252091 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that message is out of date tdnh < 1443144947 613871 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :it is? < 1443144960 989945 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :mauris: care to certify the Dutchiness degree of that message? < 1443144988 28737 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :(afair, you're Belgian and/or Netherlandsish.) < 1443145018 707085 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i didn't say it was out of dutch hth < 1443145101 318138 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :datch, dute, date, dutch, it's the same concept observed differently. < 1443145159 59619 :hppavilion[1]!~Devourero@93-231-58-66.gci.net QUIT :Ping timeout: 240 seconds < 1443145203 996171 :boily!~alexandre@96.127.201.149 QUIT :Quit: RECIPROCAL CHICKEN < 1443145664 987445 :hppavilion[1]!~Devourero@93-231-58-66.gci.net JOIN :#esoteric < 1443145689 146495 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :http://physics.stackexchange.com/questions/208516/can-tin-foil-hats-block-anything < 1443145744 124300 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Maybe a tin foil hat might block trying to see your hair < 1443145829 450221 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :you can pretend you're not bald < 1443145834 752543 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1443145890 197742 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`welcome < 1443145891 365222 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :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.) < 1443145912 355187 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net QUIT :Quit: adu < 1443145921 639143 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` sed -i 's/irc.dal.net/EFnet of DALnet/' wisdom/welkom; mv wisdom/wel{kom,come.nl} < 1443145925 768510 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1443146119 983780 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :EFnet is now of DALnet? < 1443146845 289654 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? welcome.nl < 1443146846 328265 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Welkom bij het internationaal centrum voor het ontwerpen en implementeren van esoterische programmeertalen! Voor meer informatie, bezoek de wiki: http://esolangs.org/wiki/Main_Page. (Voor de andere soort esoterie is er #esoteric op EFnet of DALnet.) < 1443146855 441396 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fizzie: only if you're dutch < 1443147606 963192 :Tod-Autojoined!Tod@50-198-177-186-static.hfc.comcastbusiness.net NICK :TodPunk < 1443147839 366170 :blurelIse!~bluelse@c-67-168-205-81.hsd1.or.comcast.net PRIVMSG #esoteric :copper mesh/net hats are much more effective < 1443147914 343897 :blurelIse!~bluelse@c-67-168-205-81.hsd1.or.comcast.net PRIVMSG #esoteric :so is slitting your wrists vertically, but hollywood likes to just portray things rather than give specific instructions ;) < 1443148158 206486 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :If you are trying to block signals then yes copper mesh is probably much more effective < 1443148679 453260 :blurelIse!~bluelse@c-67-168-205-81.hsd1.or.comcast.net PRIVMSG #esoteric :if you were reallllly paranoid you could also go for teh 5 inch thick led hat < 1443148743 8110 :blurelIse!~bluelse@c-67-168-205-81.hsd1.or.comcast.net PRIVMSG #esoteric :**side effects may vary < 1443148815 547713 :nisstyre!~yourstrul@li611-52.members.linode.com QUIT :Changing host < 1443148815 725902 :nisstyre!~yourstrul@oftn/member/Nisstyre JOIN :#esoteric < 1443149166 26997 :bender!~benderx2@unaffiliated/bender/x-9459530 QUIT :Ping timeout: 240 seconds < 1443149369 498194 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net NICK :MDream < 1443149708 688865 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yay i made it past all the magic blathering < 1443150153 290397 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :`danddreclist 68 < 1443150154 116000 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :danddreclist 68: shachaf nooodl boily \ http://zzo38computer.org/dnd/recording/level20.tex < 1443150210 502236 :mauris!~mauris@unaffiliated/nooodl QUIT :Quit: Leaving < 1443150899 518207 :blurelIse!~bluelse@c-67-168-205-81.hsd1.or.comcast.net PRIVMSG #esoteric :Magic: the Blathering < 1443151458 93133 :bender!~benderx2@unaffiliated/bender/x-9459530 JOIN :#esoteric < 1443152235 559334 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Does philosophy have axioms the same way mathematics does? < 1443152242 458980 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :e.g. "I think, therefor I am"? < 1443152313 560361 :blurelIse!~bluelse@c-67-168-205-81.hsd1.or.comcast.net PRIVMSG #esoteric :"A = B(c), therefore A/B=c" < 1443152338 590319 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Or perhaps is there a philisopical notation that looks like math? < 1443152347 866209 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Only if you are being logical, I think? But sometimes in philosophy you must go beyond logic, otherwise who can tell the logic if it is good? < 1443152355 93870 :Frooxius!~Frooxius@2602:306:8039:e9e0:3cff:20fb:7815:f4cc JOIN :#esoteric < 1443152431 706134 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :hppavilion[1]: It can depend on what you are writing about I think; in some cases symbolic logic helps but mostly you just have to write in other ways since there is no mathematical notation to explain it when you are using the notation alone without any text to explain it. < 1443152666 865355 :bender!~benderx2@unaffiliated/bender/x-9459530 QUIT :Remote host closed the connection < 1443152727 86915 :bender|!~benderx2@2404:e800:e61a:41d:3508:d3e7:4eb6:fffe JOIN :#esoteric < 1443152727 267465 :bender|!~benderx2@2404:e800:e61a:41d:3508:d3e7:4eb6:fffe QUIT :Changing host < 1443152727 267534 :bender|!~benderx2@unaffiliated/bender/x-9459530 JOIN :#esoteric < 1443152753 353223 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :Dwarf fortress dwarves are stupid < 1443152809 384447 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :if you have a pond that is connected to another pond by a u-bend, they will try to fill one pond from the other < 1443152817 127760 :Froox!~Frooxius@2602:306:8039:e9e0:8d99:79d6:afd9:caad JOIN :#esoteric < 1443152897 163573 :Froox!~Frooxius@2602:306:8039:e9e0:8d99:79d6:afd9:caad QUIT :Client Quit < 1443152921 188831 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :in fact, if the u-bend is walkable, they will walk through the tunnel from one pond to the other, tryingto fill the pond with the water they are walking through. retards < 1443152982 101584 :Frooxius!~Frooxius@2602:306:8039:e9e0:3cff:20fb:7815:f4cc QUIT :Ping timeout: 240 seconds < 1443152986 425546 :Froox!~Frooxius@2602:306:8039:e9e0:8d99:79d6:afd9:caad JOIN :#esoteric < 1443153789 565919 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :My documentation output is being butchered < 1443153846 972538 :hppavilion[1]!~Devourero@93-231-58-66.gci.net QUIT :Ping timeout: 260 seconds < 1443154023 267681 :hppavilion[1]!~Devourero@93-231-58-66.gci.net JOIN :#esoteric < 1443154144 340580 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net JOIN :#esoteric < 1443154607 560024 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Remote host closed the connection < 1443156725 848727 :hppavilion[1]!~Devourero@93-231-58-66.gci.net QUIT :Ping timeout: 252 seconds < 1443156763 354083 :hppavilion[1]!~Devourero@93-231-58-66.gci.net JOIN :#esoteric < 1443157383 232681 :variable!~variable@freebsd/developer/variable QUIT :Quit: 1 found in /dev/zero < 1443157606 642742 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :did you know that voldemort can't love because he was conceived under a love potion? < 1443157713 468682 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :O, is that why? Is that what a love potion is for? < 1443157728 276349 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net JOIN :#esoteric < 1443157755 181505 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :no a love potion is not supposed to produce monsters < 1443157800 690903 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I meant if it is used to prevent those conceived under it from loving < 1443157809 49119 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :no no < 1443157821 255632 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :why would you do that < 1443157864 399370 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I don't know why you such a thing would be done, unless it is a side-effect of something else < 1443157865 449180 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :his mother died and he was raised in an orphanage and was never loved < 1443157898 927415 :aretecode!~aretecode@50.23.131.206-static.reverse.softlayer.com QUIT :Quit: Toodaloo < 1443157901 777677 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :But I thought you said he can't love because he was conceived under a love potion? < 1443157918 575956 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :So which is it? < 1443157952 20219 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :there are several factors that contributed < 1443157956 882993 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :http://www.the-leaky-cauldron.org/2007/7/30/j-k-rowling-web-chat-transcript < 1443157960 600009 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :That is what I thought. < 1443160217 844521 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Talk:Brainfuck14]]4 10 02http://esolangs.org/w/index.php?diff=44386&oldid=44384 5* 03Keymaker 5* (+414) 10/* Would BF still be TC with do-while loops? */ < 1443160344 893152 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :...x|y|z... < 1443160362 94931 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Mathematician's worst nightmare: Hambiguous notation < 1443160457 14806 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net QUIT :Quit: adu < 1443161107 215023 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net QUIT :Ping timeout: 244 seconds < 1443161678 871240 :MoALTz__!~no@78.11.179.104 JOIN :#esoteric < 1443161834 136823 :MoALTz_!~no@78.11.179.104 QUIT :Ping timeout: 246 seconds < 1443162995 947463 :hppavilion[1]!~Devourero@93-231-58-66.gci.net QUIT :Ping timeout: 252 seconds < 1443163968 444648 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :The picture on this computer monitor is not visible when viewed from "REALD" 3-D glasses backwards and rotated 45 degrees. < 1443164260 377547 :Froo!~Frooxius@2602:306:8039:e9e0:8d99:79d6:afd9:caad JOIN :#esoteric < 1443164382 899956 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net QUIT :Read error: Connection reset by peer < 1443164393 64013 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net JOIN :#esoteric < 1443164430 437650 :Froox!~Frooxius@2602:306:8039:e9e0:8d99:79d6:afd9:caad QUIT :Ping timeout: 240 seconds < 1443164430 615849 :bender|!~benderx2@unaffiliated/bender/x-9459530 QUIT :Ping timeout: 240 seconds < 1443165941 860994 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i like ham < 1443166379 415778 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ooh new xkcd whatif this week < 1443166397 854010 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :myname: what about green eggs < 1443166432 873072 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :oerjan: the most undefined what-if conclusion so far < 1443167973 865224 :bender|!~benderx2@unaffiliated/bender/x-9459530 JOIN :#esoteric < 1443168198 397284 :bb010g!uid21050@gateway/web/irccloud.com/x-iekgpkabgcoqpawa QUIT :Quit: Connection closed for inactivity < 1443169806 510025 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 240 seconds < 1443170159 173256 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1443170324 579950 :sc00fy!~scoofy@catv-89-135-80-2.catv.broadband.hu JOIN :#esoteric < 1443170354 944038 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Talk:Brainfuck14]]4 10 02http://esolangs.org/w/index.php?diff=44387&oldid=44386 5* 03Martin Büttner 5* (+366) 10/* Would BF still be TC with do-while loops? */ < 1443170467 993787 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION feels so efficient when closing monomorphism restriction questions as duplicates on SO < 1443170664 21481 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Talk:Brainfuck14]]4 10 02http://esolangs.org/w/index.php?diff=44388&oldid=44387 5* 03Martin Büttner 5* (+405) 10/* Would BF still be TC with do-while loops? */ < 1443170698 983169 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Talk:Brainfuck14]]4 10 02http://esolangs.org/w/index.php?diff=44389&oldid=44388 5* 03Martin Büttner 5* (-3) 10/* Would BF still be TC with do-while loops? */ < 1443171631 658082 :FireFly!firefly@oftn/member/FireFly QUIT :Read error: Connection reset by peer < 1443171634 283071 :heddwch!heddwch@76.8.3.189 QUIT :Read error: Connection reset by peer < 1443171663 203968 :FireFly!firefly@oftn/member/FireFly JOIN :#esoteric < 1443171675 477529 :heddwch!heddwch@76.8.3.189 JOIN :#esoteric < 1443172274 591285 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1443175351 566125 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"Hosting an intern is a big responsibility. Please ensure you’re prepared to commit the time and energy --" they're making that sound like having a pet. < 1443175905 144765 :JesseH!~JesseH@oftn/member/JesseH QUIT :Remote host closed the connection < 1443176046 104211 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Talk:Brainfuck14]]4 10 02http://esolangs.org/w/index.php?diff=44390&oldid=44389 5* 03Keymaker 5* (+367) 10/* Would BF still be TC with do-while loops? */ < 1443176666 952178 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1443177255 449135 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1443177256 368831 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1443177978 449921 :|f`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net QUIT :Ping timeout: 272 seconds < 1443178119 447843 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :"photons in metric". Steve is crazy. < 1443178147 166111 :|f`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net JOIN :#esoteric < 1443178615 304135 :MDream!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net NICK :MDude < 1443180234 389582 :boily!~alexandre@96.127.201.149 QUIT :Quit: DSCHINGHIS CHICKEN < 1443180991 604326 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net QUIT :Quit: Leaving. < 1443182449 492756 :mroman_!~mroman@160.85.232.232 JOIN :#esoteric < 1443182465 609258 :mroman_!~mroman@160.85.232.232 PRIVMSG #esoteric :guess that means my vserver is now gone :) < 1443185357 450958 :mroman_!~mroman@160.85.232.232 PRIVMSG #esoteric :foo a b c q{trim(a +len(b) -len(c) q)} < 1443185370 928236 :mroman_!~mroman@160.85.232.232 PRIVMSG #esoteric :neat :) < 1443185409 635219 :mroman_!~mroman@160.85.232.232 PRIVMSG #esoteric :trim(a+len(b)-len(c)q) is trim(a,len(b)+(len(c)-q)) < 1443185472 188057 :mroman_!~mroman@160.85.232.232 PRIVMSG #esoteric :except it's way shorter < 1443185760 661983 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :fizzie: that's because it is < 1443185764 883787 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :"way shorter" < 1443185816 618118 :mroman_!~mroman@160.85.232.232 PRIVMSG #esoteric :a little bit shorter < 1443186027 113830 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1443187318 908513 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 246 seconds < 1443187364 125328 :choochter!choochter@nat/ibm/x-ikmeeqpalyygqsjp JOIN :#esoteric < 1443187558 881399 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1443187704 863331 :mroman_!~mroman@160.85.232.232 PRIVMSG #esoteric :http://codepad.org/pAThBaWf <- my current WIP < 1443189016 546356 :mroman_!~mroman@160.85.232.232 PRIVMSG #esoteric :fucking migraine < 1443189021 331539 :|f`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net QUIT :Ping timeout: 256 seconds < 1443189030 34608 :mroman_!~mroman@160.85.232.232 PRIVMSG #esoteric :migraine and cold together sucks even more < 1443189193 148893 :|f`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net JOIN :#esoteric < 1443189363 188835 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1443189375 487268 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 268 seconds < 1443190003 281515 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net JOIN :#esoteric < 1443190483 457836 :gamemanj!~gamemanj@cpc8-aztw23-2-0-cust128.aztw.cable.virginm.net JOIN :#esoteric < 1443190903 145502 :J_Arcane!~chatzilla@37-219-218-160.nat.bb.dnainternet.fi QUIT :Ping timeout: 240 seconds < 1443191098 573087 :J_Arcane!~chatzilla@37-219-100-209.nat.bb.dnainternet.fi JOIN :#esoteric < 1443191253 212348 :mauris!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1443191398 536270 :J_Arcane_!~chatzilla@37-219-100-209.nat.bb.dnainternet.fi JOIN :#esoteric < 1443191527 576007 :J_Arcane!~chatzilla@37-219-100-209.nat.bb.dnainternet.fi QUIT :Ping timeout: 265 seconds < 1443191528 580416 :J_Arcane_!~chatzilla@37-219-100-209.nat.bb.dnainternet.fi NICK :J_Arcane < 1443192097 326674 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`unicode TRIANGLE < 1443192098 824993 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :U+20E4 COMBINING ENCLOSING UPWARD POINTING TRIANGLE \ UTF-8: e2 83 a4 UTF-16BE: 20e4 Decimal: ⃤ \ ⃤ \ Category: Me (Mark, Enclosing) \ Bidi: NSM (Non-Spacing Mark) \ \ U+22BF RIGHT TRIANGLE \ UTF-8: e2 8a bf UTF-16BE: 22bf Decimal: ⊿ \ ⊿ \ Category: Sm (Symbol, Math) \ Bidi: ON (Other Neutrals) \ Character is mirrored \ \ U+23 < 1443192106 330076 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`unicode EQUALS TRIANGLE < 1443192107 395089 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1443192109 743091 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`unicode EQUALS.*TRIANGLE < 1443192110 725938 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1443192112 197099 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`unicode EQUALS*TRIANGLE < 1443192113 172870 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1443192121 863559 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`` unicode TRIANGLE | paste < 1443192125 361515 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/paste/paste.16546 < 1443192144 447295 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`` unicode --max 100 TRIANGLE | paste < 1443192147 950375 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/paste/paste.2465 < 1443192295 766020 :impomatic_!~digital_w@252.62.113.87.dyn.plus.net JOIN :#esoteric < 1443193471 205225 :J_Arcane!~chatzilla@37-219-100-209.nat.bb.dnainternet.fi QUIT :Ping timeout: 240 seconds < 1443193679 516865 :Aleja!~maria__@186-94-112-239.genericrev.cantv.net JOIN :#esoteric < 1443193833 822011 :Aleja!~maria__@186-94-112-239.genericrev.cantv.net QUIT :Read error: Connection reset by peer < 1443194494 942712 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be JOIN :#esoteric < 1443194517 749021 :mroman_!~mroman@160.85.232.232 QUIT :Quit: Lost terminal < 1443194935 335812 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 240 seconds < 1443194988 320883 :sebbu!~sebbu@ADijon-152-1-25-74.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1443194988 534212 :sebbu!~sebbu@ADijon-152-1-25-74.w83-194.abo.wanadoo.fr QUIT :Changing host < 1443194988 712393 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1443195678 551832 :J_Arcane!~chatzilla@37-219-211-30.nat.bb.dnainternet.fi JOIN :#esoteric < 1443196048 289082 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net QUIT :Quit: Leaving. < 1443196554 521236 :J_Arcane!~chatzilla@37-219-211-30.nat.bb.dnainternet.fi QUIT :Ping timeout: 255 seconds < 1443196698 363446 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :So where'd blsqbot go? < 1443196805 163364 :Froo!~Frooxius@2602:306:8039:e9e0:8d99:79d6:afd9:caad QUIT :Quit: *bubbles away* < 1443197024 728642 :idris-bot!~idris-bot@dslb-092-072-145-004.092.072.pools.vodafone-ip.de QUIT :Quit: Terminated < 1443197042 561413 :idris-bot!~idris-bot@dslb-092-072-145-004.092.072.pools.vodafone-ip.de JOIN :#esoteric < 1443197120 85127 :Frooxius!~Frooxius@2602:306:8039:e9e0:8d99:79d6:afd9:caad JOIN :#esoteric < 1443197180 182834 :Frooxius!~Frooxius@2602:306:8039:e9e0:8d99:79d6:afd9:caad QUIT :Client Quit < 1443197220 697359 :Frooxius!~Frooxius@2602:306:8039:e9e0:8d99:79d6:afd9:caad JOIN :#esoteric < 1443197293 587064 :Frooxius!~Frooxius@2602:306:8039:e9e0:8d99:79d6:afd9:caad QUIT :Client Quit < 1443197416 170679 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so currently, Magic: the Gathering Online has a bug where the non-promo version of Relic Seeker works correctly, and the promo version has a bug < 1443197424 969207 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and people are trying to figure out htf you mess that up that badly < 1443197447 4719 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :good question < 1443197482 471626 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :in theory, the promo info should just be a bool < 1443197498 418511 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do they have un-cards in mtgo? < 1443197501 25959 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: no < 1443197522 86111 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :myname: probably an enum, you can have multiple promo versions of a card < 1443197535 661838 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :okay < 1443197548 135822 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :still stupid < 1443197563 369473 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Are there any other occasions where a different version of a card has behaved differently? < 1443197601 363785 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's the bug? < 1443197640 749850 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: it wasn't specified on the MTGO known issues list, which is the source for this issue that I was linked to < 1443197723 111374 :bender|!~benderx2@unaffiliated/bender/x-9459530 QUIT :Ping timeout: 246 seconds < 1443197972 194789 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1443197982 310631 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1443198284 274592 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Hexagony14]]4 10 02http://esolangs.org/w/index.php?diff=44391&oldid=44251 5* 03Martin Büttner 5* (+158) 10/* External Resources */ Add Hexagony Colorer < 1443198310 204343 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Hexagony14]]4 10 02http://esolangs.org/w/index.php?diff=44392&oldid=44391 5* 03Martin Büttner 5* (+32) 10/* External Resources */ < 1443199089 443612 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org JOIN :#esoteric < 1443199929 634438 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :darn, I forgot how tedious to prove the beer drinker's paradox is with natural deduction in first order logic < 1443200067 510604 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :int-e: is that the "in any pub, there's some person for which if they drink, everyone drinks" theorem? < 1443200114 146608 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ais523: yes < 1443200156 503128 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :http://incredible.nomeata.de/ has that as one of its examples; mauris was struggling with that 17 hours ago. < 1443200307 422103 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :i thought it was more like "in any pub there exists some person such that if they are drinking then everyone is drinking" < 1443200344 92148 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net JOIN :#esoteric < 1443200351 754256 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Phantom_Hoover: that's the same < 1443200370 570180 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :right; my statement of the theorem is a little ambiguous, but traditional < 1443200379 521543 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ACTION may be missing the ambiguity. < 1443200386 200304 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because it makes the statement seeming more implausible < 1443200395 303537 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :int-e: logical "if" versus causation "if" < 1443200421 245031 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Oh, I guess I'm too much of a logician :P < 1443200437 588331 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :thanks < 1443200511 104579 :Frooxius!~Frooxius@2602:306:8039:e9e0:8d99:79d6:afd9:caad JOIN :#esoteric < 1443200594 607766 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(I struggled for a while as well, but I got it in the end) < 1443200646 193561 :gamemanj!~gamemanj@cpc8-aztw23-2-0-cust128.aztw.cable.virginm.net PRIVMSG #esoteric :what on earth is that weird madness of block diagrams < 1443200679 181194 :gamemanj!~gamemanj@cpc8-aztw23-2-0-cust128.aztw.cable.virginm.net PRIVMSG #esoteric :to me it just looks like a graphical esolang < 1443200749 999400 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it's a representation of formal proofs; basically you plug in proved statements as premises of other rules ... < 1443200815 165138 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :... but there are some funny rules (for proving implications or case distinctions arising out of disjunctions in premises) that introduce new premises... those make it a bit tricky. < 1443201251 124893 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net QUIT :Ping timeout: 246 seconds < 1443201297 845374 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org QUIT :Ping timeout: 252 seconds < 1443201342 916545 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org JOIN :#esoteric < 1443201733 579996 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net JOIN :#esoteric < 1443201806 81761 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net QUIT :Client Quit < 1443202041 9204 :Frooxius!~Frooxius@2602:306:8039:e9e0:8d99:79d6:afd9:caad QUIT :Quit: *bubbles away* < 1443202670 900180 :adu!~ajr@static-108-48-76-162.washdc.fios.verizon.net JOIN :#esoteric < 1443203198 696422 :impomatic_!~digital_w@252.62.113.87.dyn.plus.net QUIT :Quit: http://corewar.co.uk < 1443204977 742469 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :How does that representations works, do you have example, and what funny rules involved? < 1443205081 853116 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org QUIT :Ping timeout: 252 seconds < 1443205177 297882 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org JOIN :#esoteric < 1443205209 98259 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :19:44 toyed with the idea of writing my own coding language before i found this room < 1443205212 88957 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :19:46 <@DarwinElf> I've thought about this, but this channel is about mysticism/esoterism/occultism, etc. < 1443205216 637766 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: efnet #esoteric hth < 1443205269 706649 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh, blurelIse is here too < 1443205278 81411 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`welcome blurelIse < 1443205279 848729 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :blurelIse: 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.) < 1443205290 657846 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: huh, people go to the other #esoterics looking for us? < 1443205292 714504 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I guess it makes sense < 1443205411 889886 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 252 seconds < 1443205464 399023 :clog!~nef@bespin.org QUIT :Ping timeout: 250 seconds < 1443205751 95160 :clog!~nef@bespin.org JOIN :#esoteric < 1443206085 208495 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Stuff such as CTRL+C and so on is not working properly in DOSBox < 1443206132 20307 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Not working properly to copy, or not working properly to cancel? < 1443206259 876030 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :It doesn't cancel, it just prints a heart shape instead < 1443206285 16959 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :This means some programs do not work properly due to this < 1443206310 401348 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :(The graphic for CTRL+C in the PC character set is a heart shape.) < 1443206588 87681 :gamemanj!~gamemanj@cpc8-aztw23-2-0-cust128.aztw.cable.virginm.net PRIVMSG #esoteric :Um, well, did DOS even do ctrl+c = break? < 1443206680 812829 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Yes < 1443206716 135689 :JesseH!~JesseH@oftn/member/JesseH JOIN :#esoteric < 1443206819 738101 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net QUIT :Ping timeout: 264 seconds < 1443206864 803744 :nycs!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1443206919 73212 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 240 seconds < 1443206929 920640 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org QUIT :Ping timeout: 252 seconds < 1443206939 110087 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :DOSBox also does not support F3 and other stuff like that other than at the main command prompt, even though with some programs it is usable in a real DOS system < 1443206990 385322 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1443207211 872883 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org JOIN :#esoteric < 1443207705 636102 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :`unidecode ə < 1443207706 439001 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+0259 LATIN SMALL LETTER SCHWA] < 1443208549 393489 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net JOIN :#esoteric < 1443210056 146386 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :tswett: you have some experience with schwas, right? < 1443210058 138322 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ə < 1443210061 536100 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh wow, it's on my compose key < 1443210069 265722 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that seems like it might be potentially useful < 1443210109 181849 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :only potentially, though < 1443210117 355416 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :perhaps if we have a schwa-based esolang it'll make it easier to type < 1443210158 678338 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Yeah. It's just that the character looked slightly weird in this font, so I was wondering if maybe it was some *other* schwa character. < 1443210167 430897 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :ais523: hey, do you have a good compose file for IPA? < 1443210180 986488 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :tswett: I'm using Ubuntu's default compose file, I think < 1443210198 280829 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Does that actually let you type most characters in IPA? < 1443210199 379618 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :some symbols I want (such as Greek letters) are either missing or I can't figure out how to type them (or both, I guess) < 1443210205 808518 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but it surprises me about what letters are there < 1443210235 882974 :atrapado!~atrapado@unaffiliated/atrapado JOIN :#esoteric < 1443210368 183929 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Yeah, supposedly all I have to do is use the DEAD_GREEK key, but I don't know how I'm supposed to do that, given that my keyboard has no physical DEAD_GREEK key and I don't feel like mapping any physical key to that. < 1443210380 227711 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I suggest altgr-capslock < 1443210386 802206 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :You'd hope I would be able to say that two other keys compose to DEAD_GREEK or something. < 1443210486 488800 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net QUIT :Ping timeout: 255 seconds < 1443210714 104170 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I invented a "Customizer" prestige class for Dungeons&Dragons game, there is a menu of special features but I think that menu isn't quite right < 1443210849 395817 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Do you have suggestion of improvement? < 1443210953 655282 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org PRIVMSG #esoteric :I got my λ-calculuator working! < 1443210956 129573 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org PRIVMSG #esoteric :Whoo! < 1443211051 77402 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I like the idea of a lambda calculator < 1443211102 655742 :sc00fy!~scoofy@catv-89-135-80-2.catv.broadband.hu QUIT :Ping timeout: 265 seconds < 1443211589 111107 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Class can be selected at minimum levels 5, 9, 13, 17, 21, etc. Skill points = 3 + Int mod; Class skills = all; Proficiencies = none; Base attack = zero; Base saves = zero; Hit points = d2; at each level you can also select one bonus feat. < 1443211745 348466 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :How to make the improvement? < 1443212004 561101 :fowl!fowl@gateway/shell/elitebnc/x-hfvwzvgasvkdabgn QUIT :Quit: zz < 1443212070 365143 :fowl!fowl@gateway/shell/elitebnc/x-tsqwmngdqowjwqus JOIN :#esoteric < 1443212149 455704 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I also had a menu of special features you can select from which include: +1 HP, +1 base attack, +1 to a single base save, +3 skills, etc but I think that isn't very good, now. Would it be improve reasonably to do like: Skill points is now 1 + Int mod, hit points is now d1, no special feature, but do you do get 2 bonus feats both of which must be different? Or is that too much or not enough or both? < 1443212173 717033 :nycs!~nycs@gw.hq.meetup.com QUIT :Read error: No route to host < 1443212379 905348 :sc00fy!~scoofy@catv-89-135-80-2.catv.broadband.hu JOIN :#esoteric < 1443212926 472767 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 250 seconds < 1443212986 437003 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1443213527 131944 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org PRIVMSG #esoteric :Woohoo! < 1443213533 706300 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org PRIVMSG #esoteric :I got Syntax Highlighting working! < 1443213540 672738 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org PRIVMSG #esoteric :AND saving files! < 1443213545 329492 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org PRIVMSG #esoteric :The only two bugs are: < 1443213551 557883 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :"only"? < 1443213559 47096 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org PRIVMSG #esoteric :Major, known < 1443213565 59757 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net JOIN :#esoteric < 1443213569 830431 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org PRIVMSG #esoteric :Well, s/Major/substantial/ < 1443213576 595144 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org PRIVMSG #esoteric :Three < 1443213576 773306 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :you know that "The only two bugs are" is a "famous last words" suspect sentence < 1443213607 617505 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :if you say that, you're calling the software against you and you'll soon meet a very severe bug that impacts everything < 1443213612 238978 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org PRIVMSG #esoteric :A) If I try to highlight named expression names (in expressions and in assignments), it highlights in comments, too < 1443213648 620579 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org PRIVMSG #esoteric :B) Until you resize the window, the execute widget bugs out strangely (weird resizing things, overflow, etc) < 1443213662 171675 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org PRIVMSG #esoteric :C) Can't actually do λ-calculus < 1443213686 993159 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org PRIVMSG #esoteric :(I haven't implemented anything more than a lexer yet) < 1443213692 558925 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org PRIVMSG #esoteric :ais523: Great! < 1443213707 408280 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org PRIVMSG #esoteric :It's actually a part of a bigger open-source project called LIME < 1443213725 812841 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org PRIVMSG #esoteric :Which will, if all goes according to plan, be a general math helper < 1443213763 2200 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org PRIVMSG #esoteric :(Proof checking, autographer, etc.) < 1443213782 185174 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org PRIVMSG #esoteric :(Autographer meaning it graphs algebraic and geometric things) < 1443213799 410895 :gamemanj!~gamemanj@cpc8-aztw23-2-0-cust128.aztw.cable.virginm.net QUIT :Ping timeout: 265 seconds < 1443213896 502433 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org PRIVMSG #esoteric :How should I handle multi-part expressions? < 1443213915 376869 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org PRIVMSG #esoteric :Perhaps by allowing named expressions to include subscripts and *s? < 1443214028 169298 :Frooxius!~Frooxius@2602:306:8039:e9e0:8d99:79d6:afd9:caad JOIN :#esoteric < 1443214052 54239 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org PRIVMSG #esoteric :There < 1443214075 568431 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org PRIVMSG #esoteric :Instead of JUST single-character names, you can also do N[#] and N* < 1443214117 703738 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :O, so the software is not complete if cannot currently even do a lambda-calculus at all! < 1443214275 792671 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org PRIVMSG #esoteric :zzo38: It isn't complete. Did I say it was? < 1443214303 438185 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org PRIVMSG #esoteric :I just started it a few days ago, INCLUDING the part where I learn about λ-calculus < 1443215090 575955 :TieSoul!~quassel@86.89.119.147 QUIT :Read error: Connection reset by peer < 1443215118 876746 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :But you said you got it working? < 1443215267 908480 :sc00fy!~scoofy@catv-89-135-80-2.catv.broadband.hu QUIT :Ping timeout: 252 seconds < 1443215421 891312 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org QUIT :Ping timeout: 252 seconds < 1443215519 209905 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org JOIN :#esoteric < 1443215549 699546 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I have figured out that the visibility of different displays is affected differently by "REALD" glasses, and that it also depends on rotation, forward/backward, and/or which lens is used, depending on the display. What properties of a display can be determined using this? < 1443215838 713333 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: REALD glasses are of what sort? color filter, polarized, or synchronized flashing/ < 1443215858 89834 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: also, what types of displays? colored TFT? < 1443215928 487847 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be QUIT :Quit: ZNC - http://znc.in < 1443216323 878623 :adu!~ajr@static-108-48-76-162.washdc.fios.verizon.net QUIT :Ping timeout: 252 seconds < 1443216635 823674 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org PRIVMSG #esoteric :There < 1443216658 126903 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I think I have heard that they are circular polarized, but I am not completely sure. I do not know what type of display (I cannot find the manual right now), and there are more than one as they are different types of displays perhaps. I want to know if REALD glasses would be able to be use to figure out what kind of display in this way. < 1443216682 76382 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org PRIVMSG #esoteric :I have all the combinator birds from To Mock a Mockingbird copied into a file for my λ-calculator. < 1443216693 193241 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org PRIVMSG #esoteric :Because this is the new Combinatory Logic Playground < 1443216752 13552 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org PRIVMSG #esoteric :zzo38: When I said I got it working I really just meant the GUI. I currently have (partial) syntax highlighting and a half-complete menubar (File works except for exit, not Edit) < 1443216927 568970 :sc00fy!~scoofy@catv-89-135-80-2.catv.broadband.hu JOIN :#esoteric < 1443216932 72643 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org PRIVMSG #esoteric :λ-calculus shouldn't be /too/ hard to implement. I mean, it can be described as "the smallest universal programming language" AND it is represented in 3 lines of BNF (though I will be adding some extra stuff for simplicity in usage) < 1443217034 33942 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org PRIVMSG #esoteric :I might add an "Advanced" λ-calculus mode that does IO and things < 1443217035 868384 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org PRIVMSG #esoteric :Should I? < 1443217040 833025 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org PRIVMSG #esoteric :Possibly in another window xD < 1443217050 303532 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org PRIVMSG #esoteric :s/window/program/ < 1443218279 623345 :Bjarne_!b8dfab94@gateway/web/freenode/ip.184.223.171.148 JOIN :#esoteric < 1443218283 795748 :Bjarne_!b8dfab94@gateway/web/freenode/ip.184.223.171.148 PRIVMSG #esoteric :Hello < 1443218377 219230 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hello < 1443218384 132374 :Bjarne_!b8dfab94@gateway/web/freenode/ip.184.223.171.148 PRIVMSG #esoteric :How goes everything? < 1443218409 692121 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I was working on Underlambda, but haven't got much done recently < 1443218416 696805 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :other than much of the spec having stabilized < 1443218430 532998 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm really happy with the use of - for extracting list elements < 1443218442 155677 :Bjarne_!b8dfab94@gateway/web/freenode/ip.184.223.171.148 PRIVMSG #esoteric :nice < 1443218450 480456 :Bjarne_!b8dfab94@gateway/web/freenode/ip.184.223.171.148 PRIVMSG #esoteric :I've not been doing much lately < 1443218650 920760 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org QUIT :Ping timeout: 246 seconds < 1443218853 839633 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :mauris: http://int-e.eu/~bf3/tmp/beer-drinkers-paradox.svg is the simplest proof of the incredible proof machine example you worked on yesterday that I was able to come up with < 1443219038 292872 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1443219180 187403 :Bjarne_!b8dfab94@gateway/web/freenode/ip.184.223.171.148 PRIVMSG #esoteric :well now it's really quiet < 1443219186 521386 :Bjarne_!b8dfab94@gateway/web/freenode/ip.184.223.171.148 QUIT :Quit: Page closed < 1443219252 386346 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 264 seconds < 1443219348 619990 :fowl!fowl@gateway/shell/elitebnc/x-tsqwmngdqowjwqus PART #esoteric :"Leaving" < 1443219659 554128 :grotewold!~grotewold@c-68-50-42-113.hsd1.in.comcast.net JOIN :#esoteric < 1443219699 522844 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :int-e: that looks ridiculously complicated < 1443219716 752034 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :i expected it to be simple because it was the first one with quantifiers < 1443219729 562637 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: could you import nonfree in lambdabot twh < 1443219816 131850 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Wait, you need two TNDs for that proof? < 1443220014 16827 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it's possible that I'm doing something stupid, but yeah I did. < 1443220093 913203 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :one comes from converting from not exists P to forall not P, the other is the case distinction whether there is a non-drinker or not < 1443220219 325631 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org JOIN :#esoteric < 1443220252 264160 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org PRIVMSG #esoteric :Hellu < 1443220350 495768 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :err, the first (which really is the second...) converts not exists not P to forall P < 1443220606 75381 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1443220813 913480 :hppavilion[1]!~Devourero@74-114-87-93.dynamic.asdk12.org QUIT :Ping timeout: 246 seconds < 1443221660 749774 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1443221851 997958 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: Ah. < 1443221856 928903 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :How do I make a protocol handler in Firefox that would require a HTTP proxy to be used to access the data (for example if you write "x-whatever://example.org:123/this" then it send "GET x-whatever://example.org:123/this HTTP/1.1" to the proxy server)? < 1443221895 620009 :grotewold!~grotewold@c-68-50-42-113.hsd1.in.comcast.net QUIT :Quit: My Mac has gone to sleep. ZZZzzz… < 1443221921 86441 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't know about protocol handlers in Firefox, but you can configure proxies for URLs in general with a JavaScript function. < 1443221960 753881 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I know that, but I want to force it to use a HTTP proxy < 1443222041 599906 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :And ignore any other proxy handlers < 1443222068 329022 :grotewold!~grotewold@c-68-50-42-113.hsd1.in.comcast.net JOIN :#esoteric < 1443222687 577205 :hppavilion[1]!~Devourero@93-231-58-66.gci.net JOIN :#esoteric < 1443222730 977443 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :So here's a type of cryptography I'd like to see someone talk about that probably is already a thing < 1443222734 789403 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Executable Encryption < 1443222749 720439 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :(Not the same as an Encrypted Executable File, but could be connected) < 1443222766 215763 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hppavilion[1]: is that like homomorphic encryption? or weaker? < 1443222839 513291 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :b_jonas: Basically, here's an idea: < 1443222842 243660 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :BrainCryp < 1443222843 180993 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :t < 1443222855 731571 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :(Not a very secure example, but still an example) < 1443222855 968259 :grotewold!~grotewold@c-68-50-42-113.hsd1.in.comcast.net QUIT :Quit: My Mac has gone to sleep. ZZZzzz… < 1443222868 449446 :grotewold!~grotewold@c-68-50-42-113.hsd1.in.comcast.net JOIN :#esoteric < 1443222899 220881 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Basically, you have an algorithm that converts a simple message into a brainfuck program that produces that message < 1443222935 395380 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :But not by a key, instead by some convoluted algorithm that uses every hack and shortcut imaginable that can be performed automatically < 1443222967 598124 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Then, you just transmit the message, and you decrypt it using your standard BF interpreter (that complies with the encryptor's desired interpreter) < 1443222996 428370 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 264 seconds < 1443223009 331487 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1443223038 324457 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Even better: Interactive/Protected Executable Encryption (IPEE xD). You do all that, BUT you also require a password to be entered that takes advantage of yet more hacks and shortcuts < 1443223045 490922 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Um, and that would be good why, besides obscuring email addresses with javascript in HTML pages? I don't think that would be a good idea for cryptography. < 1443223045 940517 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :hppello! < 1443223091 835099 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Basically, you encrypt a message by writing a program that hacks another program that accepts a password < 1443223096 83429 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1443223104 50962 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :b_jello! < 1443223123 344620 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :It isn't good for normal cryptography, BUT you WOULD also encrypt it using a /secondary/ algorithm. < 1443223136 400358 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :That way, even when they crack the message, they can't tell that they did because of the plaintext < 1443223150 737454 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :(The secondary algorithm should probably always generate valid BF) < 1443223209 435522 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :And make the program generated REALLY inefficient, so they have to spend longer debraincrypting it. < 1443223219 943280 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :b_jonas: What do you think of /that/? < 1443223235 97459 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I don't get the point really. < 1443223257 382753 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Well it's... well... it's an example < 1443223328 661506 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Programmatic Encryption is a secondary encryption algorithm used to obscure the plaintext of an encrypted text, thus making it nigh-impossible to recognize when you've cracked it, barring running a pretty inefficient piece of code manually < 1443223345 722318 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :*further obscure < 1443223363 303732 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: eek, seffie? < 1443223489 741323 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :b_jonas: A better example than braincrypt is to use an indefinite-dimensional (that is, have a .meta file declaring how many dimensions the program is) self-modifying (both the code itself AND the intepreter running it), highly-compact, interpreted language that is different for each message. < 1443223500 427259 :atrapado!~atrapado@unaffiliated/atrapado QUIT :Quit: Leaving < 1443223522 601959 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Something that requires a computer that isn't mentally bound by the real world to even comprehend what's going on < 1443223528 121051 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: if that's a GG reference I haven't seen it yet < 1443223539 863685 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: that's why i tried to make it subtle < 1443223549 893765 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Which poses a problem for the programmer making it (which is why we have abstraction) < 1443223560 61812 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :b_jonas: What do you think of the /better/ example? < 1443223584 923205 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I realize it'd be pretty hard (nigh-impossible) to write a program to generate that code, but... < 1443223637 162535 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :maybe zeetha can give hoffman some dating tips < 1443223852 525567 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh well, who knows whose side seffie is on, really. did we see her do anything hideously evil yet < 1443223855 699714 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :b_jonas: The general idea is basically an encryption algorithm whose cyphertext is a TC language that can only be decrypted through execution < 1443223897 695563 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net JOIN :#esoteric < 1443223933 196596 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Hi, adu! < 1443223952 986839 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hi < 1443223974 753256 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I'mt trying to get people talking about Executable Encryption (not as in encrypting an executable file) < 1443223993 681539 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :what do you mean? < 1443224007 25162 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :The general idea is basically an encryption algorithm whose cyphertext is a TC language that can only be decrypted through execution < 1443224029 495508 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :"A better example than braincrypt is to use an indefinite-dimensional (that is, have a .meta file declaring how many dimensions the program is) self-modifying (both the code itself AND the intepreter running it), highly-compact, interpreted language that is different for each message." < 1443224030 661375 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: I hate that < 1443224035 414113 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION realizes even the foglios cannot spell hoffman\+ consistently < 1443224059 747912 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :(Braincrypt is an algorithm that generates hacky brainfuck code) < 1443224062 529966 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :adu: Why? < 1443224091 571204 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :I especially hate it when it's a PDF or HTML documentation about some Windows component, and the only form M$ provides that documentation is as a self-extracting .exe file and I'm downloading it on a Mac, really pisses me off < 1443224141 84386 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Did you try using 7-Zip? < 1443224144 784999 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :granted, there are differences between encryption and compression < 1443224158 953774 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Ah. You mean you hate encryption of executables? < 1443224174 30878 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Because I'm talking about something entirely unrelated (but possibly mixable) < 1443224178 513233 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :I think I ended up using MacPorts to install Wine, which then ran the self-extractor < 1443224208 806925 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: now if you could somehow do it portably, then yes, I'm interested < 1443224254 661496 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Well it'd definitely be portable, because the language would be interpreted (as interpretation is actually BETTER at obfuscation in this case xD) < 1443224258 532535 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :(I think) < 1443224282 998340 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :And I'd write the initial interpreter and encoder in Python... < 1443224284 262269 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :So... < 1443224294 972882 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Portability: OVAR 90- no. < 1443224298 573869 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :yes, VMs usually add a layer of obfuscation by nature < 1443224327 432938 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Do they? < 1443224351 292173 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :yeah, just try using gdb on any language that compiles to C < 1443224360 563225 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :This language would basically be 16-dimensional Befunge with some Malebolgy components and a a lot of shortcuts < 1443224386 819365 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :(16-dimensional because that's pretty much impossible for a human to visualize AND it's a power of 2) < 1443224437 312458 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :*Malbolge < 1443224456 583075 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :I like Befunge < 1443224462 677913 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I do too < 1443224467 24758 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :It's in my top 5 esolang < 1443224467 675917 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :s < 1443224474 363944 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :I once wrote a Funge-98 interpreter in Perl < 1443224481 386135 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Whoa < 1443224483 326147 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: what's your top 4? < 1443224483 740041 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Was it complete? < 1443224489 58085 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I don't know < 1443224499 787489 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :All I know is that Unlambda and Befunge are in it < 1443224502 908233 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :*them < 1443224513 407055 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: it was complete in that I implemented the 8 brainfuck related commands, plus it was arbitrary-dimentional < 1443224526 645459 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Cool < 1443224534 635669 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :I don't think I ever started on the module loading into uppercase letters < 1443224568 264537 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Huh < 1443224574 300991 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :I spent a grand total of a week on it, so not "compliant" < 1443224574 683232 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: my hunch is that the problem with making an encryption system by heaping on complexity is that it's too complicated to see that there are no shortcuts to _breaking_ it. < 1443224583 66801 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :but it was complete enough for me < 1443224592 806768 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: True, true. < 1443224603 169878 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :It's more of a thought experiment than anything else < 1443224620 539948 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :adu: Well this language would be convoluted, complex, and generally just cryworthy. < 1443224697 114455 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :I don't think Befunge was ever cryworthy, I think it's a beautiful language < 1443224768 265215 :[1]blurelIse!~bluelse@c-67-168-205-81.hsd1.or.comcast.net JOIN :#esoteric < 1443224780 147138 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :it compressed simple fundamental operations into the smallest unit that's useful in text editors: a byte < 1443224788 122138 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I didn't say befunge was. < 1443224805 521501 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I imagine EBDIC was useful at the time < 1443224844 259845 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :I think most programming language are a waste of time < 1443224882 823594 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Probably. Some are useful thouh. < 1443224890 443393 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :Rust I think is on the right track, their standards process early on decided that no keyword could be longer than 5 characters. < 1443224893 494411 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :And some esolangs even serve their purposes < 1443224903 21273 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Interesting < 1443224904 482892 :blurelIse!~bluelse@c-67-168-205-81.hsd1.or.comcast.net QUIT :Ping timeout: 255 seconds < 1443224904 681803 :[1]blurelIse!~bluelse@c-67-168-205-81.hsd1.or.comcast.net NICK :blurelIse < 1443224908 801202 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: hm why _wouldn't_ martellus assume agatha has the book, he knows they were in the same spot after all... < 1443224931 230277 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :too many unknowns, but I don't get "seffie" < 1443224944 435746 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :xerxsephnia's nickname < 1443225023 953717 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it's been a while, hasn't it... < 1443225043 585413 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :they _did_ meet her when they arrived in paris < 1443225207 318363 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: I think the only exception is "continue" < 1443225239 981379 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :http://www.girlgeniusonline.com/comic.php?date=20150605 < 1443225246 293687 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Huh. < 1443225332 695960 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh well, that was almost 4 months ago... < 1443225359 667836 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :those pesky time flies < 1443225366 129606 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(I'm ready to forgive myself for having forgotten :P) < 1443225400 419495 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :anyway... good night, I think. < 1443225438 978444 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :good night < 1443225571 916067 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net JOIN :#esoteric