This would be more believable if Elon paid his cloud bills.

It’s the first sentence of the article.

Clutch team killing in Rainbow Six Siege. A rare occurrence but so much adrenaline.

Hillcrest in The Last of Us 2. Never have I had so much fun trapping and hunting people down. It really brings out the psycho killer energy.

I have the same urge, but rather to be a teacher/mentor than a parent. Too bad the US doesn’t want to pay teachers what they’re worth, or I’d strongly consider a career change.

I don’t think there is a world where Linux gains significant market share AND users care what sudo is. In order for Linux to be more mainstream, those kinds of details should not be the concern of laypeople. GUIs are what average people are able to stomach.

There is actually a JS library called Planktos that can serve static websites over BitTorrent. I don’t know how good it is, but it sounds like a starting point.

https://github.com/xuset/planktos

Because they often won’t let you.

that’s a git problem, not Windows.

I use Git, and I don’t use Windows. I have no problems. Sounds like… a Windows problem?

You are never guaranteed to be able to do anything during a crash. You are better off handling these kinds of edge cases in a recovery phase during the start of your app.

Sounds kinda like the registrar’s fault?

the Rust folks wouldn’t care about the in-memory representation as long as the compilation is on point.

Well I can’t speak for everyone, but Rust is very intentional about supporting things like repr(C). At least some of us care a lot.

Nah these are the actual integer representations. Otherwise you would have Some(None) == Some(Some(None)) which is way too Javascripty for Rust folks.

Yea. I was using bottom until I saw this and did a quick side-by-side comparison (nix-shell -p btop, I use NixOS BTW). btop’s UI is just so much better.

I have a feeling you are misunderstanding what is meant by “theorems for free” here. For example, one theorem that is proven by all safe Rust programs is that they don’t have data races. That should always be a requirement for functional software. This is a more pragmatic type of automatic theorem proving that doesn’t require a direct proof from the code author. The compiler does the proof for you. Otherwise the theorem would not be “free” as stated in OP.

And a lot more bug prone. I’m just explaining the OP because people didn’t get it. I’m not saying dynamic languages are bad. I’m saying they have different trade-offs.

Yes if you use type annotations. Languages like Python and Typescript end up resorting to “Any” types a lot of the time, which breaks any kind of theorem proving you might have otherwise benefited from.

It’s making fun of dynamic languages because rather than letting the compiler prove theorems about statically typed code, they… don’t.

Was anyone else bored of this meme as soon as it started?

Next time try NixOS or use BTRFS snapshots.

I thought it was an apple fritter.