HackerTrans
TopNewTrendsCommentsPastAskShowJobs

scott_meyer

no profile record

comments

scott_meyer
·2 bulan yang lalu·discuss
Proof by contradiction requires finding a single contradiction. Practical utility just requires that contradiction be infrequent enough.
scott_meyer
·tahun lalu·discuss
Layoffs are not about cost, they are about power. The economic result is just confirmation.

A large company in actual financial distress will sell off a division.
scott_meyer
·3 tahun yang lalu·discuss
Two things:

1. You have given up on any sort of consistency. 2. The database implementation will never be able to optimize a lookup workload which is pretty close to pessimal. Not caring about 99% is only viable if can actually avoid the other 1%.
scott_meyer
·3 tahun yang lalu·discuss
what is a document? How is an ORANUM or a bignum not a document?

One motivation for creating documents is that modeling document contents as relations requires the creation of a bunch of primary keys which no natural definition. A simple document might be an ordered collection of paragraphs, [p23, p57, ...]

Modifying such things is difficult. In fact, the most effective way of structuring modification seems to be OTs based on document offsets. What Google docs does.