×

Welcome to the Slashdot Beta site -- learn more here. Use the link in the footer or click here to return to the Classic version of Slashdot.

Thank you!

Before you choose to head back to the Classic look of the site, we'd appreciate it if you share your thoughts on the Beta; your feedback is what drives our ongoing development.

Beta is different and we value you taking the time to try it out. Please take a look at the changes we've made in Beta and  learn more about it. Thanks for reading, and for making the site better!

Comments

top

Smart Car Tipping Trending In San Francisco

Garridan Re:Smart Cars = HiTech ??? (369 comments)

Stop buying boutique shit, dumbass. Get it from the garden store like the rest of us. It only costs a few bucks a yard.

about a week ago
top

How the Internet Is Taking Away America's Religion

Garridan Re:Knowledge (1036 comments)

Real actual skeptic here (I think). Is the internet reducing religious affiliation because people are being exposed to different opinions? Or is the internet addictive, and does it subsume all of its occupants' time? Atheists are so eager to claim success that they don't even remember to check for confirmation bias and apply occam's razor.

Religious affiliation is correlated with increased mental health and a strong local community. The outspoken minority of religious fucks make the rest look bad to the undiscriminating outsider (oblig).

From where I stand, it looks like people are getting more extreme than their churches. They want to subjugate and punish and judge, and go against all the good parts of their religions. So they are leaving the churches in droves, and taking their hatred and ignorance to the internet. This may be a result of sampling bias (see oblig link above), and begs for good science to be done.

about two weeks ago
top

Introducing a Calendar System For the Information Age

Garridan Their website isn't in Esperanto? (224 comments)

What the hell guys, if you're going to try and design something to replaced an entrenched convention, you might as well go whole hog. Oh wait, no, I know... their website isn't in Esperanto because such projects always fail.

about three weeks ago
top

NSA General Counsel Insists US Companies Assisted In Data Collection

Garridan Re:Of course they did! (103 comments)

And look at you, buying into the government's blame-shifting. This is the opposite of Nuremberg -- don't blame us, we were only giving orders! Blame the eeeevil companies that did the deed, not the innocent government who merely demanded compliance with threat of imprisonment or worse, fines!

about a month ago
top

Algorithm Reveals Objects Hidden Behind Other Things In Camera Phone Images

Garridan Re:Crap (85 comments)

No, you see all of the images from the paper right up at the top. The kicker is that it can only do monochrome. So your x-ray voyeur shots will only work for girls and boys wearing full-body paint under their clothes. Or maybe you can illuminate them with lasers. I'm sure nobody will notice.

about a month ago
top

Environmentalists Propose $50 Billion Buyout of Coal Industry - To Shut It Down

Garridan Re:This is what Thatcher was good at (712 comments)

Maybe that's because Stalin was a totalitarian, which totally jives with the conservative mindset. Want to know who else conservatives didn't celebrate the demise of? Hitler. Is that because conservatives are evil? No. It's because they're too blind with greed to recognize any evil other than "taxes" (which they desperately depend upon to keep their businesses solvent).

about a month ago
top

Court Denies NSA Request To Hold Phone Records Beyond 5 Years

Garridan Re:god damnit (46 comments)

I wonder... could we force them to keep metametadata? Y'know, summaries of what fields were copied out of what databases of what companies on what days? That way, we could still have a snowball's chance at proving that individual customers had their privacy impinged. Of course, this is all rhetoric: no, we can't force them to keep anything, and no, we wouldn't have a snowball's chance at proving shit against the fed. Fun idea, though, having a government that behaves responsibly.

about a month ago
top

Whole Foods: America's Temple of Pseudoscience

Garridan Re:Why? (794 comments)

That's a pretty nosy question if I've ever heard one. But since you ask, it smells pretty nosy.

about a month and a half ago
top

Agbogbloshie: The World's Largest e-Waste Dump

Garridan Re:What's the point of this? (117 comments)

Right... so... you want to be sheltered from the worst news from the unprivileged, because you feel powerless to stop it? Tell that to the people in that situation, with significantly less power to stop it! Yes! Let's not talk about the bad things in the world unless the newspiece has a button that you can personally click to solve that problem. That's exactly how problem-solving works. Who knows why the press never thought of that!

about a month and a half ago
top

Seafloor Carpet Mimics Muddy Seabed To Harness Wave Power

Garridan Re:Southland here we come (20 comments)

No, the downside is that the muddy seafloor is chock full of life. The energy absorbed by that seafloor churns the mud, continually stirring around nutrients, plankton, eggs and sperm, algae, etc. A huge amount of sealife spawns in this mud -- stop churning it, and you kill everything there. And as these things usually go... killing a huge number of species tends to open a door to noxious, invasive, damaging monocultures.

about 2 months ago
top

Why Your Online Impersonation of a 16-year Old Girl Won't Last Long

Garridan Re:The FBI is screwed! (137 comments)

Hire and train real 13 year-old girls to seduce 'predators' online and lure them into an IRL meeting. Duh.

about 2 months ago
top

A Mathematical Proof Too Long To Check

Garridan Re:To long, didn't check. (189 comments)

No. The program does not check itself. You rely on faulty humans for that part. Duh. There's gotta be some fault in the rigor or you'll never get your math paper published.

about 2 months ago
top

