noneeeed

50 ms·

691.
by noneeeed 7y ago
Absolutely, none of the current formal methods approach scale to the level of much commercial software. Much of the systems engineering work that we did at Altran was focused on minimising the extent of the system that would need the higher
692.
by noneeeed 7y ago
Nice summary. I've not been involved with formal methods for 15 years (at what is now Altran UK) so I'm rather rusty. Wasn't B an attempt at bridging the gap between specification and implementation by a process of gradual re
693.
by noneeeed 7y ago
The Seattle times has had some of the best reporting on this, presumably because they have been covering aviation for a long time. I've found some of the tech press have (not surprisingly) treated it too much as a technical issue in th
694.
by noneeeed 7y ago
Can someone ELI5 what the advantage a CNT based chip would be? Is it more energy efficient, or can they operate at a higher frequency?
695.
by noneeeed 7y ago
The first product I worked on after university was the theorem probing toolkit for the SPARK Ada statically analysable language. This is used to prove the absence of runtime exceptions. I really enjoy using Prolog, but the number of cases w
696.
by noneeeed 7y ago
Yep. This is one of the reasons the current (and past) burning of the Amazon (and other forests) is such a problem. Forests like that create their own climatic systems, and strongly influence the weather on a local or regional level dependi
697.
by noneeeed 7y ago
I'd not heard of that, cool. Glad to see people are starting to push back against all the cake-and-eat-it nimbys. I live in Bath, which despite being a world heritage site, is actually building quite a lot of new home, some in developm
698.
by noneeeed 7y ago
I find the difference in vape use in the US and UK really interesting. We (the UK) have much lower rates of teen vaping, and the NHS is actively pushing vaping as a pillar of its stop-smoking programmes. Vaping just doesn't seem to hav
699.
by noneeeed 7y ago
Thank you. I couldn't parse that comment at all. This is where a few quotation marks (or hyphenation) help, so either just-so-story, or "just so story".
700.
by noneeeed 7y ago
Rural housing in the UK is hamstrung by this problem. On the one hand everyone complains that their kids have to move away because they can't afford to live in the village they grew up in, but if you suggest building more houses they k
701.
by noneeeed 7y ago
We also have compote in English, which is a dessert made from fruit in syrup.
702.
by noneeeed 7y ago
We really need to move to a model of charging a flat fee for a connection, and then metered rate for electricity. Wrapping everything up in the metered rate just creates annoying disincentives for the utility companies.
703.
by noneeeed 7y ago
To me, this issue is one of the biggies. I understand where that feeling comes from, we are constantly told that everything is a competition or a race. My wife and my sister are both teachers (languages and physics respectively), and they o
704.
by noneeeed 7y ago
I want to see Cathy Burke do more stuff. Her scenes with Oldman were just outstanding.
705.
by noneeeed 7y ago
Good point, I'd forgotten about the distributor fees. A quick Google suggest an average of about 50% depending on the film, location and time in the release. Once you factor in profits from concessions (very high) and the adverts, the
706.
by noneeeed 7y ago
Yes, that was my point. For the cinema chain, the additional cost of a ticket is negligible if they are filling otherwise empty seats, and they make profit on the concessions. So long as they don't cannibalise full price tickets too mu
707.
by noneeeed 7y ago
I have strong childhood memories of watching the consumer campaign programme Watchdog with my parents. This was one of their biggest and longest running stories. It's hard to overstate just how badly this screwed Hoover in the UK. Thei
708.
by noneeeed 7y ago
I am constantly astonished by the MoviePass story. The whole business model made no sense. Even if it could be restricted to be financially viable, the cinema chains were always going to be able to undercut them as they only pay the margina
709.
by noneeeed 7y ago
It's a bit of legal fiction really. A government with a sufficient majority that felt like taking on one of the more respected/loved institutions in the UK could absolutely abolish the BBC if it wanted to, and can set the budget o
710.
by noneeeed 7y ago
That is partly true, but I think it's mostly so that you can't just claim you only only watch reruns of Family Guy on E4 and therefore shouldn't have to pay.
711.
by noneeeed 7y ago
Channel 4 has never been funded by taxes as far as I'm aware. That wikipedia page states it was paid for by the ITV companies paying for the right to put adverts on it, and now funds itself from it's own advert sales. Channel 4 is
712.
by noneeeed 7y ago
The first company I worked for was a high integrity systems/software firm. Getting your Chartered Engineer (CEng) status was seen as part of your professional development for most of the engineers. It isn't required however. Most
713.
by noneeeed 7y ago
I like that way of phrasing it. I wish more people would think about things in this more positive light, but unfortunately whenever something like this comes up people start to get defensive.
714.
by noneeeed 7y ago
While BACS' 24h clearing of interbank transfers was normally ok, FasterPayments really makes having multiple accounts split across bank's super convenient. My wife and I both have our own accounts with Barclays and joint accounts
715.
by noneeeed 7y ago
> "The people using the checklists have little ability to change them or to improve them" I was listing to an interview with the author of The Checklist Manifesto, Atul Gawande, and he cited this as one of the main reasons why
716.
by noneeeed 7y ago
This is, I think, something that a lot of people who push back against checklists missunderstand. They feel that the checklist is meant as a replacement for their knowledge, skill and experience. An insult to their ability. But really it&#x
717.
by noneeeed 7y ago
The same was very much true for Babbage and the Difference Engine. If I remember correctly, the level of repeatable precision and quality needed to make something like that was simply well beyond what engineers could manage even at the heig
718.
by noneeeed 7y ago
This is why I like the Authy client on mobile. It periodically asks you for your encryption password just to make sure you can still remember it. Such a thoughtful idea.
719.
by noneeeed 7y ago
Likewise. I've been a long-time user, and currently a subscriber, but I've just found the direction 1P is heading, and the way AgileBits communicate a lot of this to be frustrating. It's difficult to explain, but every time s
720.
by noneeeed 7y ago
I am constantly surprised how many "reputable" sites stick these bottom-feeders on their page. I feel like it must impact readers' perception of those sites when they are trying to be all highbrow, and then the bottom of an a

More ›