HN user
The first use case that comes to mind is if you want a DSL to build expressions that are evaluated later in some different context e.g. when using `polars`:
```python df.filter( pl.col("foo") == pl.col("bar"), ) ```
Sqlalchemy does something equivalent too, and I'm sure there are many others.
I can imagine a pipeline where intermediate stages have been inserted to have some side effect, like debug logging all data passing through.
The problem comes when there are lucrative odds for some unlikely scenario, which you can influence into realisation, and that outcome might be counter to the company's goals (i.e. sabotage)
Huh.
Is there a reason the Zig compiler can't perform type-narrowing for `u` within the `U::A(_) | U::B(_)` "guard", rendering just the set of 2 cases entirely necessary and sufficient (obviating the need for any of the solutions in the blog post)?
I'm not familiar with Zig, but also ready to find out I'm not as familiar with type systems as I thought.
It gets worse the further you go, this was where I had to bail:
the format is much favored by AI frameworks such as TensorFlow and PyCharm.
Could mean "appear" as in "show up"
one of the first times
I don't think you can say it's "neither"! :)
I don't think your "obvious" is the same as that of the person you're replying to.
Tough to gauge how impressive this is without a before/after for comparison tbh.
I'd say that the people counting leap seconds are the ones "doing something".
At the point they needed to be inserted, Unix systems carry on counting seconds as units of time as they pass, "ignoring" the need to add 1 for the purposes of accounting.
Hey, you're leaning into it too much!
Who are people who are against typing in this day and age?
The problem with that is that Jupyter requires a back-end to do any of the actual processing that runs the code in the cells.
Only way I can think to make the html file truly portable while fully functional would be to embed a python interpreter and all required libraries as wasm.
Could be possible with pyodide? I haven't used it.
I find `typer` way more ergonomic than either argparse or click (which it uses under the hood).
If you're developing something more complex, you might find the feature set too small, but you can get surprisingly far with what's there.
The benefits from its type safety and lack of boilerplate alone are enough to keep me using it in favour of anything else.
Just make sure to read the warning labels and take them seriously please. I believe the use of boiling water frequently causes them to rupture, inflicting burns on their users.
OCI = Oracle Cloud Infrastructure (not Open Container Initiative)
This looks like a really good resource, but why is it so difficult to find a somewhat up-to-date description of networking in the Linux kernel?
It seems like the least documented (at a high level, anyway) part of the kernel - if anyone knows a good resource I'd love to hear it.
How was your approach different?
feel free to drive engagement on my post
I would have thought Cython would be the closest analogue for comparison.
It didn't read unkind or snarky at all to me - just an amicable way of ending a thread of investigation where the result was a simple "a ha, I understand" moment.
What kinds of community problems do you have in mind?
This can definitely be significant as part of a trend