arc0

no profile record

comments

6 anni fadiscuss

Never heard RenTec described that way, the only information that seems to be out there is that they use much simpler algorithmic techniques than people imagine, mainly just linear regression. Whatever unique insight they have, it's more likely to be based on pure mathematics than cutting edge algorithms theory. Also, they were not the first quant fund.

6 anni fadiscuss

The whole "you can't use the past to predict the future" thing goes both ways. It's pretty poor form to give unwarranted investment advice based on ignoring one of the few steadfast principles in finance.

6 anni fadiscuss

Wasn't Tolkien a lifelong, devout Catholic, who himself inspired Lewis's conversion to Christianity? I don't think it was a gulf between them.

Tolkien famously rejected the Vatican II reformations, and continued to respond to the priest in mass in Latin, rather than the vernacular.

6 anni fadiscuss

Unlikely, given the insane growth of Bitcoin. If you invested a million dollars equally across a thousand schemes ($1000 each), with one of those being Bitcoin at $1, and then everything but Bitcoin failed, you'd be up almost 19 million dollars.

Same principle as a lot of VC, if you invest in fifty failed startups and one Facebook, you win.

6 anni fadiscuss

Is WhatsApp a profitable business on its own? What happens if they are forced to spin out and then go bankrupt?

6 anni fadiscuss

Are German bankers paid that much more than British bankers then?

6 anni fadiscuss

How much is $120B relative to the total assets held in the UK by Morgan Stanley? The number of jobs which have been moved out of London seems relatively small (7500 across the entire financial sector, single companies in London employee more than that).

6 anni fadiscuss

It seems to have become quite bad with people too. I think it's been overloaded and has too many things to consider now. I tried to get it to guess George VI, and despite telling it he was dead for over 20 years it asked me if he had over 100,000 subscribers or had 'collaborated with Shawn Mendes', this was within the first 15 questions.

6 anni fadiscuss

I've noticed a shift in the last decade or so from self deprecating to self loathing. People seem loath to admit that we are one of the richest, most privileged, most developed countries in the world.

6 anni fadiscuss

I split time between a major world city and a small (10k population) town. Both have many independent businesses. Where do you live that this is not the case?

6 anni fadiscuss

Why not just engage in this conversation in good faith? It's very unbecoming to act as if you're a neutral party who can't understand tech jargon, then drop a dense paragraph about TCP/UDP to back up your point.

6 anni fadiscuss

Yes. Haskell is used by many companies, from small startups to hundred billion dollar corporations.

Fighting spam with Haskell -- https://engineering.fb.com/2015/06/26/security/fighting-spam...

The Joy and Agony of Haskell in Production -- https://www.stephendiehl.com/posts/production.html

Haskell in Production: Riskbook -- https://serokell.io/blog/haskell-in-industry-riskbook

Haskell at Barclays (talk, not an article) -- https://www.infoq.com/presentations/haskell-barclays/

6 anni fadiscuss

Not really, it definitely assumes some background with Haskell, but it's far from 'veteran' level. All of the code samples except for the very last section only use elementary concepts.

6 anni fadiscuss

Who is the house, in this case?

6 anni fadiscuss

Deno[0] supports running TypeScript without needing to compile it to JS.

[0] -- https://deno.land/

6 anni fadiscuss

Facebook already pays people with the exact same credentials 1/3 in London what they would in California, despite London being similarly expensive. These companies do not pay anyone solely based on the work they produce, it has never and probably will never work that way.

6 anni fadiscuss

Gödel's proof does not apply to any single axiomatic system, it applies to any computable set of axioms that can talk about numbers, quantifiers, addition and multiplication. This isn't arbitrary, it's a set of properties required for just about any interesting mathematics to take place.

The formulae are accepted because Gödel gives us a mapping, he proves that we can convert any formula into a number without losing information.

6 anni fadiscuss

To me it read as though the author cleverly worded it as 'he could do something like this' to separate Frege's idea (theory of sets) from the specific example.

6 anni fadiscuss

The conversion of formulae to Gödel numbers is basically an implementation detail, the fact it can be done allows us to define theorems on the natural numbers that describe properties of the logical system. Encoding an invalid formula is of course possible, but I don't see why that would be a problem, it doesn't inherently 'prove' anything.

6 anni fadiscuss

No it's not, the creator of Homebrew has nowhere near the clout of Van Rossum or Thompson. I don't think it's a big enough or technically complex enough project that its author should expect to skip the standard interview procedure, whereas the creators of Python and C absolutely should.