00:00:00 --- log: started forth/06.05.07
01:05:11 --- join: neceve (n=Clau@unaffiliated/neceve) joined #forth
04:50:49 --- join: PoppaVic (n=pete@0-1pool72-134.nas24.chicago4.il.us.da.qwest.net) joined #forth
05:06:40 --- quit: madgarden (Read error: 110 (Connection timed out))
06:29:42 --- quit: crc ("Lost terminal")
07:33:33 --- join: Amanita_Virosa (n=jenni@adsl-69-154-191-107.dsl.hstntx.swbell.net) joined #forth
08:13:22 --- quit: PoppaVic ("Pulls the pin...")
09:05:33 --- join: I440r (n=foo@24-177-235-246.dhcp.gnvl.sc.charter.com) joined #forth
09:12:50 --- join: snoopy_1711 (i=snoopy_1@dslb-084-058-130-074.pools.arcor-ip.net) joined #forth
09:15:10 --- quit: Snoopy42 (Read error: 131 (Connection reset by peer))
09:15:19 --- nick: snoopy_1711 -> Snoopy42
09:59:00 --- join: TheBlueWizard (i=TheBlueW@ts001d0717.wdc-dc.xod.concentric.net) joined #forth
10:09:42 --- join: madgarden (n=madgarde@Toronto-HSE-ppp3708789.sympatico.ca) joined #forth
10:10:21 --- quit: Amanita_Virosa ("Wewpsie!")
10:33:57 --- join: Ray-work (n=Raystm2@adsl-68-89-124-38.dsl.rcsntx.swbell.net) joined #forth
10:33:58 --- quit: Ray_work (Read error: 104 (Connection reset by peer))
10:35:33 --- join: segher (n=segher@dslb-084-056-185-137.pools.arcor-ip.net) joined #forth
10:46:32 --- quit: segher_ (Read error: 110 (Connection timed out))
10:56:01 --- join: yoyoFreeBSD (n=root@222.90.22.14) joined #forth
11:15:15 --- part: TheBlueWizard left #forth
11:22:32 --- quit: I440r (Read error: 104 (Connection reset by peer))
11:23:11 --- join: I440r (n=foo@24-177-235-246.dhcp.gnvl.sc.charter.com) joined #forth
11:40:01 --- quit: yoyoFreeBSD (Read error: 110 (Connection timed out))
12:03:53 --- join: crc (n=crc@pdpc/supporter/active/crc) joined #forth
12:03:53 --- mode: ChanServ set +o crc
12:47:13 --- quit: I440r ()
13:41:54 --- quit: Cheery (Read error: 104 (Connection reset by peer))
15:21:57 --- join: nighty_ (n=nighty@maki.rural-networks.com) joined #forth
15:22:05 <nighty_> hello :)
15:22:21 <crc> hi nighty_ 
15:22:27 <nighty_> :)
15:23:24 <nighty_> I was wondering if anyone had written an IRC bot using Forth ? 
15:23:32 <nighty_> for exemple gforth 
15:25:04 <nighty_> uhmm
15:26:06 <nighty_> I searched a bit the net for code examples
15:26:59 <nighty_> but haven't found anything yet
15:28:10 <nighty_> Another thing I am looking for is code sample for WEB GUI and a Session Management using Forth
15:28:48 <nighty_> uhmm
15:29:21 <nighty_> I guess these are not sexy subjects for you:)
15:30:45 <crc> I've not seen anything along these
15:31:22 <crc> lines
15:31:37 <crc> I did an irc client in retroforth once, but no bots
15:32:00 <nighty_> A bot is a client 
15:32:03 <nighty_> kind of :)
15:32:19 <nighty_> it is just a personal project to learn forth
15:32:24 <nighty_> some goal 
15:32:27 <nighty_> to attain :)
15:32:38 <nighty_> I am new to forth
15:32:55 <nighty_> so before I can write a bot for irc I think I have a long road
15:33:36 <crc> yeah
15:34:28 <nighty_> It's too bad there are no forth machines
15:34:38 <nighty_> at least I don't know of any
15:34:52 <nighty_> or a forthOS (kind of)
15:34:59 <nighty_> with TCP/IP stack 
15:35:03 <nighty_> etc....
15:39:48 <crc> there aren't a lot of forthOSes for standard PC hardware
15:42:24 <nighty_> yes I figured
15:42:36 <nighty_> but not a lot means , not at all ? 
15:43:06 <nighty_> are there any specialized hardware ? 
15:43:20 <nighty_> like SBCs ? 
15:44:08 --- join: slava (n=slava@CPE0080ad77a020-CM000e5cdfda14.cpe.net.cable.rogers.com) joined #forth
15:44:15 <crc> for x86 PC's, I know of ForthOS (http://forthos.org), RetroForth/Native (http://retroforth.org), and Enth (discontinued, http://mythago.net)
15:45:16 <crc> http://tunes.org/wiki/Forth_OSes has links to more, including some for speicalized hardware
15:45:20 <nighty_> slava: hello :)
15:45:27 <slava> hi
15:45:31 <nighty_> slava: canadian hey ? :)
15:46:20 <nighty_> crc: I will look at these
15:46:36 <nighty_> slava: you program with forth ? 
15:46:52 <slava> yes
15:46:55 <nighty_> cool :)
15:47:27 <slava> one of my current projects is a program that takes a triangulation of an object and computes the number of n-dimensional holes
15:47:57 <nighty_> whoooa
15:48:07 <nighty_> I understand triangulation 
15:48:13 <nighty_> but that's about all
15:48:30 <nighty_> what n-dimensional holes ? 
15:48:39 <slava> do you know what a hole is?
15:48:52 <nighty_> well in english yes
15:49:33 <nighty_> but I guess this has something to do with topology ? 
15:49:40 <nighty_> in that case
15:49:58 <slava> yes
15:50:26 <segher> something to do with it, heh
15:50:30 <nighty_> even triangulation term is ambigous
15:50:54 <nighty_> because I understand triangulation as locating an object
15:51:15 <nighty_> segher: sorry :)
15:51:19 <slava> no, a triangulation is an expression of a geometric object as a set of triangles
15:51:41 <nighty_> segher: you can tell I am not a mathematician  :)
15:51:55 <nighty_> slava: oh I see
15:52:25 <nighty_> slava: like fitting as many triangle as you can in the shape ? 
15:52:48 <segher> slava: not _quite_, but hey
15:53:35 <slava> well, simplices, not triangles, and a triangle is a 2-dimensional simplex
15:54:00 <segher> nighty: number of holes of an object _is_ topology, you were dead right
15:54:43 <nighty_> segher: yes I could only hint that it was , i just don't know what they really mean 
15:55:14 <nighty_> segher: I hint that holes means places that can not be filled with triangles
15:55:31 <nighty_> segher: or "simplices" ? 
15:55:32 <segher> that's not it though
15:56:31 <nighty_> segher: ok, uhmmm
15:56:41 <nighty_> segher: could you explain what it is then ? 
15:56:49 <nighty_> segher: in layman terms :)
15:57:10 <segher> a hole is when you have a loop, and keep contracting it, but can't collapse the loop to a point ever
15:57:38 <slava> not quite, since R^3-{0} has a hole but every loop is contractible
15:57:54 <segher> that's not a hole
15:58:05 <slava> well, how do you define a 'hole'?
15:58:11 <slava> my program computes homology groups
15:58:18 <segher> told you already :-)
15:58:37 <slava> your definition is that of pi_1, which cannot even be computed in finite time in the general case
15:59:01 <segher> R^3-{0} is just the same as an open sphere
15:59:22 <nighty_> slava: why can it not be computed in finite time ? 
15:59:29 <slava> R^3-{0} has non-trivial homology
15:59:39 <segher> inside-out or something heh -- but that doesn't matter
16:01:21 <nighty_> segher: if you definition is right , then I guess slava program will run forever ? :)
16:01:40 <nighty_> s/you/your/h
16:01:44 <nighty_> s/you/your/g
16:02:36 <nighty_> slava: anyway what is the purpose of your program ? 
16:02:48 <nighty_> slava: what application will it have ? 
16:03:10 <slava> finding counter-examples
16:04:05 <nighty_> slava: so it is like something that will invalid some current theorems ? 
16:04:44 <slava> no, you cannot invalidate current theorems
16:04:49 <nighty_> slava: or provide proof to one you are making
16:04:53 <nighty_> slava: sorry 
16:04:58 <nighty_> slava: theory
16:05:03 <nighty_> I should be careful
16:05:07 <nighty_> of the word I use :)
16:05:59 <nighty_> that's all very nice
16:06:19 <nighty_> but I guess no one uses forth with tcp/ip stack here :)
16:06:33 <nighty_> I mean a forth tcp/ip stack 
16:10:11 <nighty_> people are not very talkative :)
16:10:18 <nighty_> I guess you guys are busy :)
16:12:01 <slava> i'm debugging some SSE2 code
16:16:42 <nighty_> :)
16:16:55 <nighty_> slava: I am not asking why :)
16:28:20 <nighty_> slava: why do you forth btw ? 
16:28:33 <nighty_> slava: any particular reason ? 
16:28:53 <nighty_> slava: you are using gforth ? 
16:55:35 <nighty_> I notice quite a few canadian here
16:55:54 <nighty_> I am saying this , because I am moving next month to canada :)
17:05:09 <segher> oh you poor guy
17:05:18 <segher> where in canadia?
17:07:50 --- quit: slava ("Bye bye")
17:16:46 <nighty_> segher: no I am moving there
17:16:54 <nighty_> segher: for work 
17:17:24 <nighty_> segher: why do you say "segher oh you poor guy" ? 
17:17:46 <nighty_> segher: afaik you are in germany ? no ?
17:19:31 <segher> i'm not german though :-)
17:19:45 <segher> and it was a joke fwiw
17:19:49 <nighty_> You are canadian ? 
17:20:11 <segher> hahaha no
17:20:18 <segher> well almost heh
17:20:23 <segher> i'm dutch
17:20:33 <nighty_> why almost ? 
17:20:54 <nighty_> I don't see the relation between holland and canada ? 
17:21:19 <nighty_> netherland (sorry)
17:21:35 <segher> half of canadians have dutch grandparents, i'm told
17:21:56 <nighty_> well it is true there are many canadians like this 
17:22:29 <nighty_> You asked where I was going
17:22:34 <nighty_> I am going to Toronto
17:23:49 <nighty_> segher: you are a mathematician ? 
17:24:39 <segher> yessir
17:24:51 <nighty_> :)
17:25:09 <segher> are you going to OLS this year?
17:25:30 <nighty_> what is OLS ? 
17:25:43 <segher> ottawa linux symposium
17:25:53 <nighty_> I am a FreeBSD user :)
17:26:02 <segher> so?  :-)
17:26:10 <nighty_> segher: but I might be going :)
17:26:15 <segher> spy on the "enemy"
17:26:30 <nighty_> segher: since in my company I am in enemy territory :)
17:26:39 <segher> let's have a beer ther, then
17:26:41 <nighty_> segher: they use Linux :)
17:26:46 <segher> hehe
17:27:01 <nighty_> segher: I am the RF guy :)
17:27:11 <nighty_> segher: supposedly :)
17:27:54 <nighty_> segher: when is this happening (OLS) ? 
17:28:08 <segher> lemme check
17:28:14 <nighty_> segher: I'll ask my collegue if he is going :)
17:28:27 <nighty_> segher: he is canadian and has dutch ancesters :)
17:28:45 <nighty_> segher: I am french :)
17:28:47 <segher> july 19-22, ottawa
17:28:53 <nighty_> segher: still want to meet me ? :)
17:29:00 <segher> why not
17:29:05 <nighty_> joke :)
17:29:18 <segher> i can make dumb jokes at you, at least
17:29:29 <nighty_> yes everyone does :)
17:29:35 <nighty_> in my company  :)
17:29:37 <segher> oh really :-)
17:29:40 <nighty_> yes
17:29:47 <nighty_> I think it is funny
17:29:52 <nighty_> I don't mind :)
17:30:01 <segher> that was a joke, silly
17:30:21 <nighty_> I have a huge plastic frog in my office :)
17:30:21 <segher> i reckon you don't
17:30:29 <segher> hahaha
17:30:58 <nighty_> and a tempature sensor (froggy)
17:31:06 <nighty_> temperature
17:32:04 <segher> une grenouille
17:32:09 <nighty_> oui
17:32:32 <segher> i have a great dictionary :-)
17:32:43 <segher> dict.leo.org
17:32:55 <nighty_> http://www.froggyhome.com/
17:33:25 <segher> oh god
17:33:31 <segher> mon dieu!
17:33:32 <nighty_> now you can make a daemon using forth to control it :)
17:33:37 <segher> but, bedtime now
17:33:41 <nighty_> mee too :)
17:33:47 <nighty_> bonne nuit :)
17:33:58 <segher> toi aussi
17:34:32 <segher> or  tu aussi?
17:34:43 <nighty_> that was correct the first time :)
17:34:52 <segher> oh good :-)
17:35:11 <segher> well good night now
17:36:48 <nighty_> :)
17:47:11 --- quit: nighty_ ("Disappears in a puff of smoke")
18:41:26 --- quit: uiuiuiu (Remote closed the connection)
18:41:30 --- join: uiuiuiu (i=ian@dslb-084-056-235-180.pools.arcor-ip.net) joined #forth
18:45:48 --- quit: crc ("Lost terminal")
19:43:07 --- join: JasonWoof (n=jason@c-71-192-33-206.hsd1.ma.comcast.net) joined #forth
19:43:07 --- mode: ChanServ set +o JasonWoof
20:24:10 --- join: snowrichard (n=richard@adsl-69-155-177-154.dsl.lgvwtx.swbell.net) joined #forth
20:24:28 --- quit: snowrichard (Read error: 104 (Connection reset by peer))
23:32:46 <arke> In my experiece, any attempt to make any system idiot proof will only challenge God to make a better idiot
23:59:59 --- log: ended forth/06.05.07