CHY872

32 ms·

271.
by CHY872 11y ago
> Then of course there's language choice. C is king, which isn't necessarily a bad thing, but it's certainly not the safest, even in the restricted forms used in avionics. Sadly, my very first ever project as a programmer
272.
by CHY872 11y ago
A complicating factor is that you really should include your compiler as part of your codebase (if you're doing lots of formal method work, you will usually do it on the source code, and the compiler can invalidate all of the guarantee
273.
by CHY872 11y ago
In the UK power cuts are very rare in most places (and generators are cheap), so it's not a huge advantage. The enviroment factor is at best tenuous due to 20% of energy stored lost as heat and high energy requirements for producing th
274.
by CHY872 11y ago
Erm, the article I got my numbers from is: http://www.aerospacelab-journal.org/sites/www.aerospacelab-j... where it states that the airbus A380 has more than 100 million lines of code in its avionics systems.
275.
by CHY872 11y ago
Not an airplane programmer, but I seem to remember that the literature says that it's not generally a cost-effective way of finding bugs. In particular, you multiply the cost of development by (say) 3x (which is fine, on its own) but a
276.
by CHY872 11y ago
If you get 90% charge/discharge efficiency, you're multiplying the economy 7 tariff by 1/0.81 = 1.23456790 (so close) so it's more like 12.5 years, and a bit less compelling.
277.
by CHY872 11y ago
My point was designed to illustrate that TLS can be in some cases found to have considerable overheads in certain applications. For example, delivery of static content. I'm not saying that it's relevant in most cases; but saying t
278.
by CHY872 11y ago
No, it can be done wholesale. For example, a corporate firewall of the kind used in any large business will happily (and cheaply) MITM every TLS connection that goes through it. It'd be easy for an ISP to install such a device for unsi
279.
by CHY872 11y ago
> Wrong. Passive eavesdroppers. Pay attention. If you're in a position and have the motivation to passively eavesdrop, you probably have the hardware to actively eavesdrop as well. > Wrong. AES-NI and the fact that Google uses it
280.
by CHY872 11y ago
Sounds unpleasant. There are loads of ways of maintaining this property without resorting to formal verification. Hardware is already largely verified, thankfully, and where formally verified software exists it is probably good to use, but
281.
by CHY872 11y ago
Interesting to see a high level comparison of languages without a comparison of the important numbers: performance. I know that Java performance is pretty crap on RPis due to the poorer Java ARM support, and I'd imagine that it's
282.
by CHY872 11y ago
Well, airlines have to very aggressively optimise for efficiency with everything they do. They have huge revenues and very little in the way of profit (about 5%). It'd be foolish for them to not save money when they can.
283.
by CHY872 11y ago
in which case they can call in for vectors
284.
by CHY872 11y ago
because there aren't any such dangers. Nothing safety critical would have been entrusted to the iPad. The pilots would be able to deal with the problem with either ATC support (anything the pilots can read to each other, ATC can read t
285.
by CHY872 11y ago
Why? It saves a tonne of cash ($1.2 million per year), and has led to a few dozen flights delayed , ever. It's wasteful to force the pilots to carry around 30lbs of paper which is out of date every few months, and which is not safety
286.
by CHY872 11y ago
It's not safety-critical data; that absolutely wouldn't be allowed. If something were to go wrong in flight, the air traffic control would have no problem getting the plane down with no problems. Furthermore, you have 2 iPads in t
287.
by CHY872 11y ago
It's really just basic editor support. Agda is quite an interactive programming language, so you need lots of shortcuts, syntax highlighting, autofilling etc in order to get productivity at all (especially since you're constantly
288.
by CHY872 11y ago
Two years ago I had to use DBus to connect to a Bluetooth device from Java. In the end, after a few minutes of good work the connection between the adapter and the peripheral would timeout (or someone would go out of range), the whole thing
289.
by CHY872 12y ago
I honestly don't think (from your comments) that you know enough about music to make pronouncements of the sort that you are making. I'm sure that people are doing amazing stuff in natural language processing, but I'm also su
290.
by CHY872 12y ago
No, Markov chains at least cannot work because they are fundamentally finite state machines with no global state. Say you want to generate 'verse chorus verse slightly-different-chorus', which is an idea that I've seen in bas
291.
by CHY872 12y ago
Yeah, but this doesn't teach you about cryptography except for using it (which you could do on the Pi) because it's a black box, so doesn't teach you any more about embedded systems than a normal Arduino and a few cheap exten
292.
by CHY872 12y ago
While that's true, the chips aren't themselves cheap; together they cost £6.90 (if I read the pages right) if you're buying from digikey by the 500. The bigger concern is what you're actually doing with the crypto. Almos
293.
by CHY872 12y ago
Ouch! Sorry for that blunder, of course I misread the datasheet... Yeah it's totally unrealistic!
294.
by CHY872 12y ago
I have no doubt that a few people will buy this device, but it costs $60. Add to an Arduino for like $20 and you're fast heading towards $100 for a device that can do very little. If your project is actually so complicated that you nee
295.
by CHY872 12y ago
Do you have any numbers re "little to no sense in practice"? What I've heard suggests that the tradeoffs behind high performance ARM lead to significantly worse power efficiency to the benefit of peak performance; which means
296.
by CHY872 12y ago
We probably won't for a very long time. Many of the architectural designs that sit behind current processors would have to be entirely rethought. For example snoopy caches would I think stop scaling by that point, and in order to fit t
297.
by CHY872 12y ago
No such assumption made. If you have a positive correlation in your data, you're probably not placing enough weight on your interviews in your hiring process (i.e. you knew people weren't as good at interview but you still hired t
298.
by CHY872 12y ago
> it now kills people based on surveillance algorithms rather than a proper investigation of the target. False. Algorithms should form part of a proper investigation of the target. Proper use of computers allows you to rule out innocents
299.
by CHY872 12y ago
Yes, but historically armies have proved more than adept at drilling those instincts out of people.
300.
by CHY872 12y ago
Yes, but it does work out as maybe 20 offensive planes crashing over 10 years and presumably hundreds of thousands of flight hours; and with only a few fatalities at that.

More ›