creata

21 ms·

391.
by creata 2y ago
Oh, sorry about that then.
392.
by creata 2y ago
I haven't tried it (so I'm sorry if it's wrong or not what you're talking about) but can't you get a freestanding days function by use jiff::ToSpan::days;
393.
by creata 2y ago
Huh. Sway and Wayland was such a nightmare on Nvidia that it convinced me to switch to AMD. I wonder if it's better now. (IIRC the main issue was https://gitlab.freedesktop.org/xorg/xserver/-/issues/
394.
by creata 2y ago
So are the concerns regarding VK_NV_generated_commmands (mainly, unnecessary latency) in the VK_AMDX_shader_enqueue proposal overstated?
395.
by creata 2y ago
As far as I can tell, AMD's extension is supported by exactly one version of AMD's driver, and it's outdated and only on Windows. https://vulkan.gpuinfo.org/listdevicescoverage.php?extension... https:/&
396.
by creata 2y ago
Between this, and Guix, and Nix, and Fedora Silverblue, a lot of distributions are doing atomic upgrades. Is there a reason atomic upgrades so popular now? Not that it's a bad thing. (Edit: The advantages of atomic upgrades are obvious
397.
by creata 2y ago
Fedora is a "major player" in desktop Linux, and CentOS isn't being developed any more, is it?
398.
by creata 2y ago
I get what you're saying, and I don't know much about "ZorinOS", but the discussion is about people who might struggle to install Linux at all, so having the right packages preinstalled is important.
399.
by creata 2y ago
If someone isn't technically literate enough to install Linux, they have three options: 1. Become technically literate enough to install Linux. Distros like Fedora are very easy to set up imo. 2. Ask someone else (relatives, local comp
400.
Bcachefs Coding Style(docs.kernel.org)
3 points by creata 2y ago|0 comments
401.
by creata 2y ago
I would love to live in a world where everyone did that. But that's (currently) a utopian pipe dream. I don't know if throwing CEOs in jail is the answer, but neither is putting all the responsibility on people to make tough cho
402.
by creata 2y ago
I meant sandbox the less trusted bit.
403.
by creata 2y ago
But almost everyone working on these plugins really wants to use Python and PyTorch.
404.
by creata 2y ago
One basic measure (one part of a solution) would be to split Comfy into two parts: the part that does all the work (running plugins, generating images) should have access to nothing but read-only access to the files it needs, the GPU, and a
405.
by creata 2y ago
Are you giving it access to /dev/dri, or doing some fancier sandboxing? (Would you even need anything fancier? I think /dev/dri is supposed to isolate users.)
406.
by creata 2y ago
> For open-source software, use software from popular projects which have a good reputation. On this topic, how much should a person trust central repositories of well-known operating system distributions (e.g. Arch, Debian)? I know only
407.
by creata 2y ago
Most people should only download software from people they trust (to not be evil and also to be competent). If you download code off some unknown person's GitHub repo, you'd be stupid not to read it very very carefully!
408.
by creata 2y ago
Why does there seem to be such a disregard for security in deep learning? There's examples like this post, but also, until recently, almost every deep learning model was literally distributed as a pickle file.
409.
by creata 3y ago
Does this mean that Han unification was a mistake? What should software do when it accepts user content? What if a user wants to make a comment containing one quotation in Japanese and one in Chinese?
410.
by creata 3y ago
What work do you want them to do that they're not already doing?
411.
by creata 3y ago
> You typically can't "raise an error" in such contexts in formal reasoning tools. You could write all your formulas in the Maybe / Option monad (which I guess is the same as 'introducing a "special" va
412.
by creata 3y ago
> I feel like a proof assistant is amongst the worst places to have something like this It's one of the best places! You know how in programming, your code looks like this? func my_function(inputs) -> output { do something
413.
by creata 3y ago
Floating point numbers are more like the extended real line, which has a +inf and a -inf, than the Riemann sphere, which only has the single infinity, that you approach when travelling in any direction away from zero.
414.
Fantastic Timers and Where to Find Them [pdf](gruss.cc)
2 points by creata 3y ago|0 comments
415.
by creata 3y ago
> Why do you need somebody's permission to do math with numbers? Makes no sense whatsoever. It's part of a very sensible legal framework to incentivize the creation and publication of hard-to-find numbers that you value very mu
416.
by creata 3y ago
> This matrix M is a kind of strange 'thick' diagonal matrix. Maybe it's too obvious to mention, but M is just the adjacency matrix of the board (with self-loops).
417.
by creata 3y ago
(Probably obvious, but the exact same reduction to a system of linear equations can solve this.)
418.
by creata 3y ago
> [Anxiety] is a byproduct of mass/social media How would that explain all the social anxiety out there?
419.
by creata 3y ago
> YOU ARE ALMOST ALL RICH TECH WORKERS. I don't think that's true.
420.
by creata 3y ago
About 0.355% (95% CI: 0.144%–0.566%) self-identify as transgender according to Wikipedia, which cites ( https://doi.org/10.1016%2Fj.jsxm.2016.02.001 ). > distractions sowed by the elite That's a nice conspiracy theory

More ›