Become a fan of Slashdot on Facebook


Forgot your password?
DEAL: For $25 - Add A Second Phone Number To Your Smartphone for life! Use promo code SLASHDOT25. Also, Slashdot's Facebook page has a chat bot now. Message it for stories and more. Check out the new SourceForge HTML5 internet speed test! ×

Comment Re:Winter is coming (Score 1) 461

100% renewable is a pipe-dream.

I call bullshit.

  1. Because the consumption rate is far higher than the production rate, we'll eventually run out of non-renewable (actually, poorly-renewable) energy sources. From then on, it's inevitable that all energy we use is 100% 'renewable'.
  2. Of course it's a pipe-dream if we're not willing to use it. There are plenty of opportunities we haven't taken yet. There are many ways to harness geothermal, gravitational (tidal power) and solar power, directly or indirectly, more than we've touched so far.
  3. The only reason combustion engines are so efficient is because they're supported by decades of research. Give it time, and renewable energy can be efficient enough to replace it.
  4. Besides increasing production, we should also work on reducing consumption. Don't assume that the trend of increasing energy use continues the way it does now.

Comment Re:Facebook (Score 1) 166

A group of executives who don't know the difference between servers and routers? ("The network is the computer"...not.)

"The network is the computer" should probably be interpreted like Plan 9 from Bell Labs did (and to a much lesser extent, UNIX), where everything (including processes) is a file and network-transparency is key.

Next time, before attacking people on sentences you don't understand, inform yourself.

Comment Not One Step Back (Score 1) 361

Of course, it's useful to cooperate and work on standards, but when you put that above your own principles -- in the case of Mozilla, that should be "an open and accessible internet" -- you're essentially dead.

If W3C institutes a bad standard, you don't have to follow them. Instead, Mozilla should've told them that they're not following suit, or even that this is the last drop and W3C can go fuck itself, and find a more creative solution to the problem of financing the internet's infrastructure.

Comment Re:Unversity course from hell... (Score 1) 237

1) NEVER EVER try to build an editor in a structured language. Functional languages are a poor fit for procedural tasks.

Concrete examples, please. I've been using Haskell for a few years now, and I can't see the problem with "procedural" tasks. Especially when you don't define what that means.

3) The idea that you can build a provable system using a functional language is bat crap insane. In terms of proof it'll give you nothing that good unit tests wouldn't give you.

I suspect you (or your lecturer) encountered something like QuickCheck, which is indeed not more thorough than unit tests (but properties are much easier to write).

There are definitely techniques to truly prove correctness of software, which are based on dependently-typed functional languages like Coq, Agda and Idris. In these languages, the type system is so expressive that you can express theorems in it, and values of those types are proofs.

Slashdot Top Deals

About the time we think we can make ends meet, somebody moves the ends. -- Herbert Hoover