Presumably Hackerone isn't paying to people under US embargo!
3,002 karma · joined April 10, 2021
You do have to pay for a server, but that's kind of inevitable (as in: a server is required to run most chat software, so someone will have to rent one).
Do you mean that they've accepted more state school students? Because you'd expect to take quite a good number of them if you're selecting the "best"!!
I think this perhaps the most common misconception of how formal verification works. If the program typechecks, then you have a proof that the program (or often a model of the program) implements the specification. However, you still have to make sure that your _specification_ is correct! This is one of the hardest parts of formal verification!
This sounds awfully much like a cryptography problem to me!
> Because of the wind’s intermittency and high variability, they do next to nothing to reduce the need for other fuels.
They then (correctly) point out that while wind on its own obviously doesn't work, it is still valuable as part of a grid system (with other sources of power).
Note that what they say (i.e. "as with solar energy, complete reliance on wind energy would pose intermittency challenges") is not agreeing with the statement, as the statement is that it does "next to nothing" and their argument is that it does a lot, when combined with other power sources.
Nor is mining for coal!
Big ones do! For example, Python/JavaScript/Linux. Some are developed by companies (e.g. Go/Java/Kotlin). Seems perfectly sensible that companies using Zig would donate to the language...
Why? The salary Andrew Kelley would likely attract at a corporate is much higher than that. If you want sustainable open-source infrastructure then someone, somewhere will have to pay for it. It feels crummy to attempt to pressure people into taking super low salaries (and probably results in higher rates of burnout).
> Damn... really? More than $170k/year from Github Sponsors? That's got to be the most successful Github Sponsor income ever right?
Building programming languages is hard? Rust had something like ~10 Mozilla developers working on it for ~10 years (that's something upwards of $20-30mn in investment).
You can usually pick the jurisdiction (e.g. many contracts are under jurisdiction of England & Wales/Switzerland/Singapore despite neither party being based there, or doing business there).
I think in general judges are quite considered, and the answers you get from courts tend to make quite a lot of sense, especially if you are aware of general legal principles and precedent.
The purpose of the FTC is literally to take regulatory action to prevent unfair competition. Your argument is that you shouldn't appoint a commissioner on the basis that they think large tech companies are engaging in anti-competitive behaviour?? Note that this position isn't playing dictator; the FTC is subject to judicial oversight.
> Meanwhile local and state utility and cable tv monopolies continue to _flourish_ without so much as a peep.
How do we know this isn't just your preexisting prejudice of cable companies? Maybe you've just got an obsession with "big [cable] is bad"? On a serious note – it seems that you _do_ agree with antitrust regulation, just not against Facebook/Amazon for some reason (and only against Comcast)??
If by "hack" you mean she guessed the password, then yes.
We can also build power lines! Between different places! Such as the places with lots of sun, and the places without lots of sun!!!