Viewing profile — 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 …

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 steadfas…

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…

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 ever…

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 enti…

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 i…

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 cou…

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…

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/fig…

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 conc…

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 anyon…

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 …

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 propert…

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 sho…

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 …

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…

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 progra…

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 …