hrjet

36 ms·

301.
by hrjet 12y ago
It seems like the author was able to discover the vulnerability while in the process of specifying it in Coq (understanding the handshakes better during specification). From what I read the Coq specification itself wasn't complete or u
302.
by hrjet 12y ago
> This will only impact geeks. Geeks email non-geeks. If the non-geeks don't decrypt the messages it's going to be all greek to them. So the more easy they make it for geeks, the more they are pushing non-geeks to adopt as well
303.
by hrjet 12y ago
> "declared himself unfit as a painter" ? Wasn't it more like "declared painting as unfit for him"? Michelangelo had a strong disdain for paintings and painters especially Leonardo Da Vinci and his friends. My on
304.
by hrjet 12y ago
I do believe that open-source solutions are better when concerned about privacy and security. But why would a user of a mostly closed-source OS bother about the open-source nature of one component of that OS?
305.
by hrjet 12y ago
I am sure they meant that the output of a conditional expression would be an encrypted boolean. A conditional branch would become an encrypted conditional branch. That means, you wouldn't be able to infer the branch from the encryp
306.
by hrjet 12y ago
Nice to hear that AGG lives on. I remember exploring it in around 2002 and being mighty impressed with it.
307.
by hrjet 12y ago
You can rely on moonlight just about 5% of the nights, because of the monthly changes in moon phase, and nightly change in position due to earth's rotation. I am skeptical about the plants too, and like your calculations. But the numbe
308.
by hrjet 12y ago
A large life-span would starve the younger generations of resources. And the younger generations are probably more crucial to the survival of the gene pool, than the older generations for various reasons. One reason is that younger generati
309.
by hrjet 12y ago
I think they were hinting at coercion.
310.
by hrjet 12y ago
I like DDG, but have to ask, what is the revenue model? Is it going to serve ads eventually?
311.
by hrjet 12y ago
> people don't spam the form Use captchas; a rather obvious solution, but mentioning in case you overlooked it.
312.
by hrjet 12y ago
Great point. Client-side can't do any meta analysis about the data, unless it fetches all the data. Which is a big waste of bandwidth and cpu.
313.
by hrjet 12y ago
Yes, but area also scales square of radius, so it will consume power proportional to the area covered.
314.
by hrjet 12y ago
Kudos to the OP for standing their ground and not complying with the request. Apart from the principles, there is also a practical problem with complying with such a request. How can one verify that the request is genuine? It could be a hac
315.
by hrjet 12y ago
> Out of order processors do not "kill" determinism. It may be deterministic at the micro-architecture level, but it is non-deterministic at the architecture level. And then there are many other things in the mix: speculative
316.
by hrjet 12y ago
Is it because of tables, or because the HTML is not valid? I had reported this sometime back, but was turned down: https://github.com/HackerNews/HN/issues/78
317.
by hrjet 12y ago
Why do you need 10,000 lumen to light a room? What sized room are your considering? And, if you are responding to your parent post, it says light enough to walk around. Even 100 lumens would be sufficient to walk around a 100 sq ft room.
318.
by hrjet 12y ago
But then human ancestors probably didn't have to worry about predators at night so much, cause they could protect themselves and their dwellings with weapons, or live in trees, or co-operate to watch by turns.
319.
by hrjet 12y ago
> Over time, children’s books and magazines began to promote this type of Edisonian asceticism. I remember reading a children's book on goblins. The theme was that these goblins worked late nights and helped humans with their chores
320.
by hrjet 12y ago
Tags can be moved in Git. How much you want to trust the tags depends upon your use-case.
321.
by hrjet 12y ago
Why can't GitHub employ the DDOS mitigation behavior only during an active DDOS attack? I assume such attacks are not that frequent; perhaps once a week at most?
322.
by hrjet 12y ago
Once upon a time, I had briefly looked at gene matching algorithms like FASTA. n00b question: Can these algorithms be generalized to any code (not just genetic codes). For example, to match Java bytecode, or x86 op-codes.
323.
by hrjet 12y ago
I am worried about we becoming obsolete wrt to a more modern organism :)
324.
by hrjet 12y ago
But you would still need a tool to manage dependencies, track updates, etc. And it will be this tool that you will need to use to keep the system in a consistent state.
325.
by hrjet 12y ago
Also, I like Scala REPL's automatic labels for the results. scala > 7 * 7 res0:Int = 49 scala > res0 - 9 res1:Int = 40 Saves a lot of typing.
326.
by hrjet 12y ago
Is there a term for Singularity due to runaway evolution of an artificially created species?
327.
by hrjet 12y ago
> If privacy is required, I leave the handset at home and get on my bike. There is no hiding unless you turn it all off. What you do on your bike may be inferred from what you do without your bike. So, your sense of privacy when you ar
328.
by hrjet 12y ago
It comes down to this equation: security & privacy versus fancy look and feel. The non-JS crowd picks the former. There are many blogs that don't work at all without JS. I don't bother reading them. Those blogs might be very i
329.
by hrjet 12y ago
I have been maintaining a ledger-inspired app in Scala: https://github.com/hrj/abandon While I loved the main idea in ledger, of having a text-based database of transactions, I was not satisfied with the particulars of
330.
by hrjet 12y ago
This might be something that is not just beneficial to ISPs. Probably the major content services want it too, because they can strangle upcoming competition at the expense of a few dollars. So the 900lb gorilla might not be actually running

More ›