Conversation with #inferno at Thu May 7 21:55:02 2009 on powerman-asdf@irc.freenode.net (irc) (22:12:36) newsham left the room. (22:15:27) mennis left the room (quit: ). (22:20:29) mennis [n=mennis@adsl-35-29-236.asm.bellsouth.net] entered the room. (01:08:36) anothy left the room (quit: Read error: 110 (Connection timed out)). (01:19:03) Fish left the room (quit: Remote closed the connection). (04:29:42) caerwyn [n=chatzill@c-76-119-5-71.hsd1.ma.comcast.net] entered the room. (05:00:18) caerwyn left the room (quit: "ChatZilla 0.9.84 [Firefox 3.0.10/2009042316]"). (06:25:39) aguent left the room (quit: "This computer has gone to sleep"). (06:46:45) anothy_x: pretty good talk on practical use of Ocaml. interesting perspective on the language class. (06:47:06) anothy_x: i want a functional language -> dis compiler. (07:01:17) uriel: I want !limbo -> dis compiler (07:01:32) anothy_x: also true. (07:01:39) uriel: (of course, ideally a language that doesn't suck, but I think *any* -> dis compiler would be very good to have (07:01:48) anothy_x: but if someone's going to do it, it'd be nice if it was from some other family. (07:02:05) uriel: yea, that makes sense (07:03:32) uriel: anyone has looked into this: http://en.wikipedia.org/wiki/Dynamo_(storage_system) ? (07:03:37) uriel: seems intriguing (07:06:53) anothy_x: oh, i really like this guy: "if you don't hire bad programmers, many things become easier" (07:23:01) olegfink: anothy_x: the one at cufp by yaron minsky? (07:29:36) uriel: If we could travel back in time, and shot all the bad programmers twenty years ago, things would become *easier* (09:13:54) soul9 left the room (quit: Read error: 104 (Connection reset by peer)). (09:14:09) soul9 [n=BOFH@unaffiliated/johnnybuoy] entered the room. (09:24:47) olegfink: there are some changes to dis needed to support functional languages properly (09:25:34) olegfink: I see there is some interest in doing a dis backend to ocaml; I'd be glad to participate if there start an effort. (09:26:20) olegfink: in the meantime we've ported ocaml's bytecode interpreter to u-boot so it runs on more or less bare hardware, but haven't yet found a use for that. (09:26:44) olegfink: would an approach similar to http://nestedvm.ibex.org/ make sense for dis? (09:27:13) olegfink: I imagine converting RISC code (mips, maybe thumb?) to dis takes an order of magnitude less work than to java (09:27:42) olegfink: maybe even a new ?c backend might be feasible (09:44:50) olegfink: http://rtlab.tekproj.bth.se/wiki/index.php/MIPS_instructions -- heh. (09:46:11) olegfink: vc doesn't produce mips1, right? (10:42:57) mjl-: uriel: i read the paper on dynamo. didn't find it very interesting though. very specific to the domain it was designed for. (10:49:39) uriel: I see (10:49:54) uriel: oh well, that saves me reading it :) (11:40:04) aguent [n=andre@79.246.95.211] entered the room. (15:04:24) gualteri [n=unknown@84.123.158.129.dyn.user.ono.com] entered the room. (15:38:24) npe [n=npe@195.207.5.2] entered the room. (15:47:39) hotaru2k3 [n=hotaru@cpe-66-61-20-230.neo.res.rr.com] entered the room. (15:47:47) hotaru2k3 left the room (quit: Client Quit). (16:53:03) gualteri left the room (quit: "leaving"). (16:55:38) stu8ball left the room (quit: sendak.freenode.net irc.freenode.net). (16:58:29) stu8ball [n=stuart@aurora.ossified.net] entered the room. (17:50:35) KillerX [n=anant@gentoo/developer/KillerX] entered the room. (18:15:34) sea-gull [n=sea-gull@95-28-99-187.broadband.corbina.ru] entered the room. (18:39:31) aguent is now known as andguent