< 1273450042 0 :FireFly!unknown@unknown.invalid QUIT :Quit: null < 1273450218 0 :Oranjer!unknown@unknown.invalid PART #esoteric :? < 1273451105 0 :lament!~lament@S0106002312fa554a.vc.shawcable.net JOIN :#esoteric < 1273451432 0 :coppro!~coppro@unaffiliated/coppro JOIN :#esoteric < 1273452239 0 :coppro!unknown@unknown.invalid TOPIC #esoteric :Je peux utiliser une langue étrangère aussi. | xn--v8jad0f7b6z4eoa6v0hk534a7hlwhnnl8s. | http://tunes.org/~nef/logs/esoteric/?C=M;O=D < 1273452256 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :oh no < 1273452259 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :capitulate! < 1273452593 0 :Gregor-L!unknown@unknown.invalid PRIVMSG #esoteric :What, in public? PERVERT. < 1273452914 0 :uorygl!~Warrigal@rrcs-70-63-156-144.midsouth.biz.rr.com JOIN :#esoteric < 1273453083 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :'night < 1273453087 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i don't see why we should capitulate for french when we've already had japanese up there < 1273453126 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Still is there. < 1273453127 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :It's just punycoded now. < 1273453178 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1273453217 0 :pikhq!unknown@unknown.invalid TOPIC #esoteric :Esperanto ankaŭ! | Je peux utiliser une langue étrangère aussi. | xn--v8jad0f7b6z4eoa6v0hk534a7hlwhnnl8s. | http://tunes.org/~nef/logs/esoteric/?C=M;O=D < 1273453325 0 :lament!unknown@unknown.invalid TOPIC #esoteric :Esperanto is still bannable! | Je peux utiliser une langue étrangère aussi. | xn--v8jad0f7b6z4eoa6v0hk534a7hlwhnnl8s. | http://tunes.org/~nef/logs/esoteric/?C=M;O=D < 1273453868 0 :EgoBot!unknown@unknown.invalid QUIT :Remote host closed the connection < 1273453868 0 :HackEgo!unknown@unknown.invalid QUIT :Remote host closed the connection < 1273453871 0 :EgoBot!~EgoBot@codu.xen.prgmr.com JOIN :#esoteric < 1273453872 0 :HackEgo!~HackEgo@codu.xen.prgmr.com JOIN :#esoteric < 1273454195 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :日本語も良いか。 < 1273454342 0 :lament!unknown@unknown.invalid QUIT :Ping timeout: 264 seconds < 1273455003 0 :Gregor-L!unknown@unknown.invalid QUIT :Ping timeout: 252 seconds < 1273455018 0 :Gregor-L!~Gregor@75-151-73-57-Spokane.hfc.comcastbusiness.net JOIN :#esoteric < 1273455409 0 :Tritonio_GR!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1273457446 0 :zzo38!~zzo38@h24-207-48-53.dlt.dccnet.com JOIN :#esoteric < 1273457666 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon: If you are thinking to make roguelike what one? < 1273457690 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :I just meant a text rpg type thing < 1273457706 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :I'm not actually going to make it anyway < 1273457749 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon: OK. But have you played my two short roguelikes? (If you want to modify them afterward, that's OK, too) < 1273457754 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :s/short/small/ < 1273457776 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :no, but is it possible for me to? I am on mac os < 1273457825 0 :lament!~lament@S0106002312fa554a.vc.shawcable.net JOIN :#esoteric < 1273457883 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon: They are both DOS programs, but you could try either using a DOS emulator or compiling them using FreeBASIC. < 1273457892 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :oh cool < 1273457994 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon: http://zzo38computer.cjb.net/GAMES/100level.zip http://zzo38computer.cjb.net/GAMES/RL/KING.ZIP < 1273458007 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :thanks < 1273458018 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :I'm downloading an emulator now < 1273458207 0 :Oranjer!~HP_Admini@adsl-34-17-217.cae.bellsouth.net JOIN :#esoteric < 1273458228 0 :sshc!unknown@unknown.invalid QUIT :Ping timeout: 248 seconds < 1273458310 0 :sshc!~sshc@unaffiliated/sshc JOIN :#esoteric < 1273458620 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :I am playing KING now ;) < 1273458621 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1273458668 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Do you like this game? Do you have question/comment? < 1273458684 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :I am just reading the controls now < 1273458783 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Good. KING game tells you the controls (there are two ways, either using the letter keys or the numpad keys). By contrast, 100LEVEL game does not tell you the controls and does not tell you many other things, either, so you have to figure it out by trying different things. < 1273458988 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :I went down stairs < 1273459021 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Do you mean in the game? < 1273459026 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1273459109 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :I got 4 out of 50 for 990 turns and died < 1273459282 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Ah, well. These kind of games you will often lose early playing the first few times until you learn it better. < 1273459285 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Did you try the other game? < 1273459289 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1273459307 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :im playing KING again because that one was too difficult < 1273459312 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :OK < 1273459390 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I can, however, answer some of your questions about 100LEVEL game so that you may learn it better. (Hint: The easiest game is probably difficulty level "VERY EASY" and mode "TURNS") < 1273459420 0 :augur!~augur@c-68-54-80-152.hsd1.md.comcast.net JOIN :#esoteric < 1273459450 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I am going to water the tomato for a minute, just wait < 1273459460 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :>_> < 1273459464 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :hehe < 1273459485 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :with anyone other than zzo38 i would have thought was a euphemism < 1273459496 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :then again, maybe it is < 1273459512 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :*+that < 1273459552 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :or maybe it is literal _and_ a euphemism. but we don't want to think about that. < 1273459561 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :oh I am doing a lot betting at KING second time < 1273459631 0 :Gregor-L!unknown@unknown.invalid PRIVMSG #esoteric :http://sibeli.us/ GO PLAY A COMPETING GAME lawl < 1273460005 0 :sshc!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1273460046 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I am back < 1273460059 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: It is literally what I meant. < 1273460066 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :good, good. < 1273460094 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon: Yes you probably go get better the second time, this is what happens at this game. < 1273460100 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION knows tomatoes need a lot of water < 1273460128 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :zzo38 what about that sokoban style game you made? does that only run on windows < 1273460140 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :I mean can it run on DOS < 1273460153 0 :sshc!~sshc@unaffiliated/sshc JOIN :#esoteric < 1273460346 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :http://www.dosgamesarchive.com/images/screenshots/small/rogue1.gif that is scary < 1273460488 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon: Which game do you mean? < 1273460503 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :I think it is the most recent one you've written < 1273460523 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :it had sprites on a grid < 1273460534 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :This one? http://zzo38computer.cjb.net/GAMES/meskilb.png < 1273460543 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1273460551 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :I am wondering if I can play that? < 1273460561 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Windows only, although if you can figure out how to make the .GMD compile for other operating systems, you can try. < 1273460574 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :oh okay < 1273460578 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :so it wont run on DOS < 1273460578 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Later on I might also write that game (or something similar) using C and SDL, possibly. < 1273460616 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I do have other games that will run on DOS, however. I also have some that are cross-platform (so they should run natively on Mac OS X) < 1273460695 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :For example, I have written some MegaZeux games. MegaZeux is available for many operating systems (including Nintendo DS, even). < 1273460934 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Part I of the "Super ASCII MZX Town" series is available at: http://zzo38computer.cjb.net/mzx1/ASCMZXTO/ASCMZXTO.ZIP You will need MegaZeux to run it. You can get it from the official site at http://vault.digitalmzx.net/show.php?id=1676 or you can compile my modified version from http://zzo38computer.cjb.net/mzx1/mzx_extended/ < 1273460952 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :My version has a lot of improvements, however Part I does not require it. Part II, however, does require to use my forked version of MegaZeux. < 1273460968 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :But Part II is not finished being written yet anyways. < 1273461007 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :You can even make your own games with MegaZeux, if you want to. < 1273461057 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :does it run on DOS < 1273461096 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Oh, alise left? :( < 1273461106 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon: It runs natively on Mac OS X. < 1273461149 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :It also runs natively on many other operating systems as well. < 1273461177 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :It is freaking hard finding a good CJK font. < 1273461212 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: What format of fonts are you looking for? < 1273461221 0 :Gregor-L!unknown@unknown.invalid PRIVMSG #esoteric :Bitmap < 1273461232 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :TTF. < 1273461275 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :If you have Windows, Arial Unicode MS might do. (Or, if you need Japanese only, MS Gothic will do.) < 1273461280 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I have gotten a decent Japanese font, but it freaking sucks for any Chinese that's not in use in Japanese. Which comes up a lot in my English Wikipedia browsing, and it's freaking jarring. < 1273461291 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :MS Gothic? MURDER. < 1273461298 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :That. Font. Sucks. Giant. Donkey. Cock. < 1273461304 0 :Gregor-L!unknown@unknown.invalid PRIVMSG #esoteric :Hey now. < 1273461313 0 :Gregor-L!unknown@unknown.invalid PRIVMSG #esoteric :Don't go impuning people who suck giant donkey cock. < 1273461317 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: You are right about that. It does not work well for Chinese (it works only a little bit) < 1273461319 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Gregor-L: It's not even antialiased. < 1273461322 0 :Gregor-L!unknown@unknown.invalid PRIVMSG #esoteric :*impugning < 1273461322 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :The word 'Giant' was completely unecessary < 1273461329 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :MS Mincho is another one if you prefer that style. < 1273461332 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: It sucks for Japanese. < 1273461335 0 :Gregor-L!unknown@unknown.invalid PRIVMSG #esoteric :As coppro can attest, all donkey cock is giant. < 1273461338 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :As does MS Mincho. < 1273461342 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Yes, it does have some Japanese things missing too. < 1273461354 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I'm currently using TakaoMincho and TakaoGothic. < 1273461355 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :But it seems to work for most Japanese things! < 1273461364 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Is Takao good? < 1273461374 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :For Japanese, *exceptionally*. < 1273461393 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :OK < 1273461430 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :For Chinese, I'm trying to find something for this thing to fall back on that doesn't end up having more antialiasing artifacts than actual text. < 1273461594 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Available in both Mincho *and* Gothic. Well, it's Chinese, so Ming and heiti. < 1273461651 0 :Gregor-L!unknown@unknown.invalid PRIVMSG #esoteric :Here's my solution: SPEAK AMERICAN < 1273461657 0 :Gregor-L!unknown@unknown.invalid PRIVMSG #esoteric :ACTION takes a bow. < 1273461660 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Currently, god knows why, this ends up using (and I am not making this up), a regular script font. *shudder* < 1273461733 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Gregor-L: OK, then. 私 shall 話 米語, but 私 wo無 使 normal 正書y. < 1273461738 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :>:D < 1273461793 0 :Gregor-L!unknown@unknown.invalid PRIVMSG #esoteric :"but no use I wo positive normal form y" *brain axplote*. You put in only the untranslatable grammatical words from Japanese. Impressive. < 1273461868 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I could've put more in, but I've not bothered learning the Chinese equivalents for grammatical words. < 1273461869 0 :trap15!~xdevman@99-50-202-199.lightspeed.sndgca.sbcglobal.net JOIN :#esoteric < 1273461879 0 :trap15!unknown@unknown.invalid PRIVMSG #esoteric :oh shit, awesome channel is awesome < 1273461898 0 :Gregor-L!unknown@unknown.invalid PRIVMSG #esoteric :Believe it or not, that's the most on-topic thing that's been said in this channel in months. < 1273461900 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Gregor-L: BTW, "OK, then. I shall speak American, but I won't use normal orthography." < 1273461913 0 :Gregor-L!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: I seeeeeeee. < 1273461922 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Mmm, calqueing. < 1273461952 0 :Gregor-L!unknown@unknown.invalid TOPIC #esoteric :Howsabout we put "esoteric programming languages" SOMEWHERE in the topic? | Esperanto is still bannable! | Je peux utiliser une langue trangre aussi. | xn--v8jad0f7b6z4eoa6v0hk534a7hlwhnnl8s. | http://tunes.org/~nef/logs/esoteric/?C=M;O=D < 1273462072 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Cxu vi parolas Esperanton? < 1273462199 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :cxu vi volas banigxi? < 1273462276 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :ACTION forgot what the -igxi suffix means < 1273462280 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :CJK fonts seem to be obsessed with having awful bitmap versions for small font sizes... < 1273462311 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :It really doesn't help. < 1273462455 0 :Gregor-L!unknown@unknown.invalid PRIVMSG #esoteric :ACTION forgot why anybody would speak Esper-LAMO HAW HAW I'M TWELVE < 1273462466 0 :trap15!unknown@unknown.invalid PRIVMSG #esoteric :esperanto sux < 1273462492 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :esperanto is great, IF YOU WANNA GET BANNED < 1273462498 0 :trap15!unknown@unknown.invalid PRIVMSG #esoteric :esoteric programming languages > esoteric spoken languages < 1273462541 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Why is Esperanto bad? < 1273462575 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :because of the consequences of speaking it < 1273462605 0 :Gregor-L!unknown@unknown.invalid PRIVMSG #esoteric :ACTION <3 lament < 1273462611 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Sometimes it is hard to draw kanji in small size, but kana should not be difficult to draw in small size < 1273462704 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Mi malbone parolas Esperanton. < 1273462708 0 :augur!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds < 1273462745 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Esperanton parolas malbone mi. < 1273462748 0 :comex!unknown@unknown.invalid NICK :chpwn < 1273462806 0 :trap15!unknown@unknown.invalid PART #esoteric :? < 1273462817 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :"WenQuanYi Zen Hei" is both sans-serif and not crap. < 1273462823 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I am pleased. < 1273463025 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :OK < 1273463539 0 :Gregor-L!unknown@unknown.invalid PRIVMSG #esoteric :Sans-serif? What does it even mean for a Chinese font to have serifs??? *brain axplote* < 1273463657 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Gregor-L: That's called a "mincho" font. < 1273463684 0 :Gregor-L!unknown@unknown.invalid PRIVMSG #esoteric :Well thank you, that relabeling has answered ALL of my, err, question. < 1273463716 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I'll find a picture. < 1273463742 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :http://upload.wikimedia.org/wikipedia/en/b/b3/Chinese_fonts_juhuasample_type.PNG < 1273463764 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Serif, sans-serif, regular script. < 1273463765 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :(from top to bottom) < 1273464100 0 :zzo38!unknown@unknown.invalid QUIT :Remote host closed the connection < 1273464205 0 :soupdragon!unknown@unknown.invalid QUIT :Quit: soupdragon < 1273464260 0 :Gregor-L!unknown@unknown.invalid PRIVMSG #esoteric :Damn idiographs. < 1273465548 0 :Akamaru!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds < 1273465981 0 :augur!~augur@c-68-54-80-152.hsd1.md.comcast.net JOIN :#esoteric < 1273466235 0 :augur!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds < 1273466697 0 :cheater2!unknown@unknown.invalid QUIT :Ping timeout: 246 seconds < 1273468295 0 :augur!~augur@c-68-54-80-152.hsd1.md.comcast.net JOIN :#esoteric < 1273468520 0 :Gracenotes!~person@wikipedia/Gracenotes JOIN :#esoteric < 1273468635 0 :augur!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds < 1273469671 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ACTION gets very annoyed when seeing an unsupported glyph < 1273469687 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Thus, I now have a hieroglyphs font. < 1273469701 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Even though I am not likely to ever write Egyptian. < 1273469705 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :just get Unifont < 1273469716 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :it's a bad fallback font, but at least it exists < 1273469731 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Unifont doesn't support everything. < 1273469748 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Oh, sure, it supports the BMP, but there's much outside of the BMP. < 1273469752 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :For instance, Unifont has no support for Klingon. < 1273469807 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Or hieroglyphs. < 1273469880 0 :Alex3012_!~chatzilla@ool-18b989d3.dyn.optonline.net JOIN :#esoteric < 1273469959 0 :Sgeo!unknown@unknown.invalid QUIT :Read error: Operation timed out < 1273470925 0 :Sgeo!~Sgeo@ool-18bf618a.dyn.optonline.net JOIN :#esoteric < 1273470942 0 :oerjan!unknown@unknown.invalid QUIT :Quit: leaving < 1273471423 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :if anyone ever has the guts to undertake a massive restructuring of the internet, it should be called The Inter2bes Project < 1273471458 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :HELP ME, I'M ADDICTED TO D.ANDROID.COM < 1273471490 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :okay. < 1273471496 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :switch to your browser < 1273471499 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :and press Alt-F4 < 1273471502 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :then uninstall your browser < 1273471517 0 :augur!~augur@216-164-33-76.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1273471654 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :I should really be doing homework right now... < 1273471863 0 :kar8nga!~kar8nga@jol13-1-82-66-176-74.fbx.proxad.net JOIN :#esoteric < 1273472562 0 :Terminus1!~terminus@c-76-121-69-12.hsd1.wa.comcast.net JOIN :#esoteric < 1273472802 0 :Sgeo!unknown@unknown.invalid QUIT :Remote host closed the connection < 1273473456 0 :FireyFly!~firefly@unaffiliated/firefly JOIN :#esoteric < 1273474155 0 :Terminus1!unknown@unknown.invalid PART #esoteric :? < 1273474240 0 :Gracenotes!unknown@unknown.invalid QUIT :Quit: Leaving < 1273474698 0 :Gracenotes!~person@wikipedia/Gracenotes JOIN :#esoteric < 1273475310 0 :tombom!tombom@wikipedia/Tombomp JOIN :#esoteric < 1273475362 0 :Oranjer!unknown@unknown.invalid PART #esoteric :? < 1273475694 0 :lament!unknown@unknown.invalid QUIT :Ping timeout: 252 seconds < 1273475697 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1273475949 0 :lament!~lament@S0106002312fa554a.vc.shawcable.net JOIN :#esoteric < 1273477848 0 :tombom!unknown@unknown.invalid QUIT :Quit: Leaving < 1273477980 0 :FireyFly!unknown@unknown.invalid QUIT :Quit: null < 1273478091 0 :aox!unknown@unknown.invalid PART #esoteric :? < 1273478399 0 :clog!unknown@unknown.invalid QUIT :ended < 1273478400 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1273479075 0 :lament!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds < 1273479580 0 :lament!~lament@S0106002312fa554a.vc.shawcable.net JOIN :#esoteric < 1273481306 0 :lament!unknown@unknown.invalid QUIT :Ping timeout: 245 seconds < 1273482328 0 :Tritonio_GR!~Tritonio@ix.ceid.upatras.gr JOIN :#esoteric < 1273482557 0 :kar8nga!unknown@unknown.invalid QUIT :Remote host closed the connection < 1273482747 0 :augur!unknown@unknown.invalid QUIT :Remote host closed the connection < 1273484363 0 :aox!~Agent@203.109.165.173 JOIN :#esoteric < 1273484504 0 :aox!unknown@unknown.invalid PART #esoteric :? < 1273484558 0 :oerjan!unknown@unknown.invalid QUIT :Quit: Good night < 1273485531 0 :mre!~Agent@203.109.165.173 JOIN :#esoteric < 1273485767 0 :aox!~Agent@203.109.165.173 JOIN :#esoteric < 1273485887 0 :mre_!~Agent@203.109.165.173 JOIN :#esoteric < 1273485914 0 :mre!unknown@unknown.invalid QUIT :Ping timeout: 264 seconds < 1273486051 0 :aox!unknown@unknown.invalid QUIT :Ping timeout: 276 seconds < 1273486119 0 :aox!~Agent@203.109.165.173 JOIN :#esoteric < 1273486234 0 :mre!~Agent@203.109.165.173 JOIN :#esoteric < 1273486257 0 :mre!unknown@unknown.invalid PART #esoteric :? < 1273486294 0 :mre_!unknown@unknown.invalid QUIT :Ping timeout: 276 seconds < 1273486368 0 :aox!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds < 1273486418 0 :augur!~augur@216-164-33-76.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1273486505 0 :lereah_!~lereah@nanpc301.in2p3.fr JOIN :#esoteric < 1273487641 0 :adu!~ajr@pool-173-66-16-26.washdc.fios.verizon.net JOIN :#esoteric < 1273487721 0 :nooga!unknown@unknown.invalid QUIT :Quit: Lost terminal < 1273489464 0 :hiato!~fdulu@41-132-16-47.dsl.mweb.co.za JOIN :#esoteric < 1273492293 0 :cheater2!~cheater@ip-80-226-240-17.vodafone-net.de JOIN :#esoteric < 1273494686 0 :MizardX!~MizardX@unaffiliated/mizardx JOIN :#esoteric < 1273494732 0 :hiato!unknown@unknown.invalid QUIT :Quit: underflow < 1273495693 0 :hiato!~fdulu@41-132-16-47.dsl.mweb.co.za JOIN :#esoteric < 1273496811 0 :FireFly!~firefly@unaffiliated/firefly JOIN :#esoteric < 1273498826 0 :Alex3012_!unknown@unknown.invalid QUIT :Remote host closed the connection < 1273501626 0 :BeholdMyGlory!~behold@unaffiliated/beholdmyglory JOIN :#esoteric < 1273502220 0 :Gregor-L!unknown@unknown.invalid QUIT :Quit: Leaving < 1273503631 0 :lereah_!unknown@unknown.invalid QUIT :Remote host closed the connection < 1273505161 0 :adu!unknown@unknown.invalid QUIT :Quit: adu < 1273505783 0 :coppro!unknown@unknown.invalid QUIT :Quit: I am leaving. You are about to explode. < 1273506022 0 :soupdragon!~quantum@unaffiliated/fax JOIN :#esoteric < 1273506240 0 :chpwn!unknown@unknown.invalid NICK :comex < 1273506309 0 :Tritonio_GR!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1273507046 0 :Gracenotes!unknown@unknown.invalid QUIT :Ping timeout: 264 seconds < 1273507479 0 :uorygl!unknown@unknown.invalid QUIT :Ping timeout: 246 seconds < 1273508885 0 :Phantom_Hoover!~chatzilla@cpc3-sgyl21-0-0-cust116.sgyl.cable.virginmedia.com JOIN :#esoteric < 1273508907 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :My computer has very possibly /the/ stupidest button ever. < 1273508933 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :When pressed, it stops the touchpad working, as far as I can tell at the hardware level. < 1273509427 0 :lament!~lament@S0106002312fa554a.vc.shawcable.net JOIN :#esoteric < 1273510337 0 :lament!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds < 1273512683 0 :cheater2!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1273512766 0 :cheater2!~cheater@ip-80-226-240-17.vodafone-net.de JOIN :#esoteric < 1273514117 0 :hiato!unknown@unknown.invalid QUIT :Quit: underflow < 1273514746 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :My *god* fonts look better with proper hinting. < 1273514766 0 :augur!unknown@unknown.invalid QUIT :Ping timeout: 246 seconds < 1273514772 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1273514773 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :("proper" meaning "mmm, patent violating BCI hinting, rather than the autohinter") < 1273515222 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : My computer has very possibly /the/ stupidest button ever. <-- very useful < 1273515240 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover, for example you may want to avoid touching it by mistake while typing < 1273515241 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :For what? < 1273515247 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Oh, sorry. < 1273515259 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :I forgot to mention that /I can't turn it off/. < 1273515268 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :and if you like me prefer the trackpoint... < 1273515274 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :rather than the touchpad < 1273515282 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :I don't have one. < 1273515324 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :...then it would be very useful if only lenovo didn't make it also disable the buttons for clicking with trackpoint (between keyboard and touchpad, there are additional touchpad buttons below the touchpad) < 1273515335 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :the trackpoint itself works still < 1273515634 0 :tombom!~tombom@wikipedia/Tombomp JOIN :#esoteric < 1273515775 0 :bsmntbombdood!~gavin@97-118-202-110.hlrn.qwest.net JOIN :#esoteric < 1273516605 0 :cheater2!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1273516789 0 :cheater2!~cheater@ip-80-226-240-17.vodafone-net.de JOIN :#esoteric < 1273517127 0 :cheater2!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1273517177 0 :cheater2!~cheater@ip-80-226-240-17.vodafone-net.de JOIN :#esoteric < 1273517218 0 :kar8nga!~kar8nga@jol13-1-82-66-176-74.fbx.proxad.net JOIN :#esoteric < 1273517227 0 :oerjan!unknown@unknown.invalid QUIT :Quit: Later < 1273518045 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :What is the algorithm for evaluation in the lambda calculus? < 1273518081 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Which lambda calculus? < 1273518089 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Untyped? < 1273518093 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :That one. < 1273518146 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :what do you even mean? just beta reduce in a while loop < 1273518165 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Should just be beta-reduction, yeah. < 1273518168 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :While what? < 1273518201 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :While true? < 1273518222 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :While !some-exit-condition? < 1273518407 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :while !contains-free-vars < 1273518409 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :? < 1273518414 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :That's all I came up with, < 1273518428 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :do you know what beta reduction is? < 1273518429 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :While *doesn't* contain free vars? < 1273518441 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Why, that's the exact opposite of what you want! < 1273518450 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Wait, yes. < 1273518456 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :ACTION facepalms < 1273518480 0 :Phantom_Hoover!unknown@unknown.invalid QUIT :Quit: ChatZilla 0.9.86 [Firefox 3.6.3/20100423140709] < 1273518486 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Erm. No, wait... < 1273518492 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Apparently he's not going to. < 1273518569 0 :Phantom_Hoover!~chatzilla@cpc3-sgyl21-0-0-cust116.sgyl.cable.virginmedia.com JOIN :#esoteric < 1273518778 0 :pikhq!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1273519045 0 :pikhq!~pikhq@75-106-123-198.cust.wildblue.net JOIN :#esoteric < 1273519260 0 :Alex3012_!~chatzilla@ool-18b989d3.dyn.optonline.net JOIN :#esoteric < 1273519286 0 :SimonLR!~hawaii@d24-235-199-148.home1.cgocable.net JOIN :#esoteric < 1273519291 0 :SimonLR!unknown@unknown.invalid PART #esoteric :? < 1273519417 0 :Alex3012!unknown@unknown.invalid QUIT :Ping timeout: 265 seconds < 1273519418 0 :Alex3012_!unknown@unknown.invalid NICK :Alex3012 < 1273520088 0 :cheater2!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1273520124 0 :cheater2!~cheater@ip-80-226-240-17.vodafone-net.de JOIN :#esoteric < 1273520132 0 :hiato!~fdulu@41-132-16-47.dsl.mweb.co.za JOIN :#esoteric < 1273520642 0 :Tritonio_GR!~Tritonio@150.140.229.33 JOIN :#esoteric < 1273521338 0 :jcp!~jw@bzflag/contributor/javawizard2539 JOIN :#esoteric < 1273524407 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hm, writing up faux wikipedia entries (not posting them on wikipedia of course) for various typos on IRC can be quite fun. < 1273524850 0 :aox!~Agent@203.109.165.173 JOIN :#esoteric < 1273524891 0 :aox!unknown@unknown.invalid PART #esoteric :? < 1273525100 0 :Geekthras!unknown@unknown.invalid QUIT :Ping timeout: 260 seconds < 1273525412 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :GAH. < 1273525462 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Why is it so damned hard to set up font substitution rules? < 1273525751 0 :uorygl!~Warrigal@rrcs-70-63-156-144.midsouth.biz.rr.com JOIN :#esoteric < 1273525866 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ACTION would *especially* love to be able to find out what font is being used to display a particular glyph. Why is this so hard? < 1273526155 0 :Oranjer!~HP_Admini@adsl-34-17-217.cae.bellsouth.net JOIN :#esoteric < 1273526646 0 :augur!~augur@129-2-175-79.wireless.umd.edu JOIN :#esoteric < 1273526912 0 :augur!unknown@unknown.invalid QUIT :Ping timeout: 260 seconds < 1273527081 0 :augur!~augur@129-2-175-79.wireless.umd.edu JOIN :#esoteric < 1273528040 0 :SgeoN1!~AndChat@137.125.187.135 JOIN :#esoteric < 1273528172 0 :SgeoN1!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1273528220 0 :SgeoN1!~AndChat@137.125.187.135 JOIN :#esoteric < 1273528439 0 :coppro!~coppro@unaffiliated/coppro JOIN :#esoteric < 1273528883 0 :aschueler!~alec@host86-142-138-45.range86-142.btcentralplus.com JOIN :#esoteric < 1273529049 0 :SgeoN1!unknown@unknown.invalid QUIT :Ping timeout: 258 seconds < 1273529342 0 :Gracenotes!~person@wikipedia/Gracenotes JOIN :#esoteric < 1273529402 0 :kar8nga!unknown@unknown.invalid QUIT :Remote host closed the connection < 1273531863 0 :Gracenotes!unknown@unknown.invalid QUIT :Remote host closed the connection < 1273532366 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1273532499 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: there are several rules for how and how long to evaluate lambda calculus expressions, dependent on how you want. < 1273532510 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :*what you want < 1273532557 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :beta-reduction as pikhq mentioned is one of the reductions, there is also eta-reduction which is sometimes useful. these are about _how_ to reduce a subterm. < 1273532637 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :however then there is the question of strict or lazy reduction, whether aim for a full normal, or just a head-normal form. < 1273532756 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :with head-normal and lazy reduction you never reduce b in a b alone, you just reduce a first and _if_ that results in a \var -> something, then you use beta on the whole < 1273532787 0 :Phantom_Hoover!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds < 1273532789 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :with fully normal reduction, once a has been reduced you continue reducing b if they don't apply < 1273532796 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :dammit < 1273532804 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :*if beta reduction doesn't apply < 1273532821 0 :tombom!unknown@unknown.invalid QUIT :Quit: Leaving < 1273532855 0 :hiato!unknown@unknown.invalid QUIT :Quit: underflow < 1273532879 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oh and there's something about weakly or strongly too, i think that is about whether to reduce _inside_ \x -> ... < 1273532933 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :goddammit google, couldn't you drop some of that new fancy stuff and be _quicker_ instead < 1273532943 0 :aschueler!unknown@unknown.invalid QUIT :Quit: leaving < 1273532988 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :haskell's lazy reduction is to weak head normal form - basically it only reduces a and never inside \x -> ... < 1273533072 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :with _strict_ reduction you reduce b _before_ trying beta-reduction on a b, with lazy reduction you try beta reduction first (and reducing b probably never) < 1273533193 0 :BeholdMyGlory!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1273533232 0 :FireFly!unknown@unknown.invalid QUIT :Quit: null < 1273533291 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ML's (ocaml or SML) reduction is strict < 1273533354 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(for the lambda calculus parts) < 1273533411 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :and it has been remarked that haskell's seq operator makes eta reduction inconsistent with the language < 1273533436 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :because you can distinguish \x -> undefined from undefined with (\x -> undefined) `seq` whatever < 1273533493 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :!haskell (\x -> undefined) `seq` True < 1273533501 0 :EgoBot!unknown@unknown.invalid PRIVMSG #esoteric :True < 1273533510 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :!haskell undefined `seq` True < 1273533511 0 :EgoBot!unknown@unknown.invalid PRIVMSG #esoteric :*** Exception: Prelude.undefined < 1273533536 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :seq makes Haskell have side effects. Evil, no? < 1273533538 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1273533549 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :that's not strictly a side effect < 1273533578 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it's just breaking eta reduction, beta reduction still holds < 1273533652 0 :Sgeo!~Sgeo@ool-18bf618a.dyn.optonline.net JOIN :#esoteric < 1273533801 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :with _strong_ normal form you keep reducing everything until all subterms are reduced < 1273533877 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :even if that form exists, you may still have to be careful about the order you reduce in, so that it terminates. taking the leftmost option is always safest. < 1273533889 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :but not necessarily most efficient. < 1273533931 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :always leftmost option ~= lazy < 1273533999 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :things like fixpoint operators tend not to have strong normal forms, iirc < 1273534002 0 :coppro!unknown@unknown.invalid QUIT :Quit: I am leaving. You are about to explode. < 1273534167 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric : while !contains-free-vars < 1273534182 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :also that's not a good condition, _truly_ free vars cannot be removed < 1273534203 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :while !contains-redexes is what you want for strong normal form < 1273534232 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(a redex being anything of the form ((\x -> A) B) < 1273534258 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION hopes Phantom_Hoover logreads < 1273534364 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(if you use eta reduction too, then presumably \x -> A x where x not in A is also a redex < 1273534370 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :) < 1273534392 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :redex is short for reducible expression < 1273534453 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :ACTION is still waiting for Phantom_Hoover to answer the question "Do you know what beta reduction is" < 1273534473 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :once he does, he will know what a beta redex is - and what the condition for the while loop should be < 1273534484 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :and we're of course ignoring alpha reduction entirely < 1273534505 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(trivial, but vital?) < 1273534912 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric : hm, writing up faux wikipedia entries (not posting them on wikipedia of course) for various typos on IRC can be quite fun. < 1273534919 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :there's always uncyclopedia. < 1273535042 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :is that the one all about unicycles? < 1273535067 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :no. < 1273535171 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :well, unless you believe http://everything2.com/title/Uncyclopedia < 1273535228 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :funny < 1273535259 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :http://uncyclopedia.wikia.com/wiki/Unicycle-riding_bears < 1273535377 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oh wait, uncyclopedia agrees. < 1273535388 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :google just censored it. < 1273535397 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :http://uncyclopedia.wikia.com/wiki/Uncyclopedia:About < 1273535864 0 :poiuy_qwert!~poiuy_qwe@CPE001b115db0ae-CM0018c0c24ffc.cpe.net.cable.rogers.com JOIN :#esoteric