tinganho

7 ms·

1.
by tinganho 2y ago
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 is not correct.[19][24] Turing did not use the term
2.
by tinganho 2y ago
Isn’t the channel variable declared and inferred as an int32? Can’t see why the overload isn’t resolved directly?
3.
by tinganho 2y ago
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 some references of a type in a small main functi
4.
by tinganho 3y ago
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. You won't understand it.
5.
by tinganho 5y ago
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 problematic with the injection. hooks are essentially clas
6.
by tinganho 5y ago
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 everything. I would still prefer it, then to have another compil
7.
by tinganho 5y ago
Couldnt this problem be dealt with unit tests?
8.
by tinganho 6y ago
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 is for free. But also shitloads of crap. A lot of libraries
9.
by tinganho 6y ago
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 nothing. Was, I fixed my teeth. My front teeth was a bit wo
10.
by tinganho 6y ago
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 abstract algebra. Though, I still feel like a beginner in this
11.
by tinganho 7y ago
Is it good enough to brag about it?
12.
by tinganho 8y ago
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 multiples of the same chip. On each chip expose the la
13.
by tinganho 10y ago
I actually wrote an article about this strategy: https://medium.com/@tinganho/baseline-acceptance-driven-deve...
14.
by tinganho 10y ago
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 Open Source solution that is similar to Alitum Design
15.
by tinganho 10y ago
This is correct. And many foundries will be manufacturing 7nm transistors in 2017-2018. So it seems like this article is a bit incorrect.
16.
by tinganho 10y ago
What they mean is that they have less energy and thus less likely to tunnel between source and drain.
17.
by tinganho 10y ago
And what's the capacity?
18.
by tinganho 10y ago
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 productive. Safe meaning type safe and memory safe(Also memory leak
19.
Flanity – A Topic Based Social Network(flanity.com)
1 points by tinganho 10y ago|0 comments
20.
State Restoring(medium.com)
2 points by tinganho 10y ago|0 comments
21.
by tinganho 10y ago
This sounds like a blog post for emphasizing the more buzz word you use the better.
22.
by tinganho 10y ago
Just did something similar. Though with HAProxy inside a Docker container. https://github.com/tinganho/haproxy-with-letsencrypt-auto-re...
23.
What tool do you use for mounting remote file system on Mac?
2 points by tinganho 11y ago|0 comments
24.
by tinganho 11y ago
Except for foreigners. But really among local people I think it is less than 1% using UBER. Which is my definition of "nobody".
25.
by tinganho 11y ago
I'm in Beijing I have to agree. No one uses UBER and the statistics that they presented must be totally made up. dididache is the main app for calling drivers here.
26.
by tinganho 11y ago
TypeScript also have JSX support. It's in master right now.
27.
by tinganho 11y ago
I must say about DAMN TIME!
28.
by tinganho 11y ago
I'm just hoping someone will create a new Electron (used in Atom), but based on Servo instead of Chromium.
29.
by tinganho 11y ago
How is it Isomorphic? I can't see how the example illustrates server-side rendering? Just an HTML file?
30.
by tinganho 11y ago
I'm not sure if an example beginning with an HTML file gives me good perception about it being isomorphic.

More ›