kelvin0

51 ms·

511.
by kelvin0 10y ago
I'm surprised by the 'shallow' nature of the article, and it's obvious points (medical devices cannot fail). Almost seems self promotional. I thought formal methods or at least advanced static analysis was going to be me
512.
by kelvin0 10y ago
Yeah, as a side project it's fun! As a job for some AAA title ... not so much ... (crunch,crunch,crunch)
513.
by kelvin0 10y ago
>To be fair, approximately half of that stank is JavaScript hipster junk >This is a prime example of stupid hipster stank Always seemed like JS had issues, none of which I ever thought were related to 'hipsters'? Are we to c
514.
by kelvin0 10y ago
While I was studying at University there were quite a few instances where particular groups of student got caught cheating in various forms. It seems some people want to get ahead at all costs because they seem to have a lot of pressure fro
515.
by kelvin0 10y ago
Yup, FF simply froze ...
516.
by kelvin0 10y ago
When you have to ask "Why", you usually are not part of 'target audience' for this type of thing :) All jokes aside,this is a pretty big achievement for a given programmer to complete and denotes quite a bit of technical
517.
by kelvin0 10y ago
Also, minimum HD requirements to run this. Otherwise, all my Firefox windows went 'Han Solo' on me ... But I think this is an awesome project, author must have learned quite a bit getting this running!
518.
Computer Forensics, not for the faint of heart(forensicfocus.com)
2 points by kelvin0 10y ago|0 comments
519.
by kelvin0 10y ago
I see what you mean, and you are quite possibly right. Please don't take it as an insult, but how do you know this technology is not causing similar issues in your life? We've all seen some people in our lives deny some facet of t
520.
by kelvin0 10y ago
I've learned the hard way to (mostly) follow the HN guidelines when posting a comment. Otherwise there are plenty of other outlets for cynicism and rage. If your bit is not constructive or backed by some coherent thought process and fa
521.
by kelvin0 10y ago
A while back I was exploring the use of 'soft' formal methods to help in evaluating correctness of some new modules we had to develop. I had come upon Alloy, which seems like a gentler introduction to formal methods (Unlike Z or C
522.
by kelvin0 10y ago
Do you need to use their services? Have been (mostly) Google and Facebook free for a long time, and I don't live under a rock. Maybe you should also try the "FB&G"-free diet too ...? (It's not for everyone :-)
523.
by kelvin0 10y ago
Excellent, appreciate this thoughtful answer. So you mostly code games?
524.
by kelvin0 10y ago
I want to give Dart a chance, because most of it's features seem quite appealing. I decided to start learning JS/Jquery and then move onto to Dart. The fact that everything comes bundled into Dart as a whole dev environment (IDE,
525.
by kelvin0 10y ago
Although what you mention seems obvious, you have to remember that is quite easy nowadays to cobble up some functionality with minimal knowledge by applying ready-made 'recipes' and following the ton of tutorials available in any
526.
by kelvin0 10y ago
This is exactly the path I've taken. I figured if I start out with <ShineyNewJSFrameworkMVC> right off the bat, and not understand the foundation, I'd be screwed in the long run. My reasoning is that once I grasp JS's q
527.
by kelvin0 10y ago
There's one where he gets the scammers to dress up and take pictures to proove who they are ... you can't make this stuff up :) I'll try to find the link.
528.
by kelvin0 10y ago
Well at least the scammers got more savvy, the previous template they used was really bad, AKA: "I am Prince/Ambassador/Prime Minister from <InsertRemoteCountryNameHere> and my funds <InsertBigAmount$$$> are locke
529.
by kelvin0 10y ago
Not sure I understand your point, care to elaborate?
530.
by kelvin0 10y ago
The nit picking I refer to is not about arguing, once a non-standard piece of code is pointed out, the reviewee usually agrees to correct the issue. I refer to the fact that the reviewers will look at the leaves in the tree and not notice t
531.
by kelvin0 10y ago
There are 2 extremes in the 'code quality' spectrum: A) the programmer who ships 'stuff that works' but incurs large amounts of technical debt (AKA Bill) B) the metaprogrammer who will only ship anything 'perfect&#x
532.
by kelvin0 10y ago
Great advice, and there are many advantages to doing so. However, my experience with that tends to demonstrate that programmers will nit pick at lesser details (function names, coding convention) and not really take the time to understand w
533.
by kelvin0 10y ago
Great interview, I'm always really interested in hearing what entrepreneurs like Musk have to say. However, none of the interviews ever seem to delve into the personal aspects of his life. I would love to have Elon go through a typical
534.
by kelvin0 10y ago
Well, I stand corrected and my faith in humanity is (somewhat) restored.
535.
by kelvin0 10y ago
Anyone seen the programming challenge on the comma.ai website: http://geohot.com/projective_challenge.tar.gz "In the pics directory, you'll find 5 short "videos" with 10 frames each of driving the same s
536.
by kelvin0 10y ago
I think there also needs to be a 'Protect all whistle blowers' petition also. A petition to pardon Snowden is a noble goal (IMHO), but there are deep rooted issues which are not addressed by simply pardoning one individual. I wond
537.
by kelvin0 10y ago
Brilliant! However, they are quite pricey at 500$. I always thought making a custom logo would be expensive, but buying a ready made one could be much cheaper, any thoughts regarding the pricing?
538.
by kelvin0 10y ago
Thanks for the feedback, makes sense to me. Although,I don't understand why mentioning GraphQL gets me downvoted. I'm trying to understand what advantages Apigee has using REST over GraphQL. No hating, just curious. https:/&
539.
by kelvin0 10y ago
Is it just me, or should API management be done through GraphQL? It doesn't seem like Apigee even uses GraphQL (unless I missed something on their website). Been looking at GraphQL recently, and it looks like it could be a solution. An
540.
by kelvin0 10y ago
The good ol' MS motto *(back in the days..): Embrace, Extend and Extinguish. https://en.wikipedia.org/wiki/Embrace,_extend_and_extinguish

More ›