| 00:47.49 | *** join/#utah wps (~wade@65.73.113.199) |
| 01:26.48 | *** join/#utah emcnabb (~emcnabb@adsl-67-65-31-49.dsl.austtx.swbell.net) |
| 01:50.02 | *** join/#utah linuxalien (~bastage@c-24-2-80-89.hsd1.ut.comcast.net) |
| 01:57.54 | *** join/#utah Maquis (~Maquis@pool-71-113-50-62.sttlwa.dsl-w.verizon.net) |
| 02:04.26 | *** join/#utah scott_ (scott@crackaddict.com) |
| 02:19.53 | *** join/#utah HarleyPig (~smoothsel@65.73.113.162) |
| 02:21.44 | *** join/#utah byronc (~byron@209.197.11.62) |
| 02:59.39 | *** join/#utah levi-laptop (~levi@levi.dsl.xmission.com) |
| 03:22.55 | *** join/#utah tensai (~tensai@kite.zmonkey.org) |
| 03:23.53 | HarleyPig | Anyone familiar with this error? configure: error: cannot compute suffix of object files: cannot compile |
| 03:24.34 | levi-laptop | HarleyPig: Try grepping for it in ./configure? |
| 03:25.23 | HarleyPig | I looked at the next line and it says 'look in config.log for details' ... it gives file not found and invalid profile errors for gcc |
| 03:25.36 | tensai | hans: openvpn rocks |
| 03:25.53 | HarleyPig | I think it's a problem with distcc somehow (at least it seems to be mentioned quite frequently in tandem with this error message via google). |
| 03:26.13 | levi-laptop | It's not something I've seen before. |
| 03:29.14 | HarleyPig | Yeah, judging by the lack of response on #gentoo they aren't familiar with it either. |
| 03:33.45 | HarleyPig | Hmmm ... it appears to be related to distcc ... I made localhost the only host to distribute compilation to and it seems to be working (of course, this is only one file ...) |
| 03:33.48 | HarleyPig | err ... app |
| 03:35.32 | HarleyPig | tensai: I've never really understood why one would want an app that causes all kinds of problems when ssh would handle most things ... why is vpn desired over ssh? |
| 03:38.15 | tensai | HarleyPig: not having to add line upon line for port forwards. having icmp and udp traffic work. allowing incoming traffic. |
| 03:38.45 | tensai | don't get me wrong, I love ssh. but openvpn looks like it will solve a number of annoyances. |
| 03:39.35 | HarleyPig | But with wildcard setups shouldn't the port forwarding be a non-issue? (I'm not trying to be confrontational--I'm truly curious) |
| 03:39.56 | HarleyPig | Is it mainly to make locally installed apps work with remotely maintained databases? |
| 03:41.21 | tensai | I've got 50 or so devices that I need access to on a sporadic basis |
| 03:42.44 | HarleyPig | I'm still confused ... is it more like a secure pcanywhere? |
| 03:43.38 | tensai | basically I've got an IP on my office LAN. it's like SSH tunneling at the IP level. I've actually done similar things using ssh and ppp, but openvpn makes it easy as pie. |
| 03:44.07 | levi-laptop | For anyone interested, I made a new post on my programming blog regarding prototype-based object systems. It's at http://lifeoflevi.com/lisp/ |
| 03:44.34 | tensai | I like being able to telnet 10.x.x.x instead of adding a port, reconnecting ssh and telneting localhost:12345 |
| 03:45.47 | tensai | the corporate solution is ipsec using sonicwall firewalls, but I could never get the tunnel up 100% |
| 03:45.55 | HarleyPig | So it's basically a wrapper--it handles all the connection pains for you. |
| 03:46.21 | tensai | yeah, exactly. plus my configurations don't have to change when I'm in the office vs out in the field |
| 03:47.14 | tensai | and I can add use internal dns server instead of memorizing lots and lots of ip addresses |
| 03:48.05 | HarleyPig | Interesting. I think I see the point ... but why create a new protocol (I realize *you* didn't :) instead of wrapping around existing technology? |
| 03:48.50 | HarleyPig | OMG ... I just saw a commericial for a video game called 'Video Vixens' ... it's a chick fight game ... for teenage boys (or the teenage at heart). |
| 03:49.10 | HarleyPig | Any mom/wife would kill if found in her home! :D |
| 03:49.44 | levi-laptop | heh. |
| 03:51.13 | HarleyPig | On a completely different topic ... can anyone tell me why @INC would be stripped in one virtualhost but not another? (to avoid stripping people's gears; I'm talking mod_perl/apache) |
| 03:52.28 | *** join/#utah beandog (~steve@c-67-182-203-10.hsd1.ut.comcast.net) |
| 03:56.25 | *** join/#utah mrpull_ (~mrpull@xmjake.dsl.xmission.com) |
| 04:01.16 | tensai | HarleyPig: I'm not sure what the original impetus was, but openvpn is at least based on a number of standards. and I can't argue with their results. I can understand why they'd bypass ipsec. ick, what a rats nest that is. |
| 04:03.06 | *** join/#utah bigdog_ut (~bigdog_ut@shylonhunter.dsl.xmission.com) |
| 04:03.34 | *** join/#utah tene (~tene@tene.slacker.supporter.poipu) |
| 04:05.18 | tensai | ~smash tene |
| 04:05.19 | ibot | ACTION flings an anvil in tene's general direction |
| 04:05.35 | *** part/#utah bigdog_ut (~bigdog_ut@shylonhunter.dsl.xmission.com) |
| 04:27.17 | *** join/#utah drewbono (~andrew@67.53.103.87) |
| 05:04.00 | luminerd | anyone know a linux program that records screen activity at around 6-10 fps, and record & auto-syncs all audio with the video? |
| 05:06.16 | *** join/#utah drewbono (~andrew@rrcs-67-53-103-87.west.biz.rr.com) |
| 05:07.27 | levi-laptop | luminerd: Heh. You're assuming that there's some standard association between audio and video in Linux. There's not, unless you have some sort of audio daemon that everything gets piped through. |
| 05:07.45 | *** join/#utah HarleyPig (~smoothsel@65.73.113.162) |
| 05:07.46 | luminerd | levi-laptop, laymen terms? |
| 05:09.16 | levi-laptop | luminerd: sound is a totally unrelated subsystem to video in Linux. While video is pretty much always sent through X, audio is often sent directly to the kernel. |
| 05:09.44 | *** join/#utah greygnome (~greygnome@c-67-186-198-153.hsd1.ut.comcast.net) |
| 05:10.39 | luminerd | in my final .avi file, the sound and video mustn't get out of sync, that's the important thing |
| 05:10.58 | levi-laptop | What are you trying to record? |
| 05:11.27 | luminerd | levi-laptop, it is for Flash MX tutorials |
| 05:11.36 | luminerd | Sound to explain what I'm doing |
| 05:12.26 | levi-laptop | My point was that video and audio in Linux are so loosely related and don't have much in the way of standard high-level apis that doing a 'screencast' type recording is not possible in general. |
| 05:12.52 | levi-laptop | Your best bet is to find a screen video capture and dub in sound afterwards. |
| 05:13.12 | luminerd | not possible? |
| 05:13.21 | luminerd | that's bullshit, even windows can do it! |
| 05:13.42 | levi-laptop | Heh. |
| 05:13.43 | luminerd | -_- |
| 05:14.08 | levi-laptop | Do it in Windows, then. |
| 05:14.10 | luminerd | --__--' well I suppose I will settle |
| 05:14.28 | luminerd | the problem with windows is that it costs like $300 for the software that does it |
| 05:14.39 | levi-laptop | Windows has standard graphics and sound apis. |
| 05:15.04 | luminerd | huh? |
| 05:15.45 | levi-laptop | An api is a way for programs to hook into a system. |
| 05:20.46 | levi-laptop | It's not completely impossible to do such a thing in Linux, of course, but it's not possible with the current audio and video interfaces. |
| 05:22.12 | levi-laptop | One thing you could do is send the audio and video outputs of your computer to a separate recording device, like a vcr or DVD recorder. |
| 05:38.31 | *** join/#utah Hhhhh (~cristobal@c-67-169-244-47.hsd1.ut.comcast.net) |
| 05:38.44 | levi-laptop | Good evening. |
| 05:39.36 | Hhhhh | good evening to you |
| 05:42.03 | levi-laptop | Wow, 94 pages of garbage collection bibliography. |
| 05:42.31 | *** part/#utah HarleyPig (~smoothsel@65.73.113.162) |
| 06:21.01 | *** join/#utah greygnome (~greygnome@c-67-186-198-153.hsd1.ut.comcast.net) |
| 06:46.10 | *** part/#utah luminerd (~luminerd@c-24-2-69-204.hsd1.ut.comcast.net) |
| 07:04.40 | *** join/#utah greygnome (~greygnome@c-67-186-198-153.hsd1.ut.comcast.net) |
| 07:56.07 | *** join/#utah greygnome (~greygnome@c-67-186-198-153.hsd1.ut.comcast.net) |
| 08:03.07 | *** join/#utah tene (~tene@tene.slacker.supporter.poipu) |
| 11:10.53 | *** join/#utah wps (~wade@65.73.113.199) |
| 13:08.56 | *** join/#utah drip (~scoobmast@67.108.238.129.ptr.us.xo.net) |
| 13:28.27 | *** join/#utah byronc (~byron@65.37.125.194) |
| 13:35.16 | *** join/#utah greygnome (~greynome@c-67-186-198-153.hsd1.ut.comcast.net) |
| 14:04.32 | *** join/#utah journalism (~journalis@205.127.241.46) |
| 14:06.47 | *** join/#utah Uncle_Jesse (~Uncle_Jes@pcp0011582537pcs.csouth01.va.comcast.net) |
| 14:07.21 | Uncle_Jesse | greetings |
| 14:07.35 | Uncle_Jesse | all this talk on #utah reminded me I haven't been in here in awhile |
| 14:07.58 | Uncle_Jesse | s/\#utah/plug/ |
| 14:18.30 | *** join/#utah jakea (~jakea@byu147137wks.byu.edu) |
| 14:21.39 | *** join/#utah wps (~wade@71.32.228.156) |
| 14:34.41 | vontrapp | ok, this is really bugging me still and i can't find an answer. my fonts are small when i use the "nv" driver, but when i use the "nvidia" driver they are large, i want small, but i don't know what's causing the different behaviour between drivers or how to fix it |
| 14:35.22 | vontrapp | i think it may just be gtk apps that have larger fonts, but i'm not sure |
| 14:36.09 | vontrapp | hmm, probably nobody awake here yet |
| 14:41.53 | *** join/#utah Newsome (~sorenson@sorenson.dsl.csolutions.net) |
| 15:01.02 | *** join/#utah tapH20guru (~tapH20gur@204.110.228.110) |
| 15:01.05 | mheath | Anyone here near ogden who would let me borrow a SCSI CD-ROM drive? |
| 15:02.02 | luminerd | mheath: everyone says SCSI. what is SCSI? lol |
| 15:02.20 | mheath | ..... |
| 15:02.33 | mheath | Its a communication protocol |
| 15:02.45 | mheath | A type of connection between your HDD/CD-ROM's and the controller |
| 15:03.46 | luminerd | ah |
| 15:04.23 | *** join/#utah levi-laptop (~levi@208.177.141.226.ptr.us.xo.net) |
| 15:05.43 | *** join/#utah spr (~spr@ramona.cs.byu.edu) |
| 15:06.03 | goozbach | Small Computer Serial Interface SCSI |
| 15:06.31 | mheath | I need a SCSI CD-ROM drive to borrow for like..half a day |
| 15:06.34 | mheath | or an SBUS IDE controller |
| 15:06.59 | goozbach | I don't own a SCSI drive... period |
| 15:07.15 | goozbach | SATA doesn't count... does it? |
| 15:07.32 | Jayce^ | no |
| 15:09.07 | goozbach | didn't think so |
| 15:09.17 | goozbach | It does use the SCSI protocol however |
| 15:11.09 | levi-laptop | I actually have a SCSI CD-RW drive. |
| 15:11.42 | idahoJoe | I have like 7 scsi cdroms you can have any you want (they're 2x though) |
| 15:12.02 | mheath | levi-laptop: where are you located? Any chance I could borrow it for half a day? |
| 15:12.03 | idahoJoe | but their heavy and in idaho... so shipping might be a bother. :-) |
| 15:12.24 | mheath | The CD-ROM drive in my Sun is bad.. |
| 15:12.32 | mheath | need a drive so I can install Sol on there |
| 15:12.47 | levi-laptop | I live in the west end of Sandy. |
| 15:13.19 | levi-laptop | I'm only home and awake for a few hours every night, though, thanks to work and school. |
| 15:15.53 | idahoJoe | oh, and the scsi cdroms I have require cdrom-cassettes or whatever those removable trays were called. |
| 15:16.24 | idahoJoe | that's whats prevented me from using them for the purpose I got them for. Anyone know where to find some cheap? :-) |
| 15:27.21 | *** join/#utah greygnome (~greynome@69.2.248.18) |
| 15:27.48 | levi-laptop | idahoJoe: The cheapest way is probably to find some computer surplus sale that's got them. |
| 15:27.59 | *** join/#utah fungus (~fungus@2001:470:1f00:645:20a:95ff:fec5:636a) |
| 15:30.35 | *** join/#utah jsmith (~jsmith@pip.drs1.omniture.com) |
| 15:31.27 | goozbach | NOOOOOOOOO!!!!! |
| 15:31.37 | goozbach | wikipedia is down!!! |
| 15:32.57 | mrpull | why is there a sudden surge of zaurus sales? |
| 15:33.23 | mrpull | copycats? |
| 15:34.00 | Jayce^ | everybody wants that forthcoming nokia device? |
| 15:34.15 | mrpull | perhaps. that maybe the new toy to tinker with. |
| 15:35.39 | goozbach | I wondered the same thing mrpull |
| 15:36.13 | goozbach | we had three sitting in a drawer here at the office till last week when they all sold |
| 15:36.27 | mrpull | odd. |
| 15:37.34 | goozbach | very |
| 15:37.43 | goozbach | I bet it's them damn robot aliens |
| 15:38.22 | goozbach | you know they have a ground-based mind control laser out in the west desert, right? |
| 15:38.25 | *** join/#utah bigdog_ut (~bigdog@166.70.34.182) |
| 15:38.45 | mheath | Of course. Everyone knows that ;) |
| 15:40.17 | goozbach | this thunderstorm is just a cover for the landing of their large update ship |
| 15:40.49 | dataw0lf|w | I have no idea what you're talking about. |
| 15:41.03 | Jayce^ | remember, the apocolypse has started, debian released sarge yesterday.. |
| 15:41.29 | dataw0lf|w | that and Apple switching to Intel almost makes me religious. |
| 15:41.39 | dataw0lf|w | I'm just waiting for Windows to go open source. |
| 15:41.41 | mheath | And coincidentally, Hells freezing over at the same time. Apple's embracing PC systems.. |
| 15:42.54 | goozbach | can I still wear my tinfoil hat? |
| 15:43.19 | mheath | Of course :) |
| 15:43.20 | dataw0lf|w | I'm a proud member of The Church of Apple Sucks Along With Microsoft, thank you. |
| 15:44.18 | jsmith | dataw0lf: Where do I join? |
| 15:44.46 | dataw0lf|w | jsmith: Oh, we don't have an application or anything. You just need some flame retardant clothing, and a brain. |
| 15:55.17 | *** join/#utah neybar (~jalance@thelances.net) |
| 15:57.58 | *** topic/#utah by Jayce^ -> The source for OSS focused discussion in Utah. See sllug.org, plug.org, uug.byu.edu, uvlug.org, fslc.usu.edu, nupm.org, utwaa.org, oalug.com. See planetutah.adelantellc.com for aggregate feeds. | May the source be with you! | This week : Wednesday NUPM meeting (CGI::Path) | Plug meeting (Ruby on Rails) 7:30 |
| 16:00.09 | tapH20guru | ooooh... Rails presentation |
| 16:00.25 | Jayce^ | c'mon down, Jamis Buck is presenting |
| 16:00.45 | levi-laptop | Hmm, Ruby on Rails. |
| 16:00.47 | tapH20guru | it's a long drive from Ogden |
| 16:00.50 | *** topic/#utah by Jayce^ -> The source for OSS focused discussion in Utah. See sllug.org, plug.org, uug.byu.edu, uvlug.org, fslc.usu.edu, nupm.org, utwaa.org, oalug.com. See planetutah.adelantellc.com for aggregate feeds. | May the source be with you! | This week : Wednesday NUPM meeting (CGI::Path) 6:30 | Plug meeting (Ruby on Rails) 7:30 |
| 16:01.15 | tapH20guru | plus the rain... err the update ships |
| 16:01.18 | levi-laptop | That's all on Wednesday? |
| 16:02.06 | Jayce^ | yeah |
| 16:02.27 | tapH20guru | boy... nupm's website sucks :) |
| 16:02.33 | Jayce^ | NUPM just meets the hour before plug |
| 16:02.41 | levi-laptop | Maybe I could actually go to that one. Where's the plug meeting? |
| 16:02.59 | Jayce^ | VIawest (Canopy 1, across the street from sco) |
| 16:03.10 | levi-laptop | Hmm. |
| 16:03.32 | Jayce^ | tapH20guru, still waiting for sjansen to configure a CMS :) |
| 16:03.32 | levi-laptop | Now that I'm down at UVSC every day, it's easier to get to utah valley stuff. |
| 16:04.44 | levi-laptop | And my wife has got some thing she's doing Wed. night. |
| 16:04.44 | Jayce^ | that helps, until you have kids :) |
| 16:04.50 | levi-laptop | Yeah. I'm dragging my feet on that one. ;) |
| 16:08.37 | neybar | tapH20guru: blame sjansen |
| 16:12.38 | levi-laptop | Someone has a deathwish: http://www.members.optusnet.com.au/~aedennis/Forester/ATV.htm |
| 16:13.50 | Jayce^ | gaaaahhhh, why'd they ruin a good car? |
| 16:14.18 | levi-laptop | Because they are psycho-freaks. |
| 16:14.37 | tapH20guru | lol |
| 16:14.51 | Jayce^ | oh, kiwi's, that explains it |
| 16:16.37 | levi-laptop | I want one of these, though: http://www.autoexpress.co.uk/news/57118/veyron_storms_to_2485mph_record.html |
| 16:18.59 | *** join/#utah JoshH (~josh@josh.dsl.aros.net) |
| 16:19.42 | Jayce^ | I like the 'top speed mode' key :) |
| 16:20.42 | levi-laptop | Yeah. That's just an added touch of coolness. It doesn't look incredibly nice, but the top speed key kind of makes up for it. |
| 16:21.09 | Bradipo | Last nights dinner consisted of bruschetta, followed by risotto alla milanese. :-) |
| 16:22.11 | Bradipo | Saffron sure is expensive... |
| 16:22.50 | Jayce^ | most expensive spice in the world |
| 16:23.05 | Jayce^ | for real saffron |
| 16:23.26 | Bradipo | Yeah, it was real. |
| 16:23.38 | Bradipo | No powdered stuff in my kitchen. :-) |
| 16:23.45 | Jayce^ | goood |
| 16:24.07 | neybar | the real bummer with saffron, imho, is that is it waaay over priced for the amount of flavor that it imparts |
| 16:24.22 | Bradipo | neybar: I would agree. |
| 16:25.01 | neybar | I am willing to bet that most people couldn't tell the difference between saffron rice and rice with yellow food dye |
| 16:25.21 | Bradipo | Well, if they have never used saffron they certainly wouldn't know the difference. |
| 16:25.27 | Bradipo | But there is a big difference in smell for certain. |
| 16:25.39 | Bradipo | Saffron has a distinct smell (which is also part of eating). |
| 16:25.42 | neybar | true |
| 16:26.22 | Bradipo | I read that an acre of saffron crocus will only produce about 2 lbs of saffron spice. |
| 16:26.48 | neybar | yeah, it take quite a lot of flowers |
| 16:28.20 | levi-laptop | Vanilla is actually up there in the list of most expensive spices. |
| 16:28.26 | Bradipo | Really? |
| 16:28.32 | Bradipo | You mean, real vanilla bean? |
| 16:28.36 | levi-laptop | Yeah. |
| 16:29.06 | Bradipo | I can believe it, I rarely see it anywhere. |
| 16:29.14 | levi-laptop | Vanilla extract is much cheaper, but you can't beat desserts with the real vanilla flecks in them. |
| 16:34.02 | levi-laptop | Apparently cardamom is the second most expensive spice. |
| 16:34.11 | vontrapp | if you want smell good rice, just get some fresh jasmine rice :) |
| 16:35.08 | hans | http://redhanded.hobix.com/inspect/rubyMorseMidMaker.html |
| 16:35.18 | *** join/#utah tensai (~tensai@207.141.37.66) |
| 16:35.25 | Bradipo | vontrapp: Yes, jasmine does have a very good natural smell. |
| 16:35.29 | hans | brownie points to the first irc morse reader |
| 16:35.52 | Bradipo | caradmon isn't used very often. I had it in an Indian pastry once, it was pretty tasty. |
| 16:38.01 | hans | tensai: openvpn treating you well, I see |
| 16:39.08 | levi-laptop | Cardamom is often used in curries, I believe. |
| 16:39.49 | vontrapp | that morse script looks more like perl than ruby |
| 16:40.03 | vontrapp | mmm, curries |
| 16:40.13 | vontrapp | mmm, curries |
| 16:40.36 | vontrapp | once wasn't enough |
| 16:40.58 | levi-laptop | Mmm, curried functions. ;) |
| 16:41.37 | vontrapp | ~morse |
| 16:41.38 | ibot | A morse code translator.. URL: http://www.stampede.org/~mwh/ |
| 16:41.45 | vontrapp | ~morse foo |
| 16:42.45 | tensai | hans: so far. I'll give it a few weeks before I turn off my ssh tunnel though. |
| 16:45.11 | hans | tensai: if I may prophesy, you won't be dissapointed. |
| 16:48.09 | hans | what kind of operators? |
| 16:48.23 | levi-laptop | shift and reset |
| 16:48.37 | levi-laptop | Well, those are names that are sometimes given to them. |
| 16:48.53 | hans | lukfugl would probably know |
| 16:49.14 | levi-laptop | The idea is that you can create partial continuations and compose them, from what I've gathered so far. |
| 16:49.35 | levi-laptop | lukfugl is into hardcore CS theory stuff? |
| 16:50.06 | hans | does it have anything to do with "lambda the ultimate"? |
| 16:50.54 | hans | he's math genius, and likes CS theory |
| 16:51.30 | levi-laptop | Somewhat, I think. "Lambda the Ultimate" is the name of a blog, but more significantly part of the name of a series of paper by Steele (and Sussman?) describing how you can use lambda as the foundation of your programs. |
| 16:53.03 | levi-laptop | So, what I've figured out so far is that there's this thing called the Curry-Howard Isomorphism, which says (more or less) that a proof corresponds to a program, and vice versa. |
| 16:54.09 | levi-laptop | So, pure lambda-calculus corresponds to intuitionistic logic, and lambda-calculus with first-class continuations corresponds to classical logic. |
| 16:54.23 | hans | intuitionistic? |
| 16:54.40 | levi-laptop | That's what I was trying to figure out... |
| 16:55.13 | levi-laptop | Apparently intuitionistic logic is classical logic without the Law of Excluded Middle, but with the Law of Contradiction. |
| 16:56.13 | levi-laptop | But that's just another layer I don't fully understand. :) |
| 17:00.30 | levi-laptop | This one paper is full of lambda-calculus notation, which I'm not really familiar with. |
| 17:01.16 | vontrapp | man, stupid rdesktop makes my xmms jitter |
| 17:01.58 | Bradipo | My xmms jitters when I write to a floppy. |
| 17:03.26 | levi-laptop | hans: http://www.cs.indiana.edu/~sabry/papers/contF-talk.pdf |
| 17:03.53 | hans | my xmms rarely jitters in 2.6. maybe you need dma for your hard disks? |
| 17:04.00 | vontrapp | ~lart IE for not giving any information on errors |
| 17:04.23 | vontrapp | rdesktop doesn't do anything with the hard disk |
| 17:05.56 | hans | network |
| 17:06.02 | hans | i/o |
| 17:06.37 | vontrapp | so you're saying turn dma on for network io? |
| 17:07.09 | hans | no |
| 17:07.27 | hans | network i/o is slow and you might be blocking there, and then blocking on disk i/o which is also slow |
| 17:07.41 | hans | if disk dma is not already on, it may elimitate one of the slownesses and alleviate your problem |
| 17:08.04 | hans | if you're not running a recent 2.6, or a 2.4 with preempt, that might also play a part |
| 17:08.07 | vontrapp | well, dma is on... |
| 17:10.12 | levi-laptop | hans: Ahh, here's a clearer summary of the observations of the Curry-Howard isomorphism: logical propositions correspond to types in a programming language, proofs in logic correspond to expressions in a programming language, and verifying the correctness of a proof in logic corresponds to type-checking its corresponding programming language expression. |
| 17:12.48 | *** join/#utah gthornock (~garyt@host2.64-58-235.webaccess.net) |
| 17:13.27 | vontrapp | anyway, i guess i'll just get this rdesktop session over with. |
| 17:13.38 | vontrapp | IE reports "not implemented" |
| 17:13.48 | vontrapp | and gives a line number that means nothing |
| 17:14.08 | vontrapp | i know the problem is in javascript... |
| 17:14.30 | vontrapp | what are some common 'not implemented' things in ie? |
| 17:24.07 | *** join/#utah spr (~spr@ramona.cs.byu.edu) |
| 17:24.58 | tensai | vontrapp: void formatPageAccordingToStandards() |
| 17:25.21 | vontrapp | yep, that's one |
| 17:25.24 | tensai | also, removeAllActiveX() |
| 17:29.23 | vontrapp | what is the widescreen ration? |
| 17:29.27 | vontrapp | *ratio |
| 17:29.49 | tensai | 16:9 |
| 17:29.53 | tensai | generally |
| 17:30.16 | vontrapp | convert 15 in mm |
| 17:30.23 | vontrapp | ~convert 15 in mm |
| 17:31.40 | vontrapp | who remembers ibot's convert format? |
| 17:31.56 | hans | ~convert 15 inches to barleycorn |
| 17:32.12 | vontrapp | ~convert 15 inches to mm |
| 17:34.17 | tensai | ~convert 40 hogshead per furlong to miles per hour |
| 17:34.41 | tensai | ~convert 40 hogshead per furlong to miles per gallon |
| 17:34.56 | Jayce^ | try rods instead of furlong |
| 17:35.21 | tensai | ~convert 40 rods to the hogs head to miles per gallon |
| 17:35.29 | tensai | ~convert 40 rods per hogs head to miles per gallon |
| 17:36.06 | *** join/#utah Hhhhh (~cristobal@c-67-169-244-47.hsd1.ut.comcast.net) |
| 17:36.12 | Hhhhh | hello |
| 17:38.15 | tensai | ~x en ja hello, Hhhhh |
| 17:38.47 | Jayce^ | nice, I can actually see the correct chars now :) |
| 17:39.02 | Jayce^ | fat lot of good it does me though |
| 17:39.31 | Jayce^ | ~convert 40 rods per hogshead to miles per gallon |
| 17:40.09 | Jayce^ | ~convert 40 rods per furlong to miles per hour |
| 17:40.22 | mheath | haha |
| 17:44.58 | tensai | how do I read one line at a time into a bash variable |
| 17:45.23 | tensai | "while read foo <file; do ...; done" doesn't work |
| 17:45.37 | tensai | I just get the first line over and over and over and over |
| 17:47.09 | *** join/#utah tyce (~tyce@fw.oremut02.us.wh.verio.net) |
| 17:58.02 | hans | tensai: what about while read; do foo; done <file |
| 17:58.07 | hans | (untested) |
| 17:59.13 | tensai | hans: perfect, but too late |
| 17:59.26 | hans | or cat file | while read foo; do foobar; done |
| 17:59.58 | tensai | that's handy to know |
| 17:59.58 | hans | which I think is easier to read |
| 18:00.01 | hans | yes, it's very cool. thanks for the idea |
| 18:00.49 | tensai | yeah, I tried while cat file | read foo but with poor results. I guess that makes sense because it's firing off read each time which returns the first line |
| 18:01.35 | hans | i can think of a lot of good uses that involve find and files with spaces |
| 18:02.47 | tensai | my problem is that I've got directories with 30,000 files so I can't just use xargs |
| 18:03.35 | goozbach | find -exec? |
| 18:04.22 | hans | find -exec is clumsy |
| 18:04.32 | hans | but that is what I've used in the past |
| 18:04.44 | hans | tensai: doesn't xargs handle the command-line limits? |
| 18:06.52 | tensai | hans: in theory. I know I've had problems with it before |
| 18:24.11 | fozz | ~seen tene |
| 18:24.13 | ibot | tene is currently on #utah (10h 21m 7s) |
| 18:32.25 | *** join/#utah TimRiker (~timr@TimRiker.active.supporter.pdpc) |
| 18:32.25 | *** mode/#utah [+o TimRiker] by ChanServ |
| 18:51.23 | Uncle_Jesse | any mysql gurus around? |
| 18:52.02 | Uncle_Jesse | trying to find the best way to turn off autocommit |
| 18:52.14 | *** join/#utah drewbono (~andrew@rrcs-67-53-103-87.west.biz.rr.com) |
| 18:52.19 | Uncle_Jesse | the ways mysql.com suggest don't seem to work |
| 18:54.48 | bigdog_ut | Uncle_Jesse, pgsql |
| 19:07.52 | Uncle_Jesse | bigdog_ut: I was waiting to hear that |
| 19:08.10 | Uncle_Jesse | that's not an option here - big company, already made the decision on MySQL |
| 19:12.56 | Uncle_Jesse | bigdog_ut: I would probably choose firebird over pgsql anyway ;-) |
| 19:13.02 | Uncle_Jesse | if I had the choice |
| 19:16.07 | *** join/#utah jnielsendotnet (~john@pcp09741457pcs.goosck01.sc.comcast.net) |
| 19:16.50 | tensai | how about this for a new spammer tactic, misleading reverse dns |
| 19:16.52 | tensai | Received: from smtp-pot.centerline.support@ebay.com ([213.37.237.46]) by p959-bzz4.support@ebay.com with Microsoft SMTPSVC(5.0.4778.2630); Sun, 23 Jan 2005 04:22:39 +0600 |
| 19:18.22 | gthornock | Does it work if you use init_connect='SET AUTOCOMMIT=0' in my.cnf? |
| 19:21.47 | Uncle_Jesse | gthornock: I'll pass that on to our admins. I don't have access to that file in particular, but they seem stumped. Everything I've tried from the mysql client doesn't seem to work either. |
| 19:22.08 | Uncle_Jesse | set autocommit=0 doesn't work from the command-line client for some reason |
| 19:23.31 | Uncle_Jesse | am I understanding correctly that with autocommit=0 I should just have to enter a commit after all inserts/updates/deletes/etc to have it actually execute those, correct? |
| 19:23.43 | Uncle_Jesse | I don't need "begin transaction" or the like do I? |
| 19:28.00 | gthornock | As far as I know. Note, though: autocommit only works with transactional table types (InnoDB mainly). It won't do anything if you're using MyISAM. |
| 19:36.25 | Jayce^ | gthornock, correct |
| 19:38.40 | synic | http://people.zoy.org/~sam/phd-sarge.png |
| 19:39.58 | Uncle_Jesse | gthornock: yeah - I'm doing this with InnoDB only |
| 19:40.07 | Uncle_Jesse | really weird - it should work |
| 19:40.24 | Jayce^ | what version? works for me.. |
| 19:42.05 | Uncle_Jesse | 4.1.11 |
| 19:42.26 | Jayce^ | not sure what's up then, should work fine |
| 19:42.44 | Uncle_Jesse | yeah - really weird |
| 19:44.38 | Uncle_Jesse | if I don't have permissions to use set autocommit it should generate an error, right? |
| 19:53.27 | *** join/#utah drewbono (~andrew@67.53.103.87) |
| 20:02.39 | *** part/#utah jnielsendotnet (~john@pcp09741457pcs.goosck01.sc.comcast.net) |
| 20:09.09 | hans | ok, put on your 007 hats |
| 20:09.56 | levi-laptop | For some reason, I keep hitting . instead of ; at the end of my C lines. |
| 20:09.57 | hans | we have someone at a remote office that has put up a wap |
| 20:10.25 | hans | apparently the standard personnel channels aren't effective, and the wap is not desired |
| 20:10.40 | hans | so, they want me to sabotage it, quietly |
| 20:10.57 | levi-laptop | Heh. |
| 20:11.29 | hans | so how does one find the mac address of a rogue wap in miami while sitting in utah? |
| 20:11.47 | hans | i have the dhcp logs |
| 20:11.53 | vontrapp | have someone log onto the wireless network and relay it to you |
| 20:12.02 | hans | but I don't know anyone in miami |
| 20:12.26 | hans | (outside the company) |
| 20:12.30 | vontrapp | well apparently the company has someone in miami |
| 20:12.40 | hans | but that wouldn't qualify as "quietly" |
| 20:12.44 | tapH20guru | won't a prog like ethereal tell you the MAC from the DHCP logs? |
| 20:13.13 | vontrapp | so everyone in miami is in on the rogue wap revolution... |
| 20:13.37 | hans | no, but they're not to be trusted to be quiet |
| 20:14.21 | vontrapp | hans, create a problem with thier vpn, and request said information in the guise of solving the vpn problem |
| 20:14.36 | tapH20guru | social engineering |
| 20:15.10 | hans | tapH20guru: in this situation it's not social engineering, it's politics. considerably less fun |
| 20:15.31 | Bradipo | Do you have any access to networking equipment (or even servers) that are on the same network? |
| 20:17.06 | *** join/#utah Newsome (~sorenson@obelix.cs.byu.edu) |
| 20:17.08 | hans | yes, the vpn/router box and I could vnc into PCs. |
| 20:17.23 | hans | no servers there |
| 20:17.24 | tapH20guru | hans: lol |
| 20:17.26 | Bradipo | Does the WAP have an IP? |
| 20:17.48 | hans | I would assume so. if I could find it I'm betting 60% chance the guy didn't change the default settings |
| 20:17.55 | Bradipo | You should be able to get the MAC from an ARP table. |
| 20:17.57 | hans | web interface, instant sabotage. gotta find the IP |
| 20:18.00 | Bradipo | Assuming it has an IP. |
| 20:18.10 | tapH20guru | what about installing a sniffer on the remote box that is on the same network... then look for MAC that are common for APs (ie: kismet's list) |
| 20:18.11 | Bradipo | What about nmap? |
| 20:18.23 | Bradipo | Just port scan for port 80. |
| 20:18.30 | hans | there's an idea |
| 20:18.40 | vontrapp | i was going to suggest web interface sabbotage, but then they just figure it out, and reset the box, then set it up properly the second time around |
| 20:19.04 | hans | well, web interface sabotage is the equivalent of what I've been asked to do |
| 20:19.59 | Bradipo | vontrapp: But at least then he has the MAC address. |
| 20:20.36 | hans | setting the dhcp server to not give their little friend an address would probably do thte ttrick too |
| 20:21.15 | vontrapp | or give them a really slow connection |
| 20:21.31 | Bradipo | Well, it would just make it so they can't access it via IP. |
| 20:21.40 | Bradipo | I doubt it would affect their wireless activity. |
| 20:22.21 | vontrapp | you need an ip to do anything besides watch the wireless traffic |
| 20:22.36 | hans | ip/mac, either one I can get the other |
| 20:22.37 | tapH20guru | if you had a managed switch over there you could block that MAC permantly |
| 20:22.47 | Bradipo | Right, but blocking the WAP from getting an IP doesn't block WAP users from getting one. |
| 20:23.13 | vontrapp | oh, i see, i was thinking of blocking the computer from getting an ip from the wap |
| 20:23.35 | Bradipo | If you could figure out which computers were using the wap on the other hand... |
| 20:23.52 | vontrapp | he has access to dhcp logs |
| 20:24.03 | vontrapp | hans are those the wap dhcp logs or something else? |
| 20:24.06 | Bradipo | But how do you know they are obtaining an IP via wireless or ethernet? |
| 20:24.23 | tapH20guru | true... does the WAP creat it's own subnet, etc? |
| 20:24.35 | hans | my dhcp server |
| 20:24.38 | hans | wap is not mine |
| 20:24.46 | Bradipo | Hmm. |
| 20:24.59 | vontrapp | and the wap would be getting the ip from your dhcp? |
| 20:25.00 | Bradipo | If the WAP is also a router, then you might have something... |
| 20:25.02 | hans | if the wap does its own subnet, easy |
| 20:25.08 | Bradipo | If the WAP is also a router then it is likely NATing. |
| 20:25.10 | hans | if the wap just bridges the subnet, harder |
| 20:25.16 | Bradipo | In which case blocking the IP of the wap would do the trick. :-) |
| 20:25.21 | tapH20guru | yup |
| 20:25.54 | tapH20guru | is your gateway.switch a linux box? |
| 20:26.02 | hans | no, a netscreen device |
| 20:26.25 | hans | and probably a separate switch too |
| 20:26.56 | tapH20guru | looks like WAP sabatoge is the way to go |
| 20:27.03 | vontrapp | perhaps you could route thier gateway through a computer of your control and filter out natting to a certain level |
| 20:27.26 | tapH20guru | DoS the WAP? :) |
| 20:27.30 | vontrapp | in the case it doesn't bridge |
| 20:31.57 | hans | if I can get into the web interface, I'll probably just set it up to NAT with a bad gateway or something |
| 20:32.21 | hans | haven't decided if I'll change the admin pw |
| 20:32.26 | *** join/#utah neybar (~jalance@thelances.net) |
| 20:33.06 | hans | hmm. no port 80 from dhcp addresses |
| 20:42.39 | Bradipo | Its also possible that it has a default of 192.168.0.1 or something like that. |
| 20:43.03 | Bradipo | And doesn't use DHCP at all. |
| 20:44.15 | vontrapp | that could be it's address on it's subnet, but not for the uplink address |
| 20:45.52 | vontrapp | unless they hook it up to a personal computer with two nics |
| 20:46.01 | vontrapp | then you've got a real interesting problem |
| 20:52.19 | hans | what was that spiffy prog that generates number sequences? |
| 20:52.28 | vontrapp | seq |
| 20:54.05 | hans | hm. I tried every machine in that subnet, nothing listening on port 80 |
| 20:54.25 | vontrapp | so it probably is nating through someones computer |
| 20:59.30 | tensai | is it likely that the WAP owner is actively trying to hide the device? |
| 20:59.39 | hans | no |
| 20:59.49 | hans | at least I don't think so |
| 21:00.04 | hans | I don't think he has the knowledge for that sort of thing anyway |
| 21:00.25 | tensai | how did knowledge of this WAP come to the attention of whoever wants it removed? |
| 21:00.50 | hans | ah, I did find one after all |
| 21:00.55 | hans | missed it the first time |
| 21:01.21 | hans | someone asked one of us "would this problem have anything to do with the new wireless thing carlos put in?" |
| 21:01.34 | hans | which of course we'd never heard of |
| 21:02.17 | hans | bah, that's a printer. |
| 21:03.26 | tensai | have you called Horatio Caine? |
| 21:03.34 | hans | who's he? |
| 21:03.51 | tensai | the creepy guy from CSI:Miame |
| 21:05.37 | gthornock | It's always possible that the AP doesn't have a web interface at all, or at least that it's not listening on 80. I just tried nmap on my AP at home, and it found no open ports at all. (The only thing I've changed from the default setup was to enable WEP) |
| 21:06.19 | tensai | here's one idea that I think you'll never get working since you don't have any servers. set up a new /24 and advertise it via RIP. WAPs commonly listen to RIP and might respond to traffic from that subnet where valid devices wouldn't. |
| 21:06.23 | *** join/#utah linuxalien (~bastage@c-24-2-80-89.hsd1.ut.comcast.net) |
| 21:08.11 | tensai | scanrand from paketto keiretsu can scan all ports on a /24 in just a few seconds |
| 21:12.14 | tensai | try this. add a route to a non-existent IP block through all the IPs on the Miami LAN. A normal windows box will just drop packets sent to it but not destined for it. A router will generally respond somehow. |
| 21:12.24 | tensai | [root@falcon bin]# ping 10.2.0.1 |
| 21:12.24 | tensai | PING 10.2.0.1 (10.2.0.1) 56(84) bytes of data. |
| 21:12.24 | tensai | From 10.52.75.126: icmp_seq=2 Redirect Host(New nexthop: 10.52.75.1) |
| 21:12.40 | tensai | that's what my WAP says when pinging a bad block |
| 21:13.25 | Bradipo | By the way, nmap scanned a /24 in 2.9 seconds (not all ports, just port 80). |
| 21:14.33 | tensai | for i in `seq 1 254`; do ip route add 10.2.0.0/24 via 192.168.0.${i}; ping -c 4 10.2.0.1; ip route del 10.2.0.0/24 via 192.168.0.${i}; done |
| 21:14.40 | hans | Bradipo: what's the command for that? |
| 21:15.17 | tensai | hans: nmap speaks cidr |
| 21:15.36 | tensai | and wildcards and ranges |
| 21:15.40 | hans | -p is what I was looking for |
| 21:16.53 | Bradipo | I did: nmap -sT 192.168.0.0/24 -p 80 |
| 21:17.07 | vontrapp | hans: how did tensai get root on your box? |
| 21:17.20 | Bradipo | I have also used -sP 192.168.0.0/24 for a quick ping scan. |
| 21:17.20 | hans | there are a lot of falcons |
| 21:17.23 | hans | ed has one too |
| 21:18.05 | tensai | vontrapp: yeah, or so he thinks |
| 21:18.25 | levi-laptop | This guy is a total nutcase: http://kc0bus.blogspot.com/ |
| 21:18.42 | tensai | quick, let's give him undeserved attention! :) |
| 21:19.00 | tensai | he can be the next Michael Jackson |
| 21:19.45 | Bradipo | HTML is the most popular *programming* language. :-) |
| 21:22.20 | tensai | "Nazism, which itself was basically a sound idea in principle but was very, very poorly executed" |
| 21:23.01 | hans | ok, I just learned that people that are using it are getting 192.168.1.0/24 addresses (their subnet is 172.16.60.0/24) |
| 21:23.18 | hans | so it's probably not listening on the subnet I'm scanning |
| 21:23.27 | vontrapp | not surprising |
| 21:23.36 | hans | but if I can get in, I can set its dhcp settings to give out bad default routes and wreak all kinds of fun havoc |
| 21:24.00 | tensai | hans: try out my route script. guaranteed to work or your money back |
| 21:28.01 | Bradipo | ``I see this as basically making AWK obsolete since Perl is far, far more widely used.'' |
| 21:28.03 | Bradipo | Right... |
| 21:28.16 | Bradipo | I rarely use perl, much less for things that awk can do. |
| 21:28.52 | tensai | I use perl in every instance but only because I'm too lazy to learn awk syntax |
| 21:30.04 | Bradipo | lol, I have the exact opposite opinion of perl. |
| 21:30.04 | levi-laptop | I thought his bits about the Sonic carhop were particularly backward. |
| 21:31.45 | *** join/#utah bonez41 (~aint@c-67-166-77-14.hsd1.ut.comcast.net) |
| 21:32.35 | *** join/#utah bucky (~bucky@bucky.active.supporter.pdpc) |
| 21:48.53 | *** join/#utah ChanServ (ChanServ@services.) |
| 21:48.53 | *** mode/#utah [+o ChanServ] by irc.freenode.net |
| 21:50.59 | *** join/#utah beandog (~sdibb@64.50.56.200) |
| 21:54.39 | levi-laptop | Cool, a free textbook on Information Theory, Inference, and Learning Algorithms. |
| 21:55.14 | bucky | online? |
| 21:55.20 | levi-laptop | Yes. |
| 21:55.28 | levi-laptop | http://www.cs.toronto.edu/~mackay/itprnn/ |
| 22:03.09 | bucky | tnx |
| 22:37.24 | *** join/#utah ibot (ibot@apt.bot.TimRiker.active.supporter.pdpc) |
| 22:37.24 | *** topic/#utah is The source for OSS focused discussion in Utah. See sllug.org, plug.org, uug.byu.edu, uvlug.org, fslc.usu.edu, nupm.org, utwaa.org, oalug.com. See planetutah.adelantellc.com for aggregate feeds. | May the source be with you! | This week : Wednesday NUPM meeting (CGI::Path) 6:30 | Plug meeting (Ruby on Rails) 7:30 |
| 22:37.24 | *** mode/#utah [+o ibot] by ChanServ |
| 22:40.51 | Bradipo | hans: Are you telnetting in? |
| 22:40.56 | hans | yeah |
| 22:40.59 | hans | i have that password |
| 22:41.11 | Bradipo | Ahh. |
| 22:41.26 | Bradipo | No enable... |
| 22:41.31 | Bradipo | Gotcha. |
| 22:43.08 | tensai | I like cisco routers. they're fun. wish I had one for home rather than my actiontec. |
| 22:47.27 | Bradipo | tensai: I have a Cisco 678, although it isn't quite the same as a 2500/2600. :-) |
| 22:50.27 | tensai | I had a 678 and they were nice. I'm hoping to get a T1 at home at some point. mmmmm... |
| 22:52.51 | jsmith | tensai: Funny thing... I've got greater (downstream) bandwidth with my 678... |
| 22:53.41 | tensai | jsmith: vs a T1 or vs an actiontec? |
| 22:55.14 | jsmith | tensai: Better bandwidth than a T1, better uptime than an CraptionTec... |
| 22:57.30 | tensai | jsmith: so far the only difference between my office t1 and my home dsl that I've seen is the latency. t1 is about 8ms and the dsl is about 40ms. |
| 23:03.35 | vontrapp | is it possible to propogate a file from one form to another? |
| 23:04.00 | vontrapp | e.g. you have <input type="file" name="blah"/> |
| 23:04.47 | vontrapp | then you go to a second form, and you have something like <input type="hidden file" name="blah" value="??"/> |
| 23:05.39 | tene | not if it's a static page |
| 23:05.50 | vontrapp | no, not static |
| 23:05.58 | tene | then generated by what? |
| 23:06.11 | vontrapp | php |
| 23:06.18 | tene | oh, I understand what you're asking now. |
| 23:06.25 | vontrapp | php puts it in /var/tmp/phpZvkls |
| 23:06.38 | vontrapp | will that still be there the next page load? |
| 23:07.29 | vontrapp | no, in fact, that file persists only long enough to be read |
| 23:07.52 | tene | write it to a temp file yourself |
| 23:07.56 | tene | or use some caching library |
| 23:09.56 | vontrapp | now, when i reload the intermediate page, it grabs the file contents from the user again, so there's something in there that tells it where to get the file |
| 23:10.15 | vontrapp | i want to propogate that to the next page somehow... |
| 23:10.36 | vontrapp | i don't want to create tempfiles for the possibility of them being left behind in an incomplete session |
| 23:10.55 | *** join/#utah gthornock (~garyt@158.91.203.11) |
| 23:13.43 | vontrapp | would it work if i did <input type="file" name="userfile" value="/path/the/user/entered/last/time"/>? |
| 23:14.20 | tene | dunno |
| 23:14.21 | vontrapp | i think it would, in which case i could do a style="display:none" in there |
| 23:14.38 | tene | or just ask for it on the second page instead of the first. |
| 23:14.43 | vontrapp | but how do you get the user's filename from php? |
| 23:14.55 | vontrapp | i use the file in the generation of the second page |
| 23:29.19 | Bradipo | How many WAPs would be required to cover 9000 sq ft? |
| 23:29.37 | Bradipo | Of office space and cubicals... |
| 23:30.38 | *** join/#utah decriptor (~decriptor@67.107.199.149.ptr.us.xo.net) |
| 23:30.45 | tene | do you want them to be physically covered, or just within wifi range? |
| 23:30.46 | decriptor | hey all |
| 23:30.58 | decriptor | I think I figured out how to fix my ongoing vpn problem |
| 23:30.59 | *** join/#utah emcnabb (~emcnabb@adsl-67-65-31-49.dsl.austtx.swbell.net) |
| 23:31.02 | Bradipo | What do you mean? |
| 23:31.31 | tene | do you want the office physically covered in WAPs, or just all of the office to have wireless access? |
| 23:31.36 | decriptor | the nat-t stuff was broken in version 3.6 |
| 23:31.40 | Bradipo | lol |
| 23:31.47 | Bradipo | Just access please. :-) |
| 23:46.00 | *** join/#utah Newsome (~sorenson@sorenson.dsl.csolutions.net) |
