CHY872

24 ms·

211.
by CHY872 11y ago
Check out xv6. It's a Unix v6 compatible OS rewritten in C for educational purposes. It's pretty neat!
212.
by CHY872 11y ago
Different discussion
213.
by CHY872 11y ago
Probably a good idea to see if the performance issues are real, though. Modular arithmetic is really expensive; to do the two exponentiations used in (non elliptic) 2048 bit DH, you'll be needing 6 million cycles on an Intel chip at
214.
by CHY872 11y ago
They're primarily a tech firm. Particular distinctions from Uber are: You know which restaurant you're ordering from, you sometimes pick it up from the restaurant itself. They never try to make it sound like they're the servi
215.
by CHY872 11y ago
Be aware that a decent prng will look just like the true one. That one's particularly crap. The Mersenne Twisters have incredibly long periods (2^19937 - 1 common) and you won't see anything. These are not at all cryptographically
216.
by CHY872 11y ago
Well, you wouldn't run such a server without a hefty uninterruptable power supply system. On your bigger server you can expect a smaller frequency of failures due to fewer points of failure, and can make your system more resilient (ren
217.
by CHY872 11y ago
Unlikely; the limiting factor is already distance - poor scaling from interconnects (wires) already means that we can't have all that much global state. This might increase the amount of state we can have, but unless you can fit gigaby
218.
No one ever got fired for using Hadoop on a cluster (2012) [pdf](research.microsoft.com)
37 points by CHY872 11y ago|14 comments
219.
by CHY872 11y ago
No. Energy in a closed system is constant, so if a computer uses 1000W and stays itself at a constant temperature, it releases 1000W as heat.
220.
by CHY872 11y ago
Are you sure that Ada compilers are verified correct? I'm pretty sure that the only industrial formally verified compiler is CompCert (for C), though I could be wrong. The motivation for CompCert was certainly that Airbus wanted such a
221.
by CHY872 11y ago
$275 billion, due to inflation.
222.
by CHY872 11y ago
There are loads of languages like that, I don't think that you can blame rms for this. For example, the MLs are currently kinda hot, ocaml especially, and have been around for donkey's years; but in the early 1990s they were very
223.
by CHY872 11y ago
My gut feeling is that if you really want security in C, you have fewer constructs to misuse and so you get less unexpected behaviour. At the same time, you get more protection mechanisms; guard pages etc. I.e. harder to be secure, but if y
224.
by CHY872 11y ago
It totally depends on what you're doing with your software; different tasks map better or worse to the respective paradigms, depending on what you're trying to do. Static typing certainly makes it easier to maintain large systems,
225.
by CHY872 11y ago
Appealing to microbenchmarks is not a useful argument because they are in no way indicative of real-life performance and tend to stress only a single part of the system being tested. They're fantastic for compiler writers, terrible for
226.
by CHY872 11y ago
Mmm, it can be difficult to take advantage from C exploits (in the context of a webserver). On a well written C system, you might expect most bugs to lead to crashes. PHP bugs tend to be more exploitable, because you're doing something
227.
by CHY872 11y ago
yep! Sorry, definitely misread you.
228.
by CHY872 11y ago
Slight correction. LCF-style provers do not use the Curry-Howard correspondance (ML's type system is not strong enough); having something of type thm is not enough to know that it's a theorem. The type thm is just a triple of tag
229.
by CHY872 11y ago
It's because they use metaprogramming so extensively. As an example, HOL4 (I can only speak for that) accepts a script written by the user (as though in a REPL), compiles and runs it, and produces an sml theory file which represents th
230.
by CHY872 11y ago
This is why we don't microbenchmark languages. Usually if you dig a little deeper, you find that actually the difference between the languages is mostly just that one of them does one thing badly. This by the way is MLton's worst
231.
by CHY872 11y ago
Jira has its moments, especially for larger teams. I've seen it used for large projects, and there GitHub Issues would be garbage. You can ditch a lot of the cruft from Jira by making your own dashboard etc.
232.
by CHY872 11y ago
It depends what the core is. There are a number of Xeons which are the same core as their i7 counterparts. In this case, I'm pretty sure you're not buying anything extra (I think they even cost the same price). You probably had on
233.
by CHY872 11y ago
Countries yes. Proprietary software, probably not a good argument. For example, I use Firefox for my web browsing, and Safari for Netflix - Safari uses EME so it's a much smoother experience. Fee that isn't cheap for everyone, I a
234.
by CHY872 11y ago
I doubt it's too high up on the list of priorities. It would require really careful work to work in a backwards compatible way (there are almost certainly a tonne of apps that expect <=260 character filenames). I guess the main th
235.
by CHY872 11y ago
It is for the tasks that Rust is designed for. Rust is supposed to be a systems language; it is supposed to be the language used for writing web browsers etc, really performance critical stuff. That was the whole big deal about Rust; that i
236.
by CHY872 11y ago
I'm afraid that fundamentally doesn't work (though at first glance it does). Email is not a forum - it's person to person. When someone emails me, I might not know anyone else who has also had a conversation with them. In ord
237.
by CHY872 11y ago
Fine. End-to-end crypto requires key authentication. This means that users must have some way of authenticating a key. For the majority of people, this is too much. People should not be expected to spend time manually checking the signature
238.
by CHY872 11y ago
20 years of history at least provides evidence for you being wrong.
239.
by CHY872 11y ago
but with Fortran, the reason is generally because there's a large highly optimised legacy codebase that few understand or want to understand. Also it's still difficult to beat Fortran in terms of performance. Python has neither ch
240.
by CHY872 11y ago
Perhaps. Perhaps not. If you have an algorithm that is better implemented in hardware, you might well see better performance executing it on a GPU (for example, if you want to mine bitcoins). Really, FPGAs are meant for prototyping hardwa

More ›