Forgot your password?
typodupeerror

Comment: Re:Winter is coming (Score 1) 461

by Rhymoid (#47319035) Attached to: Half of Germany's Power Supplied By Solar, Briefly

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

by Rhymoid (#47140059) Attached to: After the Sun (Microsystems) Sets, the Real Stories Come Out

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

by Rhymoid (#47001905) Attached to: How Firefox Will Handle DRM In HTML

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

by Rhymoid (#46861197) Attached to: Erik Meijer: The Curse of the Excluded Middle

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.

I never cheated an honest man, only rascals. They wanted something for nothing. I gave them nothing for something. -- Joseph "Yellow Kid" Weil

Working...