HNHacker News
TopNewBestAskShowJobs

TypesWillSaveUs

50 karma · joined June 22, 2023

submissionscomments
TypesWillSaveUs··on System Card: Claude Mythos Preview [pdf]
Describing providing a highly valuable service for money as `rent seeking` is pretty wild.
TypesWillSaveUs··on Apple M5 chip
You can disable SIP and even disable immutable kernel text, load arbitrary drivers, enable/disable any feature, remove any system daemon, use any restricted entitlements. The entire security model of macOS can be toggled off (csrutil from recoveryOS).
TypesWillSaveUs··on Windows 11 Insider Preview Build 25905 brings a bit of Rust in the kernel
You're conflating hard/easy and complex/simple.

Rust is hard/simple. The rules aren't complex. The constructs aren't complex. But it's hard to write because the rules are very restrictive.

Rust is also much easier to read than write (for a reader who understands the rules).

It's optimising for exactly the things you want in systems programming:

Easier to read than the write. Simple rules that are easy to understand but hard to follow, and that produce simple programs.

Compare that to C which is easy/complex. It's much easier to write than to read. It's easy to learn and write but produces code that's very complex. The rules are all by convention instead of part of the type system.

TypesWillSaveUs··on Top secret U.S. Navy system heard titan implosion days ago
When you compress all the gas in a volume quickly it gets very hot. This is how a Diesel engine works.