Conversation with #inferno at Wed May 27 02:41:58 2009 on powerman-asdf@irc.freenode.net (irc) (04:30:36) te_ is now known as te (05:20:44) a2n left the room (quit: Read error: 104 (Connection reset by peer)). (05:20:58) a2n [n=a2n@163.23.105.193] entered the room. (05:30:28) underspecified_ left the room (quit: ). (05:43:14) eno__ left the room (quit: Read error: 104 (Connection reset by peer)). (06:16:56) paigeadele left the room (quit: leguin.freenode.net irc.freenode.net). (06:17:37) paigeadele [i=erratic@75-146-55-252-Washington.hfc.comcastbusiness.net] entered the room. (06:49:07) underspecified [n=eric-n@leopard175.naist.jp] entered the room. (09:15:22) underspecified_ [n=eric@walnut.naist.jp] entered the room. (09:22:15) underspecified__ [n=eric@isa7-dhcp-116-239.naist.jp] entered the room. (09:40:41) underspecified_ left the room (quit: Read error: 110 (Connection timed out)). (10:01:23) npe [n=npe@195.207.5.2] entered the room. (11:49:45) underspecified__ left the room (quit: ). (12:20:37) gualteri [n=unknown@crespins.disca.upv.es] entered the room. (14:47:03) underspecified_ [n=eric@softbank220043052007.bbtec.net] entered the room. (16:10:31) anothy_x left the room (quit: Remote closed the connection). (16:10:34) newmanbe [n=btdn@99-189-120-112.lightspeed.milwwi.sbcglobal.net] entered the room. (17:12:03) gualteri left the room (quit: "leaving"). (18:40:16) newmanbe left the room (quit: "Leaving"). (18:50:34) newmanbe [n=btdn@99-189-120-112.lightspeed.milwwi.sbcglobal.net] entered the room. (18:52:48) eno [n=eno@nslu2-linux/eno] entered the room. (19:04:41) npe left the room (quit: Read error: 60 (Operation timed out)). (20:28:14) npe [n=npe@91.179.125.247] entered the room. (21:39:03) newmanbe left the room (quit: "Leaving"). (22:31:30) npe left the room (quit: ). (23:51:41) stu8ball left the room (quit: leguin.freenode.net irc.freenode.net). (23:51:54) stu8ball [n=stuart@aurora.ossified.net] entered the room. (00:42:57) sea-gull left the room (quit: "Lost terminal"). (01:13:51) te left the room (quit: Read error: 110 (Connection timed out)). (03:02:29) te [i=tao@gateway/shell/blinkenshell.org/x-e36a2b7b458c06b0] entered the room. (04:50:47) underspecified left the room (quit: leguin.freenode.net irc.freenode.net). (04:50:47) a2n left the room (quit: leguin.freenode.net irc.freenode.net). (04:51:02) underspecified [n=eric-n@leopard175.naist.jp] entered the room. (04:51:02) a2n [n=a2n@163.23.105.193] entered the room. (04:54:10) underspecified_ left the room (quit: ). (05:30:52) caerwyn [n=chatzill@c-76-119-5-71.hsd1.ma.comcast.net] entered the room. (06:25:43) caerwyn left the room (quit: "ChatZilla 0.9.84 [Firefox 3.0.10/2009042316]"). (06:40:57) underspecified_ [n=eric@walnut.naist.jp] entered the room. (06:45:58) MEIA_FASE [n=Alexandr@189.7.193.9] entered the room. (06:49:47) MEIA_FASE left the room (quit: Client Quit). (06:57:16) underspecified_ left the room (quit: ). (06:58:19) underspecified_ [n=eric@walnut.naist.jp] entered the room. (07:22:29) sea-gull [n=sea-gull@95-28-243-36.broadband.corbina.ru] entered the room. (09:08:40) te left the room (quit: Read error: 110 (Connection timed out)). (09:30:39) underspecified_ left the room (quit: ). (09:33:39) sea-gull: mjl-: Hi! Are there functions like sizeof and offsetof in Limbo? (09:59:14) te [i=tao@gateway/shell/blinkenshell.org/x-1fcbaea210384f4d] entered the room. (10:12:07) npe [n=npe@195.207.5.2] entered the room. (10:45:02) underspecified_ [n=eric@walnut.naist.jp] entered the room. (11:00:54) underspecified_ left the room (quit: ). (11:07:48) te is now known as pbqr (11:10:02) pbqr is now known as Qriva (11:15:59) mjl-: yo sea-gull! (11:16:11) mjl-: i don't think so (11:16:15) mjl-: but why do you need them? (11:16:25) mjl-: offsetof doesn't make much sense, as you can't make your own pointers (11:16:34) mjl-: do you want to know the memory usage of your data structures? (11:16:43) mjl-: or are you packing/unpacking data from/to disk to/from adt's? (11:29:06) sea-gull: mjl-: I need them for reading index file. Constants can be used but I thought there's more flexible way (11:31:28) mjl-: neh, normally you just write some Adt.pack & Adt.unpack functions that turn an array of byte into the Adt, or Adt into an array of byte (11:59:33) sqweek: speaking of pack/unpack, how do you do that for ints/floats? (12:00:02) sqweek: i was trying to write some limbo to generate a sine wave to /dev/audio awhile back and got stuck there (12:04:44) mjl-: hah, i was writing something like it in c (12:04:47) mjl-: well, for ints (12:05:06) mjl-: ints are obvious i think? i usually make a function p32(d: array of byte, v: int) (12:05:20) sqweek: yeah i did in in c already :) (12:05:39) sqweek: ah right, and just use bitwise ops? (12:05:42) mjl-: o := 0; and then four of: d[o++] = byte (v>>24); with four different shifts (12:06:40) mjl-: yeah, for incoming i just |= with different shifts (12:06:53) mjl-: but for floats i think there is some function (12:06:58) mjl-: i haven't used them much though (12:07:23) mjl-: math.m has import_real & export_real (12:07:43) mjl-: there is something in the mailing list on that (12:07:48) mjl-: i think maht once asked for it (12:46:06) underspecified_ [n=eric@walnut.naist.jp] entered the room. (12:53:20) underspecified_ left the room (quit: ). (13:22:15) gualteri [n=unknown@crespins.disca.upv.es] entered the room. (16:15:03) newmanbe [n=btdn@99-189-120-112.lightspeed.milwwi.sbcglobal.net] entered the room. (17:03:43) underspecified_ [n=eric@softbank220043052007.bbtec.net] entered the room. (17:32:24) newmanbe left the room (quit: "Leaving"). (17:46:57) anothy_x [n=a@adsl-99-25-148-145.dsl.bcvloh.sbcglobal.net] entered the room. (18:01:21) gualteri left the room (quit: "leaving"). (21:32:51) paigeade1e [i=erratic@75-146-55-252-Washington.hfc.comcastbusiness.net] entered the room. (21:34:03) paigeadele left the room (quit: Read error: 104 (Connection reset by peer)). (21:42:05) npe left the room (quit: ). (22:59:30) sea-gull left the room (quit: "Lost terminal"). (07:25:40) Qriva left the room (quit: leguin.freenode.net irc.freenode.net). (07:25:40) a2n left the room (quit: leguin.freenode.net irc.freenode.net). (07:25:40) underspecified left the room (quit: leguin.freenode.net irc.freenode.net). (07:27:47) Qriva [i=tao@gateway/shell/blinkenshell.org/x-41c3fbd7245cd612] entered the room. (07:28:27) a2n [n=a2n@163.23.105.193] entered the room. (07:31:50) underspecified [n=eric-n@leopard175.naist.jp] entered the room. (11:08:26) npe [n=npe@195.207.5.2] entered the room. (11:48:40) sea-gull [n=sea-gull@95-28-129-74.broadband.corbina.ru] entered the room. (12:02:40) sea-gul1 [n=manzur@95-28-129-74.broadband.corbina.ru] entered the room. (12:02:49) sea-gul1 left the room (quit: Remote closed the connection). (12:03:06) gualteri [n=unknown@crespins.disca.upv.es] entered the room. (12:15:20) yiyus left the room (quit: Read error: 104 (Connection reset by peer)). (12:30:13) npe_ [n=npe@195.207.5.2] entered the room. (12:45:29) npe left the room (quit: No route to host). (13:30:44) yiyus [n=yiyus@rps6700.ovh.net] entered the room. (15:39:19) npe_ left the room (quit: Read error: 60 (Operation timed out)). (15:43:43) npe [n=npe@195.207.5.2] entered the room. (16:17:02) npe left the room (quit: Read error: 54 (Connection reset by peer)). (16:17:42) npe [n=npe@195.207.5.2] entered the room. (16:26:19) sea-gull left the room (quit: Read error: 113 (No route to host)). (16:36:16) newmanbe [n=btdn@99-189-120-112.lightspeed.milwwi.sbcglobal.net] entered the room. (16:38:57) gualteri left the room (quit: "leaving"). (17:14:37) sea-gull [n=sea-gull@95-28-123-60.broadband.corbina.ru] entered the room. (17:21:10) npe left the room (quit: Read error: 113 (No route to host)). (17:21:51) npe [n=npe@195.207.5.2] entered the room. (17:48:24) npe left the room (quit: Read error: 113 (No route to host)). (17:48:36) npe [n=npe@195.207.5.2] entered the room. (18:27:52) npe left the room (quit: Read error: 104 (Connection reset by peer)). (18:28:42) npe [n=npe@195.207.5.2] entered the room. (18:41:29) npe left the room (quit: Read error: 54 (Connection reset by peer)). (18:41:33) npe [n=npe@195.207.5.2] entered the room. (18:45:28) npe left the room (quit: Read error: 60 (Operation timed out)). (20:11:51) Fish [n=SPARCman@AVelizy-152-1-84-251.w86-217.abo.wanadoo.fr] entered the room. (20:11:52) gualteri [n=unknown@84.123.158.129.dyn.user.ono.com] entered the room. (20:53:31) npe [n=npe@91.179.89.225] entered the room. (21:12:20) sea-gull left the room (quit: "Lost terminal"). (21:22:35) npe_ [i=npe@94-224-248-176.access.telenet.be] entered the room. (21:39:35) npe left the room (quit: Read error: 110 (Connection timed out)). (22:16:21) sea-gull [n=sea-gull@95-28-234-66.broadband.corbina.ru] entered the room. (22:16:59) sea-gull left the room (quit: Client Quit). (22:27:09) npe [n=npe@91.179.89.225] entered the room. (22:48:17) npe_ left the room (quit: Read error: 110 (Connection timed out)). (23:27:07) npe_ [i=npe@94-224-248-176.access.telenet.be] entered the room. (23:41:42) btdn [n=btdn@99-189-120-112.lightspeed.milwwi.sbcglobal.net] entered the room. (23:43:19) npe left the room (quit: Read error: 110 (Connection timed out)). (23:59:16) newmanbe left the room (quit: Read error: 110 (Connection timed out)). (00:40:48) btdn left the room (quit: "Leaving"). (00:44:16) Fish left the room (quit: Remote closed the connection). (00:50:28) npe_ left the room (quit: ). (00:55:41) megaboz [i=none@201.80.224.34] entered the room. (01:07:53) maht [n=maht__@85-189-31-174.proweb.managedbroadband.co.uk] entered the room. (01:19:58) maht_ left the room (quit: Read error: 110 (Connection timed out)). (02:58:25) gualteri_ [n=unknown@84.123.158.129.dyn.user.ono.com] entered the room. (03:10:20) gualteri_ left the room (quit: "leaving"). (03:11:17) vsrinivas [n=venkates@c-98-233-179-39.hsd1.md.comcast.net] entered the room. (03:12:34) gualteri left the room (quit: Read error: 110 (Connection timed out)). (04:59:41) bdheeman [n=bdheeman@122.173.23.253] entered the room. (05:02:00) bdheeman left the room. (06:12:23) vsrinivas left the room (quit: "leaving"). (06:55:50) vsrinivas [n=venkates@c-98-233-179-39.hsd1.md.comcast.net] entered the room. (09:18:47) sea-gull [n=sea-gull@95-28-245-94.broadband.corbina.ru] entered the room. (11:17:36) npe [i=npe@d54C45161.access.telenet.be] entered the room. (11:42:04) Fish [n=SPARCman@AVelizy-152-1-84-251.w86-217.abo.wanadoo.fr] entered the room. (13:28:25) npe left the room (quit: ). (14:10:51) npe [n=npe@195.207.5.2] entered the room. (14:17:13) sea-gull left the room (quit: Read error: 110 (Connection timed out)). (16:03:30) gualteri [n=unknown@84.123.158.129.dyn.user.ono.com] entered the room. (16:37:21) sea-gull [n=sea-gull@95-28-119-106.broadband.corbina.ru] entered the room. (16:49:38) vsrinivas left the room (quit: "leaving"). (17:35:46) newmanbe [n=btdn@99-189-120-112.lightspeed.milwwi.sbcglobal.net] entered the room. (18:20:34) newmanbe left the room (quit: "Leaving"). (18:47:43) npe left the room (quit: Read error: 60 (Operation timed out)). (18:54:21) npe [n=npe@195.207.5.2] entered the room. (20:49:28) eno__ [n=eno@adsl-70-137-146-93.dsl.snfc21.sbcglobal.net] entered the room. (20:51:49) npe left the room (quit: No route to host). (20:59:48) eno left the room (quit: Read error: 110 (Connection timed out)). (21:32:07) eno__ is now known as eno (22:19:50) bjh13 [n=bjh@adsl-76-243-64-32.dsl.lsan03.sbcglobal.net] entered the room. (22:29:24) npe [n=npe@91.179.92.233] entered the room. (22:41:15) sea-gull left the room (quit: "Lost terminal"). (23:07:02) newmanbe [n=btdn@99-189-120-112.lightspeed.milwwi.sbcglobal.net] entered the room. (23:35:52) sea-gull [n=sea-gull@95-28-232-7.broadband.corbina.ru] entered the room. (23:43:06) sea-gull left the room (quit: "Lost terminal"). (23:49:31) sea-gull [n=sea-gull@95-28-129-100.broadband.corbina.ru] entered the room. (00:24:42) npe_ [i=npe@94-224-248-18.access.telenet.be] entered the room. (00:36:10) npe_ left the room (quit: ). (00:38:14) eno__ [n=eno@adsl-70-137-175-96.dsl.snfc21.sbcglobal.net] entered the room. (00:42:03) npe left the room (quit: Read error: 113 (No route to host)). (00:47:59) eno left the room (quit: Read error: 110 (Connection timed out)). (01:18:12) bjh13 left the room (quit: "leaving"). (01:27:46) Fish left the room (quit: Remote closed the connection). (02:23:33) bjorkintosh [n=bjork@ip72-204-40-138.fv.ks.cox.net] entered the room. (05:36:15) eno__ left the room (quit: Read error: 104 (Connection reset by peer)). (05:41:18) eno [n=eno@nslu2-linux/eno] entered the room. (05:50:36) maht left the room (quit: Read error: 110 (Connection timed out)). (06:15:48) maht [n=maht__@85.189.31.174.proweb.managedbroadband.co.uk] entered the room. (06:36:35) newmanbe left the room (quit: "Leaving"). (07:05:23) sea-gull left the room (quit: Read error: 60 (Operation timed out)). (08:45:02) hotaru2k3 [n=hotaru@cpe-66-61-20-230.neo.res.rr.com] entered the room. (09:14:55) sea-gull [n=sea-gull@95-28-232-254.broadband.corbina.ru] entered the room. (10:25:52) Fish [n=SPARCman@AVelizy-152-1-84-251.w86-217.abo.wanadoo.fr] entered the room. (10:35:56) uriel left the room (quit: Remote closed the connection). (11:19:15) hotaru2k3 left the room (quit: "Leaving"). (11:25:34) npe [i=npe@d54C451B4.access.telenet.be] entered the room. (12:16:26) uriel [n=uriel@li43-28.members.linode.com] entered the room. (14:15:21) npe left the room (quit: Read error: 60 (Operation timed out)). (15:08:33) npe [n=npe@195.207.5.2] entered the room. (17:35:23) npe_ [n=npe@195.207.5.2] entered the room. (17:51:13) npe left the room (quit: No route to host). (18:38:46) npe [n=npe@195.207.5.2] entered the room. (18:39:03) npe_ left the room (quit: Read error: 104 (Connection reset by peer)). (20:11:27) bjorkintosh: topic suggestion. (20:11:50) bjorkintosh: can the book by stuart by put in the topic? (21:26:27) npe left the room (quit: Read error: 60 (Operation timed out)). (21:48:10) olegfink left the room (quit: Remote closed the connection). (22:22:53) npe [n=npe@91.179.90.56] entered the room. (22:57:13) gualteri left the room (quit: "leaving"). (23:02:23) npe_ [n=npe@d54C450C4.access.telenet.be] entered the room. (23:18:45) npe left the room (quit: No route to host). (23:30:00) sea-gull left the room (quit: "Lost terminal"). (01:36:18) Fish left the room (quit: Read error: 110 (Connection timed out)). (01:48:26) npe_ left the room (quit: ). (02:15:32) npe [n=npe@91.179.90.56] entered the room. (04:27:05) underspecified_ left the room (quit: ). (05:57:56) hotaru2k3 [n=hotaru@cpe-66-61-20-230.neo.res.rr.com] entered the room. (08:03:31) paigeade1e left the room (quit: Client Quit). (08:12:26) megaboz left the room (quit: leguin.freenode.net irc.freenode.net). (08:12:26) Qriva left the room (quit: leguin.freenode.net irc.freenode.net). (08:12:33) megaboz [i=none@201.80.224.34] entered the room. (08:12:33) Qriva [i=tao@gateway/shell/blinkenshell.org/x-41c3fbd7245cd612] entered the room. (08:12:48) olegfink [n=olegfink@rain.ifmo.ru] entered the room. (08:18:29) sea-gull [n=sea-gull@95-28-25-38.broadband.corbina.ru] entered the room. (08:44:00) anothy_x left the room (quit: Read error: 104 (Connection reset by peer)). (08:51:09) anothy_x [n=a@adsl-99-25-148-145.dsl.bcvloh.sbcglobal.net] entered the room. (09:10:44) underspecified_ [n=eric@isa7-dhcp-116-224.naist.jp] entered the room. (10:53:42) npe_ [n=npe@d54C450C4.access.telenet.be] entered the room. (11:03:08) underspecified_ left the room (quit: ). (11:07:21) npe__ [n=npe@91.179.90.56] entered the room. (11:07:59) npe left the room (quit: Read error: 104 (Connection reset by peer)). (11:17:42) Fish [n=SPARCman@AVelizy-152-1-28-253.w82-120.abo.wanadoo.fr] entered the room. (11:24:17) npe_ left the room (quit: No route to host). (12:30:36) hotaru2k3 left the room (quit: "Leaving"). (12:47:09) npe [n=npe@d54C450C4.access.telenet.be] entered the room. (12:52:53) npe__ left the room (quit: Read error: 60 (Operation timed out)). (14:02:03) npe left the room (quit: Read error: 104 (Connection reset by peer)). (14:02:20) npe [n=npe@d54C450C4.access.telenet.be] entered the room. (14:08:20) npe left the room (quit: Read error: 104 (Connection reset by peer)). (14:09:34) npe [n=npe@d54C450C4.access.telenet.be] entered the room. (15:13:28) mjl-: wow, the full amd64 compilers have been added to inferno? (15:13:49) mjl-: i thought they weren't public (15:14:36) mjl-: hah (15:14:51) mjl-: "this is an intermediate version not yet ready for use", that's clear (15:21:04) olegfink: hm, so there could be a release of inferno/plan9 amd64 kernel? (15:21:53) mjl-: the compilers' readme just say that's its not ready for use. i wouldn't count on it too soon (15:21:58) mjl-: but you never know :) (15:22:20) mjl-: would be a good reason to buy new pc's (15:23:16) olegfink: well, a README consisting solely of one phrase isn't even remotely as entertaining as xoc-unstable.tgz with hardcoded gcc/include paths. (15:24:24) mjl-: :P (15:25:00) olegfink: the inferno's ?c generate plan9's ?.out, right? (15:27:33) olegfink: hm, speaking of utils/, how does utils/rcsh compare to byron's rc? (15:38:40) mjl-: yeah, the a.out format is the same afaik (15:38:44) mjl-: and i don't know about rcsh (16:02:38) underspecified_ [n=eric@softbank220043052007.bbtec.net] entered the room. (16:25:01) anothy_x: afaik, rssh is "real" rc, but for windows. byron's rc isn't quite rc. (16:39:06) Fish left the room (quit: Read error: 104 (Connection reset by peer)). (16:46:26) Fish [n=SPARCman@AVelizy-152-1-56-93.w82-120.abo.wanadoo.fr] entered the room. (17:37:58) sea-gull: stange: man for filter-deflate says that it can work zlib compatible mode. (17:38:22) sea-gull: but in practice it can't inflate what's deflated by zlibc code (17:45:45) mjl-: have you updated recently? (17:45:59) sea-gull: mjl-: no (17:46:05) mjl-: it is a recent addition (17:46:36) mjl-: do you have some sample data that is should be able to inflate, but cannot? (17:46:40) mjl-: then i can test here (17:48:54) sea-gull: mjl-: http://ifile.it/p7ym6za (17:50:44) mjl-: hmm, what kind of file is that? (17:50:56) mjl-: the page says it has a .zip suffix, but unzip can't read it (17:51:10) mjl-: or is that zlib already? (17:51:16) sea-gull: mjl-: it's deflated with zlib. Zip suffix is fake (17:51:24) mjl-: ok (17:53:15) mjl-: it works with both inferno's inflate and pythons zlib here (17:53:30) mjl-: did you pass "z" in the filter parameters/ (17:53:34) sea-gull: mjl-: yes (17:54:32) sea-gull: it's a new feature? I had updated inferno a month ago (17:54:56) mjl-: yeah, relatively new (17:55:07) mjl-: revision 412 it was added (17:55:20) mjl-: Apr 30, 2009 (17:55:26) mjl-: so it's about a month old :) (17:56:29) sea-gull: mjl-: ok, thank a lot :) (18:21:02) mennis [n=mennis@adsl-068-016-104-079.sip.asm.bellsouth.net] entered the room. (18:38:22) mjl-: np, hope it worked (18:39:30) sea-gull: mjl-: I'm going to update it now. btw, why tables module doesn't have "all" method? (19:02:53) mjl-: good question... i've needed one many times. (19:03:12) mjl-: and i have to admit i used the adt definition in tables.m to extract all elements... (19:03:23) mjl-: sometimes i write a different tables-like module... (20:35:23) yiyus left the room (quit: Read error: 104 (Connection reset by peer)). (20:48:23) yiyus [n=yiyus@rps6700.ovh.net] entered the room. (22:39:26) underspecified_ left the room (quit: ). (00:18:17) npe_ [n=npe@d54C450C4.access.telenet.be] entered the room. (00:18:20) npe left the room (quit: Read error: 104 (Connection reset by peer)). (00:26:33) Fish left the room (quit: Remote closed the connection). (00:36:30) npe_ left the room (quit: Read error: 104 (Connection reset by peer)). (00:36:33) npe [i=npe@d54C450C4.access.telenet.be] entered the room. (01:37:21) mennis left the room (quit: Client Quit). (01:40:00) eekee left the room (quit: "Caught sigterm, terminating..."). (02:16:23) anothy_x left the room (quit: Remote closed the connection). (02:16:32) anothy_x [n=a@adsl-99-25-148-145.dsl.bcvloh.sbcglobal.net] entered the room. (02:54:29) paigeadele [i=erratic@75-146-55-252-Washington.hfc.comcastbusiness.net] entered the room. (03:19:38) eekee [n=eekee@cpc3-lanc4-0-0-cust273.brig.cable.ntl.com] entered the room. (04:08:23) sea-gull left the room (quit: Read error: 60 (Operation timed out)). (04:25:42) a2n left the room (quit: leguin.freenode.net irc.freenode.net). (04:25:42) underspecified left the room (quit: leguin.freenode.net irc.freenode.net). (04:26:03) paigeadele left the room (quit: leguin.freenode.net irc.freenode.net). (04:26:03) yiyus left the room (quit: leguin.freenode.net irc.freenode.net). (04:26:08) a2n [n=a2n@163.23.105.193] entered the room. (04:26:13) underspecified [n=eric-n@leopard175.naist.jp] entered the room. (04:26:26) paigeadele [i=erratic@75-146-55-252-Washington.hfc.comcastbusiness.net] entered the room. (04:26:26) yiyus [n=yiyus@rps6700.ovh.net] entered the room. (06:50:02) hotaru2k3 [n=hotaru@cpe-66-61-20-230.neo.res.rr.com] entered the room. (07:38:38) stu8ball left the room (quit: leguin.freenode.net irc.freenode.net). (07:38:38) uriel left the room (quit: leguin.freenode.net irc.freenode.net). (07:38:38) andguent left the room (quit: leguin.freenode.net irc.freenode.net). (07:38:38) eno left the room (quit: leguin.freenode.net irc.freenode.net). (07:38:38) anothy_x left the room (quit: leguin.freenode.net irc.freenode.net). (07:38:38) yiyus left the room (quit: leguin.freenode.net irc.freenode.net). (07:38:38) paigeadele left the room (quit: leguin.freenode.net irc.freenode.net). (07:38:38) underspecified left the room (quit: leguin.freenode.net irc.freenode.net). (07:38:38) a2n left the room (quit: leguin.freenode.net irc.freenode.net). (07:38:38) npe left the room (quit: leguin.freenode.net irc.freenode.net). (07:38:38) Qriva left the room (quit: leguin.freenode.net irc.freenode.net). (07:38:38) megaboz left the room (quit: leguin.freenode.net irc.freenode.net). (07:38:38) maht left the room (quit: leguin.freenode.net irc.freenode.net). (07:38:38) soul9 left the room (quit: leguin.freenode.net irc.freenode.net). (07:38:38) hotaru2k3 left the room (quit: leguin.freenode.net irc.freenode.net). (07:38:38) olegfink left the room (quit: leguin.freenode.net irc.freenode.net). (07:38:38) dagle left the room (quit: leguin.freenode.net irc.freenode.net). (07:38:38) eekee left the room (quit: leguin.freenode.net irc.freenode.net). (07:38:38) sqweek left the room (quit: leguin.freenode.net irc.freenode.net). (07:38:38) mjl- left the room (quit: leguin.freenode.net irc.freenode.net). (07:38:38) MrWGW left the room (quit: leguin.freenode.net irc.freenode.net). (07:38:38) bjorkintosh left the room (quit: leguin.freenode.net irc.freenode.net). (07:38:38) npe_ [n=npe@d54C450C4.access.telenet.be] entered the room. (07:38:38) hotaru2k3 [n=hotaru@cpe-66-61-20-230.neo.res.rr.com] entered the room. (07:38:38) yiyus [n=yiyus@rps6700.ovh.net] entered the room. (07:38:38) paigeadele [i=erratic@75-146-55-252-Washington.hfc.comcastbusiness.net] entered the room. (07:38:38) underspecified [n=eric-n@leopard175.naist.jp] entered the room. (07:38:38) a2n [n=a2n@163.23.105.193] entered the room. (07:38:38) eekee [n=eekee@sourcemage/guru/eekee] entered the room. (07:38:38) anothy_x [n=a@adsl-99-25-148-145.dsl.bcvloh.sbcglobal.net] entered the room. (07:38:38) olegfink [n=olegfink@rain.ifmo.ru] entered the room. (07:38:38) Qriva [i=tao@gateway/shell/blinkenshell.org/x-41c3fbd7245cd612] entered the room. (07:38:38) megaboz [i=none@201.80.224.34] entered the room. (07:38:38) uriel [n=uriel@li43-28.members.linode.com] entered the room. (07:38:38) maht [n=maht__@85.189.31.174.proweb.managedbroadband.co.uk] entered the room. (07:38:38) eno [n=eno@nslu2-linux/eno] entered the room. (07:38:38) bjorkintosh [n=bjork@ip72-204-40-138.fv.ks.cox.net] entered the room. (07:38:38) stu8ball [n=stuart@aurora.ossified.net] entered the room. (07:38:38) soul9 [n=BOFH@unaffiliated/johnnybuoy] entered the room. (07:38:38) andguent [n=andguent@vps832469550.serverpool.info] entered the room. (07:38:38) mjl- [n=none@knaagkever.ueber.net] entered the room. (07:38:38) MrWGW [n=MrWGW@74.124.206.166] entered the room. (07:38:38) sqweek [n=none@203-206-65-102.dyn.iinet.net.au] entered the room. (07:38:38) dagle [n=dagle@host162-104.bornet.net] entered the room. (08:01:06) sea-gull [n=sea-gull@95-28-6-65.broadband.corbina.ru] entered the room. (09:41:19) eno__ [n=eno@adsl-70-137-144-136.dsl.snfc21.sbcglobal.net] entered the room. (09:51:38) eno left the room (quit: Read error: 110 (Connection timed out)). (10:38:49) hotaru2k3 left the room (quit: "Leaving"). (11:21:41) npe_ left the room (quit: ). (11:54:00) stu8ball left the room (quit: leguin.freenode.net irc.freenode.net). (11:54:00) uriel left the room (quit: leguin.freenode.net irc.freenode.net). (11:54:00) andguent left the room (quit: leguin.freenode.net irc.freenode.net). (11:54:00) anothy_x left the room (quit: leguin.freenode.net irc.freenode.net). (11:54:00) yiyus left the room (quit: leguin.freenode.net irc.freenode.net). (11:54:00) paigeadele left the room (quit: leguin.freenode.net irc.freenode.net). (11:54:00) underspecified left the room (quit: leguin.freenode.net irc.freenode.net). (11:54:00) a2n left the room (quit: leguin.freenode.net irc.freenode.net). (11:54:00) megaboz left the room (quit: leguin.freenode.net irc.freenode.net). (11:54:00) Qriva left the room (quit: leguin.freenode.net irc.freenode.net). (11:54:00) maht left the room (quit: leguin.freenode.net irc.freenode.net). (11:54:00) sea-gull left the room (quit: leguin.freenode.net irc.freenode.net). (11:54:00) soul9 left the room (quit: leguin.freenode.net irc.freenode.net). (11:54:00) dagle left the room (quit: leguin.freenode.net irc.freenode.net). (11:54:00) olegfink left the room (quit: leguin.freenode.net irc.freenode.net). (11:54:02) mjl- left the room (quit: leguin.freenode.net irc.freenode.net). (11:54:02) sqweek left the room (quit: leguin.freenode.net irc.freenode.net). (11:54:02) eekee left the room (quit: leguin.freenode.net irc.freenode.net). (11:54:02) MrWGW left the room (quit: leguin.freenode.net irc.freenode.net). (11:54:02) eno__ left the room (quit: leguin.freenode.net irc.freenode.net). (11:54:02) bjorkintosh left the room (quit: leguin.freenode.net irc.freenode.net). (11:54:45) eno__ [n=eno@adsl-70-137-144-136.dsl.snfc21.sbcglobal.net] entered the room. (11:54:45) sea-gull [n=sea-gull@95-28-6-65.broadband.corbina.ru] entered the room. (11:54:45) yiyus [n=yiyus@rps6700.ovh.net] entered the room. (11:54:45) paigeadele [i=erratic@75-146-55-252-Washington.hfc.comcastbusiness.net] entered the room. (11:54:45) underspecified [n=eric-n@leopard175.naist.jp] entered the room. (11:54:45) a2n [n=a2n@163.23.105.193] entered the room. (11:54:45) eekee [n=eekee@sourcemage/guru/eekee] entered the room. (11:54:45) anothy_x [n=a@adsl-99-25-148-145.dsl.bcvloh.sbcglobal.net] entered the room. (11:54:45) olegfink [n=olegfink@rain.ifmo.ru] entered the room. (11:54:45) Qriva [i=tao@gateway/shell/blinkenshell.org/x-41c3fbd7245cd612] entered the room. (11:54:45) megaboz [i=none@201.80.224.34] entered the room. (11:54:45) uriel [n=uriel@li43-28.members.linode.com] entered the room. (11:54:45) maht [n=maht__@85.189.31.174.proweb.managedbroadband.co.uk] entered the room. (11:54:45) bjorkintosh [n=bjork@ip72-204-40-138.fv.ks.cox.net] entered the room. (11:54:45) stu8ball [n=stuart@aurora.ossified.net] entered the room. (11:54:45) soul9 [n=BOFH@unaffiliated/johnnybuoy] entered the room. (11:54:45) andguent [n=andguent@vps832469550.serverpool.info] entered the room. (11:54:45) mjl- [n=none@knaagkever.ueber.net] entered the room. (11:54:45) MrWGW [n=MrWGW@74.124.206.166] entered the room. (11:54:45) sqweek [n=none@203-206-65-102.dyn.iinet.net.au] entered the room. (11:54:45) dagle [n=dagle@host162-104.bornet.net] entered the room. (12:06:45) npe [n=npe@195.207.5.2] entered the room. (15:55:32) tombohannon [n=tombohan@h117.255.18.98.static.ip.windstream.net] entered the room. (17:04:58) olegfink left the room (quit: Remote closed the connection). (17:16:17) tombohannon left the room (quit: ). (17:17:19) tombohannon [n=tombohan@h117.255.18.98.static.ip.windstream.net] entered the room. (17:24:53) mennis [n=mennis@adsl-068-016-104-079.sip.asm.bellsouth.net] entered the room. (17:34:52) eno__ is now known as eno (18:22:51) npe left the room (quit: Read error: 113 (No route to host)). (18:56:43) olegfink [n=olegfink@rain.ifmo.ru] entered the room. (18:58:31) npe [n=npe@d54C450C4.access.telenet.be] entered the room. (20:47:15) tombohannon left the room (quit: ). (21:29:13) underspecified left the room (quit: ). (21:39:04) tombohannon [n=tombohan@adsl-068-016-104-079.sip.asm.bellsouth.net] entered the room. (00:06:10) eekee left the room (quit: Read error: 104 (Connection reset by peer)). (00:06:12) teh_eekster [n=eekee@cpc3-lanc4-0-0-cust273.brig.cable.ntl.com] entered the room. (00:16:29) teh_eekster is now known as eekee (00:25:05) tombohannon left the room (quit: ). (00:35:44) npe left the room (quit: ). (01:20:53) mennis left the room (quit: Client Quit). (01:33:40) tombohannon [n=tombohan@96.32.155.12] entered the room. (01:34:32) maht left the room (quit: leguin.freenode.net irc.freenode.net). (01:37:25) maht [n=maht__@85.189.31.174.proweb.managedbroadband.co.uk] entered the room. (01:42:34) tombohannon left the room (quit: ). (02:27:01) mennis [n=mennis@adsl-158-177-196.mia.bellsouth.net] entered the room. (02:40:20) tombohannon [n=tombohan@96.32.155.12] entered the room. (02:41:07) mennis left the room (quit: Client Quit). (02:45:56) puddingpimp [i=tink@118-92-100-189.dsl.dyn.ihug.co.nz] entered the room. (03:19:56) tombohannon left the room (quit: ). (03:25:30) tombohannon [n=tombohan@96.32.155.12] entered the room. (03:29:11) tombohannon left the room (quit: Client Quit). (03:37:04) mennis [n=mennis@adsl-158-177-196.mia.bellsouth.net] entered the room. (03:49:01) mennis left the room (quit: Client Quit). (04:26:39) hotaru2k3 [n=hotaru@cpe-66-61-20-230.neo.res.rr.com] entered the room. (04:52:42) mennis [n=mennis@adsl-158-177-196.mia.bellsouth.net] entered the room. (05:03:14) mennis left the room (quit: Client Quit). (05:12:57) tombohannon [n=tombohan@96.32.155.12] entered the room. (05:14:46) mennis [n=mennis@adsl-158-177-196.mia.bellsouth.net] entered the room. (05:21:40) mennis left the room (quit: Client Quit). (05:44:02) tombohannon left the room (quit: ). (06:56:53) underspecified [n=eric-n@leopard175.naist.jp] entered the room. (09:18:56) underspecified_ [n=eric@isa7-dhcp-116-233.naist.jp] entered the room. (10:32:06) eno__ [n=eno@adsl-70-137-135-228.dsl.snfc21.sbcglobal.net] entered the room. (10:42:49) eno left the room (quit: Read error: 113 (No route to host)). (10:46:13) hotaru2k3 left the room (quit: "Leaving"). (10:53:45) gualteri [n=unknown@crespins.disca.upv.es] entered the room. (10:56:49) npe [n=npe@195.207.5.2] entered the room. (11:38:23) underspecified_ left the room (quit: ). (14:37:13) tombohannon [n=tombohan@96.32.155.12] entered the room. (14:38:14) pattern [n=pattern@ool-45715287.dyn.optonline.net] entered the room. (14:38:52) pattern: are there any plans to port plan 9 utilities to linux, in the way "plan 9 from user space" was ported ? (14:38:57) pattern: errr... (14:39:04) pattern: are there any plans to port inferno utilities to linux, in the way "plan 9 from user space" was ported ? (14:40:32) mjl-: you mean inferno's limbo programs? that would mean rewriting them to c i suppose. you can already compile & run the inferno c programs in utils/* (including the compilers) on linux and other host systems (14:43:35) pattern: i mean stuff like inferno's shells (14:44:53) pattern: (i'm only beginning to learn about plan 9 and inferno, so please forgive my not knowing whether the shells qualify as "limbo programs", or if they're written in c) (14:46:13) mjl-: if you refer to inferno's sh(1), that is in limbo, and afaik there is no way to run it as "standalone unix program" (as in p9p) or any plans to make it that way (14:46:52) mjl-: you can run limbo programs, e.g. ls like so: emu ls (14:47:19) pattern: would it be possible to run sh on linux in conjunction with some ported server processes? (14:47:36) pattern: or is it just never going to be possible to do this on linux short of through an emulation layer? (14:48:26) mjl-: what do you mean with ported server processes? unix (c) programs that run standalone? and do you want to start those server programs from inferno's shell? (14:49:06) pattern: what i meant by a "ported server process" was some kind of separate process that serves up whatever it is that sh is not getting from linux (14:51:09) mjl-: ah, you can get linux functionality into inferno in various ways. the least intrusive is probably to use os(1) to start linux (or any hosted os) programs from within inferno (such as a shell inside inferno) (14:51:32) mjl-: you can start a linux program and talk to it over some file descriptor to it. (14:51:32) pattern: oh, no i wan't asking about getting linux functionality on inferno (14:51:36) pattern: sorry i wasn't being clear (14:52:06) pattern: i was referring to what you said about "afaik there is no way to run [sh] as "standalone unix program" (14:52:46) mjl-: hmm, ok (14:52:52) pattern: so, my question was whether if sh couldn't be run on linux by itself (as a standalone program), could it be made to run on linux in conjunction with some inferno service that was ported to linux (14:55:00) mjl-: well, emu (the binary) is inferno-as-application. sh(1) is a program that emu starts (interpreting its inthstructions). a "stand-alone sh" can be had by compiling emu with sh in its root file system (or any other program that you want). then you just start that compiled emu, and rename it to inferno-sh or something :) (14:55:25) mjl-: then you basically have a full inferno that just executes a shell. (14:56:17) pattern: oh, i see (14:56:21) pattern: that's very interesting (14:57:02) pattern: now, would this emu+sh combination be able to interact with the host linux os ? (14:57:21) pattern: or would it be restricted to accessing only files/services within emu itself? (14:57:37) mjl-: inferno can access all files of the host system through #U (14:57:45) mjl-: so this emu+sh combination can do that as well (14:57:55) pattern: that's great (14:58:08) pattern: would this be transparent for the sh user? (14:59:17) mjl-: depends on what you mean by that :) (14:59:17) pattern: i mean, if i run emu+sh in a linux directory containing a file "foo", will "ls" in emu+sh show me foo? (14:59:37) pattern: will i be able to execute foo from within emu+sh and have it run just as it would on linux? (14:59:54) mjl-: no, it won't work like that without modifications (15:00:19) pattern: ah... too bad (15:00:25) mjl-: any programs in the inferno shell will be executed as if they were limbo programs. but you want linux programs. so you would need to change the inferno shell to execute all programs through os(3) (15:00:27) pattern: but i'll see if i can give it a try, anyway :) (15:00:56) pattern: mjl-: is that a big job? or just a config file setting? (15:01:01) mjl-: and you will need to do some work to use the linux host current working directory (15:01:24) mjl-: it's not a big job i think, but it will require modifying inferno sh's limbo code (15:01:51) mjl-: i think it's basically not executing programs as they are entered, but calling os(1) instead, with the original argv as arguments to os (15:02:29) pattern: sounds reasonable (15:03:04) mjl-: you might want to take a look at acme-sac. it's a more standalone inferno, with acme. that might have some code (e.g. using host os current working dir) that you could use. (15:03:05) pattern: i'm just looking to use sh from linux, just as i would any other linux-native shell... but with sh's features (15:03:09) mjl-: http://www.caerwyn.com/acme/ (15:03:40) pattern: cool.. thanks (15:04:00) mjl-: pattern: to be honest, it sounds like a bit of overkill to use inferno just to get a shell on linux (15:04:37) pattern: well, i have have a shell... but right now i'm ready to try something new (15:04:56) pattern: and inferon's shell seems interesting (15:05:08) pattern: inferno in general seems interesting (15:05:19) pattern: but i don't think i'm ready to switch to it as my desktop os quite yet (15:05:25) mjl-: yeah, that's my view. inferno has lots more to offer than a different shell :) (15:05:36) mjl-: neh, inferno isn't ready for use as desktop os (15:05:41) pattern: yeah, i'm not trying to slight inferno by saying i just want the shell (15:06:04) pattern: the shell was just what grabbed my interest first, since i was reading about rc on plan 9 before (15:06:26) pattern: i'm sure there are plenty of other things that are great too.. and i'm very much looking forward to learning about them (15:06:51) pattern: and i'll probably want to use them on linux, if i can, as i'm learning to use some of the plan 9 utilities that have been ported over (15:07:08) pattern: there's just so much to learn... (15:07:09) mjl-: cool (15:07:11) mjl-: true (15:07:15) mjl-: lots is different (15:07:27) mjl-: inferno is so nice that it runs on other os'es (15:07:35) mjl-: i'm running it on openbsd, linux & plan 9 (15:07:44) pattern: nice (15:07:55) pattern: what do you use it for? (15:08:20) mjl-: i use it as webserver, with a bunch of scgi programs (15:08:34) mjl-: well, and much more :) (15:08:44) mjl-: http://www.ueber.net/code/ ← most of that software is for inferno (15:09:04) mjl-: i irc from inferno too of course :P (15:09:42) pattern: how mature are inferno apps, in general, compared to linux apps? (15:11:15) mjl-: part of the inferno (and plan 9 for that matter) design philosophy is to not have bloat. so some tools will probably seem less "complete" than linux apps. (15:11:36) pattern: so it's geared as being more of a server os? (15:12:06) mjl-: i think it's easier to use it as such right now (given the code available) (15:12:11) pattern: actually, i use a minimalist window manager (xmonad), so i can certainly empathize with the goal of reducing bloat (15:12:27) mjl-: but it's design allows for writing "desktop" programs just fine (15:12:40) mjl-: ah, i've heard of xmonad before. never ran it though (15:13:17) pattern: no window decorations (other than a one-pixel border around the active window, if there's more than one window on the screen) (15:13:18) mjl-: in inferno (& plan 9) features are a tradeoff between size of added code, easy/elegance of implementation & need for the feature (15:14:53) pattern: are inferno apps pretty stable, overall ?