A Mathematical Proof Too Long To Check

Garridan Re:To long, didn't check. (189 comments)

I'll undermine your 'proof by authority' by pointing out that the best you can possibly get from my assertion is a fallacy of false generalization. In fact, I'll go so far as to say that GP is correct. Some mathematicians are unsatisfied by computer proofs. Possibly most mathematicians. I've apparently gone on record calling the majority of mathematicians "idiots". Worse, I'm on the job market. Good thing my real name isn't on this account!

If I get tenure, I'll get to put my name to my opinions. If I'm a tenth as cranky and outspoken as Doron Zeilberger, I'll be satisfied.

about 2 months ago
top

A Mathematical Proof Too Long To Check

Garridan Re:To long, didn't check. (189 comments)

You're the imaginative one, aren't you? Distributed proofs tend to duplicate work -- at least k contributors prove every claim, and each contributor should have some portion (maybe log(# contributions) or so, IIRC) of their work double-checked by an expert. Sure, it takes k times longer, but you can design it to take advantage of statistics to certify the proof more trustworthy than the average math paper.

I wish modern mathematicians believed the math that they prove day after day for undergrads. If they did, this wouldn't be controversial.

about 2 months ago
top

A Mathematical Proof Too Long To Check

Garridan Re:wow (189 comments)

Maybe out in Granola Country. Where I'm from, we measure in Hummers.

about 2 months ago
top

A Mathematical Proof Too Long To Check

Garridan Re:To long, didn't check. (189 comments)

Mathematicians are supposed to be able to think at a higher level of abstraction than most other folks. Any mathematician who claims that 'this is too much for a human to check' is an idiot. It's not too much. We understand how computers work. They're way less error-prone than humans.

1) Verify the proof that the verification algorithm works.
2) Obtain several independent simple, portable implementations of said verification.
3) Run said implementations on proof certificate on a variety of hardware.

Trust the math, and where it comes to the hardware and software, trust but verify. Too long to check without aid of a computer? Sure, I'll buy that. But you'd have to be an idiot to want to check this proof without a computer. Why is this news? (actually, the result in discrepancy theory is wonderful, and I'm very happy to see it here on Slashdot... but massive computer proofs are truly nothing new)

about 2 months ago
top

A Mathematical Proof Too Long To Check

Garridan Re:To long, didn't check. (189 comments)

Funny thing about this. They've checked it. Actually, their "check" of this proof is many of orders of magnitude more rigorous than when, for example, a reviewer "checks" a math paper for errors before firing off a positive review. Nondisclaimer: I'm a mathematician.

about 2 months ago
top

A New Use For Drones: Traffic Scouting

Garridan Re:Does this idea make sense? (144 comments)

No. This doesn't even make sense if there's only one car doing it. The idea of a human controlling such a drone is laughable... landing on an aircraft carrier in an open ocean is hard enough for experienced, trained pilots with hundreds of logged hours -- an untrained civilian landing on a car swerving around in traffic, while possibly controlling said car? With a rat's nest of utility lines, traffic signs, street lights, business signs and tunnels directly overhead? Bullshit.

Even assuming an AI that can land on a moving car every time, sensors and planning algorithms are decades away from being able to handle the overhead rat's nest.

So, the drone will almost certainly crash-land in its first few flights, and necessarily have a powerful enough engine to catch up to a car doing 80mph on the freeway. That powerful engine weighs a good 10 pounds at a minimum. Ever see how much damage a 3 gram pebble can do to your windshield? There is no way that this will ever get off the ground.

This idea: bullshit.

about 2 months ago
top

When Cars Go Driverless, What Happens To the Honking?

Garridan Re:Driverless Cars (267 comments)

It's a simple matter of economics. You get the most honking for your buck. It's clearly an obvious no-brainer.

about 2 months ago
top

When Cars Go Driverless, What Happens To the Honking?

Garridan Re:Driverless Cars (267 comments)

See, this is the thoughtless sort of legislation that makes the world an awful place to live. I immediately see your tax as an incentive to hardwire the horn on. I pay at most $.1 per trip in horn tax, and still get to use it as much as I like.

about 2 months ago

Submissions

top

DJB Releases All Source to Public Domain

Garridan Garridan writes  |  more than 6 years ago

A Sage Developer writes "During a recent conference, Sage Days 6, Dan Bernstein (who has recently come under attack for his licensing policy) was among the invited speakers. During a panel discussion on the future of open source mathematics software, Bernstein declared that all of his past and future code would be released to the public domain (video here). This includes qmail, primegen, and a number of other projects. Given the headache that incompatibility between GPLv3 and GPLv2 is causing developers, will we see more of this?"
Link to Original Source

Journals

Garridan has no journal entries.

Slashdot Account

Need an Account?

Forgot your password?

Don't worry, we never post anything without your permission.

Submission Text Formatting Tips

We support a small subset of HTML, namely these tags:

  • b
  • i
  • p
  • br
  • a
  • ol
  • ul
  • li
  • dl
  • dt
  • dd
  • em
  • strong
  • tt
  • blockquote
  • div
  • quote
  • ecode

"ecode" can be used for code snippets, for example:

<ecode>    while(1) { do_something(); } </ecode>
Sign up for Slashdot Newsletters
Create a Slashdot Account

Loading...