< 1433376015 838881 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: on that day you'll be poutine your place hth < 1433376024 149748 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it's a lemma named after lambek < 1433376036 140588 :nys!~nys@blk-103-227-154.eastlink.ca PRIVMSG #esoteric :oh that explains it < 1433376063 331041 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it says that an initial f-algebra is an isomorphism < 1433376069 886287 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://www.cs.indiana.edu/cmcs/categories.pdf < 1433376088 961376 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :page 44 < 1433376141 504973 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Except I think they mean g : a -> Fa? < 1433376312 943723 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :alas my experience with vietnamese cuisine consists of 2 visits to a place in trondheim that were both disappointments. i don't think they were very good cooks. < 1433376366 772418 :nys!~nys@blk-103-227-154.eastlink.ca PRIVMSG #esoteric :wait how do we know f.g = id_A on p46 < 1433376383 922465 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :as in, my impression of the soup was "dishwashing water" < 1433376454 700281 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :this is a good proof < 1433376465 162218 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :oerjan: :( < 1433376591 810605 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and the pork meat was sour. although maybe that's me, i keep having trouble with the ham slices i buy from the grocery shop. < 1433376653 721780 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(now i only buy it because they keep sending me coupons for it) < 1433376781 712368 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nys: diagram chasing hth < 1433376809 19327 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION hasn't looked at the proof, but this being CT that has to be the answer < 1433376814 788204 :nys!~nys@blk-103-227-154.eastlink.ca PRIVMSG #esoteric ::s < 1433376831 411016 :nys!~nys@blk-103-227-154.eastlink.ca PRIVMSG #esoteric :it says "by initiality" but i can't guess what that means here < 1433376871 375554 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: i don't think that's what diagram chasing is hth < 1433376875 630383 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :an initial object is one that has exactly one morphism from it to everything < 1433376881 977628 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"initiality" probably means uniqueness < 1433376889 633279 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or existence. < 1433376921 884198 :nys!~nys@blk-103-227-154.eastlink.ca PRIVMSG #esoteric :only one way to go from F a to a and back?? < 1433376927 167400 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But probably it means "this thing is equal to that thing because there's only one arrow between those things" < 1433376932 576193 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: ok, then is has be general abstract nonsense hth < 1433376935 612745 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*it < 1433376978 16148 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*+to < 1433377001 288524 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :why does my brain punish my jokes by making me forget grammar < 1433377017 277913 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :this abstract nonsense is p. specific < 1433377537 818343 :Lyka|Away!scat@unaffiliated/schrodingerscat QUIT :Ping timeout: 256 seconds < 1433377706 758544 :MDude!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net JOIN :#esoteric < 1433378381 295203 :Lyka|Away!~scat@odin.lesidhetree.com JOIN :#esoteric < 1433378381 470851 :Lyka|Away!~scat@odin.lesidhetree.com QUIT :Changing host < 1433378381 470936 :Lyka|Away!~scat@unaffiliated/schrodingerscat JOIN :#esoteric < 1433378571 27476 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :ACTION comes to the conclusion that "good translations" of Evillious Chronicles are a myth < 1433378849 592825 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User talk:Esowiki201529A14]]4 10 02http://esolangs.org/w/index.php?diff=43141&oldid=43129 5* 03Esowiki201529A 5* (+8) 10/* Quiney */ < 1433379002 516402 :Lyka|Away!~scat@unaffiliated/schrodingerscat NICK :Lyka < 1433379531 952210 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net QUIT :Quit: adu < 1433380677 782805 :tromp__!~tromp@rtc35-017.rentec.com JOIN :#esoteric < 1433380819 867564 :heroux_!sandroco@gateway/shell/insomnia247/session JOIN :#esoteric < 1433380848 185425 :tromp_!~tromp@rtc35-017.rentec.com QUIT :Ping timeout: 250 seconds < 1433380848 361108 :heroux!sandroco@gateway/shell/insomnia247/x-jrarseykypofvsbq QUIT :Ping timeout: 250 seconds < 1433380853 965134 :heroux_!sandroco@gateway/shell/insomnia247/session NICK :heroux < 1433380857 819930 :heroux!sandroco@gateway/shell/insomnia247/session QUIT :Changing host < 1433380857 995537 :heroux!sandroco@gateway/shell/insomnia247/x-odyuzilcgameerzb JOIN :#esoteric < 1433381413 837707 :nys!~nys@blk-103-227-154.eastlink.ca QUIT :Quit: quit < 1433381540 522040 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net JOIN :#esoteric < 1433382245 229684 :boily!~alexandre@96.127.201.149 QUIT :Quit: ABIOLOGICAL CHICKEN < 1433384686 267269 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :"What's yellow and equivalent to the axiom of choice"? < 1433384697 195818 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Y'guys, y'guys, I think I know the answer to this one. < 1433384715 904497 :Lyka!~scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :free brillo? < 1433384748 28033 :Lyka!~scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :free willy is an orca < 1433384765 850007 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Zorn's lemon. < 1433384840 699331 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, I thought it would be the Bananach Tarski theorem. < 1433384884 693398 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Does that entail the axiom of choice in ZF? < 1433384896 35745 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't know. < 1433384911 147179 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i doubt it. < 1433384915 351640 :idris-bot!~ircslave@dslb-094-221-223-069.094.221.pools.vodafone-ip.de QUIT :Quit: Terminated < 1433384922 871609 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it only applies to one set, after all. < 1433385052 884252 :idris-bot!~ircslave@dslb-094-221-223-069.094.221.pools.vodafone-ip.de JOIN :#esoteric < 1433385087 181936 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Fair enough. < 1433385111 778005 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But a lemon isn't equivalent to the axiom of choice either. < 1433385212 766538 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it could be a class lemon < 1433385255 516856 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net QUIT :Quit: adu < 1433385263 341342 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :when zorn gives you lemmas, make lemmanade < 1433385331 375694 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I guess it's hard to imagine how it would entail the axiom of choice. < 1433385411 996284 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :"How do we select an element from each of the elements of this collection of nonempty collections?" "Oh, that's easy. Just use this way of disassembling a 3-ball and assembling it into two 3-balls of the original size." < 1433385469 288763 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`quote lemma < 1433385470 187510 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1433385546 959623 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tswett: i suspect that having the axiom of choice for sets of cardinality less than a given one doesn't imply it in general. < 1433385567 167608 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :That definitely sounds like the sort of thing that would be true. < 1433385600 677112 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Ooh, I just thought of a wonderful axiom. < 1433385610 435909 :GeekDude!~GeekDude@unaffiliated/g33kdude NICK :Scj1000 < 1433385620 518454 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :It contradicts ZF, but maybe ZF could reasonably be weakened to accommodate it. < 1433385630 192388 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fancy < 1433385655 307198 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Axiom: if S is an infinite set of sets, then there does not exist any function f with domain S which maps each element T of S onto an element of T. < 1433385667 144624 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Which is to say, all infinite cartesian products are empty. < 1433385731 118949 :Scj1000!~GeekDude@unaffiliated/g33kdude NICK :GeoDude < 1433385770 535975 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sounds tricky, too many obvious counterexamples e.g. non-zero ordinals... < 1433385789 434026 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(von neumann ordinals) < 1433385800 887088 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :map 1,2,3, ... to 0 < 1433385806 265933 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(aka the empty set) < 1433385844 16137 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1433385899 727661 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wait that "onto" should be "to", right? < 1433385918 764956 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"onto" has additional implications < 1433386018 234373 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Yeah. < 1433386038 82698 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Although I don't think the additional implications would be meaningful the way I used the word. < 1433386205 66845 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mhm < 1433386391 257938 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Okay, here's a totally unrelated idea. < 1433386439 8064 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Weaken the axiom of power set so that it merely asserts that given a set, there's another set containing all its *finite* subsets. < 1433386537 213064 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm are we sure that cannot be proved directly < 1433386554 701006 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :You can still define real numbers, I think. As long as you can get cartesian products of two infinite sets. < 1433386576 193244 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :But now real numbers may form a proper class. < 1433386592 98266 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1433386596 506984 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Whelp, I'd better go to bed. < 1433386608 383383 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :God b'ye. < 1433386613 280762 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes, please sleep before you unravel logic and the universe < 1433386636 281988 :Herbalist!~oz@unaffiliated/herbalist JOIN :#esoteric < 1433389298 343030 :Herbalist!~oz@unaffiliated/herbalist QUIT :Quit: WeeChat 1.2 < 1433389310 711105 :GeoDude!~GeekDude@unaffiliated/g33kdude QUIT :Ping timeout: 255 seconds < 1433389798 348471 :password2!~password@197.77.66.75 JOIN :#esoteric < 1433392252 232322 :hilquias!~user@unaffiliated/hilquias QUIT :Read error: No route to host < 1433392658 114933 :hilquias!~user@unaffiliated/hilquias JOIN :#esoteric < 1433393394 838743 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :I just realized something blindingl obvious. < 1433393438 968643 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :if you want unix type security on windows, jsut create a new user with no admin privileges, and log in as that user < 1433393511 307550 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :if everyone had done that in the XP days, most of the viruses etc would never had worked < 1433393525 858315 :Lyka!~scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :you need xp pro to do that < 1433393536 599852 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :oh rigt < 1433393614 333461 :constant!~variable@freebsd/developer/variable PRIVMSG #esoteric :Lyka: XP home had no non-admin accts? < 1433393635 529212 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :it probabl had no gui for doing it maybe < 1433393636 303348 :Lyka!~scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :not real ones < 1433393644 786373 :Lyka!~scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :yes @ oren < 1433393651 679248 :constant!~variable@freebsd/developer/variable PRIVMSG #esoteric :o < 1433393657 785021 :Lyka!~scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :i meen, correct < 1433393671 125824 :constant!~variable@freebsd/developer/variable NICK :variable < 1433394406 2991 :Lyka!~scat@unaffiliated/schrodingerscat NICK :Lyka|Away < 1433396639 375999 :password2!~password@197.77.66.75 QUIT :Quit: Leaving < 1433398718 674725 :MDude!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net NICK :MDream < 1433399423 522711 :J_A_Work!~J_Arcane@a91-153-98-205.elisa-laajakaista.fi JOIN :#esoteric < 1433399788 76592 :SoundGoddess!~hathor@184.101.152.197 JOIN :#esoteric < 1433399817 923850 :SoundGoddess!~hathor@184.101.152.197 PART #esoteric :"Leaving" < 1433400280 1995 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :variable: XP Home didn't even have the advanced security settings. < 1433400299 283726 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Only a subset of the ACL settings XP Professional was capable of. < 1433400400 763500 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(Mainly in explorer the security tab on XP home was deactivated and stuff like that) < 1433400454 623970 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(It might very well be, that XP Home under the hood would actually be capable of handling the ACL. There are some third party tools around that claim to be able to set those < 1433400488 798476 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :or even re-enable the security tab. But of course, Microsoft did never recommend it, never supported it and third party tools messing with windows internals... meh) < 1433400512 106790 :hilquias!~user@unaffiliated/hilquias QUIT :Ping timeout: 264 seconds < 1433400514 609524 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :You would also have gotten unix type end-user experience with an unprivileged user account in windows xp < 1433400533 76484 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I think you can't join a AD-domain with XP Home. < 1433400545 467963 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :not the official way at least :D < 1433400615 402500 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and of course < 1433400621 553180 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :XP Home has a guest account that is enabled per default < 1433400627 224276 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :because that's a good thing to have. < 1433400638 880924 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Ah. Good old XP times... < 1433400647 257780 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fungot: Are you still running on Windows XP? < 1433400647 433367 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :mroman_: am i? < 1433400661 648974 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fungot: That's what I was asking... < 1433400661 824705 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :mroman_: we could let laurie" mahonlpbworld.com on 01/ 10 to 4, then that is not an option. huble, amanda subject to the message that do not have the option of " truing up. < 1433400704 629736 :MDream!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net PRIVMSG #esoteric :I guess fungot doesn't have access to environmental variables. < 1433400704 844117 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :MDream: our will group 408-501-7853 p 408-501-7861 f michelle montague-bruno director of the week of the handle came off the " an event of any technical difficulty, to provide you a low. group about adding the demand contracts that we < 1433400732 261864 :MDream!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net PRIVMSG #esoteric :That was more garbled than usual. < 1433400811 154192 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot is playing corrupt < 1433400811 329924 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :oerjan: for the next and employees. or, you can efficiently. cadogan < 1433401026 733940 :J_A_Work!~J_Arcane@a91-153-98-205.elisa-laajakaista.fi QUIT :Quit: J_A_Work < 1433401049 411283 :J_A_Work!~J_Arcane@a91-153-98-205.elisa-laajakaista.fi JOIN :#esoteric < 1433403001 635808 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :I am working on a spec for a language defined on top of data structures. Not just lists, as in lisp. The base language must support strings, lists of mixed types, and dictionaries from strings to mixed types. < 1433403033 752546 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :So, JSON and YAML work, for example. < 1433403051 293306 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :As does python < 1433403165 959897 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :And PERL Data::Dumper format of course < 1433403360 580283 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :So yeah, it has no fixed syntax, it is amorphous. < 1433403628 682587 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: ping < 1433403681 917176 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: N.t. < 1433403902 55327 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :I haven't got a name for it yet. < 1433403986 544893 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :I'll make an interpreter sometime around whenevuary < 1433404106 810209 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Maybe I should literally call the language 'insert name here' < 1433404220 662866 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :So a program is a block. A block is a mixed list of strings, dictionaries and lists, where the first item must not be a string. < 1433404287 420483 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :The items in a block, are strings = comments, dictionaries = class/object thingies, and lists = statements < 1433404353 141620 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :a statement begins always with a string. < 1433404613 339980 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Certain reserved strings are used for control flow, otherwise the string is a variable name. (Because of this variable names can be as long as you want and contain any character.) < 1433404787 241288 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Actually, never mind, I can do without. < 1433404823 299732 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :No, wait that wouldn't work < 1433405499 170192 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :example statement in JSON syntax: ['if',['x','=',3],[['stdout','print',"It's three!\n"]]] < 1433405573 699851 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oren: ok, so how exactly would this differ from lisps besides not always having the function name at the first place of a list? < 1433405648 523624 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :It would differ in that classes are dictionaries, you have mutable variables, and it's imperative. < 1433405675 561131 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oren: lisps have mutable variables too < 1433405683 317471 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :you can use them imperatively < 1433405905 657559 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Also, within a block, comments are just strings, e.g. [['stdout','print',"Hello world\n"],"This is a comment"] Hence, the code can be translated from one format to another, reformatted, turned into BSON, etc, and the comments retain their place. < 1433405933 814432 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so? you could add such comments to a lisp program too < 1433405956 417826 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :people use such strings embedded in code as doc-strings in some languages -- I'm not sure if it happens in any lisp yet < 1433406070 246810 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :I suppose it is a lisp dialect. But lisp dialects afaik are still generally defined with the program being a string of characters, rather than abstractly upon a data structure wihout reference to its representation < 1433406134 340342 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :I might actaually write the implementation in scheme < 1433406145 93785 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oren: the definition is _written_ that way, but at least starting from r5rs there's an eval functino that takes an abstract representation, and the rest of the syntax is designed to make that work < 1433406202 770098 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :that is, all the syntax the language has can be used inside a quote, and it will get you data that represents all the useful information of the program source, and you can eval it < 1433406229 410906 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(there might be caveats about r7rs modules, I don't follow, but this is how r5rs works) < 1433406341 449017 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :I'm actually modeling much of the features off of javascript. < 1433406341 703964 :Wright!~Wright@c-98-225-44-92.hsd1.wa.comcast.net QUIT :Read error: Connection reset by peer < 1433406347 540369 :Wright!~Wright@c-98-225-44-92.hsd1.wa.comcast.net JOIN :#esoteric < 1433406640 788288 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Hopefully I can also define a 'presentation form' that includes HTML markup that makes the code pretty < 1433406726 2259 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1433407088 17428 :zadock!~outsider@cthulhu.tuiasi.ro JOIN :#esoteric < 1433408295 902780 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Ping timeout: 276 seconds < 1433408324 57523 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1433413008 93065 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1433413977 518751 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1433414569 529319 :lleu!~gnomebad@unaffiliated/lleu QUIT :Ping timeout: 272 seconds < 1433415054 997309 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1433415439 952285 :lleu!~gnomebad@unaffiliated/lleu QUIT :Ping timeout: 250 seconds < 1433415631 658537 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1433415712 831635 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :b_jonas: clojure uses docstrings like that too, at least < 1433416764 182375 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net JOIN :#esoteric < 1433417211 594374 :boily!~alexandre@96.127.201.149 QUIT :Quit: APOPLEPTIC CHICKEN < 1433418246 529850 :toxolotl1!~beard@2a02:2028:710:6a01:f563:ad43:c2e4:fb10 QUIT :Quit: Leaving. < 1433418994 70348 :zadock!~outsider@cthulhu.tuiasi.ro QUIT :Quit: Leaving < 1433419069 779408 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1433419176 751921 :Tritonio_!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1433419386 725798 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Ping timeout: 272 seconds < 1433419403 593838 :Tritonio_!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c NICK :Tritonio < 1433419407 315609 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ush < 1433419409 242429 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*ugh < 1433419413 830153 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wiki admins, what should we do about http://esolangs.org/w/index.php?title=BFQ&diff=43135&oldid=0 ? < 1433419462 956419 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm not sure if it's original or has been copied from elsewhere, and a page about a single program, if it's warranted at all, probably shouldn't just be its source code < 1433419473 100607 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and I have no idea how easy it is to search for fragments of BF code online < 1433419565 642859 :xcourier!~xcourier@unaffiliated/xcourier JOIN :#esoteric < 1433419724 962772 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: oh hi, I was trying to find you < 1433419733 211462 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hi b_jonas < 1433419767 901004 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in general, you can assume that if I'm not on IRC, contacting me via any other Internet-based means (apart from /possibly/ trying to identify and contact other people who know me in real life) won't work either < 1433419787 826183 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yeah I didn't try any of those < 1433419802 155802 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :just passively waiting if you're on irc and checking < 1433419830 947622 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :anyway, I was thinking about ayacc, and specifically C++ support for it, and now I think it's actually *much* more difficult than I thought < 1433419880 46338 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :there's multiple things you can trip on, some of them not trivial to fix, and some of them not even easy to even work around in such a way that you at least get compile errors before segfaults < 1433419934 920144 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(that said, sending me an email will at least see I see the message next time I get online) < 1433419954 881754 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :if you're still interested about this stuff, I can try to tell the details, but for some of the details I have to do more reading up still because I realized I actually don't know some rules of C++ as well as I thought I did < 1433419963 367936 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and some of those C++ stuff is even relevant here < 1433419974 171980 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I am interested; I know I don't know the rules of C++ well enough to really get something like this working < 1433420038 660363 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yes, that's the problem, I don't know them enough yet < 1433420059 580346 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and the worst part is that the "rules of C++" aren't enough because there's lots of non-conformant compiers < 1433420078 905569 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'll try to learn more because I think it's relevant to me even without ayacc < 1433420090 44716 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I haven't worked on ayacc for a while < 1433420091 668775 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :been busy at work < 1433420102 570133 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I noticed, the snapshot didn't change < 1433420103 148150 :xcourier!~xcourier@unaffiliated/xcourier PART #esoteric :"Leaving" < 1433420146 595603 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :knowing that there's a market at least gets me thinking about it again < 1433420159 779666 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :maybe I'll abandon the asm backend because it's clearly a ridiculous thing to do < 1433420162 544103 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but it was fun to work on < 1433420165 44016 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hehe < 1433420211 477613 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I didn't say I'm really a market. I'm not planning on using ayacc in production at all, though I might try it out just to convince me it works better than ordinary yacc or to find bugs or something. < 1433420262 557065 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's definitely better at finding bugs in yacc input than actual yacc is < 1433420267 263976 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or, well, not finding them < 1433420268 936946 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but explaining them < 1433420286 703377 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yep < 1433420301 35982 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh, there was something else I wanted to ask about, but later < 1433420311 243066 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :now I'll tell some of what I think about the C++ support < 1433420319 74508 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but some of this may be inaccurate, I need more time to think < 1433420328 730414 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and I definitely need more feedback, so I'm going to ask about ayacc < 1433420392 284835 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :go on < 1433420412 407 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :!bfjoust preparation http://nethack4.org/esolangs/preparation.bfjoust < 1433420416 616128 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Score for ais523_preparation: 51.2 < 1433420422 178128 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(it got deleted from the hill somehow, presumably me trying to get a different program to #1) < 1433420441 259402 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :#2, neat < 1433420478 603761 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I've been working on an improvement to margins, not finished yet though < 1433420514 843635 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :admittedly it does rather move away from the original idea of the program a little, given that it can actively win (i.e. doesn't require opponent suicide) on tape lengths longer than 12 now (although not all the way up to 30) < 1433420543 463754 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Is soemone reinventing Lisp with square brackets and commas instead of the smooth parentheses and no commas? < 1433420736 829304 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net QUIT :Quit: adu < 1433420888 162958 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: so anyway, you said that ayacc does no dynamic allocation, and allocates all the variables on the stack, which is a great start, but there's still some things that can trip you even if you do that, and some of them are hard to avoid and obvious to try to do < 1433420918 387248 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: the particular example I'm worried about the most, though not the only thing, is putting the types the user defines into a union < 1433420936 574388 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: right, so I'm hoping to be able to optimize out the union < 1433420945 674230 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :atm I don't but that's something I want to do in the future < 1433420954 805256 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the problem is, ayacc is internally strongly typed, but the user program might not be < 1433420964 325909 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :the problem is that using a union is actually something you may want to do, and in fact if the yacc rules don't declare the types but access it like $1.foo then you can't even avoid it < 1433420968 338848 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :exactly < 1433420984 333118 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :anyway, I'm not saying that using unions is always a bad thing, but you have to use them very carefully, < 1433420998 524203 :MoALTz!~no@78.11.179.104 JOIN :#esoteric < 1433421013 40530 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :because they're one of those few things that will work correctly with C, but can do the wrong thing silently without compile time errors if C++ types are involved as (recursive) members of the union < 1433421040 744418 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :unions are kind of similar to other things you aren't doing, like putting the data in a malloc'ed buffer < 1433421077 243407 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and the tricky part is that even if the yacc interface wouldn't require them, you may still want to use unions < 1433421094 186607 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :the problem I have is that I don't understand how unions work in C++ < 1433421098 752202 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually ayacc currently has another problem that's related to this, which is a known bug < 1433421118 653284 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I thought I did understand at least partly, but it turns out my understanding was totally wrong < 1433421120 140111 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which is that if you don't assign to $$ it just ends up with uninitialized data < 1433421123 448412 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so now I have to read up on them more < 1433421133 576897 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :flex's solution to this is to unconditionally initialize $$ with $1, which might be the wrong type or might not exist < 1433421147 20760 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but implements the implicit "$$ = $1" < 1433421147 789236 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yes, there are other things that can trip you up, I might mention them later < 1433421153 661030 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :err, bison, not flex < 1433421170 943884 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(ayacc implements the implicit "$$ = $1" as sugar, it converts it to an explicit "$$ = $1" early in the process) < 1433421211 911960 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 264 seconds < 1433421225 846373 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so let me ask some things. (1) does the yacc compatibility actually require you to expose a union to brace rules? < 1433421250 970293 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :"brace rules"? < 1433421261 306936 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :code between braces in the yacc grammar < 1433421269 952422 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it depends on how that code is written < 1433421286 845798 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if you give no type information, it exposes YYSTYPE to the code < 1433421305 684857 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :however, yacc doesn't actually require YYSTYPE to be a union; it normally is, and it is if you tell yacc to define it itself using %union < 1433421311 274338 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but if you declare it manually it could be something else < 1433421318 360480 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm < 1433421338 825536 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if that code specifically mentions a union field, $1 (or $1 with in the matching declaration), ayacc /currently/ implements it as a union field but I want to change that < 1433421385 490605 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but if you define it as a %union, and some symbols are declared strongly typed and some as weakly typed, then isn't ayacc output still required to access the members of the union explicitly? < 1433421412 882889 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes, it is < 1433421427 101799 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(2) do you have specific plans or requirements on what compilers you're planning to support or not support for compiling the output of ayacc, especially with regards to pre-C++11 compilers in C++ mode? < 1433421432 711325 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that said, I think the correct solution to this is to tell people it's a bad idea in the documentation < 1433421444 769170 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm hoping for the output code to be as portable as possible < 1433421463 379154 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :we could potentially go the C-INTERCAL route where you specify the standards version when specifying the language < 1433421536 332959 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or we could try to write a polyglot of every standards version < 1433421656 935674 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :The version of what language? C/C++ or yacc? < 1433421681 414748 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :C or C++ < 1433421771 508283 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I think that will probably not be necessary, or possibly necessary only for some very old C++ compilers, but I'm not sure, I'll still have to learn the union rules and figure out all this stuff. < 1433421780 732522 :ethiraric!~ethiraric@93.ip-5-196-226.eu JOIN :#esoteric < 1433421789 166462 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: well, I first learned pre-standard C++ < 1433421800 38900 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Sure, everyone of our age did. < 1433421806 269414 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this still shows in some cases, e.g. I have a tendency to write my own exception classes < 1433421917 540571 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Do you have any plans about how the non-C++ C output will handle destructors of symbol data? < 1433422012 133043 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: let them go out of scope on the stack, tell people not to put dynamically allocated stuff there < 1433422019 317958 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or, if they do, be willing to leak it < 1433422030 245795 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :most of the yacc applications I can think of offhand would be fine like that < 1433422043 350068 :SopaXT!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1433422044 757806 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: but... no I don't think so < 1433422055 677413 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(apparently the one of the D compilers got a huge speed increase by effectively using a user-space sbrk rather than malloc as its allocator, and never freeing anything) < 1433422088 752574 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :sure, that's called garbage collection, many people believe it can be faster than freeing anything explicitly < 1433422097 334890 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it might or might not work depending on what you do and how you do it < 1433422104 808051 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but really, about ayacc, < 1433422108 96803 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :look < 1433422121 407283 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: no, garbage collection normally at least attempts to free things when memory is exhausted < 1433422155 330438 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what happens if the grammar fails to match? will you leak resources in that case, or will you correctly exit all the functions? < 1433422201 395830 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: oh, the leak can /only/ happen on match failure < 1433422202 586458 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :if you can correctly unwind everything when the grammar doesn't match, then it's probably not hard to correctly unwind in any reasonable case, because you just need to inject a token that causes the grammar to not match, < 1433422221 965031 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if the grammar does match then all the objects get unwound by the grammar rules themselves < 1433422222 651997 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(unless of course the grammar is already in a state that it'll definitely match rsn) < 1433422233 635216 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: hmm < 1433422247 813109 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what happens now if the grammar fails? < 1433422250 902786 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this implies that you can get working unwinding by adding an unwind alternative to every single rule < 1433422265 570055 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :right now, if the grammar fails I throw an exception (or longjmp in C) and just cut out the broken bit of the stack like that < 1433422269 283427 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but that would complicate the generated code immensely? < 1433422276 283343 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes, and slow it down too < 1433422278 799095 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm < 1433422281 455575 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this is why exceptions are so useful in this case < 1433422292 828830 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :sure < 1433422298 305924 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but still < 1433422329 712238 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :do you ever need to _copy_ a symbol data value, as opposed to move it, even if it's sometimes currently implemented as copying because that's easy in C? < 1433422343 927553 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :no, I don't < 1433422352 94762 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yacc actually has linear typing < 1433422354 81695 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :that at least simplifies things < 1433422365 190033 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it wouldn't be a big problem even if you had to copy them, but it makes things simpler < 1433422373 618845 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which is why match failures confuse things because you have all these linear values and no way to delete them < 1433422385 772367 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: one thing I do need to do, though, is return them from functions and pass them to other functions < 1433422403 252859 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :in what ways can the moving happen, other than returning a single data value from a function as the return value? < 1433422404 829466 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that can be done entirely with moves, and I'm hoping it can be done with RVO too but I'm not sure how < 1433422415 600632 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :sometimes I need to return two values from the same function < 1433422426 374936 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :returning a value from a function is actualyl the _easiest_ case < 1433422428 249427 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although in this case, one of them is always a POD integer, so we can return it via pointer/reference if necessary < 1433422429 272396 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca QUIT :Ping timeout: 252 seconds < 1433422437 785167 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :the best case, the one I'm hoping for < 1433422451 886561 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :returning two values is still fine < 1433422457 901998 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: basically what we do is, we return the value from a function, then we pass it through a chain of function arguments until it's consumed < 1433422485 673178 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :as long as it's like actually a product you're returning, not a discriminated union where the symbol data value is sometimes present and sometimes not < 1433422512 144727 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what do you mean by "chain of function arguments"? < 1433422528 948140 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :do you mean you pass a pointer to the value to functions you call? < 1433422539 883716 :oren!~oren@TOROON0949W-LP130-01-1242511728.dsl.bell.ca JOIN :#esoteric < 1433422581 45089 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: I mean I pass it to one function as an argument, that function passes it to another function, and so on < 1433422598 800641 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: oh yes, I am returning discriminated unions by hand :-( < 1433422611 58195 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that could be a little awkward < 1433422616 803490 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Oh by the way, is there a testsuite that exercises most of ayacc's functions? < 1433422631 944536 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :not really, I've mostly just been using random .y files plus a few manually written ones < 1433422635 646589 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it needs a proper testsuite really < 1433422659 486860 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: none of that them is _really_ a problem, I'm confident averything like that can be solved, I'd just like to know what you're doing before I can even think about this. < 1433422672 537133 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm going offline for about 10 minutes, I'll be back soon < 1433422677 693525 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: bbiab < 1433422837 918168 :J_A_Work!~J_Arcane@a91-153-98-205.elisa-laajakaista.fi QUIT :Remote host closed the connection < 1433422937 458334 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Is ayacc a product of ais523? < 1433423176 457948 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :mroman_: yes < 1433423192 912176 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :mroman_: http://nethack4.org/media/alex/ayacc/ayacc.pl < 1433423238 279057 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1433423244 672017 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: back < 1433423250 783909 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :have you looked at ayacc's C output? < 1433423275 803231 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: no, not yet < 1433423299 586753 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'm going to look at it, though I'm a bit worried it can depend so much on the input that I might miss some cases that only come up if I feed it Bad Practice input < 1433423303 265703 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that should give you a good idea of how it works < 1433423305 690020 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :like union and untyped stuff < 1433423312 628447 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I will definitely have to look at it, yes < 1433423313 62116 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :especially if you compare it to the -v output < 1433423319 474229 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :right < 1433423322 908646 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :atm it doesn't do many Good Practice-dependent optimizations < 1433423336 201155 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I see < 1433423430 89449 :adu!~ajr@static-108-48-76-162.washdc.fios.verizon.net JOIN :#esoteric < 1433423509 588363 :nortti!~juhani@ayu.smar.fi NICK :lirael < 1433423530 43779 :lirael!~juhani@ayu.smar.fi NICK :nortti < 1433423587 777759 :nortti!~juhani@ayu.smar.fi NICK :snortti < 1433423592 653839 :snortti!~juhani@ayu.smar.fi NICK :nortti < 1433424395 114031 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wanted to get it working before doing more optimizations < 1433424405 244258 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(there are quite a lot already but they're to the state machine rather than the actual code) < 1433424495 697237 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :sure < 1433424604 338690 :impomatic_!~digital_w@31.185.153.201 JOIN :#esoteric < 1433424643 765467 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: I'm planning to go home soon, is there anything more you want to ask before I go? < 1433424752 184389 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1433424850 716173 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1433424865 450805 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :did I miss anything? < 1433424867 520088 :ais523!~ais523@unaffiliated/ais523 QUIT :Disconnected by services < 1433424869 31727 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1433424915 249685 :b_jonas!~x@russell2.math.bme.hu QUIT :Ping timeout: 252 seconds < 1433424931 433865 :b_jonas!~x@russell2.math.bme.hu JOIN :#esoteric < 1433425050 318681 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :probably nothing right now < 1433425547 670086 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, HTTP connections aren't working for me right now (they start to work but stall) < 1433425632 811748 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1433425655 739069 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1433425763 712070 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hah, typical wifi < 1433425774 797809 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(well, actually there's like a thousand different problems that can cause that) < 1433426638 68677 :impomatic_!~digital_w@31.185.153.201 PART :#esoteric < 1433427016 22771 :Wright!~Wright@c-98-225-44-92.hsd1.wa.comcast.net QUIT :Ping timeout: 240 seconds < 1433427950 631377 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1433428442 345260 :ProofTechnique!~ptech@65-183-137-193-dhcp.burlingtontelecom.net JOIN :#esoteric < 1433428515 328881 :Sprocklem!~Sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1433428652 243731 :nycs!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1433428696 485399 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 272 seconds < 1433429342 74740 :hilquias!~user@unaffiliated/hilquias JOIN :#esoteric < 1433429804 810123 :nycs!~nycs@gw.hq.meetup.com NICK :`^_^v < 1433430499 764232 :idris-bot!~ircslave@dslb-094-221-223-069.094.221.pools.vodafone-ip.de QUIT :Quit: Terminated < 1433430661 220661 :Melvar!~melvar@dslb-094-221-223-069.094.221.pools.vodafone-ip.de QUIT :Quit: rebooting < 1433430748 284793 :toxolotl1!~beard@2a02:2028:710:6a01:d09c:884b:729c:90c8 JOIN :#esoteric < 1433430899 98181 :Melvar!~melvar@dslb-094-221-223-069.094.221.pools.vodafone-ip.de JOIN :#esoteric < 1433431017 24748 :Lyka|Away!~scat@unaffiliated/schrodingerscat NICK :Lyka < 1433431855 685651 :idris-bot!~ircslave@dslb-094-221-223-069.094.221.pools.vodafone-ip.de JOIN :#esoteric < 1433431887 796563 :Lyka!~scat@unaffiliated/schrodingerscat NICK :Lyka|Away < 1433431986 438016 :Sprocklem!~Sprocklem@unaffiliated/sprocklem QUIT :Quit: brb < 1433432089 58862 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1433432194 669305 :Welo!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl JOIN :#esoteric < 1433432653 3916 :SopaXT!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Read error: Connection reset by peer < 1433433678 534410 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Remote host closed the connection < 1433433686 15696 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1433434474 609716 :Welo!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl QUIT :Ping timeout: 245 seconds < 1433434500 184291 :MDream!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net NICK :MDude < 1433434904 444028 :SopaXT!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1433435043 838647 :variable!~variable@freebsd/developer/variable NICK :constant < 1433435097 747701 :ProofTechnique!~ptech@65-183-137-193-dhcp.burlingtontelecom.net QUIT :Quit: My Mac has gone to sleep. ZZZzzz… < 1433435181 815480 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :I think my initial interest in Factor is starting to wear off. < 1433435361 490630 :bb010g!uid21050@gateway/web/irccloud.com/x-iboqdpaumrljjaga QUIT :Quit: Connection closed for inactivity < 1433435669 172122 :MDude!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net PRIVMSG #esoteric :Currently I'm trying to learn Pure Data. < 1433435867 802116 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :I cannot for the life of me even manage to debug the prime? function in the tutorial I'm doing. < 1433435909 613424 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :I'd probably be better off learning Erlang. < 1433436513 579925 :Welo!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl JOIN :#esoteric < 1433436870 588869 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1433437112 706396 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07ABCs14]]4 N10 02http://esolangs.org/w/index.php?oldid=43142 5* 03Paul2520 5* (+2709) 10created page < 1433437133 724602 :rdococ!~rdococ@unaffiliated/octagonfly JOIN :#esoteric < 1433437148 752229 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Paul252014]]4 N10 02http://esolangs.org/w/index.php?oldid=43143 5* 03Paul2520 5* (+55) 10Created page with "Created the [[esoteric programming language]] [[ABCs]]." < 1433437282 920392 :ProofTechnique!~ptech@65-183-137-193-dhcp.burlingtontelecom.net JOIN :#esoteric < 1433437429 381270 :password2!~password@197.77.27.161 JOIN :#esoteric < 1433437459 239636 :password2!~password@197.77.27.161 QUIT :Max SendQ exceeded < 1433437519 356502 :password2!~password@197.77.27.161 JOIN :#esoteric < 1433438095 113693 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07ABCs14]]4 10 02http://esolangs.org/w/index.php?diff=43144&oldid=43142 5* 03Paul2520 5* (+41) 10added "hello world" example < 1433438177 834801 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Befunk14]]4 10 02http://esolangs.org/w/index.php?diff=43145&oldid=40231 5* 0373.184.106.177 5* (+0) 10 < 1433438260 157697 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Language list14]]4 10 02http://esolangs.org/w/index.php?diff=43146&oldid=43071 5* 03Paul2520 5* (+11) 10/* A */ added [[ABCs]] < 1433438613 470959 :SopaXT!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Read error: Connection reset by peer < 1433441480 401253 :oren!~oren@TOROON0949W-LP130-01-1242511728.dsl.bell.ca PRIVMSG #esoteric :you know what's bullshit? 08 and 09 are not valid C integers < 1433441622 773097 :oren!~oren@TOROON0949W-LP130-01-1242511728.dsl.bell.ca PRIVMSG #esoteric :actually the whole octal thing is pretty stupid < 1433441711 419288 :oren!~oren@TOROON0949W-LP130-01-1242511728.dsl.bell.ca PRIVMSG #esoteric :why did they have octal, of all bases? Base 60 might at least be useful < 1433441730 743126 :oren!~oren@TOROON0949W-LP130-01-1242511728.dsl.bell.ca PRIVMSG #esoteric :or base 12 < 1433441796 750415 :oren!~oren@TOROON0949W-LP130-01-1242511728.dsl.bell.ca PRIVMSG #esoteric :like it would be nice to be able to write a value like 300 seconds as 5:00 < 1433441889 396475 :oren!~oren@TOROON0949W-LP130-01-1242511728.dsl.bell.ca PRIVMSG #esoteric :or a value of 18 inches as 1'6 < 1433441951 681403 :oren!~oren@TOROON0949W-LP130-01-1242511728.dsl.bell.ca PRIVMSG #esoteric :hmmm < 1433442413 161366 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :Windows Calculator thinks octal might be useful < 1433442534 542406 :oren!~oren@TOROON0949W-LP130-01-1242511728.dsl.bell.ca PRIVMSG #esoteric :#define b60(i) ((i)%100+(i)/100%100*60+(i)/10000%100*3600+(i)/1000000%100*216000+(i)/100000000%100*12960000) < 1433442570 855154 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :Awesome PDP legacy stuff. < 1433442652 903748 :oren!~oren@TOROON0949W-LP130-01-1242511728.dsl.bell.ca PRIVMSG #esoteric :this requires 500 for five minutes, and 240000 for one day. Hmmm < 1433442903 645997 :oren!~oren@TOROON0949W-LP130-01-1242511728.dsl.bell.ca PRIVMSG #esoteric :#define bTM(i) ((i)%100+(i)/100%100*60+(i)/10000%100*3600+(i)/1000000%100*86400+(i)/100000000%100*18144000) < 1433442906 982784 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :Obviously things should use base 2 exclusively. < 1433442934 149007 :oren!~oren@TOROON0949W-LP130-01-1242511728.dsl.bell.ca PRIVMSG #esoteric :That would be nice, but our systems mostly use mixed bases < 1433442961 975976 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :Especially base64 should be replaced with base2. :P < 1433442987 678649 :oren!~oren@TOROON0949W-LP130-01-1242511728.dsl.bell.ca PRIVMSG #esoteric :I prefer base 255 < 1433443015 195259 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :That's not 7 bit clean. < 1433443015 371028 :oren!~oren@TOROON0949W-LP130-01-1242511728.dsl.bell.ca PRIVMSG #esoteric :(I once wrote half of a C-string based bignum thing using that base) < 1433443032 590205 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :(hah) < 1433443080 517026 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I agree that base of a power of 2 are easier < 1433443108 232222 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but sure, there's zzo38 who'll write negafibonacci base arithmetic when I just mention how strange it would be < 1433443128 308312 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and I've written strange base arithmetic stuff just to see how easy it is < 1433443169 930804 :oren!~oren@TOROON0949W-LP130-01-1242511728.dsl.bell.ca PRIVMSG #esoteric :251 is a prime base tat fits into a byte < 1433443191 818043 :oren!~oren@TOROON0949W-LP130-01-1242511728.dsl.bell.ca PRIVMSG #esoteric :252 has a lot of factors < 1433443209 327546 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :Shoving base 2 in ASCII is just hilarious. < 1433443238 329209 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :including GF(128) arithmetic: http://www.perlmonks.com/?node_id=863110 < 1433443497 932494 :oren!~oren@TOROON0949W-LP130-01-1242511728.dsl.bell.ca PRIVMSG #esoteric :pikhq: and yet GNU decided to add a 0b01010001 notation, for people who apparently can't read 0x51 < 1433443543 500367 :password2!~password@197.77.27.161 QUIT :Remote host closed the connection < 1433443596 84102 :oren!~oren@TOROON0949W-LP130-01-1242511728.dsl.bell.ca PRIVMSG #esoteric :or 0121 < 1433443902 745162 :Tritonio_!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1433444064 100471 :nys!~nys@blk-103-227-154.eastlink.ca JOIN :#esoteric < 1433444098 700727 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Ping timeout: 252 seconds < 1433444159 78505 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :oren: That's also going into C++. < 1433444301 583256 :Tritonio_!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c NICK :Tritonio < 1433444609 370041 :SopaXT!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1433444821 355428 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 255 seconds < 1433445404 974717 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oren: yeah, I never understood why that would be useful < 1433445708 324125 :SopaXT!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1433445981 29887 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it's for people who can count to 24 quickly (is 0b1000000000000000000000000 equal to 1<<23 or 1<<24?) < 1433446071 177898 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i,i 0b1e24 < 1433446089 597433 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: that makes me cringe inside < 1433446103 421082 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :0b1e0b11000 < 1433446124 604642 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :0b1e0b11e0b11 < 1433446136 542144 :rdococ!~rdococ@unaffiliated/octagonfly QUIT :Read error: Connection reset by peer < 1433446140 842268 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :and now we're approaching one of those efficient prefix-free encoding of naturals < 1433446210 118389 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm, where'd the -free come from... < 1433446419 730321 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(What I have in mind is something like this: To encode a positive natural number, write it in binary and drop the initial 1 digit to obtain a list of digits; the empty list is encoded as 0; any other list is encoded as 1, followed by the encoding of the length of the list, followed by the list itself.) < 1433447374 71054 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: [ < 1433447412 787458 :tromp__!~tromp@rtc35-017.rentec.com PRIVMSG #esoteric :shld use the encoding of one less than the length... < 1433447433 314906 :tromp__!~tromp@rtc35-017.rentec.com PRIVMSG #esoteric :also see http://en.wikipedia.org/wiki/Levenstein_coding < 1433447984 83490 :Welo!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl QUIT :Quit: Leaving < 1433448064 614390 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1433448769 796238 :drdanmaku!uid17782@gateway/web/irccloud.com/x-hdromsvomwkdudof JOIN :#esoteric < 1433450063 39758 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1433450697 130675 :adu!~ajr@static-108-48-76-162.washdc.fios.verizon.net QUIT :Quit: adu < 1433450711 18645 :Herbalist!~oz@185.82.32.20 JOIN :#esoteric < 1433450711 195478 :Herbalist!~oz@185.82.32.20 QUIT :Changing host < 1433450711 195561 :Herbalist!~oz@unaffiliated/herbalist JOIN :#esoteric < 1433451220 937051 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1433451613 416879 :ProofTechnique!~ptech@65-183-137-193-dhcp.burlingtontelecom.net QUIT :Quit: My Mac has gone to sleep. ZZZzzz… < 1433451858 57558 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1433452001 601028 :drdanmaku!uid17782@gateway/web/irccloud.com/x-hdromsvomwkdudof QUIT :Quit: . < 1433452131 877731 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 256 seconds < 1433452313 246617 :ZombieAlive!~N3cr0naV@unaffiliated/zombiealive JOIN :#esoteric < 1433452812 908104 :nys!~nys@blk-103-227-154.eastlink.ca QUIT :Quit: quit < 1433453107 584132 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 264 seconds < 1433453658 963954 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 264 seconds < 1433453754 935319 :ProofTechnique!~ptech@c-24-147-92-185.hsd1.vt.comcast.net JOIN :#esoteric < 1433453967 923448 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Ping timeout: 256 seconds < 1433454111 966412 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1433454116 30747 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@metar CYUL < 1433454116 906972 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :CYUL 042100Z 14008KT 100V170 30SM BKN240 24/07 A3011 RMK CI6 SLP195 DENSITY ALT 900FT < 1433454128 248145 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@metar KOAK < 1433454128 858758 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :KOAK 042053Z 27011KT 10SM FEW012 21/10 A2982 RMK AO2 SLP098 T02060100 58006 < 1433454146 656741 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :damn. only 24/07 and I'm sweating like a sweaty pig who sweats profusely. < 1433454156 174354 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :(maybe the bike ride is a contributing factor.) < 1433454235 865284 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi QUIT :Ping timeout: 244 seconds < 1433454363 845739 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi JOIN :#esoteric < 1433454693 498899 :tromp_!~tromp@rtc35-214.rentec.com JOIN :#esoteric < 1433454700 784324 :tromp__!~tromp@rtc35-017.rentec.com QUIT :Ping timeout: 244 seconds < 1433455112 843343 :Wright!~Wright@c-98-225-44-92.hsd1.wa.comcast.net JOIN :#esoteric < 1433455225 285966 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net JOIN :#esoteric < 1433455455 19574 :ProofTechnique!~ptech@c-24-147-92-185.hsd1.vt.comcast.net QUIT :Quit: Textual IRC Client: www.textualapp.com < 1433455551 837329 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1433455595 120040 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net QUIT :Quit: adu < 1433456422 302971 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1433456687 551884 :atehwa!~atehwa@aulis.sange.fi JOIN :#esoteric < 1433456758 882634 :hjulle!~hjulle@ankadagen.vth.sgsnet.se QUIT :Ping timeout: 264 seconds < 1433457301 836240 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Remote host closed the connection < 1433457755 33240 :hilquias!~user@unaffiliated/hilquias QUIT :Remote host closed the connection < 1433459385 890096 :ZombieAlive!~N3cr0naV@unaffiliated/zombiealive QUIT :Ping timeout: 265 seconds < 1433459955 956941 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1433460203 548658 :toxolotl1!~beard@2a02:2028:710:6a01:d09c:884b:729c:90c8 QUIT :Ping timeout: 276 seconds