< 1182904089 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :man, spanish is fucked up < 1182905348 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :mit-scheme needs to not crash when printing an infinite list < 1182905377 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :don't print infinite lists. < 1182905381 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :and don't use mit-scheme :) < 1182905400 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :print them with Common Lisp, which can handle crap like that < 1182905417 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :it has syntax for arbitrary graphs < 1182905430 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :i don't _intend_ to print an infinite list < 1182905707 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :i can't figure out the bug here < 1182905851 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Spanish is fucked up? < 1182905868 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Don't worry; I doubt < 1182905872 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :"alsastalaviaststa" is actually a real word. < 1182905931 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :And so is "antidisestablishmentarianism". < 1182905986 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :MzScheme outputs infinite lists (any sorts, not just simple circular) fine; but I don't think it _needs_ to not crash: R5RS only mandates that list? must not get confused by them, and mit-scheme (according to docs) gets that part right. < 1182906307 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I doubt it's a real word, and so is that? < 1182906780 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :Well, it's 01:09, so time for bed. < 1182906811 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Gasp! < 1182906831 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :You clearly have never heard of stimulants! < 1182906916 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Dopamine reuptake inhibitors! Dopamine releasers! MAO inhibitors! Norepinephrine reuptake inhibitors! Norepinephrine releasers! GABA antagonists! Methlyxanthines! < 1182906971 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Methylenedioxymethamphetamine might be the one that works the best because it has the longest name. < 1182907011 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :But it probably isn't. < 1182907018 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :And it's illegal. < 1182907145 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :ihope: some varieties of spanish use one pronoun for men, one for things of masculine gender and another for everything feminine (people and things alike) < 1182907200 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Interesting. < 1182907351 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :Acetylcolinesterase < 1182907364 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :one of my favorite enzymes < 1182907491 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :whoops, dropped an h < 1182907500 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :should be "Acetylcholinesterase" < 1182907562 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Naturally, Wikipedia would have a section about acetylcholinesterase in popular culture. < 1182907596 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :that's bizarre < 1182907617 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :ACTION looks for "popular culture in popular culture" < 1182907635 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Darn. < 1182907644 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :did you know that RAID functions by being an Acetylcholinesterase inhibitor? < 1182912448 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Redundant array of independent disks? < 1182912551 0 :ihope__!n=ihope@c-71-205-100-59.hsd1.mi.comcast.net JOIN :#esoteric < 1182913623 0 :ihope!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1182913831 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I'd imagine that a redundant array of independent disks could inhibit acetylcholinesterase. . . Because you can't easily erase a RAID! (cue groans) < 1182914337 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :ACTION emits the sound of crickets chirping < 1182914785 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :What, not even a groan? < 1182915108 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :I think I had one going for a bit, but it turned out to be a burp < 1182915117 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :sorry. < 1182915879 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :ihope__: or you could just go with caffiene < 1182915891 0 :ihope__!unknown@unknown.invalid PRIVMSG #esoteric :That's true. < 1182915918 0 :ihope__!unknown@unknown.invalid PRIVMSG #esoteric :You could also undergo gene therapy to give yourself fatal familial insomnia. < 1182915927 0 :ihope__!unknown@unknown.invalid PRIVMSG #esoteric :I wouldn't recommend it. Dying from lack of sleep is not fun. < 1182915928 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :cheap and legal and and easy to pronounce name and tolerable side effects < 1182915929 0 :ihope__!unknown@unknown.invalid NICK :ihope < 1182915960 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :What, "dope" isn't easy to pronounce? < 1182915967 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :It can even refer to three different drugs! < 1182916866 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :how about "weed"? < 1182916873 0 :boily!n=boily@bas2-quebec14-1128562001.dsl.bell.ca JOIN :#esoteric < 1182916882 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :then you won't care about needing sleep! < 1182916941 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :cya, guys < 1182916975 0 :RodgerTheGreat!unknown@unknown.invalid QUIT : < 1182918678 0 :ihope!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1182921459 0 :c|p!unknown@unknown.invalid QUIT :"( www.nnscript.de :: NoNameScript 4.02 :: www.XLhost.de )" < 1182926115 0 :boily!unknown@unknown.invalid QUIT :"WeeChat 0.2.5" < 1182930080 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1182931199 0 :clog!unknown@unknown.invalid QUIT :ended < 1182931200 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1182932534 0 :mtve!i=mtve@mtve.vm.jvds.com JOIN :#esoteric < 1182937766 0 :helios24!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1182938698 0 :helios24!n=helios@195.37.106.60 JOIN :#esoteric < 1182943886 0 :oerjan!unknown@unknown.invalid QUIT :"Lunchetera" < 1182946976 0 :jix!n=jix@dyndsl-091-096-036-151.ewe-ip-backbone.de JOIN :#esoteric < 1182950772 0 :jix!unknown@unknown.invalid QUIT :"This computer has gone to sleep" < 1182951294 0 :ihope__!n=ihope@c-71-205-100-59.hsd1.mi.comcast.net JOIN :#esoteric < 1182951306 0 :ihope__!unknown@unknown.invalid NICK :ihope < 1182955236 0 :pikhq!unknown@unknown.invalid QUIT :Remote closed the connection < 1182955270 0 :pikhq!n=pikhq@208-180-8-45-static-hsb.provalue.net JOIN :#esoteric < 1182955918 0 :jix!n=jix@dyndsl-091-096-036-151.ewe-ip-backbone.de JOIN :#esoteric < 1182956584 0 :andreou!i=ee4299@nemesis.ee.teiath.gr JOIN :#esoteric < 1182956588 0 :andreou!unknown@unknown.invalid PRIVMSG #esoteric :sup < 1182956805 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :remum? < 1182958794 0 :c|p!n=wil@c-68-36-94-174.hsd1.nj.comcast.net JOIN :#esoteric < 1182959058 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1182961103 0 :jix_!n=jix@dyndsl-080-228-185-252.ewe-ip-backbone.de JOIN :#esoteric < 1182961636 0 :jix!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1182961832 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric : challenge: make an esolang in which (0 can be used for quoting code and also for grouping in expressions, because those two concepts are the same thing <<< oklotalk < 1182962405 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oklotalk has [], () and {} with different meanings, but their semantics overlap, you can simulate either [] or {} with () in most cases < 1182962834 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Oklotalk? < 1182962858 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Sounds like something that needs wikiing. < 1182963225 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :my language i'm speccing up on a daily basis now < 1182963265 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :still a bit under construction, but i did make a partial parser a few days ago < 1182963296 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well, a parser that works for legal code < 1182963303 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1182963319 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :everything is legal, i mean code that's _very_ legal < 1182963999 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :ACTION tosses together a programming language that's riddled with symbols < 1182964053 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Okay, not quite riddled, yet. < 1182964068 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Only * and > so far. < 1182964094 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it could still be riddled with them. < 1182964109 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Er, those are the only ones that represent values. < 1182964134 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: aren't even brackets required to match? < 1182964214 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :nope < 1182964247 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :it's a bit complicated to explain, though very logical once you grasp it < 1182964276 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i wanted to make unmatching brackets possible because that was the only thing making pieces of code illegal < 1182964279 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :now everything is lega < 1182964282 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*leagal < 1182964284 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*elgalö < 1182964287 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*lkegak < 1182964290 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*i give up < 1182964294 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Legal? < 1182964304 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :legacy < 1182964314 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Lego < 1182964344 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Elgar < 1182964351 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Legolas < 1182964352 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Lawful! < 1182964364 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :legal << there < 1182964365 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :So how does this non-matched bracket thing work? < 1182964532 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hmm... i gotta think a bit to get it into words < 1182964554 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :which, i admit, is a sign of me not having proved it can actually work like i intended < 1182964557 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :wait a mo < 1182964573 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :ACTION ties up :, = and ; < 1182964598 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :F! "morning!" < 1182964598 0 :falsebot!unknown@unknown.invalid PRIVMSG #esoteric :morning! < 1182964628 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :My goal for my little language is to be able to express proofs that two expressions are equivalent. < 1182964669 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I think that means first-order logic is necessary. < 1182964673 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :not particularly possible in the general case < 1182964694 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :No? < 1182964714 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Is there a proof that no formal system of proof can express all proofs of equivalence? < 1182964730 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Rather, no set of axioms? < 1182964732 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :isn't that goedel? < 1182964739 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I dunno. Probably :-P < 1182964752 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :goedel is about proving theorems < 1182964752 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I'll ask in #math. < 1182964764 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :which is the same as proving that a statement is equivalent to True < 1182964799 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :so, sorry :) < 1182965068 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :from the wiki: "Most programming languages do allow for arbitrary effects at arbitrary points. In the imperative paradigm, for example, all this really means is that there is no restriction on the order that instructions are specified to be executed in." < 1182965072 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :what the hell does that mean? < 1182965509 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Luckily, all the equivalence-of-expressions I want is the fact that it's impossible to produce a type error by applying a function to an argument. < 1182965622 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :oh, that's different < 1182965625 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :well < 1182965643 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :goedel's theorem is for systems complex enough to express arithmetic < 1182965653 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :if your type system is complex enough to express arithmetic, you're fucked < 1182965662 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :but it probably isn't < 1182965686 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Type system complex enough to express arithmetic... < 1182965707 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Does the fact that types can contain any value help? < 1182965863 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1182965866 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i got it ready < 1182965880 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i'll up it, see if you find any sense in it < 1182965951 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :http://www.vjn.fi/pb/p213111455.txt < 1182965960 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :also tell me if that has a bug or smth < 1182966054 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :"by the type by the opening bracket." < 1182966056 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1182966194 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :http://www.vjn.fi/pb/p312111331.txt < 1182966199 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :better i guess < 1182966718 0 :andreou!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1182968128 0 :sebbu!n=sebbu@ADijon-152-1-24-49.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1182969505 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: ok i think it make sense except that you have reversed low/high precedence. < 1182969531 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(from their usual meaning) < 1182970414 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hmm... indeed i have < 1182970418 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :didn't think that through < 1182970546 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :okay, i didn't not think that through, i really tried putting them in the more sensible order :) < 1182970547 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :http://www.vjn.fi/pb/p564212545.txt < 1182970552 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :like thut < 1182971188 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I suddenly want to write a parser for it. < 1182971202 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Could be an interesting challenge. :-) < 1182971210 0 :RodgerTheGreat!n=Rodger@wads-5-232-125.resnet.mtu.edu JOIN :#esoteric < 1182971224 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :'afternoon, everyone < 1182971317 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ihope: i can tell you the tokenizing rules < 1182971328 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :and you can do it all. < 1182971346 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I could! < 1182971347 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :also, okenization is an important part of parsing oklotalk < 1182971357 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :that has simple rules as well < 1182971384 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :okenization is my term for "whuz applied to what" < 1182971423 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :like, 5 + 4 is (+ 5 4), while 5 3 4 is ´(5 3 4) < 1182971441 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :the parenthesis ones being lisp of course < 1182971465 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Acute accent? < 1182971475 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :? < 1182971481 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :´ < 1182971485 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yes, quote < 1182971494 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :the thing _you_ were talking about some time ago < 1182971495 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :It looks like neither ` nor '. < 1182971504 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :it's neither. < 1182971505 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :` < 1182971515 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Is it ASCII? < 1182971518 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :but doesn't matter, lisp has just one ' < 1182971520 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :` is ascii < 1182971524 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1182971528 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :what oklopol had was not ascii < 1182971531 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1182971532 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1182971544 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :it's like ` but going the other way < 1182971557 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :really isn't? damn :\ < 1182971570 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :it's an important part of oklotalk tokenization :) < 1182971580 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :`, ' and that are used in oklotalk? < 1182971585 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :i'm not a fan of langs that require the use of characters i can't even type < 1182971594 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :´, ` and ' < 1182971612 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Hmm... < 1182971620 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :lament: the key you do ` with, doesn't it give you ´? < 1182971630 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :it does on all my keyboards < 1182971644 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :and it's not used in finnish so i don't think that's the reason < 1182971645 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :All your keyboards have ´ under ~? < 1182971659 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :they have a special button for ´ < 1182971662 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: ` with no shift, ~ with shift < 1182971668 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1182971669 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric ::\ < 1182971677 0 :pikhq!unknown@unknown.invalid QUIT :Remote closed the connection < 1182971685 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :damn < 1182971693 0 :pikhq!n=pikhq@208-180-8-45-static-hsb.provalue.net JOIN :#esoteric < 1182971704 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well, don't care, the choise of characters is not important < 1182971723 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Do you know if there are any ASCII characters you're not using? < 1182971732 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :(Is there a rough oklotalk spec anywhere?) < 1182971739 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ihope: that was just the bracket rules, there are other ways to change scoping :) < 1182971745 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :haskell-like $ for one < 1182971777 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I know that without much specification, I can't give much feedback. < 1182971777 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ihope: on my comp, but it's partly outdated and too long for me to quickly fix it now < 1182971784 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1182971786 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :trues < 1182971821 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Well, a parser can be written even if you have no idea what the result is supposed to do. < 1182971842 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i could make a parsing spec, indeed < 1182971850 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I could write up a parser in Haskell. < 1182971898 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i'll make one now, i'll make a python parser for it, but you prolly get it finished before me < 1182971914 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :shouldn't be that hard < 1182971929 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Of course, it's probably best to make the whole interpreter/compiler in one language. < 1182971943 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1182971965 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hmm... < 1182971972 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :wonder if i could make anything in haskell < 1182971981 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :no. You're not smart enough. < 1182971983 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I wonder if I could make anything in Python... < 1182971985 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :made a thue interpreter... my first and only haskell program :DD < 1182972001 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Python is similar enough to Haskell that I could do it, I believe. < 1182972016 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :lament: my thoughts exactly, it's just i've surprised myself a few times < 1182972023 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :It might look totally un-Python, though. :-) < 1182972052 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :python is nice, i just don't like the fact it has no scoping really < 1182972069 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :No scoping? < 1182972072 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well okay it has, but it like sucks ass < 1182972114 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :if you have a function inside another function, the inner function does not have access to the outer one < 1182972137 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: now, you said Finnish? < 1182972141 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :err < 1182972146 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :what i said was in finnish? < 1182972161 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1182972164 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :You mentioned Finnish keyboards, or something. < 1182972167 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1182972169 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :indeed i did < 1182972175 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1182972176 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: it's not a problem in practice. < 1182972190 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :we have umlaut where you have ` < 1182972196 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :lament: for me it is < 1182972222 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :because i'm stupid, probably < 1182972242 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :inner functions are unpythonic < 1182972250 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Do you speak Finnish, then? < 1182972295 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :(Should I just ask if English isn't your first language and point out your error? :-P) < 1182972331 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :point point < 1182972363 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :it's not my first language < 1182972381 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :is english anybody's first language? < 1182972397 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :lament: yours? < 1182972397 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :It's mine. :-) < 1182972402 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1182972422 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hmm... actually i might be wrong about you being american < 1182972424 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :ihope: poor guy < 1182972426 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :(lament) < 1182972430 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :ihope: do you speak any other languages? < 1182972435 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :ihope: not for lambda calculus < 1182972442 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I'm learning Spanish and have looked at Japanese. < 1182972451 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :which means not for any turing complete language < 1182972451 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :bsmntbombdood: what about lambda calculus? < 1182972452 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ihope: will you tell me my error? < 1182972463 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :the nice thing about NOT having english as your first language < 1182972467 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :is that you're gonna learn english anyway < 1182972473 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :so you will know two languages < 1182972480 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :ihope: proofs of equivilence < 1182972503 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: you said that Python had no scoping, then you said "okay, it has". That should be "okay, it does", since "has" isn't an auxiliary verb here. < 1182972523 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :wow < 1182972534 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :1/100 would have niticed < 1182972535 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :(Isn't it wonderful how many things in English require auxiliary verbs?) < 1182972536 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*noticed < 1182972539 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1182972549 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :perhaps 100% of americans < 1182972559 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric ::-) < 1182972565 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :it's easy to see for natives, probably < 1182972566 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :ihope: i don't think your explanation is correct < 1182972575 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :With auxiliary verbs? < 1182972612 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :ihope: or rather, you say "has" isn't an auxilary verb, but you don't explain why there should be an auxilary verb there. < 1182972626 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ihope: the reason that happened was i was actually going to write how it has and what, but couldn't phrase it well enough < 1182972669 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :lament: same reason we need to say "Did you eat lunch yet?" rather than "Ate you lunch yet"? < 1182972696 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :ihope: no, it's not the same reason. < 1182972708 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :ihope: In that sentence you need the auxilary verb because that's how you form questions. < 1182972725 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I can't say "that's the way it is" for this, too? < 1182972730 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :oklopol's statement wasn't a question. < 1182972744 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it's because the verb itself is stressed, not? < 1182972761 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :you can't understand it, you have to feel it < 1182972773 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :oh, i'm pretty sure you can understand it. < 1182972778 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :english auxiliaries are fucked up < 1182972782 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ihope: can you use too in a negative sentence like that? < 1182972786 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :'too' < 1182972792 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: no, he can't. < 1182972795 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :cool < 1182972799 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ihope: i POWNED ya < 1182972810 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :WTF are can, could, should, would, etc anyway? < 1182972825 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: ITYM "PWNED" < 1182972831 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :SimonRC: ...verbs? < 1182972838 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :"I know this is true. Are you saying that this isn't true too?" < 1182972851 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :ihope: s/too/either < 1182972853 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :"as well"? < 1182972857 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :ihope: "too" is ungrammatical < 1182972876 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i'd say "either" would be even more wrong. < 1182972889 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :lament: they sometimes don't work like verbs < 1182972896 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :and they don't compose properly < 1182972902 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :SimonRC: then think of them as mood markers < 1182972902 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :lament: if the first sentence were "I know this isn't true", then it'd be either, but isn't it "too" when you say that it is true? < 1182972917 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ihope: or perhaps "as well"? < 1182972925 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :That also works. < 1182972940 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i'd say "too" doesn't, but i guess you make the language. < 1182972944 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :ihope: are you parsing it as "are you saying that [this isn't true] too?" < 1182972962 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :ihope: i'm parsing it as "are you saying that this [isn't true too]" which is ungrammatical < 1182972964 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Are you saying that [this isn't true too]? < 1182972977 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Hmm... < 1182973007 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :seems 'too' can only be applied to positive statements < 1182973021 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :john has an apple and i have one too < 1182973022 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :"Too", as far as I know, is used whenever some *other* statement is positive. < 1182973028 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :john doesn't have any apples and i don't have any either < 1182973042 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :John has an apple but I don't have one too. < 1182973052 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :ungrammatical < 1182973062 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :i'm very sure that's ungrammatical < 1182973105 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I guess I'm thinking of "to have one too" as a form of "to have one" that's used when someone else has one, and then I'm just negating it. < 1182973107 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :grammatical: john has an apple but i don't have one. < 1182973109 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i'd say that latter one is right < 1182973121 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :ACTION shrugs < 1182973175 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :you can only use 'too' when both statements agree with each other < 1182973181 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :too indicates the agreement between them < 1182973185 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :you can't understand it < 1182973189 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :john has it, i have it too < 1182973203 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :same with either, but for negative statements < 1182973225 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :"john has an apple but i don't have one too" is wrong because it feels wrong < 1182973229 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :if one is positive and the other is negative, then there's no agreement, so you can't use "too" nor "either" < 1182973364 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Now, I think we were on about Python and Haskell and such. < 1182973380 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Python, Haskell, parsers, specs... < 1182973426 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Division of labor... < 1182973447 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :But not Keynesianism. < 1182973453 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :yeah, yeah, you suck at english and that's all there is to it :) < 1182973487 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Yes, isn't it wonderful? < 1182973488 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :it's raining outside, i wanna go there < 1182973494 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :lol America: # God hates the world // and all her people #, by the same people that brought you God Hates Fags http://my.break.com/media/view.aspx?ContentID=278059 < 1182973679 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :by the way, it was a 30 minute job learning a deck of cards in order < 1182973692 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :and the pianist failed pretty bad < 1182973716 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Sounds like absurdist humor. < 1182973724 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Or is that surrealist humor? < 1182973728 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric ::-P < 1182973739 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :what me? < 1182973750 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Yup. < 1182973760 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i used to sing that piece in choir <3 < 1182973765 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :the original one < 1182973767 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :<3? < 1182973768 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric ::DD < 1182973776 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i'm high on caffeine again < 1182973782 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I see. < 1182973804 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Don't worry. If you do that often enough, you'll develop resistance to it. < 1182973813 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Unfortunately, resistance comes with addition. < 1182973874 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :And by addition, I mean addiction. < 1182973880 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :mandatory to attain choir since i was on a music class < 1182973885 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1182973909 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ihope: i won't get resistant since the high is psychological < 1182973937 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Oh? < 1182973958 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :what? < 1182973993 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :AFAICT it's real < 1182974018 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :what the hell is a "psychological high"? < 1182974027 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :"psychological addiction" i can understand < 1182974028 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :If only that were true for the L-Dopa administered to catatonic patients... < 1182974037 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :"psychological high", not really < 1182974060 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :since caffeine obviously has physiological effects < 1182974079 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :unless you're drinking decaf coffee and your high is from the placebo effect < 1182974094 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Death is considered a physiological effect, right? < 1182974099 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i can get pretty high without any substance. < 1182974117 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :ACTION ponders the phrase "your highness" < 1182974149 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :it's true caffeine has physiological effects, but it's highifying effect is minimal < 1182974177 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i just get so excited from the fact it's my favorite poison i'm drinking i sometimes get a bit carried away < 1182974223 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Now, are you doing anything in the way of an oklotalk spec? < 1182974239 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: huh/ you memorised the order of a pack of cards? < 1182974284 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1182974298 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ihope: trying, but people keep on talking :P < 1182974338 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :lament: can you please kickban oklopol so that that spec will get written? < 1182974340 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric ::-P < 1182974353 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :nooo < 1182974354 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1182974365 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :ACTION grabs the whip < 1182974368 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Get to work! < 1182974406 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: how? < 1182974461 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :SimonRC: http://www.torrentz.com/87dbcdab1a1734730dad25b1fdaf4caf9edd4a06 < 1182974473 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :trivial < 1182974767 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1182974770 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :is § ascii? < 1182974786 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :that's also a pretty crucial char :) < 1182974801 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :no. < 1182974869 0 :kwertii!n=kwertii@c-24-5-40-52.hsd1.ca.comcast.net JOIN :#esoteric < 1182974880 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1182974904 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :¤, i guess, isn't either? < 1182974962 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i've never seen a keyboard without these keys and don't know the ascii table by heart... i guess i should travel more and remember more < 1182974978 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :s/keys/characters < 1182975011 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :¤ isn't ASCII, no. < 1182975049 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Alphanumerics and `~!@#$%^&*()_+-={}|[]\:";'<>?,./ < 1182975102 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Does your keyboard have all of ASCII? < 1182975107 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :okily, then i have to change my whole operator set or just have it not be ascii < 1182975115 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ihope: all those yes < 1182975121 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :and a lot more < 1182975123 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ªŋ®þjþ←jœš®→↓ħj€ħjµª€ħ < 1182975144 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :That's... many. < 1182975157 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :those were random, not all < 1182975173 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Indeed, there certainly were duplicates. < 1182975189 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yeah, there's about twice that < 1182975195 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :much < 1182975235 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: I don't care enough to download all that < 1182975262 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :one pdf? < 1182975284 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well, it's a lot more if you don't do torrents of course < 1182975292 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :anyway, that's a book i read. < 1182975297 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :(half of it) < 1182975300 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :(sofar) < 1182975487 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :heh, 50000 steps to solve "world's hardest sudoku" with brute force < 1182975508 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :841258 steps to solve a random sudoku i solved by hand in 10 minutes < 1182975534 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric ::-) < 1182975546 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I take it you're using some sort of program to do that. < 1182975553 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1182975575 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :no, no, it's a trick from that book... < 1182975591 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :(Also, people really don't know what they're missing with, say, 9x9 sudokus.) < 1182975607 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :(...Okay, they probably know that they're missing large headaches.) < 1182975612 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :i know what i'm missing _without_ sudokus < 1182975618 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :basically nothing :) < 1182975655 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Hmm... by "with" I apparently meant "in". < 1182975659 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Or something like that. < 1182975704 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :16x16 sudokus can be bruted as well < 1182975723 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :however, even the easiest 25x25 will take forever... never managed to finish one < 1182975731 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :run the program for days. < 1182975733 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*ran < 1182975754 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Try implementing... um, some certain algorithm. < 1182975828 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :http://www.vjn.fi/pb/p553546433.txt < 1182975831 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :that was hard < 1182975849 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i have an algorithm that generalized sudokus... also solves the checkers problem < 1182975856 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Say, have you tried brute-forcing http://en.wikipedia.org/wiki/Image:Sudoku_puzzle_hard_for_brute_force.jpg? < 1182975863 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :that i made one night because i was bored < 1182975888 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Dancing Links is the algorithm I mean. < 1182975944 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :looks like wikipedia is mostly down < 1182975971 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Works for me. < 1182975991 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :dancing links? < 1182975997 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Yup. < 1182975998 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hmm... didn't brute yet < 1182976114 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hmm, i'm not gonna try and understand that... i'm pretty sure it's the same i invented myself < 1182976120 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :what else could it be < 1182976147 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :What's probably the same as you invented yourself? < 1182976180 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :dancing links < 1182976192 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i mean, pretty much the same, prolly a bit better < 1182976218 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :it would take me an hour to understand how it works < 1182976265 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Well, Dancing Links is pretty efficient from what I can tell. < 1182976294 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :most likely it is. < 1182976322 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :if you like, explain it to me in layman's terms < 1182976327 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :the gist of it < 1182976341 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I currently don't know the gist of it any better than you do :-) < 1182976376 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I know that it's a modified version of an algorithm that involves a few steps. < 1182976386 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :(As opposed to those algorithms that don't require any steps at all.) < 1182976450 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :those ones are always fun < 1182976465 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1182976469 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :no steps? < 1182976486 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Dancing Links probably also involves steps. < 1182976495 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i don't understand the thing it says there about doubly linked lists. < 1182976504 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :With the arrows? < 1182976508 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :arrows? < 1182976509 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1182976513 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i thought they were - < 1182976515 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Well, it says to read the article on Algorithm X first. < 1182976535 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :heh, i guess i shouldn't have assumed _i_ don't need to read it < 1182976547 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :esoteric - "i so erect" < 1182976557 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :esoteric - "core site" < 1182976559 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1182976565 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :esoteric - ie corset < 1182976587 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :esoteric - ice store < 1182976595 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :i like core site < 1182976657 0 :lament!unknown@unknown.invalid TOPIC #esoteric :The core site for esoteric programming language design and deployment - map: http://www.frappr.com/esolang - forum: http://esolangs.org/forum/ - EgoBot: !help - wiki: http://esolangs.org/wiki/ - logs: http://tunes.org/~nef/logs/esoteric/ or http://www.ircbrowse.com/cdates.html?channel=esoteric - Pastebin: http://pastebin.ca/ - Here be cannibals. (bsmntbombdood has been eaten.) < 1182976812 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :lament: did you do that manually? < 1182976885 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hardest word to anagramize i know is "niklas nordmann", unfortunately i've only searched finnish ones < 1182976906 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :prolly easy in english < 1182976915 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hmm... or not < 1182977048 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :huh? < 1182977165 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Internet Anagram Server = I, Rearrangement Servant < 1182977167 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I think. < 1182977186 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Nice way to advertise :-) < 1182977662 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :mmmmm coffee < 1182977665 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :delicious delicious < 1182977669 0 :sp3tt!unknown@unknown.invalid PRIVMSG #esoteric :coffeeeeeeee < 1182977677 0 :sp3tt!unknown@unknown.invalid PRIVMSG #esoteric :needs moar coffee < 1182978725 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ihope: would you have wanted a bnf? < 1182978754 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i wrote something... never shown a spec to anyone, don't know if this one makes any sense :P < 1182978854 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :http://vjn.fi/mb/index.php < 1182978859 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :try loading oklotalkspec < 1182978875 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :(that bin has never been tried and is under construction, sorry :P) < 1182978881 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :"oklotalkspec" < 1182978948 0 :oerjan!unknown@unknown.invalid QUIT :"'ishop" < 1182979299 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :wikihow is funny < 1182979406 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :"how to boil water" < 1182979418 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :cool < 1182979426 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i've always wanted to learn that < 1182979919 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :guess i'll go outside, be back in a few hours < 1182979925 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :around 2 am < 1182980130 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: oh, it's not really that important. < 1182980139 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :what? < 1182980155 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :bnf? < 1182980495 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Yeah. < 1182980504 0 :jix_!unknown@unknown.invalid QUIT :"CommandQ" < 1182980513 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Backslash makes a decimal number, you say? How does that work? < 1182980535 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :(Wait, I'm doing this in Haskell. Um... that won't result in any deaths, will it?) < 1182980635 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :And what should I do with unmatched comment markers? < 1182980799 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :And I don't get the scope splitting stuff. < 1182981086 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :ACTION recalls his first cookery lesson at school. < 1182981146 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Cookery? < 1182981244 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1182981259 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :we made beans on toast as the first lesson < 1182981277 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :ACTION recalls the time he made a pizza with a whole block of edam on it < 1182981373 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :edam? < 1182981613 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :Or rather, Edam. < 1182981667 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :Edam (Dutch Edammer) is a Dutch cheese that is traditionally sold as spheres with pale yellow interior and a coat of paraffin. < 1182981696 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :yes, I know < 1182982683 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :poop plane!! < 1182982719 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Did somebody say poop plane? < 1182982844 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :i think so < 1182983200 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :bsmntbombdood: WTF < 1182983263 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :yes, indeed < 1182983451 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :btw omitting aux. verbs seems to be a somewhat common feature of informal english < 1182983550 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :("you think so?") < 1182984032 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Hmm, indeed. < 1182984077 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Or is that omitting the first word of a sentence because it's not that important? < 1182984661 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :looks like omitting the aux. verb specifically < 1182987275 0 :falsebot!unknown@unknown.invalid QUIT :Remote closed the connection < 1182987312 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :nooo < 1182987604 0 :sebbu!unknown@unknown.invalid QUIT :"@+" < 1182988196 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :ACTION wrote a lisp with first order macros < 1182988199 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :http://paste.lisp.org/display/43574 < 1182988266 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :implementation of the OR macro: http://paste.lisp.org/display/43573