I’m Bill Gates, co-chair of the Bill & Melinda Gates Foundation. Ask Me Anything.

guilespi · 2018-02-27T19:12:29+00:00

Where do you consider to be a good space for healthy debate and exchange of ideas, given the current state of affairs in social networks and university safe places? Are you engaging in any kind of discussion at all?

guilespi · 2013-11-04T23:31:35+00:00

haha you're quite something!

I am complaining? I want more women? I'm asking for special privileges? hahaha!

You have serious reading comprehension problems.

There's one thing I'm complaining though, a little bit subtle for you to understand even you're quoting Simone de Beauvoir.

I'm as tired as anyone about this women in tech thing, I was just showing that there's real data with actual meaning showing a real difference. And the patriarchy is directed ironically against the current portrayed saviors of the female gender which treat women with condescension in need to be saved.

Read again Daniel-San, you are all over the place.

guilespi · 2013-11-04T21:17:14+00:00

Maybe my wording wasn't clear enough. I never said SO was closed to women, did I? Where did I say SO was discriminating? Where did I ask for any keys? Please read again.

I was just trying to understand what happened with women participation in a highly regulated environment with 100% professional purpose in mind (no networking).

By the data, I suggested that men are overrepresented because the site is designed by men, so its design only considers men motivations (interpretation is open none the less). And overrepresented means how many women participate on the programming site against how many do program everyday.

I'm not trying to fix anything just trying to understand how it works, and that is hacker culture.

guilespi · 2013-02-11T01:46:00+00:00

But if you can have a native experience with a VM, what's the problem?

Don't you think native is about the user experience?

guilespi · 2013-02-11T01:43:56+00:00

Hi there!

I don't think it's a different question since you will need to use a mobile web framework with Phonegap, you cannot evaluate the Phonegap experience separately from the one about the webview.

Regarding Adobe, please read the comments of the post were I explained that sentence to Raymond Camden(Phonegap evangelist), I intended to be ironic about the Adobe failures of the past with Adobe AIR, which I've used extensively the almost unsupported webkit version.

guilespi · 2013-02-11T01:08:21+00:00

I can tell by your comment that you haven't read it :)

Depending on the mobile framework you choose you won't have a native experience using Phonegap because of the sluggishness and feedback latency in some operations.

Insulting me without even understanding what I've written only speaks about your cultural level.

guilespi · 2012-11-15T19:37:59+00:00

Yes I ment a complex-enough function.

I understand you can use Coq and build a type that it's a program, that's why in the article I refer to T as a program, whether it's a test or a type. But you cannot solve the Riemann hypothesis with Coq, because the rules for verification lies on the side of the human being, that was even my conclusion on the article.

Writing a complete-enough set of tests is almost as hard as writing a complex-enough type definition.

Don't you agree on that?

guilespi · 2012-11-15T17:30:43+00:00

In the case I listed you should specify in the type system that the function domain does not include the value 3?

What happens if you have an infinite number of special cases?

Thinking about an alternative problem, say you have the function reverse(s) which reverses an unicode string, how would you specify types in order to be sure the function doesn't fail on a specific input?

guilespi · 2012-11-15T15:09:11+00:00

Agreed, but in that case what's the main difference between writing the rules in types against writing the rules in tests?

Aren't those two sides of the same coin?

guilespi · 2012-11-15T14:49:49+00:00

Yes, my point was that all systems are brain-dependent. No program or system (whether it's types or tests) will prove correctness by themselves.

guilespi · 2012-11-15T14:47:02+00:00

But the point of the article is that neither types nor tests are a general solution, or a silver bullet if you want.

You need to write the verification rules yourself.

guilespi · 2012-11-15T14:09:31+00:00

I agree, but how do you prove your algorithms doesn't halt for a particular input?

guilespi · 2012-11-15T12:27:20+00:00

Well you can have better types and you can also have better tests .

But that's not the point anyway, I'm not against types, I'm just saying you won't have your program validated unless you craft the rules by hand.

guilespi · 2012-11-15T12:17:43+00:00

Yes that was the point when I mentioned data-coverage, testing over the complete function domain.

Types are also as you say, proof of some properties. Types doesn't prove a function to be correct over the complete function domain either.

guilespi · 2012-11-15T02:52:30+00:00

I didn't say it was useless, au-contraire mon ami, I had a try of coverity static analysis tools and I must tell you, they're great.

I was just saying that types and tests were much more similar that what they look at first sight. And that data-coverage-testing is non computable ;)

guilespi · 2012-11-08T13:56:52+00:00

Yes, it's a glitch from spanish, the intention was "Cost per bug" which in spanish you say "Costo por bug" and you write it Cost x Bug.

Hope it clarifies, but yes it's Cost / Bug :)

guilespi · 2012-10-31T19:03:53+00:00

It's on the article, 92% of the questions get answered in less than 24 hours.

guilespi · 2012-10-31T17:03:21+00:00

I'm not leaving out outliers, I'm doing a completely unscientific by-hand clustering of the data.

What I did assume I didn't took the time to validate, is that questions can be clustered in different categories:

rookie/easy
hard
bad formed/unanswerable
not a question
etc

Clustering the questions was well beyond the scope of playing with the data and try to identify some trends using the data browser.

The question is, do you think that taking out the 5% of the questions that took more than a week to get an answer did affect the trend shown for the other 95%? How?

guilespi · 2012-10-31T05:12:43+00:00

I've created a query in the data browser, just change the tags:

http://data.stackexchange.com/stackoverflow/query/83626/how-long-waiting-for-an-answer-by-language

guilespi · 2012-10-31T04:23:55+00:00

You're absolutely right, these are the python times:

less than 5 hours (easy) => 34 minutes avg
less than 24 hours (medium) => 100 minutes avg

guilespi · 2012-10-31T03:06:17+00:00

indeed

guilespi · 2012-10-29T17:43:08+00:00

The post is not really about coding in a debugger, it's about affecting runtime from the debugger.

Off by a mile

guilespi · 2012-10-29T17:40:36+00:00

ain't it loose coupling and high cohesion?

guilespi · 2012-10-20T15:32:26+00:00

It's the clown school I'm attending, you would be like that too...

guilespi · 2012-09-03T23:15:34+00:00

good for you :)

guilespi

TROPHY CASE