> 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.
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.
> 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 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.
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.