maleldil

10 ms·

211.
by maleldil 7mo ago
> so I guess you could as well use C++ The unsafe code is written inside the library, which the user can contain in a safe API. With C++, the entire codebase is unsafe.
212.
by maleldil 7mo ago
This is not compatible with many people's experiences. I use Python with a type checker. I tell Claude that the task is only complete once the type checker passes cleanly. It doesn't stop until there are no type errors. This shoul
213.
by maleldil 7mo ago
This is a good point, but I think it's better to have to explicitly opt into currying with `partial`. Automatic currying can be confusing.
214.
by maleldil 7mo ago
Has the developer tooling been fixed? Doesn't it use an ephemeral environment? How do editors/LSPs know where to get dependency information?
215.
by maleldil 7mo ago
Is there a world in the near future where Americans aren't buying oil or oil-derived products, regardless of the price?
216.
by maleldil 7mo ago
I wasn't thinking about ICML specifically. My mind was on the ARR.
217.
by maleldil 7mo ago
I hope you understand you are part of a very, very small minority.
218.
by maleldil 7mo ago
You can source the virtualenv like normal.
219.
by maleldil 7mo ago
It's usually not "noob" students. Big conferences require reviewers to have at least one (usually more) published paper in major venues. For students, this usually means they went through the process of being the first author
220.
by maleldil 7mo ago
GP suggested a life ban. Maybe suspend for 6 months instead? That's a long time without publishing in the current publish-or-perish academia.
221.
by maleldil 7mo ago
Ideally, the errors shouldn't be returned as-is, but wrapped with context instead. If that context doesn't matter for you, you can have your editor wrap the if instead, which helps a lot.
222.
by maleldil 7mo ago
ty and zuban also don't give an error. pyright and pyrefly do.
223.
by maleldil 7mo ago
> Only if types are present. Make sure they are. Set no implicit any in your type checker, and use a linter to ensure every function has type annotations. > Most dependencies would still be untyped Most is a big exaggeration. I unders
224.
by maleldil 7mo ago
Why not? Have mypy/pyright/pryefly/ty type errors break CI. If you're starting a new project, there's no reason you shouldn't.
225.
by maleldil 7mo ago
> don’t sing along to the music What's wrong with that?
226.
by maleldil 7mo ago
> Suppose anthropic reached out to you and gave you a model id you could pin down for the next year to freeze any a/b tests. Would you really want that? Yes. I'd like some guarantee that my results are reproducible for some rea
227.
by maleldil 8mo ago
You wouldn't do that for everything. I'd reserve it for work with higher uncertainty, where you're not sure which path is best. Different model families can make very different choices.
228.
by maleldil 8mo ago
It's not really the same use case. It's a smaller model, it doesn't have tools, it can't investigate, etc. The only thing it can do is answer questions about whatever is in the current context.
229.
by maleldil 8mo ago
Or Helix, if you want a TUI with modal editing, but you do mind configuring it.
230.
by maleldil 8mo ago
How does it handle things like LSPs?
231.
by maleldil 8mo ago
Even vanilla js embedded in a HTML file would probably have been easier than most of these.
232.
by maleldil 8mo ago
What's the difference between an implicit error and exceptions? Being explicit about errors is good. Go's syntactical implementation, coupled with its unexpressive type system, is the problem.
233.
by maleldil 8mo ago
I missed that. At least pyright will only emit an error if `typeCheckingMode` is strict (which forbids `Unknown`). It will happily treat `Unknown` as `Any` in basic mode.
234.
by maleldil 8mo ago
Me neither! I was just mentioning it as a possibility. My main use of beartype is `is_bearable` for runtime checking of specific data structures, in cases where `isinstance` isn't quite enough. I would still explore turning full checks
235.
by maleldil 8mo ago
That depends on what you're using. If you're using Pydantic, which lets you define a struct-like data type with validation, you can tell it to validate assignments as well [1]. Or you can set the class as frozen and forbid assignm
236.
by maleldil 8mo ago
Yes, that's what I was referring to. I get it that Pyrefly wanted to advertise their approach here, but it's weird that they didn't at least acknowledge this. It's what I use because it works on every type check, and I d
237.
by maleldil 8mo ago
Why do you say it's unstable?
238.
by maleldil 8mo ago
Yes, because you need evidence from small studies to justify running larger ones. You're not going to run an n=1000 experiment from a mere guess.
239.
by maleldil 8mo ago
Annotating empty collections is one of the few places you need to annotate outside function signatures. It's not a big deal. It doesn't happen that often.
240.
by maleldil 8mo ago
> TypeAlias, Generic This is mitigated by modern (3.12+) generic and `type` syntax, which just looks like any other static language.

More ›