Viewing profile — creata

I have been watching people write UI frameworks in Rust for over a decade, you meanie. The results tend to involve more dynamic allocation than you'd see in a garbage-collected lan…

What's the rationale for using Rust to write a UI? Using a scripting language (or at least a garbage-collected language) is much less restrictive, and it's not like the "what goes …

That's... uh, an interesting approach to security.

If it runs inside the sandbox and the guest is compromised, can't the guest just lie?

The part that worries me here is the diff. Does it happen in the host or in the guest? What code gets run when you run `yoloai diff`?

> The only practical defense is for these frontier models Another practical defence for many of these devices would be to just disconnect them... I feel like an old man yelling at …

Two very minor suggestions for the demo: 1. I don't know what the "Docxtemplater" button does, but it eats my document without warning and that's annoying. 2. It would be nice if t…

I think that what matters here (and what I think is the natural interpretation of "not every real number is computable") is what the theory thinks is true. That is, we're working w…

> For computers, you could use a complex number since it's effectively a cache of sin(a) and cos(a), but you often want general affine transformations and not just rotations, so yo…

> The idea is we can't actually prove a non-computable real number exists without purposefully having axioms that allow for deriving non-computable things. Sorry, what do you mean?…

> If you want to rotate things there are usually better ways. Can you elaborate? If you want a representation of 2D rotations for pen-and-paper or computer calculations, unit compl…

Iirc Gauss suggested "lateral numbers". Not the worst idea, but it's too late now.

Clifford algebras are harder to philosophically motivate than complex numbers, so you've reduced a hard problem to a harder problem.

I hate when people casually move "between" Q and Z as if a rational number with unit denominator suddenly becomes an integer, and it's all because of this terrible "a/b" notation. …

Why would we expect most real numbers to be computable? It's an idealized continuum. It makes perfect sense that there are way too many points in it for us to be able to compute th…

> greatly lags Racket performance This is a different implementation of Guile, though. Has Hoot (on, say, V8) been benchmarked?

It's the static site generator of vibe coded projects.

> I want to be able to make art and music and movies and games. Then make them. What's stopping you?

In my opinion there's nothing wrong with it per se, but (a) it's still worth mentioning, because most people have the impression that Waymo cars are completely unassisted, and (b) …

> It seems inevitable that they'll soon be used as the starting points for developing almost all video game environments. Almost all video game environments? No way. That statement…

Functions are just a different kind of value. Needing to know the type of the values you're using when you use them isn't "nonlocal reasoning". And it's not like curried function a…