Slashdot Mirror


User: Theatetus

Theatetus's activity in the archive.

Stories
0
Comments
1,083
First seen
Last seen
Profile
(view on slashdot.org)

Comments · 1,083

  1. Now fully OT... on Calculating A Theoretical Boundary To Computation · · Score: 1
    Much as I'd love to, I'll never understand unlambda... What does it do?

    Nothing useful. It's good for practicing function application. k takes two arguments, evaluates both, and returns the result of the evaluation of the first. s takes three arguments, applies the first to the third, and applies the result of that to what you get when you apply the second argument to the third. As far as the backtick, imagine that this is LISP and the backtick is an open parenthesis (the matching close paren is inferred by the parser at the appropriate place).

  2. Yeah, library versioning could be better on Gentoo Linux Announces Gentoo Linux 2004.1 · · Score: 1

    Agreed. Portage should handle clean, depclean and unmerge better, particularly for libraries. A good start would be a version of etcat that shows me what version of libfoo appbar is linked against and what versions of libfoo are installed and available on the portage tree... hmmm... come to think of it, sounds like a project for me....

  3. Law of the excluded middle on Calculating A Theoretical Boundary To Computation · · Score: 1

    Depends on your propositional calculus system; some systems recognize a "null" as distinct from a "false", with null = ~true and null = ~false. The popular meme associated with this is the question "have you stopped beating your wife?"

  4. Re:Roger Penrose - linky link? on Calculating A Theoretical Boundary To Computation · · Score: 5, Informative
    Kurt Godel DID prove that mathematics is infinite. No matter how many rules and computations, OF ANY KIND, that you write down (or program into a computer) those rules can't be complete and consistent.

    Ummm.... no. Godel proved that the axiomatic system of Russel's PM allows the construction statements which can neccessarily neither be proven true nor proven false. There are other axiomatic systems that can be complete and consistent; IIRC it was in fact Godel who proved that the first-order propositional calculus is complete and fully consistent. Godel's fork only attaches to systems that allow the construction of statements about statements; many propositional systems (like the first-order propositional calculus) do not.

    because you imply that a person should be able to distinguish intuition from fact. That this is a basic error has been pointed out by: Plato, Descartes, Kant, Husserl

    Oy.... where to start? Kant's Critique of Pure Reason is nothing but 600 pages describing how people distinguish intuition from fact (though admittedly Kant was using "intuition" in a sense that we don't normally use it today). Descartes wrote his Meditations as an attempt to remove "intuition" (again, closer to Kant's sense of the word than ours, but still) from philosophy. Plato, of course, says nothing about the subject directly but narrates several dialectical processes about the subject.

  5. Re:Why is Sun an Open Source Sweetheart, anyway? on Criticizing Sun's Java Desktop System · · Score: 1
    Have you ever heard of NFS, RPC, TCP/IP, XML, LDAP, etc?

    TCP/IP? You sure about that? The RFCs for TCP and IP are from 1981. Sun was founded a year later.

  6. Ports on Software To Stop Song Trading · · Score: 1

    A lot of people seem to think that ports have some mystical power. A port is just a number. It's just a number two processes have agreed to both use to keep track of who is talking to whom. You could not make a computer "think that" port 6989 is port 80, but it's trivial to configure a web server to listen on port 6989 for a connection on port 6989. It remains normal http traffic over a nonstandard port.

  7. Re:Why is this a surprise?! on BIND 9.3 Released With Commercial Support · · Score: 1
    That frigging Not guaranteed for any purpose thing has somehow got to go, although I know that it's fundamental to the GPL.

    Read your (Microsoft|Sun|Oracle|Intuit|etc.) EULA some time; it says the same damn thing

  8. Eh, checksum if you BGP and carry on on TCP Vulnerability Published · · Score: 1

    It seems to only be really a problem if you have long-lived TCP connections and easily guessed next-hops, which is why the announcement focuses on BGP. Looks like I'll be upgrading some router firmware tonight...

  9. Re:Just installed Xandros... on Linux's Achilles Heel Apparently Revealed · · Score: 1

    Hmmm... last time I got dual monitors working on Windows it took about 6 hours and... wait for it... dropping to the command line to register a DLL. What's the big advantage of Windows again?

  10. Re:This guy blames everything except on Linux's Achilles Heel Apparently Revealed · · Score: 1
    I gave up on Linux after a week of frustration and hair pulling that I've never experienced on Windows.

    You were installing Linux. Were you installing Windows, or just dealing with an OEM installation? My own experience with both OSes is that installing Windows is much, much, much more difficult and error-prone.

  11. Not really on Increasing the Value of the Domestic IT Worker? · · Score: 1
    The thing is, as you point out, the outsourced product is likely to be cheaper

    Depends on what the thing in question is. Remember, these outsourcing decisions are made by the same PHB's we all work for. Here's how I've seen it happen:

    1. Company A successfully offshores their widgetmaking division to Elbonia
    2. A VP at Company B reads a magazine article about it
    3. VP calls a meeting and tells his managers to try to do a feasibility study of moving their widgetmaking to Elbonia
    4. The managers figure Elbonia is the VP's new thing and they want it to look good, so they find some good numbers for it
    5. Ignoring all reality, the VP then offshores the widgets to Elbonia. The managers simply know "use Elbonia now" but don't look for the best price, and end up paying about 10% more
    s/Elbonia/Indonesia/g && s/widgets/journal abstracts/g in my case

    Remember, if the people running businesses really understood business then stock prices would be constant.

  12. don't subscribe link on Paid To Spam · · Score: 1

    You don't need the "don't subscribe" link to avoid subscribing (ignoring the email works fine), it just lets us know that person X chose not to subscribe at time Y from IP address Z.

  13. Re:IP address fun on Paid To Spam · · Score: 2, Informative

    Yeah the email address signing up receives a confirm/deny email with three links: "subscribe", "don't subscribe", and "for God's sake don't ever send me anything from any of your servers ever again" (last two links are also in the footer of all messages we send out). We did once have a problem with a h4x0r (one of our clients at the time) trying to automate hits to the subscribe link but we caught him.

    We never could think of a good fix to prevent that. Anybody have any ideas?

  14. Re:IP address fun on Paid To Spam · · Score: 3, Interesting
    and they've never been on an RBL or had a spam complaint.

    We've had maybe 10 spam complaints in 5 years, and in all 10 cases we had the date, time, and IP address from which the user signed up for the list. Despite the fact that we can prove when and where they signed up for the list, those complaints + our mail volume is enough to get us blacklisted.

  15. Re:IP address fun on Paid To Spam · · Score: 1

    Eh, not really. Most of our mailing lists are for bands that want to get tour info out to their fans and antique stores that want to get their inventory lists out to their customers. If you don't see the difference between sending mail that people actually asked for and sending mail with forged headers about penis enlargement, maybe you need to think about it a little more.

  16. IP address fun on Paid To Spam · · Score: 3, Interesting

    I'm a commercial bulk emailer. We've wanted to do something like this for a while but always got scared off by liability issues.

    This is a brilliant solution because the one thing we're always short of (even as legal bulk emailers) is IP blocks that aren't blacklisted (since a lot of the blacklists run simply on volume of email sent or take the word of somebody who's too stupid to remember he actually did sign up for a mailing list). I would assume actual spammers have an even tougher time with their IP addresses. Now they can spam up all the cable ISP's IP blocks, and once a block gets blacklisted they can just switch to a new set of users. Brilliant.

  17. CPU hour, not normal hour on Paid To Spam · · Score: 4, Informative

    It runs as a service (or whatever windows calls daemons nowadays) so you're not getting even close to a CPU hour in an hour.

  18. Re:Do it right the first time... on Slow Down the Security Patch Cycle? · · Score: 1

    Don't forget your unicorn insurance...

  19. I find it even sillier... on Scotts Testing Genetically Modified Grass · · Score: 1, Insightful

    ...that a bunch of people seem to think that corporately-funded research should be considered "science" without any skepticism.

  20. Re:Good For Them on Scotts Testing Genetically Modified Grass · · Score: 5, Insightful
    Golf courses demand a huge amount of chemicals, fertilizers, and maintenance to keep its fairways lush, and its greens perfect.

    Read the article again. The "problem" currently is that groundskeepers can't simply dump huge amounts of herbicide everywhere since the grass will die. This grass lets them dump huge amounts of herbicide everywhere to kill the normal weeds.

    Yeah, I'm jumping for joy over this. I was just thinking the other day that there isn't enough herbicide being dumped on the ground right now.

  21. Re:ready to go? on Scotts Testing Genetically Modified Grass · · Score: 1
    Harriman, Scotts' chief research scientist, counters that numerous studies by the company indicate the grass is unlikely to spread.

    Hmmmm... sort of like those Monsanto studies that wrongly claimed their corn couldn't spread?

    Don't trust corporately-funded "science"

  22. Fine, I'll put it in computer geek terms on Scotts Testing Genetically Modified Grass · · Score: 4, Insightful
    In all seriousness, sounds like those afraid of controlling it are just spreading FUD.

    Perhaps, but unlike SCO or MS FUD, this FUD has a basis in reality, or at least the Uncertainty and Doubt portions do: We are not certain what the environmental effects of this grass will be. We are not certain how other organisms will interact with it. We are not certain what large-scale effects on the ecosystem (ie, us) will have. Ecosystems are terribly, terribly complex and grass is a crucial part of them.

    If we can modify grass to resist weed killer, who says we can't also make it vulnerable to something environmentally friendly like cooking oil?

    Because it's not that simple. They changed a gene that turns off sensitivity to a specific chemical in the weed killer. We don't know what else that gene change did. We don't know how it affects the grass's metabolism (or whatever you call the plant version of metabolism).

    To put it in computer geek terms: it's like deciding to change a couple of variables and functions in your C library and recompiling, only imagine a C library that's about a trillion times more complex than libc. Could it work fine? Yes. Could it destroy your entire system? Doubtful, but conceivable. Could it have unforseen side effects? Almost certainly. Would you do it without large-scale, intensive testing? No. Would you do it without a damn good reason? Definitely not.

    We haven't done the testing on this because we can't create a control ecosystem. And as much as I love golf, it doesn't count as a "damn good reason".

  23. Re:Lindos? on Lindows Agreeing to Change Name · · Score: 1

    My point was that "window" is as generic a name for a rectangular piece of screen as "dos" is for "Disk Operating System".

  24. Lindos? on Lindows Agreeing to Change Name · · Score: 0, Redundant
    although a favorite is Lin dos

    Yeah... Microsoft sure couldn't have *ANY* objection to that...

  25. The irony being... on X.Org Foundation Releases X11R6.7 X Window System · · Score: 1

    ...that most of the distros and app developers would have probably been happy to include the notice XFree wants if it had been a personal request rather than a license term.

    For grandparent post, the reason it's "not free enough" or whatever is that it imposes a restriction on redistribution that is incompatible with the GPL, and that slippery slope heads pretty quickly towards requiring advertisements for nVidia/Maxtor/Radeon/$INSERT_COMMERCIAL_COMPANY_HE RE every time they make a driver or library for Linux.