fiedzia

30 ms·

331.
by fiedzia 10y ago
> How can you prove that the C you're generating is free from problems solved by the safer language? By formal verification. There are ways to do so and several verified compilers already exist.
332.
by fiedzia 10y ago
> So using Linux, Windows, BSD or MacOS servers are malpractice? If you sell it as "secure", yes absolutely. And there are many applications where you would not be even considered as a contractor for doing so. There is increa
333.
by fiedzia 10y ago
> the large collection of existing (mostly F/OSS) software not going to be rewritten in eg. Rust or some It is happening and will keep happening and it is really necessary at some point. Sure, I don't expect large project to be
334.
by fiedzia 10y ago
> Avoidance of problems in a safer language doesn't mean when things happen, it's the language's fault. My definition of fault is "what should be changed to prevent such error". And you are not going to change de
335.
by fiedzia 10y ago
The difference is that you don't need compiler for this language. There are many hardware platforms that only come with C compiler.
336.
by fiedzia 10y ago
One more answer for this question: randomness is measurable. There are tests for it, though (the ones I've heard about) were mostly practical (check for certein set of patterns) rather than mathematical proofs.
337.
by fiedzia 10y ago
It is in the sense of being unpredictable (assuming person not deliberately cheating). There certainly some aspect of rolling that may reduce randomness (unevenly balanced dice) but as long they are not easily predicted, its random enough f
338.
by fiedzia 10y ago
Because: a) comma has already defined meaning so it could be ambiguous - it would mean tuple (2,333) in python for example b) even if its not the case, its easy to confuse it with floats, and you do not want apply local numerical convention
339.
by fiedzia 10y ago
> Configuration file should be declarative and passive. It is very convenient - and sometimes absolutely necessary - to allow people to put their logic into configuration. Things like if dev_env: debug = true else debug = false. Or whate
340.
by fiedzia 10y ago
I see no other explanation.
341.
by fiedzia 10y ago
And take off this "secure" info from this page.
342.
by fiedzia 10y ago
> I believe MongoDB shares some blame for the 20,000+ databases that were compromised for shipping a product with insecure default settings No, its your job to have backup and proper review of your infrastructure, not someone else.
343.
by fiedzia 10y ago
I've started tweaking monitor setting, thinking there must be something wrong with it...
344.
by fiedzia 10y ago
According to CF, they store certificates and cached content separately, so they were not exposed.
345.
by fiedzia 10y ago
Exactly once. But I needed to know recursion, typechecking, and modern language features almost every day.
346.
by fiedzia 10y ago
> An experienced programmer might look at the problem and choose a better tool: a different language Come on, you are not going to call Haskell or Python to flatten a list in your Java. > or call a service I know we have "micro&q
347.
by fiedzia 10y ago
That's not generic and would not qualify as valid answer for this question.
348.
by fiedzia 10y ago
Sure, the point is that writing this requires knowing more than most candidates do.
349.
by fiedzia 10y ago
Some reasons: * Nobody required this from them before. * Recursion is rarely used to write business logic, most common thing programmers write and learn. Same for static methods and being generic. * Type checking is done by compiler for the
350.
by fiedzia 10y ago
Those are questions for juniors. Most likely they had no previous job at all. The only thing they can bring is potential, and this question tests it rather well.
351.
by fiedzia 10y ago
> And you're talking about premature optimization. Why premature? And why should a basic library be deciding if they are premature or not? I am using Linux only (and most startups do that too). > We're barely out the gate
352.
by fiedzia 10y ago
You don't understand what I am talking about, neither do FileStreamResult authors (I've looked at mono and ms implementations) and that's the problem I am talking about. Linux users either know what sendfile syscall is and ho
353.
by fiedzia 10y ago
I am not arguing that it is. I am arguing that it hard to make full use of it. An example: I googled: python sendfile: first three links point you to python modules implementing it ruby sendfile: same thing, first links point you to some mi
354.
by fiedzia 10y ago
> Startup's seem to have always argued about price and vendor lock in. This is not an argument here. > You can code on Windows, with a free IDE (Visual Studio Code, Visual Studio Community) and deploy to Linux. You can't. Yo
355.
by fiedzia 10y ago
> That's not even remotely comparable because that would be fraud or some other crime. I consider work of substandard quality to fall into the same category. Maybe not to the same extent, but still. If I am using software you creat
356.
by fiedzia 10y ago
It wasn't different then the one I was running on, it was different then I had code for. And it compiled. So either asm dialects have subtle differences that change semantics but not form, or asm silently ignores errors.
357.
by fiedzia 10y ago
If you are using Coq at all my post is not directed to you :-) Right now I'm perfectly happy if software I rely on doesn't have trivial security vulnerabilities, does not fail silently and does not damage my data, anything above t
358.
by fiedzia 10y ago
> If you actually wanted quality, you'd pay them for it with your time and/or money. To large extent, its true. But still I expect that the mechanic servicing my car for some reasonable price will not disconnect breaks and I wi
359.
by fiedzia 10y ago
I've been told that pointers in Fortran provide some guarantees that C does not (was it no aliasing?), and that makes big difference for compilers.
360.
by fiedzia 10y ago
> What are your thoughts on languages like Haskell? I'm planning learn some functional language this year. There is a lot of Haskell developers in Rust community who came for performance and some ties to functional programming. I&#x

More ›