wsxcde

10 ms·

1.
by wsxcde 6y ago
Godel's incompleteness is not that complicated. The main insight Godel had was that proofs as well as provable statements can be encoded in numbers. This is obvious to everyone reading HN -- all computing works by encoding things into
2.
by wsxcde 6y ago
An attack is a reason to believe that you can solve the problem. I have no idea how'd I go about solving P=NP, but I did have some thoughts on provable security against transient execution attacks. Which is why I work on the latter b
3.
by wsxcde 6y ago
You're trying to come up with a homemade ORAM. All I'll say is that this problem is harder than it seems.
4.
by wsxcde 6y ago
Websockets are subject to the same origin policy. There's nothing you can do to violate the SOP via websockets that you wouldn't be able to do with regular HTTP or XHR.
5.
by wsxcde 6y ago
Your point about the need to "popularize" zk-snarks etc. is well-taken and I upvoted you for it. But that said, we seem to be talking past each other at this point. I don't see why my criticism of the OP was unconstructive. T
6.
by wsxcde 6y ago
When I clicked the link, I figured this would be a research paper from MIT. It took me a bit of reading to figure out it was just a student project report. That's why I posted the GP. I stand by my comment that there doesn't appea
7.
by wsxcde 6y ago
This is not a peer-reviewed research paper. It seems to be a project report likely done by undergraduates. The paper is full of typos and it is not clear what the specific novelty of the proposal is (if there is any).
8.
by wsxcde 7y ago
> In the real number field, additive inverse of a positive real number is indeed the negative of that number. The negative of that number is also obtained by the application of unary negation operator on the positive number. This is a fa
9.
by wsxcde 7y ago
You are wrong in several ways. 1. You literally cannot prove this fact from the Peano axioms because Peano arithmetic operates on natural numbers, not integers. 2. As I said in my original post at the top, negative numbers are different fro
10.
by wsxcde 7y ago
My point is that you cannot prove something that is true by definition. The OP trying to prove that the product of two negative numbers is positive is like asking to prove that 0 + 1 = 1 in Peano arithmetic. The OP thinks that his "pro
11.
by wsxcde 7y ago
This is not a proof of why the product of negative numbers is positive. The reason why the product of negative numbers is positive is that we define multiplication to be that way. Also, this post conflates the unary negation operator with n
12.
by wsxcde 7y ago
Yeah, many red states have made it illegal to strike. And of course, this eliminates any possible leverage that employees have over employers to force better treatment and that is precisely the reason why Republicans have done this.
13.
by wsxcde 7y ago
The main argument is that NIMBYs are outnumbered at the state level. They "win" at the local level because older, richer homeowners are overrepresented at community meetings.
14.
by wsxcde 7y ago
HN doesn't allow edits after a few hours.
15.
by wsxcde 7y ago
Sorry I had a typo. I meant to say very little of the content is in English. But the page title is in English and that matters because I can google for "Jagran UP budget" to get to the second article.
16.
by wsxcde 7y ago
Some people on the website are complaining that people are putting their video titles in English but the content is in some other language. This is not a lame attempt to get more clicks, but driven by the fact that: (i) Hindi typing works o
17.
by wsxcde 7y ago
I actually think it's not as bad as some make it out to be, provided grants are funded at a reasonable rate. What's changed over the last couple of decades or so is that funding rates are single digit percentages. This is the re
18.
by wsxcde 7y ago
This is practical advice, but it also points to the reality of scientific funding today -- you can only get money to do things that you already know how to do. You must have an idea that is pretty much ready to go on day one. All that shoul
19.
by wsxcde 7y ago
Three points are worth making here. Nobody lives in the Sahara, the population centers in Africa are in the tropical regions and the Mediterranean. Africa will be the only continent experiencing population growth post-2050. Africa's la
20.
by wsxcde 7y ago
This will likely change once Africa becomes the most populous continent, which is expected to happen somewhere around 2100.
21.
by wsxcde 7y ago
The answer is because the script evolved and was not designed so letters appear in somewhat random order. Brahmi, which is the parent script for most Indian scripts as well as a bunch of other scripts in the region (Tibetan, Thai, Burmese,
22.
by wsxcde 7y ago
Swiggy is a scam! They stole 200 bucks from me (as food wastage charges) because I didn't look at my phone for 15 minutes after I placed an order with a full address that I had already fully paid for.
23.
by wsxcde 7y ago
Not too long ago, my official title was postdoctoral scholar and I was at UC Berkeley. A little while before that, I was a PhD student working with a couple of "postdocs" whose title was postdoctoral research associate. I submit t
24.
by wsxcde 7y ago
I feel both sides are making reasonable points. On the one hand, telling people where they ought to buy their food from does seem like government overreach. On the other hand, there's considerable evidence that people's nutritiona
25.
by wsxcde 7y ago
Thought-provoking article. I got over my obsession with emulating others' success when I realized that a lot of supposedly successful people were successful primarily because they were also lucky. Once you accept that a big factor in w
26.
by wsxcde 7y ago
Speaking of NYC specifically, a lot of cities across the US, as well as worldwide, experienced a major decrease in crime at the same time that NYC did. Most of the cities were not practicing broken window policing. That's one reason to
27.
by wsxcde 7y ago
The problems of appropriate policing in so-called "high crime" neighborhoods are well understood. Many academic studies, as well as popular non-fiction like Jill Leovy's Ghettoside and Chris Hayes' Colony in a Nation, h
28.
by wsxcde 7y ago
> not sure I have noticed a pattern of US media talking it up Don't you remember when the NYT "credulously" put out stories from Dick Cheney about supposed WMDs in Iraq, which btw were sourced as coming from a "senior
29.
by wsxcde 7y ago
There's no problem with directly calling sycalls from OpenBSD from golang or C or whatever else. The issue here is that OpenBSD is adding a new security feature where code addresses that call syscalls must be whitelisted at link time.
30.
by wsxcde 7y ago
The author has rediscovered the need for software fault isolation (SFI). Bytecodes or IRs like WASM can also provide SFI but are overkill because they provide more than just SFI. If I were him, I'd have used this as an excuse to play w

More ›