00:00:00 --- log: started forth/09.02.26 00:22:05 --- join: Bodkins (n=michaelm@adsl-222-39-114.msy.bellsouth.net) joined #forth 00:34:08 --- nick: gogonkt`` -> gogonkt 00:38:06 --- quit: nighty__ (Remote closed the connection) 00:43:12 --- nick: H4ns1 -> H4ns 01:01:10 --- join: fasta (n=a@217.109.160.5) joined #forth 01:02:23 I wrote a version for min with 10 words (this includes :, min and ; ). Anyone who can do less (no conditionals allowed)? 01:07:04 --- join: qFox (i=C00K13S@132pc222.sshunet.nl) joined #forth 01:07:29 No conditionals? 01:08:05 fasta: WRITE APPLICATIONS 01:10:35 ASau`: I don't even know by heart what >R does, so I am not quite ready for that and besides I don't fully understand the application I want to write yet. 01:10:59 It doesn't matter. 01:11:11 I don't know some things as well. 01:11:21 Write applications. 01:11:40 Write applications, no matter if you know the language comprehensively. 01:11:55 ...or not. 01:12:35 When you write applications, you'll find what you need to learn faster. 01:12:39 And you'll learn faster. 01:13:56 What do you do about the lack of overloaded arithmetical operators? Do you just live with it, or do you write a kind of code walker, which solves that problem for you? 01:14:37 Just write specialized word. 01:15:35 Don't even try to apply SML logic, it is _really_ hard. 01:15:41 Even though it is possible. 01:16:34 I already learned how Haskell 98 type-inference works. 01:17:03 By that I mean, that there is no document which has a correct description of how Haskell 98 type-inference works ;) 01:20:23 --- part: X-Scale left #forth 01:23:17 ASau`: but yes, I know, writing an actual application over at least a few months is the only way to actually learn a language. 01:24:32 Hmm.. what does type-inference have to do with writing apps though? 01:25:10 schme: ask that question on #sml or #haskell 01:25:28 Seriously, it speeds things up significantly, if you know how to apply it. 01:25:34 ASau`: Hoh. I was just wondering what got fasta talking about it. 01:26:07 schme: usual "+" vs. "f+" 01:26:19 Well I'll go with a different opinion there, but I'll stay out of that discussion. 01:26:22 oh! 01:26:27 It _is_ very inconvenient, when you're writing math code. 01:26:37 Ya. 01:26:51 Forth would not be my first choice for math code though (: 01:27:09 Unfortunatly, there're only two ways around it: 01:27:41 aggressive minimalistic one ("just use + or f+"); 01:28:13 conformistic one ("just wrap it"). 01:28:32 Maximalistic way leads beyond Forth. :) 01:28:33 Well of course (: 01:30:24 To me + and f+ makes a world of sense. But hey, my brain is broken ;) 01:30:33 --- join: H4ns1 (n=Hans@p57BB99B8.dip0.t-ipconnect.de) joined #forth 01:31:24 As for me, "+" is a ring operation. 01:31:38 And every field is a ring. 01:31:57 Hence "f+" v. "+" distinction doesn't make any sense. 01:32:05 So, you write all your math code in Axiom (or some derived version)? 01:32:05 ring ? 01:32:05 --- quit: H4ns (Nick collision from services.) 01:32:09 --- nick: H4ns1 -> H4ns 01:32:49 Even though I'm not a mathematician, I know what the ring is. 01:33:11 schme: http://en.wikipedia.org/wiki/Ring_(mathematics) 01:33:28 ASau`: I'm thinking ring0-3 (Intel) here. 01:33:30 oh maths! 01:33:37 Article does not exist. 01:33:51 It does. 01:34:21 Oh i see. 01:34:29 fasta: I haven't written much math code the last 5 years. But if I did I'm certain I'd pick some axiom or matlab or maybe fortran ;) 01:34:55 My client didn't include the end paren when it turned the text into a link. 01:35:18 ASau`: That's nice how perspective makes such a difference :) 01:35:43 To me + and f+ is different because.. well.. one would be using the FPU or maybe SSE (: 01:35:56 Or maybe not using any. 01:36:15 indeed! 01:36:40 Either way it's all good (: 01:36:51 And this is a question: what you want your software to face, user or hardware. 01:37:12 I prefer hardware ;) 01:37:30 I don't like sex with hardware. 01:37:49 :( 01:38:18 You're quite right, of course. It all depends on just what the heck yer doing (: 01:39:39 I have just realized that I've made stupid mistake and 01:39:40 don't need to dig into pForth internals in search of crash cause. 01:39:56 no` 01:39:56 ? 02:12:47 --- quit: Bodkins () 02:29:24 --- join: tetonca (n=tetonca_@1Cust4329.an3.ewr18.da.uu.net) joined #forth 02:52:02 --- quit: tetonca (Read error: 110 (Connection timed out)) 04:17:11 --- join: tathi (n=josh@dsl-216-227-91-166.fairpoint.net) joined #forth 04:17:15 --- mode: ChanServ set +o tathi 05:26:16 --- join: impomatic (n=John@nat66.mia.three.co.uk) joined #forth 06:59:31 --- join: Vanax (n=Spock@cpe028002.netone.gr) joined #forth 07:32:34 --- quit: workthrick (Read error: 110 (Connection timed out)) 07:36:21 Yay, Forth interpreter is working! 07:51:04 --- quit: fasta ("Ex-Chat") 07:52:59 heh. now what? 08:20:41 --- join: hagna (n=hagna@70.102.57.178) joined #forth 08:49:26 --- quit: ASau` ("Off!") 09:08:41 now conquer the world! 09:15:12 The same thing we try to do every night, Pinky. 09:35:30 What're nice idea. 10:09:38 --- join: workthrick (n=mathrick@users177.kollegienet.dk) joined #forth 10:21:49 impomatic: link? 10:28:04 ASau: no link to the final yet, just some discussion at http://tr.im/gM95 10:28:23 I've now implemented 22 words in 47 Redcode instructions 10:29:16 What is "Redcode"? 10:29:40 It's an interpreted assembly-like language 10:30:30 Well... It's a bore. 10:30:41 --- quit: Vanax ("Leaving") 10:31:59 :-) 10:33:04 Forth isn't fast by modern standards, and running it in interpreter makes it only worse. 10:57:41 --- join: kar8nga (n=kar8nga@m-187.vc-graz.ac.at) joined #forth 11:10:37 --- quit: hagna (Read error: 113 (No route to host)) 11:19:23 --- join: X-Scale (i=email@2001:470:1f08:b3d:0:0:0:2) joined #forth 11:29:08 Hi X-Scale :-) 11:29:47 hello there impomatic :) 12:46:36 --- join: k2 (n=kar8nga@e-145.vc-graz.ac.at) joined #forth 12:46:55 --- quit: kar8nga (Nick collision from services.) 12:46:58 --- nick: k2 -> kar8nga 12:47:40 --- quit: ASau (Remote closed the connection) 12:48:14 --- join: ASau (n=user@193.138.70.52) joined #forth 13:03:25 --- join: hagna (n=hagna@70.102.57.178) joined #forth 13:05:45 --- quit: kar8nga (Read error: 145 (Connection timed out)) 13:57:12 --- quit: ASau ("Reboot!") 14:08:34 --- quit: impomatic (Read error: 104 (Connection reset by peer)) 14:09:19 --- join: ASau (n=user@193.138.70.52) joined #forth 15:26:21 --- join: Deformati (n=joe@71.238.45.45) joined #forth 15:32:22 --- quit: qFox ("Time for cookies!") 15:57:58 --- quit: ASau (Remote closed the connection) 15:58:17 --- join: ASau` (n=user@193.138.70.52) joined #forth 16:12:53 --- join: nighty__ (n=nighty@210.188.173.245) joined #forth 16:14:35 --- quit: hagna (Read error: 60 (Operation timed out)) 16:25:12 --- join: sixforty (n=sixforty@darksystem.idleaire.com) joined #forth 16:48:35 --- quit: nighty__ (Read error: 104 (Connection reset by peer)) 17:00:04 --- join: nighty__ (n=nighty@210.188.173.245) joined #forth 17:45:39 --- quit: sixforty ("rerererereinstall") 18:18:14 --- quit: tathi ("leaving") 18:47:53 --- join: tetonca (n=bus_driv@ppp44.pm3-14.alb-pt.ny.localnet.com) joined #forth 20:29:16 --- quit: X-Scale (brown.freenode.net irc.freenode.net) 20:29:16 --- quit: tarbo (brown.freenode.net irc.freenode.net) 20:29:18 --- quit: nighty__ (brown.freenode.net irc.freenode.net) 20:29:18 --- quit: H4ns (brown.freenode.net irc.freenode.net) 20:29:18 --- quit: nxt (brown.freenode.net irc.freenode.net) 20:29:20 --- quit: manuel_ (brown.freenode.net irc.freenode.net) 20:29:20 --- quit: mathrick (brown.freenode.net irc.freenode.net) 20:29:20 --- quit: luis (brown.freenode.net irc.freenode.net) 20:29:32 --- join: nighty__ (n=nighty@210.188.173.245) joined #forth 20:29:32 --- join: H4ns (n=Hans@p57BB99B8.dip0.t-ipconnect.de) joined #forth 20:29:32 --- join: nxt (n=nxt@77.207.25.109) joined #forth 20:29:32 --- join: manuel_ (n=manuel@hygiene.bl0rg.net) joined #forth 20:29:32 --- join: mathrick (n=mathrick@users177.kollegienet.dk) joined #forth 20:29:32 --- join: luis (n=user@r42.eu) joined #forth 20:29:58 --- join: hagna (n=hagna@97-117-49-108.slkc.qwest.net) joined #forth 20:30:32 --- join: X-Scale (i=email@2001:470:1f08:b3d:0:0:0:2) joined #forth 20:30:32 --- join: tarbo (n=me@unaffiliated/tarbo) joined #forth 20:30:51 --- quit: tarbo (SendQ exceeded) 20:32:48 --- join: tarbo (n=me@unaffiliated/tarbo) joined #forth 20:44:49 --- quit: tetonca ("Leaving") 20:44:49 --- quit: hagna (Read error: 104 (Connection reset by peer)) 21:23:46 --- join: Bodkins (n=michaelm@adsl-35-239-216.msy.bellsouth.net) joined #forth 21:26:08 --- quit: workthrick (brown.freenode.net irc.freenode.net) 21:26:22 --- join: workthrick (n=mathrick@users177.kollegienet.dk) joined #forth 21:50:01 --- join: tetonca (n=bus_driv@ppp180.tc-1.alb-pt.ny.localnet.com) joined #forth 22:07:39 --- quit: workthrick (Read error: 110 (Connection timed out)) 22:29:24 --- join: dgou (n=dgou@c-67-163-142-94.hsd1.pa.comcast.net) joined #forth 22:46:40 --- quit: dgou () 23:03:02 --- join: gogonkt_ (n=info@218.13.45.56) joined #forth 23:03:57 --- join: H4ns1 (n=hans@p57A0E562.dip.t-dialin.net) joined #forth 23:04:08 --- quit: H4ns (Nick collision from services.) 23:04:10 --- nick: H4ns1 -> H4ns 23:04:34 --- join: H4ns1 (n=Hans@p57BB99B8.dip0.t-ipconnect.de) joined #forth 23:10:09 --- quit: gogonkt (Read error: 110 (Connection timed out)) 23:41:02 --- part: tetonca left #forth 23:51:29 --- quit: Bodkins () 23:51:50 --- join: workthrick (n=mathrick@0x55529153.adsl.cybercity.dk) joined #forth 23:59:59 --- log: ended forth/09.02.26