jsnathan

7 ms·

1.
by jsnathan 9y ago
OP here. Sorry if I misunderstood the guidelines, but these are not the same stories. The proposal to scrap the term limits was announced two weeks ago, which is what those stories talk about. This new story is about the proposal having bee
2.
China officially scraps term limits on presidency(washingtonpost.com)
38 points by jsnathan 9y ago|20 comments
3.
by jsnathan 9y ago
It's only my impression, really. But I have seen a slew of articles about how jQuery is dead, and very few people still writing articles about it's benefits. Many libraries that use it are also unmaintained now (though they often
4.
Ask HN: Does anybody still use jQuery?
46 points by jsnathan 9y ago|44 comments
5.
First Gene-Edit on Live Human Patient Attempted in California(edition.cnn.com)
1 points by jsnathan 9y ago|0 comments
6.
by jsnathan 9y ago
If you simply want the latest stable docker version, try: curl -o /tmp/get-docker.sh https://get.docker.com && bash /tmp/get-docker.sh or even just curl https://get.docker.com | bas
7.
Social Panic(en.wikipedia.org)
1 points by jsnathan 9y ago|0 comments
8.
UPX – Ultimate Packer for Executables(upx.github.io)
117 points by jsnathan 9y ago|80 comments
9.
by jsnathan 9y ago
This article alleges that there may be a hidden bias against female scientists receiving Nobel prices. If the author had included a long list of female scientists that deserved a Nobel price, but did not receive one, it would have gone a lo
10.
Airbus Flying Taxi Concept on Track for Unmanned Test Flight in 2018(engadget.com)
1 points by jsnathan 9y ago|0 comments
11.
by jsnathan 9y ago
I feel like the core value proposition is something like "public expressions that can be consumed quickly and produced with little forethought". I think it's important that Twitter gives you the excuse to be less precise: the
12.
by jsnathan 9y ago
I'm not sure what to make of this. I suppose there is nothing inherently ideal about the (arbitrary) 140 character limit on tweets. Why not 180, or 280, etc? Still, my first reaction was, this is .. a bad idea: the 140-character limit
13.
by jsnathan 9y ago
Two other nice apps in this space are Workflowy[1] and Dynalist[2]. [1]: https://workflowy.com [2]: https://dynalist.io
14.
by jsnathan 9y ago
Specifically, he compares compares blockchains to the Internet and railroads: "It is a bubble. This is going to be the largest bubble of our lifetimes, and so .. remember, bubbles happen around things that fundamentally change the way
15.
by jsnathan 9y ago
The term 'usage rights' is a bit confusing here. I think it may be intended to refer to 'use' as defined in the previous half of the sentence, i.e. 'including the rights to run, read, copy, change, distribute and se
16.
by jsnathan 9y ago
The 'software' is what is provided by the original author(s), and the rest refers to the patents held on 'it'. What you describe would be a 'derivative work', as mentioned in the second paragraph. It might be c
17.
Inside the Equifax Hack(spuz.me)
1 points by jsnathan 9y ago|0 comments
18.
by jsnathan 9y ago
> Using the 6.3 Richter scale, the energy released would be ~43 kilotons of TNT. That's curious. Every yield estimate I've seen so far was substantially higher than this. Could you explain how you arrive at this number?
19.
by jsnathan 9y ago
Hi, thanks for the link. I've seen this paper, but it has nothing to do with strongly typed languages, as far as I can tell. In fact, there is no mention of types in the paper at all, it's strictly automated analysis.
20.
by jsnathan 9y ago
> When a test suite finds a bug, that proves that the program is incorrect for some inputs. When a type system doesn't reject a program, that proves that the program is correct for all inputs. > Which one to use depends on the im
21.
by jsnathan 9y ago
Property testing [1] is about semantics, the same as regular testing, and it does not require code annotations. [Edit: It's more like "fuzzing" than "model checking".] Type systems on the other hand aren't usua
22.
by jsnathan 9y ago
Are we talking about automatic type inference then? Otherwise you'll still have to work out each type before it becomes "automatic". Which is not entirely dissimilar from working out a test suite.
23.
by jsnathan 9y ago
> Short-answer is yes, and there's been lots of work done to go even further than having static typing and have formal verification for smart-contracts. Yes, I've looked at some of these projects before. And I certainly think i
24.
by jsnathan 9y ago
I'm curious: could any of the recently known smart contract bugs have been prevented through the use of a stricter type system? I tend to think of type systems more as a hindrance myself. I mean, they can certainly help you catch bugs
25.
by jsnathan 9y ago
Yes there are a number of models, but since the quality of the results depends a lot on the training data as well, which I wouldn't know how to find or evaluate, and possibly might require tweaking algorithms for different languages, w
26.
by jsnathan 9y ago
On a slight tangent, are there any fully-trained ready-to-work state-of-the-art open source distributions of translation systems available? I've never been able to find one, but maybe I just haven't looked hard enough.
27.
by jsnathan 9y ago
Knowing that you have less than people somewhere far away isn't necessarily a strong motivation to desire more. The one's wanting to flee the regime are those who are oppressed by it. That isn't everyone though. There are alw
28.
Ask HN: What are your favorite short talks?
2 points by jsnathan 9y ago|2 comments
29.
1069 Tiny Robots Dance in Unison to Claim Guinness World Record [video](youtube.com)
1 points by jsnathan 9y ago|0 comments
30.
Marko – An isomorphic UI framework similar to Vue(markojs.com)
276 points by jsnathan 9y ago|148 comments

More ›