arc0

5 ms·

1.
by arc0 6y ago
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 mor
2.
by arc0 6y ago
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.
3.
by arc0 6y ago
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
4.
by arc0 6y ago
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 millio
5.
by arc0 6y ago
Is WhatsApp a profitable business on its own? What happens if they are forced to spin out and then go bankrupt?
6.
by arc0 6y ago
Are German bankers paid that much more than British bankers then?
7.
by arc0 6y ago
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 mor
8.
by arc0 6y ago
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 o
9.
by arc0 6y ago
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.
10.
by arc0 6y ago
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?
11.
by arc0 6y ago
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.
12.
by arc0 6y ago
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 a
13.
by arc0 6y ago
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.
14.
by arc0 6y ago
Who is the house, in this case?
15.
by arc0 6y ago
Deno[0] supports running TypeScript without needing to compile it to JS. [0] -- https://deno.land/
16.
by arc0 6y ago
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 a
17.
by arc0 6y ago
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 req
18.
by arc0 6y ago
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.
19.
by arc0 6y ago
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
20.
by arc0 6y ago
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 pro
21.
by arc0 6y ago
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.
22.
by arc0 6y 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.
23.
by arc0 6y ago
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.
24.
by arc0 6y ago
What part of Turing's proof do you find unconvincing?
25.
by arc0 6y ago
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.