I would rather speak to this man than anyone reading anything AI-written

The original paper then quickly becomes super convoluted by continuing to explain the algorithm by overextending that allegory. By the mid point of it I felt pretty exhausted.

It was then I learnt that the original paper was lying in limbo for nearly a decade until it was finally published.

Then at a conference, Lamport got tired of people telling him his original was difficult to grasp and so came this simplified explanation.

I still have my notes on the paper somewhere in my Obsidian. I should publish those.

Apart from the obvious reasons about the DP soundtrack and the visuals, I love the theme of chasing perfection and the way it backfires.

Kevin Flynn says to CLU in the end "The thing about perfection, is that it's unknowable. You don't know that because I didn't know it when I created you" and I love the fact that it says how we can put our best and our worst into what we create. That we're not just responsible for lifeless machines, that it's more than that. And it's a hauntingly beautiful thought.

Steve really had product presentations down. I wish people at least tried to copy him.

A recent favorite of mine is this one. Timestamp starts at the final submission being reviewed: https://youtu.be/DxEKF0cuEzc?si=mqE_2vpKDBsMWlKW&t=557

These days the official website redirects to their YouTube channel which I feel is very sad. There used to be places for kids on the internet, now everything is heading towards major platforms which I honestly feel is going to be damaging the youth in the long term.

https://docs.renovatebot.com/

Warp is the only closed source terminal product I know of. Most other popular terminal emulators are open source already.

I feel like their funding is drying up and this is their last ditch effort to have the "community" build their product for them.

They claim agents will run the show, with inputs from community in the form of ideas/specs/direction. I wonder how long that will be sustainable for given the subsidized model prices are collapsing as we speak.

Is this an attempt to pivot to something else while the "community" keeps their first product alive? Maybe I'm being too cynical here, but I don't see this as an act of good faith, especially given their roots in VC funding.

I know... all content has to be served via a "server" but in case of OVH it's a full-blown hosting solution isn't it?

Besides, I'm sure GitHub wouldn't mind supporting Pandas documentation. They do it for a million other projects for free (even though they're not popular among the HN crowd these days)

His books are more plot driven and the characters are pretty flat, but it's so damn fun to read through!

Morgan Freeman has been trying to get the movie adaptation made since early 2000s and wants to play Commander Norton. I had read that Denis Villenueve (the same director from the new Dune movies) was attached to direct the adaptation, but it seems like his schedule is really busy. He recently finished filming Dune Messiah and then he's got the next James Bond movie to deliver.

Obviously, if this is true, the team at GitHub is failing to scale their infra to meet the workload demands.