creata

6 ms·

1.
by creata 5mo ago
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 language, or tons of reference counting (e.g., in Leptos
2.
by creata 5mo ago
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 where" UI code is especially performance
3.
by creata 5mo ago
That's... uh, an interesting approach to security.
4.
by creata 5mo ago
If it runs inside the sandbox and the guest is compromised, can't the guest just lie?
5.
by creata 5mo ago
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`?
6.
by creata 5mo ago
> 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 a cloud, but too much is connected to the Internet these
7.
by creata 7mo ago
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 the page came with some example .docx fil
8.
by creata 7mo ago
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 with internal notions of everything.
9.
by creata 7mo ago
> 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 you use a matrix instead. That makes sense in some con
10.
by creata 7mo ago
> 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? The real numbers are uncountable. (If you're t
11.
by creata 7mo ago
> 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 complex numbers are to my knowledge the most common and conven
12.
by creata 7mo ago
Iirc Gauss suggested "lateral numbers". Not the worst idea, but it's too late now.
13.
by creata 7mo ago
Clifford algebras are harder to philosophically motivate than complex numbers, so you've reduced a hard problem to a harder problem.
14.
by creata 7mo ago
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. It's more like (a, b). Yo
15.
by creata 7mo ago
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 them all.
16.
by creata 7mo ago
> greatly lags Racket performance This is a different implementation of Guile, though. Has Hoot (on, say, V8) been benchmarked?
17.
by creata 7mo ago
It's the static site generator of vibe coded projects.
18.
by creata 7mo ago
> I want to be able to make art and music and movies and games. Then make them. What's stopping you?
19.
by creata 7mo ago
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 makes me wonder how feasible Waymo's ope
20.
by creata 7mo ago
> 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 really needs to be qualified with the genres of g
21.
by creata 8mo ago
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 application involves type-driven par
22.
by creata 8mo ago
Huh? Currying doesn't require any nonlocal reasoning. It's just the convention of preferring functions of type a -> (b -> c) to functions of type (a, b) -> c. (Most programming languages use the latter.)
23.
by creata 8mo ago
> Even if a machine generates them. That sounds wonderfully meritocratic, but in the real world, a machine generating it is a very strong signal that it's bullshit, and the people are flooding maintainers using the machines. Maintai
24.
by creata 8mo ago
> The ideal program is clear enough to be self explanatory. That depends on what you're doing and who you expect to be reading your code, doesn't it? Sometimes what the human needs and what the computer/runtime needs are t
25.
by creata 8mo ago
Don't these two situations (watching vote counts; understanding a complicated statistical argument that the vote is tamper-free) require the same kind of trust? 1. In both cases, everyone is theoretically capable of checking it themsel
26.
by creata 8mo ago
There's plenty of evidence of voter suppression in the US. https://en.wikipedia.org/wiki/Voter_suppression_in_the_Unite...
27.
by creata 8mo ago
I don't know why so many people in this thread are asking this, but as has been said elsewhere in this thread: * It does apply to most other internet systems. * Things like banking fraud can be detected and remedied. Election fraud i
28.
by creata 8mo ago
The specific comment by popalchemist you're referring to is actually fine (they're talking about voter suppression, which is a problem in the US), and isn't at all one of the claims that hintymad says people are making.
29.
by creata 8mo ago
Australia, as far as I know, doesn't require voters to show identity documents, and they seem to take election integrity very seriously.
30.
by creata 8mo ago
Maybe, but the election ink stuff feels a bit overboard.

More ›