fydorm

no profile record

comments

vorige maanddiscuss

All of the things you described ARE "it". They're part of the Disney Parks "product". If they were to remove or change that active effort, that could be considered "ruining it". But continuing to operate in a way they've found delights their customers is exactly what Seth is arguing for, not a violation of it.

3 maanden geledendiscuss

They didn't just drop cache. They elided thinking blocks even if you recache. That permanently degraded the model output for the rest of the session, even ignoring the bug, if you waited 60 minutes instead of 59.

3 maanden geledendiscuss

Add this to your `settings.json`:

"showClearContextOnPlanAccept": true,

5 maanden geledendiscuss

I noticed today that even with less sleep, I'm more energized than usual when I stayed up late but not consuming information.

vorig jaardiscuss

Lifting weights

vorig jaardiscuss

Wow, I just read the original Sudoku post by Norvig yesterday for the first time, and now today this shows up here!

vorig jaardiscuss

We have it already: https://github.com/microsoft/pyright

vorig jaardiscuss

Flake8 and Black would never have matched the performance of a Rust-based tool, even if they had 10 years of dedicated focus.

2 jaar geledendiscuss

Why would the replacement name you suggested be better than the actual name?

2 jaar geledendiscuss

You can play Pokémon Red but not save your game, because the batteries inside the game cartridge are dead.

2 jaar geledendiscuss

I've had this as well. When I'm really tired, I can wake up then fall asleep and resume my dream.

2 jaar geledendiscuss

This is a good thing to do, but not really the point of the article.

2 jaar geledendiscuss

Why include mypy at all? Pyright is amazing and all you need.

2 jaar geledendiscuss

Have you tried Pyright? It made me actually enjoy Python development.

2 jaar geledendiscuss

It's so much faster, it's night and day.

3 jaar geledendiscuss

Did you use those AI capabilities to compose this message, or just regular ChatGPT?

3 jaar geledendiscuss

Which terms are you referring to? If you aren't familiar with "CI/CD", then this article really isn't for you, as you haven't run into the problems this startup is trying to solve.