arc0

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.

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.

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.

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.

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

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

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).

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.

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.

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?

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.

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/

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.

Who is the house, in this case?

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

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

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.

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.

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.

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.

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.

It's absolutely not true, these companies have tens of thousands of developers, there aren't enough graduates from top universities for that to be the bar. That was maybe the case 15 years ago.

He streams on Youtube/Twitch fairly regularly, just from watching it is totally obvious that he is a genius-level programmer. The speed with which he reads and comprehends academic papers is incredibly impressive.

I think that's kind of a malformed sentence. Programs themselves do not suffer or not suffer from the halting problem, it is only a problem when considering the space of all programs.

What part of Turing's proof do you find unconvincing?

The busy beaver function assumes infinite memory, it is defined as a function of the number of states of the Turing machine (in a programming language this is program size). If it was memory then it would not be an undecidable sequence.