ajxs

44 ms·

511.
by ajxs 7y ago
I live near Sydney University ( not my alma-mater ). In a rather serendipitous turn, one day on my way home from the shops I was walking past one of the USYD buildings and there was a giant stack of library books that had thrown out onto th
512.
by ajxs 7y ago
> "If the Ariane V code was written in C and the value simply overflowed, nothing negative would have happened" So... what you're saying is that the language not recognising an exception conditional has occurred is a bette
513.
by ajxs 7y ago
Forgive the use of "from memory" in my original post. I was on the move and didn't have time to reference the original material in-depth. You're correct. You've given a great explanation of the accident. Whenever th
514.
by ajxs 7y ago
There's always someone who brings this up whenever Ada is mentioned, as if it serves as a damning refutation of Ada's reputation as a safe language. That bug was caused by a series of design failures if anything, rather than softw
515.
by ajxs 7y ago
Thanks for the resources. You'd be shocked how little you can find with a quick search for 'MIPS development board'.
516.
by ajxs 7y ago
Very cool!
517.
by ajxs 7y ago
I've thought about the router suggestion! The PlayStation idea is a great one I didn't think of! It looks like there's a great variety of devices running with MIPS CPUs. I was more specifically looking for a system capable of
518.
by ajxs 7y ago
It looks like the CI20 is still available from one retailer at least: http://uk.rs-online.com/web/p/products/1253305/ Quite expensive though.
519.
by ajxs 7y ago
I read a little bit about this a while ago. Is there still a way to buy these? I've heard great things about systems development on the MIPS platform but haven't had a great reason to invest myself in learning the architecture. An
520.
by ajxs 7y ago
Can you share the different ways it was done? Everything in your post sounds quite interesting.
521.
by ajxs 7y ago
I'd argue that how complicated a language is shouldn't be a factor for a company at that scale. If it's the right tool for the job, and I'm not arguing that it is, then they have the ability to hire engineers capable of
522.
by ajxs 7y ago
The only shocking thing here is that no one stepped in earlier. It's not like Java/C# are radical new technologies in the online space. Obviously statically typed languages are not a new concept either. I'm just aghast at thi
523.
by ajxs 7y ago
No, not really. I don't apply for jobs, book flights or vote with my Facebook account. I'm not concerned with what kind of insights that Facebook can infer from a fake Mickey Mouse account. I'm concerned about the possibility
524.
by ajxs 7y ago
I'll admit you have a good point with keeping abreast of events in certain circles. That's essentially what I did though. In my original post I noted that I have an anonymous profile on one social network that doesn't do anyt
525.
by ajxs 7y ago
I'm sure you can tell the difference between how people interact on HN and Facebook. Obviously there's some small degree of ego in effect with how people interact on HN, but it's vastly different to 'profile-based'
526.
by ajxs 7y ago
I stopped using any kind of social media five or so years ago, and I've never looked back. I have a bare bones profile with no personally identifiable information on one particular social network so I can keep in touch with a few peopl
527.
by ajxs 7y ago
Of course your real identity is probably involved somewhere. It's just that I, and many others like me, don't think a third party should know what my real identity is. It's not their business. Edit: Unfortunately it probably
528.
by ajxs 7y ago
I don't think anyone is going to make that case, given how lukewarm the response has been in the past, and how lukewarm the response to Rust is now. SPARK is used extensively in areas much more mission critical than the Linux kernel. O
529.
by ajxs 7y ago
SPARK Ada has a concept of pointer ownership that would offer similar protections: https://blog.adacore.com/using-pointers-in-spark
530.
by ajxs 7y ago
Here's the source of the original quote: https://www.infoworld.com/article/3109150/linux-at-25-linus-... Admittedly, kernel and driver development are different things. The original quote was to do with kerne
531.
by ajxs 7y ago
If I recall correctly, Torvalds already addressed the hype around this ( totally not new ) idea by pointing out that memory errors really make up only tiny part of the intricacies of building a kernel. This idea predates Rust, and for bette
532.
by ajxs 7y ago
Not to nitpick too much, but wouldn't the function expecting an interface be a much better fit for a case like this?
533.
by ajxs 7y ago
Ah, I thought you were referring to an integer taking the place of an enum, which is a terrible practice that for some reason is more common than you'd think. I'm not too sure what you mean by 'micro-optimization' here,
534.
by ajxs 7y ago
That's fine.
535.
by ajxs 7y ago
"I see stuff like this in statically typed projects, where integer enums are used when a string will suffice, and strings are used where booleans will suffice." Typescript has proper enumerated types, so you really shouldn't
536.
by ajxs 7y ago
Is that really true though? To me this sounds more like making the validation of the program an afterthought, at best. Even in very academic mathematical models, introducing types early usually doesn't introduce much of a cognitive bur
537.
by ajxs 7y ago
At first I thought I was going to read "I am starting to wonder if the preference static vs dynamic is some kind of character trait like intelligent vs ignorant", which would have been much closer to the truth. I think you're
538.
by ajxs 7y ago
I had the same thought. I'm not an American, and not a lawyer, but doesn't the ruling in this case count as precedent that will allow others states to pursue lawsuits against them?
539.
by ajxs 7y ago
In my country at least, I've seen ( from people I've known at various points in my life ) that addicts have no trouble obtaining the real article on the black market. The thing that really alarmed me though was how easily people w
540.
by ajxs 7y ago
I'm not sure what point the first comparison example in the original article by Ilya Suzdalnitski is trying to make. If you're going to cherry-pick an example that demonstrates complex and abstract OOP paradigms ( factory/rep

More ›