HN user

thwd

242 karma
Posts0
Comments89
View on HN
No posts found.

Well, I can't speak for you, of course. I also haven't seen that code you reviewed. And I won't try to evangelize you. I'd say, in a nutshell, that Go is readable and reviewable because its grammar consists of the C-style basis that most every imperative language has, and not much more. It's the lack of features that makes it very 'WYSIWYG'.

Merging as a one-keyword feature for all flavors of SQL is almost impossible.

It gets hairy when you have columns with composite types. E.g. depending on database, records can be JSON objects, protobufs, structs, or other composite types, like tuples.

It is possible to define semantics to merge each of these, but they vary and the merge operation becomes verbose to allow to handle each weirdness of each of these underlying types.

Merging is also sensitive to NULL vs 0 vs a DEFAULT, plus in some databases, NULL is still allowed even when a column is marked NOT NULL.

You'd almost need a sub-language for the merging operation, specifying how to handle each corner case.

Some databases like ArangoDB (https://www.arangodb.com/) allow you to use Javascript instead of SQL.

However, using a type-unsafe (read weak typing), turing-complete language introduces the usual problems we know and love, such as infinite loops, runtime type errors, exceptions, and the like.

Personally, I'm looking forward to a WASM runtime for databases -- so we can run webassembly on the database. This COULD be carefully designed to be statically checked and, possibly, make it really hard to write runaway loops.

Gravity is infinite at the singularity (the middle of the black hole). Everything gravitates towards that point. Our best understanding is that no information can exist here.

Black holes "evaporate" over time -- by emitting Hawking radiation. This is probably where the information goes, in my layman understanding.

Go solves 99% of the problem quite nicely. You don't often deref pointers in Go, because of auto-addressing. E.g. there's no arrow operator as in C, the dot derefs when necessary.

I would say `v := (p.)` could've been the deref operator, but what do I know.

I understand and agree but read carefully. The assumption _is_ the (entire) hypothesis. It is not existentially quantified or set in the base-case. It is the entire hypothesis.

We will show, by induction, that [for all sets] of n horses, every horse in [each] set has the same color.

Now [assume that] for all sets of n horses, every horse in [each] set has the same color.

QED.

This is just tautology. No further analysis needed, really.

(If your proof includes your hypothesis as an assumption, then it must be a proof by contradiction.)

EDIT: Before you refute, read again carefully. The assumption _is_ the hypothesis. It is not existentially quantified or set in the base case. It is the entire, universally quantified hypothesis.

That's only if you equate the recruiter to a minimum wage worker and yourself to their customer. There's a superiority bias in that rhetoric. The recruiter is a well-employed tech worker. And you're not their client or superior.

You have a box with random garbage in it. I have a box with a football in it. We entangle the football and the garbage. You stand far away from me. If you randomly open your box now, you may either see a football or random garbage. If I call you on the phone (classically) and tell you to open the box tonight at precisely 8:12pm, you're guaranteed to find a football then and hence, I will have the garbage.

There's no parsing; it's all or nothing.

Good prose often involves misdirection. Making the reader believe something to be one way, while it was something else all along. Then, in a built up climax, undo the knot in a single pull to blow the reader's mind. That, to me, is the antithesis of the article's argument.

They're saying that both of those expressions are valid, not equivalent.

SELECT count(star) FROM table

and

SELECT star FROM table

Are both valid, not equivalent.

Furthermore, listing any kind of set depends on some ordering, be it random.

Array-indexing in C and C++ _is_ pointer arithmetic! It's syntactic sugar. Array-indexing in safe languages is bound checked iff the compiler can't prove the index value to always be in-bounds.

HTTP/2 is only necessary if you want to stream, most of gRPC can be implemented over traditional request/response cycles.

This! Nobody that uses Tether wants it to be more or less than exactly 1 USD. Its value (its utility, its function) is to equal 1 USD. Anyone placing an order way above or below 1 USD can expect it to never fille and even if it did, the market would correct immediately because it is in the interest of the majority to be tethered to the dollar.