Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
miranda_rights
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
11 ms
·
61.
▲
by
miranda_rights
9y ago
The memo doesn't explicitly say 'jail time', just that Snap will pursue all possible legal remedies against the leaker. I definitely think Amazon has a similar policy, as well as possibly some other tech companies. This doesn
62.
▲
by
miranda_rights
9y ago
> I am a woman. So the physiological differences may also come into play. I dunno. I looked into IF and decided against it for that reason. The documentation on it recommended longer feeding windows for women to the point that it didn&#
63.
▲
by
miranda_rights
9y ago
Considering people frequently drink in casinos, I'm ok with people being reminded that they have a gun on them.
64.
▲
by
miranda_rights
9y ago
Agreed. The paper treated having a Microsoft-only sample as being good since it's a "large sample size", but the skill set of an engineer can be perceived as good or bad at different sizes of companies, and not addressing tha
65.
▲
by
miranda_rights
9y ago
As far as I understand, ISPs can recognize that you're using a VPN and then slow all of your traffic, instead of affecting your connection to an individual site.
66.
▲
by
miranda_rights
9y ago
I agree. He could just redirect to a blank page but this puts him in a really bad light. I wouldn't care except I frequently browse HN at work when I'm getting settled in in the morning.
67.
▲
by
miranda_rights
9y ago
You're right that SF is more theoretical. I guess I was curious if the benefit of the book comes from being newly exposed to a dependently-typed language in general or the actual topics of the book, if that makes sense. It sounds like
68.
▲
by
miranda_rights
9y ago
> The study tested four methods for learning written information, including reading silently, hearing someone else read, listening to a recording of oneself reading, and reading aloud in real time. I wish they had also tested reading sil
69.
▲
by
miranda_rights
9y ago
This looks like a nice book but I'm wondering if the overhead of learning Idris on top of Coq (which I'm familiar with) would have any benefits - would you say it's different enough from Software Foundations?
70.
▲
by
miranda_rights
9y ago
Your journal club sounds cool. Is there a list somewhere of the past papers you read?
71.
▲
by
miranda_rights
9y ago
Do you know why he has such an aversion to HN?
72.
▲
by
miranda_rights
9y ago
I also really dislike the move. What's a good alternative though? If I use something like Paypal to pay the creators directly, I would think Paypal would take a similar cut.
73.
▲
by
miranda_rights
9y ago
> Where are you living that you can't have face to face interactions on a regular basis. Far from many of my friends and family? Many of them live in other states or countries, and Facebook is cheaper and usefully async when dealing
74.
▲
by
miranda_rights
9y ago
Is this before/after taxes? The problem is if you live in SF vs Austin, the sales taxes are similar but California's income tax will take 10-15k off the top. After that, you have to think about cost of rent. I'm currently deb
75.
▲
by
miranda_rights
9y ago
Netflix does a lot of work on reliability/availability and are known for being good at it - they've actually open-sourced a lot of their tooling too.
76.
▲
by
miranda_rights
9y ago
Not only that, but by now I've figured out that the comment sections of most sites are toxic with little, if any, moderation. HN has a good moderation set-up, respectful members, etc. I try to avoid even reading the comments of other w
77.
▲
by
miranda_rights
9y ago
Yeah! The first time I had heard of Robert Morris was in that book. I didn't know the author's active on YouTube - I'm definitely going to look him up.
78.
▲
by
miranda_rights
9y ago
Yeah, I thought the list was supposed to be satirical/humorous but it sounds like the author of the article was really trying to follow the virtues. Am I missing something?
79.
▲
by
miranda_rights
9y ago
eating - I think that's why Soylent was so popular. People liked the idea of drinking a meal while working/multi-tasking. I'm not 100% into it, especially since I'd prefer something with a better ratio of protein, but I
80.
▲
by
miranda_rights
9y ago
Exactly. Especially since the linked interview was conducted as a series of _text messages_ -- it seems like that was the 'hook' of the interview, with all the emojis/text abbreviations used. Looking at the other interviews
81.
▲
by
miranda_rights
9y ago
You're right, and I was wrong before - the example of "If X was a true Y, they would do what I say all Ys should do" seems like it might be related to No True Scotsman but it's definitely different. It seems like the fal
82.
▲
by
miranda_rights
9y ago
Yeah, the "No True Scotsman" fallacy: https://en.wikipedia.org/wiki/No_true_Scotsman
83.
▲
by
miranda_rights
9y ago
I believe it. I happily pay the $5/month for tips on upcoming flights. I love solo travel but I haven't been to a lot of places (just getting out of college) so I don't have too many specific preferences about where I want to
84.
▲
by
miranda_rights
9y ago
We have similar rules for keeping your desk clear, electronics in your bag. I think the difference is having people walking the floor, which isn't effective if you only have 1 professor watching 50 people, in my opinion. It's also
85.
▲
by
miranda_rights
9y ago
This is exactly it, in my opinion. It's much easier to catch cheating by running homework code through something like MOSS than relying on a human TA to catch that 2 handwritten math assignments are exactly alike. I TAed both CS and Ma
86.
▲
by
miranda_rights
9y ago
That would be amazing! I'm personally trying to figure out the EU visa process and keep getting lost trying to understand the most viable way to get a job/visa. I'm definitely going to keep your site bookmarked!
87.
▲
by
miranda_rights
9y ago
I don't have a lot of software experience -- what's the motivation for creating a tool that removes comments? Aren't (well-written) comments normally good to have in the source code?
88.
▲
by
miranda_rights
9y ago
Ah, That's ok. Thank you anyways!
89.
▲
by
miranda_rights
9y ago
Can I ask which company it was? I'm making a mental list of companies to try to interview with once I graduate, and having offices sounds amazing.
90.
▲
by
miranda_rights
9y ago
Those are really good points -- the design aspects occurred to me as well but not enough to see the difference. That's also really cool about team independence at Amazon. It seems like it'd be a good way to combat people feeling l
More ›