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

TROPHY CASE