jbapple

27 ms·

211.
by jbapple 13y ago
> And I can’t even figure out how it’s illegal? Are you a lawyer? If not, have you asked one? What research have you done to try to figure out how it might be illegal? Have you read any laws or legal articles about the subject matter?
212.
by jbapple 13y ago
I suspect the arrow of causality goes the other way: the control software was written in C first. Later, Airbus wanted to gain confidence in its correctness. In other words, the static analysis works on C programs because there are more ext
213.
by jbapple 13y ago
Airbus has been one of the success stories commonly told by the static analysis community: http://www.astree.ens.fr/ (Here I mean https://en.wikipedia.org/wiki/Static_program_analysis , not https:&#x2
214.
by jbapple 13y ago
How serious are the risks to the company's other assets? Can a company limit the damage to its other assets if the money it set aside for insurance gets used up?
215.
by jbapple 13y ago
It sounds like working for a self-insured company is strictly worse for employees than working for a company that offers insurance through an insurance company, risk-wise.
216.
by jbapple 13y ago
How often do self-insuranced companies run out of their set-aside? When that occurs, do their employees simply go without health care?
217.
by jbapple 13y ago
> (note: if you don't really understand healthcare, e.g. what self insuring means, please don't respond with comments that the insurance company pays the bills, this is what insurance is for, etc.). Could you explain more about
218.
by jbapple 13y ago
Here's a transcript of the NPR interview referenced in the article: http://www.npr.org/2014/01/10/261282601/transcript-nsa-deput... Regarding the subject of the HN headline, "at most one terror
219.
by jbapple 13y ago
Can you share with us the statement of that theorem? What is "UniversalStyleCompaction", and why is it capitalized and missing spaces? How does a Bloom filter for range scans work? Standard Bloom filters (as you know) are for exis
220.
by jbapple 13y ago
Hi Dhruba, thanks for volunteering to ask questions. What are the big algorithmic ideas behind RocksDB? My understanding is that LevelDB is based on log structured merge trees. These can be deamortized using methods from Overmars's &qu
221.
by jbapple 13y ago
I think you may have read too much into it.
222.
by jbapple 13y ago
Do you view the comment you replied to as suggesting that moral equivalence?
223.
by jbapple 13y ago
I found this sentence surprising: > We’ve let go of half a dozen employees and kept only as many Of all the departures I know of from software companies, much fewer than half are firings. That is to say, the vast majority are employee-in
224.
by jbapple 13y ago
Though the source is available, it cannot be used for commercial purposes. https://z3.codeplex.com/sourcecontrol/latest#LICENSE.txt You may not redistribute the source on a website intending to teach the use of Z3 for
225.
by jbapple 13y ago
> The truth is the vast majority of technical interviews for developer positions are conducted in this bullshit manner today. How do you know?
226.
by jbapple 13y ago
1. This sounds like a tremendous amount of fun. I would do this on a Saturday and even if there were no possibility of a job offering on the other end. I would do it just for the joy and the learning. 2. I really enjoy those brain-teaser al
227.
by jbapple 13y ago
How many people have you fired after a week? Have you ever been fired after a week?
228.
by jbapple 13y ago
Slide 16: "Be careful with hires and team ... If you aren't sure and don't like the person after a week, fire them. There's enough people that you WOULD like after a week" I moved hundreds of miles for my last two j
229.
by jbapple 13y ago
"[5] This trend is one of the main causes of the increase in economic inequality in the US since the mid twentieth century. The person who would in 1950 have been the general manager of the x division of Megacorp is now the founder of
230.
by jbapple 13y ago
What percentage of readers of your comment do you think click through to your profile? Of the comments you read, what percentage do you view the profile of the author of?
231.
by jbapple 13y ago
I think you should have made it clear in this comment that you work for Quartz.
232.
by jbapple 13y ago
I think that really trivializes the tremendous effort the CompCert team put into that work. You don't just need to write a C compiler, or learn a bit of a proof assistant, you need to do the actual work of proving the compiler correct.
233.
by jbapple 13y ago
Can someone explain this to me: > When government cannot impose right-thinking via new regulations it must be imposed by our social and intellectual superiors bullying us: “Everyone needs to get more comfortable with female leaders” I'm
234.
by jbapple 14y ago
> we don't fuck around with that. We fly people in, get them to meet people, and show them how we work because we care about this process. It sounds like you aren't neglecting it. It just sounded like the author was really surprised tha
235.
by jbapple 14y ago
It read as PR to me as well. First, the circumstances dictate a glowing review, which makes it less believable. Since it appears to be from the official GitHub blog, it's hard to imagine that serious criticism could be aired here. I know th
236.
by jbapple 14y ago
> >They use legacy, money, ability about equally as admission standards. > No they don't. Harvard, like just about every university these days, has need-blind admissions. "Need blind" doesn't imply "legacy blind" or "blind to th
237.
by jbapple 14y ago
Thanks for describing your experiences. This part confused me: > not being able to socialize with my male buddies since 90% of the vegetarians i encountered were females Did you have trouble socializing with people who didn't share you
238.
by jbapple 14y ago
I don't understand copyright law, either. In your opinion, would it be legal for you to fork Lamson at a version before the revocation clause was put in the license, then distribute the source with that license?
239.
by jbapple 15y ago
> Non-cryptographic hash functions may be a bad idea: e.g. don't store URI parameters (?foo=bar&baz=bar) in such a hash table, or you'll be vulnerable to rather simple DoS (this was all over the internet a week or two ago.) I think
240.
by jbapple 15y ago
If you fire the "nonbelievers", you punish those who speak truth to power. This is a recipe for managerial pet projects that end up unprofitable because any insufficiently enthusiastic employee input was punished. That whole section reads l

More ›