did the formal proofs for the haskell compiler stop bugs from happening?

Samaritan snare. It's also the one where Picard gets his heart fixed.

There’s two when that happens.

One where the season 2 doctor replaced Crusher (because apparently the producers didn’t like Gates McFadden even though the cast and viewers did) performed the operation.

And another where Q sent Picard back in time (kind of) to undo the incident that lead to his heart getting stabbed.

The latter episode hasn’t aged well because of one unnecessary romantic/sex scene. Which is a pity because it’s an otherwise fantastic episode.

But then the TOS has its fair share of cringeworthy moments for modern audiences that made total sense in the era it was aired.

> The latter episode hasn’t aged well because of one unnecessary romantic/sex scene.

Meh. I give huge passes for media based on when they were filmed. Stuff that doesn't age well is mostly just "well, it was ok at the time" and move on. TNG has very little in it that isn't really timeless.

Now, for stuff that was bad even for the time, that's the stuff that should rightly be condemned. For example, Code of Honor.

> The latter episode hasn’t aged well because of one unnecessary romantic/sex scene

Not trying to be intentionally obtuse but — what is this referring to? I watched this episode recently and it seemed fine.

It's literally the best episode. The fact he hooked up with Marta given a second chance fits entirely with the story.

I assume the problem is that IRL Patrick Stewart was much older than the actress portraying his classmate so when they kiss (passionately) on screen it is rape (age gaps are bad). The sex is implied because they cut to commercial during the kiss then Picard wakes up in bed (topless) with Q.

Why is the post and the times in the same hacker news post? What's the point of this.

I was mid masters for a while. Not that that matters, but it feels like you can get pretty far without much input.

Really fun tho. I had to stop myself from not playing for the rest of the day.

No please don't vibe code source control. Some things need to remind stable

Isn't this also the reason people dropped Haskell?

I can't see steve blamer's face without remembering how fun beos was in the 90s.

I used BeOS around 1999/2000 or so. I remember using R5.03, then Phosphorus and Dano. I remember tripping up with the USB stack patch. Also used Max edition and eventually Zeta. It was a lot of fun while it lasted. But I don't think I have the desire to step into the Haiku realm. Too much time has passed.

You should.

It's more complete and has loads of apps now. It fixes the main problems BeOS had.

This is great. I have a weird system layout (192gb system ram, 8gb vram). the mixture of experts models have been nice when i can run the dense reasoning layers on the gpu (which somehow fit?!) and then the expert on the cpu.

its worked out to to 40 tokens/seconds on their 80b-a3b model. we'll see how much of a hit this is.

robotic probes on mars could run science experiments and report results on their own.

pacemakers could do deep analysis of heart signals and report problems.