tauroid's comments

On: I'm switching to Python and actually liking it

[tauroid]

Why would I use a Pydantic model when `TypeAdapter(MyDataclass)` exists?

On: How I program with agents

[tauroid]

https://kompose.io/

[silverlake → tauroid]

Here’s the real rebuttal to my overconfidence in LLMs. Thanks for the link!

On: Datastar: Web Framework for the Future?

[tauroid]

Could you avoid eval by having a CSP mode that forces reactive expressions to only allow functions users have registered with datastar in a lookup table?

On: Datastar: Web Framework for the Future?

[tauroid]

Counterexample with just local signals: https://data-star.dev/guide/getting_started#data-on

On: No physics? No problem. AI weather forecasting is already making strides

[tauroid]

You think the difficult part is merging observations with the last forecast? I guess it's a very underdetermined problem, but isn't the loss function (compare the forecast grid with later observations) the same whether you're doing grid_t0 -> grid_t1 or (observations, grid_t0) -> grid'_t0 -> grid_t1? I don't know enough about ML to know how much complexity the extra step adds, but doesn't seem like a massive difference.

[dannyz → tauroid]

Observation assimilation is a huge field in and of itself. Observables have biases that have to be included in assimilation, they also have finite resolution and so observation operators need to be taken into account.

On: Where are the supply chain safe programming languages?

[tauroid]

If the FFI is also capability gated why can't the language do it?

Edit: Pony seems to rely on restricting FFI privileges at the package level https://tutorial.ponylang.io/object-capabilities/trust-bound.... Suppose it could have been function by function ("unsafe") but this sounds fine. Not sure what else I could have meant by a capability gated FFI.

[gpderetta → tauroid]

In practice it means no redistributable native libraries or binaries.

You would need installation time compilation, jittin or pure interpretation.

Or some sort of trusted compiler-as-a-service with signed binaries.

On: Show HN: Real-Time 3D Gaussian Splatting in WebGL

[tauroid]

euler angles aren't cool any more

On: Build your own Docker with Linux namespaces, cgroups, and chroot

[tauroid]

sibling comments about Nix are not acknowledging that the base image size is around 600MB vs 5MB for alpine

[adisbladis → tauroid]

This is only true if use a Docker based workflow using `FROM nixos/nix`. This image exists mainly as a way for people to try out Nix with, not to build production images on top of. We ship many things which bloat the image size but makes it nicer for interactive usage.

Using dockerTools from nixpkgs is much better and gives you much smaller images closer to Alpine size.

[tauroid → adisbladis]

I might have confused download volume with image size but the tar.gz for dockerTools.buildLayeredImage with just node and mariadb in the contents is still 220MB (just checked)

Edit: with nothing in the contents it's 144M, which is getting reasonable but still nearly 30x alpine base

On: Ask HN: What's the best book on religion?

[tauroid]

The World's Religions by Huston Smith

[blakeashleyjr → tauroid]

My recommendation, as well.

On: Why the Windows Registry sucks technically (2010)

[tauroid]

For those looking for a more up to date alternative, with a non-hardcoded DB file path, try https://github.com/greenbender/sqlfs (not affiliated, just had a look in this area a few weeks ago)