< 1419379280 244408 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ACTION wonders how horrible a shakespeare style for fungot would be < 1419379280 326735 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :int-e: that is just a value of type is created containing the syntax for mark if he was really gonna ' let' me keep. i will walke my selfe, richard. then, heaven, i love thee well; and, by my friend, c < 1419379329 184143 :scarf!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1419379339 951995 :scarf!~ais523@unaffiliated/ais523 NICK :ais523 < 1419379370 922105 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :int-e: That's 'ss'. < 1419379381 798551 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :^style ss < 1419379381 842148 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :Selected style: ss (Shakespeare's writings) < 1419379388 999954 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fungot: sing?! < 1419379389 654793 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :int-e: enter eglamore, siluia. i to beare this away, where my hogshead of wine is, or any such proverb so little kin to the purpose? < 1419379413 483327 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fungot, hmm < 1419379413 885503 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :int-e: rich. and shall do so: go all which way it will: if we draw lots, he fnord not me. i cut off's head, and follies doth emmew as falcon doth the fowle, is yet in keeping. what she is i' the hams? < 1419379433 25192 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :emmew?! < 1419379441 804 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fungot: pray tell us more < 1419379441 110371 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :int-e: alo. irreparable is the losse, i cannot take peace with: no more < 1419379453 443504 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fungot: I said more, not less! < 1419379462 739768 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :perfect. < 1419379472 202798 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That was all. < 1419379480 108677 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fungot < 1419379490 499636 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :sniff. < 1419379495 266636 :boily!~alexandre@173.181.244.161 PRIVMSG #esoteric :fungot: please answer sir int-e < 1419379495 620469 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :boily: por. in tearmes of friendship with thine enemies. pardon me, cobham, and the cheefe head of this most pompous fnord. the canons haue their bowels full of wrath, and sullen < 1419379514 119968 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Ominous. < 1419379523 895950 :boily!~alexandre@173.181.244.161 PRIVMSG #esoteric :Pompous fnord. < 1419379530 68223 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Oh well, it's not the worst fungot style. < 1419379530 489692 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :int-e: third fisherman. what say you of this man. sirha, i say good queene, possest him with a stake, stood famous edward, still expecting when those dogs of france would fasten on his flesh. anon the death procuring knell begins: off go the cannons, that with some mixtures powerful o'er the blood, yet hath he in him such a minde of honor, truth, nor woman-hood in me else < 1419379541 422911 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(sms clearly wins *that* title) < 1419379553 43835 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :^style < 1419379553 111288 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss* wp youtube < 1419379556 4339 :callforjudgement!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 264 seconds < 1419379603 324882 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :"possest him with a stake" < 1419379605 333052 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: it does not help at all that the colloquial terms for members of the class Bivalvia are en:clam and no:musling < 1419379615 899767 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think that depends on how you define 'worst'; technically speaking, sms works pretty well. < 1419379665 981170 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fizzie: but it hurts my brain to read any of the results < 1419379667 477139 :boily!~alexandre@173.181.244.161 PRIVMSG #esoteric :oerjan: indeed. tdnhat. < 1419379681 678751 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :that did not help at t? < 1419379690 875747 :boily!~alexandre@173.181.244.161 PRIVMSG #esoteric :all. not t. a. < 1419379710 66453 :boily!~alexandre@173.181.244.161 PRIVMSG #esoteric :(I keep saying “a tall” in my head, instead of “at all”.) < 1419379907 207768 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :^style the_worst_style < 1419379907 291132 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :Not found. < 1419379938 179961 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :how often does fungot's fungot style get updated? < 1419379938 726281 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :ais523: demetrius. is caesar yet gone to the hedge for shade, when in the streets he meetes such golden gifts: ile to dinner, and they were left neglected on the quay for more than i'll speak of. < 1419379984 718587 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :irc and fungot both < 1419379984 957520 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :oerjan: ros. neuer talke to me, master shallow, deepe maister shallow, that no enemy shall euer take aliue the noble brutus is ascended. silence! < 1419379994 198752 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(my guess: never happened) < 1419380000 446344 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :^style oots < 1419380000 586001 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :Selected style: oots (Order Of The Stick) < 1419380016 944543 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fungot: more? < 1419380017 252859 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :int-e: so, i know, i was, uh, as a provider, i would be as another sword arm this deadly but well-hidden booby trap, goblin friend, and she won't give the their holy power that i now fully believe that ' s, then and told me < 1419380104 834673 :boily!~alexandre@173.181.244.161 PRIVMSG #esoteric :fungot: update, I say! < 1419380104 940296 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :boily: " the life and saving us from the orcs and told me what needed my strength. that now. get haley and i could bring to bear three degrees and... eight. < 1419380450 669991 :MoALTz_!~no@user-164-126-31-182.play-internet.pl JOIN :#esoteric < 1419380625 81176 :MoALTz!~no@user-164-126-31-182.play-internet.pl QUIT :Ping timeout: 244 seconds < 1419381009 24430 :Solace|zzz!uid52684@gateway/web/irccloud.com/x-ysxrvigjeqclkfyq QUIT :Quit: Connection closed for inactivity < 1419381875 699698 :vanila!~vanila@unaffiliated/vanila JOIN :#esoteric < 1419382905 558693 :boily!~alexandre@173.181.244.161 QUIT :Quit: ELEMENTAL CHICKEN < 1419383124 677300 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1419383365 61714 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 265 seconds < 1419384655 161889 :Solace|zzz!uid52684@gateway/web/irccloud.com/x-kipvmisittspuxzi JOIN :#esoteric < 1419384777 487946 :callforjudgement!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1419384782 103499 :scarf!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1419384833 70576 :G33kDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1419384863 18369 :nys!~nys@blk-215-85-138.eastlink.ca QUIT :Ping timeout: 240 seconds < 1419385023 963873 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Ping timeout: 272 seconds < 1419385087 596999 :G33kDude!~GeekDude@unaffiliated/g33kdude QUIT :Read error: Connection reset by peer < 1419385192 648669 :dianne!~diannes@unaffiliated/dianne QUIT :Ping timeout: 256 seconds < 1419385206 998956 :GeekDude!~GeekDude@c-73-31-240-150.hsd1.wv.comcast.net JOIN :#esoteric < 1419385213 992383 :GeekDude!~GeekDude@c-73-31-240-150.hsd1.wv.comcast.net QUIT :Changing host < 1419385214 35718 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1419385307 672326 :dianne!~diannes@unaffiliated/dianne JOIN :#esoteric < 1419385368 320655 :nys!~nys@blk-215-85-138.eastlink.ca JOIN :#esoteric < 1419385423 732362 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Do you have a Christmas tree with birds? < 1419385525 681838 :mihow!~mihow@108.30.58.169 QUIT :Quit: mihow < 1419385675 728209 :tswett__!~tswett@unaffiliated/tswett JOIN :#esoteric < 1419385711 118053 :mihow!~mihow@108.30.58.169 JOIN :#esoteric < 1419385832 717187 :tswett__!~tswett@unaffiliated/tswett QUIT :Client Quit < 1419385917 161846 :mihow!~mihow@108.30.58.169 QUIT :Client Quit < 1419386727 229144 :oren!~oren@nrba4-34.onlink.net JOIN :#esoteric < 1419386741 608828 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :elliott: ever since i learned pinyin i pronounce "xor" as 'shor' hthyh < 1419386752 13240 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :xor's algorithm < 1419386763 753984 :arjanb!8259ab67@gateway/web/freenode/ip.130.89.171.103 QUIT :Quit: zzz < 1419387100 488182 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :aldo in pinyin x normally only appears in cluster "xi" < 1419387258 863800 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :or u, like xue "snow" for example < 1419387453 26737 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1419387572 370198 :nys!~nys@blk-215-85-138.eastlink.ca QUIT :Ping timeout: 250 seconds < 1419387594 198520 :nys!~nys@blk-215-85-138.eastlink.ca JOIN :#esoteric < 1419387649 805262 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :xure thing < 1419388260 761917 :Melvar!~melvar@dslb-088-077-173-086.088.077.pools.vodafone-ip.de PRIVMSG #esoteric :I pronounce it /ksoɹ/ or so. < 1419388264 373801 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :it also helps for pronouncing "words" like "x11"->'sheleven', "xinit"->'shinit' "xfce"->'shifke' < 1419388301 844226 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :"xargs"->'shargs' < 1419388318 509277 :Melvar!~melvar@dslb-088-077-173-086.088.077.pools.vodafone-ip.de PRIVMSG #esoteric :That’s easy enough to do if you pronounce it /ks/, unless you don’t speak a language that allows that cluster initially. < 1419388344 269762 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :yeah i dunno, not many languages allow that... < 1419388368 289763 :Melvar!~melvar@dslb-088-077-173-086.088.077.pools.vodafone-ip.de PRIVMSG #esoteric :German and Greek do. < 1419388497 193813 :tswett!~tswett@70-88-106-42-smc-mi.hfc.comcastbusiness.net JOIN :#esoteric < 1419388499 891411 :tswett!~tswett@70-88-106-42-smc-mi.hfc.comcastbusiness.net PRIVMSG #esoteric :Ahoy. < 1419388502 411464 :tswett!~tswett@70-88-106-42-smc-mi.hfc.comcastbusiness.net PRIVMSG #esoteric :So. < 1419388536 600709 :tswett!~tswett@70-88-106-42-smc-mi.hfc.comcastbusiness.net PRIVMSG #esoteric :Intuitively, one would expect that, given any statement in number theory (which is to say, a statement where quantifiers range over the integers), the statement is either provable or non-provable. < 1419388558 516195 :tswett!~tswett@70-88-106-42-smc-mi.hfc.comcastbusiness.net PRIVMSG #esoteric :After all, any given thing is either a valid proof or not a valid proof, right? < 1419388598 801401 :tswett!~tswett@70-88-106-42-smc-mi.hfc.comcastbusiness.net PRIVMSG #esoteric :Except that proofs inevitably rely on axioms. < 1419388659 42908 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Is your intuition really that for any bunch of weird symbols, there is another bunch of weird symbols that satisfies one of two complicated relations < 1419388660 104403 :tswett!~tswett@70-88-106-42-smc-mi.hfc.comcastbusiness.net PRIVMSG #esoteric :Some axioms are obviously "true", such as, say, all the axioms of first-order Peano arithmetic. < 1419388678 126639 :tswett!~tswett@70-88-106-42-smc-mi.hfc.comcastbusiness.net PRIVMSG #esoteric :Jafet: not really. < 1419388697 161982 :tswett!~tswett@70-88-106-42-smc-mi.hfc.comcastbusiness.net PRIVMSG #esoteric :Heck, leave off the quotation marks. All the axioms of first-order Peano arithmetic are certainly true. < 1419388700 406049 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :"xcalc" i think /kskalk/ would be a lot more brutal than /ʃkalk/ < 1419388718 264636 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :They are true by definition. < 1419388721 198506 :tswett!~tswett@70-88-106-42-smc-mi.hfc.comcastbusiness.net PRIVMSG #esoteric :And then some axioms are "not obviously true", such as the axiom of choice. < 1419388738 913195 :tswett!~tswett@70-88-106-42-smc-mi.hfc.comcastbusiness.net PRIVMSG #esoteric :zzo38: depends on your definition of the integers, I'd say. < 1419388742 445024 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :The axioms of Peano arithmetic are true in Peano arithmetic < 1419388756 748156 :tswett!~tswett@70-88-106-42-smc-mi.hfc.comcastbusiness.net PRIVMSG #esoteric :If you define them via the axioms of FOPA, then yeah, the axioms of FOPA are obviously true. < 1419388771 372952 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :The exception if it is inconsistent in which case, everything is valid and it is not proper mathematicals. < 1419388821 820917 :Melvar!~melvar@dslb-088-077-173-086.088.077.pools.vodafone-ip.de PRIVMSG #esoteric :oren: Most of the X Window System things I actually pronounce using the name of the letter, /ɛks/. < 1419388829 900002 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :look up godel theory < 1419388853 834849 :Melvar!~melvar@dslb-088-077-173-086.088.077.pools.vodafone-ip.de PRIVMSG #esoteric :xargs on the other hand is /ksaɹgz/. < 1419388886 680042 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :just because something is true doens't meant you can prove it < 1419388911 172971 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Yes, I know Godel's theory < 1419388912 523734 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :vanila: depends on your epistemology < 1419388925 211379 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :zzo38, i wasnt meaning you < 1419388937 13579 :tswett!~tswett@70-88-106-42-smc-mi.hfc.comcastbusiness.net PRIVMSG #esoteric :vanila: right. < 1419388939 928259 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :tswett: then you cannot have such an intuition about Peano arithmetic either, because you can Gödel-encode any bunch of weird symbols into it < 1419388974 904404 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :oren, re. epistemology take the true natural numbers to start with < 1419389032 301895 :tswett!~tswett@70-88-106-42-smc-mi.hfc.comcastbusiness.net PRIVMSG #esoteric :So what I'm trying to figure out is whether or not there exists some sort of "standard theory of number theory", such that our intuitive notion of provabilty in number theory coincides with provability in STNT. < 1419389187 356888 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Jet lag < 1419389298 225672 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :? < 1419389320 688988 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :That was meant to have a :( after it < 1419389329 645189 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I just woke up at quarter to three in the morning < 1419389334 668752 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i was ? the fact that i had been pinged < 1419389356 754373 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :how much state does a finite-state matchine have to have to be useful < 1419389371 80602 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :What is our intuitive notion of provability? < 1419389373 743935 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :oren, you can recognize binary strings in 2 states < 1419389388 612717 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :hm you could do it in 1 state actually < 1419389401 306987 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :you can recognize (charset)* in one state X < 1419389406 896527 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :with arcs X -> X for each char < 1419389417 212045 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :quintopia, unless you get pinged by "jet lag" I have no idea < 1419389437 96145 :tswett!~tswett@70-88-106-42-smc-mi.hfc.comcastbusiness.net QUIT :Ping timeout: 240 seconds < 1419389449 538382 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :zero states is enough to sit there uselessly < 1419389455 986522 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :my log window is filled with reconnection attempts and lastlog revealed no clue < 1419389474 611282 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I'm a zero-state machine < 1419389476 949756 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :isn't intuition more the province of psychology ? < 1419389483 509450 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :elliott, doesn't a FSA need an initial state? < 1419389509 132404 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :hahahahahahaha cant sleep because wife snores but at least i know how to do my random genrator now < 1419389526 117389 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :@time J_Arcane < 1419389527 801923 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Local time for J_Arcane is Wednesday, December 24, 2014 4:52:11 AM < 1419389537 900770 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :J_Arcane, you're in a better position than me < 1419389552 289722 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I can't sleep because jet lag, and I'm two hours behind you < 1419389565 685843 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :And I have no idea how to do your RNG < 1419389574 70535 :tswett!~tswett@70-88-106-42-smc-mi.hfc.comcastbusiness.net JOIN :#esoteric < 1419389574 155830 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :so for example, suppose i made a language for programming arbitrary FSA's with exactly N bits of state. would 8 bits be useful? < 1419389613 605039 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :no < 1419389628 766075 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :someone might need 9bits < 1419389640 96461 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Taneb: Racket has continuation-based generators. < 1419389650 932267 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Woo < 1419389655 737146 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :hey J_Arcane good work on the BASIC LISP < 1419389658 940425 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :I was too tired to figure out how to use them last night. < 1419389682 845029 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :But I think I can make RANDOMIZE return or define a local generator RND to act as the random number generator. < 1419389708 924917 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :It's not the strictest purity, but at least it's not full of ugly set! statements. < 1419389743 67891 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :given that experiments have shown that therea are no hidden quantum states, could a true quantum computer be considered a stateless machine? < 1419389967 116431 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :What does "hidden quantum states" mean and how does an experiment show there aren't any? < 1419389997 244802 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :If you consider a classical computer stateless, yes < 1419390059 195725 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :isn't a quantum computer just a quantum version of a normal computer < 1419390078 614424 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :like you have the same state - but instead of 1,0 you have compelx linear combinations < 1419390137 70791 :tswett!~tswett@70-88-106-42-smc-mi.hfc.comcastbusiness.net QUIT :Ping timeout: 240 seconds < 1419390650 211645 :tswett!~tswett@unaffiliated/tswett JOIN :#esoteric < 1419390804 824495 :tswett!~tswett@unaffiliated/tswett QUIT :Client Quit < 1419391263 27502 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :vanila: there's a lot in that "just". for one thing, it's reversible so you cannot simply delete/overwrite state < 1419391309 312934 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :thats really interesting and important and I wonder how I never really caught onto that before < 1419391441 914058 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Sweet. I have an xorshift* generator. < 1419391451 809887 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and whether you keep a copy of temporary state around can affect the final observed result in the _other_ bits. < 1419391476 452366 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Now to make some syntax decisions. < 1419391493 843063 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(because it prevents different computation paths with the same final result but different temporary state from interfering) < 1419391666 481504 :scarf!~ais523@unaffiliated/ais523 NICK :ais523 < 1419391712 279394 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :anyone want a hat for christmas. i will send you a hat or two. < 1419391761 841057 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION looks at Gregor  < 1419391803 704594 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :quintopia: What color of hats? < 1419391804 70273 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :gregor is too stylish for outlandish party hats and baseball caps < 1419391815 250797 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah < 1419391843 202202 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :zzo38: they are mostly dark-coloured. blue and black. there's some yellow and white. some are woven from straw. < 1419391863 413051 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :these ones are woven from straw and garlanded with silk flowers < 1419391874 674537 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :(100% genuine polyester silk) < 1419391911 643011 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :from genuine japanes polyester silk worms < 1419391914 627597 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*+e < 1419391947 213624 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :IDEA: Brainfuck + goto < 1419391950 563428 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :should be very easy to program in < 1419391962 624155 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :brainfuck already has goto < 1419391968 126804 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :it's called [ and ] < 1419391980 630858 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :lol < 1419391996 170211 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :What if you removed [ and ] and added goto < 1419391996 663978 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :vanila: would you like an embroidered baseball cap from the albuquerque balloon festival < 1419391999 854387 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :those are strictly nesting, gotos arent < 1419392000 519156 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Would it still be turing complete??? < 1419392011 672201 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :only if it were computed goto < 1419392016 336193 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Jafet: um no branching? < 1419392016 973105 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :thats ok, thanks though! < 1419392031 29950 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :ooh computed goto < 1419392035 628696 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :I like that! < 1419392059 727092 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :that is both conditional and jump in one go < 1419392065 444165 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :I mean this is like subleq isnt it? < 1419392067 922027 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :OREN: YOU CAN NONETHELESS USE THEM LIKE GOTOS sorry caps lock accidental press < 1419392088 535483 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :IDEA: brainfuck - brainfuck < 1419392089 530615 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :goto and comefrom are so mundane these days. we need govia < 1419392126 161169 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :it's just like brainfuck except that all the brainfuck commands are replaced with other unrelated ones < 1419392150 720166 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or passthrough < 1419392194 956593 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: or pass-go-collect-$200 < 1419392199 465616 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's like goto and comefrom except you have no idea _when_ you're going to pass through the label - it may already have happened, or may happen in the future < 1419392205 884884 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :how about this < 1419392210 141037 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :+ - < > * < 1419392216 700688 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :same as brainfuck except * is computed goto < 1419392246 238061 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :CLC-INTERCAL even has computed NEXT FROM < 1419392247 798992 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :journeythither < 1419392248 329667 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :thats TC isnti t? < 1419392263 922090 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :zzo38: so does C-INTERCAL < 1419392286 736628 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quintopia: what about garfield minus brainfuck wth < 1419392290 626471 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :lol < 1419392323 826149 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: i was already thinking about square root of minus brainfuck < 1419392335 205454 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :good, good < 1419392342 912713 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quintopia: sounds quantum < 1419392368 607669 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Other idea, make a esoteric programming language involving astronomy and astrology, somehow. (I don't know how.) < 1419392409 256336 :Solace|zzz!uid52684@gateway/web/irccloud.com/x-kipvmisittspuxzi QUIT :Quit: Connection closed for inactivity < 1419392413 483489 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :And, the other other idea, is make a esoteric programming language that is allow to make types subtraction and division by types, rather than only addition and multiplications. < 1419392445 445187 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :oh wow that sounds mad! < 1419392471 366492 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :(I don't know how to do that either.) < 1419392476 897906 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Subtypes and quotient types < 1419392487 856730 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :You could try to invent remainder types < 1419392494 16784 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :there was a paper about doing that < 1419392496 345416 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it was very esoteric < 1419392503 87039 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :edwardk said it was nonsense or something :p < 1419392507 365332 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :There is? I didn't see any such papers. < 1419392529 980952 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :you mean amr sabry's one? < 1419392569 251785 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I can try and find it, I guess. < 1419392594 28289 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :copumpkin: uhh, maybe. < 1419392595 709302 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :link? < 1419392609 685738 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it involved time travel or something < 1419392614 415177 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it was kind of ridiculous < 1419392658 639554 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :hey copumpkin < 1419392661 949655 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :http://www.cs.indiana.edu/~sabry/papers/rational.pdf < 1419392663 573831 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :hi vanila < 1419392672 277239 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :joyal species is the thing i think < 1419392676 462334 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yes < 1419392677 756566 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it is this type < 1419392679 925979 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :er, *this paper < 1419392694 926628 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :read it if you like having fun, breaking rules, and showing it to the man < 1419392704 36466 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I skate on the road and I divide my types < 1419392706 445759 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :misandry! < 1419392709 209727 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :anything by Amr Sabry is going to be gold < 1419392901 52746 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :reading that paper basically felt like being trolled really effectively < 1419392914 305702 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :like, this is obviously total nonsense. but it does kinda work. < 1419392963 310183 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it involves reversible stuff so vanila will love it < 1419393021 968026 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : but can an abrtriay txet be srcewd up and rbleessad? <-- *rbleeessmad hth < 1419393022 908550 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :ill start at the end < 1419393027 198080 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :haha < 1419393079 151565 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: u rbleeessmad? < 1419393085 901572 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi copumpkin < 1419393098 25056 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :did you read that thing < 1419393105 944144 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :would the world be an overall better place if i stopped asking about it < 1419393110 734604 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :webcomics have trained me to be pretty good at following narratives backwards < 1419393117 210873 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :not sure it'd work for papers < 1419393117 999913 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: not ralley < 1419393156 767805 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: you do the catchups starting from the end? < 1419393176 860228 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(i only do that for smbc which doesnt really have narrative) < 1419393190 919862 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :when i see a webcomic I go to the start < 1419393195 867299 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :and usually its not so good soi dont read it more < 1419393210 98660 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: I see a random webcomic and start going backwards < 1419393215 823331 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but yeah sometimes I do catchups from the end < 1419393230 627170 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa, i always thought "catsup" was a british but apparently it's american?? < 1419393232 429445 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it works better with comics that don't have continuity. backwards dinosaur comics is just dinosaur comics < 1419393232 800849 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :vanila: that's a little stupid if it's improved a lot... < 1419393237 864747 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :yes < 1419393251 734203 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :vanila's strategy sounds good because you don't have to remember a lot of webcomics to follow < 1419393264 246293 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tru dat < 1419393317 821738 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :shachaf, I don't actually know what catsup is < 1419393335 719969 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: a bizarre spelling of ketchup hth < 1419393339 563349 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's a chinese fish sauce hth < 1419393363 785080 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ketsjup < 1419393387 334289 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Well, I don't apply condiments often, so neither of those definitions make me inclined to apply catsup < 1419393402 536749 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ketszjup is a polish condiment that goes well with gazspacho < 1419393420 936716 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oops, gaszpacho < 1419393439 15459 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :I think hte only webcomics ive read fom start to finish are XKCD and ozzy and millie < 1419393463 635099 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :vanila: xkcd hasn't finished hth < 1419393473 410518 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :there was only about 100 when i read it < 1419393539 97607 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: https://twitter.com/mikko/status/506433143822630912 hth < 1419393554 349240 :CrazyM4n!~CrazyM4n@ip70-162-52-61.ph.ph.cox.net QUIT :Quit: so that's how you do quit messages < 1419393578 578185 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :what webcomic would i like to read? < 1419393638 307442 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :vanila, < 1419393658 977011 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I was going to something than I get distracted by a thingy < 1419393711 351606 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: that comment about the hover text is something. also i wonder what the question was. < 1419393732 302548 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think Taneb may be easily distracted < 1419393750 737113 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, the outside is scary < 1419393752 848689 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: which comment and what question twh < 1419393755 703628 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :vanila: http://supermegacomics.com/ < 1419393764 199304 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(rip) < 1419393764 763266 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :I love that one!!!!!!!!!!!!! < 1419393766 739166 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :Omg I read it all < 1419393771 388994 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :htat's the 3rd ive read < 1419393771 547161 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: from your link hth < 1419393785 331511 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: oh from twitter replies < 1419393862 165727 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: i was hoping for a reply involving more hyphen-minuses and octothorpes hth < 1419393930 127463 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh. i didn't notice that. < 1419394073 431733 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :shachaf: hi! no! and no! < 1419394086 75232 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I wonder if there's any stew left < 1419394087 89564 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :copumpkin, do you have a blog < 1419394097 107375 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :nope :( < 1419394103 955421 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :copumpkin, is there any stew left? < 1419394105 288937 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :what is up < 1419394113 297212 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :copumpkin: wat < 1419394115 436654 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :I'm doing some duolingo and waiting for my nix build to complete < 1419394117 182576 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :whats been happening < 1419394124 673999 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :copumpkin: which lingo < 1419394124 835499 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :Taneb: not that I know of < 1419394131 140164 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :how can there be anyone other than me who doesn't have a blog < 1419394134 436016 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :shachaf: brushing up on some old french < 1419394142 507645 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :oerjan, You can start a blag.txt < 1419394143 87528 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, I only have like half a blog < 1419394145 936766 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :oerjan: sorry! I'll try to get one < 1419394162 238513 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Although it says at the top "Taneb's blog" < 1419394171 244009 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :vanila: you seem to have misunderstood my question hth < 1419394176 889355 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :http://mumble.net/~campbell/blag.txt < 1419394185 868717 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :oh I know him < 1419394194 86261 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: is it http://nclk620tab.blogspot.com/ < 1419394209 934481 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :shachaf, yes < 1419394211 863520 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Riastradh is great < 1419394216 406525 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :oerjan, I can help you set it up just make a text file hth < 1419394229 926793 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :shachaf, isn't that the capital of Saudi Arabia? < 1419394240 807533 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :lol < 1419394243 883619 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :not quite < 1419394351 800805 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :haha he wrote aobut decompression quines < 1419394353 947522 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :cool < 1419394362 980791 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :oerjan, looking forward to reading it! < 1419394454 106689 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: i'm going to assume that's not actually your blog because that way i don't have to kill you for your font and text color choices hth < 1419394466 479576 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :It is definitely not my blog < 1419394503 161108 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :good, good < 1419394517 838913 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, do you reckon there is any stew left? < 1419394581 474431 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i cannot answer that because i cannot find the pun hth < 1419394621 965277 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :There is no pun to my knowledge < 1419394632 951933 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :But we had stew here last night but I went to bed early due to jet lag < 1419394633 526690 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: the pun is in the oy of the beholder hth < 1419394644 713068 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Now it's like quarter past 4 in the morning and I am hungry < 1419394657 672248 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :But I am also undressed and upstairs < 1419394671 409126 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :So I don't want to go to get stew if it's gonna turn out there is no stew < 1419394693 884956 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what if there's a salad < 1419394700 183299 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you only need to be as dressed as the salad hth < 1419394700 372210 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oy vey < 1419394746 264668 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: https://esolangs.org// this is a bit weird < 1419394757 130711 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the redirect should probably be ^/*$ in the nginx config or such < 1419394778 834211 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: i was amused by the finnish for "oh no" hth < 1419394868 271309 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: this won't break /// ? < 1419394872 696484 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :no < 1419394900 296359 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm /wiki/ < 1419394930 172521 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: oy key < 1419395135 194802 :nys!~nys@blk-215-85-138.eastlink.ca QUIT :Quit: quit < 1419396421 316487 :Solace|zzz!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg JOIN :#esoteric < 1419396444 71499 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :ugh. i just want to fucking sleep < 1419396798 162696 :Solace|zzz!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :Bless your frail heart < 1419396807 568486 :Solace|zzz!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :Go to sleep J_Arcane < 1419396821 972247 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :my wife snores. < 1419396825 764246 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :enough to wake the dead. < 1419396859 421870 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :and because I have an ear infaction probably caused by wearing them in the first place, i'm not able to wear my ear plugs. < 1419396891 972833 :Solace|zzz!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :Sleep on the couch < 1419396900 502193 :Solace|zzz!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :Snoring is bad though also < 1419396904 442508 :Solace|zzz!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :Wake her up < 1419396917 353442 :Solace|zzz!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :She could stop breathing ;-; < 1419396941 351126 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric ::C < 1419397057 566341 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :put on headphones and play white noise < 1419397233 88389 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :cat /dev/urandom | aplay < 1419397265 166778 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :turn volume just high enough to block out other sounds < 1419397385 503256 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :I need to get to the shops anyway before they close for Christmas eve. < 1419397387 969577 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I don't think waking up chronic snorers constantly is a good course of action :p < 1419397406 730728 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :I'd never get any sleep. I snore too. < 1419397557 473839 :Solace|zzz!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :Those scientist who calculated what white smell is < 1419397568 336933 :Solace|zzz!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :Just math no machine does it though < 1419397579 53575 :Solace|zzz!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg NICK :Solace < 1419397810 778079 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :png compressed images sound almost, but not quite, like white noise < 1419397916 53767 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :whereas executables sound like a dialup modem < 1419398076 582577 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :Oh god < 1419398082 155411 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :Dialup modems < 1419399426 369158 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Deadfish14]]4 10 02http://esolangs.org/w/index.php?diff=41534&oldid=41533 5* 03Oerjan 5* (+0) 10/* Pascal */ Missed one < 1419399507 406571 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :lol oren thats so weird < 1419399514 13230 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :you can hear the difference in files.. < 1419399517 883399 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :can you tell apart a jpg and a png? < 1419399525 905194 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :haven't tried < 1419399527 787483 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :what about XML vs lisp < 1419399625 895056 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :yknow i have a screwed up synthesizer language... i oughta loom thru my old files more often < 1419399680 183319 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 264 seconds < 1419399682 982465 :MoALTz!~no@user-164-126-31-182.play-internet.pl JOIN :#esoteric < 1419399694 493119 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :a good compression _should_ sound like white noise, surely < 1419399717 987997 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :ideally! < 1419399721 662869 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :and encryption < 1419399771 254167 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Ping timeout: 244 seconds < 1419399846 616950 :MoALTz_!~no@user-164-126-31-182.play-internet.pl QUIT :Ping timeout: 256 seconds < 1419399907 696361 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Ante14]]4 10 02http://esolangs.org/w/index.php?diff=41535&oldid=40778 5* 0376.247.183.16 5* (+100) 10New interpreters and URLs < 1419400296 408665 :MDude!~fyrc@67.235.2.71 NICK :MDream < 1419400307 977209 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :Whats your favourite food? < 1419400323 803025 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :XML vs lisp? < 1419400334 104478 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :Lisp probably would win < 1419400343 423294 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :Depending on whos battling who? < 1419400353 179566 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Solace, my favourite food is the singapore noodles recipe we have here, but I am currently in the mood for stew < 1419400373 564848 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :XML vs lisp is like comparing Denmark to geometry < 1419400381 420829 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :They are different sorts of things < 1419400400 96569 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: http://www.irregularwebcomic.net/961.html < 1419400425 651839 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, I will go downtairs soon to see if there is any stew < 1419400443 225824 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :If there is I will microwave-heat it then take a photo to show you guys then eat it < 1419400455 227591 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :My mum made it so it probably has actual meat (beef, apparently) < 1419400651 581138 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :xml encoded json < 1419400738 883437 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :newsham: http://www-01.ibm.com/support/knowledgecenter/SS9H2Y_6.0.0/com.ibm.dp.xi.doc/json_jsonx.html < 1419400741 414245 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric : How about a turkish game hen wrapped in a seasoned wrap of fine picked herbs with some cherry drizzle wrapped around the sides? < 1419400756 119389 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I think I prefer singapore noodles < 1419400764 242660 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Although I once had this really nice kangaroo steak < 1419400799 337203 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :Amaze < 1419400801 633205 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i also < 1419400807 615446 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :at bondi beach < 1419400817 144572 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :had raspberry glaze or something < 1419400818 936802 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :mmmmm < 1419400832 326881 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i never had kangaroo but i mentioned i've had ostrich < 1419400852 687743 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :that joke was o stretch < 1419400853 37186 :dts|pokeball!~DTSCode@unaffiliated/dtscode QUIT :Ping timeout: 240 seconds < 1419400856 199150 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :quintopia, this was in a restaurant in Melbourne, a few years ago < 1419400862 869710 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :It had quite a gamey taste < 1419400867 285498 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Reminded me of partridge < 1419400871 973683 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :vanila: what joke it's a simple fact hth < 1419400874 609105 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Another thing which I have eaten precisely once < 1419400910 734563 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :that helped thanks < 1419400917 38064 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :Kangaroo is tough for me < 1419400922 47566 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :Shant eat again < 1419400929 832332 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :I like softer meats and the like < 1419400931 355898 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Solace, that sounds like it was poorly cooked < 1419400938 269016 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: did you also get the accompanying pear tree twh < 1419400946 960330 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, I don't know, it was in a pie < 1419400952 535360 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah < 1419400953 118790 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :Probably < 1419400967 976678 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :The resturaunt looked trashy tbh < 1419400978 323781 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I once had a really poorly cooked steak, but that was beef and I cooked it myself < 1419401002 976061 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :Amaze < 1419401017 336295 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :So xml parsing < 1419401032 127260 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :Isnt that a horrifying subject for kids nowadays < 1419401049 546923 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :I had to learn xml in my class last year < 1419401084 526695 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :XML parsing is easy isnt it? < 1419401091 523400 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i thought the point of xml parsing was that you used a readymade parser for it < 1419401097 267505 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :it's just < 1419401116 982831 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :or is XML some ridiculously complex thing with a million exceptional cases < 1419401123 845504 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yes < 1419401126 80763 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well it's not that complex < 1419401137 850661 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but it's complex enough that the annoyance in parsing and emitting it is the nibbly bits < 1419401146 266763 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :emitting is the bigger problem I think < 1419401153 675841 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :since it is easy to fuck up and produce invalid output < 1419401158 235823 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :vanila: also < 1419401161 995567 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :also < 1419401173 706148 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :also if you implement doctypes < 1419401178 430538 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :also <가나다 라마바="asdf"> < 1419401178 992492 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :then it's hideously, ridiculously complex < 1419401183 579708 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : < 1419401190 521370 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :damn < 1419401191 937010 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :also < 1419401199 329224 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :it keeps happening < 1419401203 434019 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Billion_laughs XML! < 1419401210 332543 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :also a CFG-inspired language for defining the schema < 1419401221 590569 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :only to be replaced via another XML-based schema language < 1419401222 59851 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :ive decided that XML is bad < 1419401232 460357 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :also %entity; and &entity; < 1419401235 788607 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :oh my god < 1419401237 937461 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :thre's more and more < 1419401252 540122 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I think people hate doctypes these days though < 1419401253 978289 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :also (okay, this is the least concern) < 1419401256 450265 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so it's okay to just ignore them < 1419401267 266969 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :but if you want to hear about XSLT... < 1419401307 300551 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net JOIN :#esoteric < 1419401319 479506 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :XSLT is a functional language, it must be good < 1419401363 968797 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net PRIVMSG #esoteric :elliott: are you for srsly? < 1419401372 494681 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :no :p < 1419401386 121375 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but I suspect XSLT would be significantly less unbearable if its syntax wasn't XML < 1419401391 370950 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net PRIVMSG #esoteric :I would classify XSLT as a declarative language < 1419401406 366735 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I'm pretty sure it's even intended to be a purely functional language < 1419401415 28333 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :instead of being accidentally that way like C++ templates < 1419401438 951523 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net PRIVMSG #esoteric :hmm, I wonder what AWK is classified as... < 1419401451 822222 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net PRIVMSG #esoteric :"data-driven" according to wp < 1419401509 156831 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :How to keep the last doughnut < 1419401512 317324 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :Hold the doughnut aloft And announce "This is the last doughnut, Does anyone wish to split this with me" Then proceed to touch as many sides of the doughnut as possible < 1419401514 673419 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net PRIVMSG #esoteric :XSLT is classified as "declarative" according to wp < 1419401523 482110 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :We extend Pi our reversible programming language of type isomorphisms < 1419401529 128411 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :is this an esolang? < 1419401539 844442 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yes :p < 1419401548 783786 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric : Dagger Traced Symmetric Monoidal Categories and Reversible Programming < 1419401552 183103 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :any sufficiently useless type theory paper is an esolang < 1419401575 503939 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :We develop a reversible programming language from elemen- < 1419401575 635835 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :tary mathematical and categorical foundations. < 1419401588 203401 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :XML was made to make kids hate code < 1419401589 879893 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :Imo < 1419401605 362761 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric : An implementation of the language along < 1419401605 428367 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :with several programming examples are available for download from < 1419401605 471593 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :http: < 1419401605 533782 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :/www.cs.indiana.edu/ < 1419401605 577537 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :~ < 1419401606 412276 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :sabry/papers/reversible.tar.gz < 1419401608 774054 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :plausible < 1419401623 507661 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :www.cs.indiana.edu/~sabry/papers/reversible.tar.gz < 1419401661 582117 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :Omfg why is called a billion laughs < 1419401667 66420 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :Why am i laughing < 1419401674 627711 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :Make it end < 1419401691 572839 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION hits Solace with the saucepan ===\__/ < 1419401736 736775 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :Thanks < 1419401743 928569 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :But the name < 1419401745 684187 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you're welcome < 1419401753 127807 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :its funny :) < 1419401756 367362 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :A billion laughs is a dos attack < 1419401764 232158 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Solace: it's explained... < 1419401769 286438 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :I know < 1419401773 126519 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net PRIVMSG #esoteric :dos attack? < 1419401780 819466 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :denial of service < 1419401783 631797 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :But its so funny to me < 1419401793 975868 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net PRIVMSG #esoteric :what name? < 1419401801 851297 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :A billion laughs < 1419401810 272489 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net PRIVMSG #esoteric :is that a name? < 1419401811 996645 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :XML bomb < 1419401820 788549 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :Solace, A billion laughs < 1419401821 600640 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :Give him the link < 1419401832 658084 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :How about this < 1419401840 807389 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :A billion Symmetric Monoidal Categories < 1419401846 651864 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :When i discover funny things in xml i kinda cry < 1419401876 599586 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :Cuz i had to use it to pass an MIT class in sophtmore year < 1419401896 386826 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :I should've used it on them ;-; < 1419401904 2813 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net PRIVMSG #esoteric :vanila: do you have any documentation? < 1419401926 232563 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :you need to see my driving liscnece? < 1419401932 227004 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net PRIVMSG #esoteric :no < 1419401944 797501 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net PRIVMSG #esoteric :like about Pi < 1419401946 617591 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :http://www.cs.indiana.edu/~sabry/papers/cat-rev.pdf < 1419401974 77006 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net PRIVMSG #esoteric :thanks :) < 1419402115 193135 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :omg this is beautiful < 1419402130 771685 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :all those arrows < 1419402331 452389 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :I always read buffer overflow as butter overflow < 1419402335 851551 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :Im silly < 1419402590 121259 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :deriving license < 1419402596 634169 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :also known as degree < 1419402599 853459 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*as a degree < 1419402635 673480 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :Deriving? < 1419402641 541552 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :Or driving < 1419402666 721667 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :deriving < 1419402700 164376 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :so apparently i made an esolang at least a few years ago, which is for composing music < 1419402725 194201 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :by some miracle the code still works < 1419402922 148841 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :at the time i thought that this what a perfectly readable syntax: http://pastebin.com/qBCPGLyy < 1419402958 449489 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :s/what/was < 1419402958 814850 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :that looks very songlike! < 1419402986 648787 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :Its amazing < 1419403020 103414 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :http://www.speedyshare.com/hRBMt/temp.min <-- play with aplay -fS16_LE -r20000 temp.min < 1419403046 832899 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :thatis what comes out of the crawling horror of a compiler that i wrote < 1419403053 428539 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :haha < 1419403078 567296 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :seriously play it, it is music. < 1419403122 991425 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :Pi^o is really hard to understand < 1419403123 46676 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :the compiler is made of a mix of shell, C and perl. < 1419403162 531744 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :"all expressible computations are reversible." wow < 1419403193 662795 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1419403434 734314 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services < 1419403434 777550 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1419403494 621170 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :Snatches head phones from brother < 1419404228 37089 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1419404240 940542 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1419404274 407345 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Do you have the documentation of that music program? < 1419404461 763252 :drdanmaku!uid17782@gateway/web/irccloud.com/x-ttizogaumvypbafy QUIT :Quit: - < 1419404534 697945 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :There was none. here is the source code, an ode to the ire of pitiless gods: https://gist.github.com/orenwatson/95550bb34b4c8cc2e155 < 1419404569 598973 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :This is awesome! < 1419404613 942192 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :basically you do ./acfplayer.sh foo.acf to comile and play a music < 1419404692 803878 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :i think this is porbably from my freshamn year < 1419404808 571373 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :ok so essentially, i think i figured out how it works < 1419404810 437026 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :There are also several MML compilers for composing music though, and there is also Csound. < 1419404879 232685 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :it uses sscanf... wait WTF!?!? < 1419404893 730612 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :scanf is a fine parsing tool < 1419404896 802065 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :"sscanf(line,"%lf %lf %lf %lf %lf %d %lf %lf &lf"" < 1419404910 586648 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :provided that you actually check the return value < 1419404921 86696 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :"&lf"... "&lf" god damn it it still works despite that < 1419404922 954252 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :oren: wait, &lf? < 1419404925 826352 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :lol < 1419404953 249407 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :oren: ah, no it would work < 1419404966 166738 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :oren: it has eight %s and eight arguments < 1419405003 66065 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :oh why the hell, past me, what the hell wre you thinking < 1419405058 5609 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :see it is a rolling horror < 1419405068 595521 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :the trailing ` &lf` will be consumed if there is < 1419405078 414608 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :but does not affect any output (including the return value, afaik) < 1419405099 493762 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :I guess scanf(" "); can be used to skip whitespaces < 1419405228 90916 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Yes, why is there "&lf" in there, it contain many things aren't so good in this program, such as it require four files; it also just doesn't seems to do much even important things compared with most other software. < 1419405320 327376 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :zzo38: i told you it is a rolling horror... < 1419405339 383141 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1419405339 702416 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :i forgot entirely about it until i found it today < 1419405398 607271 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Well, next time you can use a MML compiler if you want to, it will work better. (Such as, using ppMCK can make up a .NSF music.) < 1419405420 756173 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :l'horreur qui chante < 1419405495 133252 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 252 seconds < 1419405516 645774 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg PRIVMSG #esoteric :So smart l - l < 1419405589 336145 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :Actaully the final language after going thru all steps is similar to MML. consider: 2+2, the 2 indicates a 1/2 note, the +2 indicated two semitones above the base tone for the track < 1419405678 561214 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :N1 2+0 2+2 2+6 2+2 2 2+6 2+2 2+0 < 1419405689 468468 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(inspired by vaguely remembering https://en.wikipedia.org/wiki/L%27Homme_qui_marche_I) < 1419405692 816846 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :that is 4 bars of music < 1419405709 227582 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :so the 2 without a pitch is a rest of course < 1419405739 44572 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :OK, I can see that < 1419405754 313429 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :to me numbering the semitones made for sense than the inconsistent letter system < 1419405949 586367 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :oh no i'm reading it wrong. 0 is a whole rest, 1 is a 1/2 rest 2 is a 1/4 rest and so one < 1419405986 548614 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :this line: $length=60.0/$tempo/(2.0**$1); < 1419405992 994721 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :This is one file for ppMCK http://2a03.free.fr/dl.php?file=4228 It uses a few commands that I have added in to the program myself such as * ? ' commands. < 1419406093 745945 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Document of ppMCK: http://vgmrips.net/wiki/PpMCK < 1419406177 581869 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :The "n" command can still be used to specify number of semitone like you have < 1419406482 866784 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :hmm, no named macros? < 1419406540 194283 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :That is correct; you can only use numbers (or, for text macros, you can use any single character to identify it). < 1419406566 340518 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :For example I defined text macro *+ for major chords and *- for minor chords; but, it is possible to define them however you want. < 1419406655 127993 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :that's kind of primitive. even my rolling horror has macros with names < 1419406699 236964 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Yes, although I have never needed macros with names. < 1419406715 552558 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :then again the macros.pl could be usedwith almost any language < 1419406922 835955 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :that is the advantage of making something as several separate modules. you can reuse them for a different purpose < 1419407050 606814 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Yes, it can help with many things, if you can use pipes and such. < 1419407071 17380 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :So if you want you could use a preprocessor with ppMCK and other MML compilers too. < 1419407380 30360 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net QUIT :Quit: adu < 1419408290 619775 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :good morning < 1419408424 954203 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :早安, mroman < 1419408601 486473 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :it's 3 am, barely morning < 1419409194 22667 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's 8 am, late night < 1419409625 391214 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Remote host closed the connection < 1419409635 91876 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1419410408 71508 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :well < 1419410414 39435 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :you're in the wrong time-zone then!!! < 1419410439 116758 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :5:40 pm < 1419410450 706559 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :it's a good day to work and I'm not working now < 1419410521 512837 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :10:41 here, but I finished this at around 5am: https://github.com/jarcane/heresy/blob/494bc39cb0c77f0fdba4e3cbd12e382cf1a3027d/private/random.rkt < 1419410576 755725 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :lifthrasiir: working, on 5:40 pm christmas eve? silly koreans. < 1419410596 114456 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :oerjan: and I'm on the vacation next week < 1419410618 913400 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1419410952 171313 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :dammit. This is what I get for using tab instead of spaces. The indentation on the y-combinator factorial example in Heresy's docs is broken. < 1419411462 438962 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :http://ws.apache.org/xmlrpc/apidocs/org/apache/xmlrpc/server/RequestProcessorFactoryFactory.html < 1419412085 449531 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :https://plus.google.com/+JeanBaptisteQueru/posts/9oHHUMpwYhG < 1419412460 630056 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :oerjan, God jul < 1419412486 274570 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Or do you say something else in Norway? < 1419412512 681183 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :exactly the same words < 1419412518 686709 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :God jul < 1419412525 981932 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Same spelling too? Nice < 1419412544 10801 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Hyvää joulua from the country who's not in the language club. < 1419412556 727193 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I guess "joulua" is from the same roots. < 1419412585 92482 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Partitive form of "joulu".) < 1419412621 816240 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :As for "hyvä"... "From Proto-Finnic *hüvä, from Proto-Uralic *šeŋä. Cognates include Estonian hea and Veps hüvä and Sami savvit or Erzyan чив (čiv). Possibly of Indo-Iranian origin." < 1419412628 390679 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo why wouldn't jul be in july < 1419412678 31791 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :shachaf, well it is jul as in the (old?) English yule. < 1419412694 876045 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :I think it has a different origin than July (juli in Swedish) < 1419412697 533333 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yule forgive me for not making the connection < 1419412720 726091 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Vorpal: july is from julius caesar < 1419412734 570647 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And Yule is "either cognate with[1][2][3] or from[4][5] Old Norse jól". < 1419412736 174008 :roasted42!~appleseed@41.50.16.52 JOIN :#esoteric < 1419412762 979027 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :shachaf, but every summer some company tend to make some ad with Father Christmas in it just to try to be funny. Probably funny the first time, but not any longer. < 1419412816 220906 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :oerjan, makes sense < 1419412877 318769 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :oerjan, Speaking of Caesar and months, wasn't it he who screwed up the calendar so that December is no longer the 10th month as the name would imply? Same goes for September and forwards even < 1419412906 761785 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Vorpal: iirc that screwing up was done before his reform < 1419412912 123620 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Ah < 1419412934 871626 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :someone linked a nice overview here, let me see if i can find it again < 1419413091 873618 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :メリークリスマス < 1419413178 946169 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :the japanese were not creative < 1419413271 712385 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Is lambdabot broken? It told me I had one new message in /msg, but when I asked it for it, I didn't get anything < 1419413285 235024 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :gah too many sites i cannot recognize which it was < 1419413323 689560 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :明けましておめでとうございます < 1419413334 356086 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :grmble google doesn't seem to have crawled that date < 1419413340 56656 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Vorpal: ask int-e < 1419413361 545331 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :lifthrasiir, which language is that? < 1419413418 576515 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :oerjan, strange, I can't do a double-whois on int-e to get his/her idle time. Maybe pending netsplit is the cause of both of these issues? < 1419413430 584427 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 2+2 < 1419413430 627623 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 4 < 1419413443 893942 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Wow that is some lag, lambdabot just answered < 1419413444 877982 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@messages? < 1419413444 921150 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Sorry, no messages today. < 1419413449 167813 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :like 5 seconds ago < 1419413459 483342 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :he's recently changed the saving mechanism, to help against data not being saved properly < 1419413487 536033 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric : oerjan said 25d 57m 24s ago: Is there a way to say to cabal "fix mixed versions"? I.e rebuild any packages depending on different versions of a package so that everything just works, and I don't get weird errors. <-- apart from the sandbox thing, i vaguely think that if you install all the packages as _one_ cabal install command it will < 1419413488 694920 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Hm < 1419413516 923322 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Okay, thanks for the tip, sadly I installed haskell-platform using my package manager. So that will be fun to deal with... < 1419413598 941892 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :oerjan, yeah there seems to be some major lag issues atm < 1419413678 600013 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :Vorpal: Japanese, "happy new year" < 1419413678 643210 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :akemashite omedeto gozaimasu < 1419413745 709188 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but that used to lose messages and resend old ones, not forget things one moment to the next < 1419413745 790715 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Vorpal: um from my point of view lambdabot answered immediately. < 1419413746 605792 :roasted42!~appleseed@41.50.16.52 QUIT :Changing host < 1419413746 649122 :roasted42!~appleseed@unaffiliated/them4ch1n3 JOIN :#esoteric < 1419413746 649223 :roasted42!~appleseed@unaffiliated/them4ch1n3 NICK :TheM4ch1n3 < 1419413746 649310 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Vorpal: hm that sounds like the old problem < 1419413746 649393 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :unless you actually haven't spoken since then < 1419413747 53973 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :all tests so far imply it's you who are lagged relative to me, lambdabot and int-e < 1419413747 197719 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :actually irssi refuses to ping lambdabot < 1419413747 259286 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@do hi < 1419413747 376347 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :hi < 1419413747 376467 :TheM4ch1n3!~appleseed@unaffiliated/them4ch1n3 PRIVMSG #esoteric :lo < 1419413747 419683 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Vorpal: if you are responding to pings, you are horribly lagged because you haven't responded yet :P < 1419413767 35025 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there it arrived < 1419413784 527491 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :10:34 CTCP PING reply from int-e: 0.284 seconds < 1419413784 570762 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :10:35 CTCP PING reply from Vorpal: 267.534 seconds < 1419413825 940230 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :oerjan, I'm not lagged relative the server I'm connecting to according to znc < 1419413835 108733 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :oerjan, but yes I'm lagged relative some other persons < 1419413875 61021 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :oerjan, anyway it seems to be lag bursts, sometimes lambdabot pings directly, sometimes it doesn't < 1419413976 788304 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Vorpal: changing server often helps < 1419413989 162196 :TheM4ch1n3!~appleseed@unaffiliated/them4ch1n3 QUIT :Ping timeout: 265 seconds < 1419414009 130725 :Solace!uid52684@gateway/web/irccloud.com/x-rurofukpkfjziueg QUIT :Quit: Connection closed for inactivity < 1419415308 266855 :oren!~oren@nrba4-34.onlink.net QUIT :Ping timeout: 258 seconds < 1419417737 191963 :MoALTz!~no@user-164-126-31-182.play-internet.pl QUIT :Quit: Leaving < 1419418893 582753 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :hmm. I think my math is all wrong. < 1419419057 230068 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 258 seconds < 1419419232 474276 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Converting my 64-bit integer down into a fraction that can then fulfill the expected usecase of int(rnd * n) + 1 < 1419419408 985567 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the quick and dirty method is to use modulo n < 1419419424 483802 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it will not be entirely uniform if n isn't a power of 2, though. < 1419419483 132910 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and will be very skewed if n is close to 64 bits large < 1419419525 209132 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :The algo I'm using does in fact spit out a 64-bit number. < 1419419560 516624 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm not talking about the number spit out, i'm talking about the n in your int(rnd * n) + 1 < 1419419658 354468 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm... < 1419419690 425232 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i guess there's also a problem if lower bits are less random than higher < 1419419753 317458 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm < 1419419775 260283 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :from the other end, divide 2^64 by n < 1419419801 230717 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :then divide your spit out number by the result of that. < 1419419827 826972 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :rounding down in both cases, i think. < 1419419857 501240 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if the result is n, pick a new number and retry. < 1419419996 342175 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :third method, look up how this is actually supposed to be done. < 1419420013 10734 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION helpful < 1419420079 393782 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Yes. < 1419420084 995006 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :This is probably a smart option. < 1419420093 948176 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :That's the hardest method though < 1419420110 827762 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ain't it always < 1419420137 811032 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :especially if the people giving stupid answers give a lot of google hits :P < 1419420185 641630 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :It seems there's trickier math involved in getting a fraction that will be in a range such that (* (rnd) 6) actually spits out something between 0 and 5. < 1419420348 501125 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm wait that's easy enough < 1419420381 626935 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :x * 6 `div` (2^64) < 1419420399 947813 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that will be somewhat skewed though < 1419420451 827298 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Very skewed: that's basically the first thing I tried. < 1419420454 765503 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :by which i mean, not all numbers 0..5 equally "likely" < 1419420489 117357 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :for a non-skewed version, you _have_ to throw away some cases. < 1419420496 939359 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(see my second option above) < 1419420534 17061 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it shouldn't be _very_ skewed mind you - some of the numbers will have 1 more 64-bit number giving them than the others. < 1419420693 47224 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :different way of doing the second method: let y = 2^64 - (2^64 % 6). throw away every number >= y (at most 5), for the rest do x * 6 `div` y < 1419420723 927024 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mixing C and haskell is so useful < 1419420764 275513 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :well, see, I'm trying to implement (rnd) itself, according to the BASIC spec, ie. a random number between 0 and 1. I won't necessarily know n, so I can't write that factor into the implementation easily (unless I divert from spec and just add an argument to RND) < 1419420800 140260 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :But at the moment, it consistently produces numbers which are far too small to use for that use case. < 1419420824 224284 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well rnd = x / (2^64) is basically the way to go if your spit-out numbers are 64-bits... < 1419420860 494405 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: what... < 1419420880 186887 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: what what? < 1419420891 499044 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Or 2^64-1 < 1419420929 873808 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you want to include 1 as a possibility? ok but that'll complicate choosing integers again later < 1419420936 431446 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: wondering about the ping. and what do you mean by "irssi refuses to ping lambdabot"? I don't see why it would do that; it's just that lambdabot won't reply :P < 1419420964 413304 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Which is what I've been trying to do, and getting weird results. < 1419420986 653692 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: when i do /ping lambdabot irssi doesn't say that it sent any ctcp < 1419421003 74929 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :unlike for the rest of you < 1419421022 302278 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1419421027 575351 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1419421033 834819 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: i'm stupid < 1419421039 129552 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :For example, given the numbers I'm getting over (2^64), doing (for/list ([x (in-range 100)]) (add1 (truncate (* (rnd) 6)))) gives me a list composed almost entirely of 1s and 2s. < 1419421042 236646 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :forgot i have a lambdabot query window < 1419421052 284333 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :heh < 1419421056 269504 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :correction: entirely 1s and 2s. < 1419421059 742312 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and for some reason those messages don't mark the window as active < 1419421103 972278 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: i was pinging you because Vorpal said you were unwhoisable < 1419421121 263302 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Perhaps you should try debugging that program < 1419421192 671730 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: I figured it out. It's just that I saw the ping completely out of context. My active channel was #ghc... < 1419421271 907725 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: (Which has not seen any activity in the last two hours, just some people joining and leaving. So it looked like a recent thing until I looked at the time stamp.) < 1419421458 445833 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Jafet: that would seem to imply that your fractions are between 1/6 and 1/3 the size they should be... < 1419421465 192131 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1419421472 722021 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :J_Arcane: ^ < 1419421478 432333 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :oerjan: Well, ditching the float technique and doing result % n does indeed give a 0 to n range it looks like. But visibly irregular results. < 1419421510 898352 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :(and very weighted to the bottom) < 1419421520 182203 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the result % n thing might be too sensitive to patterns in the formula < 1419421533 533559 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :modulo n < 1419421623 222757 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in the "low bits", vaguely speaking < 1419421736 19693 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Maybe I should just accept I don't know what I'm doing and fall back to Racket's built-ins. XD < 1419421759 48781 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shocking < 1419421812 127863 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :I can *easily* rewrite the code in place without breaking the semantics. < 1419421828 421832 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :And it's all git-versioned so if I want to come back to it the code's around somewhere ... < 1419422108 115598 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: Oh http://golf.shinh.org/p.rb?One+Point is a bit frustrating. First I took ages to figure out what sequence that is... and now I have 74 characters for Haskell where henkma has 70... < 1419422177 401505 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :And I still don't know whether "One Point" is supposed to be a hint. < 1419422408 401573 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION checked oeis < 1419422478 277082 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :https://oeis.org/A030303 < 1419422520 161821 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's the points where there are ones... < 1419422621 954439 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ah. why did OEIS fail me... < 1419422651 327333 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i dunno, did you use spaces instead of commas? < 1419422674 776696 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :because ... yeah that. < 1419422925 296990 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :This is not quite the only channel I watch that's not dead, but it's pretty close. < 1419423454 462181 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: (one of the annoying little details is that the bits are only collected up to 254. 255 instead would help me...) < 1419423492 42000 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :heh < 1419423537 72340 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 240 seconds < 1419423804 860284 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :interesting... dc makes 0^-1 = 0. < 1419423811 721376 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(wtf) < 1419423984 497902 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :blargh. wtf doesn't racket's make-random-generator take a seed argument? < 1419424166 246278 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :because you can use random-seed followed by current-pseudo-random-generator? < 1419424185 671209 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but more likely nobody really thought about this. < 1419424260 287368 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`run echo '0^(-1)' | bc < 1419424260 818506 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Runtime error (func=(main), adr=4): divide by zero < 1419424280 374298 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :J_Arcane: and there's the vector->pseudo-random-generator thing. < 1419424317 138558 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`run echo '0 _1 ^ p' | dc < 1419424317 691601 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :0 < 1419424325 776805 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :I suppose as long as the current-generator parameter obeys scope it's OK ish. < 1419424328 576612 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :in other news I think that racket looks a bit like scheme ;-) < 1419424468 358014 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Well, it did start out as a Scheme, and it's mostly still one at heart. IT was just a matter of them not wanting to be bound by the standard or expectations anymore. < 1419424514 383578 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :J_Arcane: Actually I'd sort of expect there to be potential races with other threads. Actually it's even unclear whether random-seed makes a new RNG or just replaces the state... < 1419424563 217653 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(mutable data is so annoying.) < 1419424578 697427 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :int-e: Indeed it is. < 1419424628 463551 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1419424650 604380 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That's curious, because GNU dc is built on bc. (dc ^ is using the same bc_raise as bc ^.) < 1419424782 586561 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :int-e: Also annoying is that the value range for the seed is 32-bits, but the timer is 64-bits. So it actually uses some internal derivation when seeding from (current-milliseconds) that I thus have to account for somehow, and that means I may have to rewrite my spec anyway ... :/ < 1419424871 459903 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(with-current-time 12345678901234578 (random-seed)) < 1419424941 384539 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :once you have mutable data, time travel looks almost sane :P < 1419425108 271867 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :I had defined a syntax for a BASIC-style "timer" var, but since (curr-ms) is 64-bits, you can't actually use it with randomize. I will have to derive some formula that turns any 64-bit number into a 32-bit that's valid for a seed. < 1419425212 182309 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(lambda (x) 42) < 1419425245 397479 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric ::D < 1419425319 560404 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :I suppose I could just bitmask the first half of the number ... < 1419425740 583844 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ACTION sees #include "schmach.h" and goes looking for "schande.h" < 1419425757 108569 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Yes, that works. Just bit-shift off 32 digits and bam, 32-bit number. :D < 1419425766 337733 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :ACTION is not a hacker, just a hack ... < 1419425836 326537 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :J_Arcane: you know, the lower bits will vary much faster than the upper bits. You could even take the number modulo 2^32-5 or so. < 1419425882 571635 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Hmm. I didn't think about doing it with modulo. < 1419425894 524327 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :I just did (arithmetic-shift seed -32). < 1419425910 806971 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :But your way makes more sense. < 1419426112 246394 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ah, better make that modulo 2^31-1: if (scheme_get_int_val(o, &i)) { if (i > 2147483647) i = -1; } < 1419426310 594811 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Good point. I did: (modulo seed (sub1 (expt 2 31))) < 1419427054 210678 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :anyway, random-seed will destroy the current RNG state, and current-prng obviously can't make a copy. < 1419427309 48111 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Next: I must figure out which racket function works best for basic's int(). < 1419427354 4665 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :int-e: This is what I did: https://github.com/jarcane/heresy/blob/master/private/random.rkt < 1419427694 633369 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :J_Arcane: I'm not sure whether I can read this. Does rnd re-seed every time its called? < 1419427713 421633 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :int-e: No, or at least, it shouldn't if I've understood generators correctly. < 1419427792 601363 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Generators are continuations. IIUC, the computation should remain inside loop after first run. So it just keeps taking new numbers from the current PNRG. < 1419427873 312534 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :pseudo-number random generator, hmm < 1419427879 343656 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :XD < 1419427908 386342 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :brain is tired. weeks of insomnia and sleep problems and also trying to emergency thaw a ham. < 1419427910 523983 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Anyway, all I'm saying is you're on your own there; I don't know Racket. < 1419427922 381547 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric ::D No worries. < 1419429350 930817 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz… < 1419430422 574819 :S1!~S1@p4FF92D01.dip0.t-ipconnect.de JOIN :#esoteric < 1419430890 930621 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1419431393 46323 :vanila!~vanila@unaffiliated/vanila QUIT :Ping timeout: 240 seconds < 1419431585 323434 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca JOIN :#esoteric < 1419431708 821070 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Good afternoon < 1419431959 619229 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`` dc <<<125P < 1419431960 725525 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​} < 1419431970 163139 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`` dc <<<122P < 1419431970 744975 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :z < 1419432603 90239 :tswett!~tswett@c-98-243-16-185.hsd1.mi.comcast.net JOIN :#esoteric < 1419432857 94109 :tswett!~tswett@c-98-243-16-185.hsd1.mi.comcast.net QUIT :Ping timeout: 240 seconds < 1419432942 733542 :coppro!raedford@taurine.csclub.uwaterloo.ca QUIT :Ping timeout: 245 seconds < 1419433353 371777 :vanila!~vanila@unaffiliated/vanila JOIN :#esoteric < 1419434802 225017 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`` dc <<<[1xp]x < 1419434802 805543 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1419434817 874368 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`` dc <<<1xp < 1419434818 437333 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1 < 1419434847 517372 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`` dc <<<[[1x]xp]x < 1419434848 66827 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1 < 1419434948 404086 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(Of course, if one were to believe the documentation, 1x should have the same effect as just 1: push 1 on the stack. It does not mention that x on a number exits one level of macro execution.) < 1419435143 560497 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1419435798 243607 :coppro!raedford@taurine.csclub.uwaterloo.ca JOIN :#esoteric < 1419436127 753953 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu JOIN :#esoteric < 1419436511 698539 :tswett!~tswett@c-98-243-16-185.hsd1.mi.comcast.net JOIN :#esoteric < 1419436516 6585 :tswett!~tswett@c-98-243-16-185.hsd1.mi.comcast.net PRIVMSG #esoteric :Ahoy. < 1419436539 558330 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 245 seconds < 1419436551 978310 :tswett!~tswett@c-98-243-16-185.hsd1.mi.comcast.net PRIVMSG #esoteric :Is there a largest ordinal number A such that the set of all ordinal numbers below A has computable arithmetic? < 1419436923 203971 :tromp_!~tromp@rtc35-167.rentec.com PRIVMSG #esoteric :what operations do you require in arithmetic? < 1419436999 452376 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :The answer may strongly depend on what representation you use for computation < 1419437214 790399 :tromp_!~tromp@rtc35-167.rentec.com PRIVMSG #esoteric :if A is a limit ordinal, then you can just add it, along with A*0=0,A+0=A*1=A, anything else with A is out of range < 1419437237 74046 :tswett!~tswett@c-98-243-16-185.hsd1.mi.comcast.net QUIT :Ping timeout: 240 seconds < 1419437272 559343 :tromp_!~tromp@rtc35-167.rentec.com PRIVMSG #esoteric :and it seems that ordinals below A cannot be combined to get to A < 1419437313 700346 :tromp_!~tromp@rtc35-167.rentec.com PRIVMSG #esoteric :wait, that's not true < 1419437342 930292 :tromp_!~tromp@rtc35-167.rentec.com PRIVMSG #esoteric :e.g. A=2*w = w+w < 1419437383 428019 :tromp_!~tromp@rtc35-167.rentec.com PRIVMSG #esoteric :or is that w*2 ? < 1419437428 307962 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it's w*2 < 1419437573 256255 :tromp_!~tromp@rtc35-167.rentec.com PRIVMSG #esoteric :ok, so 2*w=w < 1419437990 840880 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`? tswett < 1419437991 686496 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :tswett is livin' it up with the penguins < 1419438222 279490 :nyuszika7h!nyuszika7h@cadoth.net PRIVMSG #esoteric :ooh, dc < 1419438259 143835 :nyuszika7h!nyuszika7h@cadoth.net PRIVMSG #esoteric :int-e, yeah, I noticed strange behavior with doing x on a number too < 1419438265 459148 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Recursive_ordinal , hmm. Unfortunately, deciding the well-order is not sufficient for arithmetic, or is it? < 1419438515 179845 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Kleene%27s_O < 1419438535 670073 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Apparently arithmetic is computable but equality is not?? < 1419438536 588316 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Oh weait. w_1^CK is just a supremum. Of course there is a supremum for the ordinals with computable arithmetic as well. All I'm really looking for is a proof that this supremum itself does not have computable arithmetic. < 1419438644 493965 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Hmmmm. < 1419438763 146637 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Oh it's just data Ord = Zero | Succ Ord | Lim (Nat -> Ord), where the Nat -> Ord function is computable. < 1419438905 828240 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :So right, if you forgo equality tests then that will work. < 1419438984 246929 :arjanb!8259ab67@gateway/web/freenode/ip.130.89.171.103 JOIN :#esoteric < 1419439015 280884 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1419439140 460688 :silverstream!~silverstr@unaffiliated/silverstream JOIN :#esoteric < 1419439338 551421 :MDream!~fyrc@67.235.2.71 NICK :MDude < 1419440291 16326 :drdanmaku!uid17782@gateway/web/irccloud.com/x-yvxubzyoveawtvnm JOIN :#esoteric < 1419440350 593466 :S1!~S1@p4FF92D01.dip0.t-ipconnect.de QUIT :Quit: S1 < 1419441604 17101 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Damn you people, there's too many fun languages to learn! < 1419442306 280317 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 255 seconds < 1419442475 850260 :shikhin_!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1419442526 154525 :dts|pokeball!~DTSCode@unaffiliated/dtscode JOIN :#esoteric < 1419442643 18853 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 240 seconds < 1419443363 547953 :roasted42!~appleseed@41.48.16.53 JOIN :#esoteric < 1419443669 189946 :roasted42!~appleseed@41.48.16.53 QUIT :Remote host closed the connection < 1419443916 199327 :oren!~oren@nrba4-34.onlink.net JOIN :#esoteric < 1419443953 396098 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :my power is back on < 1419443954 675266 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca QUIT :Quit: COMESTIBLE CHICKEN < 1419444115 582753 :roasted42!~appleseed@41.48.16.53 JOIN :#esoteric < 1419444260 215314 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :when i was a kid it used to snow on christmas eve. what is this "freezing rain", "sleet" crap? < 1419444281 159305 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :yeah seriously, who is evn in charge anymore? < 1419444324 372372 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oil companies < 1419444329 332274 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :apparently not santa claus < 1419444369 147290 :roasted42!~appleseed@41.48.16.53 QUIT :Ping timeout: 252 seconds < 1419444545 809076 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Santa Claus is dead by now. < 1419444609 689399 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :at least, your heating bills are low < 1419444641 26047 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :we are using a wood stove this morning cause the hydro was out < 1419444674 977553 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :(in Ontario the electric power is refered to as "the hydro") < 1419444748 960627 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :do you heat with electricity? < 1419444821 494446 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :i am at my grandparents' house. they have electric and wood. my house in toronto has gas everything < 1419444927 126624 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :gas stoves are way easier to cook on than electric < 1419445124 338470 :dts|pokeball!~DTSCode@unaffiliated/dtscode QUIT :Read error: Connection reset by peer < 1419445166 72822 :dts|pokeball!~DTSCode@unaffiliated/dtscode JOIN :#esoteric < 1419445180 816106 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`addquote when i was a kid it used to snow on christmas eve. what is this "freezing rain", "sleet" crap? yeah seriously, who is evn in charge anymore? apparently not santa claus Santa Claus is dead by now. < 1419445184 514453 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1227) when i was a kid it used to snow on christmas eve. what is this "freezing rain", "sleet" crap? yeah seriously, who is evn in charge anymore? apparently not santa claus Santa Claus is dead by now. < 1419445200 554773 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :santa ist tot < 1419445203 678323 :nys!~nysnamovo@blk-215-85-138.eastlink.ca JOIN :#esoteric < 1419445348 427155 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I thought that was Nietzsche. < 1419445384 449194 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :oh no, Nietzsche is alive and well < 1419445395 364487 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :just met him recently, he's definitely doing fine < 1419445429 751746 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :nietzsche is the new santa < 1419445585 225622 :roasted42!~appleseed@41.48.16.53 JOIN :#esoteric < 1419445614 205977 :silverstream!~silverstr@unaffiliated/silverstream PRIVMSG #esoteric :he's fine when with his mother < 1419445852 992753 :roasted42!~appleseed@41.48.16.53 QUIT :Ping timeout: 240 seconds < 1419446193 189939 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric : Nietzsche is dead too. < 1419446348 270262 :shikhin_!~shikhin@unaffiliated/shikhin NICK :shikhin < 1419446457 659139 :roasted42!~appleseed@41.48.16.53 JOIN :#esoteric < 1419446509 217879 :silverstream!~silverstr@unaffiliated/silverstream PRIVMSG #esoteric :you have googled this! < 1419446594 3906 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :No I have not < 1419446625 199418 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I looked it up in Wikipedia < 1419446644 265633 :silverstream!~silverstr@unaffiliated/silverstream PRIVMSG #esoteric :hipster < 1419446707 717436 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hi silverstream! how did you find this channel? < 1419446717 89363 :roasted42!~appleseed@41.48.16.53 QUIT :Ping timeout: 240 seconds < 1419446751 853632 :silverstream!~silverstr@unaffiliated/silverstream PRIVMSG #esoteric : /list < 1419446791 796114 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`relcome silverstream < 1419446792 878938 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​09silverstream: 02Welcome 06to 13the 04international 07hub 08for 09esoteric 02programming 06language 13design 04and 07deployment! 08For 09more 02information, 06check 13out 04our 07wiki: 08. 09(For 02the 06other 13kind 04of 07esoterica, 08try 09#esoteric 02on 06irc.dal.net.) < 1419446793 225550 :silverstream!~silverstr@unaffiliated/silverstream PRIVMSG #esoteric :but while you asK: i'm looking for a channel with database pros.. any suggestions? < 1419446797 136318 :silverstream!~silverstr@unaffiliated/silverstream PRIVMSG #esoteric : thank you < 1419446812 333633 :silverstream!~silverstr@unaffiliated/silverstream PRIVMSG #esoteric :likw database theory in general < 1419446841 318387 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :#sql < 1419446929 750688 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :What database implementation are you using specifically? There are many such as SQLite and MySQL and others. < 1419446940 125360 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :(And a few which aren't based on SQL.) < 1419446944 491691 :silverstream!~silverstr@unaffiliated/silverstream PRIVMSG #esoteric :that's undecided yet < 1419446961 800099 :silverstream!~silverstr@unaffiliated/silverstream PRIVMSG #esoteric :i'm playing with the thoughts to use nosql.. actually < 1419446992 765604 :silverstream!~silverstr@unaffiliated/silverstream PRIVMSG #esoteric :i would like to know what architecture to use for a fast tag engine < 1419447083 500410 :silverstream!~silverstr@unaffiliated/silverstream PRIVMSG #esoteric :haaaving "element" as the basic object from which everything else derives.. while elements can be tagged < 1419447134 442006 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :what's nosql exactly? < 1419447173 825362 :silverstream!~silverstr@unaffiliated/silverstream PRIVMSG #esoteric :they key value revolution ..pushed by google..memcache..mongo etc.. google < 1419447193 192219 :silverstream!~silverstr@unaffiliated/silverstream PRIVMSG #esoteric :it's fast and ..scalable < 1419447214 46654 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :the fun part being that the nosql databases tend to acquire query languages over time. < 1419447462 252123 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I suppose it also depend what you are making, what help the most. < 1419447468 374084 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I happen to like SQLite. < 1419447528 402987 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :sqlite is somehow the opposite of the nosql databases. < 1419447566 531180 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :SQLite does not have stored procedures, although I do not believe stored procedures are useful. It does allow triggers on views though, and I find that a very useful feature. SQLite also supports recursive WITH, and virtual tables, extension loading, and a few other things which are pretty useful really. < 1419447575 418411 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :local, often exclusive access to a (often small) database vs. shared, distributed, huge databases. < 1419447695 684787 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :sqlite has a fairly powerful query language, while nosql started out with simple key -> value lookups. < 1419447723 218845 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :also sqlite is not a buzzword, nosql is. < 1419447758 818650 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Yes, they can help for different purposes. < 1419447809 695923 :silverstream!~silverstr@unaffiliated/silverstream PRIVMSG #esoteric :how is sqlite a buzzword? it's a valid solution in some cases < 1419447828 850811 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :silverstream: "not" < 1419447871 284888 :silverstream!~silverstr@unaffiliated/silverstream PRIVMSG #esoteric :cu ..and thanks < 1419447873 729904 :silverstream!~silverstr@unaffiliated/silverstream PART :#esoteric < 1419447877 116665 :ChanServ!ChanServ@services. MODE #esoteric +o :elliott > 1419447877 457657 NAMES :#esoteric < 1419447881 105792 :elliott!~elliott@unaffiliated/elliott MODE #esoteric +b :$a:silverstream > 1419447881 132610 NAMES :#esoteric < 1419447886 858401 :elliott!~elliott@unaffiliated/elliott MODE #esoteric -b :*!*@koln*.pool.mediaWays.net > 1419447886 884511 NAMES :#esoteric < 1419447887 193237 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :that was weird. < 1419447894 223498 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :let's leave his ISP unbanned so it's easier to tell next time < 1419447895 832224 :elliott!~elliott@unaffiliated/elliott MODE #esoteric -o :elliott > 1419447895 859230 NAMES :#esoteric < 1419447908 385205 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(I talked to him in /msg.) < 1419447951 415618 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I admire your persistence. < 1419447966 902953 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :thankfully his typing style is so distinctive and he tends to talk about the same random off-topic things right after joining < 1419447977 891722 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :int-e: I admire his :P < 1419447997 27334 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's like the world's most boring game of cat and mouse -_- < 1419448006 282902 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Even in my most active times as #math (now ##math) op I never bothered to identify ban evaders before they actually misbehaved again. < 1419448072 367759 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well, I don't want to encourage people who have been banned for repeatedly being horrible jerks to people to get their one free asshole card every time they switch to a new name :/ < 1419448076 437662 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :SQLite is a full programming language and you do not need to deal with file formats since SQLite will do those things automatically for you; so you can extend a table by using ALTER TABLE and add triggers by using CREATE TRIGGER and change the indexing and still the file format is the same format and you don't need to worry about it. < 1419448088 890114 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :if I recall correctly he even ban evaded the first time he got a _temporary_ ban for that < 1419448111 436517 :roasted42!~appleseed@41.48.16.53 JOIN :#esoteric < 1419448130 84255 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :elliott: but holding grudges takes so much energy. < 1419448155 451351 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :meh, it's like an exciting rivalry < 1419448166 808079 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :except it's just my boredom vs. a really persistent jerk < 1419448183 358647 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Oh it's a hobby, why didn't you say so. < 1419448190 344687 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ehe < 1419448201 339344 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :My favorite database format is the flat binary file. < 1419448223 696156 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well, it's more like I tend to be pretty good at recognising typing styles and the like, so once someone talks a bit my brain usually fires off the signal and it's easier to deal with it than ignore it :/ < 1419448225 370259 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :mine is the rounded. that is better than the flat. < 1419448266 445159 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :/dev/null is nice and round. < 1419448284 359744 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(maybe if he didn't ban evade immediately after getting permabanned he'd actually get a second chance, but it's pretty clear by now he just wants to keep trying so he can continue the behaviour he got banned for...) < 1419448300 538166 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(well... more like fourth or fifth chance, he got kicked/banned a bit before it actually became permanent.) < 1419448303 156980 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :oren: If you do not need it to be extensible or user programmable then a flat binary file will work < 1419448387 58710 :roasted42!~appleseed@41.48.16.53 QUIT :Remote host closed the connection < 1419448404 486950 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :zzo38: and i maintain that that is true in most applications < 1419448425 367154 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Maybe. < 1419448465 112767 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :but i find people using XML or SQL or CSV all the time when a flat serialization would work fine < 1419448535 749199 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Even for text I prefer tab-separated-values rather than comma-separated values. < 1419448560 671858 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :in CSV the C stands for "character" < 1419448604 287159 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it does...? < 1419448608 592324 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :are you sure it isn't comma < 1419448608 828990 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :it does < 1419448619 892048 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Comma-separated_values says comma < 1419448637 811015 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :My Christmas eve dinner: http://imgur.com/gallery/XRzUX/new < 1419448668 971721 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hehe. what is golf? http://golf.shinh.org/reveal.rb?Base+37/hebiyan_1418620884&hs < 1419448724 643061 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :J_Arcane: what's the finnish equivalent of lutefisk or surströmming? < 1419448743 650985 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :int-e: they left out the spaces before the import lists, it's all good < 1419448745 445686 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :elliott: They do have lutefisk here. < 1419448751 100932 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :also the type signatures < 1419448765 686161 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :lipeäkala. < 1419448815 385144 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :We declined that option (it's more of a Norwegian/Swedish thing) and instead snacked on gravlax for late lunch while the food cooked. < 1419448817 677422 :roasted42!~appleseed@41.48.16.53 JOIN :#esoteric < 1419448884 230255 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Also, if SQL is used it allow to deal with it externally using SQLite command-line program and also you do not need to define another embedded scripting language to deal with the data since SQL already does so. < 1419448948 281543 :singingboyo!~g8p8@deas.ugrad.cs.ubc.ca QUIT :Ping timeout: 255 seconds < 1419449680 731054 :roasted42!~appleseed@41.48.16.53 QUIT :Remote host closed the connection < 1419450494 578715 :Lorenzo64!~lorenzo@adsl-ull-199-21.42-151.net24.it JOIN :#esoteric < 1419451491 717846 :mitchs!~canissimi@unaffiliated/canissimia JOIN :#esoteric < 1419451814 7350 :roasted42!~appleseed@41.48.16.53 JOIN :#esoteric < 1419452559 115198 :roasted42!~appleseed@41.48.16.53 QUIT :Ping timeout: 265 seconds < 1419452794 721875 :roasted42!~appleseed@41.48.16.53 JOIN :#esoteric < 1419452857 323872 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Amazingly, the bct interpreter for eodermdrome seems to work < 1419453098 635697 :roasted42!~appleseed@41.48.16.53 QUIT :Remote host closed the connection < 1419453262 583724 :Lorenzo64!~lorenzo@adsl-ull-199-21.42-151.net24.it QUIT :Read error: Connection reset by peer < 1419453278 300035 :roasted42!~appleseed@41.48.16.53 JOIN :#esoteric < 1419453580 303217 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :`unidecode 13 < 1419453581 243751 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+FF11 FULLWIDTH DIGIT ONE] [U+FF13 FULLWIDTH DIGIT THREE] < 1419454042 688900 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 245 seconds < 1419454168 280861 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1419454728 246565 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :There are wide versions of all the latin characters. < 1419454800 515581 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :is this worse or better than allcaps? < 1419454813 736396 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :kewl < 1419454844 908082 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :!@#$%^&*()<>?:”{} < 1419454876 912525 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :\/+-=_~ < 1419455273 324152 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :does elliott get pinged if i say his name like this? < 1419455401 286384 :MDude!~fyrc@67.235.2.71 QUIT :Ping timeout: 255 seconds < 1419455427 678081 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :ヤッパリ elliott ピング シナカッタ ナ~。 < 1419455896 768548 :spiette!~spiette@2607:fad8:4:6:f2de:f1ff:fe66:77e5 QUIT :Quit: :qa! < 1419456007 517336 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :lel < 1419456133 215158 :roasted42!~appleseed@41.48.16.53 QUIT :Ping timeout: 258 seconds < 1419456147 22515 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1419456227 910934 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Have an esoteric christmas, everyone < 1419456254 867543 :roasted42!~appleseed@41.48.16.53 JOIN :#esoteric < 1419456877 820762 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :damn! 88 bytes < 1419457095 573164 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1419457176 210003 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: GG was updated really early today. < 1419457191 174635 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i know < 1419457197 223637 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i got it before going to bed < 1419457282 966478 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :now waiting for the collatz parity revelation < 1419457324 928623 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh they're both revealed today? < 1419457332 926114 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yes. < 1419457354 506878 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :i was only able to do 86 bytes of C < 1419457406 43818 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :so i want to know what sorcery they sorcered < 1419457425 688032 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :how about the IOCCC when is tha revealed? < 1419457431 314274 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Did you try calling functions without arguments, hoping the right values are already on the stack? < 1419457439 486179 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's funny, not a single character difference between our and henkma's base 37 solutions :P < 1419457457 830080 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: yes. I was surprised, henkma doesn't usually submit one-liners like that. < 1419457499 469863 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :oerjan, I wrote that too < 1419457507 329102 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :same exact length program < 1419457518 460986 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :int-e: mine involves terible abuse of ? and : < 1419457523 672352 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :i idny submit bcecause i didnt win < 1419457524 829084 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :vanila: length is easy if you're trying to compete... < 1419457552 666216 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oren: if you mean x?:y = x if x is true, that's actually documented for gcc. < 1419457559 744427 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but having the exact same choice of everything... although i guess there wasn't much choice, using m@ is sort of "standard" < 1419457578 3476 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :I used m@ too < 1419457603 71854 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :using newline instead of ; could have happened, but didn't < 1419457603 845107 :roasted42!~appleseed@41.48.16.53 QUIT :Ping timeout: 272 seconds < 1419457624 872640 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: I'm curious about henkma's solution, but obviously even more curious about tails' dc one :) < 1419457633 95682 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in theory putStr.($"\n") would have worked, but no one ever does that :P < 1419457663 554607 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: ok i'm just looking at the haskell ones usually < 1419457691 713475 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: actually I have a variant of the same length in my file: import Numeric;m@main=do n<-readLn;putStrLn$showIntAtBase 37((['0'..'9']++['a'..'z']++"A")!!)n"";m < 1419457713 164136 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah ok so do notation is the same? < 1419457717 194633 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :yes < 1419457717 376447 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yes < 1419457721 5327 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :had to be tried ;) < 1419457722 962505 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :i compared both < 1419457732 404570 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :usually it's a little longer if you don't _need_ to define a name < 1419457750 112326 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but i guess the ($ ...) section compensates < 1419457766 983662 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(because I can't do the arithmetic in my head reliably - three more there, two less there, one less there, plus/minus one :) < 1419457774 656205 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :right < 1419457781 815534 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i may have tried it too < 1419457796 84367 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :I want to win a golf < 1419457798 919126 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :but im tnot good < 1419457801 635176 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yep it's there in my file < 1419457803 837033 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :i might as well submit my best shot < 1419457833 595741 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :no one else got 86 anyway < 1419457840 560659 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: what about collatz parity, what's your best shot? < 1419457857 423860 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait hm mine is one char longer than yours < 1419457922 26942 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh i should have used !! as a section, i used it prefix and got a useless $ < 1419457947 918367 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh, henkma had a different variant of the formula, so that's where he found the extra spaces. < 1419457994 864241 :Solace!uid52684@gateway/web/irccloud.com/x-fyfdnyxeiyhvmzgg JOIN :#esoteric < 1419458004 881421 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :So I was worried for no reason at all. < 1419458010 472834 :Solace!uid52684@gateway/web/irccloud.com/x-fyfdnyxeiyhvmzgg PRIVMSG #esoteric :Help < 1419458018 629856 :Solace!uid52684@gateway/web/irccloud.com/x-fyfdnyxeiyhvmzgg PRIVMSG #esoteric :Hello* < 1419458042 7137 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :never mind my output is very slightly wrong < 1419458056 481414 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: i didn't get it below 91 < 1419458132 491890 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i assume i didn't find the actual clever trick, now to peek -> < 1419458167 88151 :Solace!uid52684@gateway/web/irccloud.com/x-fyfdnyxeiyhvmzgg PRIVMSG #esoteric :Night~ < 1419458179 543218 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that hebiyan guy is also one of those weird "golfing? what's that" guys < 1419458278 875095 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: main=putStr$[-256..256]>>=(64?);0?_="|\n";n?k|t<-mod k 2=" #"!!t:(n-1)?div(3^t*k)2 <-- I didn't think this required much cleverness. The last 2 characters were tricky though. < 1419458582 555293 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :my brain must have been off because i never realized 3^t < 1419458593 856471 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so i kept having two branches < 1419458628 365304 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: I had (2*t+1)*k at some point. < 1419458632 613579 :Lymia!~fujoshi@inportb/loli/cirno-chan QUIT :Ping timeout: 256 seconds < 1419458641 590222 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but ok, missing that explains a lot < 1419458850 122813 :Lymia!~fujoshi@108-205-143-75.lightspeed.rcsntx.sbcglobal.net JOIN :#esoteric < 1419458850 287129 :Lymia!~fujoshi@108-205-143-75.lightspeed.rcsntx.sbcglobal.net QUIT :Changing host < 1419458850 330422 :Lymia!~fujoshi@inportb/loli/cirno-chan JOIN :#esoteric < 1419458937 532580 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so easy, tails just did things modulo 2^64 ... < 1419458957 530259 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :which is wrong in the long term, but works for the first 64 bits. < 1419459052 752149 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :lol what is golf? < 1419459272 931023 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :I should rename all my files to the widechar versions < 1419459374 335680 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :why can’t i put widechars in my nick? < 1419459377 267230 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :obviously inferior, doesn't trigger myndzi |o| < 1419459377 354672 :myndzi!myndzi@kingofstackers.com PRIVMSG #esoteric :69                                            | < 1419459377 431662 :myndzi!myndzi@kingofstackers.com PRIVMSG #esoteric :69                                           /< < 1419459425 464285 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :/nick oren < 1419459449 593428 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :cos... nick chars are like... limited? < 1419459460 163268 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :why are they limited? < 1419459462 265271 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :you cannot just use random chars... < 1419459469 548334 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :cos that's what the RFC defines < 1419459488 410129 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :well you can make your own irc server < 1419459491 112811 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :and allow wide chars < 1419459491 562415 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :If you rename your files to widechar versions then it will cause a lot of problems, so you should not do that. < 1419459493 938566 :oren!~oren@nrba4-34.onlink.net NICK :{\[oren]|} < 1419459508 55296 :{\[oren]|}!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :close enough < 1419459552 979322 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh well, as long as or still expands to the right one... < 1419459577 595280 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :{ expands t < 1419459579 679526 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :{\[oren]|}, < 1419459580 423987 :{\[oren]|}!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :zzo38:it will cause problems by being hilarious < 1419460042 51919 :{\[oren]|}!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :http://ctrlv.in/478265 see,funny right? < 1419460136 208965 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :interesting, it filters your backslash < 1419460197 211190 :{\[oren]|}!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :that is just from using japanese font < 1419460223 157492 :{\[oren]|}!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :small \ is yen sign < 1419460248 89613 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i predict this will eventually be hilarious by getting you kicked hth < 1419460251 702474 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :lol < 1419460257 483038 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :for the yen sign < 1419460293 126616 :{\[oren]|}!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :new esolang: C but all characters wide < 1419460313 215422 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :what's the point of that < 1419460319 569940 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :at least if you used japanese chars... < 1419460344 603283 :{\[oren]|}!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :yeah! C with all things replaced with kanji < 1419460354 824990 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :sounds better! < 1419460362 265605 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :imagine some 'obfuscated C contest' entries in that < 1419460373 526374 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :'only kanji allowed' < 1419460383 411817 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :well, just write a bunch of macros < 1419460430 278219 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :{\[oren]|}: also change your text color to blue. then you can program in the wide blue C < 1419460454 905079 :{\[oren]|}!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :数 本(){書く(「こんにちは」);} < 1419460463 527327 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :eh < 1419460470 868792 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :hardcore < 1419460478 724444 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :LEVEL: asian < 1419460511 807157 :{\[oren]|}!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :using kanji that mean basically the right thing < 1419460526 396469 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: have you seen http://golf.shinh.org/reveal.rb?Base+37/_1418756541&cs ... it has a comment in the list initializer! < 1419460534 375205 :{\[oren]|}!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :and then use 「」 for quotes < 1419460543 15297 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :`addquote <{\[oren]|}> zzo38:it will cause problems by being hilariou < 1419460544 742801 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1228) <{\[oren]|}> zzo38:it will cause problems by being hilariou < 1419460591 527724 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :You probably also need to return a value in 本 < 1419460603 96056 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`cat bin/addquote < 1419460603 679263 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#!/bin/sh \ [ "$1" ] || exit 1 \ printf "%s\n" "$1" >>quotes \ printf "%d) %s" $(qc | cut -d' ' -f1) "$1" < 1419460614 385740 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`` tail -1 quotes < 1419460614 813395 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​<{\[oren]|}> zzo38:it will cause problems by being hilariou < 1419460626 464394 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :wide 's' missing < 1419460638 816486 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :s < 1419460644 983262 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :oops < 1419460648 758288 :{\[oren]|}!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :Jafet: oh right, unless we define 空 本 instead < 1419460653 276048 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`` sed -i -e '1228s/$/s/' quotes < 1419460654 886714 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1419460657 366673 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`` tail -1 quotes < 1419460658 838 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​<{\[oren]|}> zzo38:it will cause problems by being hilarious < 1419460659 239097 :{\[oren]|}!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :but void main is not standard < 1419460665 816076 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: now i have hth < 1419460671 112882 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :c99 does not require return in main < 1419460723 931513 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :#include \nint main() { exit(1); } should be valid. < 1419460736 416557 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :int main() {} is valid < 1419460737 859837 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :isn't exit an implied 'return' also? < 1419460754 401969 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :scoofy: not really. < 1419460756 738601 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :The exit() function never returns, it just exist. < 1419460762 352705 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :s/exist/exits/ < 1419460764 877894 :{\[oren]|}!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :in gcc exit has the no return attribute < 1419460765 132350 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :why do you pass '1' to it then < 1419460771 51001 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :if it does not 'return' anything < 1419460780 114820 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :in fact you can check the return value after you call the program < 1419460785 904764 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :normally < 1419460785 947973 :{\[oren]|}!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :it returns it to the calling contextof the shole program < 1419460790 296872 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :scoofy: It sets the program's exit code. That's not a return value. < 1419460796 175657 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :yep. to me, that's a 'return' value. < 1419460807 207364 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :after all, you can simply do main() {return 1;} // does the same < 1419460814 102047 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :It is the return value of the entire program, not of main. < 1419460815 291844 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :except you don't need #include < 1419460819 23476 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :exactly. < 1419460819 145532 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :scoofy: On the other hand, the return value of main() will be the exit code of the program. < 1419460825 51607 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :However the return value of main is used as the return value of the program. < 1419460825 138765 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :exactly. < 1419460830 582969 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :exactly. < 1419460831 642367 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :scoofy: it's a case of an A that's a B, where B is not an A. < 1419460844 511273 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :to me, that's a 'return value'. < 1419460854 127299 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :you cannot convince me otherwise :) < 1419460855 545588 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : s/exist/exits/ <-- i think i prefer it without the substitution hth < 1419460869 371233 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :scoofy: You made that clear. But it should be obvious by now that we don't agree on this. < 1419460874 740770 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :that is the value that will be in the EAX register (in case of x86) after the main() function gets called. < 1419460875 455091 :{\[oren]|}!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :so i have a program that converts unicode C to regular C, then i'll add some #defines for all the kanji < 1419460892 433156 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :so ... just to be precise, we're taling about a value in a register < 1419460896 136057 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :after a function call < 1419460904 282500 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :and whether we should call that 'return value' or 'exit value' < 1419460907 929303 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :it's just a value in a register < 1419460909 471242 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :basically < 1419460923 852627 :{\[oren]|}!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :C doesn't assume registers exist < 1419460927 131011 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :How exactly the program returns to the operating system depends on the system. < 1419460929 159653 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :scoofy: Well exit(1); does not return and still sets the exit code. < 1419460945 92743 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1419460948 147924 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :well, code after 'exit(1)' does not executed so.. yes it does return. < 1419460950 879446 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :do I have to teach scoofy out of thinking about C in terms of x86 assemly too? < 1419460953 620948 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :you cannot run C on a computer that has no registers. < 1419460957 466435 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yes you can, wtf < 1419460966 193583 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*assembly < 1419460973 275042 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :well, you can simulate a stack machine with a machine that has registers. < 1419460986 269713 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :scoofy: the only reason returning from main exits in real implementations is because it does the equivalent of exit(main(argc, argv)) < 1419460987 967473 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :and compile your C code to code for that stack machine. except, no one does that. < 1419460990 566736 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :C has a "register" command, but on computers without registers it will just act the same as if "register" is not specified. < 1419461001 575172 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :if I do f(g()) and g calls f, that's not g "returning". < 1419461002 344962 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :exactly. < 1419461007 303097 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :so it *knows* about registers. < 1419461010 713692 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Even on computers that do have registers, the optimizer might get rid of the "register" specification. < 1419461016 226712 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what < 1419461021 664931 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :If it knows a better way. < 1419461033 279888 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :well 'register' is a C keyword. isn't? < 1419461035 803011 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :iirc gcc and clang both just totally ignore the "register" declaration < 1419461036 153954 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :You can run C on a machine that runs only brainfuck < 1419461042 446944 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :scoofy: which compilers tend to ignore < 1419461044 32600 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :Jafet: proof? < 1419461045 378403 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I don't think the C standard mentions registers when defining it, though I may be wrong < 1419461049 219078 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :i mean, have you actually done it? < 1419461057 544056 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :there are multiple C->BF compilers... < 1419461062 892329 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :BF is turing complete, what more proof do you need? < 1419461067 491260 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :scoofy: in any case the only implication of that keyword is that it's illegal to take an address of that value. No more, no less. < 1419461068 291237 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :ok,. < 1419461069 656774 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :proof of what < 1419461072 290449 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :it's still a "Return value". < 1419461072 994576 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric ::) < 1419461085 505986 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :dont' change the topic, please < 1419461087 805227 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :vanila: running C in BF, I guess...? < 1419461090 706771 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :https://svn.code.sf.net/p/brainfuck/code/c2bf/trunk < 1419461096 64301 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :that's bfc < 1419461097 621948 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :not Ansi C < 1419461106 389648 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523 has an incomplete brainfuck backend for gcc < 1419461110 527323 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :i never saw an ANSI C -> BF compiler < 1419461121 840632 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :it's really hard to run C is brainfuck < 1419461123 67097 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I don't believe you actually don't believe it's possible, it's just a bunch of work nobody wants to do, why is that relevant to what Jafet said...? < 1419461128 759479 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :the speed of the code will suffer < 1419461133 342150 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :yeah, 'incomplete'. < 1419461140 847729 :{\[oren]|}!~oren@nrba4-34.onlink.net NICK :oren{[\afk|}] < 1419461141 678613 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :it's important to separate theory and practice < 1419461143 841973 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Ok, well this is pointless < 1419461148 818271 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :just because something is possible in theory doesn't mean you can actually do it < 1419461154 835202 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :e.g. it might be too difficult < 1419461166 97687 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Github also does some pretty pointless things < 1419461168 15038 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Oh well. Let's relax and enjoy https://xkcd.com/386/ ;-) < 1419461170 193653 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :“Great repository names are short and memorable. Need inspiration? How about drunken-octo-wallhack.” < 1419461208 196216 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Still it doesn't matter if the C standard mentions registers or not because computers without registers can just treated it as if it doesn't say register on it. However, it makes it known that the address is not taken, therefore if the compiler cannot figure it out by itself for some reason, it will know due to that; one thing that can be done if address is not taken, is storing in a register instead of in RAM. < 1419461223 190594 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Jafet: not short, but certainly memorable < 1419461223 325547 :oerjan!oerjan@sprocket.nvg.ntnu.no TOPIC #esoteric :The channel of returning trolls | but often spelled correctly. | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/ < 1419461229 367893 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1419461242 362041 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: that's not too bad :) < 1419461251 117671 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...i guess it's better that way. < 1419461267 606215 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :scoofy, what is your question? < 1419461290 520726 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :me? nope, no question. < 1419461293 957514 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :ok < 1419461686 880464 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :by the way, in a bash shell, you can check the return value of a program by this: < 1419461688 151995 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :echo $? < 1419461691 290877 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :yes < 1419461706 558719 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :ive used this feature in bash < 1419461707 709605 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :main() {return 42;} < 1419461717 134287 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :gcc ret.c -o ret < 1419461718 694514 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :./ret < 1419461720 660785 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :echo $? < 1419461722 157399 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :---> 42 < 1419461733 754639 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :same thing with exit(): < 1419461746 31294 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :#include < 1419461751 427940 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :main() {exit(42);} < 1419461756 13326 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :gcc ret2.c -o ret2 < 1419461757 56388 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell tswett Is there a largest ordinal number A such that the set of all ordinal numbers below A has computable arithmetic? <-- my hunch is no: whatever computation system you use, you can _always_ adjust it to handle one more level. < 1419461757 99531 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1419461757 550414 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :./ret2 < 1419461758 756212 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :echo $? < 1419461759 736817 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :---> 42 < 1419461761 206395 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :same result < 1419461780 247563 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :scoofy, that's right < 1419461807 475535 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :you can try it to confirm yourself, that the effect of 'return' and 'exit' is the same < 1419461821 85990 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :its not the same < 1419461827 251543 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :semantics. < 1419461829 379058 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :would you like to see a situation where they act differently? < 1419461833 18205 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :please. < 1419461845 813041 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :well, there's 1 different case: when you call main() yourself from the program. < 1419461852 314141 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :unless you do that - no difference. < 1419461854 995658 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :in main() < 1419461860 406656 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell tswett Now, if you change the question to "Is there a largest ordinal number A such that for each ordinal number B < A, the set of all ordinal numbers below B has computable arithmetic?" then the answer becomes "yes". < 1419461860 526272 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1419461867 706561 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :int f() { return 42; } main() { return 1+f(); } < 1419461880 802716 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :int f() { return exit(42); } main() { return 1+f(); } < 1419461885 766705 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :lol < 1419461886 839743 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :i said < 1419461888 682963 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :IN MAIN < 1419461894 823171 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :not IN ANOTHER function < 1419461901 170768 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :you're right about in main < 1419461905 638536 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :of course that will exit the program in f() < 1419461910 125218 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :yes < 1419461915 401580 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :i meant: exit() and return have the same role IN MAIN function *only*. < 1419461924 990207 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :(and, not other functions.) < 1419461926 151057 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :correct < 1419461933 191599 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :i'm glad we agree. < 1419461937 273939 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :scoofy: i don't believe anyone here disagrees with you on a matter of fact, just terminology. < 1419461946 514042 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :do you have any more questions about beginner level C? < 1419461948 126443 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :okay, just clarified that. < 1419461958 796209 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :do you have any? < 1419461962 763287 :roasted42!~appleseed@41.48.16.49 JOIN :#esoteric < 1419462044 918195 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :scoofy, you can read assembly code can't you? < 1419462050 167368 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :i can. < 1419462061 269991 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :what about comparing the assembly code for ret and ret2? < 1419462068 175688 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :they will likely be different. < 1419462072 460780 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :so what's your point? < 1419462094 743094 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :its just a learning exercise, but looks like you already understand < 1419462100 869902 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :in assembly, there are usually at least 10 ways of doing something. < 1419462127 459425 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :dude, i create virtual machines and write assemblers myself < 1419462138 755892 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :but thanks for your 'basic learning tips' < 1419462156 458766 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :oh sorry < 1419462159 965782 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :no problem < 1419462167 610750 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :i didn't realize < 1419462172 800907 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :im just a beginner at assembly < 1419462184 942715 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :it is fun! ;) < 1419462199 484454 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :yea him enjoying learning about it but its so painstakingly slow < 1419462213 239736 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :why so? < 1419462225 538101 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :im used to high level languages < 1419462231 688413 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :so asm is like building brick by brick < 1419462237 578746 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :indeed. < 1419462238 617748 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :but i want to get good at it so i can write a compiler < 1419462244 929694 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :that's a good excercise. < 1419462252 877919 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :one of the best, actually. < 1419462255 30461 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric ::D < 1419462282 287656 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :a side effect of learning assembly deeply, is that you will never look at the 'higher level' languages the same way < 1419462298 461720 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :because after writing a compiler, you will realize that everything translates to registers and operations on them < 1419462306 335151 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :yeah I know what you mean! < 1419462312 311610 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :however high level abstractions you start from < 1419462323 182758 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : Oh it's just data Ord = Zero | Succ Ord | Lim (Nat -> Ord), where the Nat -> Ord function is computable. <-- i think that's essentially the representation that was used by whoever here implemented the goodstein sequence in System F after it was pointed out this should be possible < 1419462342 3025 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think it may have been impomatic < 1419462342 918504 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :data Ord = Zero | Succ Ord | Lim (Nat -> Ord) seems awfully small < 1419462344 159435 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :what about < 1419462354 325993 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :data Ord2 = Zero2 | Succ2 Ord2 | Lim (Ord -> Ord2) < 1419462399 650563 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :vanila: possibly Ord -> Ord2 functions are hard to construct? < 1419462410 646487 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I once wrote a compiler that compiles the OASYS source format into OASYS binary format; it has no registers it is only stack base operation. < 1419462425 303365 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :So, not everything translates to registers and operations on them, due to this. < 1419462428 257791 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't really understand this representation myself, anyway < 1419462472 301653 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :oerjan, well 'Lim' means the limit of the infinite sequence of ordinals < 1419462487 378917 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :so Lim natToOrd would be omega < 1419462502 251083 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i understand that, i don't quite understand how that allows you to calculate with them. < 1419462521 724965 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it seems very non-canonical, at least < 1419462527 570522 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :I think that the only thing that really matters is doing structural recursion on them < 1419462536 450904 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :to get your induction power < 1419462551 282340 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah that would be enough for the goodstein sequence at least < 1419462643 797512 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :conways one is really good < 1419462655 518869 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :but it requires you to build everything mutually < 1419462788 787367 :roasted42!~appleseed@41.48.16.49 QUIT :Ping timeout: 264 seconds < 1419462793 525030 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :vanila: do you have a link? < 1419462804 990152 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :sorry, its in the surreal numbers book < 1419462808 802771 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah < 1419462886 974437 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : well, there's 1 different case: when you call main() yourself from the program. < 1419462887 61902 :roasted42!~appleseed@41.48.16.49 JOIN :#esoteric < 1419462889 957205 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :this is actually illegal btw < 1419462911 681613 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :elliott: legal in C, illegal in C++ iirc < 1419462919 339237 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :C allows it, really? < 1419462944 252216 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :yes < 1419462949 287411 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :okay yeah, seems so < 1419462952 662155 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :...why does C++ disallow it? < 1419462963 592512 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :something with static initialisation or constructors or whatever or the like? < 1419462965 956165 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :yeah < 1419462980 986251 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Some compilers put those into main < 1419462981 706483 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :the compiler can put static init code in main < 1419463020 897766 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :I thought _start was used for that < 1419463027 833961 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :vanila: in some ABIs it is < 1419463028 323491 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :i see recursive main() sometimes in nasty code (mostly in obfuscated C contests) < 1419463033 178555 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Calling main() should be allowed; any other initialization should go in a separate function that calls main < 1419463047 952447 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :And then the compiler can inline main if it is found to be safe to do so. < 1419463049 63888 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :https://github.com/Jafet/drunken-octo-wallhack < 1419463078 555995 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Jafet: does this do the fancy efficient stuff? < 1419463124 304882 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :It manages to run the one extant eodermdrome program < 1419463134 68869 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Also, computers are fast dude < 1419463198 972782 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ooh < 1419463218 210156 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :computers are fast but always too slow < 1419463241 858728 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :For most programs you can get a big speedup by first checking the graph nodes that changed in the previous step < 1419463252 188137 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :("most" ie. 1 out of 1 existing programs) < 1419463277 117900 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yay < 1419463311 907975 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well it _is_ designed to be deterministic, so that's obvious < 1419463444 695424 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in hindsight < 1419463606 960428 :dts|pokeball!~DTSCode@unaffiliated/dtscode QUIT :Read error: Connection reset by peer < 1419463636 271866 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@metar ENVA < 1419463636 525531 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :ENVA 242250Z 12011KT CAVOK M15/M18 Q1015 RMK WIND 670FT 15007KT < 1419463641 785199 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :eek < 1419463674 435423 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i guess it _is_ after midnight < 1419463710 174647 :dts|pokeball!~DTSCode@unaffiliated/dtscode JOIN :#esoteric < 1419463746 295892 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@metar LOWI < 1419463746 540936 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :LOWI 242320Z AUTO 24003KT 9999 NCD M03/M05 Q1025 < 1419463767 785494 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :honestly? that's cold enough. < 1419463793 268632 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :at least we have snow on the ground this year < 1419463818 466992 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION was commenting on oren{[\afk|}]'s complaints, but he seems afk < 1419464069 470066 :shikhin_!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1419464075 868878 :oren{[\afk|}]!~oren@nrba4-34.onlink.net NICK :oren < 1419464122 601978 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :oerjan: yeah, i guess one day we'll all be living under domes < 1419464152 674830 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :holy crap did I miss some discuassion of C? < 1419464192 380152 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :not every C program begins at main y'know < 1419464250 281792 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :yes it does ? < 1419464251 209467 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 244 seconds < 1419464259 988288 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oren must be a fan of free-standing implementations, or looking under the hood (dynamic linker, libc, elf format, etc) < 1419464282 522307 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :nope, on win32 it begins at WinMain() < 1419464344 312844 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1419464363 794222 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :ogh < 1419464377 680865 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :WinMain is just like the SDL_main nonsense I think < 1419464382 440973 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i.e. it's specific to doing graphical stuff < 1419464397 874381 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(you're effectively linking with a library that has a main() that calls WinMain, I think?) < 1419464401 24530 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION read that as SDL_main_nonsense for a subsecond < 1419464430 286420 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :SDL is very modular and allows you to load auxiliary nonsense. < 1419464471 872560 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :elliott: i dunno. the MSDN doesn't mention there being a main that calls WinMain < 1419464477 158408 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :elliott: I seem to recall the "pre-main" startup code does call WinMain directly. But it's all very platform-specific. < 1419464480 83012 :roasted42!~appleseed@41.48.16.49 QUIT :Ping timeout: 244 seconds < 1419464481 962627 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: right. < 1419464498 394872 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well windows has lots of opinions on what C code should look like and they are all vaguely horrific < 1419464519 150365 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Arguably, a program with an entry point called something else than "main" is not a C program at all, or at least not a hosted one. < 1419464547 663632 :roasted42!~appleseed@41.48.16.49 JOIN :#esoteric < 1419464589 984058 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :C11 5.1.2.2.1p1: "The function called at program startup is named main." (It can be defined in some implementation-defined manner even in hosted implementations, but the name's not negotiable.) < 1419464592 744054 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :bah... why is DWORD any worse than int32_t < 1419464612 108831 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :One is in the standard and the other is not. < 1419464613 4403 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: it's ~as if~ you linked to a main() that calls WinMain, good enough, right? < 1419464631 118050 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I guess you could use that cop-out. < 1419464679 730457 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Although even then you could claim what you have is just a fragment of a program, not a complete thing.) < 1419464717 955158 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :If you have a C program without main() then it is a C program that cannot start by itself. < 1419464719 92095 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :WinMain is kind of funny in that it has the command line intact in a single string. < 1419464778 262843 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :zzo38: no program in any language can do that < 1419464797 853728 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fizzie: I believe they stole that idea from DOS, which got it from CP/M ;) < 1419464861 978144 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(There's a "CommandLineToArgvvW" function in the API to deal with what GetCommandLineW returns.) < 1419464905 615523 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :basically MS thinks standard compliance is less important than backward compatibility < 1419464927 31804 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :which is, from a business point of view, the right thing < 1419464935 498240 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :If you write a console subsystem application, you get to use a regular main. < 1419464979 955317 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :https://stackoverflow.com/questions/11785157/replacing-winmain-with-main-function-in-win32-programs/11785733#11785733 < 1419465025 714246 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"hPrevInstance is always NULL." god bless america < 1419465047 837079 :scoofy!~spirit@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :thanks Obama < 1419465054 633126 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Right; "mainCRTStartup" is the entry point that calls regular main, and WinMainCRTStartup is the other one. < 1419465095 41398 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(And the mingw toolchain adds its own little peculiarities in there.) < 1419465321 90236 :contrapumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1419465338 391899 :vanila!~vanila@unaffiliated/vanila QUIT :Quit: Leaving < 1419465425 282773 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 258 seconds