Slashdot Mirror


User: zevans

zevans's activity in the archive.

Stories
0
Comments
415
First seen
Last seen
Profile
(view on slashdot.org)

Comments · 415

  1. Re:Uh ... on Towards a Wiki For Formally Verified Mathematics · · Score: 1

    i don't see why the wiki couldn't keep different systems separate. calculus theorems don't have any relevance to axioms of set theory, and vice versa.

    Maybe it could keep them seperate, but it certainly shouldn't. Haven't many of the biggest maths revolutions in the last few years come from finding proof of a direct analogue between hitherto disconnected areas of mathematics?

    Think Wiles' use of elliptical functions and modulus arithmetic, or dozens of new theories in topology and symmetry found by people allegedly working on string theory.

  2. Re:Uh ... on Towards a Wiki For Formally Verified Mathematics · · Score: 1

    I've read it four or five times... but I know what you mean. The first couple of times I read it it felt like -I- was one of the dudes in the Chinese room.

  3. Re:What about the Black Hole right HERE!!! on LHC Success! · · Score: 1

    As it was a cheese sandwich, I think we can safely determine that black holes are lactose intolerant.

    Or they may be wheat intolerant. Dammit, now we have to build a second, even larger collider to find out which!

  4. Re:More than scientific learning on LHC Success! · · Score: 1

    There was actually no reason for the doomsayers to be involved today. There are no high-energy collisons until October and even then they will only be at Tevatron energies.

  5. Re:Um, first question: WTF is MapReduce? on MapReduce Goes Commercial, Integrated With SQL · · Score: 1

    MapReduce is the algorithm used to determine the optimum folding pattern used to reduce a standard road map back into its folded state. Duh.

    Coded for, we assume, on the Y chromosome only.

  6. Re:Can you say publicity stunt? on New Racing Simulation Distances Itself From Gamers · · Score: 2, Funny

    I'd love to be an Elitist, but the closest I can get is an ooliteist.

  7. I know who this is... on Digitizing Rare Vinyl · · Score: 1

    It's the Tortoise.

    But once he's converted them, can they be played on Record Player X?

  8. Really a matter of choice... on How To Fix the Poor Usability of Free Software · · Score: 1

    Nothing bugs me more than a piece of software that insists purely on mouse or purely on keyboard. Except perhaps an environment that has utterly inconsistent keyboard shortcuts.

    I like Windows XP, and Office (there, I said it) because it really has stuck to the rules around a common user interface and several ways to do everything. A lot of what is in there has not changed since it was all shamelessly stolen from Xerox / GEM / Lisa.

    The other great thing about Office is the customisable toolbars and the ease of changing keyboard shortcuts around, and moving things around to where you want them, and floating stuff to optimise screen estate. (Although this has holes - on IE7 for instance you can move some toolbars/menus but not others - what's that about?)

    I haven't played with OpenOffice enough yet to see if it can compete there - but certainly GNOME/Ubuntu has some shortcomings in this area before you even get as far as the app. That said, Nautilus makes a damn sight more sense than Explorer ever has.

    I speak fluent vi, because for certain editing jobs it's a very efficient way of going mouse-free, especially if you're doing a ton of search/replace.

    I suppose what I am saying here, in a rambling way, is that in a lot of FOSS apps you get what you are given and there's not much that you can change. You can make Windows Media Player look like pretty much any of the media players available for Ubuntu, but the reverse does not apply.

    But of course you have already made the choice, Neo...

  9. Re:Really a matter of taste... on How To Fix the Poor Usability of Free Software · · Score: 1

    Worth noting also that it was at least 20 years [citation needed*] before we had a car with the modern interface - three pedals A B C, parking brake and shifter in the centre. For those that even HAD clutch and gearbox, that is...

    [Really can't be bothered looking through youtube for the relevant episode of Top Gear]

  10. Re:Bring a database down? on Diagramming Tool For SQL Select Statements · · Score: 1

    Now, it could seriously slow down a production server, but... you're not pushing untested SQL on a production server now, are you? Right? Riiiiiiiiiiight?

    What about, say, the ad-hoc area for Decision Science and other speculative data-mining? These analysts do multidimensional joins all day every day. This tool strikes me as very useful in getting a better grip on the consquences of the latest cockamamy scorecard idea, BEFORE it hits the server.

  11. Re:Gayaplex? on Mandriva Joins the Netbook Market With the GDium · · Score: 1

    I understood the first six things on the list before breakfast.

  12. Re:Games on Linux For Housewives. XP For Geeks. · · Score: 1

    So let me get this straight, geeks want to play games on tiny screens and, for most games in today's market, what would be greatly underpowered hardware?? What do they play, minesweep??!

    I don't even know what OS a DS Lite runs, but I think you just described one. Which goes to show that the OS is not the issue here.

    (I have one, hours of fun when commuting thank you very much. Heck I even read Slashdot on it, in the bath.)

  13. Re:More independent verification needed on Massive, Coordinated Patch To the DNS Released · · Score: 1

    Why the sarcasm? If you're hiring sysadmins who aren't also system-level developers, you're not hiring people who can Do The Job Right.

    Or perhaps hiring people who get into Too Much Detail?

    If CERT and a large number n of vendors have agreed a fix, you would have to be impractically risk-averse or have a ludicrous amount of spare time in your organisation to justify an expert look through the source code in addition.

  14. Re:Stupid on Bank of NY Loses Tapes With 4.5 Million Clients' Data · · Score: 1

    According to Google just about EVERYTHING was first said by Wilde or Twain...

  15. Re:Posting from my EEE PC... on Comparing the OLPC, Classmate and Eee · · Score: 1

    So why exactly would I need 80GB on the EEE when every other device in my household has spare storage and already holds the content I want to see or hear on the EEE?

    YOU come back to ME when YOU have a clue. Remember that "thin client" thing that we used to have?

    Are you familiar with this here newfangled "network" doohickey at all?

  16. Rule of Three (duplicates, that is) on Australian Government Considers Copying UK Copyright Law Ideas · · Score: 1

    I can't help noticing the uncanny resemblance between the three-strikes rule and the three-duplicates-of-this-story rule on Slashdot. Are they by any chance related? I think we should be told.

  17. Re:How the universe works on Laser Light Re-creates 'Black Holes' in the Lab · · Score: 1

    So,are you saying that every time someone on here cracks a Creationist gag we need to reply with several posts, each of an anti-Islam, anti-Judaism, anti-Sikh, anti-Buddhist, anti-Shinto, anti-a-dozen-other religions, just to ensure balance?

    There's a whole entertainment industry based on picking holes in Jewish culture, for instance, so I'm not sure why you feel picked on.

    The Big Bang was not a big bang or an explosion, as such, it's a very bad name for a very compelling theory. But then it was Hoyle that coined it...

  18. Re:Please enough already... on Laser Light Re-creates 'Black Holes' in the Lab · · Score: 2, Funny

    Fair point, when you put it like that... ...but at least we aren't breeding creationists.

  19. Re:How the universe works on Laser Light Re-creates 'Black Holes' in the Lab · · Score: 1

    '...believe differently...' and '...facts straight...'

    Anyone else see the problem here?

    And nope, you won't see people ridiculing the Islamic creation myths, because that's not how the Koran works. Since many scholars believe it embraces evolution and the Big Bang, there's nothing to laugh at (although I bet Fred Hoyle is pissed off)

      Try a quick Google for Islam and creation myth and you'll see what I mean.

  20. Re:Sounds safe on Laser Light Re-creates 'Black Holes' in the Lab · · Score: 1

    Not quite the same. The SURFACE gravity of the spoon would have changed. Which means bits of your hand would fall into it.

    IANAP (never one around when you want one is there?) but I think the Hawking radiation goes faster at that sort of size of event horizon, and so your spoon will go pop quite soon.

  21. Re:Am I slow? on Laser Light Re-creates 'Black Holes' in the Lab · · Score: 1

    Slow? Sure you are. As thick as two short Plancks...

  22. Toddlers may use neural networks... on Toddlers May Learn Language By Data Mining · · Score: 1

    ...to acquire language. Film at 11!

    Unless my layman's understanding of neural network research is badly wrong (IANAAIR) we knew this already. You set up a neural network and throw it a bunch of inputs, reward it for the right outputs, and away you go.

    Yes, this is also how you build scorecards and so on in the world of data mining (I -am- an expert on that, or at least on the systems and infrastructure required to carry out this kind of analysis). But we knew that too.

    So really the headline is "AI, analytics ivory towers meet, swap war stories" - and if you're telling me that this hasn't happened already at some point post-Minsky and post-Kimball, I am disgusted with both communities and I will be banging their heads together.

  23. Re:I personally on Best Presidential Candidate, Democrats · · Score: 1

    Living in Springfield I walked past his Senate election HQ whan he ran; it was next door to recycled Records. I never saw anyone in there who wasn't black. I never saw a white candidate's HQ where everyone there was white, or an Asian candidate's HQ where everyone was Asian. Shurely everyone in Springfield is... yellow?
  24. Re:I personally on Best Presidential Candidate, Democrats · · Score: 1

    Hillary is also married to an ex-president. Probably helps!

  25. I for one welcome... on Best Presidential Candidate, Democrats · · Score: 1

    your new God-fearin', gun-controllin', gay-emancipatin' overlords!