Thanks Astral team! We use Pydantic heavily, and it looks like first class support from Ty is slated for the stable release, we'd love to try it.

While we wait... what's everyone's type checking setup? We run both Pyright and Mypy... they catch different errors so we've kept both, but it feels redundant.

https://htmlpreview.github.io/?https://github.com/python/typ... suggests that Pyright is a superset, which hasn't matched our experience.

Though our analysis was ~2 years ago. Anyone with a large Python codebase successfully consolidated to just Pyright?

I appreciate the even tempered question. I’ve been using mypy since its early days, and when pyright was added to vs code I was forced to reckon with their differences. For the most part I found mypy was able to infer more accurately and flexibly. At various times I had to turn pyright off entirely because of false positives. But perhaps someone else would say that I’m leaning on weaknesses of mypy; I think I’m pretty strict but who knows. And like yourself, mine is a rather dated opinion. It used to be that every mypy release was an event, where I’d have a bunch of new errors to fix, but that lessened over the years.

I suspect pyright has caught up a lot but I turned it off again rather recently.

For what it’s worth I did give up on cursor mostly because basedpyright was very counterproductive for me.

I will say that I’ve seen a lot more vehement trash talking about mypy and gushing about pyright than vice versa for quite a few years. It doesn’t quite add up in my mind.

I’ve added ecosystem regression checks to every Python type checker and typeshed via https://github.com/hauntsaninja/mypy_primer. This helped a tonne with preventing unintended or overly burdensome regressions in mypy, so glad to hear upgrades are less of an Event for you

> I will say that I’ve seen a lot more vehement trash talking about mypy and gushing about pyright than vice versa for quite a few years. It doesn’t quite add up in my mind.

agreed! mypy's been good to us over the years.

The biggest problem we're looking to solve now is raw speed, type checking is by far the slowest part of our precommit stack which is what got us interested in Ty.

Mentioned this in another comment, but the spec conformance suite is not representative of the things users care about (nor is it meant to be).

The spec mostly concerns itself with the semantics of annotations, not diagnostics or inference. I don't really recommend using it as the basis for choosing a type checker.

(I was on the Python Typing Council and helped put together the spec, the conformance test suite, etc)

> But what exactly is the value in having humans grovel through logs to isolate anomalies and create hypotheses for incidents?

Agreed! I think about this using Weakly's own reference to "standing on the shoulders of giants."

To me, building abstractions to handle tedious work is how we do that. We moved from assembly to compilers, and from manual memory management to garbage collectors. That wasn't "deskilling" - it just freed us up to solve more interesting problems at a higher level.

Manually crawling through logs feels like the next thing we should happily give up. It's painful, and I don't know many engineers who enjoy it.

Disclaimer: I'm very biased - working on an agent for this exact use case.

The ‘with evidence’ part is key as simonw said. One anecdote from evals at Cleric - it’s rare to see a new model do better on our evals vs the current one. The reality is that you’ll optimize prompts etc for the current model.

Instead, if a new model only does marginally worse - that’s a strong signal that the new model is indeed better for our use case.

This website is pure nostalgia <3, pretty much every corporate page in the 90s looked like this! I was half disappointed they're using <div>'s and CSS for layout and not a bunch of <table>'s.

“But drugmakers also faced changes to the Medicaid rebate program that would have likely cost them hundreds of millions of dollars each if they didn’t lower their list prices.“

This should have been the opening paragraph.

This was a fascinating read for a totally unexpected reason.

I’ve spent most of my life in countries where the metric system is used for distance, weight, temperature etc.

This year I’ve had to travel a lot to the US for work and found the constant mental conversions a PITA. I kept wondering why people keep holding out against such an obviously easier system.

Then I read this article about 8 hours of sleep would be 3.33 metric hours. How you wake up at 9:50 after sleeping at 2:75 and I notice real-time at the absolute recoil I feel reading this. Maybe I’m getting older , but I completely get how familiarity to numbers being represented a certain way is hard to let go of.

8 hours comes from the worker's movement anyway. 8 hours work, 8 hours recreation, 8 hours rest. It's clearly only chosen to make a nice slogan. In reality 7-9 appears to be optimal. If you were using decimal time you'd just say 3-3.5 hours and be done with it. Convenient enough.

Yeah, too much of our society is based upon 24 hour time.

The transition is also unlikely to have many benefits. Unlike most of the other units of measure, the everyday conversions are fuzzy. The only exception I've seen is when payroll bean counters expect minute precision converted to decimal hours, which is a pain! Everything in science and engineering tends to be maintained in seconds, which is decimalized anyway so there is no benefit there.

I don't see "metric time" making any headway, particularly since something like universal time would be much more beneficial yet hasn't gained traction.

At least the 3.33 makes intuitive sense to me: a third of a 10 hour day.

Am I correct in assuming 9:50 and 2:75 should be the other way around?

I noticed an immediate loss of functionality via this redesign. The previous home page let me calculate quickly how much it would cost to do a transfer - arguably the PRIMARY value of the service.

now it’s replaced with two CTA buttons to sign up etc.

The calculator is still in the new home page. You just need to scroll down a bit. Perhaps it was at the top of the home page before. I don't remember.

you're right, its a few scrolls down. It used to be right at the top, so it became a learned behaviour for me to go their site and quickly check the cost of a transfer versus what my bank offers me.

I use miniconda and have had no major issues. I’m curious if anyone here switched from conda to an alternative and had a better experience.

I switched from conda to poetry because everyone was praising it last year. Then I switched back because it's a pain to switch between OSes using poetry. I only use conda + pip install now, works well enough that I don't have to struggle every time I deploy in a new environment.

I use conda for my data analysis environments and poetry+(pyenv) for developing python libraries and application that are intended for running on machines others than (just) my own.

Updates work about half the time for me on mini-conda, but they break the other half of the time. When I look up the issue, I am not alone. I end up re-installing it a lot.

I have had this happen a few times too. I have found the best way to minimize this is to install nothing in the base environment except for conda and make sure you use a different environment for everything else.

I appreciate the time, but I have two responses:

The first, that has always been my practice.

Secondly, the vast majority of solutions offered by the many people who face similar issues don't work for me or, apparently, for other people reading the solution as well.

I switched from conda to pyenv after they changed their license

Chile has a great system which guarantees a free bank account linked to your national ID called Cuenta RUT. It has some limits like only a debit card and a max value you can store there but I think it’s a fantastic idea. You just need to walk in to any branch with your ID and you’re all set with an account you can receive and send payments from. If you need something more from your bank account - it stands to reason you have the necessary documentation to apply for a ‘regular’ bank account which most do.

Even foreigners with any kind of work permit get this ID called a RUT and are eligible.

Venezuela just imemented something like this as well.

Sounds like you would consider the entire world dystopian then. I don't think there's any country, with the possible exception of a few failed states, that lets you have a bank account that isn't tied a real person.

You can actually do it in the US to an extent. Basically create a LLC with owners masked. Enable an authorized user to be an attorney and register with bank. Then use bank and routing number.

You can also use crypto and have a crypto wallet.

Prior to 9/11 it was far easier and widespread among elites to have effectively anonymous bank accounts.

Considering the evil those are used for, I would consider it more dystopian than a government sponsored bank account.

There are a multitude of ways to claim unclaimed money that the government holds. I've used it to claim $15 before, it was easy. https://www.usa.gov/unclaimed-money

This process is not dystopian in the least. It's functioning system put in place by the government to help people.

Political actors can and do seize assets in private banks too. Private banks are also subject to laws.

I can see MongoDB. How did you find the performance of running FDB as a Redis alternative vs actual Redis?