applicative's comments

applicative | 10 days ago | on: 1.5 Million Users Leave ChatGPT

I probably don't understand it but, the reports are all that it is Anthropic, not OpenAI, that is the one supplying the AI fuel for the present Iran war. (Thus the delay in the imagined military rejection of Anthropic). Meanwhile OpenAI says it has exactly the same principles and 'red lines' but is somehow implementing them differently. They seem to agree that they do not differ in any of the respects in question. The real story has to be completely different.

applicative | 11 days ago | on: Iran unleashes Shahed drones aimed at targets across Middle East

You would think the hebrew population is just exhausted and hardened and driven a little crazy by several generations of 'deathtoisrael' 'deathtoisrael' drilled into the brains of millions of schoolchildren every year - each /year/'s school intake of impressionable brains is larger than the total world Jewish population. In the end the hebrew-speakers' response will not be simply rational as they are as much mentally affected as the iran citizenry, which is orders of magnitude larger.

It's typical the world community has put up with the naked genocidal intent of the Iran government - which is by now in a sense woven into its constitution and mystical-apocalyptic self-conception - as if it were a musical curious style -- as they build militias saying the same on every border, financing the bizarre suicide campaigns of early 2000s etc. to stop a 2 state solution and keep the party going.

With 'deathtoamerica deathtoamerica' noblesse oblige requires us to pretend it is merely comical. But the 'uppity, arrogant' jewish state is microscopic by comparison with titanic Persian Empire. The disproportion (80x) is far more extreme than even USSR or USA v Afghanistan or USA v Vietnam (30x.

applicative | 11 days ago | on: Iran unleashes Shahed drones aimed at targets across Middle East

It's the Persian Empire, a titanic object, with an advanced civilization, quality scientific culture and a highly educated population (.... in the Persian-Azeri core, not the brutalized ethnic periphery). There are sanctions, but relations with Russia and China make up for the few inputs that the sheer extent of the Persian empire cannot yield. (Israel is a bit over 1% its size and mostly intractable desert but has more convenient external supply.)

The ingenuity is kind of astonishing, there is something of a mad febrile energy to it. Thus Houthi and Hamas mostly did not need external supply chains for rocketry etc.: a complete industrial chain could be devised in Iran and deployed on site. Part of it seems to be that a chief objective of design is minimizing what seems to us as inevitable external supply chain dependencies.

The product is indeed largely replication of external industry: as I understand, they seem to have done a lot of reverse engineering of enemy drones. But none of these can bee too much like the shahed, I think, as is evidenced by the fact that Uncle Sam has reverse engineered versions in production and appearing in the Gulf now.

Similarly, I suppose, the Chinese AIs that to some extent mirror US AIs, but on the cheap and with way less computing power, will be replicated in US.

applicative | 3 years ago | on: OCaml 5.0 Multicore is out

The community burned me in the end - fortunately a little committee took over my libraries when I left in a rage at some of its truly insufferable vindictive self appointed leaders. I think this comes and goes and the main body of users is tirelessly helpful.

But the rest of this is nonsense. The compiler is a flat out miracle, a monument to human understanding, and produces unbelievably fast programs given the weird and wonderful abstract material one hands to it.

applicative | 3 years ago | on: Twitter suspends pg's account [fixed]

I have no experience with content moderation but thought that the bureaucracy Twitter had in place was really a response to genuine market imperatives. I mean, remember the site was a leading recruitment site for foreign Isis fighters, to give an extreme example. The Elonites and the resurfaced 4chan types have this picture of faceless ‘woke’ elites who came from nowhere but the general elite miasma —- and sensibly cast aside by free speech Musk. But in fact it was a gruesome business and technical problem; in the end it will only end up being reproduced.

applicative | 11 years ago | on: Teaching Is Not a Business

And this is why charter schools are such a sterling success? This is why West European schools are uniformly catastrophic wastelands compared to ours? -- This experiment has already been run repeatedly, there is nothing in it at all.

applicative | 12 years ago | on: Why the world needs Haskell

Here's another definition -- by continuation -- from Hug's Prelude (http://cpansearch.perl.org/src/AUTRIJUS/Language-Haskell-0.0...) :

    newtype IO a = IO ((a -> IOResult) -> IOResult)

    data IOResult 
      = Hugs_ExitWith    Int
      | Hugs_Catch       IOResult (Exception -> IOResult) (Obj -> IOResult)
      | Hugs_ForkThread  IOResult IOResult
      | Hugs_DeadThread
      | Hugs_YieldThread IOResult
      | Hugs_Return      Obj
      | Hugs_BlockThread (Obj -> IOResult) ((Obj -> IOResult) -> IOResult)

applicative | 13 years ago | on: Bayes' rule in Haskell (2007)

It's unimportant, but the recently reintroduced 'monad comprehensions' bring out some nice features of this approach:

      fluStatusGivenPositiveTest = [fluStatus | fluStatus <- percentWithFlu 10
                                              , testResult <- testRate fluStatus
                                              , testResult == Pos]
        where testRate Flu     = percentPositive 70
              testRate Healthy = percentPositive 10

applicative | 13 years ago | on: When Haskell Is Not faster than C

You aren't speaking to the principal point in the post Peaker links, which is accepted by Harper in the notes "As you know, in the eager world we tend to write out our own recursive functions, rather than use combinators", which is of course all any anyone cares about; with explicit recursion the user's IQ falls 50 points immediately. The whole discussion presupposes a mechanism for 'opting out' of default strictness or default laziness, which exists in many languages.

applicative | 13 years ago | on: Haskell in Production: The good, the bad, and the ugly

I found that if you go away from those 'core' libraries, quality drops sharply. Giving just one example may be unfair, but I do it anyways: the readline bindings (haskeline) didn't build on OS X for 2 major releases straight.

Haskeline is not bindings to readline or editline, but pure haskell. It does use libiconv, which is a chamber of horrors on OS X, and the source of your problems. But if you were using ghci you were using haskeline, so it wasn't that it couldn't be built. It is an extremely high quality library -- surprisingly, or perhaps not surprisingly, considering that it was written by a mathematician.

applicative | 13 years ago | on: Gitit is a wiki backed by a git, darcs, or mercurial filestore.

The haskell-platform package, in every form and version on every platform also contains a cabal binary, see https://admin.fedoraproject.org/community/?package=haskell-p... to see this in fedora. Some of the advice you got here was I think not good because you pretty clearly affirm that you installed the fedora Haskell Platform. On #haskell this could all have been debugged in seconds after the difficulty first appeared.

applicative | 13 years ago | on: Gitit is a wiki backed by a git, darcs, or mercurial filestore.

I'm not sure that it's the wrong Haskell-Platform, nandemo's remark entails that it isnt. The naive installation would have been `yum install haskell-platform` or whatever, then `cabal update && cabal install gitit` I think you are getting bad advice because this is a completely inappropriate venue and people are having to make judgments on too little information; almost all such problems can be cleared up in 3-4 min on #haskell

You may be right about Perl &co but I invite you to look at my gem installation...

applicative | 13 years ago | on: Gitit is a wiki backed by a git, darcs, or mercurial filestore.

This is puzzling. Did something instruct you that you needed to re-install cabal-install? You would already have had a copy as part of the Haskell Platform. You also already had `old-time` since it's part of the Haskell Platform too. Maybe something was overwritten in the `yum -y cabal-install`? There are several possibilities. It bugs me in any case that yum wasn't warning you that it had already installed `cabal-install`.

It is probably something very simple but would be much easier to figure out in real time, e.g. on the #haskell irc channel which generally handles such difficulties promptly. E.g. does a look at `ghc-pkg list` and `ghc-pkg check` suggest that something was broken?

(By the way, the comparison with Ruby and Python and Perl and Node is not that great; cabal is as much, or more, like `make` than `gem`, managing compilation, linking etc.; one uses it all the time locally where distribution is not in question; it looks like that is the aspect that you are bumping into.)

applicative | 13 years ago | on: Confession of a Haskell Hacker

It doesn't affect your objection to MaleKitten but not all types are occupied in Haskell. You are thinking of kind * By contrast,

    {-#LANGUAGE DataKinds#-}
    a :: 'Nothing
    a = a
and

    {-#LANGUAGE MagicHash#-}
    import GHC.Prim
    a :: Int#
    a = a
don't typecheck, though I cant say I understand the ins and outs of the latter.

applicative | 14 years ago | on: TextMate 2 (Public) Alpha

Yes, exactly, what are called plugins in Sublime Text jargon can only be written in Python. Thus for example, the illustrations of things you can do with the exciting plugin facility -- duplicating the selected text, or encoding the selected text with rot13 -- involve composing things in Python, of all things, else you are completely disabled.
page 1