Hacker News Reader

bazoom42on Project Valhalla, Explained: How a Decade of Work Arrives in JDK 28

What do you like about Java compared to C#?

Not which works under the same constraints as the web.

But for simpler scenarios (like fixed-sized paper, desktop displays before super-wide screens), you can have both simpler and more precise layout systems.

bazoom42on The Cypherpunk Library

This is fascinating. Do you enjoy music?

bazoom42on Martin Scorsese Is Embracing A.I.

There is no actor shortage.

bazoom42on Gustav Klimt and Egon Schiele in Conversation (2018)

A litmus-test in what way?

bazoom42on Algebraic Effects for the Rest of Us

How can it be statically typed in JavaScript?

bazoom42on Algebraic Effects for the Rest of Us

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?

bazoom42on Iliad fragment found in Roman-era mummy

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 in antiquity.

bazoom42on Iliad fragment found in Roman-era mummy

What historical monuments are you referring to?

bazoom42on Archaeologists find Egyptian mummy buried with the 'Iliad'

If you genuinely believe every actor should be Greek or Anatolian, that would be a fair and consistent position.

bazoom42on Archaeologists find Egyptian mummy buried with the 'Iliad'

Is it also patronizing towards Americans to have Brad Pitt play Achilles?

bazoom42on England Runestones

> 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?

bazoom42on If AI writes your code, why use Python?

The comment I replied to stated brackets helped them more than indentation.

bazoom42on If AI writes your code, why use Python?

So you would find bracketed code without any use of indentation easier to read than python?

bazoom42on If AI writes your code, why use Python?

> 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.

bazoom42on If AI writes your code, why use Python?

For larger systems you create your own modules and abstractions, so comprehensibility at higher level does not depend so much on the language.

bazoom42on If AI writes your code, why use Python?

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 boilerplate means more readable code.

bazoom42on Pinocchio is weirder than you remembered

But Grimms tales and 1001 night were not originally childrens stories. They were entertainment for adults.

bazoom42on Monad Tutorials Timeline

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.

bazoom42on Monad Tutorials Timeline

Nope. For example lists are monads, but doesn’t have anything to do with side-effects.

Monads are just a pattern for chaining functions.

bazoom42on Columnar Storage Is Normalization

Not exactly. It is 6th normal form.

bazoom42on Columnar Storage Is Normalization

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.

bazoom42on Columnar Storage Is Normalization

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.

bazoom42on It is incorrect to "normalize" // in HTTP URL paths

Why?

bazoom42on It is incorrect to "normalize" // in HTTP URL paths

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.

bazoom42on What have been the greatest intellectual achievements? (2017)

The idea that history is driven by material conditions.

bazoom42on What Gödel Discovered (2020)

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 represent an arbitrary-length string of symbols as a single integer which allows you to manipulate it using Peano arithmetic.

But it is not like Gödel invented binary as you seem to suggest. Baudot code (a 5-bit character encoding) was in use in 1870’s.

In any case, Gödel-numbering is the least interesting part of the the theorem. The groundbreaking idea is creating statements about theorems.

bazoom42on What Gödel Discovered (2020)

> 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.

bazoom42on What Gödel Discovered (2020)

So what do you believe can be modeled in a formal language?

bazoom42on What Gödel Discovered (2020)

Gödel did not invent encoding. Morse was widely used before Gödel.