mafribe

72 ms·

1. 661.▲
   by mafribe 11y ago

   This gender essentialist bullshit is demonstrably false. No. We do not, at this point, understand brain development well enough to prove or disprove sex essentialism / sex culturalism. The article says it: "Cause-and-eff
2. 662.▲
   by mafribe 11y ago

   I'd argue that neither Ocaml nor F# get the OO-FP integration quite right. The problem is this: offer ... object system on top of ... functional features. This implicitly assumes that objects are a special case of func
3. 663.▲
   by mafribe 11y ago

   makes functional tasks easy when I want FP object oriented tasks easy when I want OOP A high-level language doing this exists, it's called Scala. It does "marry" FP with OOP though, in the sense that FP is reco
4. 664.▲
   by mafribe 11y ago

   Does 4G mandate IPv6? I do think v6 adoption is now happening.
5. 665.▲
   by mafribe 11y ago

   Sure, but as more and more phones go 5G, they may see their traffic drop.
6. 666.▲
   by mafribe 11y ago

   MONSIEUR JOURDAIN: Oh, really? So when I say: "x := x+1" and "throw new Exception” is that monadic? PHILOSOPHY MASTER: Most clearly. MONSIEUR JOURDAIN: Well, what do you know about that! These forty years now I’ve been using
7. 667.▲
   by mafribe 11y ago

   As far as I understand, 5G will require IPv6 support. That will drive IPv6 adoption.
8. 668.▲
   by mafribe 11y ago

   Education should not cost anything at all. Bikeshedding! Education always costs a great deal. Teachers need to be paid, schools need buildings, universities needs labs, etc. The only question is how payments are organised: taxes,
9. 669.▲
   by mafribe 11y ago

   That's true, but it might be parts of the reason why those who accept it, accept it. If you think about the invention of the welfare state by (to simplify matters greatly) Bismarck, then this was quite explicitly to defang the socialis
10. 670.▲
    by mafribe 11y ago

    Affirmative action is a failure; it's nothing but a form of welfare. Failure from what vantage point? If you want to keep society stable and peaceful, some degree of welfare is probably necessary, for otherwise, those that im
11. 671.▲
    by mafribe 11y ago

    Imagine you actually had cultural barriers to entry to deal with as well. Have you considered that the non-Americans that are successful in SV had much larger barriers to break, including learning new languages, and dealing with v
12. 672.▲
    by mafribe 11y ago

    The longer a lack of diversity persists in a company's trajectory the harder it becomes to fix it. Google and Microsoft seem to have had no problem hiring a lot of Indians or Chinese.
13. 673.▲
    by mafribe 11y ago

    I'm not sure they deep down believe it. It's a rhetorical technique of frame shifting that has been quite successful, and allows some people to avoid facing their own racism. Since it works, why not continue using it? I have found
14. 674.▲
    by mafribe 11y ago

    Here is a paper that describe the Plankalkül in more detail. * R. Rojas, C. Göktekin, G. Friedland, M. Krüger, Plankalkül: The First High-Level Programming Language and its Implementation. ftp://ftp.mi.fu-berlin.de/pub/
15. 675.▲
    by mafribe 11y ago

    A really interesting podcast on nuclear test monitoring can be found at http://omegataupodcast.net/2015/10/185-nuclear-test-monitori...
16. 676.▲
    by mafribe 11y ago

    fallacy of the excluded middle. I'd say I was being terse, and trying to boild down the matter to its essence, so as to enable clear thinking. Naturally, positions we hold are more complex. it denies me the right to make
17. 677.▲
    by mafribe 11y ago

    Cultural relativism is a refinement of cultural absolutism, in order better to deal with the empirically undeniable discrepancies in moral judgements between different individuals and groups. Basically: Cultural absolutism: us good, them ev
18. 678.▲
    by mafribe 11y ago

    prolonged exposure could result in a general improvement That's certainly what happened after the previous two revolutions in communication: the invention of convenient writing and that of the printing press. So I have high h
19. 679.▲
    by mafribe 11y ago

    The academic community on twitter is very active and the content is very good, so I go to twitter to keep up with the latest cogneuro trends. My community (programming languages) is also active on twitter, but I decided completely
20. 680.▲
    by mafribe 11y ago

    Exactly. Great post! all arise from inaccurate models of the minds of others Inaccurate models not just of minds of others, but of the observers's environment, including non-minds. It's complexity reduction. Language is un
21. 681.▲
    by mafribe 11y ago

    Decline and Fall of the Roman Empire. And since when is that a credible work of historical scholarship, rather than a (not very subtle) apology of British imperialism (England the new Rome)?
22. 682.▲
    by mafribe 11y ago

    Nice casual justification of genocide Amezarak!
23. 683.▲
    by mafribe 11y ago

    Thanks. When I taught myself Isabelle/HOL a couple of years ago, there was a mismatch between the Isabelle/HOL system and its description in the old version of the tutorial you point to. What was really hampering my grasping Isabe
24. 684.▲
    by mafribe 11y ago

    get their own available products to be working flawless Self-driving cars don't have to be flawless. They just have to be better than human drivers. This is probably feasible within the next 20 years or so.
25. 685.▲
    by mafribe 11y ago

    Thanks. I agree that Isabelle's jEdit integration is nice. But what would be a polished and up-to-date introduction? I think "Concrete Semantics" is a bit heavy going for a complete beginner. No detailed explanation of proof
26. 686.▲
    by mafribe 11y ago

    Identifying proofs with programs undeniably gives a beautiful economy of concepts, best experienced among mature tools maybe in Agda. But there is a price to be paid, and that's the restriction to constructive logic. If you need class
27. 687.▲
    by mafribe 11y ago

    What's a suitable resource depends on your background. If you like books, "Proofs and Types" by Girard, Lafont, Taylor [1] is a great read, albeit idiosyncratic. [1] http://www.paultaylor.eu/stable/prot.p
28. 688.▲
    by mafribe 11y ago

    I'm thinking of doing something similar with my PhD students who have no backgroud in maths, but are strong programmers. How did you organise reading such a book? Any recommendations? I wonder if I should go Isabelle, Coq or Agda. The
29. 689.▲
    by mafribe 11y ago

    I guess because it's historically interesting. For your convenience, the paper mentioned in this article, "Goethe's Second-Price Auction", can be found at https://www.econ2.uni-bonn.de/pdf/goethes_se
30. 690.▲
    by mafribe 11y ago

    For your convenience, the paper mentioned in this article, "Goethe's Second-Price Auction", can be found at https://www.econ2.uni-bonn.de/pdf/goethes_second.pdf