layer8

(2018) Major previous discussions: 110 comments: https://news.ycombinator.com/item?id=17637375 130 comments: https://news.ycombinator.com/item?id=24951130 180 comment…

Falsehoods programmers believe about strings: All strings are words. More seriously: While I find the topic appropriate for HN, connecting the topicality to the use of strings in IT is weird. If the b…

They are the same place, you’re supposed to compare using the slider. What bothers me more is that the left and right images seem to have a different color temperature.

Indeed, but there is a significant latency between the climate changing and minds changing.

The current El Niño hasn’t “hit” in Europe yet. Its effects in Europe will most likely be felt in the first quarter of 2027. I’d assumed that’s what the parent was referring to.

It’s becoming less, but the formerly widespread traditional view in Europe was that using AC is a frivolous waste of energy that contributes to environmental pollution and global warming.

I think he’s presenting it as the shortcoming of not caring.

Until Trump tweets it by mistake.

It might result in his address and birth date being added to the entry on the Entity List, now that the authorities have gained knowledge of that additional information. ;)

Aside from the fact the entry in question was added to the list almost two decades ago, it’s naive to assume that people would only be put on these lists if they have a verified identity number. If th…

Firefox has 8-9% desktop market share in Europe, 16-18% in Germany. So in some important markets it’s still pretty relevant.

Selling you a subscription for slices of toast in individual cartridges for their toasting hardware?

The is latters.

The RAM shortage situation won’t be sorted out within the next year.

There are a over a dozen EU open-weight providers. I’m not sure if they are even charging that much of an extra. EU-based clients have little reason to use non-EU inference providers.

Nagel & Newman is much better if you find GEB a slog (which was also my experience). However, Gödel’s theorem is fundamentally due to self reference. But so is the fact that the power set of cou…

You have to overstand before you can overwalk.

Aryan National Standards Institute?

You’d have to define what you mean by “existence” here. Clearly, there are infinite sets we can represent with a finite sequence of symbols. We can also imagine and reason about alternative universes …

> the human's intention needs to be formally specified Yes, that has always been the case with formal proofs. Even a mathematical proof with Lean is useless if the proven formal statement does…

I see. It’s not clear how it would interact with operator precedence, however. For example, what would a * . b + c . + d * e do?

The concept of multiple copies in multiple locations already existed when backups on CD-R were common, so 20+ years ago. The “2” in the 3-2-1 rule refers to using different physical storage media and …

Purple is just colors #101. ;)

The key value is that it’s a visual tool with native usability affordances addressing the needs of novices as well as power users — we have too few of such tools.

Russell’s types aren’t really the same notion as types in programming: https://planetmath.org/russellstheoryoftypes …

In what way do you think this is useful over parentheses?

The article is about Russell and Whitehead’s Principia, not Newton’s.