Forgot your password?
typodupeerror

Comment Re:nope. not again. (Score 1) 22

It's the original founder at least, Kevin Rose. I had a look at the relaunched I-can't-believe-it's-not-Reddit version and it was...ok'ish. But yes, they were unprepared for the bots in the main forums and unfortunately the place never got big enough to have any traffic in the smaller ones.

It's ironic - I looked at Reddit before The Great Migration following Dig...err...3? whatever the fiasco revision was. Like many others, I moved when that version of Digg appeared. I was interested when Digg said they were coming back, because Reddit has become a bit tiresome other than the smaller, subject-specialised subs. Alas though, never took off.

Comment What's the problem? (Score 1) 81

With all of GitHub's great new AI features, it writes all your code for you! It doesn't matter whether the site is up at any given moment; just download your newly completed app at some point then the site is online. You're free to kick back, relax and scroll your social feeds because you don't actually have to do anything anymore. This is truly a golden era!

Comment Re:We need humility, not arrogance (Score 1) 172

Formal verification mathematically proves code implements a specification. It does not catch bugs that are specified.
There are entire classes of bugs (logic bugs) that LLMs can find that formal verification literally doesn't even try to.

So you prompt the LLM to "find all the bugs".

Even if the LLM can find every last bug (which in turn assumes that this type of problem isn't NP-hard or has some issue that Godel would point out), just defining to the LLM exactly what a "bug" is seems to be pretty much the same thing as those formal specifications that you just convincingly dismissed as inadequate.

I don't think that there's anything magical about LLMs that would let them get around fundamental mathematical roadblocks.

Comment I am a tiny, tiny part of this in 2026 (Score 4, Informative) 133

UK. I installed solar on my roof and put a home battery in last month, and am very happy with the results. It took up-front investment of course and payback times vary between 4-7 years depending on the rates for selling energy back to the grid, but I'm fine with that. My first bill has my electricity cost down about 40% - I installed part way through the month so can't really give consistent figures as yet.

With the solar+home battery, all my domestic electricity usage is easily taken care of. I also took the opportunity to put in a whole home backup, meaning that if there's a power cut the house carries on. Power cuts aren't really a big problem in the UK but little micro ones do happen, and I got fed up of resetting the digital clocks and rebooting everything.

The solar+battery doesnt take care of 100% of my usage though, not by a long way. I've been driving an EV since 2018. I do around 22,000 miles per year, My solar peaks at around 5kWh and is best used to power the house and add to the house's battery capacity. I use about 22kWhs on a round-trip commute, and the home battery is 12.5kWh. The typical max I might need then is 34.5kWh a day, and I also need it overnight - solar isn't going to help me there. My actual pattern is load-shifting: charge both car and home batteries cheaply overnight, use solar+battery through the day on the house and sell the daytime excess to the grid.

On the car alone I have saved around £8-10,000 vs petrol, add in the car maintenance and the savings are even higher. For solar+home battery I don't yet know, not owned it long enough to be able to give good figures but the usage pattern is looking good. If I'm asked about EVs I rarely make an environmental argument - if you can charge at home, the cost argument is so massively in favour of them that's it's barely worth a debate. If you can't - nuance time and more questions to be asked.

I'm not off fossil just yet - still have gas heating. The heat pump equations are a lot trickier to work out - without load shifting it's much more expensive, plus how will it average out over winter when I presumably get less solar to recharge the home battery during the day. So heat pump is the next bit of research rather than my automatic next move. For the rest though - just no argument, the renewable/EV route is just better.

Slashdot Top Deals

It is not for me to attempt to fathom the inscrutable workings of Providence. -- The Earl of Birkenhead

Working...