rfw · HackerTrans

7 лет назадdiscuss

Seems like an extremely reductive view to take: you can't use time and family to buy food.

Gender roles aren't so cut and dry any more. Given that, maybe outcomes should be considered independent of gender?

rfw

7 лет назадdiscuss

Characterizing people wanting to contribute to the basic living conditions of people so pejoratively as 'unfortunate' and a 'continuation of the "white man's burden" ideology' is an extremely bad faith view of those who choose to do so.

rfw

7 лет назадdiscuss

We can implement it with a single `amb` function, too (I took some shortcuts that might have hidden some of the nature of the implementation)!

    -- Lifts a list into Amb.
    amb :: [a] -> Amb a

If we assume Amb is just List, then:

    amb = id

If we write the example in the original article in desugared style, we get:

    amb [1, 2, 3] >>= \x ->
    amb [4, 5, 6] >>= \y ->
    if x * y /= 8 then amb [] else pure () >>
    pure (x, y)

(we are forced to use an awkward condition with `pure ()` on the else branch when calling `amb` because Haskell requires us to return values on all branches. We can rewrite it equivalently in terms of `when` to hide that detail:

    amb [1, 2, 3] >>= \x ->
    amb [4, 5, 6] >>= \y ->
    when (x * y /= 8) (amb []) >>
    pure (x, y)

It now looks more similar to the original example.)

It ends up looking like continuation-passing style: conceptually, if we encounter `amb []` in the nested function, the nested computation ends and we start examining the next value in the list values being assigned to `x`: the implementation given in the original post does end up using callcc, so with some imagination you might be able to derive some kind of equivalence here :)

rfw

7 лет назадdiscuss

amb without side-effects can also be expressed in terms of the List monad, e.g.:

    do x <- [1, 2, 3]
       y <- [4, 5, 6]
       if x * y == 8 then pure (x, y)
                     else []

which can be equivalently reworded as the list comprehension:

    [(x, y) | x <- [1, 2, 3], y <- [4, 5, 6], x * y == 8]

i.e., the underlying structure of amb without side-effects can also be understood as just a search of the input space for values that fulfill some criteria, rather than as backtracking via continuations.

rfw

7 лет назадdiscuss

1. https://en.oxforddictionaries.com/definition/inclusivity

> The practice or policy of including people who might otherwise be excluded or marginalized, such as those who have physical or mental disabilities and members of minority groups.

2. Without an understanding of power, is there a useful definition of "inclusivity"?

Or is it just a whitewashed feelgood platitude that can't mean anything in the end, because if you include everyone, including people who are decidedly discriminating against you, that it constitutes some ideal of "inclusiveness"?

rfw

7 лет назадdiscuss

Dismissing a position as "virtue signaling" is fundamentally lazy.

Ironically, aren't you "virtue signaling" right now about how you're sincere enough to be able to look down on people who do it?

rfw

7 лет назадdiscuss

Inclusivity is about wanting to better include minorities or disabled people in spaces where they may have been discriminated against and affecting their livelihoods, e.g. the workplace.

Using a definition of inclusivity here without a consideration for power dynamics between the parties involved is totally uncharitable: as you've observed in your comment, there is no barrier to actually denying "exclusive rights" to activists, so it's more a matter of respect to the people who want to use the symbol (e.g. the pride flag, which few people have issues with it being used to exclusively represent LGBT groups) to make their cause more visible, rather than a lack of "inclusivity".

rfw

7 лет назадdiscuss

On what grounds should an unrelated party (the government, via labor law) force their will on two voluntarily trading parties, blocking their transaction?

Because wage slavery exists and you can't shrug your shoulders and say "well, they're choosing to work for peanuts so it's fine!".

rfw

7 лет назадdiscuss

It really doesn't depend on the jail, at all. Having to be incarcerated to have a good livelihood is unforgivably disgusting.

rfw

8 лет назадdiscuss

If you can spend enough money to say "well, that's not my problem", then you yourself are the problem.

rfw

8 лет назадdiscuss

If you watch the GIF, the library parses Japanese addresses just fine.

rfw

8 лет назадdiscuss

What does diversity of thought even mean?

rfw

8 лет назадdiscuss

Nat = Nat + 1 does end up being meaningful: since ultimately the numbers that fall out (e.g. Bool = 2) end up describing the sizes of sets, an interpretation of Nat is some infinite cardinal (aleph-null), which is the size of the set of natural numbers.

rfw

8 лет назадdiscuss

Quantum computing is not parallel computing: https://physics.stackexchange.com/a/3400 briefly talks about the mechanism of quantum computing and how it is not general parallelism.

rfw

8 лет назадdiscuss

Can you refute the claims in the video posted? The style is unrelated to the validity of the claims.

rfw

8 лет назадdiscuss

The SNAP Inc. in question is actually http://www.snapinc.net, an enterprise consultancy.

comments