Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
bazoom42
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
6 ms
·
61.
▲
by
bazoom42
5mo ago
There is no actor shortage.
62.
▲
by
bazoom42
5mo ago
A litmus-test in what way?
63.
▲
by
bazoom42
5mo ago
How can it be statically typed in JavaScript?
64.
▲
by
bazoom42
5mo ago
So this looks like dynamically scoped callbacks. Instead of passing callbacks along as parameters they are declared as “handlers”, and any function down the call stack can invoke them. Is this a correct understanding?
65.
▲
by
bazoom42
5mo ago
Are you aware this is from the Roman era, more than a 1000 years after Achilles supposedly lived? Also, this does not particularly look like Brad Pitt. If you are referring to the greyish color of the marble, be aware statues were painted i
66.
▲
by
bazoom42
5mo ago
What historical monuments are you referring to?
67.
▲
by
bazoom42
5mo ago
If you genuinely believe every actor should be Greek or Anatolian, that would be a fair and consistent position.
68.
▲
by
bazoom42
5mo ago
Is it also patronizing towards Americans to have Brad Pitt play Achilles?
69.
▲
by
bazoom42
5mo ago
> But at first the politically expedient religion was just a performance, I guess, until later on they started to mean it. Why do you think so?
70.
▲
by
bazoom42
5mo ago
The comment I replied to stated brackets helped them more than indentation.
71.
▲
by
bazoom42
5mo ago
So you would find bracketed code without any use of indentation easier to read than python?
72.
▲
by
bazoom42
5mo ago
> if overly shortened are hard to decipher especially if you don't use or read python on a regular basis. Sure, but this is the case for any language.
73.
▲
by
bazoom42
5mo ago
For larger systems you create your own modules and abstractions, so comprehensibility at higher level does not depend so much on the language.
74.
▲
by
bazoom42
5mo ago
C# is also a great language, but notice how it have been moving closer to Pyhon-style syntax. E.g. now you can initialize a list like [a, b, c]. They wouldn’t add that syntax if they didnt think it was an improvement. Less ceremony and boil
75.
▲
by
bazoom42
5mo ago
But Grimms tales and 1001 night were not originally childrens stories. They were entertainment for adults.
76.
▲
by
bazoom42
6mo ago
Many languages have monads “by accident”, e.g JavaScript by way of Array.flatMap() - but the fact this type happen to satisfy the monad rules is not particularly useful.
77.
▲
by
bazoom42
6mo ago
Nope. For example lists are monads, but doesn’t have anything to do with side-effects. Monads are just a pattern for chaining functions.
78.
▲
by
bazoom42
6mo ago
Not exactly. It is 6th normal form.
79.
▲
by
bazoom42
6mo ago
The purpose of normalization is not to save storage. In fact it might often require more storage, since it involves introducing a foreign-key column. It really depends on the data in question whether it saves storage or require more.
80.
▲
by
bazoom42
6mo ago
This is usually the case when talking about normalization in the contex of relational databases (2nd normal form, 3rd normal form etc.). But normalization really just means to bring data into some standardized form.
81.
▲
by
bazoom42
6mo ago
Why?
82.
▲
by
bazoom42
6mo ago
If different clients does it differently, you have incompatibilies. This punishes everybody. Since normalizing // to / removes information which may be significant, the obviously correct choice is folllowing the spec.
83.
▲
by
bazoom42
6mo ago
The idea that history is driven by material conditions.
84.
▲
by
bazoom42
6mo ago
Of course you can encode self-references in morse code, how could morse prevent that? Just use the same lisp syntax as in the article and then encode using morse code instead of Gödel numbering. The purpose of Gödel numbering is to represen
85.
▲
by
bazoom42
6mo ago
> Godel’s proof shows that if you attempt to formally describe something there’s either an inconsistency or it’s incomplete. The “something” Gödels proof talks about is axiomatic systems. It doesn’t talk about physical objects.
86.
▲
by
bazoom42
6mo ago
So what do you believe can be modeled in a formal language?
87.
▲
by
bazoom42
7mo ago
Gödel did not invent encoding. Morse was widely used before Gödel.
88.
▲
by
bazoom42
7mo ago
So would it be just as correct to use an electrical circuit as example, i.e. before Principia it was not believed possible to model an electrical circuit in a formal language?
89.
▲
by
bazoom42
7mo ago
The article use “describing the behavior of a dog” as something people began to think was possible because of Principia. This is what I don’t get. Was this thought impossible before Principia? On what grounds? What about describing an elect
90.
▲
by
bazoom42
7mo ago
I’m confused by this jump to the natural world: > could you encode in pure logic how a dog behaves Assuming we knew enough about how a dog behaves (or less ambitiously, a more primitive organism) I would assume this could be described in
More ›