< 1205021138 0 :timotiis!unknown@unknown.invalid QUIT :"leaving" < 1205023630 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :omfg < 1205023631 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://impomatic.blogspot.com/ < 1205023637 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it's TAOCP in Redcode < 1205023641 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :we need one of them for Brainfuck < 1205024099 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1205024825 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :OH MY < 1205024827 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :awesome esolang idea: < 1205024829 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :based on surreal numbers. < 1205025221 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :"Based on surreal numbers" is the idea? < 1205025361 0 :atsampson!unknown@unknown.invalid QUIT :Remote closed the connection < 1205025377 0 :atsampson!n=ats@7hw.poik.net JOIN :#esoteric < 1205025435 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ihope: yes < 1205025477 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :It'd be interesting to try to compute with Collatz sequences. < 1205025600 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Start with an integer. Add its left-shift, increment, shift right as far as possible, repeat. < 1205025716 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Or perhaps an esolang based on neural nets. < 1205026734 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :The latter is an idea I had. < 1205026930 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :We need a really novel idea. < 1205026936 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :ACTION searches Wikipedia for a really novel idea < 1205026977 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Really novel idea: Charles C. Comstock. Let's make an esolang based on Charles C. Comstock. < 1205027121 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :SimonRC: Regular combinators :o < 1205027224 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: huh? < 1205027292 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric : Slereah: what are these "Schofinkel's combinators"? < 1205027296 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :(I was sleeping) < 1205027305 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Also, it's Schonfinkel < 1205027313 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I can never remember the spellin < 1205027314 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :g < 1205028291 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :An esolang based on Go, how about. < 1205028375 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Conway's game of life? :o < 1205028386 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Bingo. < 1205028390 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :IIRC, the earliest simulations were done on a Go board ":0) < 1205028395 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Among other things < 1205028411 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :We find a Conway's Life universal constructor and make an esolang to control it. < 1205028468 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Something like set of rules-input? < 1205028504 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :What do you mean? < 1205028521 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :How about a game of Nomic with a Prolog mirror? < 1205028525 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :What do y'all say? < 1205028533 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :A Prolog mirror? < 1205028566 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ihope: Step one: universal constructor. < 1205028569 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :(good luck) < 1205028581 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, a game of life is defined by the rules governing the life-death of cells < 1205028582 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Thank you. I'll begin work immediately. < 1205028583 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :And the input < 1205028611 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Yes, that. < 1205028636 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :A Prolog mirror that we work on continuously. < 1205028664 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Sukoshi: what do you mean by a mirror? < 1205028686 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :It mirrors the progress of the Nomic game. < 1205028700 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I see. < 1205028701 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :As in, we write our Nomic laws as clauses in Prolog. < 1205028713 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Does anyone here have a copy of Winning Ways for your Mathematical Plays? < 1205028726 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I know of two computer nomics. I don't think either has enough players. :-) < 1205028753 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :WHOA Sukoshi is here < 1205028761 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :we all thought you died :| < 1205028783 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :No, at the moment I'm browsing portions of our school website that shouldn't be browsed. < 1205028788 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :PerlNomic (http://nomic.info/perlnomic/), which I haven't fully understood, and AtNomic, which I haven't taken the time to really look at. < 1205028818 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Sukoshi: Hey, you're here again! < 1205028839 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1205028843 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Anyways. < 1205028850 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I have an OS kernel in progress. :) < 1205028858 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :http://pikhq.nonlogic.org/kernel.tar.bz2 < 1205028891 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Heh. < 1205028910 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Challenge: make it run gcc. < 1205028930 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I know a guy (for small values of 'know') who worked on an OS for 2-3 years and got to the point where binutils&gcc etc ran on it < 1205028935 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and could compile bash, iirc < 1205028937 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pretty cool < 1205028958 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Darn it. I have to crack this Tomcat password. < 1205028977 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Sukoshi: Try throwing coffee at it. < 1205028980 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Maybe I should just sniff the password using the machine farm at school I have control over. < 1205029025 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ehird: That's the goal, actually. < 1205029035 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Awesomecakes. < 1205029043 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Sukoshi: :) Nice progress on that prank. :D < 1205029053 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Yah:) < 1205029054 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I would start an OS project again if I didn't sux0r at asm < 1205029057 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :& x86 < 1205029068 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :The gradebook was the easy part, meh. < 1205029073 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: however, I can probably identify EXACTLY which tutorial you are using < 1205029073 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1205029079 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i see very familiar code < 1205029083 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ehird: Except that I'm not using it. < 1205029095 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I used it to get the multiboot header, Makefile, and linker script. < 1205029097 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :I have 1 goal fully fulfilled. The second goal partially fulfilled. The third goal is getting some progress. < 1205029105 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Everything else, I've been reading up on documentation. < 1205029129 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :(frankly, that tutorial sucks. 'Just copy this code!!!' *Ugh*.) < 1205029146 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: the idea is that you should be able to easily find out what the code doe < 1205029146 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :s < 1205029149 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :You're creating a kernel? < 1205029150 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :the info is in the x86 layout stuff < 1205029174 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I spent most of the past week figuring out what the fuck to do with the GDT. . . < 1205029177 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Well, I think there was supposed to be some universal constructor stuff included with Golly. < 1205029183 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Yes, the GDT is fux0red. < 1205029185 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :If I'd followed that tutorial, I'd be fairly clueless still. < 1205029192 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I did it on my own, so I grok it. < 1205029193 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Done the interrupt handlers yet? < 1205029200 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :435345345 repetitive functions in asm. < 1205029200 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Painful, but worth it. < 1205029207 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ehird: Plan to. < 1205029223 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Although I want to read up on nasm's macro features first. < 1205029227 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Um that package is a bit minimal for what I can see < 1205029238 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Are you sure it was justified to put it in a .tar.bz2 and upload it somewhere? :p < 1205029255 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :It *is* minimal. < 1205029263 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I just want to be able to say 'Oooh, shiny.' < 1205029264 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric ::p < 1205029271 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: I think your KPORT_H might break at some point < 1205029277 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :make it a #define? < 1205029301 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Use __attribute__((always_inline))? :p < 1205029306 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: bah < 1205029309 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :#define! :D < 1205029310 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : return 0xDEADBEEF; < 1205029311 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1205029319 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I prefer DEFEC8ED < 1205029324 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(solaris coredump magicnum) < 1205029329 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Why is the file called kernel.tar.bz2.tar, I wonder... < 1205029339 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ihope: Um, what? < 1205029351 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I think you suck. That's not what's on my server. ;) < 1205029362 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I delegate the suckiness onto my computer. < 1205029387 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I agree with your delegation. < 1205029408 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Once you've got a gcc on there, write your own text editor. < 1205029421 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Using a pre-written text-editor to develop your OS stuff in your os sux0r. < 1205029424 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :You must write your own! < 1205029441 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(Before you get gcc running, youc ould make your own c compiler to write a text editor with, or something, too. :p) < 1205029453 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: May I suggest a blend of microemacs and non-vim vi? < 1205029495 0 :ihope!unknown@unknown.invalid TOPIC #esoteric :bsmntbombdood missed the orgy. | Fe fi fo funge, I smell the brainfuck of an Englishman. | pastebin - http://pb.eso-std.org/ | Is a topic. < 1205029514 0 :ehird!unknown@unknown.invalid TOPIC #esoteric :bsmntbombdood missed the orgy. | Fe fi fo funge, I smell the brainfuck of an Englishman. | pastebin - http://pb.eso-std.org/ | qdb - http://qdb.eso-std.org/ Is a topic. < 1205029526 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :gotta add non-existant eso-std.org domains before someone does something or other while i write them! < 1205029527 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1205029577 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :You evil, evil persono, you. < 1205029602 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ACTION adds __attribute__((always_inline)) in kport.h < 1205029611 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: nooooo < 1205029614 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :don't depend on gcc < 1205029614 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :srsly < 1205029624 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :you could be one of the only modern OSs not to < 1205029625 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::-) < 1205029629 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Too late. < 1205029634 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :if you write your own cc, you could probably even make it compile your kernel! < 1205029641 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :There *is* one other OS that doesn't depend upon GCC. . . < 1205029644 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :c'monnnn, make 'em defines or put the definitions in a c file ;) < 1205029649 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: what, plan9? :p < 1205029654 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Of course, whether Windows is *modern* is a matter of taste. :p < 1205029658 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :haha < 1205029666 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i don't really consider windows an os < 1205029667 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1205029679 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I consider it a really *bad* VMS clone. < 1205029691 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Comparing windows to vms? < 1205029694 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :sacrelihe < 1205029696 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :With Win32 thrown in for God-knows-why. < 1205029697 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ge < 1205029716 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Hmm, do you actually use a vcs or are you a archive-up hobo like rodger :p < 1205029728 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Windows NT has a biological link to VMS. . . < 1205029733 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ehird: ATM, archive-up hobo. < 1205029741 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Git. Srsly. < 1205029745 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I plan to set up SVN when I get around to it. < 1205029755 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Time to award some Patent Titles! Overand is a Scamster. ehird is a Champion. Judofyr is a Minister Without Proposal. pikhq is a Twelve Months Long Service. < 1205029763 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :version control systems without the 'lulz, server' or the 'lulz, molasses' or the 'lulz, in-the-way' parts. < 1205029765 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1205029771 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ihope: I don't think I have twelve months yet. < 1205029778 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Er, Minister Without Portfolio. < 1205029779 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I should have six months' coming up in a bit. < 1205029784 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ACTION is a Champion! Yaaaaay. < 1205029784 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::p < 1205029801 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Also: I'm the only Agoran entitled to grant Champion. < 1205029806 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :And only when someone wins. < 1205029818 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ACTION 's confuzed < 1205029819 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I'm also the only person required to *record* a win. < 1205029828 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ihope and I are both Agorans. < 1205029833 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :oerjan is a former Agoran. < 1205029853 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :www.agoranomic.org < 1205029854 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :And you're a former B'an, and I'm a former former B'an. :-P < 1205029881 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :#esoteric is like the turnpike of the internet < 1205029886 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :the nerdy internet < 1205029890 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :nerdy, mathematical internet < 1205029912 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :We're the smartest people in the world! Kind of. < 1205030063 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Your Mom. < 1205030092 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Anata no haha. < 1205030101 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Vian Patrinon. < 1205030108 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Ta mere. < 1205030118 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :ima shelha < 1205030119 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Tomaar Maa. < 1205030122 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Via patrino estas patrifikulon. < 1205030123 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :tua mae < 1205030129 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :tvoya mat' < 1205030138 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :¿Por qué estamos hablando en otras however-you-want-to-say-"language"-today? < 1205030154 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ihope: Ne. < 1205030161 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :tu mama esta hablando en otras idiomas < 1205030173 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Touché. < 1205030179 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Douch'e. < 1205030189 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :Crochet. < 1205030195 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Krikkit. < 1205030208 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :Ribbit. < 1205030215 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Anta no LULZ ga Ookiku natta. < 1205030224 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Sukoshi: :D < 1205030236 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Belgium, man, belgium! < 1205030323 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :yare yare, konna ni natte shimatte... < 1205030352 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :. . . Okay, that's 3 Japanese speakers here. < 1205030386 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Ja, sore ha koko ni sanjin no nihongo wo hanaseru hito ga iru. . . < 1205030515 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :http://www.verizonmath.com/checkyourmath.htm < 1205030534 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Boku tachi no YUME HA < 1205030539 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Sekai wo KAERU YO < 1205030557 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :yume? < 1205030559 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Kurumayoi ni NOTTE! Bishounen no sonzai wo UBARECHA-U! < 1205030583 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :*BARECHA-U < 1205030583 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :. . . < 1205030589 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ldgt [eax] < 1205030599 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Ching chong? < 1205030605 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :Sukoshi: henna koto iwanaide yo < 1205030626 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :女の気紛れな夢は普通じゃないの。 < 1205030632 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: writing boot loaders are we? < 1205030644 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :*lgdt < 1205030655 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Yay, someone spoke English! < 1205030657 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :ACTION tries Japanese too: box box box box box box box box box box < 1205030662 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Anyone here play with Haiku, by the by? < 1205030663 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :olsner: Kernels. < 1205030674 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :HaikuOS that is. < 1205030678 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Neko pan wa desu desu pan wa desu... um... domo arigato. < 1205030691 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Moto desu, ne. < 1205030701 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Pan bread is. Pan bread is. Many thanks. < 1205030708 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :*Pan = cat < 1205030733 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: How is the State of the Development there? < 1205030754 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I don't speak Japanese, but I ought to, because I've wanted to for years < 1205030756 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Sukoshi: I have it set up to realise the difference between user-mode and kernel-mode. < 1205030762 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Also, because 3 people is practically *peer pressure*! :D < 1205030771 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :And it makes me wonder what doing, say, jmp 0x08:0x00 would do. < 1205030784 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :(In Linux) < 1205030788 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Hehe. < 1205030797 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Well I heard threads were there like water. < 1205030810 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :ehird: learning japanese gives you access to whole internets full of desu < 1205030815 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I'm going to test it. < 1205030850 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :don't learn Japanese. < 1205030876 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :olsner: just what i've always wanted < 1205030883 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::| < 1205030929 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Apparently, gas doesn't much like long jumps. < 1205030941 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :as an added bonus, you'll be able to more fully enjoy your wednesdesus < 1205030949 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Bootstrap a low-level FORTH onto it. < 1205030982 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :olsner: and desu the desus on the desuweb? < 1205030995 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :desu desu hai < 1205031011 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :It segfaults. < 1205031021 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :jmp 0x08:0x00 < 1205031025 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Why can't I do that? :( < 1205031045 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :are you sure you want to jump to address 0? < 1205031046 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :olsner: Does it empower the desus on my Haskell desu? < 1205031052 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :olsner: Just testing. < 1205031060 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Technically, that's address 0 in kernel mode. < 1205031061 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :;) < 1205031080 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Well, assuming they have GDT[8] for their ring 0 code segment. . . < 1205031085 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ACTION pulls up the Linux source < 1205031101 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Are you testing wiht QEMU, pikhq ? < 1205031112 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Bochs. < 1205031122 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: try linux 0.1 < 1205031125 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it's very understandable < 1205031126 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Aw. Why not QEMU? < 1205031136 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :QEMU is nice < 1205031146 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Because I use Gentoo, and Qemu still doesn't build with GCC 4. < 1205031182 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :All I want is the bit that loads the GDT. < 1205031207 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Maybe it's in the kernel entry point? < 1205031215 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Gentoo? aarrgh < 1205031243 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :f unroll loops! f unroll loooops! < 1205031303 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :ACTION knows too little of the specifics to be of much help < 1205031949 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :lol, I believe I've just found the bug in the bootloader/"operating system" I was working on in 2003 < 1205032003 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Well, *that's* bizarre. < 1205032008 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Linux has a vm86 handler. < 1205032024 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :wait no... but it looked as if I'd mixed up dw and dd and produced a totally bogus jump address for jumping into PM < 1205032152 0 :ehird!unknown@unknown.invalid QUIT :"This computer has gone to sleep" < 1205032161 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ACTION hurls < 1205032186 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Linux has the world's *worst* way of going back into the BIOS to reboot. < 1205032216 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :They have a *char[]* of bytes that represent the machine code required to go back to 16-bit mode. < 1205032318 0 :ehird!n=ehird@91.105.80.233 JOIN :#esoteric < 1205032504 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :so i'm reading HTDP... and it seems so far that Haskell would be a more appropriate language for the book < 1205032548 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :but it didn't get to the macros yet (i don't know if it ever does) < 1205032819 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :such bad taste, yet so funny: http://img.lulz.net/src/09_podborka_36.jpg < 1205032920 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :kekeke < 1205032939 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :very hard to tell black pieces apart < 1205032945 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Racist. < 1205032967 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :the world is racist. < 1205033040 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :"Combining a rabbit-ears with a spot to form a rabbit is not permitted, although the programmer is free to use it should he find an EBCDIC reader which will properly translate a 12-3-7-8 punch." < 1205033045 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Hm. < 1205033301 0 :ihope!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1205033364 0 :ehird!unknown@unknown.invalid QUIT :No route to host < 1205034873 0 :Corun!n=Corun@halls-129-31-72-183.hor.ic.ac.uk JOIN :#esoteric < 1205036294 0 :Corun!unknown@unknown.invalid QUIT :"This computer has gone to sleep" < 1205036497 0 :Judofyr!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1205037036 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :anyway, 04:30 = bed-time < 1205037270 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :05:30 = even more so < 1205037278 0 :slereah_!n=slereah@ANantes-252-1-13-240.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1205037348 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1205037685 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Nah. < 1205037697 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Well, 05:30 isn't bad, but 04:30 is. < 1205037731 0 :poiuy_qwert!n=poiuyqwe@bas2-toronto47-1242436880.dsl.bell.ca JOIN :#esoteric < 1205037798 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :05:30 just implies a nocturnal schedule. < 1205037807 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :ACTION wakes up at 04:43 :S < 1205037864 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Depends if you wake up at 08:30 like I do. < 1205037883 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ACTION wakes up at 06:00, usually. < 1205037907 0 :slereah__!n=slereah@ANantes-252-1-13-240.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1205039797 0 :slereah_!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1205042233 0 :calamari!unknown@unknown.invalid QUIT :"Leaving" < 1205045974 0 :poiuy_qwert!unknown@unknown.invalid QUIT :brown.freenode.net irc.freenode.net < 1205045974 0 :atsampson!unknown@unknown.invalid QUIT :brown.freenode.net irc.freenode.net < 1205045974 0 :faxathisia!unknown@unknown.invalid QUIT :brown.freenode.net irc.freenode.net < 1205045974 0 :AnMaster!unknown@unknown.invalid QUIT :brown.freenode.net irc.freenode.net < 1205046126 0 :poiuy_qwert!n=poiuyqwe@bas2-toronto47-1242436880.dsl.bell.ca JOIN :#esoteric < 1205046126 0 :atsampson!n=ats@7hw.poik.net JOIN :#esoteric < 1205046126 0 :faxathisia!n=afg@amcant.demon.co.uk JOIN :#esoteric < 1205046126 0 :AnMaster!n=AnMaster@unaffiliated/anmaster JOIN :#esoteric < 1205046823 0 :poiuy_qwert!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1205049599 0 :clog!unknown@unknown.invalid QUIT :ended < 1205049600 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1205049745 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :"The principal obstacle to an authentic emulation of the Engine is that, in modern colloquial parlance, it was mankind's first bold venture into the domain of vapourware. The Engine was designed, drafted, described, discussed, and debated, decade after decade, but it was never actually built." < 1205049746 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Heh < 1205049827 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Like a lot of things on this channel? ;) < 1205049886 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Plenty of ideas thrown around to end up in the trash! < 1205049896 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :But we usually don't spend 30 years on it < 1205050303 0 :Judofyr!n=Judofyr@cE699BF51.dhcp.bluecom.no JOIN :#esoteric < 1205050498 0 :ehird!n=ehird@91.105.80.233 JOIN :#esoteric < 1205050502 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :when i left here before < 1205050506 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :my intention was to sleep < 1205050513 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i would like to make it clear that this did not happen < 1205050935 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Sleeping pills dude < 1205051087 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Sleep is for the week. < 1205051100 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Weak even :D < 1205051497 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :slereah__: Noes. < 1205051504 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :By the time I was ready it was after 7 < 1205051510 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :No point sleeping after a time like that. < 1205051848 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Hm. I wish pikhq was around. < 1205051875 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Be careful whatr you wish for, or it might just happen :o < 1205051886 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :I know :D < 1205052161 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :squaring the circle is easy assuming π = 4 < 1205052204 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Or just using your ruler, with the pi graduation < 1205052268 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Or just be a dick like Kronecker, and say that irrationals don't exist. < 1205052326 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :interesting < 1205052436 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :When Lindemann proved that π is transcendental in 1882 Kronecker said < 1205052437 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :Of what use is your beautiful investigation of π. Why study such problems when irrational numbers do not exist. < 1205052518 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Squaring a circle? < 1205052535 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Cantor also had problems with Kronecker. < 1205052541 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Because Kronecker was a giant dick. < 1205052555 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :construct a square with the same area as a circle < 1205052559 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Sukoshi: You take a circle, and you transform it into a square with the same perimeter < 1205052607 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Kronecker had this notions that only integers really existed. < 1205052614 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I think Kronecker is right, intuitionism is great.. < 1205052631 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :(there are finite constructions of the reals now) < 1205052654 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Meh. < 1205052655 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :but it's fine to take axioms and construct them later on < 1205052717 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :it's just that, if you decide some new axiom "every set has a lowest upper bound" or some-such, without having constructed it from a consistent logic, how can you know that you still have consistency? < 1205052901 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :slereah__: [08:49] Because Kronecker was a giant dick. < 1205052907 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :My mind read 'was' as 'had' < 1205052911 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Because of sleep-lack < 1205052913 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Heh. < 1205052922 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :I'm not privy to those details! < 1205053225 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: What if I got into law? < 1205053234 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :I'm just looking for an opinion here :P < 1205053281 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I don't know, there must be something to it.. one my school friends who basically a genious has dropped out of a math course to do politics and I think he wants to get into law < 1205053286 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Does it involve neat uniforms and a lawgiver, and killing mutants? < 1205053300 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :and I can't spell :S < 1205053329 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :I'm considering law. I still love science, but I love law too and am good at it too. < 1205053338 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Sukoshi: you cannot abadon < 1205053339 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :SCIENCE! < 1205053341 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: Think of it this way. Law is logic. < 1205053352 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :A bunch of horn clauses. < 1205053363 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Except it's not just horn clauses in theory. It's horn clauses in practice. < 1205053373 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Only fascists love law :o < 1205053382 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Sukoshi: SCIENCE! < 1205053416 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Heh. < 1205053441 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :WHAT HAS SCIENCE DONE! < 1205053465 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Your mom? < 1205053470 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :(Come on. You had that coming.) < 1205053485 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Yeah. LIKE YOUR MOM < 1205053495 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: At least, that's how I view law. From a logic perspective. < 1205053513 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :SCIENCE! < 1205053518 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :S.C.I.E.N.C.E. SCIENCE < 1205053530 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :S.C.I.E.N.C.E. = SCIENCE CIENCE IENCE ENCE NCE C E < 1205053537 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Stop saying that while I'm hacking Java code. You're making me feel dirty :P < 1205053555 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :Prolog for President! < 1205053568 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Hahaha :D < 1205053576 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Science H. Logic! < 1205053586 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :I have a friend in law school. < 1205053609 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Saying it is related to logic is lies :o < 1205053615 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :(anyone know this ? http://www.cs.cmu.edu/~fp/lollimon/ ) < 1205053636 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Sukoshi: The Java is the gateway to EVIL and SUPERSTITION < 1205053643 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :NATURE'S FOUR-DAY HARMONIOUS TIME CUBE < 1205053643 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :err < 1205053644 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I mean < 1205053645 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :SCIENCE < 1205053649 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :It's actually just incredibly boring. < 1205053649 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1205053667 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :And when you realize Swing should have been decapitated due to horrible design issues, you feel more worthy using the language \o/ < 1205053688 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :But I have an exam to study for, so meh. < 1205053704 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :swing is great, < 1205053707 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :compared to awt :P < 1205053750 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Oh gawd :D < 1205053760 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :GTK is great. I heard QT is a lot better though. < 1205053764 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :KDE is definitely nice. < 1205053799 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I have a feeling that McCLIM is really really good .. if you know it inside out < 1205053814 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :but I don't know this, not used it enough < 1205053829 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Qt<3 < 1205053909 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :I've heard McCLIM suffered from overkill syndrome. < 1205053934 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :I love how simple/abstract GTK is. < 1205054004 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :also HTML is useful sometimes (by running a local webserver) < 1205054021 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :(defgeneric add (container widget)) <-- That's basically the work horse of GTK. < 1205054047 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Sukoshi: HOWEVER, gtk sux0r in its actual widgetness. < 1205054052 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :e.g. see: gtk+os x < 1205054055 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Huh? < 1205054063 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Oh, you mean cross-platform issues? < 1205054067 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :mostly, yeah < 1205054074 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and i personally don't like the look-'n-feel on x11 < 1205054076 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :I don't doubt that. It's meant to be a Linux thing, heh. < 1205054076 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but that's just me < 1205054086 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Sukoshi: still the windows support is passable < 1205054095 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Yeah. It's livable. < 1205054130 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and, although that 'add container widgt' is simple < 1205054133 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :a nested structure model is far better < 1205054142 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Hrm? < 1205054147 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :for languages with no brain -- like c -- you can build it up with some kind of add operation ;) < 1205054156 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Sukoshi: it's like this: < 1205054158 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :foo = < 1205054161 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :foo = < 1205054162 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :... < 1205054164 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :foo.add(bar) < 1205054165 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :etc < 1205054170 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :totally tedious way of working < 1205054172 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :I got nothing of that :P < 1205054177 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :when widgets are inherently nested < 1205054183 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :they should be treated as such < 1205054192 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :not as matryoshka dolls < 1205054199 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Huh? < 1205054240 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :it's just the difference between imperative and declarative < 1205054323 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Hm. An example? < 1205054369 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: yes < 1205054375 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :I think I get what you mean. Give the properties of different layers of a nested structure rather than building up the nest yourself? < 1205054380 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Sukoshi: yep < 1205054389 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Swing attempts that with its content panes. < 1205054402 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :It's ... not as good IMO. < 1205054402 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :the 'add' thingy is just a way to build up one of those structures because you can't actually do it in C.. < 1205054413 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Sukoshi: well, come on, Swing anything is not a good comparison < 1205054419 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Well in general. < 1205054425 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :really, gui toolkits right now are unbearable < 1205054426 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :I like the flexibility of a generic (add) < 1205054432 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :cocoa might be ok, i haven't tried it < 1205054443 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but from what i've seen, they all overcomplicate the simple stuff and oversimplify the complicated stuff < 1205054454 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :& think in terms of C or some other similar language only < 1205054469 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :instead of having a higher-level abstract data model with the c/whatever imperative-style implementation being decoupled < 1205054557 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :ADD is perfectly Lispy. < 1205054676 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Sukoshi: But not structured. < 1205054687 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It is too implementation-centric to be the basis of a toolkit. < 1205054704 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Why? < 1205054713 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :because it is tied into the imperative style < 1205054714 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Why can't it be used in every implementation? < 1205054717 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :How? < 1205054718 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :add this, then add this < 1205054733 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :instead, the toolkit's design should be on a nested, declarative structure < 1205054734 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :What structure would you propose then? < 1205054742 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :in a functional or similar language, it would just be the nested tree < 1205054745 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :sure, for C, you need add(). < 1205054749 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :See, I've never had a bone with mixing functional or declarative with imperative. < 1205054750 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :that's just an implementation detail. < 1205054759 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :the actual model should be based on nested structures, < 1205054764 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :because in the end that's what it will produce. < 1205054764 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :XML. Right. < 1205054775 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Sukoshi: Well, yes, except that using XML for a gui is a henious crime :) < 1205054777 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :XML is horrible, but that point aside. < 1205054780 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Yeah :P < 1205054790 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Also, s-expressions might be a non-horrible example, if you're in need of one. :p < 1205054800 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Exactly. < 1205054882 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :well look at McCLIM < 1205054989 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :XML should be fine as a file format, if you have a GUI program to edit GUIs < 1205055051 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Glade, yep. < 1205055182 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :ACTION tries to learn lollimon by staring at example code < 1205055296 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: mcclim is kinda eww < 1205055690 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :from ##C 'The first rule about large software projects is "don't make large software projects".' < 1205055744 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :What's the second rule? < 1205055774 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: ##c is the source of such wisdom and clarity < 1205055778 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and is totally not filled with rambling idiots < 1205055789 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :honest < 1205055797 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :well.. I'm there < 1205055833 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: i could probably rank ##c-ers by idiocy, elitisim and plain retardedness < 1205055841 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :you'd probably be at the bottom, though :) < 1205055845 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(#1: poppavic. no competition.) < 1205055862 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :someone should make a random number generator based on poppavic's 'sense-o-meter' < 1205056712 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :perm nil. < 1205056713 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :perm (H::L) o- elm H , perm L. < 1205056722 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: what's that < 1205056725 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it's pretty < 1205056727 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :lollimon < 1205056730 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I like elegant nondeterminism < 1205056733 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :Yes :D < 1205056745 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :this is impressive < 1205056769 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :googling lollimon gives me an irc lo of #haskell < 1205056770 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Gwern "lollimon - gotta rape'em all..." < 1205056780 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i laughed far too much at that < 1205056789 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :early morning... kind of when you have not slept :-P < 1205060401 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :http://www.cs.cmu.edu/~fp/lollimon/ < 1205060413 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :friendly page < 1205060448 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :19 lines of variable declarations. < 1205060453 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Heh, this class is made of win. < 1205060462 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Sukoshi: Your whole family is made of meat. < 1205060472 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Waiiii?! < 1205060499 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: ocaml < 1205060500 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :how shitty < 1205060505 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric ::/ < 1205060519 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :ocaml is fine < 1205060550 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Nah. It has side effects faxathisia, so it is made of FALE :P < 1205060551 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :noes < 1205060555 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and yeah < 1205060558 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :what Sukoshi sed < 1205060568 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :beh < 1205060572 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it desperately tries to be a functional language < 1205060574 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but fails miserably < 1205060578 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :ACTION sits out till haskell enthusiasm dies out < 1205060591 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :ACTION joins faxathisia. < 1205060624 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Hey, I'm not a haskell fanboi < 1205060626 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::( < 1205060645 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric ::p < 1205060713 0 :RedDak!n=dak@host65-89-dynamic.3-79-r.retail.telecomitalia.it JOIN :#esoteric < 1205060866 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :Sukoshi & ehird, you should read Dijkstra - A Discipline of Programming < 1205060867 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :if you think side effects are not good < 1205060888 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :I think side effects are. < 1205060889 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :(or if you just want to read a good book) < 1205060892 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: Hey, I do like side effects. < 1205060898 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I just also like Haskell. < 1205060898 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :But hey, it's by Dijkstra. < 1205060910 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I like Haskell too < 1205060914 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :I got into Haskell for a while. I left. I tried to get back in, but failed. < 1205060915 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :exactly < 1205060920 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I like both styles of programming < 1205060929 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :though I tend to think functionally, and code it out imperatively < 1205060930 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :weird :| < 1205060967 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :I sincerely wish Java had structs. < 1205060973 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Why, oh why, does Java not have structs. < 1205060977 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :class .. < 1205060986 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Actually wait. Why, oh why, does Java have to have one public class per file. < 1205060986 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Sukoshi: Because Java is retarded. < 1205060989 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Considered Scala? < 1205060999 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :This is studying for a test that uses Java. < 1205061004 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :So the app needs to be in Java. < 1205061044 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :ehird: A haskell implementation of lollimon would be a good thing :O < 1205061047 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Sukoshi: You could decompile Scala's output bytecode into Java. < 1205061058 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :... :D < 1205061065 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I might try when I finish some stuff < 1205061081 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Plus hey, some people might find this app useful. < 1205061088 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :It's a Direct Connect client. < 1205061105 0 :Judofyr!unknown@unknown.invalid QUIT : < 1205061128 0 :Judofyr!n=Judofyr@cE699BF51.dhcp.bluecom.no JOIN :#esoteric < 1205061275 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Who's watching Gundam 00? < 1205061296 0 :faxathisia!unknown@unknown.invalid QUIT :"-" < 1205061299 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Weeaboos. < 1205061342 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :I'd be a weeaboo if I actually like Japanese weather or Japanese politics. < 1205061354 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :... Or Japanese traditional family life, or Japanese social life, or .... < 1205061360 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Well you get the picture :) < 1205061443 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Well, that's weeaboo enough for me :D < 1205061460 0 :Judofyr!unknown@unknown.invalid QUIT : < 1205061478 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :JAPANESE WEATHER IS SUPERIOR TO WEATHER IN ALL OTHER COUNTRIES < 1205061526 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Ye gods weeaboo. < 1205061557 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Did someone just say weeaboo? < 1205061558 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Aww. Gundam 00 is fun and interesting and political. < 1205061577 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :I mean come on, I'm on the side of the HRL. < 1205061586 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Go Socialism! Yah! Yah! Yah! < 1205061789 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :JAPANESE TRADITIONAL FAMILY LIFE IS SUPERIOR TO JAPANESE TRADITIONAL FAMILY LIFE IN ALL OTHER COUNTRIES < 1205061790 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :WAIT WHAT < 1205061804 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Your mom. < 1205061810 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1205061831 0 :Sukoshi!unknown@unknown.invalid PART #esoteric :? < 1205061837 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :ACTION can't think of one jap scientist :o < 1205061842 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Only chinese ones! < 1205061863 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :JAPANESE SCIENCE IS SUPERIOR TO JAPANESE SCIENCE IN ALL OTHER COUNTRIES < 1205061881 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :It doesn't recycle well, ehird < 1205061890 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :JAPANESE RECYCLING -- < 1205061905 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Try another classic. < 1205061916 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :EVEN THE JAPANESE GET IN TROUBLE! < 1205061928 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :JAPANESE GETTING IN TROUBLE -- < 1205061936 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :... < 1205061940 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :You are both suspended. < 1205062168 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :JAPANESE SUSPENSION < 1205062219 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Japan < 1205062252 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : They have a *char[]* of bytes that represent the machine code required to go back to 16-bit mode. < 1205062254 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: that's not stupid < 1205062263 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :when you want arbitary machine code, you store it in char* < 1205062354 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :an ddamn < 1205062359 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i keep sseeing things i said < 1205062363 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :which i think 'crap that was like two days ago' < 1205062371 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but it was in this awake-session because aaah i've been up too long :< < 1205063502 0 :faxathisia!n=ultravio@137.195.250.2 JOIN :#esoteric < 1205063655 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :wowzers < 1205063669 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :'INTERCAL and Malbolge (and perhaps Java) are steps toward the ultimate barrier of programming. But they don't rely on *chance*.' < 1205063684 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :that has to be the most devilish language i evevr came up with and then forgot < 1205063706 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Lynxplz? < 1205063718 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :slereah__: sry. that's basically the onlny thing left of it < 1205063722 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I never made the catual languae i think :( < 1205063726 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Of what? < 1205063730 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :the spec < 1205063735 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I apologize for my spelling, I can barely type. < 1205063743 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :What was the basic idea? < 1205063754 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :sdfjkhsjkgdfg i keep typing 'cat ..' < 1205063755 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :slereah__: that. < 1205063765 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :be hellish at programming, but rely on *chance* for many operations < 1205063784 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Quantum malbolge? < 1205063823 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :nah < 1205063981 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :hmmm < 1205063989 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Joy quotations AREN'T lists, are they? < 1205063993 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :for one simple reason -- < 1205063995 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :[foo] < 1205064004 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :'foo' isn't representable as any object in Joy < 1205064009 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :thus quotations must be of an AST instances < 1205064014 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :which is Name | Literal < 1205064018 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :where Literal = Object < 1205064363 0 :jix!n=jix@mercury.method-missing.org JOIN :#esoteric < 1205065283 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :45345 < 1205065339 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1205066342 0 :timotiis!n=timotiis@jfkew.plus.com JOIN :#esoteric < 1205069148 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :y < 1205069226 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :z < 1205069233 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric : < 1205069257 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :D:þ < 1205069267 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Even the passenger gets in trouble! < 1205069268 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :XB < 1205069271 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION saw you running out of english alphabet, so he assisted < 1205069281 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :hahah @ those comics < 1205069302 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :You are both suspended. < 1205069458 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :http://www.lawlforkids.com/d/3058-1/wait.png < 1205069489 0 :oerjan!unknown@unknown.invalid QUIT :"I got the last word BWAHAHA" < 1205069511 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :The strangest thing is that kid that yells "Fight!" < 1205069523 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Like he's Shao Khan from Mortal Kombat. < 1205071745 0 :jix!unknown@unknown.invalid QUIT :Nick collision from services. < 1205071753 0 :jix!n=jix@dyndsl-085-016-239-229.ewe-ip-backbone.de JOIN :#esoteric < 1205074012 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Refridgerator < 1205074740 0 :slereah_!n=slereah@ANantes-252-1-13-240.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1205074799 0 :slereah__!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1205075472 0 :slereah_!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1205075533 0 :Slereah!n=slereah@ANantes-252-1-13-240.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1205076221 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ehird: Sure it's stupid. < 1205076244 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Just because there's some way of using it doesn't make it less stupid. < 1205076252 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :The asm keyword is in GCC for a reason. < 1205076257 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :And yes, Linux uses it. < 1205076644 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: I assure you there will be a good reason. < 1205076648 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :WHy not post on the lkml? < 1205076682 0 :Corun!n=Corun@halls-129-31-72-183.hor.ic.ac.uk JOIN :#esoteric < 1205079165 0 :RedDak!unknown@unknown.invalid QUIT :Remote closed the connection < 1205080079 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :omg < 1205080081 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :lyx is awesome < 1205080218 0 :Tritonio_!unknown@unknown.invalid QUIT :Remote closed the connection < 1205082957 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :holy crap < 1205082966 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :knuthtex is a single 1mb source file < 1205083100 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :but it's literal programming, so it's easy to read! *cough* < 1205083153 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :olsner: actually the pascal has so many embedded WEB instructions that it's almost impossible to even if you filter out the docs < 1205083156 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::/ < 1205083205 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :hmmm < 1205083214 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :what's that really trivial pascal dialect thingy? < 1205083215 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :heh, yeah, I've found it a golden example of failed application of literate programming < 1205083225 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :the bnf is just a page or so long < 1205083229 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :olsner: thank god nobody uses knuthtex, eh? ;) < 1205083297 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :aha < 1205083298 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :PL/0 < 1205083387 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :so if you imagine PL/0 + parameters to functions + some control structures (repeat...while, etc) + arrays.. < 1205083391 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :knuth would be overjoyed ;) < 1205083835 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :slightly off topic, but since the project I need this for is an befunge interpreter in C I think it is on topic < 1205083842 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :anyone know a good sparse matrix library for C? The ones I found are all C++ :/ < 1205083939 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :this channel isn't often on topic anyway... besides, if befunge is involved in any way whatsoever it's definitely on topic :P < 1205083956 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ok < 1205083960 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :so, any idea? < 1205084027 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Hell, what is the topic anyway! < 1205084033 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It is pretty broad < 1205084065 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :so anyone got an answer? < 1205084086 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :something like "Fe fi fo funge, I smell the brainfuck of an Englishman." seems to be the current topic if the /topic is to be believed < 1205084105 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :btw, qdb.eso-std.org doesn't work though mentioned in the topic < 1205084123 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :olsner, but you don't know an answer to my question? < 1205084134 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: nope, sorry < 1205084139 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :sigh < 1205084167 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I need some kind of sparse matrix for funge-space < 1205084170 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :I suppose you want to find the people who know fortran, and maybe they'll also know how to do what they do in C < 1205084182 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :why fortran? < 1205084219 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :hmm, I guess linear algebra/numerics => fortran in my database of stereotypes < 1205084235 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ah. but well this isn't algebra < 1205084246 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :olsner: .eso-std.org is not all up yet < 1205084247 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it will be < 1205084248 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :sometime < 1205084289 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :what's with the delay? < 1205084294 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :laze. < 1205084306 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oh, you don't actually have it yet? < 1205084310 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i have eso-std.org < 1205084314 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but i cba to set it all up < 1205084327 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :cba? < 1205084330 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :can't be arsed < 1205084335 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1205084361 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :thought it was a name server delay or something < 1205084398 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :laziness got the best of you, eh? someone needs to have his thunks forced... < 1205084536 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1205084538 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :that sounds painful < 1205084568 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, do you have any idea about sparse matrix in C? < 1205084599 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :no < 1205084997 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: hey you < 1205085000 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :debug my prolog lisp :( < 1205085017 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://rafb.net/p/dKbjcr51.html < 1205085020 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :example(R) -> No < 1205085020 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::( < 1205085114 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :You know [lam|E|A|C] = [lam| (E'|'A'|'C)] ? < 1205085133 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :and you could write lam(E, A, C) instead < 1205085149 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: err, ok < 1205085152 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :then what i want is < 1205085157 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :[lam|[E|[A|[C]]] < 1205085164 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but can you pattern match calls in prolog? < 1205085166 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :well that changes everything < 1205085167 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1205085169 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :[lam,E,A,C] < 1205085173 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1205085175 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :err < 1205085176 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i want < 1205085180 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :[lam|[E|[A|C]] < 1205085183 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :subtle difference < 1205085183 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :[lam,E,A|C] < 1205085183 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1205085190 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but, if i can pattern match on func calls, faxathisia .. < 1205085194 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :then certainly! < 1205085205 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :ehird: prolog doesn't have function calls, you construct expressions which you can match on < 1205085205 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :Functions don't exist < 1205085209 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :yes yes < 1205085211 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it was a metaph000r < 1205085239 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :metaphor? mispresentation of facts! :P < 1205085242 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :It's a compound < 1205085259 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: do you like my lack of spaces by the way. < 1205085277 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I don't see any missing spaces < 1205085285 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: arglists < 1205085287 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :after commas < 1205085287 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :etc < 1205085292 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :ACTION usually puts a space after commas < 1205085296 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1205085297 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i don't < 1205085298 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i' mevil < 1205085311 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :No you aren't that's perfectly acceptable < 1205085312 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1205085319 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::( < 1205085332 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: any comments on my prolog style? < 1205085334 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i think it's pretty neat < 1205085344 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i mean, you even get undefined symbol and shiz -> No, for free < 1205085420 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :well you should probably be aware of write_canonical < 1205085424 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :and in particular < 1205085427 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :whutz dat < 1205085428 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::( < 1205085444 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :it's funny how prolog just answers your buggy programs with "No." like some zen master < 1205085446 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :[a,b,c] = '.'(a,'.'(b, '.'(c, '[]'))) < 1205085457 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1205085458 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :that thing < 1205085458 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :(just like lisp) < 1205085458 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :still < 1205085459 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1205085504 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: I can't do "Y is cons(A,B)" < 1205085505 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::( < 1205085523 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :is does arithmetic calculation < 1205085523 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :maybe you're mixing up is and =? < 1205085564 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :5 is 2+3. < 1205085588 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :2+X = Y+3. %% X = 3, Y = 2 < 1205085666 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :probably :| < 1205085886 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :why is it that way around? < 1205085969 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :why is = a reflexive, symmetric, transitive relation and is/2 performs computation the assignment? < 1205085993 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :because prolog is about pattern matching and unification rather than about doing actual operations... so arithmetic is exiled into 'is' while '=' does unification < 1205086017 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :It's absolutely idiotic and brain damaging to use = for assignment, like C and other languages < 1205086025 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: Because arrows are ugly in ASCII < 1205086070 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well, indeed, = should be used for both < 1205086079 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :no.. < 1205086086 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :that would make no sense < 1205086094 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oh :< < 1205086124 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :so "is" is actual assignment? < 1205086141 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :why would it not make sense? < 1205086143 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :rather, it's unification with the result of arithmetic or something like that < 1205086150 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :A is B. %% Evaluate B as if it were some arithmetical expression then unify the result with A < 1205086162 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :and how is that not the same as what = does? < 1205086179 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :normal unification does no modification whatsoever on either expression < 1205086183 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :so 2 is 1 + 1. is actually calculating, whereas 2 = 1 + 1 fails a just like how dog = cat fails < 1205086185 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :do something to make left operand equal right operand :| < 1205086207 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric ::( < 1205086223 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :X = Y+3 basically builds a data structure (Plus Y 3) then unifies that with X < 1205086227 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :In math .. when you write =, it's an equivalence relation < 1205086232 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :note there's no evaluation there < 1205086251 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :in which situations would "=" and "is" make a different result, but both make sense? < 1205086253 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :which means x=x, x=y -> y=x and x=y->y=z->x=z < 1205086253 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Is there even a mathematical symbol for assignment? < 1205086289 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :but some idiot thought they'd abuse the notation and use = for something completly unlike an equivalence relation and confuse millions < 1205086321 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Where did you get that statistic? < 1205086325 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: we all cry about that every night, now answer mine! < 1205086384 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :The abstract syntax of Prolog is, Term ::= atom | Variable | functor(Term, ..., Term) < 1205086402 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :When you write something like X + 3, that's sugar for '+'(X, 3) < 1205086409 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ofc < 1205086495 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :so anyway, writing Y is 7 + 3. % Prolog sticks 7 + 3 into some turing machine at this point, then unifies the result (10) with Y < 1205086543 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :but if you write e.g. X + 3 = 7 + Y. %% It's just a logical statement of equivalence, which happens to succeed, unifying X with 7 and Y with 3 < 1205086572 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :what does y = 7 + 3 do then? < 1205086580 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i just see all this as equations. < 1205086584 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :7 + 3 = 7 + 3. < 1205086625 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :is there a situation where these unevaluated expressions are actually useful? < 1205086625 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :Yes < 1205086640 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :is it just math prolog does not evaluate, or is it all functions? < 1205086648 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :and you know what i mean by functions. < 1205086673 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :what are these situations,btw? < 1205086681 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :There is no computation at all in Prolog (except these rare cases like is and IO..) < 1205086706 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :those "functions" are more like haskell's constructors ... it's basically an AST you pattern match on < 1205086728 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i guess < 1205086828 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :guess you cannot actually write a function like + anyway. < 1205086830 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :for example, :- op(600, fy, s). < 1205086830 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :peano_add(X, o, X). < 1205086830 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :peano_add(X, s Y, s Z) :- peano_add(X, Y, Z). < 1205086830 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :now you can go < 1205086844 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :peano_add(s s s o, s s s s s s s o, Y). < 1205086864 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :and it will do Y = 10 (except it's peano encoded) < 1205086871 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1205086874 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :or you could write < 1205086883 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :peano_add(A, B, s s s s s s s s s s o). < 1205086898 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :and it will describe any A, B which sum to 10 < 1205086900 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i always thought a prolog a + b means something like add(a, b, RES0): RES0 in the expression < 1205086916 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :s/:/; < 1205086948 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :+ is just some infix operator, a + b = '+'(a, b) < 1205086970 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i think it's better my way :-) < 1205086975 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :what is? < 1205086980 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :it's meaning < 1205086987 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :because with that < 1205086992 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :7 = 3+4 < 1205087011 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*its < 1205087061 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :you can do stupid things like: < 1205087062 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric ::- op(900, xfy, ++). < 1205087071 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :A ++ B = X :- append(A, B, X). < 1205087082 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :now I can write < 1205087097 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :X ++ [c] = [a,b,c]. % to find out X = [a,b] < 1205087110 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :wtf < 1205087127 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :then how is it not that a + 1 = 3 means a = 2? < 1205087135 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :that's the exact same thing < 1205087144 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :because (X ++ [c] = [a,b,c]) = '++'(X, '='([c], [a,b,c])) < 1205087155 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :now what you have is ++ at the top level < 1205087167 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :and everything inside is just abstract syntax < 1205087182 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :It's not computed, because there is no computation in Prolog < 1205087191 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :it's not like eval/apply < 1205087191 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hmm? < 1205087198 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :is that AST right? < 1205087212 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i read that as X ++ ([c] = [a,b,c]) < 1205087212 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :where you traverse the structure evaluating every paremeter first < 1205087230 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :yeah that's why I choose such a high fixity for ++ < 1205087271 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i guess i may be totally wrong in thinking prolog equations mean roughly "find values for variables so that equations are true" < 1205087282 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :in that case i just don't like the language < 1205087288 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :which is kinda hard to argue :P < 1205087316 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :"find values for variables so that equations are true" is totally wrong < 1205087329 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i guess < 1205087384 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :but you can write a lot thinking it works like that < 1205087393 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*lot of programs thinkgin < 1205087400 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*thinking < 1205087535 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: what's wrong with that, where does it fail? < 1205087587 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :You cannot enjoy writing code with that mindset < 1205087618 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :you can't? < 1205087625 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i sure can < 1205087633 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well < 1205087651 0 :fizzie!unknown@unknown.invalid QUIT :brown.freenode.net irc.freenode.net < 1205087651 0 :tejeez!unknown@unknown.invalid QUIT :brown.freenode.net irc.freenode.net < 1205087651 0 :Deewiant!unknown@unknown.invalid QUIT :brown.freenode.net irc.freenode.net < 1205087651 0 :jix!unknown@unknown.invalid QUIT :brown.freenode.net irc.freenode.net < 1205087652 0 :lament!unknown@unknown.invalid QUIT :brown.freenode.net irc.freenode.net < 1205087666 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :not entirely, distinction of "=" and "is" doesn't make much sense thinking that way < 1205087675 0 :jix!n=jix@dyndsl-085-016-239-229.ewe-ip-backbone.de JOIN :#esoteric < 1205087675 0 :fizzie!n=fis@sesefras.zem.fi JOIN :#esoteric < 1205087675 0 :Deewiant!n=mniemenm@iruel.hut.fi JOIN :#esoteric < 1205087675 0 :tejeez!n=tejeez@dsl-lhtgw1-fe7adf00-87.dhcp.inet.fi JOIN :#esoteric < 1205087675 0 :lament!n=lament@S010600110999ad06.vc.shawcable.net JOIN :#esoteric < 1205087679 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :is shouldn't be taught < 1205087706 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :what do you mean? < 1205087714 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :that it's stupid? :P < 1205087723 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :doing lots of numerical work in Prolog is not good < 1205087787 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Doggy Muzzle < 1205087787 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Doggy Muzzle < 1205087787 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric : £107.00 < 1205087787 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Displaying 1 to 7 (of 7 products) Pages: < 1205087788 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :prolly < 1205087799 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Damn copypasta < 1205087816 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :btw is there a prolog bot :-) < 1205087822 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1205087823 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :Tomy < 1205087829 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :on #prolog? < 1205087844 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :yeah, not there just now though < 1205087844 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :guess i could just check the userlist < 1205087847 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :god i'm lazy < 1205087852 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i see < 1205087859 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I wrote something silly just now :) < 1205087869 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :metacircular thing < 1205087885 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :http://rafb.net/p/06NXcc30.txt < 1205087921 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :It's printing out a derivation of running a metacircular query < 1205087975 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Heh. Love the logical symbols with slashes < 1205088005 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :\= ? < 1205088102 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :\= means not unifiable < 1205088288 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :okierific < 1205088496 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :*kablamo < 1205088589 0 :timmytiptoe!n=timmytip@ip5650c543.direct-adsl.nl JOIN :#esoteric < 1205089314 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :s < 1205089328 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :5 < 1205089383 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :§ < 1205090217 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :$ < 1205090255 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :ζ < 1205090257 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I ran out of chars for s, so here's a poster : http://www.mathematicianspictures.com/math_images/ADA_20x30r01_275w30=MATH_P_LOVE_R01_THUMB.JPG < 1205090335 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :śŜŝŞşŠșșṠṤṦṨṢṡṩṨsⓈⓢ⒮ < 1205090390 0 :fizzie!unknown@unknown.invalid QUIT :brown.freenode.net irc.freenode.net < 1205090390 0 :tejeez!unknown@unknown.invalid QUIT :brown.freenode.net irc.freenode.net < 1205090390 0 :Deewiant!unknown@unknown.invalid QUIT :brown.freenode.net irc.freenode.net < 1205090390 0 :timmytiptoe!unknown@unknown.invalid QUIT :brown.freenode.net irc.freenode.net < 1205090392 0 :lament!unknown@unknown.invalid QUIT :brown.freenode.net irc.freenode.net < 1205090392 0 :jix!unknown@unknown.invalid QUIT :brown.freenode.net irc.freenode.net < 1205090426 0 :timmytiptoe!n=timmytip@ip5650c543.direct-adsl.nl JOIN :#esoteric < 1205090426 0 :jix!n=jix@dyndsl-085-016-239-229.ewe-ip-backbone.de JOIN :#esoteric < 1205090426 0 :fizzie!n=fis@sesefras.zem.fi JOIN :#esoteric < 1205090426 0 :Deewiant!n=mniemenm@iruel.hut.fi JOIN :#esoteric < 1205090426 0 :tejeez!n=tejeez@dsl-lhtgw1-fe7adf00-87.dhcp.inet.fi JOIN :#esoteric < 1205090426 0 :lament!n=lament@S010600110999ad06.vc.shawcable.net JOIN :#esoteric < 1205090587 0 :fizzie!unknown@unknown.invalid QUIT :brown.freenode.net irc.freenode.net < 1205090587 0 :tejeez!unknown@unknown.invalid QUIT :brown.freenode.net irc.freenode.net < 1205090587 0 :Deewiant!unknown@unknown.invalid QUIT :brown.freenode.net irc.freenode.net < 1205090588 0 :lament!unknown@unknown.invalid QUIT :brown.freenode.net irc.freenode.net < 1205090588 0 :jix!unknown@unknown.invalid QUIT :brown.freenode.net irc.freenode.net < 1205090590 0 :timmytiptoe!unknown@unknown.invalid QUIT :brown.freenode.net irc.freenode.net < 1205090609 0 :timmytiptoe!n=timmytip@ip5650c543.direct-adsl.nl JOIN :#esoteric < 1205090609 0 :jix!n=jix@dyndsl-085-016-239-229.ewe-ip-backbone.de JOIN :#esoteric < 1205090609 0 :fizzie!n=fis@sesefras.zem.fi JOIN :#esoteric < 1205090609 0 :Deewiant!n=mniemenm@iruel.hut.fi JOIN :#esoteric < 1205090609 0 :tejeez!n=tejeez@dsl-lhtgw1-fe7adf00-87.dhcp.inet.fi JOIN :#esoteric < 1205090609 0 :lament!n=lament@S010600110999ad06.vc.shawcable.net JOIN :#esoteric < 1205090839 0 :fizzie!unknown@unknown.invalid QUIT :brown.freenode.net irc.freenode.net < 1205090839 0 :tejeez!unknown@unknown.invalid QUIT :brown.freenode.net irc.freenode.net < 1205090839 0 :Deewiant!unknown@unknown.invalid QUIT :brown.freenode.net irc.freenode.net < 1205090841 0 :lament!unknown@unknown.invalid QUIT :brown.freenode.net irc.freenode.net < 1205090841 0 :jix!unknown@unknown.invalid QUIT :brown.freenode.net irc.freenode.net < 1205090842 0 :timmytiptoe!unknown@unknown.invalid QUIT :brown.freenode.net irc.freenode.net < 1205090882 0 :timmytiptoe!n=timmytip@ip5650c543.direct-adsl.nl JOIN :#esoteric < 1205090882 0 :jix!n=jix@dyndsl-085-016-239-229.ewe-ip-backbone.de JOIN :#esoteric < 1205090882 0 :fizzie!n=fis@sesefras.zem.fi JOIN :#esoteric < 1205090882 0 :Deewiant!n=mniemenm@iruel.hut.fi JOIN :#esoteric < 1205090882 0 :tejeez!n=tejeez@dsl-lhtgw1-fe7adf00-87.dhcp.inet.fi JOIN :#esoteric < 1205090882 0 :lament!n=lament@S010600110999ad06.vc.shawcable.net JOIN :#esoteric < 1205091160 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :HEH. < 1205091219 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Grr. Why does my computer think it's still MST? < 1205091822 0 :timmytiptoe!unknown@unknown.invalid QUIT :"Leaving" < 1205092710 0 :slereah_!n=slereah@ANantes-252-1-13-240.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1205092732 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1205093627 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Halp. who knows something that can convert a png file into ansi? < 1205093663 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Wouldn't an ASCII image generator do the trick? < 1205093686 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :No. < 1205093688 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*ANSI* < 1205093691 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :As in with colour codes < 1205093696 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Oh. < 1205093701 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :I'm not too good on codes. < 1205093703 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :cacaview does it < 1205093706 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :butit's ncurses thingy < 1205093708 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it can't dump to afile < 1205094175 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1205094182 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :: #kilbot < 1205094404 0 :slereah_!unknown@unknown.invalid QUIT :Remote closed the connection < 1205094420 0 :slereah_!n=slereah@ANantes-252-1-13-240.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1205094920 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1205096628 0 :ehird!unknown@unknown.invalid NICK :a < 1205096631 0 :a!unknown@unknown.invalid PRIVMSG #esoteric :oops < 1205096633 0 :a!unknown@unknown.invalid NICK :ehird < 1205096658 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Hello mister A. < 1205096664 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :I am mister N. < 1205096872 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"As a rule, I dont use Perl-based shite, so Ack is off the table right off the bat. Anything that eliminates the usage of probably the worst programming language ever conceived is a good step forward in my book." < 1205096890 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I'll ignore this decent software because I don't like Perl and it affects me! What do you mean I'm insecure?? < 1205097040 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :ack excluded source files for me, and iirc did some seriously weird shit when used with cygwin, so I've gone back to grep -Ir < 1205097056 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :olsner: even so. < 1205097101 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :'I won't use ack because it's Perl HEY I READ THIS INTERNET ARTICLE IT SAID PERL SUCKS AND RUBY IS AWESOME!! DO YOU KNOW ABOUT RUBY?? I AM GOING TO KILL PERL!! I WON'T USE ACK IT'S PERL. HEY EVERYONE, NEW PROJECT! RUBYACK. IT'S ACK BUT IN RUBY. OH WAIT WOW THIS ARC THING LOOKS PRETTY GOOD. .......... < 1205097496 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :LMAO < 1205097510 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Of course, Ack is more awful than Perl. :p < 1205097525 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Ack is a grep replcaement. I don't see the comparison basis. :p < 1205097539 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ehird: Perl *can* be used in that place. < 1205097557 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Of course, Perl can also be used for everything else. . . < 1205097561 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :And still be unreadable. < 1205097568 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: egobfi pipeline is my grep < 1205097568 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :<3 < 1205097580 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I have slaves to do that for me. < 1205097590 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :sometimes i just evaluate the regular expressions with _my mind_, though < 1205097620 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :egobfi? < 1205097636 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :olsner: EgoBot's brainfuck implementation. Rating: 'pretty good'. < 1205097641 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :ehird: hmm, and how many megabytes per second can your mind scan? < 1205097657 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :bff.c is arguably better for sheer speed (and we all know that's what matters) but egobfi has more tweaky options < 1205097686 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :so, you write brainfuck programs rather than grep and regexps? < 1205097693 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :yes :D < 1205097697 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i compile them with _my mind_ < 1205097723 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i just _stare_ at the computer and it spawns egobfi for me with the right program < 1205097723 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :wow, _your mind_ sure sounds powerful :P < 1205097750 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :I bet oleg has such powers over ghc, if rumours are any indication < 1205097750 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :what's _your mind_? < 1205097753 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ITYM _my mind_ < 1205097755 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :ehird is the next step in evoluton < 1205097775 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :yes, of course, _my mind_ < 1205097781 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :slereah_: Bu..but reddit says that's meant to be Ron Paul! < 1205097787 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :HOW COULD REDDIT LIE TO ME :( < 1205097788 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :PLON RAU! < 1205097793 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :PRO LUNA! < 1205097805 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :I'm thinking about getting a _comind_ with secret category-theory powers at some point < 1205097809 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :PORN AUL! < 1205097862 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :olsner: wouldn't a comind take power from _my mind_? < 1205097867 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :since it is the opposite of _my mind_ < 1205097888 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Is it like kryptonite? < 1205097893 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :it would draw power from the co-universe, so no < 1205097919 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :a comind is an unthinking device < 1205097935 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :I would have to share that power with the other cominds of course, but there aren't too many, so I think I'd be fine < 1205097941 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: some things cannot be unthunked < 1205097944 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :like infinite lists < 1205097982 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ITYM "unthunk" < 1205097989 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: shush you < 1205097992 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it was part of my joke < 1205098047 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i am merely correcting your grammar. think, thank, thunk. < 1205098088 0 :BMeph!n=chatzill@adsl-76-212-202-40.dsl.sndg02.sbcglobal.net JOIN :#esoteric < 1205098135 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :thank you? < 1205098153 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :quite often, in fact. < 1205098191 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1205098263 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :by the way < 1205098266 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :who here knows LyX < 1205098296 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :*chirp* < 1205098446 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*chirp* < 1205098485 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :ACTION relies on his carpals for latex hacking < 1205098510 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :yesh, well TeX is complex < 1205098514 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and LaTeX is bloated < 1205098521 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :lyx's produced source files are even nice and readable < 1205098521 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::p < 1205098538 0 :calamari!n=calamari@ip24-255-58-177.tc.ph.cox.net JOIN :#esoteric < 1205099334 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, I love lyx < 1205099347 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :use it a lot < 1205099356 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, so yes I know lyx < 1205099370 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :however, I won't answer any question if you haven't read and done the tutorial first < 1205099376 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :and looked in user guide < 1205099430 0 :atsampso1!n=ats@7hw.poik.net JOIN :#esoteric < 1205099450 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :woot i've almost been awake 31hrs < 1205099458 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: the html output is broken < 1205099464 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it outputs soem kind of prettyprinted text < 1205099465 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :in .html < 1205099466 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1205099467 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, haven't used it < 1205099479 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :using pdftex output only < 1205099548 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, just tried it, it looks ok? < 1205099563 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :a table is broken < 1205099567 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :but apart from that < 1205099587 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: i get somethuign like this < 1205099589 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oh and it did a horrible job on equations < 1205099597 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :The Brainfuck Programming Language < 1205099598 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : Elliott Hird < 1205099598 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : 9th March 2008 < 1205099598 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : Abstract < 1205099598 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : Brainfuck is a minimal esoteric programming < 1205099598 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :etc < 1205099600 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :and List class got images < 1205099601 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :plaintext foramtinged < 1205099610 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but iwth html entityioes < 1205099614 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :sorry i can;t ype < 1205099618 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :errrrrrrrrrrrrr? < 1205099636 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oh and index looks like crap < 1205099645 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :but apart from that, quite ok < 1205099652 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :would need some post processing but quite ok < 1205099656 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: i got into view->html < 1205099658 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :anyway I prefer pdf output < 1205099661 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and it gives me a n html page with that source < 1205099662 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :not even html < 1205099663 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, I did export html < 1205099667 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :don't you undestantd what i'm saying :| < 1205099671 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :file -> export -> html < 1205099672 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i click html, it gives me plaintetxt < 1205099673 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :worked here < 1205099682 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1205099684 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : iwas using view->html < 1205099687 0 :slereah__!n=slereah@ANantes-252-1-53-134.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1205099687 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :because there was view->pdf < 1205099688 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :etc < 1205099689 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :that worked < 1205099694 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, view -> html works too < 1205099698 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :what lyx version? < 1205099726 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :$ lyx --version < 1205099727 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :LyX 1.5.4 (Mon, Feb 25, 2008) < 1205099727 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Built on Mar 7 2008, 22:58:56 < 1205099743 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, if it is an older version, try upgrading < 1205099748 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :mac /Applications/LyX-1.5.0-beta2. < 1205099751 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :also it could be a TeX problem < 1205099755 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, duh, that's old < 1205099759 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :beh < 1205099759 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :get 1.5.4 < 1205099763 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :blame the fscking ftp seorver < 1205099767 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ftp link plz < 1205099779 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :no idea < 1205099783 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I get it using portage < 1205099786 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ACTION uses gentoo < 1205099789 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i dont < 1205099793 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :try their website < 1205099796 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :o ise os x, except when ic ant type like now < 1205099796 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :maybe it got a download < 1205099800 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :in which case i use odfgi x < 1205099803 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :or somethign simlar < 1205099821 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :http://www.lyx.org/download/ < 1205099826 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :you *could* have googled < 1205099830 0 :Tritonio_!n=Tritonio@150.140.227.161 JOIN :#esoteric < 1205099831 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :as iirc you told me some time ago < 1205099845 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i diify--yes < 1205099848 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but i lost the ftp link < 1205099851 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :to the actual bins ofr os ox < 1205099853 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, so don't complain < 1205099857 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :you could have googled for lyx < 1205099859 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :sheesh < 1205099859 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1205099860 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hit their website < 1205099864 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but that doesnt get the m the tftp link < 1205099867 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :click download link < 1205099876 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :and look, it got a link for download!? < 1205099879 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :YES IT DOES! < 1205099898 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :"Please use ftp mirrors below in case ftp.lyx.org is down." < 1205099912 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :What's the point of the projection function in the primitive recursive? < 1205099922 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Is there a function that can't be written without it? < 1205099922 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: sowhy not yell at me then :| < 1205099932 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, I found a binary on a ftp mirror < 1205099933 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :for os x < 1205099938 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :but I won't paste link < 1205099941 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :fine, great, so what < 1205099943 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :jeez < 1205099945 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :because you can find it yourself < 1205099946 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1205099948 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :no problem < 1205099955 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :it was like 3 clicks from download page < 1205099963 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: #esoteric is 99% useless because most of the things discussed here can be found elsewhere. < 1205099973 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and as you can notice I am kind of having a mild inability to type right now < 1205099980 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, how comes? < 1205099983 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :which probably bodes un-good for me writing a spec, but :) < 1205100001 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: I think my hands have shut down to power the rest of my body o.o < 1205100006 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, ouch < 1205100010 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ok a link then < 1205100011 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ftp://ftp.lip6.fr/pub/lyx/bin/1.5.4 < 1205100013 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :next time < 1205100014 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :google < 1205100022 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :in that dir is a file for os x < 1205100055 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ueah i just found it < 1205100056 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1205100073 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :theys hould fix their damn ftp not to leave old releases in top level disr < 1205100074 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::| < 1205100079 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :with no newer releases in sight < 1205100080 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :err? < 1205100096 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I just followed link from download page < 1205100101 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :their stuff is not broken < 1205100111 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ftp://ftp.lip6.fr/pub/lyx/ is top dir < 1205100115 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :then I clicked bin < 1205100120 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :and selected last version < 1205100128 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :wtf do you mean old in top dir < 1205100128 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: when i got the old version < 1205100129 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it was there < 1205100130 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :so there < 1205100131 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::p < 1205100134 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :there are no old in top dir < 1205100141 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pre/ or someting < 1205100142 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1205100151 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :well that may have been quite long ago < 1205100152 0 :atsampson!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1205100167 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, anyway html output isn't pretty < 1205100174 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I would suggest pdftex < 1205100192 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: i will choose a system with decent html output < 1205100194 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :that is the end of it < 1205100210 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, well, it will need some post-processing < 1205100218 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :but I think it depends more on tex than lyx < 1205100219 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1205100225 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :so don't complain about lyx < 1205100259 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, here is the latex preamble I'm using for funge08: < 1205100261 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :http://rafb.net/p/oGYwec89.html < 1205100276 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ACTION changes from befunge to funge < 1205100334 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :document class is koma-script article with options: bibtotoc,idxtotoc < 1205100341 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :woot < 1205100342 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :htmnl works now < 1205100354 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, ok < 1205100356 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :my document is kinda lacking in markup though < 1205100356 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::( < 1205100359 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :so it isn't that nice < 1205100359 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, oh? < 1205100364 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: its very simple < 1205100365 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1205100375 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, ah well then that's your input < 1205100379 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1205100388 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: can't think of anywhere to add more semantics though really < 1205100391 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i'll paste the lyx file :) < 1205100406 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, however, lyx doesn't do my document nicely for html, because I made it for pdf < 1205100419 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://rafb.net/p/Gw7czI59.txt < 1205100420 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :because I got some really wide and long tables < 1205100461 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :whatever.lyx is from a different version of LyX, but the lyx2lyx script failed to convert it. < 1205100462 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, ? < 1205100463 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :wtf < 1205100485 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :UnicodeDecodeError: 'utf8' codec can't decode bytes in position 34-39: unsupported Unicode code range < 1205100489 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :that is what I get < 1205100494 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: uh, no idea < 1205100499 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :looks like something messed up with paste? < 1205100503 0 :slereah_!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1205100508 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :unicode gets messed up by pastebin < 1205100509 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :maybe the ''s < 1205100510 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ko < 1205100512 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*ok < 1205100513 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ill filebin < 1205100516 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, can you upload it to a server? < 1205100517 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ah good < 1205100524 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :(wtf is filebin btw?) < 1205100550 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pastbein but for files < 1205100550 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::| < 1205100566 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, "Elliott Hird" <-- is that a male or female name (I'm not a native English!) < 1205100575 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: haha, male < 1205100586 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://filebin.ca/kjeqq/test.lyx < 1205100608 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :that works < 1205100687 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, that's short < 1205100724 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, why a subscript bignum? < 1205100730 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Wasn't Elliott the guy with a magical dragon in some movie? < 1205100748 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Or possibly Elliott was the dragon < 1205100759 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :the dragon i think < 1205100779 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION googles < 1205100803 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Pete's_Dragon < 1205100881 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, lyx really needs at least 5-10 pages to be able to show it's awesomness < 1205101006 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :latex looks weird in pdfs tho.. the letters are all different sizes < 1205101039 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :calamari, nah < 1205101044 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: yeah < 1205101050 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :that depends on what options you use < 1205101061 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :very distracting.. have to print it out or zoom way in < 1205101067 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :or do you mean the actual string "LaTeX" < 1205101068 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :? < 1205101075 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :no, the documents < 1205101084 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ACTION is back < 1205101090 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: because Brainfuck_N < 1205101093 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :so Brainfuck_bignum < 1205101110 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :also, I think you mean 'Computer Modern' looks weird < 1205101118 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, I use helvetica < 1205101121 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :a sec < 1205101126 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Which just means that you don't share Knuths sense of aesthetics < 1205101129 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pretty common ;) < 1205101137 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, I can't get filebin to work? < 1205101174 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :it's the "research paper pdf" look.. instantly recognizable that they used latex < 1205101180 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: kill it < 1205101187 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hahh < 1205101191 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, kill what? < 1205101192 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :calamari: no, it's the Default-Latex-font-look < 1205101209 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :calamari: yes, Computer Modern has a distinct style. most of the fonts & font tech you're used to wasn't around when it was designed. < 1205101225 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :however its actually a nice font, just takes getting used to ;) < 1205101236 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I would make my webpages Computer Modern if anyone had the font! < 1205101281 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ACTION does the paste binary files on nopaste trick < 1205101287 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :needs a special command line tool < 1205101304 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :this is my befunge08 draft, use wget or curl to get it, firefox or such would fail at it < 1205101311 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :http://rafb.net/p/2sIDlA55.txt < 1205101313 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :it is a pdf < 1205101314 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :ehird: I'll take your word for it < 1205101318 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :calamari, look at it < 1205101324 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :do you think it got those issues? < 1205101349 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :I think that shouldn't be ".txt" :) < 1205101359 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :calamari, blame nopaste < 1205101362 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :hehe < 1205101362 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: dude give source < 1205101362 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :just use wget or curl < 1205101364 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :then rename it < 1205101366 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :NOBODY wants to download a pdf < 1205101368 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, I will < 1205101376 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, what? < 1205101380 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :yes you want < 1205101389 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :well, no < 1205101392 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i for one won't :) < 1205101392 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :it works very well in konqueror < 1205101393 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1205101402 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, still please take a look at this one < 1205101429 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :the image in appendix c, I'm rendering a better one atm < 1205101442 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :just waiting a few hours for blender to finish it < 1205101456 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :one way to tell you have too much crap on your desktop: cannot find a file you just downloaded < 1205101483 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :calamari, haha < 1205101488 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :calamari, so what do you think of it < 1205101494 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :a browser would mess it up < 1205101500 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Hello, world! How arey ou today? I think a little bit of my typing ability has come back so I am typing quickly to test. < 1205101502 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Oh, not bad. < 1205101503 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: that is from LaTeX? < 1205101507 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :calamari, it is < 1205101510 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: lex! lex! lex! lex! lex! < 1205101513 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :errr < 1205101514 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i mean < 1205101514 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :lyx < 1205101515 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :okay cool.. see that looks fine < 1205101528 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :eh yes from lyx < 1205101531 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :and lyx uses latex < 1205101532 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :so.. < 1205101533 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :no i mean < 1205101535 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :LYX SRC < 1205101536 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :PLZ < 1205101544 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :so it's the defgault font that looks like crap < 1205101553 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, ah well pastebin mess it up < 1205101554 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric ::( < 1205101556 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :calamari: it's the default font that you're not used to < 1205101564 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i can guarantee you that Computer Moden is beautiful ;) < 1205101586 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :in an ugly kind of way < 1205101589 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, the lyx source would make no sense < 1205101597 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :it includes stuff like external *.eps < 1205101599 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :and *.png < 1205101620 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :ACTION goes baqck to working on his rubik's cube cipher < 1205101687 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, but I'll send it in some way < 1205101773 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, http://rage.kuonet.org/~anmaster/funge08.tar.bz2 < 1205101795 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, note, I haven't gotten permission to reuse this really yet, I'm waiting for answer on license on funge98 < 1205101815 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, so I'll remove the file in 5 minutes < 1205101817 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hurry < 1205101832 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :people on #esoteric are simultaneously paranoid and lax.. < 1205101846 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, got it yet? < 1205101861 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ACTION pulls it for his archive of censored files < 1205101863 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :the images I both made myself < 1205101874 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :pikhq, likely it will be allowed soon < 1205101883 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :or I'll rewrite it from scratch < 1205101891 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :pikhq, it is just a copyright issue of the text < 1205101898 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Hmm. Not seeing the guy responsible in here ATM. < 1205101899 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :anyway it is funge98 standard, extended < 1205101915 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, have you fetched it or not? < 1205101966 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, also mine is optimized for being made into a pdf < 1205101973 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :like the \usepackage{microtype} < 1205101980 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :just for pdf < 1205101988 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :makes some nicer typesetting < 1205102042 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, also you may want to change from "indent new paragraphs" to "use vertical skip" < 1205102049 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :it will help for web page at least < 1205102138 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :5 minutes passed < 1205102140 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :removed file < 1205102146 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, I'm making some changes to your file < 1205102231 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, you want to post-process that file however < 1205102248 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :to change the _bignum thing from an image to using the html or whatever it is < 1205102329 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it doesnt use an image < 1205102331 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :its 100% pure html < 1205102331 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :kthx < 1205102773 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, it isn't here < 1205102774 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :weird < 1205102792 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, anyway you got my lyx source < 1205102796 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :what did you think of it? < 1205102797 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1205103486 0 :CakeProphet!n=CakeProp@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1205103682 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, ? < 1205103738 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :I just found the bugs in my Protected-Mode bootstrap: 1) mistook dd for dw when building the far jump 2) forgot to add the 32-bit jump prefix to the same far jump 3) called real-mode interrupts after resetting idt (and gdt) 4) misunderstood nasm macros, generating completely bogus data in my gdt 5) misunderstood the format of the gdt limit parameter 6) didn't disable interrupts until after loading the idt with an empty < 1205103738 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :table < 1205103751 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :I wonder what the heck I was doing back then < 1205103872 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :TM? < 1205103896 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :TM? 386! < 1205103917 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :SK! 42. < 1205104382 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Screwing everything up. < 1205104532 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :just about... but now I do have something that boots up, reads a bootstrap from disk, calls the bootstrap, successfully enters PM then prints a C in the upper-left corner of the screen (from PM), then halts < 1205104550 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :the question now is what the heck the purpose of this thing was < 1205104592 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :probably some megalomaniac scheme of writing your own OS < 1205104667 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :could be... the modification date on this thing, before I started nesting yesterday, was some time in July 2003 < 1205104668 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ACTION has something that gets loaded from Grub, successfully set up user mode and kernel mode, then prints out the GDT < 1205104741 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :wow, it even has a user and kernel mode? < 1205104748 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Yeah. < 1205104756 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :It doesn't *use* said user and kernel mode yet, though. < 1205104761 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :No multitasking. ;) < 1205104771 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :bah, how hard can it be < 1205104774 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Still, it'd be fairly trivial to enter user mode. < 1205104779 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Just a long jump into it. < 1205104791 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ACTION sighs < 1205104792 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I believe it's sector 0x18 that's user mode's CS? < 1205104802 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :s/sector/segment/ < 1205104807 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :depends on the gdt :P < 1205104822 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :I only have a kernel-mode CS and DS thus far < 1205104824 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ACTION reads gdt.c again < 1205104830 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric : gdt_set_gate(3, 0xFFFFFFFF, 0, GDT_USERCODE, GDT_FLAGS); < 1205104842 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I'd say that's doing user-mode CS and 0x18. < 1205104847 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :s/and/at/ < 1205104847 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :can't seem to find a sequence of moves that gives a period > 1260 < 1205104857 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :gdt_set_gate? I think I know which tutorial you've been using :P < 1205104883 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I'm not using a tutorial. < 1205104893 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I wrote that all by myself. . . < 1205104909 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :The tutorial that I found first, which had that function in it, was truly awful, though. < 1205104921 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :"Copy this code. Everything will work!" < 1205104923 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :*Ugh*. < 1205105003 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :[22:20] gdt_set_gate? I think I know which tutorial you've been using :P < 1205105007 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i said exactly the same thing < 1205105010 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but for his putchar routines < 1205105025 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :bah, putchar? the console is a framebuffer! < 1205105026 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :while that tutorial may suck, the ohers are all worse ;) < 1205105048 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :fun idea: no text mode ever implemented < 1205105055 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ehird: Like I said: I wrote my stuff all on my own. ;) < 1205105058 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :the gui is heavily baked in and made to be as optimized as possible < 1205105065 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and is just as stable as the text mode < 1205105065 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :;) < 1205105066 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Well, except for the multiboot stub, makefile, and linker script. < 1205105073 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :no more shitty gui layers! < 1205105087 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :of course you could write a terminal driver that just outputs to a terminal gui window. < 1205105094 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ehird: So. . . you have GUI pretty damned quickly? < 1205105117 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Well, the GUI should reeeaaaally be saved to later. BUT, this way is fun :D < 1205105125 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :calamari: in rubik's cube? that's the period of turning one face, then the whole cube, isn't it. < 1205105128 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Make it X-compatible, and I'll be impressed. < 1205105133 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :you'd actually, you know, have to think about your gui and its implications and its stability < 1205105136 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: bah < 1205105137 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :compatibility < 1205105139 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :who needs it < 1205105151 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :*shrug* < 1205105163 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Anyways: I had a really insane idea for my syscall interface. < 1205105175 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: trying to find a fixed sequence of moves with the longest period.. i.e. after doing these same exact moves X times, for which moves is X largest? < 1205105185 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Write the syscall and its arguments to 0x00, then int 66h. ;p < 1205105197 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: So .. basically linuxs syscal. < 1205105200 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :But with diff. mem addrs < 1205105201 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :so far the best is an 8 move sequence period 1260 < 1205105202 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ehird: No. < 1205105212 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Linux's syscall has the syscall arguments in registers. < 1205105215 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :you mean overload the segmentation fault handler for syscalling? < 1205105226 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :I think I'll try adding some feedback to see if I can create a longer period < 1205105233 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :olsner: No; use paging to actually map 0x00 somewhere. < 1205105245 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :ah, yes, that makes more sense < 1205105275 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :but I somewhat like the idea of null pointers giving segmentation faults when accessed < 1205105313 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I like the idea of making Malbolge the user programming language. < 1205105364 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Hey! ESO already exists < 1205105365 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :>:( < 1205105376 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ACTION should *probably* make a Brainfuck interpreter the first running program on this kernel. < 1205105415 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :calamari: the biggest period may not be that big < 1205105421 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: with loads of memory map stuffed < 1205105424 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and make it binary brainfuck < 1205105428 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :so you can program your os in it! < 1205105433 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :then transform the interp + co into asm < 1205105435 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :LMAO < 1205105437 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and you will truly have a brainfuck OS < 1205105463 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :you can also micro-optimize the (probably tiny) brainfuck interp for every byte it's got. that would be fun :-) < 1205105563 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i really want to get my os project going sometime < 1205105571 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :watching gcc compile something on it would be awesome < 1205105572 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::-) < 1205105616 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: i assume your kernel will be monolithic < 1205105617 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :os = fix (recompile . boot) < 1205105632 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :olsner: QEmu represent. < 1205105643 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i think i'll probably make a monolith first, then try my random wacky microkernel idea after that :p < 1205105646 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :hmm? < 1205105664 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(the basic idea is that most 'microkernel's really suck because their concept of a process is too heavyweight, and their IPC stuff is terrible) < 1205105667 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(so: fix that.) < 1205105682 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :the problem is, the more you do cool ideas, the less likely you are to run gcc.. < 1205105759 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oh, and if i get either one of those up, after a year or so i'll think about toying around with some gui concepts i had < 1205105775 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :like a shell that integrates with a gui properly but isn't one of those god-damn awful 'GUI SHELLZ' you see around < 1205105943 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1205105950 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but really i just want to mess around in kernelspace < 1205106927 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: i wonder how much a microkernel could actually refer < 1205106934 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ACTION has an idea for a filesystem. . . < 1205106944 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :if we have the kernel as process 0, and call it the 'procd' < 1205106951 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Anyone familiar with the UMSDOS filesystem of Linux 2.0-2.4? < 1205106955 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and all it does is the minimum neccessary for processes + ipc < 1205106959 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :then you could even put: < 1205106967 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :console drivers, etc. in their own module < 1205106987 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :of course your process structure would get optimized pronto; you'd have a hell of a lot of procs ;) < 1205107019 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I assume you'd have that sucker use Multiboot. < 1205107031 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :(otherwise, good luck getting all your processes up and running. ;)) < 1205107121 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Meh. < 1205107127 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It would do it all itself ;) < 1205107134 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :handle its own procs etc < 1205107147 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :The idea is that there is no 'root process' < 1205107157 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :procd (cheap name for 'the core kernel') is proc 0 < 1205107164 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but when it spawns off stuff, they aren't a child of procd < 1205107175 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :because procd's "children" are not children at all, they have no parents (awwww) < 1205107199 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :basically, procd would be the very minimum you need at the base: super-strong, fast glue.