481 karma · joined October 28, 2013
This is more like how to get unrepresentative sample 101.
Maybe they did and concluded it's fine to remove only to find out that general opinion is different.
> as evidenced by only 15% of repos passing mypy
That is no evidence. Of course, if you don't have mypy in CI (or pre-commit hooks or whatever), your repo will not pass mypy. But if you have it in CI, then you can rely on them being correct.
> tools like pytype or mypy will never capture all the complicated hacks possible
But they can either enforce everything being correctly typed (if you go to really strict settings), or yes, you will have some code untyped, so you will be careful around that part. It's not like all or nothing.
Only thing that is not my choice are ads, though those are relatively benign (but I actively hide uninteresting ads or ads I don't want to see).
Additionally, technically speaking --force does not overwrite history, it just moves the branch pointer. Old commits are there.
> It can't pause when a conflict occurs, so you have to fix the conflict and (somehow) re-run it from the point it stopped at, which is fiddly at best.
There is better way: 1. I use `git rebase -i` from the top of the stack -- it opens a vim with list of changes it's going to do. 2. I have script (https://github.com/mic47/git-tools/blob/master/GitStackTodo.... ) that process this and inserts commands to backup branch and move branch to new location to TODO list. At this point, I can even modify the TODO list to rip out commits I don't want, or squash commits i want. Or you can reorder commits (I usually do code review fix at top of the stack and then reorder commits -- at least if I am reasonably sure there won't be conflicts for this fixes). 3. At this point, you can insert more things, like run tests after each branch, or commit (and pause rebase in case of failure, so you can fix it). 4. When I close this file, rebase starts. In case of conflict, rebase pauses, let you fix it, and when you continue rebase, it will finish the TODO file. 5. After, I have script that removes backup branches. 6. I have script that runs command on each branch, so at the end, I do this to push my changes `git stack-foreach master git push --force-with-lease `
What if you can't resolve conflict and you are in the middle of the rebase? You can run `git rebase --abort` and it will restore top of your commit. Only drawback is that branches that were rebased are not restored, but hence my script also create backup branches so I can fix that manually and move branches back.
I.e. at FB, you could be E7 by just technical work, but you had to be really good and be able to pick important problems and solve them (say that you are able to design and implement core systems for example). But it's easier to get above E5 by going TL way.
His first year: "Because of the 3 launches and building a 4 people team, I was promoted to E5" -- looks like he should have been E5 when started (given that he was able to build team in the first year), and they quickly corrected for that.
Or there could be other effect...
What twitter did?
Not necessarily. You can hold both views and be consistent. Lot of people accuse Facebook that it's keeping Trump's content for money (i.e. it increases engagement). In that context, sentence "There is no incentive for us to do anything but remove it." is trying to refute. And that would be consistent with FB not wanting to be "arbiter of truth", and keeping "newsworthy" content.
I would call BS on this. Yes, git is pervarsive, but if you learn alternative tool (mercurial, perforce, even svn), you will find that learning git (at least for being productive on team that uses git) is straightforward.
Also, haven't seen a company that actually tried during interviews ti figure out if you know how to use git or not.
No they don't. They usually provide escape hatches for things typesystem does not cover, so there are cases where typechecker will just trust that you know what you are doing (even if you don't).
But more importantly, you don't need 100% to be useful. For aid in IDE, high precision (with somewhat lacking recall) is good enough. Of course, for refactoring, higher recall, the better (but you could substitute lacking recall with tests, which is suboptimal, but viable).
But it's interesting question on what python/mypy (python typechecker) can actually do. The answer here is it depends on configuration. Mypy with default configuration typechecks only typed code (i.e. functions which have type annotations) so you get guarantees only there. But you can configure it to be more and more strict (checking untyped defs, not allowing untyped code, and more), which increases guarantees you get (and it also increases the number of valid programs that it rejects). You can get in python into really strictly typed code, but you can also hit the wall if you need libraries that does not provide proper type hints (unless you write type hints by yourself).
So why not use Haskell (or other pure language)? It's pure, so functions don't share state. And you don't have to replace function call with network call.
https://news.ycombinator.com/item?id=22504950
Note, that just logging your directory, time and command in text file is great help, since if you don't remember something, you can just open the file and find what you need.
You still should hire pentesters, you still should have trusted employees to find bugs and fix them, and more... If you are relying just on bug bounties, your security will suck.
That being said, NDA's sound sketchy, if you disclose bug, than after it is fixed, you should be able to blog about it (or when they do not fix it for looong time).