Conversation with #inferno at Fri Sep 11 01:59:53 2009 on powerman-asdf@irc.freenode.net (irc)
(02:08:42) gualteri left the room.
(03:10:29) underspecified left the room (quit: ).
(03:15:24) underspecified [n=eric@softbank220043052007.bbtec.net] entered the room.
(04:13:50) mjl-: uriel: my marketing skills suck
(04:13:57) mjl-: on the brighter side
(04:14:11) mjl-: i wrote some code to test the garbage collectable progs
(04:14:14) mjl-: it seems to work just fine
(04:15:49) mjl-: this is the module:
(04:15:51) mjl-: Progs: module
(04:15:51) mjl-: {
(04:15:51) mjl-:         PATH:   con "$Progs";
(04:15:51) mjl-:         Prog: adt {
(04:15:51) mjl-:                 pid:    int;
(04:15:52) mjl-:         };
(04:15:54) mjl-:         prog:   fn(pid: int): ref Prog;
(04:15:56) mjl-: };
(04:16:17) mjl-: you create a prog reference to an existing pid, by eg p := progs->prog(pid);
(04:16:36) mjl-: then if you drop the reference to p (eg out of scope), the pid is killed
(04:17:09) mjl-: time to sleep now though o/~~
(05:04:52) j123m left the room (quit: orwell.freenode.net irc.freenode.net).
(05:05:57) j123m [n=j1m@unas-revda.interra.ru] entered the room.
(05:06:07) uriel: mjl-: hehe
(05:07:08) uriel: my marketing skills suck too, but somebody posted about http://bittrk.appspot.com/ to torrentfreak (which has well over a 100k readers!)
(05:13:01) Robdgreat: sweet
(06:08:05) Robdgreat: anyone here run inferno on a nokia tablet?
(06:19:41) uriel: i have heard of a few people doing that
(06:19:45) uriel: see inferno-list archives
(06:20:55) Robdgreat: fair enough, thanks
(06:23:28) uriel: i think rmiller was one of them
(06:47:13) anothy_x: i did it.
(06:47:40) anothy_x: i got a rough port working, only to find rmiller had already done it.
(06:47:55) anothy_x: he got slightly farther than i did, but neither of us got far enough for it to be usable in most senses.
(06:48:10) anothy_x: that is, specifically, there's no integration with the hildon UI elements.
(06:48:31) anothy_x: which means, among other things, that if you switch to another app, there's no way to get the inferno wm back.
(06:57:32) robot12 [n=robot12@inferno.kgts.ru] entered the room.
(07:00:28) Robdgreat: anothy_x: I tried the binary at http://inferno-bin.googlecode.com/files/emu-Linux-arm-fg-20080127 and it terminates with a SYS kbd Illegal instruction
(07:00:52) Robdgreat: which could be inconclusive, as I likely am Doing It Wrong somehow
(07:07:11) rapidfx [n=host666@vl-cen-ce1.avtlg.ru] entered the room.
(07:30:51) underspecified left the room (quit: ).
(10:46:26) Fish [n=Fish@AVelizy-152-1-43-27.w82-120.abo.wanadoo.fr] entered the room.
(12:10:13) gualteri [n=speiro@crespins.disca.upv.es] entered the room.
(12:43:50) robot12 left the room (quit: "Ухожу я от вас (xchat 2.4.5 или старше)").
(13:02:15) mjl-: hum, i keep getting the feeling that limbo isn't always able to unify polymorphic types when it could in theory
(13:02:29) mjl-: i should read up on polymorphic stuff...
(13:24:30) mjl-: btw, for those interested:
(13:24:33) mjl-: http://www.ueber.net/who/mjl/tmp/inf-progs.diff
(13:24:45) mjl-: diff against latest hg to get this Progs module i was talking about yesterday
(13:25:08) mjl-: (if you try it, make sure to modify the emu/$SYHOST/emu like i modified emu/OpenBSD/emu
(13:25:12) mjl-: )
(13:25:31) mjl-: it's really a lot like how FD's are handled
(13:26:45) mjl-: the idea is that in appl/cmd/testiter.b, if you stop half-way through the iterator, your progs will be cleaned up
(13:27:02) mjl-: i think this makes it quite analogous to how eg generators in python work
(13:27:38) mjl-: the generator in this case is the prog walking through the data structure, sending each element it wants to yield on the channel
(13:28:52) mjl-: if the reference to the prog disappears (reference to generator), the prog is killed (i'm assuming that a generator's stack in python is garbage collected when the last reference to the generator object disappears
(13:28:53) mjl-: )
(13:33:54) maht: that sounds great
(13:50:40) mjl-: hah, i got it wrapped in an adt Iter!
(13:50:41) mjl-: http://www.ueber.net/who/mjl/tmp/testiter2.b
(13:51:01) mjl-: polymorphic.  so given your data structure, you just have to create a "walker" function
(13:54:26) mjl-: off for some foods!
(14:36:53) Fish left the room (quit: Read error: 104 (Connection reset by peer)).
(15:12:19) rapidfx left the room (quit: Remote closed the connection).
(15:24:07) rapidfx [n=host666@vl-cen-ce1.avtlg.ru] entered the room.
(17:19:59) Fish [n=Fish@AVelizy-152-1-43-27.w82-120.abo.wanadoo.fr] entered the room.
(17:21:39) mjl-: new version:
(17:21:49) mjl-: http://www.ueber.net/who/mjl/tmp/inf-progs.diff (and an inf-progs.tgz with the full files in it)
(17:22:40) mjl-: it has an iterator library, where you just pass in the walker function (which doesn't have to hand back its pid on a channel anymore, and doesn't have to return -1 or nil when it's done.  it just returns when done)
(17:26:19) mjl-: i noticed that you can use buffered channels to let the generator/iterator return multiple elements during its execution (in between context switches)
(17:26:53) mjl-: could be useless optimisation, but it's pretty much for free
(17:28:34) gualteri left the room (quit: "Leaving.").
(21:06:37) mennis_ [n=mennis@adsl-065-012-170-146.sip.asm.bellsouth.net] entered the room.
(22:02:09) rapidfx left the room (quit: "Leaving.").
(22:16:01) mennis_ left the room.
(00:18:54) paigeadele left the room (quit: Remote closed the connection).
(00:59:41) anothy_x left the room (quit: Remote closed the connection).
(00:59:50) anothy_x [n=a@adsl-99-29-33-111.dsl.bcvloh.sbcglobal.net] entered the room.
(01:17:06) te left the room (quit: "leaving").
(02:30:05) Fish left the room (quit: Remote closed the connection).
(03:15:34) paigeadele [i=pthomps@75-146-55-252-Washington.hfc.comcastbusiness.net] entered the room.
(03:35:22) j123m left the room (quit: Read error: 60 (Operation timed out)).
(06:35:02) eno left the room (quit: Read error: 54 (Connection reset by peer)).
(06:40:16) eno [n=eno@nslu2-linux/eno] entered the room.
(08:41:33) j123m [n=j1m@unas-revda.interra.ru] entered the room.
(09:20:28) rapidfx [n=host666@vl-cen-ce1.avtlg.ru] entered the room.
(09:55:25) j123m left the room (quit: "Leaving.").
(10:03:30) j123m [n=j1m@unas-revda.interra.ru] entered the room.
(10:15:37) j123m left the room (quit: "Leaving.").
(10:22:04) j123m [n=j1m@unas-revda.interra.ru] entered the room.
(11:09:13) Fish [n=Fish@AVelizy-152-1-43-27.w82-120.abo.wanadoo.fr] entered the room.
(13:37:43) npe [n=npe@94-224-251-223.access.telenet.be] entered the room.
(13:50:09) npe left the room (quit: ).
(14:24:58) Fish left the room (quit: Remote closed the connection).
(14:35:24) npe [n=npe@94-224-251-223.access.telenet.be] entered the room.
(20:14:06) sea-gull1 [i=seagull@server1.bshellz.net] entered the room.
(20:14:10) sea-gull1 left the room (quit: Client Quit).
(20:30:56) sea-gull left the room (quit: "leaving").
(20:31:35) sea-gull [i=seagull@server1.bshellz.net] entered the room.
(20:31:49) te [i=tao@gateway/shell/blinkenshell.org/x-qezqgnaymnkyeudm] entered the room.
(20:33:17) sea-gull left the room (quit: Client Quit).
(20:33:51) sea-gull [i=seagull@server1.bshellz.net] entered the room.
(21:28:53) rapidfx left the room (quit: "Leaving.").
(22:04:22) sea-gull is now known as Guest93982
(22:13:52) Guest93982 left the room (quit: "leaving").
(23:27:03) npe left the room (quit: ).
(05:00:45) j123m left the room (quit: Read error: 110 (Connection timed out)).
(05:17:56) te left the room (quit: Read error: 110 (Connection timed out)).
(07:33:02) rapidfx [n=host666@83.239.130.107] entered the room.
(08:00:32) sea-gull [i=seagull@78.46.41.143] entered the room.
(09:46:47) j123m [n=j1m@unas-revda.interra.ru] entered the room.