Viewing profile — tinganho

Note, the origins are stated in Wikipedia: > Many papers and textbooks refer the definition and proof of undecidability of the halting problem to Turing's 1936 paper. However, this…

Isn’t the channel variable declared and inferred as an int32? Can’t see why the overload isn’t resolved directly?

One thing that crossed my mind when I was looking at the TypeScript compiler. Was that it was parsing header "d.ts" files even though it wasn't used in source. Although, it had som…

A thing can be explained with its constituent parts or explained by a parallel analogy. If you don't understand the constituent parts or the analogy or there are neither of these. …

I think in the class world this is normally done by writing a service and injecting it on the constructor of the parent class. Since, React doesn't have DI built-in, it becomes pro…

I have never heard of verified compiler before. Not entirely sure if I understand everything from their docs either. But here are my thoughts. Even though you cannot unit test ever…

Couldnt this problem be dealt with unit tests?

I fully agree. One other good point with paid software is that is more long term. It will be supported as long as there is money involved. Just look at the JS ecosystem. Everything…

Take my argument with a grain of salt. I'm not an expert. But, if nothing helped you. I can give you my experience. What really helped me. I went from grinding a lot to almost noth…

Basically, doing this now. I tried to implement x25519 in a highly optimized way in cpp/c and I’m in my 8 month. I dogged through countless of articles and learned a ton of abstrac…

Is it good enough to brag about it?

I actually did a bit of research on this before. For easier chips like TPMs(Trusted Platform Module). What I've seen people do when trying to steal secrets(key) on a chip is to buy…

How does this compare with Microsoft's https://github.com/Microsoft/vscode-cpptools ?

I actually wrote an article about this strategy: https://medium.com/@tinganho/baseline-acceptance-driven-deve...

I also did some review of many EDA tools. Sadly, KiCad is absolutely the worst I've tried in terms of UX. I guess many's favorites are Altium Designer. I just hope there is one Ope…

This is correct. And many foundries will be manufacturing 7nm transistors in 2017-2018. So it seems like this article is a bit incorrect.

What they mean is that they have less energy and thus less likely to tunnel between source and drain.

And what's the capacity?

I think the future of back-end development is heavily decided by the future programming language. I think we are still missing a programming language that is safe, fast and product…

This sounds like a blog post for emphasizing the more buzz word you use the better.