Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
rainforest
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
11 ms
·
61.
▲
by
rainforest
9y ago
Not necessarily, some of the Royal Navy's ships are islands too: https://en.wikipedia.org/wiki/Stone_frigate
62.
▲
by
rainforest
9y ago
In the short term at least, but it's probably safe to assume your risks at that distance are from your neighbours fighting over supplies.
63.
▲
by
rainforest
9y ago
I'm not sure where to draw the line, but at what point does revoking rights remove the incentive to comply with society?
64.
▲
by
rainforest
9y ago
You might want to preserve the test case as it's found an interesting code path. You could keep it around so tests generated from it cover similar paths, possibly without reaching the assertion.
65.
▲
by
rainforest
9y ago
I think you're right to point out that the people in the UK deserve what their elected representatives bring upon them. As their manifesto points out, they want to be world leaders at bringing the internet into parity. As you say, pros
66.
▲
by
rainforest
9y ago
They challenge the long-held idea that people on the internet are capable of dealing with things they don't like or the government wouldn't like them to see. They also remove the need for there to be a victim of a crime. I see a l
67.
▲
by
rainforest
9y ago
In this specific case an IDE could conceivably highlight a check that the compiler will omit, or point at undefined behaviour directly. The general aim is probably unachievable as you suggest - if 3 functions are rewritten to one it'd
68.
▲
by
rainforest
9y ago
The study is available here[0]. The gist is that an app can launder a request it isn't privileged to make through another app that is privileged and doesn't correctly check the intent sender. There are examples in Section 4.3. [0]
69.
▲
by
rainforest
10y ago
The undertone certainly seems like they'll be paying a lot of attention to Apple's compliance of their patent portfolio. Given how much of their revenue comes from Apple I wonder if they'll have to become an enforcer of their
70.
▲
by
rainforest
10y ago
I could be mistaken but on install the Dropbox app adds a few SetUID binaries that probably allow them to put the bit back.
71.
▲
by
rainforest
10y ago
Is there any way you can trust the CPU to tell you what code in the PSP is running though?
72.
▲
by
rainforest
10y ago
I am aware of some work that involves modelling external devices to achieve verification with SAL or HOL: http://staffwww.dcs.shef.ac.uk/people/R.Taylor/Spurinna/
73.
▲
by
rainforest
10y ago
My assumption is based on the differences between the Charge (non-HR) and the Alta I was given after 4 Charge replacements. The Alta does text alerts but doesn't do stair counting. Assuming the latter only needs an accelerometer there
74.
▲
by
rainforest
10y ago
I'm not so optimistic. FitBit's business model is to distinguish price bands by software features like printer manufacturers. Pebble's is to provide the same experience, enhanced by better hardware to everyone. Pebble still d
75.
▲
by
rainforest
10y ago
My gut feeling is that TDD is just a way to encourage me to actually write tests. I suspect I'd have just as many tests if I had someone prod me every 20 minutes to write a test case or two. Having one or two tests also creates a bit o
76.
▲
by
rainforest
10y ago
The use of students in SE research is a hot topic, see, for example Fietelson's review: https://arxiv.org/abs/1512.08409 . Practitioners have a problem recruiting subjects. There is often a tradeoff between applyin
77.
▲
by
rainforest
10y ago
Someone has described using a physical network to solve the shortest-path problem in O(N) time: https://www.reddit.com/r/compsci/comments/a1sqb/help_shortes...
78.
▲
by
rainforest
10y ago
Isn't LEA also a quick single instruction multiply-add for fixed scales in the SIB? e.g. `LEA EAX, EAX*4 + 0x3`
79.
▲
by
rainforest
10y ago
1px is all you need: the article cites instances where they track a pixel to a ground-based camera to get a higher res image.
80.
▲
by
rainforest
10y ago
Is there a reason you opted to use Elo rather than other rating systems commonly used in baseball analysis like log5 or Pythagorean (e.g. https://summerofjeff.wordpress.com/2010/12/05/serving-agains... )? I&#x
81.
▲
by
rainforest
10y ago
> Should publisher's work be free? I think not. What value does the publisher's work add to the work the author generated?
82.
▲
by
rainforest
11y ago
At a total guess it's down to the lack of precision in the output at anything other than full power. Most (all?) microwaves just pulse the magnetron to achieve an average delivery of the rated power so the difference between 400W and 4
83.
▲
by
rainforest
11y ago
There's a tool that does similar to AFL called EvoSuite ( http://www.evosuite.org ). It uses a genetic algorithm like AFL and generates JUnit suites for the target classes. It doesn't look for crashes like AFL - it'
84.
▲
by
rainforest
11y ago
Work in bootstrapping energy consumption exists in academia; for example Pathak et al[0]. The changes in 10.10.4 could be an implementation of something along the same lines, by fitting a model to the measured power consumption. As comex no
85.
▲
by
rainforest
11y ago
I don't think you can boot the machine to login as Guest without a password if you have FileVault enabled.
86.
▲
by
rainforest
11y ago
Given that a lot of computer vision work is based on randomised algorithms, do you think that these standards would be enough? You could demonstrate 100% MC/DC coverage through a neural net implementation, but the weights are where the
87.
▲
by
rainforest
11y ago
If the tests are crashes and you have existing unit tests, some work out of Virginia on using genetic programming to evolve patches could possibly work: http://dijkstra.cs.virginia.edu/genprog/
88.
▲
by
rainforest
11y ago
That's how genetic programming could work; with a suitable test suite you should be able to evolve an implementation. See FINCH for some early work on GP for Java [1]. [1] : http://finch.cs.bgu.ac.il/pubs/gptp.pd
89.
▲
by
rainforest
12y ago
The problem with strategy (2) is that the government can take action to stop it. For example, in the UK it's a criminal offence to withhold encryption keys in the face of a warrant. David Cameron also relatively recently argued that en
90.
▲
by
rainforest
12y ago
The Ariane 5 failure is a little more nuanced than that though. The conversion bug was in the Ariane 4 too, they reused the IRS, so it was almost "proven in use" but Ariane 5's trajectories put it under much higher accelerati
More ›