• 0 Posts
  • 14 Comments
Joined 3 years ago
cake
Cake day: June 12th, 2023

help-circle

  • You’d put the things that aren’t up to personal preference in there, like an AI disclosure / contribution policy or what changes should look like to be reviewable. You usually don’t need to tell humans “don’t change things for the sake of changing them” because we don’t like to do more work than we have to, but agents do.

    You can also include a compact “table of contents,” describing what lives where in the project. It saves at most a little bit of exploration though so I don’t know if it’s really worth the maintenance








  • Using aur helpers is fine if they make it easy to read the pkgbuild, which paru does. It’s too annoying to check for PKGBUILD and upstream/vcs updates for each package individually.

    Ideally the aur helper would point out when 1) a package changed maintainers since your last install, 2) a package’s PKGBUILD itself changed (not just the upstream/vcs source), 3) the PKGBUILD is less than 24h old or so. And for #2, it should also show you the changes similar to what you see on the AUR site’s “view changes” page. I’m not aware of any aur helper that does these things, but hopefully recent events prompt a change.






  • A Riemannian manifold isn’t necessarily non-Euclidean, it’s just a smooth manifold with a Riemannian metric, which is just sort of a way of defining local geometry in a coherent way. Namely it’s a smooth family of inner products on the tangent spaces at each point, where an inner product on the tangent space is sort of a way of comparing any two directions at a point and the smoothly varying part means that for sufficiently close points, the comparison function on their respective tangent spaces is similar.

    Anyway, like “manifold” is a formalism intended to capture the idea of a “shape or space,” a “Riemannian manifold” is just “a shape or space we can do geometry on.”