< 1200183353 0 :oklopol_!n=ville@194.251.103.33 JOIN :#esoteric < 1200185496 0 :jix!n=jix@dyndsl-080-228-182-020.ewe-ip-backbone.de JOIN :#esoteric < 1200187425 0 :RodgerTheGreat!n=Rodger@71.238.189.137 JOIN :#esoteric < 1200187572 0 :jix!unknown@unknown.invalid QUIT :"CommandQ" < 1200187578 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :so, what's everyone up to tonight < 1200187607 0 :oklopol_!unknown@unknown.invalid PRIVMSG #esoteric :chillin' < 1200187609 0 :Jontte!unknown@unknown.invalid QUIT :"Konversation terminated!" < 1200187615 0 :oklopol_!unknown@unknown.invalid PRIVMSG #esoteric :like every night < 1200187770 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :ACTION wants to write a theorem prover that uses unification but doesn't know how to :S < 1200187797 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Unification? < 1200187830 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Like figuring out the type of ab given the types of a and b? < 1200187843 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :1 sec < 1200187892 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :given two formulas e1, e2 and a logic.. any substitution ø for the free variables in e1 and e2 such that øe1 = øe2 is a unifier < 1200187919 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Sounds like it. < 1200187930 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :it sounds a good idea but I have no idea how ot do this :D < 1200187941 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :What gives you the idea? < 1200188034 0 :oklopol_!unknown@unknown.invalid PRIVMSG #esoteric :how does this prove a theorem? < 1200188047 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :oklopol.. that's what I don't know < 1200188050 0 :oklopol_!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1200188070 0 :oklopol_!unknown@unknown.invalid PRIVMSG #esoteric :do you know it does prove a theorem, or did you just make a guess? < 1200188080 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :I think someone said it can be used to < 1200188162 0 :oklopol!unknown@unknown.invalid QUIT :"for the need to encumber" < 1200188171 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I guess I'd convert to a logic where you have a couple simple axioms and modus ponens as the one rule of inference. < 1200188279 0 :oklopol_!unknown@unknown.invalid PRIVMSG #esoteric :yeah, you've always been a bit of an oddball < 1200188289 0 :oklopol_!unknown@unknown.invalid NICK :oklofok < 1200188295 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Make a -> b, a |- b your rule of inference and (a -> b -> c) -> (a -> b) -> a -> c, a -> b -> a, F -> a and ((a -> b) -> a) -> a your axioms? < 1200188370 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1200188376 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :does F -> a have to be an axiom? < 1200188392 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :How else are you going to represent falsehood? < 1200188394 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :I thought there was some way to prove it < 1200188396 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :oh.. I see < 1200188606 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Also, I have this odd feeling that the Rubik's cube, the Rush Hour puzzle, and knots are all instances of the same general concept. < 1200188729 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :can you link those if you have them open < 1200188735 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :it's so hard opening a browser < 1200188743 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :I can see Rubik's and Rush Hour < 1200188820 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :I was thinking about how I'd go about solving a Rubik's cube from a naive standpoint once, and I started by making a data structure that represents the cube. It's like 6 circularly linked lists that share edges < 1200188877 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :Rubik's and Rush hour are both about making a series of moves to make specific changes in a pattern, and then reversing most of those moves so that only the desired changes remain < 1200188906 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Ah, good way of putting it. < 1200188954 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I guess it's not knots so much as braids. Braids form a simple noncommutative group, so the braid a * b * c * d * c' * b' * a' might... be something. < 1200189028 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :umm... of course they're about taking a sequence of complex permutations and finding compound permutations that are simpler so you can find the solution < 1200189041 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i assumed a deeper similarity < 1200189096 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I guess it's not all that deep. They're noncommutative groups. < 1200189987 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Now all we have to do is prove all noncommutative groups isomorphic! >:-) < 1200190001 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Er, countably infinite ones. < 1200190030 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Or at least find a countably infinite group that all other countable groups are subgroups of. < 1200190176 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :erm... I don't see how that would be useful < 1200190241 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :and besides, an infinite set that contained all countably infinite sets with a given property would by definition be countably infinite itself < 1200190284 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :I am quite familiar with the meaning of countably infinite. < 1200190355 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :An infinite set containing all countably infinite sets with a given property is countably infinite? < 1200190378 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :One real number can be expressed as a countably infinite set; therefore, the set of real numbers is countably infinite. < 1200190397 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :wait, wait, wait < 1200190431 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :I question the logic of that assertion < 1200190449 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :The assertion that the set of real numbers is countably infinite? < 1200190475 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Or your assertion? < 1200190484 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :I'm thinking. < 1200190586 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :alright, the flaw in my reasoning above was that I *ASSUMED* that "all countably infinite sets with a given property" is itself a countably infinite group- that's circular reasoning, or at best a tautology. < 1200192404 0 :ihope!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1200192513 0 :calamari!n=calamari@ip24-255-58-134.tc.ph.cox.net JOIN :#esoteric < 1200193365 0 :RodgerTheGreat!unknown@unknown.invalid QUIT : < 1200195139 0 :Corun!unknown@unknown.invalid QUIT :"This computer has gone to sleep" < 1200195337 0 :pikhq!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1200195556 0 :pikhq!n=pikhq@209.248.124.243 JOIN :#esoteric < 1200196596 0 :GreaseMonkey!n=saru@219-89-40-70.dialup.xtra.co.nz JOIN :#esoteric < 1200197419 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :'night < 1200208971 0 :calamari!unknown@unknown.invalid QUIT :"Leaving" < 1200211199 0 :clog!unknown@unknown.invalid QUIT :ended < 1200211200 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1200215143 0 :GreaseMonkey!unknown@unknown.invalid QUIT :"Hi Im a qit msg virus. Pls rplce ur old qit msg wit tis 1 & hlp me tk ovr th wrld of IRC. Man who run behind car get exhausted" < 1200218686 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1200220332 0 :oerjan!unknown@unknown.invalid QUIT :"leaving" < 1200220990 0 :slereah_!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1200222970 0 :jix!n=jix@dyndsl-080-228-182-020.ewe-ip-backbone.de JOIN :#esoteric < 1200225307 0 :Corun!n=Corun@halls-129-31-72-183.hor.ic.ac.uk JOIN :#esoteric < 1200226968 0 :Slereah!n=slereah@ANantes-252-1-8-117.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1200228802 0 :Jontte!n=joonas@dsl-hkibras1-ff0ac300-216.dhcp.inet.fi JOIN :#esoteric < 1200229461 0 :RedDak!n=dak@host115-86-dynamic.6-87-r.retail.telecomitalia.it JOIN :#esoteric < 1200231470 0 :ihope!n=ihope@c-71-205-100-59.hsd1.mi.comcast.net JOIN :#esoteric < 1200232163 0 :Corun_!n=Corun@halls-129-31-72-183.hor.ic.ac.uk JOIN :#esoteric < 1200232241 0 :Corun!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1200232671 0 :Corun_!unknown@unknown.invalid QUIT :"This computer has gone to sleep" < 1200233260 0 :timotiis!n=timotiis@jfkew.plus.com JOIN :#esoteric < 1200233636 0 :ihope!unknown@unknown.invalid QUIT :"ChatZilla 0.9.79 [Firefox 2.0.0.11/2007112718]" < 1200235866 0 :RedDak!unknown@unknown.invalid QUIT :Remote closed the connection < 1200236385 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :What would be a simple way to avoid the input combinator in mah lazy language getting redistributed through the code before it's evaluated? < 1200236494 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :redistributed? < 1200236503 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :like multiplied all around the code < 1200236540 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :if so, it's trivial < 1200236541 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :is it so? < 1200236548 0 :jix!unknown@unknown.invalid QUIT :"CommandQ" < 1200236565 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, for instance, if there's ```sAB_, I'll end up with ``A_`B_ < 1200236583 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :and _ is the input oper? < 1200236586 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Yes. < 1200236590 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :function < 1200236597 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :okay... well, one possibility is this < 1200236605 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :each time you evaluate an input function < 1200236609 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :it reads the input byte < 1200236613 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I didn't think of it first, but then I ended up with demands of input during all the program's execution. < 1200236619 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :and stores what that was < 1200236642 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :sorry, lag. < 1200236643 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :okay < 1200236660 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :actually, my scheme doesn't work < 1200236662 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :forget about it < 1200236677 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I was thinking maybe using the delta sort-of combinator. < 1200236690 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :why should it not be redistributed? < 1200236717 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, for instance, suppose I have a program C and some input. < 1200236744 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I'd like to have just one input i so that it's `Ci < 1200236777 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :But since it's lazy, the input operator might be evaluated multiple times, or at wrong places. < 1200236820 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Which is pretty much what happened with my print-n-times-*-and-decrease-n program < 1200236888 0 :jix!n=jix@dyndsl-080-228-182-020.ewe-ip-backbone.de JOIN :#esoteric < 1200237085 0 :Corun!n=Corun@halls-129-31-72-183.hor.ic.ac.uk JOIN :#esoteric < 1200237262 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It was (^x^y (print it n times if n>0 else terminate)y (xx pred(y))) (^x^y (print it n times if n>0 else terminate)y (xx pred(y))) IIRC. < 1200237298 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :So the _ was distributed at least twice. < 1200237428 0 :Slereah!unknown@unknown.invalid NICK :slereah_ < 1200238194 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :why, you need the m combinator, of course! < 1200238204 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :for that input problem < 1200238216 0 :jix!unknown@unknown.invalid QUIT :Nick collision from services. < 1200238218 0 :jix__!n=jix@dyndsl-080-228-181-246.ewe-ip-backbone.de JOIN :#esoteric < 1200238397 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :slereah_: you could have an x-combinator, or the strict combinator < 1200238406 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :whose only purpose is to evaluate a input! < 1200238407 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :*-a < 1200238437 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :ACTION has a lot of great ideas < 1200238788 0 :jix__!unknown@unknown.invalid QUIT :Nick collision from services. < 1200238794 0 :jix!n=jix@dyndsl-085-016-176-245.ewe-ip-backbone.de JOIN :#esoteric < 1200238831 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :oklofok: : I was trying pretty hard to avoid an anti-d operator < 1200238850 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Which would make it BIZARRO UNLAMBDA < 1200238904 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :well, there's always the possibility of just making the m combinator < 1200238995 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :ACTION waits for someone to ask what it is, so he can tell the punchline < 1200239005 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :and don't you start guessing! < 1200239093 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :rush hour is a different game from what i recalled, btw, the game i thought of had a much more obvious connection to rubik's cubes < 1200239131 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :not that either of the people in the conversation were here. < 1200239262 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Well, I already have an m combinator :( < 1200239276 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :oh... < 1200239279 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :what's that? < 1200239305 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :it's kinda obvious what i meant, a monad combinator that is! < 1200239393 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :I once had the wiki page on monad open, but never read it! < 1200239408 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :The only monads I know of are the 0 dimensional topological objects. < 1200239425 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :My m combinator is the Mockingbird one. < 1200239434 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :`ma conv. `aa < 1200239439 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :It's quite useful < 1200239493 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :oh, sii < 1200239517 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :fun guy to chat with, if you like yourself < 1200239566 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Well, I do like myself. < 1200239625 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :they say that's a good thing < 1200239638 0 :oklofok!unknown@unknown.invalid NICK :oklofop < 1200239682 0 :oklofop!unknown@unknown.invalid PRIVMSG #esoteric :oerjan should come in and tell us how a monad combinator should behave (although it would probably not be a combinator) < 1200239745 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :One of my idea was to use the delta dude, the one that can make the difference between two lambda expressions (considered the same if they only differ by an alpha conversion) < 1200239788 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Like maybe a test such as (delta _) C, to return k or `ki if C is or isn't _ < 1200239794 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :And work from there. < 1200239886 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :ACTION wikis for monads < 1200240663 0 :oklofop!unknown@unknown.invalid PRIVMSG #esoteric :monads are a simple concept that is impossible to explain in any way. < 1200240673 0 :oklofop!unknown@unknown.invalid PRIVMSG #esoteric :no way in the world < 1200240674 0 :oklofop!unknown@unknown.invalid PRIVMSG #esoteric :period. < 1200240727 0 :oklofop!unknown@unknown.invalid PRIVMSG #esoteric :oh, right, i was supposed to go -> < 1200240728 0 :oklofop!unknown@unknown.invalid PRIVMSG #esoteric :cya < 1200241077 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Bai < 1200242535 0 :tesseracter!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1200248128 0 :slereah_!unknown@unknown.invalid NICK :Slereah < 1200248408 0 :cherez!unknown@unknown.invalid QUIT :"Leaving." < 1200249838 0 :faxlore!unknown@unknown.invalid QUIT :"If there are any aliens, time travellers or espers here, come join me!" < 1200252411 0 :GreaseMonkey!n=saru@219-89-40-70.dialup.xtra.co.nz JOIN :#esoteric < 1200254295 0 :Slereah!unknown@unknown.invalid NICK :slereah_ < 1200257231 0 :RedDak!n=dak@host115-86-dynamic.6-87-r.retail.telecomitalia.it JOIN :#esoteric < 1200258317 0 :bsmntbombdood!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1200258341 0 :bsmntbombdood!n=gavin@75-166-178-76.hlrn.qwest.net JOIN :#esoteric < 1200259824 0 :jix!unknown@unknown.invalid QUIT :"CommandQ" < 1200260869 0 :oklopol_!n=ville@194.251.103.33 JOIN :#esoteric < 1200261054 0 :oklofop!unknown@unknown.invalid QUIT :"for the need to encumber" < 1200261062 0 :oklopol_!unknown@unknown.invalid NICK :oklopol < 1200261436 0 :RedDak!unknown@unknown.invalid QUIT :Remote closed the connection < 1200262027 0 :RodgerTheGreat!n=Rodger@wads-5-233-27.resnet.mtu.edu JOIN :#esoteric < 1200262035 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :howdy, folks < 1200262094 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hies < 1200262107 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :hey, oklopol < 1200262144 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :heiß < 1200262151 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :took a while to find that < 1200262157 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :was on "b" < 1200262164 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :yeah, it kinda makes sense < 1200262181 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well, it's "sz" < 1200262186 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :option+S = ß for me, which makes more sense < 1200262189 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :but indeed, it does look like a b < 1200262190 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :"ss" in german < 1200262196 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :it's actually a Beta < 1200262208 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yeah, but they say "es tset" < 1200262227 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well, indeed, it's the same char as beta < 1200262230 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :never realized xD < 1200262252 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :that's the name of the symbol in german, not the sound < 1200262271 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i know i know, just explained why i said "sz" instead the "ss" < 1200262277 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :Groß <-> Gross, depending on your spelling convention < 1200262311 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :you know german? < 1200262312 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :vie viel? < 1200262314 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*wie < 1200262317 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :lol, i fail :) < 1200262327 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :Nicht so viel < 1200262338 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :verstehst du aber? < 1200262353 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :Iche lerne Deutsch im Schule für drei jahre. < 1200262380 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ich hab deutsch in der schule seit drei jahren gelernt, i think < 1200262403 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :Und ja, ich verstehe. < 1200262414 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :"ich denke" < 1200262441 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ich bin viel besser grammar zu bessern, als selbst was sprechen... < 1200262459 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :mostly been learning grammar < 1200262465 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i have no idea about vocabulary :D < 1200262467 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :yeah, that is most of it < 1200262479 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :what is most of what, though? < 1200262494 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :the nice thing is that german grammar is close enough to english that people will be able to understand what you mean even if you screw up a little < 1200262515 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :vocabulary is most of learning the language, in my opinion < 1200262517 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :heh, finnish is closer in many aspects though :) < 1200262525 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yeah, think so too. < 1200262531 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :spelling is much more consistent than english, so that part isn't too bad < 1200262544 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hmm? < 1200262545 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :and for simple sentences, the grammar is almost exactly like English. < 1200262556 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :spelling is more consistent in english than german? < 1200262601 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well, for simple sentences, every language is pretty much the same ;) < 1200262611 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :what aspect of grammar you mean? < 1200262634 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :As the germans would say, Wortstellung. < 1200262637 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :Word order < 1200262647 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oh, that's much closer in finnish than german. < 1200262660 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :that's the one thing germans have that's weird in their grammar < 1200262678 0 :immibis!n=immibis@125-236-169-77.broadband-telecom.global-gateway.net.nz JOIN :#esoteric < 1200262688 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :if you'd learn, say, swedish, you'd see it's almost exactly the same < 1200262700 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :as is NORWEGIAN < 1200262708 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i love highlighting oerjan. < 1200262852 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i think i'll go to sleep early today, you keep the sails up and head for north < 1200262854 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :-> < 1200264380 0 :Jontte!unknown@unknown.invalid QUIT :"Konversation terminated!" < 1200265757 0 :timotiis!unknown@unknown.invalid QUIT :"leaving" < 1200268778 0 :lament!unknown@unknown.invalid QUIT :Remote closed the connection < 1200268787 0 :lament!n=lament@S010600110999ad06.vc.shawcable.net JOIN :#esoteric