GoblinSlayer's comments

On: Noether's Theorem Revolutionized Physics

[GoblinSlayer]

It's for people who know about conservation laws and think they are fundamental and somehow unvariable.

On: U.K. orders Apple to let it spy on users’ encrypte...

[GoblinSlayer]

They can send encrypted PGP messages, e2e was figured out in 1991.

On: It is time to standardize principles and practices...

[GoblinSlayer]

A rewrite isn't strictly necessary. It should be enough if AI can find errors, doesn't even need to be very precise.

On: It is time to standardize principles and practices...

[GoblinSlayer]

Because it's micromanagement.

[nextn → GoblinSlayer]

Micromanagement how?

On: It is time to standardize principles and practices...

[GoblinSlayer]

The word is C++ performance comes from asm-like simd integration that can be not as mature in other languages.

On: It is time to standardize principles and practices...

[GoblinSlayer]

Visual C++ supports LTO: https://learn.microsoft.com/en-us/cpp/build/reference/gl-who...

On: It is time to standardize principles and practices...

[GoblinSlayer]

I suspect seL4 could be proven correct only because it uses simple lifetime patterns.

On: It is time to standardize principles and practices...

[GoblinSlayer]

Implying documentation exists. You're supposed to read the code, not man pages.

On: It is time to standardize principles and practices...

[GoblinSlayer]

If you can run a shell command, it can do basically anything you want.

[tialaramex → GoblinSlayer]

Sure, in a general purpose language, like Java, or Rust, or C++ you can indeed do "basically anything you want" that's why it's called general purpose, your purpose might be to run arbitrary code you found on the Internet, so, that's a thing you can do. If you can't it's not general purpose.

In a number of applications this means you do not actually want a general purpose language which is why WUFFS makes sense.

But, even when you don't have that constraint it's reasonable to ask: How easy was it to make a thing you didn't intend, by accident ?

On: It is time to standardize principles and practices...

[GoblinSlayer]

Is it a big difference if you have ValueNotPresentException from nullable unwrap instead of NullPointerException?

Oh, wait, it exists https://docs.oracle.com/javase/8/docs/api/java/util/Optional...

[edflsafoiewq → GoblinSlayer]

The problem is basically every type is implicitly Optional and basically every operation implicitly unwraps, instead of only the cases where nullability is actually desired.

[swiftcoder → GoblinSlayer]

The big difference is that Optional has ergonomic features like .map(), .ifPresent(), .orElse(), that reduce the verbosity of repeated if blocks checking if values are present or not.